Quantum calculus

Quantum calculus, sometimes called calculus without limits, is equivalent to traditional infinitesimal calculus without the notion of limits. The two distinct types of calculus in quantum calculus are q-calculus and h-calculus. The parameters ${\displaystyle q}$ and ${\displaystyle h}$ can be related by the formula

${\displaystyle q=e^{h}}$

Differentiation

The q-differential and h-differential are defined as:

${\displaystyle d_{q}(f(x))=f(qx)-f(x)}$

and

${\displaystyle d_{h}(f(x))=f(x+h)-f(x)}$,

respectively. The q-derivative and h-derivative are then defined as

${\displaystyle D_{q}(f(x))={\frac {d_{q}(f(x))}{d_{q}(x)}}={\frac {f(qx)-f(x)}{qx-x}}}$

and

${\displaystyle D_{h}(f(x))={\frac {d_{h}(f(x))}{d_{h}(x)}}={\frac {f(x+h)-f(x)}{h}}}$

respectively. By taking the limit as ${\displaystyle q\rightarrow 1}$ of the q-derivative or as ${\displaystyle h\rightarrow 0}$ of the h-derivative, one can obtain the derivative:

${\displaystyle \lim _{q\rightarrow 1}D_{q}f(x)=\lim _{h\rightarrow 0}D_{h}f(x)={\frac {d}{dx}}{\Bigl (}f(x){\Bigr )}}$

Integration

q-integral

A function F(x) is a q-antiderivative of f(x) if D_qF(x) = f(x). The q-antiderivative (or q-integral) is denoted by ${\textstyle \int f(x)\,d_{q}x}$ and an expression for F(x) can be found from:${\textstyle \int f(x)\,d_{q}x=(1-q)\sum _{j=0}^{\infty }xq^{j}f(xq^{j})}$, which is called the Jackson integral of f(x). For 0 < q < 1, the series converges to a function F(x) on an interval (0,A] if |f(x)x^α| is bounded on the interval (0, A] for some 0 ≤ α < 1.

The q-integral is a Riemann–Stieltjes integral with respect to a step function having infinitely many points of increase at the points q^j..The jump at the point q^j is q^j. Calling this step function g_q(t) gives dg_q(t) = d_qt. ^[1]

h-integral

A function F(x) is an h-antiderivative of f(x) if D_hF(x) = f(x). The h-integral is denoted by ${\textstyle \int f(x)\,d_{h}x}$. If a and b differ by an integer multiple of h then the definite integral ${\textstyle \int _{a}^{b}f(x)\,d_{h}x}$ is given by a Riemann sum of f(x) on the interval [a, b], partitioned into sub-intervals of equal width h. The motivation of h-integral comes from the Riemann sum of f(x). Following the idea of the motivation of classical integrals, some of the properties of classical integrals hold in h-integral. This notion has applications in numerical analysis, especially finite difference calculus.

Example

In infinitesimal calculus, the derivative of the function ${\displaystyle x^{n}}$ is ${\displaystyle nx^{n-1}}$ (for some positive integer ${\displaystyle n}$). The corresponding expressions in q-calculus and h-calculus are:

${\displaystyle D_{q}(x^{n})={\frac {q^{n}-1}{q-1}}x^{n-1}=[n]_{q}\ x^{n-1}}$

where ${\displaystyle [n]_{q}}$ is the q-bracket

${\displaystyle [n]_{q}={\frac {q^{n}-1}{q-1}}}$

and

${\displaystyle D_{h}(x^{n})=nx^{n-1}+{\frac {n(n-1)}{2}}hx^{n-2}+\cdots +h^{n-1}}$,

respectively. The expression ${\displaystyle [n]_{q}x^{n-1}}$ is then the q-analog of the power rule for positive integral powers. In this sense, the function ${\displaystyle x^{n}}$ is nice in the q-calculus, but ugly in the h-calculus – the h-calculus analog of ${\displaystyle x^{n}}$ is instead the falling factorial, ${\displaystyle (x)_{n}:=x(x-1)\cdots (x-n+1).}$ The q-Taylor expansion allows for the definition of q-analogs of all of the usual functions, such as the sine function, whose q-derivative is the q-analog of cosine.

History

The h-calculus is the calculus of finite differences, which was studied by George Boole and others, and has proven useful in combinatorics and fluid mechanics. In a sense, q-calculus dates back to Leonhard Euler and Carl Gustav Jacobi, but has only recently begun to find usefulness in quantum mechanics, given its intimate connection with commutativity relations and Lie algebras, specifically quantum groups.

See also

• Noncommutative geometry
• Quantum differential calculus
• Time scale calculus
• q-analog
• Basic hypergeometric series
• Quantum dilogarithm

References

1. Abreu, Luis Daniel (2006). "Functions q-Orthogonal with Respect to Their Own Zeros" (PDF). Proceedings of the American Mathematical Society. 134 (9): 2695–2702. doi: 10.1090/S0002-9939-06-08285-2 . JSTOR   4098119.

Further reading

• George Gasper, Mizan Rahman, Basic Hypergeometric Series, 2nd ed, Cambridge University Press (2004), ISBN   978-0-511-52625-1, doi : 10.1017/CBO9780511526251

• Jackson, F. H. (1908). "On q-functions and a certain difference operator". Transactions of the Royal Society of Edinburgh. 46 (2): 253–281. doi:10.1017/S0080456800002751. S2CID   123927312.
• Exton, H. (1983). q-Hypergeometric Functions and Applications. New York: Halstead Press. ISBN   0-85312-491-4.
• Kac, Victor; Cheung, Pokman (2002). Quantum calculus. Universitext. Springer-Verlag. ISBN   0-387-95341-8.