Paper 2, Section II, C

Quantum Mechanics
Part IB, 2011

The quantum mechanical angular momentum operators are

Li=iϵijkxjxk(i=1,2,3)L_{i}=-i \hbar \epsilon_{i j k} x_{j} \frac{\partial}{\partial x_{k}} \quad(i=1,2,3)

Show that each of these is hermitian.

The total angular momentum operator is defined as L2=L12+L22+L32\mathbf{L}^{2}=L_{1}^{2}+L_{2}^{2}+L_{3}^{2}. Show that L2L32\left\langle\mathbf{L}^{2}\right\rangle \geqslant\left\langle L_{3}^{2}\right\rangle in any state, and show that the only states where L2=L32\left\langle\mathbf{L}^{2}\right\rangle=\left\langle L_{3}^{2}\right\rangle are those with no angular dependence. Verify that the eigenvalues of the operators L2\mathbf{L}^{2} and L32L_{3}^{2} (whose values you may quote without proof) are consistent with these results.