Problems 7

Part IV ✎ Problems Phillips pp. 148–154 · ~23 min read

  • commutator
  • Schwarz inequality
  • virial theorem

Anti-Hermiticity, Cauchy–Schwarz and the virial theorem all turn up here as exercises. Each is a standard piece of mathematics doing physics work for the first time.

Eight problems, and for this chapter they are not exercises but the content. 1–2 collect the commutators the chapter has been using and find the one pair that commutes. 3 derives the angular-momentum algebra, which is not a problem so much as the foundation chapter 8 is built on. 4–6 supply the mathematical machinery §7.4 borrowed on credit: that p^\hat p is Hermitian, and the Schwarz inequality behind the uncertainty principle. 7 turns symmetry into conservation in two coordinate systems, and 8 derives the virial theorem .

Group 1 — the commutators of a particle in a potential

1 Three commutators, and what each forbids derivation

For a particle in V(x)V(x), show that

[x^,p^]0,[x^,H^]0,[p^,H^]0[\hat x,\hat p] \ne 0,\qquad [\hat x,\hat H] \ne 0,\qquad [\hat p,\hat H] \ne 0

What is the physical significance of these relations?

💡 Phillips' own hint
[x^,p^]=i,[x^,H^]=2mx,[p^,H^]=idVdx[\hat x,\hat p] = i\hbar,\qquad [\hat x,\hat H] = \frac{\hbar^2}{m}\frac{\partial}{\partial x},\qquad [\hat p,\hat H] = -i\hbar\frac{\mathrm dV}{\mathrm dx}
✓ Worked solution

The first is Eq. (7.17), derived in §7.4.

The second. H^=T^+V^\hat H = \hat T + \hat V, and x^\hat x commutes with V^\hat V (both are multiplications), so only the kinetic term contributes:

[x^,H^]=[x^,T^]=12m[x^,p^2]=12m(p^[x^,p^]+[x^,p^]p^)=imp^[\hat x,\hat H] = [\hat x,\hat T] = \frac{1}{2m}[\hat x,\hat p^2] = \frac{1}{2m}\left(\hat p[\hat x,\hat p] + [\hat x,\hat p]\hat p\right) = \frac{i\hbar}{m}\hat p

using the identity [A^,B^2]=B^[A^,B^]+[A^,B^]B^[\hat A,\hat B^2] = \hat B[\hat A,\hat B] + [\hat A,\hat B]\hat B, which is problem 3’s hint in reverse. Note the hint’s form 2/mx\hbar^2\partial/m\partial x is the same thing, since /x=ip^/\partial/\partial x = i\hat p/\hbar.

The third. Now p^\hat p commutes with T^\hat T (problem 2), so only the potential contributes, and the product rule gives

[p^,H^]=[p^,V^]=idVdx[\hat p,\hat H] = [\hat p,\hat V] = -i\hbar\frac{\mathrm dV}{\mathrm dx}

The significance is two statements, one from each of the chapter’s halves.

By §7.4, no two of position, momentum and energy are compatible — no state has any two of them sharp at once.

By §7.5, neither position nor momentum is a constant of motion. And those last two commutators are not merely non-zero, they are informative: substituting them into Eq. (7.22) gives dx/dt=p/m\mathrm d\langle x\rangle/\mathrm dt = \langle p\rangle/m and dp/dt=dV/dx\mathrm d\langle p\rangle/\mathrm dt = -\langle\mathrm dV/\mathrm dx\rangleNewton’s laws, as §7.5 worked out.

2 The one pair that commutes derivation

(a) Write down T^\hat T and p^\hat p for a particle of mass mm on the xx axis. (b) Show [p^,T^]=0[\hat p,\hat T] = 0 and explain its significance. (c) Show ψ=Acoskx\psi = A\cos kx is an eigenfunction of T^\hat T but not of p^\hat p. (d) Are there simultaneous eigenfunctions of T^\hat T and p^\hat p?

💡 Phillips' own hint

For (d), show that the functions AeikxAe^{ikx} are simultaneous eigenfunctions of T^\hat T and p^\hat p.

✓ Worked solution

(a) p^=i/x\hat p = -i\hbar\,\partial/\partial x and T^=p^2/2m=(2/2m)2/x2\hat T = \hat p^2/2m = -(\hbar^2/2m)\,\partial^2/\partial x^2.

(b) T^\hat T is built from p^\hat p alone, and everything commutes with itself, so [p^,p^2]=0[\hat p,\hat p^2] = 0 identically. Momentum and kinetic energy are always compatible. It is the potential that makes momentum and total energy incompatible, which is exactly what problem 1’s third commutator says: [p^,H^]=idV/dx[\hat p,\hat H] = -i\hbar\,\mathrm dV/\mathrm dx, zero if and only if VV is constant.

(c) T^(Acoskx)=(2k2/2m)Acoskx\hat T(A\cos kx) = (\hbar^2k^2/2m)A\cos kx — an eigenfunction, with eigenvalue 2k2/2m\hbar^2k^2/2m. But p^(Acoskx)=ikAsinkx\hat p(A\cos kx) = i\hbar kA\sin kx, which is not a multiple of coskx\cos kx. So definite kinetic energy, indefinite momentum.

(d) Yes: ψ=Aeikx\psi = Ae^{ikx}, with p^ψ=kψ\hat p\psi = \hbar k\psi and T^ψ=(2k2/2m)ψ\hat T\psi = (\hbar^2k^2/2m)\psi. This is §7.2’s momentum eigenfunction, Eq. (7.11).

Group 2 — the problem chapter 8 is built on

3 The angular-momentum algebra derivation

Given the canonical relations [x^,p^x]=[y^,p^y]=[z^,p^z]=i[\hat x,\hat p_x] = [\hat y,\hat p_y] = [\hat z,\hat p_z] = i\hbar with all other pairs commuting:

(a) Using L^x=y^p^zz^p^y\hat L_x = \hat y\hat p_z - \hat z\hat p_y and L^y=z^p^xx^p^z\hat L_y = \hat z\hat p_x - \hat x\hat p_z, verify that [L^x,L^y]=[y^p^z,z^p^x]+[z^p^y,x^p^z][\hat L_x,\hat L_y] = [\hat y\hat p_z,\hat z\hat p_x] + [\hat z\hat p_y,\hat x\hat p_z].

(b) Hence verify [L^x,L^y]=iL^z[\hat L_x,\hat L_y] = i\hbar\hat L_z. What is its physical significance?

(c) Verify [L^2,L^z]=0[\hat L^2,\hat L_z] = 0, where L^2=L^x2+L^y2+L^z2\hat L^2 = \hat L_x^2 + \hat L_y^2 + \hat L_z^2. What is its significance?

💡 Phillips' own hint

For (c), use [A^2,B^]=A^[A^,B^]+[A^,B^]A^[\hat A^2,\hat B] = \hat A[\hat A,\hat B] + [\hat A,\hat B]\hat A.

✓ Worked solution

(a) Expand [L^x,L^y][\hat L_x,\hat L_y] into four commutators. Two of them — [y^p^z,x^p^z][\hat y\hat p_z,\hat x\hat p_z] and [z^p^y,z^p^x][\hat z\hat p_y,\hat z\hat p_x] — contain only operators that commute with one another, so they vanish. The two surviving terms are the ones stated.

(b) Take the first: y^\hat y and p^x\hat p_x pass through everything, so only p^z\hat p_z and z^\hat z interact —

[y^p^z,z^p^x]=y^p^x[p^z,z^]=iy^p^x[\hat y\hat p_z,\hat z\hat p_x] = \hat y\hat p_x[\hat p_z,\hat z] = -i\hbar\,\hat y\hat p_x

and likewise [z^p^y,x^p^z]=+ix^p^y[\hat z\hat p_y,\hat x\hat p_z] = +i\hbar\,\hat x\hat p_y. Adding,

[L^x,L^y]=i(x^p^yy^p^x)=iL^z[\hat L_x,\hat L_y] = i\hbar(\hat x\hat p_y - \hat y\hat p_x) = i\hbar\hat L_z

Its significance: no two components of angular momentum are compatible. A state cannot have LxL_x and LyL_y both sharp — so the classical picture of an angular-momentum vector pointing in a definite direction has no quantum counterpart.

(c) Using the hint on each term: [L^x2,L^z]=L^x[L^x,L^z]+[L^x,L^z]L^x=i(L^xL^y+L^yL^x)[\hat L_x^2,\hat L_z] = \hat L_x[\hat L_x,\hat L_z] + [\hat L_x,\hat L_z]\hat L_x = -i\hbar(\hat L_x\hat L_y + \hat L_y\hat L_x), and [L^y2,L^z]=+i(L^yL^x+L^xL^y)[\hat L_y^2,\hat L_z] = +i\hbar(\hat L_y\hat L_x + \hat L_x\hat L_y). These cancel exactly, and [L^z2,L^z]=0[\hat L_z^2,\hat L_z] = 0 trivially. Hence [L^2,L^z]=0[\hat L^2,\hat L_z] = 0.

Its significance is the labelling scheme of every atom in the book. The magnitude of the angular momentum is compatible with one of its components. So a state may be labelled by L2L^2 and LzL_z together — never by two components — and that is precisely the pair chapter 9 uses, alongside the energy, to name hydrogen’s states (n,,m)(n,\ell,m).

Compatible, commuting, sharing an eigenbasis — one statement, three ways

the commutator [Â, B̂]

0.000.000.000.000.000.000.000.000.00

largest entry 0.0000

eigenbasis overlap |⟨aᵢ|bⱼ⟩|²

0.001.000.001.000.000.000.000.001.00

one 1 per row — they share a basis

Compatible. The commutator is exactly zero and the overlap matrix is a permutation — each eigenvector of  is also an eigenvector of B̂. A state can have both observables sharp at once, and measuring one does not disturb the other.

Drag the knob and watch the two panels fail together. There is no angle at which the commutator vanishes but the bases differ, or the bases coincide but the commutator does not vanish. Compatible, commuting, and sharing an eigenbasis are one fact wearing three names — and the linear-algebra theorem behind it is that two Hermitian matrices are simultaneously diagonalizable if and only if they commute.

 = diag(1, 2, 5) fixed; B̂ starts as diag(3, −1, 4) and is rotated in the 1–2 plane. Eigenvectors by a Jacobi sweep, so the overlap matrix is computed, not asserted.

Group 3 — the deferred mathematics

These three supply what §7.4 used on credit when it derived the uncertainty principle.

4 Momentum is Hermitian derivation

By integrating by parts and assuming the wave functions vanish at infinity, verify that p^=i/x\hat p = -i\hbar\,\partial/\partial x is Hermitian.

✓ Worked solution
Ψ1p^Ψ2dx=iΨ1Ψ2xdx\int_{-\infty}^{\infty}\Psi_1^*\,\hat p\,\Psi_2\,\mathrm dx = -i\hbar\int\Psi_1^*\frac{\partial\Psi_2}{\partial x}\,\mathrm dx

Integrate by parts:

=i[Ψ1Ψ2]+iΨ1xΨ2dx= -i\hbar\left[\Psi_1^*\Psi_2\right]_{-\infty}^{\infty} + i\hbar\int\frac{\partial\Psi_1^*}{\partial x}\Psi_2\,\mathrm dx

The boundary term vanishes because normalizable wave functions go to zero at infinity. And iΨ1/x=(iΨ1/x)=(p^Ψ1)i\hbar\,\partial\Psi_1^*/\partial x = (-i\hbar\,\partial\Psi_1/\partial x)^* = (\hat p\Psi_1)^*, so

Ψ1p^Ψ2dx=(p^Ψ1)Ψ2dx\int\Psi_1^*\,\hat p\,\Psi_2\,\mathrm dx = \int(\hat p\Psi_1)^*\,\Psi_2\,\mathrm dx

which is Eq. (7.2).

Both conditions matter. The factor of i-i is essential: without it, /x\partial/\partial x alone is anti-Hermitian, since integrating by parts flips the sign and nothing restores it. And the boundary term must vanish, which is why this proof works for normalizable states and needs care for the plane waves of §7.2.

5 What Hermiticity gives you derivation

For a particle with wave function Ψ\Psi and Hermitian A^\hat A, B^\hat B:

(a) Show A\langle A\rangle is real. (b) Show A2=(A^Ψ)(A^Ψ)dx\langle A^2\rangle = \int(\hat A\Psi)^*(\hat A\Psi)\,\mathrm dx. (c) Show ΨA^B^Ψ=(ΨB^A^Ψ)\int\Psi^*\hat A\hat B\Psi = \left(\int\Psi^*\hat B\hat A\Psi\right)^*, and hence that Ψ(A^B^+B^A^)Ψ\int\Psi^*(\hat A\hat B + \hat B\hat A)\Psi is real while Ψ(A^B^B^A^)Ψ\int\Psi^*(\hat A\hat B - \hat B\hat A)\Psi is imaginary.

✓ Worked solution

(a) A=Ψ(A^Ψ)dx=(A^Ψ)Ψdx=ΨA^Ψdx=A\langle A\rangle^* = \int\Psi(\hat A\Psi)^*\,\mathrm dx = \int(\hat A\Psi)^*\Psi\,\mathrm dx = \int\Psi^*\hat A\Psi\,\mathrm dx = \langle A\rangle by Eq. (7.2). A number equal to its own conjugate is real.

(b) Write A2=ΨA^(A^Ψ)dx\langle A^2\rangle = \int\Psi^*\hat A(\hat A\Psi)\,\mathrm dx and apply Eq. (7.2) with Ψ2=A^Ψ\Psi_2 = \hat A\Psi: =(A^Ψ)(A^Ψ)dx= \int(\hat A\Psi)^*(\hat A\Psi)\,\mathrm dx.

A useful corollary: that integral is A^Ψ20\int|\hat A\Psi|^2 \ge 0, so A2\langle A^2\rangle is never negative for any Hermitian operator. Problem 6 needs exactly this.

(c) Apply Eq. (7.2) twice — once to move A^\hat A, once to move B^\hat B back:

ΨA^B^Ψ=(A^Ψ)B^Ψ=(B^A^Ψ)Ψ=(ΨB^A^Ψ)\int\Psi^*\hat A\hat B\Psi = \int(\hat A\Psi)^*\hat B\Psi = \int(\hat B\hat A\Psi)^*\Psi = \left(\int\Psi^*\hat B\hat A\Psi\right)^*

Writing z=ΨA^B^Ψz = \int\Psi^*\hat A\hat B\Psi, this says the B^A^\hat B\hat A integral is zz^*. So the anticommutator integral is z+zz + z^*, which is real, and the commutator integral is zzz - z^*, which is purely imaginary.

That last fact is why the uncertainty principle has an ii in it. [A^,B^]\langle[\hat A,\hat B]\rangle is always imaginary, so [x^,p^]=i=|\langle[\hat x,\hat p]\rangle| = |i\hbar| = \hbar is a real positive number — and §7.4’s bound ΔxΔp12[x^,p^]\Delta x\,\Delta p \ge \frac12|\langle[\hat x,\hat p]\rangle| makes sense.

6 The Schwarz inequality derivation

Let α(x)\alpha(x) and β(x)\beta(x) be complex functions giving finite values for α2\int|\alpha|^2, β2\int|\beta|^2 and αβ\int\alpha^*\beta, and let ϕ=α+λβ\phi = \alpha + \lambda\beta with λ\lambda complex. Since ϕ20\int|\phi|^2 \ge 0, and since that holds for any λ\lambda, it holds in particular for the λ\lambda given by λβ2=βα\lambda\int|\beta|^2 = -\int\beta^*\alpha.

(a) Verify the Schwarz inequality α2β2αβ2\int|\alpha|^2\int|\beta|^2 \ge \left|\int\alpha^*\beta\right|^2. (b) Identifying A^Ψ\hat A\Psi with α\alpha and B^Ψ\hat B\Psi with β\beta, use problem 5(b) to show A2B2ΨA^B^Ψ2\langle A^2\rangle\langle B^2\rangle \ge \left|\int\Psi^*\hat A\hat B\Psi\right|^2. (c) Hence show it is at least the sum of the squares of the anticommutator and commutator halves.

✓ Worked solution

(a) Expanding α+λβ20\int|\alpha + \lambda\beta|^2 \ge 0 gives

α2+λαβ+λβα+λ2β20\int|\alpha|^2 + \lambda\int\alpha^*\beta + \lambda^*\int\beta^*\alpha + |\lambda|^2\int|\beta|^2 \ge 0

Now substitute the λ\lambda the problem supplies, λβ2=βα\lambda\int|\beta|^2 = -\int\beta^*\alpha, and multiply through by β2\int|\beta|^2; what survives is exactly the stated inequality. The trick is that the inequality holds for every λ\lambda, so it holds for the worst one — the value that makes the left side as small as possible.

(b) With α=A^Ψ\alpha = \hat A\Psi and β=B^Ψ\beta = \hat B\Psi, problem 5(b) identifies α2=A2\int|\alpha|^2 = \langle A^2\rangle and β2=B2\int|\beta|^2 = \langle B^2\rangle, while αβ=(A^Ψ)B^Ψ=ΨA^B^Ψ\int\alpha^*\beta = \int(\hat A\Psi)^*\hat B\Psi = \int\Psi^*\hat A\hat B\Psi by Hermiticity.

(c) Split A^B^=12(A^B^+B^A^)+12(A^B^B^A^)\hat A\hat B = \frac12(\hat A\hat B + \hat B\hat A) + \frac12(\hat A\hat B - \hat B\hat A). By problem 5(c) the first expectation is real and the second imaginary, so they are the real and imaginary parts of one complex number — and z2=(Rez)2+(Imz)2|z|^2 = (\mathrm{Re}\,z)^2 + (\mathrm{Im}\,z)^2 gives the sum of squares.

Discarding the anticommutator term — which is allowed, since it only makes the bound weaker — leaves

A2B214Ψ[A^,B^]Ψ2\langle A^2\rangle\langle B^2\rangle \ge \frac14\left|\int\Psi^*[\hat A,\hat B]\Psi\right|^2

which is §7.4’s starting point. With A^=Δx^\hat A = \widehat{\Delta x}, B^=Δp^\hat B = \widehat{\Delta p} and Eq. (7.19), it is ΔxΔp/2\Delta x\,\Delta p \ge \hbar/2.

Group 4 — symmetry, and the virial theorem

7 Which symmetry conserves which momentum derivation

(a) For H^=(2/2m)2+V(x,y,z)\hat H = -(\hbar^2/2m)\nabla^2 + V(x,y,z), what symmetry must VV satisfy for pxp_x to be a constant of motion? (b) In cylindrical coordinates (r,ϕ,z)(r,\phi,z), what symmetries make p^z=i/z\hat p_z = -i\hbar\,\partial/\partial z and L^z=i/ϕ\hat L_z = -i\hbar\,\partial/\partial\phi constants of motion?

💡 Phillips' own hint

H^\hat H commutes with p^x\hat p_x if V/x=0\partial V/\partial x = 0 for all x,y,zx, y, z — which means VV is unchanged under the translation xx+ax \to x + a. Part (b) follows the same pattern.

✓ Worked solution

(a) p^x\hat p_x commutes with the kinetic term always (problem 2), so [p^x,H^]=[p^x,V^]=iV/x[\hat p_x,\hat H] = [\hat p_x,\hat V] = -i\hbar\,\partial V/\partial x. This vanishes for all states exactly when

Vx=0everywhere\frac{\partial V}{\partial x} = 0\quad\text{everywhere}

which says VV is unchanged by xx+ax \to x + atranslational invariance along xx.

(b) Identically: [p^z,H^]V/z[\hat p_z,\hat H] \propto \partial V/\partial z, so pzp_z is conserved when VV does not depend on zz — invariance under translation along the axis. And [L^z,H^]V/ϕ[\hat L_z,\hat H] \propto \partial V/\partial\phi, so LzL_z is conserved when VV does not depend on ϕ\phiinvariance under rotation about the axis.

Note how directly the operator reveals its symmetry: L^z\hat L_z is i/ϕ-i\hbar\,\partial/\partial\phi, so it commutes with anything independent of ϕ\phi. An operator that differentiates with respect to a coordinate commutes with any potential that does not depend on it — that one sentence is the whole of Noether’s theorem in this setting.

8 The virial theorem derivation

For H^=T^+V^\hat H = \hat T + \hat V:

(a) Show [r^p^,T^]=imp^2[\hat{\mathbf r}\cdot\hat{\mathbf p},\hat T] = \dfrac{i\hbar}{m}\hat{\mathbf p}^2 and [r^p^,V^]=irdVdr[\hat{\mathbf r}\cdot\hat{\mathbf p},\hat V] = -i\hbar\,r\dfrac{\mathrm dV}{\mathrm dr}.

(b) For ψE\psi_E an eigenfunction of H^\hat H, show ψE[r^p^,H^]ψEd3r=0\int\psi_E^*[\hat{\mathbf r}\cdot\hat{\mathbf p},\hat H]\psi_E\,\mathrm d^3\mathbf r = 0, and hence 2ψET^ψE=ψErdV/drψE2\int\psi_E^*\hat T\psi_E = \int\psi_E^*\,r\,\mathrm dV/\mathrm dr\,\psi_E.

(c) Deduce the relation between T\langle T\rangle and V\langle V\rangle for the harmonic oscillator and for the Coulomb potential.

💡 Phillips' own hint

For (a), use r^=r\hat{\mathbf r} = \mathbf r and p^=i\hat{\mathbf p} = -i\hbar\nabla. For (b), write the commutator out and use Hermiticity together with H^ψE=EψE\hat H\psi_E = E\psi_E and (H^ψE)=EψE(\hat H\psi_E)^* = E\psi_E^*.

✓ Worked solution

(b) is the elegant step. Expand the commutator and use Hermiticity to move H^\hat H onto the other factor:

ψE(r^p^H^H^r^p^)ψE=ψEr^p^H^ψE(H^ψE)r^p^ψE\int\psi_E^*\left(\hat{\mathbf r}\cdot\hat{\mathbf p}\,\hat H - \hat H\,\hat{\mathbf r}\cdot\hat{\mathbf p}\right)\psi_E = \int\psi_E^*\,\hat{\mathbf r}\cdot\hat{\mathbf p}\,\hat H\psi_E - \int(\hat H\psi_E)^*\,\hat{\mathbf r}\cdot\hat{\mathbf p}\,\psi_E

Both now contain H^ψE=EψE\hat H\psi_E = E\psi_E or its conjugate, and EE is real, so the two terms are EψEr^p^ψEE\int\psi_E^*\,\hat{\mathbf r}\cdot\hat{\mathbf p}\,\psi_E each — and they cancel.

This is Eq. (7.22) in disguise: r^p^\langle\hat{\mathbf r}\cdot\hat{\mathbf p}\rangle cannot change in a stationary state, so its rate of change — the commutator with H^\hat H — must average to zero. Combining with part (a) gives the virial theorem.

(c) For the oscillator, V=12mω2r2V = \frac12m\omega^2r^2 so rdV/dr=mω2r2=2Vr\,\mathrm dV/\mathrm dr = m\omega^2r^2 = 2V, and 2T=2V2\langle T\rangle = 2\langle V\rangle, i.e.

T=V\langle T\rangle = \langle V\rangle

which §6.3 already found by a different route — both equal 12En\frac12E_n.

For the Coulomb potential, V=k/rV = -k/r so rdV/dr=+k/r=Vr\,\mathrm dV/\mathrm dr = +k/r = -V, giving

2T=V2\langle T\rangle = -\langle V\rangle

not the 2T=V2\langle T\rangle = \langle V\rangle the book prints. For hydrogen’s ground state T=+13.6 eV\langle T\rangle = +13.6\ \mathrm{eV}, V=27.2 eV\langle V\rangle = -27.2\ \mathrm{eV}, and E=T+V=13.6 eVE = \langle T\rangle + \langle V\rangle = -13.6\ \mathrm{eV} — the Rydberg energy, recovered.

Check yourself

0 / 6 answered

  1. 1.Problem 3 proves and . Why is the *second* one what makes chapter 8 possible?

  2. Problem 2(c): is an eigenfunction of but not of , even though .

    2.Why is that not a contradiction?

  3. 3.The book's problem 8(c) states for the Coulomb potential. How can you tell it is wrong without computing anything?

  4. 4.Problem 4 shows is Hermitian. What role does the play?

  5. 5.The oscillator ground state has exactly, while every other state has more. What does problem 6 reveal about why?

  6. 6.Problem 7 asks which symmetry conserves . What is the general pattern?