As long as one deals only with commuting observables the rules of ordinary algebra may be used without restrition. However, the observables of a given quantum system do not all commute. More precisely, the observables of a quantum system in
dimensions are functions of the position observables
and the momentum observables
, all pairs of which do not commute. The commutators of the
's and the
's play a fundamental role in the theory. One has:
![{\displaystyle [q_{i},q_{j}]=0,\,\,\,\,\,\,\,\,[p_{i},p_{j}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bc76eff35e3897605e0a0b26d3ea29b6764b207)
![{\displaystyle [q_{i},p_{j}]=i\hbar \delta _{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0023d38c111cc82a01073afdfdfd3d715267e880)
Relations (1) are obvious; in particular the second merely states that operations of differentiation commute with each other. Relation (2) is a generalization of
it is readily obtained by using the explicit form of the operators
:
From the fact that the
's and the
's do not commute in pairs, the precise definition of a dynamical variable
requires that one properly specifies the order of the
and the
in the explicit expression of the function
. In practice,
is put in the form of a polynomial in
- or possibly in the form of a power series in
- whose coefficients are functions of
. Each term is a product of components
and functions of the
arranged in a certain order. The function
, considered as an operator, is well defined only when the order in each of its terms is specified.
It is interesting to know he commutators of the
's alone, or of the
's alone, one obtains the relations
![{\displaystyle [q_{i},F(q_{1},\dots ,q_{R})]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7f92e0a42d43c7ebe9fdb70e0873d105efd8057)
![{\displaystyle [p_{i},G(p_{1},\dots ,p_{R})]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/628f1d9157478f84ba0e08ed23e794562dd99a81)
![{\displaystyle [p_{i},F(q_{1},\dots ,q_{R})]={\frac {\hbar }{i}}{\frac {\partial F}{\partial q_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e21022cea7aa64d0fe28d4c6312a13576d61491)
![{\displaystyle [q_{i},G(p_{1},\dots ,p_{R})]=i\hbar {\frac {\partial G}{\partial p_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd29e5c322adf1b54714f878abfa3699f2ed9643)
The relations (3) and (4) are particular cases of the theorem:
If two observables commute, they possess a complete orthonormal set of common eigenfunctions, and conversely.
To prove equation (5), t suffices to write down the operator
explicitly and to verify that the action of each side of the equation on an arbitrary wave function gives the same result (see quantum operator concept). Equation (6) is proved by making an analogous verification in momentum space; let us recall that if
is the wave function of momentum space corresponding to
, the function of momentum space coresponding to
is
One arrives at the same result using the rules of commutator algebra . Let us give here the four principal rules. Thse rules are direct consequences of the definition of commutators. If
,
, and
denote three arbitrary linear operators, one has
![{\displaystyle [A,B]=-[B,A]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37b04a066443e96c0b27d4b14f7f5d51c7b2b0c3)
![{\displaystyle [A,B+C]=[A,B]+[A,C]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f50e382d516600cfe9f7a34376ebe694bb62177)
![{\displaystyle [A,BC]=[A,B]C+B[A,C]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c7c96785faa7d6e5ecc7d8ada53830b24338c60)
![{\displaystyle [A,[B,C]]+[B,[C,A]]+[C,[A,B]]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/046dbc0d4387302c8d321afb443e35bc1890fcac)
By repeated application of rule (9), one hs
In particular, for a one-dimensional system one has
Equation 6 is thus verified when
is an arbitrary power of the
; it is thus also verified (rule 8) when
is a polynomial, or else a convergent power series in
.
For general functions of the
's and
's, one can also write
![{\displaystyle [p_{i},A]={\frac {hbar}{i}}{\frac {\partial A}{\partial q_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/755684585112e35b603c303a3647e245f8bb77dd)
![{\displaystyle [q_{i},A]=i\hbar {\frac {\partial A}{\partial p_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fd3fd7abd9eea8ce35d1866668b53288d8f96ce)
,
being defined by partial differentiation of
, it being understood that the order of the
's and
's in their explicit expression has been suitably chosen.
[1] Messiah, Albert. "Quantum mechanics: volume I." Amsterdam, North-Holland Pub. Co.; New York, Interscience Publishers, 1961-62.
This entry is a derivative of the Public domain work [1].