Question 1
Prove by induction that, for every integer
n≥1, [X^,P^n]=iℏnP^n−1. Hence show that
[X^,f(P^)]=iℏf′(P^) for every polynomial
f. State without proof the analogous result for
[P^,g(X^)].
Solution
For
n=1, this is the canonical relation. Suppose the formula holds at rank
n. Writing
P^n+1=P^nP^ and using the stated rule in the form
[C^,A^B^]=A^[C^,B^]+[C^,A^]B^ gives
[X^,P^n+1]=P^n[X^,P^]+[X^,P^n]P^=iℏP^n+iℏnP^n−1P^=iℏ(n+1)P^n,
which establishes the formula at rank n+1. Since the commutator is linear, it follows for a polynomial f(p)=∑nanpn that
[X^,f(P^)]=n∑an[X^,P^n]=iℏn∑nanP^n−1=iℏf′(P^).
The commutator with X^ therefore acts as differentiation with respect to P^. The same argument, starting from [P^,X^]=−iℏ1, gives [P^,g(X^)]=−iℏg′(X^), a result that can also be verified directly in the position representation, where P^=−iℏd/dx. These formulae extend to functions admitting a power-series expansion.
Question 2
Consider the translation operator
T(a)=e−iaP^/ℏ, with
a real. Calculate
[X^,T(a)], then show that
T(a)†X^T(a)=X^+a1. Interpret this result by calculating the expectation value of position in the state
T(a)∣ψ⟩.
Solution
From the previous question, with
f(p)=e−iap/ℏ, whose derivative is
f′(p)=−ℏiaf(p),
[X^,T(a)]=iℏ(−ℏia)T(a)=aT(a).
Thus X^T(a)=T(a)X^+aT(a). The operator T(a) is unitary, since T(a)†=eiaP^/ℏ=T(−a)=T(a)−1, as P^ is self-adjoint. Multiplying on the left by T(a)† gives
T(a)†X^T(a)=X^+a1.
For the translated state ∣ψa⟩=T(a)∣ψ⟩, the expectation value of position is therefore
⟨ψa∣X^∣ψa⟩=⟨ψ∣T(a)†X^T(a)∣ψ⟩=⟨X^⟩ψ+a.
The operator T(a) does indeed translate the state a distance a to the right, consistently with its action (T(a)ψ)(x)=ψ(x−a) in the position representation.
Question 3
Calculate the commutator
[H^,X^P^]. Using Ehrenfest's theorem, hence derive an expression for
dtd⟨X^P^⟩.
Solution
Using the stated rule,
[H^,X^P^]=[H^,X^]P^+X^[H^,P^].
On the one hand, only the kinetic energy contributes to the first commutator and, from the first question, [P^2,X^]=−[X^,P^2]=−2iℏP^, so [H^,X^]=−miℏP^. On the other hand, only the potential contributes to the second, and [H^,P^]=[V(X^),P^]=iℏV′(X^). Thus
[H^,X^P^]=−miℏP^2+iℏX^V′(X^).
The operator X^P^ has no explicit time dependence, and Ehrenfest's theorem gives
dtd⟨X^P^⟩=ℏi⟨[H^,X^P^]⟩=m⟨P^2⟩−⟨X^V′(X^)⟩.
Note that X^P^ is not self-adjoint, but Ehrenfest's theorem, which relies only on the Schrödinger equation, still applies to its expectation value.
Question 4
Hence show that, in a stationary state, the expectation value of the kinetic energy
⟨T^⟩=⟨P^2⟩/(2m) satisfies the virial theorem
2⟨T^⟩=⟨X^V′(X^)⟩.
Apply this result to the harmonic oscillator V(x)=21mω2x2 and to a potential V(x)=λ∣x∣, where λ>0.
Solution
In a stationary state, all expectation values of time-independent observables are constant, since the state changes only by a global phase. The left-hand side of the preceding relation therefore vanishes, and
⟨P^2⟩/m=⟨X^V′(X^)⟩, that is,
2⟨T^⟩=⟨X^V′(X^)⟩.
For the harmonic oscillator, xV′(x)=mω2x2=2V(x), and the theorem gives ⟨T^⟩=⟨V⟩: in every eigenstate, the energy is divided equally between kinetic and potential energy, each equal to En/2. For the potential λ∣x∣, we have xV′(x)=λxsgn(x)=λ∣x∣=V(x), hence 2⟨T^⟩=⟨V⟩: the expectation value of the potential energy is twice that of the kinetic energy, and therefore ⟨V⟩=32E and ⟨T^⟩=31E. More generally, for V(x)∝∣x∣s, we find 2⟨T^⟩=s⟨V⟩. The case of the three-dimensional Coulomb potential, s=−1, gives 2⟨T^⟩=−⟨V⟩, a result that can be verified for the ground state of the hydrogen atom.