Jackson integral

Last updated June 22, 2023

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

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:

\int _{0}^{a}f(x)\,{\rm {d}}_{q}x=(1-q)\,a\sum _{k=0}^{\infty }q^{k}f(q^{k}a).

Consistent with this is the definition for $a\to \infty$

 $\int _{0}^{\infty }f(x)\,{\rm {d}}_{q}x=(1-q)\sum _{k=-\infty }^{\infty }q^{k}f(q^{k}).$

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

\int f(x)\,D_{q}g\,{\rm {d}}_{q}x=(1-q)\,x\sum _{k=0}^{\infty }q^{k}f(q^{k}x)\,D_{q}g(q^{k}x)=(1-q)\,x\sum _{k=0}^{\infty }q^{k}f(q^{k}x){\tfrac {g(q^{k}x)-g(q^{k+1}x)}{(1-q)q^{k}x}},

or

\int f(x)\,{\rm {d}}_{q}g(x)=\sum _{k=0}^{\infty }f(q^{k}x)\cdot (g(q^{k}x)-g(q^{k+1}x)),

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 ^[2]).

Theorem

Suppose that $0<q<1.$ If $|f(x)x^{\alpha }|$ is bounded on the interval $[0,A)$ for some $0\leq \alpha <1,$ then the Jackson integral converges to a function $F(x)$ on $[0,A)$ which is a q-antiderivative of $f(x).$ Moreover, $F(x)$ is continuous at $x=0$ with $F(0)=0$ and is a unique antiderivative of $f(x)$ in this class of functions.^[3]

Notes

↑ Exton, H (1979). "Basic Fourier series". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 369 (1736): 115–136. doi:10.1098/rspa.1979.0155. S2CID 120587254.
↑ 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.
↑ Kac-Cheung, Theorem 19.1.

Related Research Articles

In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function $f$ is a differentiable function $F$ whose derivative is equal to the original function $f$ . This can be stated symbolically as $F' = f$ . The process of solving for antiderivatives is called antidifferentiation, and its opposite operation is called differentiation, which is the process of finding a derivative. Antiderivatives are often denoted by capital Roman letters such as $F$ and $G$ .

In mathematics, an integral is the continuous analog of a sum, which is used to calculate areas, volumes, and their generalizations. Integration, the process of computing an integral, is one of the two fundamental operations of calculus, the other being differentiation. Integration started as a method to solve problems in mathematics and physics, such as finding the area under a curve, or determining displacement from velocity. Today integration is used in a wide variety of scientific fields.

The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter $ζ$ (zeta), is a mathematical function of a complex variable defined as

In the branch of mathematics known as real analysis, the Riemann integral, created by Bernhard Riemann, was the first rigorous definition of the integral of a function on an interval. It was presented to the faculty at the University of Göttingen in 1854, but not published in a journal until 1868. For many functions and practical applications, the Riemann integral can be evaluated by the fundamental theorem of calculus or approximated by numerical integration, or simulated using Monte Carlo Integration.

In mathematical physics, the Dirac delta distribution, also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one.

<span class="mw-page-title-main">Fourier transform</span> Mathematical transform that expresses a function of time as a function of frequency

In physics and mathematics, the Fourier transform (FT) is a transform that converts a function into a form that describes the frequencies present in the original function. The output of the transform is a complex-valued function of frequency. The term Fourier transform refers to both this complex-valued function and the mathematical operation. When a distinction needs to be made the Fourier transform is sometimes called the frequency domain representation of the original function. The Fourier transform is analogous to decomposing the sound of a musical chord into terms of the intensity of its constituent pitches.

In mathematics, the convolution theorem states that under suitable conditions the Fourier transform of a convolution of two functions is the pointwise product of their Fourier transforms. More generally, convolution in one domain equals point-wise multiplication in the other domain. Other versions of the convolution theorem are applicable to various Fourier-related transforms.

<span class="mw-page-title-main">Fourier series</span> Decomposition of periodic functions into sums of simpler sinusoidal forms

A Fourier series is an expansion of a periodic function into a sum of trigonometric functions. The Fourier series is an example of a trigonometric series, but not all trigonometric series are Fourier series. By expressing a function as a sum of sines and cosines, many problems involving the function become easier to analyze because trigonometric functions are well understood. For example, Fourier series were first used by Joseph Fourier to find solutions to the heat equation. This application is possible because the derivatives of trigonometric functions fall into simple patterns. Fourier series cannot be used to approximate arbitrary functions, because most functions have infinitely many terms in their Fourier series, and the series do not always converge. Well-behaved functions, for example smooth functions, have Fourier series that converge to the original function. The coefficients of the Fourier series are determined by integrals of the function multiplied by trigonometric functions, described in Common forms of the Fourier series below.

In mathematics, an infinite series of numbers is said to converge absolutely if the sum of the absolute values of the summands is finite. More precisely, a real or complex series $is said to converge absolutely if for some real number Similarly, an improper integral of a function, is said to converge absolutely if the integral of the absolute value of the integrand is finite—that is, if$

In calculus, and more generally in mathematical analysis, integration by parts or partial integration is a process that finds the integral of a product of functions in terms of the integral of the product of their derivative and antiderivative. It is frequently used to transform the antiderivative of a product of functions into an antiderivative for which a solution can be more easily found. The rule can be thought of as an integral version of the product rule of differentiation.

Integration is the basic operation in integral calculus. While differentiation has straightforward rules by which the derivative of a complicated function can be found by differentiating its simpler component functions, integration does not, so tables of known integrals are often useful. This page lists some of the most common antiderivatives.

<span class="mw-page-title-main">Improper integral</span> Concept in mathematical analysis

In mathematical analysis, an improper integral is an extension of the notion of a definite integral to cases that violate the usual assumptions for that kind of integral. In the context of Riemann integrals, this typically involves unboundedness, either of the set over which the integral is taken or of the integrand, or both. It may also involve bounded but not closed sets or bounded but not continuous functions. While an improper integral is typically written symbolically just like a standard definite integral, it actually represents a limit of a definite integral or a sum of such limits; thus improper integrals are said to converge or diverge. If a regular definite integral is worked out as if it is improper, the same answer will result.

In complex analysis, a branch of mathematics, Morera's theorem, named after Giacinto Morera, gives an important criterion for proving that a function is holomorphic.

In mathematics, the Henstock–Kurzweil integral or generalized Riemann integral or gauge integral – also known as the (narrow) Denjoy integral, Luzin integral or Perron integral, but not to be confused with the more general wide Denjoy integral – is one of a number of inequivalent definitions of the integral of a function. It is a generalization of the Riemann integral, and in some situations is more general than the Lebesgue integral. In particular, a function is Lebesgue integrable if and only if the function and its absolute value are Henstock–Kurzweil integrable.

<span class="mw-page-title-main">Path integral formulation</span> Formulation of quantum mechanics

The path integral formulation is a description in quantum mechanics that generalizes the action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral, over an infinity of quantum-mechanically possible trajectories to compute a quantum amplitude.

In mathematics, the integral test for convergence is a method used to test infinite series of monotonous terms for convergence. It was developed by Colin Maclaurin and Augustin-Louis Cauchy and is sometimes known as the Maclaurin–Cauchy test.

In mathematics, the Poisson summation formula is an equation that relates the Fourier series coefficients of the periodic summation of a function to values of the function's continuous Fourier transform. Consequently, the periodic summation of a function is completely defined by discrete samples of the original function's Fourier transform. And conversely, the periodic summation of a function's Fourier transform is completely defined by discrete samples of the original function. The Poisson summation formula was discovered by Siméon Denis Poisson and is sometimes called Poisson resummation.

In mathematics, the question of whether the Fourier series of a periodic function converges to a given function is researched by a field known as classical harmonic analysis, a branch of pure mathematics. Convergence is not necessarily given in the general case, and certain criteria must be met for convergence to occur.

Quantum calculus, sometimes called calculus without limits, is equivalent to traditional infinitesimal calculus without the notion of limits. It defines "q-calculus" and "h-calculus", where h ostensibly stands for Planck's constant while q stands for quantum. The two parameters are related by the formula

<span class="mw-page-title-main">Lebesgue integration</span> Method of integration

In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the $x$ -axis. The Lebesgue integral, named after French mathematician Henri Lebesgue, extends the integral to a larger class of functions. It also extends the domains on which these functions can be defined.

References

Victor Kac, Pokman Cheung, Quantum Calculus , Universitext, Springer-Verlag, 2002. ISBN 0-387-95341-8
Jackson F H (1904), "A generalization of the functions Γ(n) and x_n", Proc. R. Soc.74 64–72.
Jackson F H (1910), "On q-definite integrals", Q. J. Pure Appl. Math.41 193–203.
Exton, Harold (1983). Q-hypergeometric functions and applications. Chichester [West Sussex]: E. Horwood. ISBN 978-0470274538.

This mathematical analysis–related article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Exton, H (1979). "Basic Fourier series". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 369 (1736): 115–136. 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.

[1]

[2]

[3]