Jackson integral

In q-analog theory, the Jackson integral or q-integral is a series in the theory of special functions that expresses the operation inverse to q-differentiation.

The Jackson integral was introduced by Frank Hilton Jackson. For methods of numerical evaluation, see and Exton (1983).

Definition

Let f(x) be a function of a real variable x. For a a real variable, the Jackson integral of f is defined by the following series expansion:

Consistent with this is the definition for

More generally, if g(x) is another function and Dqg denotes its q-derivative, we can formally write

or

giving a q-analogue of the Riemann–Stieltjes integral.

Jackson integral as q-antiderivative

Just as the ordinary antiderivative of a continuous function can be represented by its Riemann integral, it is possible to show that the Jackson integral gives a unique q-antiderivative within a certain class of functions (see ).

Theorem

Suppose that If is bounded on the interval for some then the Jackson integral converges to a function on which is a q-antiderivative of Moreover, is continuous at with and is a unique antiderivative of in this class of functions.

Notes

  1. ↑ Exton, H (1979). "Basic Fourier series". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 369 (1736): 115–136. Bibcode:1979RSPSA.369..115E. doi:10.1098/rspa.1979.0155. S2CID 120587254.
  2. ↑ Kempf, A; Majid, Shahn (1994). "Algebraic q-Integration and Fourier Theory on Quantum and Braided Spaces". Journal of Mathematical Physics. 35 (12): 6802–6837. arXiv:hep-th/9402037. Bibcode:1994JMP....35.6802K. doi:10.1063/1.530644. S2CID 16930694.
  3. ↑ Kac-Cheung, Theorem 19.1.

References