(a) Consider the angular momentum operators L^x,L^y,L^z and L^2=L^x2+L^y2+L^z2 where
L^z=x^p^y−y^p^x,L^x=y^p^z−z^p^y and L^y=z^p^x−x^p^z.
Use the standard commutation relations for these operators to show that
L^±=L^x±iL^y obeys [L^z,L^±]=±ℏL^± and [L^2,L^±]=0
Deduce that if φ is a joint eigenstate of L^z and L^2 with angular momentum quantum numbers m and ℓ respectively, then L^±φ are also joint eigenstates, provided they are non-zero, with quantum numbers m±1 and ℓ.
(b) A harmonic oscillator of mass M in three dimensions has Hamiltonian
H^=2M1(p^x2+p^y2+p^z2)+21Mω2(x^2+y^2+z^2).
Find eigenstates of H^ in terms of eigenstates ψn for an oscillator in one dimension with n=0,1,2,… and eigenvalues ℏω(n+21); hence determine the eigenvalues E of H^.
Verify that the ground state for H^ is a joint eigenstate of L^z and L^2 with ℓ=m=0. At the first excited energy level, find an eigenstate of L^z with m=0 and construct from this two eigenstates of L^z with m=±1.
Why should you expect to find joint eigenstates of L^z,L^2 and H^ ?
[ The first two eigenstates for an oscillator in one dimension are ψ0(x)= C0exp(−Mωx2/2ℏ) and ψ1(x)=C1xexp(−Mωx2/2ℏ), where C0 and C1 are normalisation constants. ]