Informatics Educational Institutions & Programs

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$ and $h$ can be related by the formula $q=e^{h}$ .

Differentiation

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

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

and

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

,

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

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

and

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 $q\rightarrow 1$ of the q-derivative or as $h\rightarrow 0$ of the h-derivative, one can obtain the derivative:

\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 broad applications in numerical analysis, and especially finite difference calculus.

Example

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

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

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

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

and

{\begin{aligned}D_{h}(x^{n})&={\frac {(x+h)^{n}-x^{n}}{h}}\\&={\frac {1}{h}}\left(\sum _{k=0}^{n}{{\binom {n}{k}}x^{n-k}h^{k}-x^{n}}\right)\\&={\frac {1}{h}}\sum _{k=1}^{n}{{\binom {n}{k}}x^{n-k}h^{k}}\\&=\sum _{k=1}^{n}{{\binom {n}{k}}x^{n-k}h^{k-1}}\\&=nx^{n-1}+{\frac {n(n-1)}{2}}hx^{n-2}+\cdots +nh^{n-2}x+h^{n-1},\end{aligned}}

respectively. The expression $[n]_{q}x^{n-1}$ is then the q-analog and ${\textstyle \sum _{k=1}^{n}{{\binom {n}{k}}x^{n-k}h^{k-1}}}$ is the h-analog of the power rule for positive integral powers. 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.

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.

Quantum mechanics
Background	Introduction History Timeline Classical mechanics Old quantum theory Glossary
Fundamentals	Born rule Bra–ket notation Complementarity Density matrix Energy level Ground state Excited state Degenerate levels Zero-point energy Entanglement Hamiltonian Interference Decoherence Measurement Nonlocality Quantum state Superposition Tunnelling Scattering theory Symmetry in quantum mechanics Uncertainty Wave function Collapse Wave–particle duality
Formulations	Formulations Heisenberg Interaction Matrix mechanics Schrödinger Path integral formulation Phase space
Equations	Dirac Klein–Gordon Pauli Rydberg Schrödinger
Interpretations	Bayesian Consistent histories Copenhagen de Broglie–Bohm Ensemble Hidden-variable Local Superdeterminism Many-worlds Objective collapse Quantum logic Relational Transactional Von Neumann–Wigner
Experiments	Bell test Davisson–Germer Delayed-choice quantum eraser Double-slit Franck–Hertz Mach–Zehnder interferometer Elitzur–Vaidman Popper Quantum eraser Stern–Gerlach Wheeler's delayed choice
Science	Quantum biology Quantum chemistry Quantum chaos Quantum cosmology Quantum differential calculus Quantum dynamics Quantum geometry Quantum measurement problem Quantum mind Quantum stochastic calculus Quantum spacetime
Technology	Quantum algorithms Quantum amplifier Quantum bus Quantum cellular automata Quantum finite automata Quantum channel Quantum circuit Quantum complexity theory Quantum computing Timeline Quantum cryptography Quantum electronics Quantum error correction Quantum imaging Quantum image processing Quantum information Quantum key distribution Quantum logic Quantum logic gates Quantum machine Quantum machine learning Quantum metamaterial Quantum metrology Quantum network Quantum neural network Quantum optics Quantum programming Quantum sensing Quantum simulator Quantum teleportation
Extensions	Quantum fluctuation Casimir effect Quantum statistical mechanics Quantum field theory History Quantum gravity Relativistic quantum mechanics
Related	Schrödinger's cat in popular culture Wigner's friend EPR paradox Quantum mysticism
Category