Quantum calculus

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

q=e^{ih}=e^{2\pi i\hbar }\,

where $\scriptstyle \hbar ={\frac {h}{2\pi }}\,$ is the reduced Planck constant.

Differentiation

In the q-calculus and h-calculus, differentials of functions are defined as

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

and

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

respectively. Derivatives of functions are then defined as fractions by the q-derivative

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

and by

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

In the limit, as h goes to 0, or equivalently as q goes to 1, these expressions take on the form of the derivative of classical calculus.

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 $\int f(x)\,d_{q}x$ and an expression for F(x) can be found from the formula $\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, with the jump at the point q^j being q^j. If we call this step function g_q(t) then 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-antiderivative (or h-integral) is denoted by $\int f(x)\,d_{h}x$ . If a and b differ by an integer multiple of h then the definite integral $\int _{a}^{b}f(x)\,d_{h}x$ is given by a Riemann sum of f(x) on the interval [a,b] partitioned into subintervals of width h.

Example

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

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

with the q-bracket

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

and

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

respectively. The expression $[n]_{q}x^{n-1}$ is then the q-calculus analogue of the simple power rule for positive integral powers. In this sense, the function $x^{n}$ is still nice in the q-calculus, but rather ugly in the h-calculus – the h-calculus analog of $x^{n}$ is instead the falling factorial, $(x)_{n}:=x(x-1)\cdots (x-n+1).$ One may proceed further and develop, for example, equivalent notions of Taylor expansion, et cetera, and even arrive at q-calculus analogues for all of the usual functions one would want to have, such as an analogue for the sine function whose q-derivative is the appropriate analogue for the cosine.

History

The h-calculus is just the calculus of finite differences, which had been studied by George Boole and others, and has proven useful in a number of fields, among them combinatorics and fluid mechanics. The q-calculus, while dating in a sense back to Leonhard Euler and Carl Gustav Jacobi, is only recently beginning to see more usefulness in quantum mechanics, having an intimate connection with commutativity relations and Lie algebra.

References

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.

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.
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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[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.