Past exam of the quantum theory course of the University of Oxford / 2017 / 3 / a

The given angular momentum commutation relations imply $[L_3,L_1]=i\hslash L_2$ and $[L_3,L_2]=-i\hslash L_1$. By linearity,Similarly,For the remaining commutators, the commutator product rule gives, for each $j$,The last sum vanishes because the Levi-Civita symbol is antisymmetric under $i\leftrightarrow k$, while $L_i{L}_k+L_k{L}_i$ is symmetric. Taking $j=3$ and then linear combinations with $j=1,2$ proves

If $L^2\psi =\lambda {\hslash }^2\psi$ and $L_3\psi =m\hslash \psi$, these identities yieldOne must also prove that this candidate eigenstate is nonzero. Since the angular momentum operators are self-adjoint operators, $L_{+}^{\ast }=L_{-}$, and expanding the product givesThereforeThis is nonnegative and, by the assumed inequality, nonzero. Hence it is positive. The angular momentum raising operator really does produce a nonzero simultaneous eigenstate with the claimed eigenvalues.

To prove that raising terminates, let $v$ be any nonzero state reached after $r$ steps, with projection $q=m+r$. Positivity givesso $q^2\le \lambda$. Thus the sequence cannot remain nonzero for every integer $r\ge 0$. At its last nonzero state $v=(L_{+}{)}^k\psi$, one has $L_{+}v=0$, and the squared norm identity givesUnder the paper's initial inequality the first step is nonzero, so in fact $k\ge 1$. An angular momentum ladder endpoint must therefore be reached: bounded projection follows from positivity, and the final raising norm fixes the total angular momentum eigenvalue. Writing $j=m+k$, the complementary product $L_{+}{L}_{-}=L^2-L_3^2+\hslash L_3$ gives $\Vert L_{-}v{\Vert }^2=2j{\hslash }^2\Vert v{\Vert }^2$, also showing $j\ge 0$.