Quantum calculus, sometimes called calculus without limits, is equivalent to traditional infinitesimal calculus without the notion of limits. The two types of calculus in quantum calculus are q-calculus and h-calculus. The goal of both types is to find "analogs" of mathematical objects, where, after taking a certain limit, the original object is returned. In q-calculus, the limit as q tends to 1 is taken of the q-analog. Likewise, in h-calculus, the limit as h tends to 0 is taken of the h-analog. The parameters
q
h
q=eh
The q-differential and h-differential are defined as:
dq(f(x))=f(qx)-f(x)
and
dh(f(x))=f(x+h)-f(x)
respectively. The q-derivative and h-derivative are then defined as
Dq(f(x))=
dq(f(x)) | |
dq(x) |
=
f(qx)-f(x) | |
qx-x |
and
Dh(f(x))=
dh(f(x)) | |
dh(x) |
=
f(x+h)-f(x) | |
h |
respectively. By taking the limit as
q → 1
h → 0
\limqDqf(x)=\limhDhf(x)=
d | |
dx |
l(f(x)r)
A function F(x) is a q-antiderivative of f(x) if DqF(x) = f(x). The q-antiderivative (or q-integral) is denoted by and an expression for F(x) can be found from:, which is called the Jackson integral of f(x). For, the series converges to a function F(x) on an interval (0,A] if |f(x)xα| is bounded on the interval for some .
The q-integral is a Riemann–Stieltjes integral with respect to a step function having infinitely many points of increase at the points qj..The jump at the point qj is qj. Calling this step function gq(t) gives dgq(t) = dqt.[1]
A function F(x) is an h-antiderivative of f(x) if DhF(x) = f(x). The h-integral is denoted by . If a and b differ by an integer multiple of h then the definite integral is given by a Riemann sum of f(x) on the interval, 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 broad applications in numerical analysis, and especially finite difference calculus.
In infinitesimal calculus, the derivative of the function
xn
nxn-1
n
n) | |
D | |
q(x |
=
1-qn | |
1-q |
xn=
n-1 | |
[n] | |
q x |
where
[n]q
[n]q=
1-qn | |
1-q |
and
n) | |
\begin{align} D | |
h(x |
&=
(x+h)n-xn | |
h |
\\ &=
1 | |
h |
n{\binom{n}{k} | |
\left(\sum | |
k=0 |
xn-khk-xn}\right)\\ &=
1 | |
h |
n{\binom{n}{k} | |
\sum | |
k=1 |
xn-khk}\\ &=
n{\binom{n}{k} | |
\sum | |
k=1 |
xn-khk-1
respectively. The expression
[n]qxn
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.
. Victor . Kac . Victor Kac . Pokman . Cheung . Quantum calculus . Universitext . Springer-Verlag . 2002 . 0-387-95341-8 .