Commutation Relations and Simultaneous Eigenvalues
Commutator
The commutator of two operators Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}\!} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}\!} is defined as follows:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{B}]=\hat{A}\hat{B}-\hat{B}\hat{A}\,\!.}
When 2 operators Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}\!} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}\!} commute, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{B}]=0.} On the other hand, if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{B}]\neq 0,} then the operators do not commute, and we can think of the commutator between two operators as a measure of how badly they fail to commute. Note that any operator will commute with an ordinary complex number.
Some Identities:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{B}]+[\hat{B},\hat{A}]=0 \!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{A}]= 0 \!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{B}+\hat{C}]=[\hat{A},\hat{B}]+[\hat{A},\hat{C}]\!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A}+\hat{B},\hat{C}]=[\hat{A},\hat{C}]+[\hat{B},\hat{C}]\!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A}\hat{B},\hat{C}]=\hat{A}[\hat{B},\hat{C}]+[\hat{A},\hat{C}]\hat{B}\!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{B}\hat{C}]=[\hat{A},\hat{B}]\hat{C}+\hat{B}[\hat{A},\hat{C}]\!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},[\hat{B},\hat{C}]]+[\hat{C},[\hat{A},\hat{B}]]+[\hat{B},[\hat{C},\hat{A}]]=0\!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{B}]=-[\hat{B},\hat{A}]\!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},\hat{B}]^{\dagger} = [\hat{B}^{\dagger},\hat{A}^{\dagger}]}
In addition, if any two operators are Hermitian and their product is also Hermitian, then the operators commute because
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\hat{A}\hat{B})^{\dagger} = \hat{B}^{\dagger}\hat{A}^{\dagger} = \hat{B}\hat{A} }
and
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\hat{A}\hat{B})^{\dagger} = \hat{A}\hat{B}}
so that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}\hat{B} = \hat{B}\hat{A}.}
One may also prove that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A}^n,\hat{B}]=n\hat{A}^{n-1}[\hat{A},\hat{B}]\!} if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},[\hat{A},\hat{B}]]=0\!} via mathematical induction.
Compatible Observables
An operator which corresponds to some physically measurable property of a system is called an observable. The following is a list of common physical observables and their corresponding operators given in the coordinate representation:
Position: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}\rightarrow\hat{\mathbf{r}} }
Momentum: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{p}\rightarrow\frac{\hbar}{i}\nabla}
Kinetic energy: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T=\frac{p^2}{2m}\rightarrow -\frac{\hbar^2}{2m}\nabla^2}
Potential energy: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V(\mathbf{r})\rightarrow V(\hat{\mathbf{r}})}
Total energy: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E=T+V\rightarrow -\frac{\hbar^2}{2m}\nabla^2+V(\hat{\mathbf{r}})}
All observables are Hermitian.
Two observables Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}} are said to be compatible if it is possible to exactly measure both simultaneously; i.e., they possess a common set of eigenstates:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}|\Psi_{AB}\rangle=a|\Psi_{AB}\rangle\!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}|\Psi_{AB}\rangle=b|\Psi_{AB}\rangle\!}
It follows from this that
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}\hat{B}|\Psi_{AB}\rangle=\hat{A}b|\Psi_{AB}\rangle=b\hat{A}|\Psi_{AB}\rangle=ba|\Psi_{AB}\rangle\!}
and
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}\hat{A}|\Psi_{AB}\rangle=\hat{B}a|\Psi_{AB}\rangle=a\hat{B}|\Psi_{AB}\rangle=ba|\Psi_{AB}\rangle.\!}
Therefore,
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}\hat{B}-\hat{B}\hat{A}=[\hat{A},\hat{B}]=0.\!}
The same logic works in reverse - if two operators commute, then they have simultaneous eigenkets, and thus they are compatible observables. Let us consider two commuting operators Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}.} Suppose that we know the eigenstates of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A};} let us call them Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Psi_{A}\rangle.} We know that
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}|\Psi_{A}\rangle=a|\Psi_{A}\rangle.}
We now act on both sides of this equation with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}:}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}\hat{A}|\Psi_{A}\rangle=a\hat{B}|\Psi_{A}\rangle,}
or, because Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}} commute,
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}\hat{B}|\Psi_{A}\rangle=a\hat{B}|\Psi_{A}\rangle.}
We see that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}|\Psi_{A}\rangle} is therefore also an eigenstate of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}} with the same eigenvalue. This means that we have "block diagonalized" Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}} in the sense that it can only mix eigenstates of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}} with other eigenstates with the same eigenvalue. All of the eigenstates of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}} are thus also eigenstates of meaning that the two observables are compatible.
These observations are especially important when we consider the Hamiltonian of a system. Symmetries of the Hamiltonian are represented by operators that commute with it, and, as we will see later, identification of these symmetries often helps one diagonalize the Hamiltonian and classify its eigenstates.
If , or, equivalently, if it is not possible to simultaneously diagonalize and then the two operators are said to be incompatible observables.
Generalized Uncertainty Relation
If two observables are incompatible, then one cannot necessarily simultaneously diagonalize them, so that an eigenstate of one may be a non-trivial linear combination of eigenstates of the other. This fact is embodied in the existence of an uncertainty relation for the two observables, much like that between position and momentum. We will now derive this general uncertainty relation.
For any observable , let us define the uncertainty as the standard deviation of said observable from its expectation value:
where . Likewise, for any other observable ,
- where .
Now we invoke the Schwartz inequality. Recall that this is just
Invoking this expression,
Now, for any complex number ,
- .
Letting ,
- .
The inner products are
and
Therefore,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle f|g\rangle - \langle g|f\rangle = \langle AB\rangle - \langle BA\rangle = \langle[A,B]\rangle }
and
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Delta A)^2(\Delta B)^2 \geq \left (\frac{1}{2i}\langle[A,B]\rangle\right )^2,}
or
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta A\,\Delta B \geq \left |\frac{1}{2i}\langle[A,B]\rangle\right |.}
This is the general uncertainty relation that we sought.
As a simple demonstration of this relation, suppose that the first observable is position, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A=x} , and the second is momentum, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B=p=\frac{\hbar}{i}\frac{d}{dx}} .
The commutation relation between these two observables is just
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [x,p]=i\hbar,}
so
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta x\,\Delta p\geq\frac{\hbar}{2}.}
We have thus obtained a formal proof of the Heisenberg Uncertainty Principle.
Question: What about the energy-time uncertainty relation?
Answer: We should note that time is not an operator in quantum mechanics, and thus we cannot apply the general uncertainty relation derived above to it. The energy-time uncertainty relation tells us that, for a short time interval, we get broadening in the energy spectrum which we observe. In other words, to get a precise energy value, we need to wait for a long time. The relation between the energy and time intervals is given by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta E\,\Delta t\geq \hbar.}
Functions of Operators
It is often useful to consider functions of operators, as the Hamiltonian can be written as such. For example, the exponential function of an operator is represented as a power series,
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^\hat{A} = \hat{I} + \frac{\hat{A}}{1!} + \frac{\hat{A}^2}{2!}+ \frac{\hat{A}^3}{3!} + \ldots }
This leads to the identity that for some Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\lambda) = e^{\lambda\hat{A}}\hat{B}e^{-\lambda\hat{A}}} , where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{B}} are operators:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{\lambda\hat{A}}\hat{B}e^{-\lambda\hat{A}} = \hat{B} + \frac{\lambda}{1!}[\hat{A},\hat{B}] + \frac{\lambda^2}{2!}[\hat{A},[\hat{A},\hat{B}]] + \frac{\lambda^3}{3!}[\hat{A},[\hat{A},[\hat{A},\hat{B}]]] + \ldots }
This follows easily when one considers a Taylor series expansion of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\lambda).\!} We note that
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{d\lambda}f(\lambda)=e^{\lambda\hat{A}}[\hat{A},\hat{B}]e^{-\lambda\hat{A}}.}
We may then apply this relation recursively to generate the higher-order derivatives required in the Taylor expansion.
If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{A},[\hat{A},\hat{B}]]=\beta\hat{B},} then we can simplify the identity to
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{\lambda\hat{A}}\hat{B}e^{-\lambda\hat{A}}=\hat{B}\cosh\lambda\sqrt{\beta}+\frac{[\hat{A},\hat{B}]}{\sqrt{\beta}}\sinh\lambda\sqrt{\beta}.}
It is also useful to consider the commutator of an operator function with an operator. Given operators Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{l}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{m}} where
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{l},\hat{m}] = 1 }
it can be shown that, for arbitrary Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\hat{l})} ,
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [f(\hat{l}),\hat{m}] = \frac{d}{d\hat{l}}f(\hat{l})}
by use of the power series expansion of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\hat{l})} and the commutator identities in the above section.
Physical Meaning of Various Representations
In a given Hilbert basis, it is obvious that the state vector Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\psi \rangle} is completely determined by the set of its components Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{c_n\},\!}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\psi\rangle\leftrightarrow\left \{c_{n}=\langle\phi_{n}|\psi\rangle\right \}}
which we can write as a column vector; the corresponding bra is then represented by the conjugate line vector. This representation of the state vector is completely equivalent to the wave function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Psi(\mathbf{r},t).}
Therefore, there are not only two, but an infinite number of equivalent representations of the state of the system. What is their physical meaning?
In the basis of the eigenstates of the Hamiltonian, the interpretation of this representation is simple and crystal clear: the coefficients Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c_{n}\!} are the probability amplitudes for obtaining Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E_{n}\!} in an energy measurement.
Therefore,
• The position representation, is more convenient if we are interested in the properties of the particle in space.
• Its Fourier transform, is more convenient if we are interested in its momentum properties.
• The coefficients in the basis of energy eigenstates are more convenient if we are interested in the energy of the particle.
Owing to Riesz’s theorem, this can be done with any observable, such as the angular momentum, which we examine later on and also has discrete eigenvalues. This can be thought of as a “generalization” of the Fourier transform.
Position and Momentum Operators
An extremely useful example is the commutation relation of the position and momentum operators. In the position representation, the position operator is and the momentum operator is . Similarly, in the momentum representation, the momentum operator is and position operator .
Applying and to an arbitrary state vector, we can see that
The position and momentum operators are thus incompatible. This provides a fundamental contrast to classical mechanics in which and obviously commute. Such a commutation relation holds for any coordinate and its canonically conjugate momentum; the commutation relations for all coordinates and their corresponding momenta are known as the canonical commutation relations.
In three dimensions, the canonical commutation relations are
and
where the indices stand for the and components of the 3-vectors.
It is again interesting to consider functions of these operators. For some function of a coordinate it is easily shown that
Additionally, the expression i.e., the operator is a translation operator that shifts the coordinate by an amount
Connection between Classical and Quantum Mechanics
There is a wonderful connection between classical and quantum mechanics. The Hamiltonian is a function that appears in classical mechanics and is "promoted" to an operator in quantum mechanics. Classically, the Hamiltonian is defined as
where is the Lagrangian. There are two properties of this quantity.
1. If does not depend explicitly on time, then is conserved.
2. Furthermore, if the potential energy and the constraints of the system are time-independent, then is not only conserved, but is the energy of the system.
The equations of motion for the system that we may derive from the Hamiltonian are
and
These equations are called Hamilton's equations of motion. We also define the quantity,
known as the Poisson bracket. We may observe an interesting connection between this purely classical concept and the commutators that we encounter in quantum mechanics as follows. Let us calculate this quantity with and different coordinates and momenta.
These relations are very similar to the canonical commutation relations discussed earlier. In fact, if we make the replacement,
and replace the Poisson brackets with commutators, then we obtain the canonical commutation relations. This identification is called canonical quantization.
As a final important remark, there is no classical analogue to the Heisenberg uncertainty relation for conjugate classical variables in terms of, say, their Poisson brackets. This is because, in classical mechanics, the objects that we study are point particles (or collections thereof) with well-defined positions and momenta. In quantum mechanics, on the other hand, we study the state of a system as encoded in its wave function. This wave function describes the probability of finding a particle at a given position or with a given momentum; the particles that make up the system do not have definite positions or momenta.
Problems
(1) Let be a differentiable function. Using the fact that prove the following identities:
(a)
(b)
(c)
(d)
(2) (From Sakurai, Modern Quantum Mechanics, Problem 1.30)
The translation operator for a finite (spatial) displacement is given by where is the momentum operator.
(a) Evaluate
(b) Using your result from (a), demonstrate how the expectation value changes under translation.