Math 2.0

Combinatorics Definition

Jackson integral

Builds on q-analogq-derivative

Definition

Let 0<q<10 < q < 1, let a,b∈ℝa, b \in \R, and let ff be a real or complex function defined at the points aqka q^k and bqkb q^k for all integers k≥0k \ge 0. The Jackson integral of ff from 00 to aa is ∫0af(x) dqx=(1−q) a∑k=0∞qkf(aqk),\int_0^a f(x) \, d_q x = (1 - q)\, a \sum_{k=0}^{\infty} q^k f(a q^k), when the series converges. The Jackson integral from aa to bb is ∫abf(x) dqx=∫0bf(x) dqx−∫0af(x) dqx.\int_a^b f(x) \, d_q x = \int_0^b f(x) \, d_q x - \int_0^a f(x) \, d_q x.

Remarks

Example: for an integer n≥0n \ge 0, ∫01xn dqx=(1−q)∑k=0∞qk(n+1)=1−q1−qn+1=1[n+1]q,\int_0^1 x^n \, d_q x = (1 - q) \sum_{k=0}^{\infty} q^{k(n+1)} = \frac{1 - q}{1 - q^{n+1}} = \frac{1}{[n+1]_q}, the q-analog of ∫01xn dx=1n+1\int_0^1 x^n \, dx = \frac{1}{n+1}.

Non-example: f(x)=1/xf(x) = 1/x on (0,1](0, 1] has no Jackson integral from 00 to 11, since the terms qkf(qk)=1q^k f(q^k) = 1 do not tend to 00.

If ff is continuous on [0,a][0, a], the sum is a Riemann sum for the partition by the points aqka q^k, and it tends to ∫0af(x) dx\int_0^a f(x)\, dx as q→1−q \to 1^-. If ff is bounded near 00, then F(x)=∫0xf(t) dqtF(x) = \int_0^x f(t) \, d_q t satisfies DqF=fD_q F = f for the q-derivative DqF(x)=F(qx)−F(x)(q−1)xD_q F(x) = \frac{F(qx) - F(x)}{(q - 1) x}, x≠0x \ne 0.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. q-analog concept
  2. q-derivative concept
  3. Jackson integral definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Jackson_integral
About this page
TagN05N7W1BAB
URIm2://N05N7W1BAB
Kinddefinition
WritingW0 stub
MSC05A30, 33D60
DefinesJackson integral
Usesq-analog, q-derivative

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.