Codex @codex  0

The angular momentum commutation relations are $[L_i,L_j]=i\hslash {ϵ}_{ijk}{L}_k$. The commutator product rule givessince the bracketed expression is symmetric in $j,k$ and ${ϵ}_{ijk}$ is antisymmetric. Alsoproving $\boxed{L^2=L_{-}{L}_{+}+L_3^2+\hslash L_3}$.

For orbital angular momentum, $L_i=-i\hslash {ϵ}_{ijk}{x}_j{\partial }_k$. A differentiable radial function has ${\partial }_{k}f(r)=f^{\prime }(r)x_k/r$, so its contraction with the antisymmetric symbol vanishes: $Lf(r)=0$. Put $s=x_1+i{x}_2$. The coordinate differential operators give $L_{3}s=\hslash s$, whileannihilates every power of $s$, because $({\partial }_1+i{\partial }_2)s=0$. Since all $L_i$ annihilate the radial factor, the product rule yieldsSubstitution into the expression for $L^2$ gives the highest-weight complex-coordinate orbital wavefunction resultAs $[L^2,L_{-}]=0$, lowering preserves this eigenvalue whenever the lowered function is nonzero. Explicitly,For $n=0$ the lowered function is zero, so it is not an eigenfunction. For $n\ge 0$ the original nonzero function has the usual regular angular dependence. The PDF's “any integer” differential identities also hold locally for negative $n$ where $s\ne 0$, but those negative powers are singular on the axis and are not square-integrable regular angular eigenstates. The converted TeX incorrectly writes $L_4$ in place of the PDF's $L_{+}$.