Canonical commutation relation

In physics, the canonical commutation relation is the relation between canonical conjugate quantities (quantities which are related by definition such that one is the Fourier transform of another), for example:

$[x,p\_x]\; =\; ihbar$

between the position $x$ and momentum $p$ in the $x$ direction of a point particle in one dimension, where $[x,p\_x]=x\; p\_x-p\_x\; x$ is the so-called commutator of $x$ and $p\_x$, $i$ is the imaginary unit and $hbar$ is the reduced Planck's constant $h/2pi$. This relation is attributed to Max Born, and it implies the Heisenberg uncertainty principle.

Relation to classical mechanics

By contrast, in classical physics all observables commute and the commutator would be zero; however, an analogous relation exists, which is obtained by replacing the commutator with the Poisson bracket and the constant $ihbar$ with $1$:

$\{x,p\}\; =\; 1\; ,!$

This observation led Dirac to postulate that, in general, the quantum counterparts $hat\; f,hat\; g$ of classical observables $f,g$ should satisfy

$[hat\; f,hat\; g]=\; ihbarwidehat\{\{f,g\}\}.,$

In 1927, Hermann Weyl showed that a literal correspondence between a quantum operator and a classical distribution in phase space could not hold. However, he did propose a mechanism, Weyl quantization, that underlies a mathematical approach to quantization known as deformation quantization.

Representations

According to the standard mathematical formulation of quantum mechanics, quantum observables such as $x$ and $p$ should be represented as self-adjoint operators on some Hilbert space. It is relatively easy to see that two operators satisfying the canonical commutation relations cannot both be bounded. The canonical commutation relations can be made tamer by writing them in terms of the (bounded) unitary operators $e^\{-ikx\}$ and $e^\{-iap\}$. The result is the so-called Weyl relations. The uniqueness of the canonical commutation relations between position and momentum is guaranteed by the Stone-von Neumann theorem. The group associated with the commutation relations is called the Heisenberg group.

Generalizations

The simple formula

$[x,p]\; =\; ihbar$,

valid for the quantization of the simplest classical system, can be generalized to the case of an arbitrary Lagrangian $\{mathcal\; L\}$. We identify canonical coordinates (such as $x$ in the example above, or a field $phi(x)$ in the case of quantum field theory) and canonical momenta $pi\_x$ (in the example above it is $p$, or more generally, some functions involving the derivatives of the canonical coordinates with respect to time).

$pi\_i\; stackrel\{mathrm\{def\}\}\{=\}\; frac\{partial\; \{mathcal\; L\}\}\{partial(partial\; x\_i\; /\; partial\; t)\}$

This definition of the canonical momentum ensures that one of the Euler-Lagrange equations has the form

$frac\{partial\}\{partial\; t\}\; pi\_i\; =\; frac\{partial\; \{mathcal\; L\}\}\{partial\; x\_i\}$

The canonical commutation relations then say

$[x\_i,pi\_j]\; =\; ihbardelta\_\{ij\}$

where $delta\_\{ij\}$ is the Kronecker delta.

Also, it can be shown,

$[F(vec\{x\}),p\_i]\; =\; ihbarfrac\{partial\; F(vec\{x\})\}\{partial\; x\_i\};\; [x\_i,\; F(vec\{p\})]\; =\; ihbarfrac\{partial\; F(vec\{p\})\}\{partial\; p\_i\}$,

Gauge invariance

Canonical quantization is performed, by definition, on canonical coordinates. However, in the presence of an electromagnetic field, the canonical momentum p is not gauge invariant. The correct gauge-invariant momentum (or "kinetic momentum") is

$p-eA/c\; ,\; ,!$

where e is the quantum of electric charge, and A is the vector potential and c is the speed of light. Although the quantity p is the "physical momentum" in that it is the quantity to be identified with momentum in laboratory experiments, it does not satisfy the canonical commutation relations; only the canonical momentum does that. This can be seen as follows.

The non-relativistic Hamiltonian for a quantized charged particle of mass m in a classical electromagnetic field is

$H=frac\{1\}\{2m\}\; left(p-frac\{eA\}\{c\}right)^2\; +ephi$

where A is the three-vector potential and $phi$ is the scalar potential. This form of the Hamiltonian, as well as the Schroedinger equation $Hpsi=ihbar\; partialpsi/partial\; t$, the Maxwell equations and the Lorentz force law are invariant under the gauge transformation

$Ato\; A^prime=A+nabla\; Lambda$

$phito\; phi^prime=phi-frac\{1\}\{c\}\; frac\{partial\; Lambda\}\{partial\; t\}$

$psitopsi^prime=Upsi$

$Hto\; H^prime=\; U\; HU^dagger$

where

$U=exp\; left(frac\{ieLambda\}\{hbar\; c\}right)$

and $Lambda=Lambda(x,t)$ is the gauge function.

The canonical angular momentum is

$L=r\; times\; p\; ,!$

and obeys the canonical quantization relations

$[L\_i,\; L\_j]=\; ihbar\; \{epsilon\_\{ijk\}\}\; L\_k$

defining the Lie algebra for so(3), where $epsilon\_\{ijk\}$ is the Levi-Civita symbol. Under gauge transformations, the angular momentum transforms as

$langle\; psi\; vert\; L\; vert\; psi\; rangle\; to$

langle psi^prime vert L^prime vert psi^prime rangle = langle psi vert L vert psi rangle + frac {e}{hbar c} langle psi vert r times nabla Lambda vert psi rangle

The gauge-invariant angular momentum (or "kinetic angular momentum") is given by

$K=r\; times\; left(p-frac\{eA\}\{c\}right)$

which has the commutation relations

$[K\_i,K\_j]=ihbar\; \{epsilon\_\{ij\}\}^\{,k\}$

left(K_k+frac{ehbar}{c} x_k left(x cdot Bright)right)

where

$B=nabla\; times\; A$

is the magnetic field. The inequivalence of these two formulations shows up in the Zeeman effect and the Aharonov-Bohm effect.

Examples

Angular momentum operators

$[hat\{L\_x\},\; hat\{L\_y\}]\; =\; i\; hbar\; epsilon\_\{xyz\}\; hat\{L\_z\}$

Here $epsilon\_\{xyz\}$ is the Levi-Civita symbol and simply reverses the sign of the answer under acyclic permutation of the indices. An analogous relation holds for the spin operators.

See also

• canonical quantization
• CCR algebra
• Lie derivative

References

External links