Canonical commutation relation
|
|
Template:TopicInQuantum-theory In physics, the canonical commutation relation is the relation
- <math>[x,p] = i\hbar<math>
among the position <math>x<math> and momentum <math>p<math> of a point particle in one dimension, where <math>[x,p]=xp-px<math> is the so-called commutator of <math>x<math> and <math>p<math>, <math>i<math> is the imaginary unit and <math>\hbar<math> is the reduced Planck's constant <math>h/2\pi<math>. This relation is attributed to Heisenberg, and it implies his uncertainty principle.
| Contents |
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 <math>i\hbar<math> with <math>1<math>:
- <math>\{x,p\}<math> = 1
This observation led Dirac to postulate that, in general, the quantum counterparts <math>\hat f,\hat g<math> of classical observables <math>f,g<math> should satisfy
- <math>[\hat f,\hat g]= i\hbar\widehat{\{f,g\}}.\,<math>
Representations
According to the standard mathematical formulation of quantum mechanics, quantum observables such as <math>x<math> and <math>p<math> 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 <math>e^{-ikx}<math> and <math>e^{-iap}<math>. 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
- <math>[x,p] = i\hbar<math>,
valid for the quantization of the simplest classical system, can be generalized to the case of an arbitrary Lagrangian <math>{\mathcal L}<math>. We identify canonical coordinates (such as <math>x<math> in the example above, or a field <math>\phi(x)<math> in the case of quantum field theory) and canonical momenta <math>\pi_x<math> (in the example above it is <math>p<math>, or more generally, some functions involving the derivatives of the canonical coordinates with respect to time).
- <math>\pi_i \equiv \frac{\partial {\mathcal L}}{(\partial x_i / \partial t)}<math>
This definition of the canonical momentum ensures that one of the Euler-Lagrange equations has the form
- <math>\frac{\partial}{\partial t} \pi_i = \frac{\partial {\mathcal L}}{\partial x_i}<math>
The canonical commutation relations then say
- <math>[x_i,\pi_j] = i\hbar\delta_{ij}<math>
where <math>\delta_{ij}<math> is the Kronecker symbol.
See also
canonical quantization CCR algebra