Angular Momentum in Quantum Mechanics

In quantum mechanics, the concept of angular momentum moves from a simple kinematic property to a fundamental, quantized feature that dictates the structure of atoms, the behavior of particles, and the very rules of addition for quantum states. Unlike its classical counterpart, quantum angular momentum comes in two distinct forms—orbital and intrinsic spin—and its operators impose a discrete, ladder-like structure on our physical reality. Mastering this topic is essential for understanding atomic spectra, magnetic phenomena, and the composition of complex quantum systems.

Classical Roots and Quantum Operators

In classical mechanics, the orbital angular momentum of a particle about a point is given by $\vec{L}=\vec{r}\times \vec{p}$. The quantum mechanical translation promotes the position and momentum to operators, yielding the orbital angular momentum operator $\hat{\vec{L}}=\hat{\vec{r}}\times \hat{\vec{p}}$. In Cartesian coordinates, its components are: $${\hat{L}}_x=\hat{y}{\hat{p}}_z-\hat{z}{\hat{p}}_y,{\hat{L}}_y=\hat{z}{\hat{p}}_x-\hat{x}{\hat{p}}_z,{\hat{L}}_z=\hat{x}{\hat{p}}_y-\hat{y}{\hat{p}}_x.$$

Working directly with these Cartesian forms in quantum problems (like the hydrogen atom) is cumbersome. It is almost always more powerful to work in spherical coordinates $(r,\theta ,\varphi )$, where the angular dependence separates cleanly. In this coordinate system, ${\hat{L}}_z$ takes a remarkably simple form: ${\hat{L}}_z=-i\hslash \frac{\partial }{\partial \varphi }$. The square of the total angular momentum operator, ${\hat{L}}^2={\hat{L}}_x^2+{\hat{L}}_y^2+{\hat{L}}_z^2$, also has a clean expression involving derivatives with respect to $\theta$ and $\varphi$.

The Fundamental Commutation Relations

The essence of quantum angular momentum is encoded not in the explicit forms of the operators, but in their commutation relations. These relations are derived from the canonical commutation relation $[{\hat{x}}_i,{\hat{p}}_j]=i\hslash {\delta }_{ij}$ and are: $$[{\hat{L}}_x,{\hat{L}}_y]=i\hslash {\hat{L}}_z,[{\hat{L}}_y,{\hat{L}}_z]=i\hslash {\hat{L}}_x,[{\hat{L}}_z,{\hat{L}}_x]=i\hslash {\hat{L}}_y.$$ This can be summarized compactly as $[{\hat{L}}_i,{\hat{L}}_j]=i\hslash {ϵ}_{ijk}{\hat{L}}_k$, where ${ϵ}_{ijk}$ is the Levi-Civita symbol.

A crucial consequence is that no two components of angular momentum commute with each other; you cannot simultaneously know, for instance, $L_x$ and $L_y$ with perfect precision. However, one can show that ${\hat{L}}^2$ commutes with any component: $$[{\hat{L}}^2,{\hat{L}}_i]=0\text{for }i=x,y,z.$$ This means we can have simultaneous eigenstates of ${\hat{L}}^2$ and one component, conventionally chosen as ${\hat{L}}_z$. This commutator algebra is so fundamental that we define a general angular momentum operator $\hat{\vec{J}}$ as any set of three Hermitian operators obeying $[{\hat{J}}_x,{\hat{J}}_y]=i\hslash {\hat{J}}_z$ (and cyclic permutations). This abstract definition encompasses both orbital angular momentum and the soon-to-be-introduced spin.

Eigenfunctions, Eigenvalues, and Spherical Harmonics

We seek states $|\psi ⟩$ that are simultaneous eigenstates of ${\hat{L}}^2$ and ${\hat{L}}_z$: $${\hat{L}}^2|\psi ⟩=\lambda |\psi ⟩,{\hat{L}}_z|\psi ⟩=m\hslash |\psi ⟩.$$ Using the spherical coordinate representation and the requirement that the wavefunction be single-valued, a purely algebraic derivation (using ladder operators ${\hat{L}}_{+}={\hat{L}}_x+i{\hat{L}}_y$ and ${\hat{L}}_{-}={\hat{L}}_x-i{\hat{L}}_y$) yields the quantization conditions.

The eigenvalues of ${\hat{L}}^2$ are ${\hslash }^2\ell (\ell +1)$, where $\ell$ is a non-negative integer: $\ell =0,1,2,3,...$. For a given $\ell$, the eigenvalue of ${\hat{L}}_z$ is $m\hslash$, where the magnetic quantum number $m$ can take any integer value in the range $-\ell \le m\le \ell$. This results in $2\ell +1$ possible states for each $\ell$.

The corresponding eigenfunctions in the coordinate representation are the spherical harmonics, denoted $Y_{\ell }^m(\theta ,\varphi )$. They form a complete, orthonormal set of functions on the surface of a sphere. For example, $Y_0^0=1/\sqrt{4\pi }$ is isotropic, while $Y_1^0\propto \cos \theta$ has a "figure-eight" shape aligned with the z-axis. The spherical harmonics are the angular part of the solution to the hydrogen atom and any central force problem.

Intrinsic Spin Angular Momentum

Experiments like the Stern-Gerlach showed that electrons possess an intrinsic magnetic moment and angular momentum that cannot be explained by orbital motion. This is spin angular momentum, denoted $\hat{\vec{S}}$. It obeys the same fundamental commutation relations as orbital angular momentum: $[{\hat{S}}_x,{\hat{S}}_y]=i\hslash {\hat{S}}_z$, etc.

The revolutionary difference is in the quantization. While $\ell$ is restricted to integers, the spin quantum number $s$ can be half-integer. For an electron, $s=1/2$. The eigenvalues are analogous: ${\hat{S}}^2$ has eigenvalue ${\hslash }^{2}s(s+1)=\frac{3}{4}{\hslash }^2$, and ${\hat{S}}_z$ has eigenvalues $m_s\hslash$, where $m_s=-s,-s+1,...,+s$. For an electron, this means $m_s=+\frac{1}{2}$ ("spin-up") or $m_s=-\frac{1}{2}$ ("spin-down"). Spin has no classical analogue and no wavefunction in ordinary space; it is described by a state vector in an abstract two-dimensional complex vector space for $s=1/2$.

Addition of Angular Momenta and Clebsch-Gordan Coefficients

Real quantum systems often possess multiple sources of angular momentum. In an atom, an electron has both orbital ($\vec{L}$) and spin ($\vec{S}$) angular momentum, which couple to form a total angular momentum $\hat{\vec{J}}=\hat{\vec{L}}+\hat{\vec{S}}$. More generally, we need to add two angular momenta ${\hat{\vec{J}}}_1$ and ${\hat{\vec{J}}}_2$ from different parts of a system.

We start with the uncoupled basis, $|j_1,m_1;j_2,m_2⟩$, which are simultaneous eigenstates of ${\hat{J}}_1^2,{\hat{J}}_{1z},{\hat{J}}_2^2,{\hat{J}}_{2z}$. These four operators all commute with each other. However, the interaction in the system (like spin-orbit coupling) often makes the total angular momentum $\hat{\vec{J}}={\hat{\vec{J}}}_1+{\hat{\vec{J}}}_2$ the conserved quantity. We therefore need the coupled basis, $|j,m_j;j_1,j_2⟩$, which are eigenstates of ${\hat{J}}^2,{\hat{J}}_z,{\hat{J}}_1^2,{\hat{J}}_2^2$.

The possible quantum numbers for the total angular momentum $j$ are given by the triangle rule: $j=|j_1-j_2|,|j_1-j_2|+1,...,j_1+j_2$. For each $j$, $m_j=-j,...,+j$. The two bases are related by a unitary transformation: $$|j,m_j;j_1,j_2⟩=\sum _{m_1,m_2}⟨j_1,m_1;j_2,m_2|j,m_j⟩|j_1,m_1;j_2,m_2⟩.$$ The expansion coefficients $⟨j_1,m_1;j_2,m_2|j,m_j⟩$ are the Clebsch-Gordan coefficients. They are real numbers that tell you the amplitude for finding a particular uncoupled state combination in a given coupled state. They are tabulated and obey strict selection rules: $m_1+m_2=m_j$, and the coefficient is zero unless $j$ satisfies the triangle rule.

Common Pitfalls

1. Confusing the eigenvalue of ${\hat{L}}^2$ with ${\hslash }^2{\ell }^2$. The correct eigenvalue is ${\hslash }^2\ell (\ell +1)$. This is a non-classical result stemming from the non-commutativity of the components. The maximum projected value is $\ell \hslash$, which is always less than the square root of the total squared magnitude, $\hslash \sqrt{\ell (\ell +1)}$.
2. Treating spin as a physical rotation. Spin is an intrinsic, quantum property with no direct classical analogue of a spinning object. While it generates a magnetic moment and obeys angular momentum commutation rules, attempts to visualize it as literal rotation lead to contradictions (like requiring superluminal surface speeds).
3. Misapplying the addition rules for quantum numbers. When adding angular momenta, you add the operators, not the quantum numbers. The resulting quantum number $j$ is not simply $j_1+j_2$, but ranges in integer steps between $|j_1-j_2|$ and $j_1+j_2$. Failing to use Clebsch-Gordan coefficients and simply assuming states like "spin-up and $m_{\ell }=1$ always give $m_j=3/2$" is incorrect, as the coupled state is a specific superposition of uncoupled states.
4. Overlooking the universality of the commutation relations. Whether dealing with $\hat{L}$, $\hat{S}$, or $\hat{J}$, the foundational algebra $[{\hat{J}}_i,{\hat{J}}_j]=i\hslash {ϵ}_{ijk}{\hat{J}}_k$ is the defining property. All subsequent results (quantization, ladder operators) flow from this. Struggling to memorize separate rules for orbital and spin is unnecessary if you internalize this abstract algebraic approach.

Summary

• Quantum angular momentum is defined by operators obeying the commutation relations $[{\hat{J}}_i,{\hat{J}}_j]=i\hslash {ϵ}_{ijk}{\hat{J}}_k$, leading to the quantization of its magnitude and projection.
• Orbital angular momentum ($\hat{\vec{L}}$) yields integer quantum numbers $\ell$ and $m$, with spatial wavefunctions given by spherical harmonics $Y_{\ell }^m(\theta ,\varphi )$.
• Spin angular momentum ($\hat{\vec{S}}$) is an intrinsic, non-classical form of angular momentum with quantum number $s$ that can be half-integer, most famously $s=1/2$ for the electron.
• When a system has multiple angular momenta, they are added as operators to form a total $\hat{\vec{J}}$. The transformation between the uncoupled basis and the coupled (total-$J$) basis is governed by Clebsch-Gordan coefficients.
• The total angular momentum quantum number $j$ for two added momenta $j_1$ and $j_2$ takes values from $|j_1-j_2|$ to $j_1+j_2$ in integer steps, a direct consequence of the underlying quantum algebra.