Skip to content

Addition of Orbital and Spin Angular Momentum

A particle with spatial motion and spin carries two angular momenta: orbital angular momentum L\mathbf L and spin angular momentum S\mathbf S. The generator of simultaneous rotations of the full one-particle state is

J=L+S.\mathbf J=\mathbf L+\mathbf S.

This page explains the one-particle coupled basis. For an electron or any spin-1/21/2 particle in an orbital state with angular momentum ℓ\ell, the total angular momentum labels are

j=ℓ+12orj=ℓ−12,j=\ell+\frac12 \qquad \text{or} \qquad j=\ell-\frac12,

with the lower value absent when ℓ=0\ell=0.

The orbital operator L=R×P\mathbf L=\mathbf R\times\mathbf P is introduced in Orbital Angular Momentum. Spin as an internal angular momentum is introduced in Spin as Intrinsic Angular Momentum. The general addition machinery is in Total Angular Momentum and Coupled and Uncoupled Bases.

The energy effect of a Hamiltonian proportional to L⋅S\mathbf L\cdot\mathbf S belongs to Spin–Orbit Coupling. This page owns the basis and labels.

In the simplest nonrelativistic model, a spin-ss particle in three dimensions has Hilbert space

H=L2(R3)⊗Hs.\mathcal H = L^2(\mathbb R^3)\otimes\mathcal H_s.

Orbital angular momentum acts on the spatial factor. Spin acts on the internal factor. Therefore

[Li,Sj]=0.[L_i,S_j]=0.

Because both L\mathbf L and S\mathbf S satisfy angular momentum commutation relations and commute with each other, their sum

J=L+S\mathbf J=\mathbf L+\mathbf S

also satisfies

[Ji,Jj]=iℏ∑kϵijkJk.[J_i,J_j] = i\hbar\sum_k\epsilon_{ijk}J_k.

The total operator J\mathbf J is the generator of rotations of the complete spinor wavefunction: its spatial dependence and its spin index rotate together.

The uncoupled one-particle basis labels orbital and spin projections separately:

∣n,ℓ,mℓ⟩∣s,ms⟩.\lvert n,\ell,m_\ell\rangle \lvert s,m_s\rangle.

Here nn represents radial or additional labels; it is not part of the angular-momentum addition itself. This basis diagonalizes

L2,Lz,S2,Sz.L^2,\quad L_z,\quad S^2,\quad S_z.

The coupled basis instead labels total angular momentum:

∣n,ℓ,s;j,mj⟩.\lvert n,\ell,s;j,m_j\rangle.

It diagonalizes

L2,S2,J2,Jz.L^2,\quad S^2,\quad J^2,\quad J_z.

The change of basis is

∣n,ℓ,s;j,mj⟩=∑mℓ,ms⟨ℓ,mℓ;s,ms∣j,mj⟩∣n,ℓ,mℓ⟩∣s,ms⟩.\lvert n,\ell,s;j,m_j\rangle = \sum_{m_\ell,m_s} \langle \ell,m_\ell;s,m_s\vert j,m_j\rangle \lvert n,\ell,m_\ell\rangle \lvert s,m_s\rangle.

The coefficient vanishes unless

mj=mℓ+ms.m_j=m_\ell+m_s.

For a spin-1/21/2 particle, s=1/2s=1/2. The allowed total angular momenta are

j=∣ℓ−12∣,…,ℓ+12.j = \left|\ell-\frac12\right|, \ldots, \ell+\frac12.

Thus for ℓ>0\ell>0,

j=ℓ−12,ℓ+12.j=\ell-\frac12,\quad \ell+\frac12.

For ℓ=0\ell=0, only

j=12j=\frac12

occurs. Dimension counting checks the result. For ℓ>0\ell>0,

(2ℓ+1)(2s+1)=(2ℓ+1)2=4ℓ+2,(2\ell+1)(2s+1) = (2\ell+1)2 = 4\ell+2,

while the coupled multiplets have dimensions

[2(ℓ+12)+1]+[2(ℓ−12)+1]=(2ℓ+2)+2ℓ=4ℓ+2.\left[2\left(\ell+\frac12\right)+1\right] + \left[2\left(\ell-\frac12\right)+1\right] = (2\ell+2)+2\ell = 4\ell+2.

For ℓ=0\ell=0, the product dimension is 1⋅2=21\cdot2=2, matching the single j=1/2j=1/2 multiplet.

For an ss orbital, ℓ=0\ell=0, so the only total angular momentum is

s1/2:j=12.s_{1/2}:\qquad j=\frac12.

For a pp orbital, ℓ=1\ell=1, so

p1/2andp3/2p_{1/2} \quad \text{and} \quad p_{3/2}

are possible. Their multiplet dimensions are

2j+1=2and2j+1=4.2j+1=2 \qquad \text{and} \qquad 2j+1=4.

Together they contain the six spin-orbital states from the uncoupled pp-orbital product space:

(2ℓ+1)(2s+1)=3⋅2=6.(2\ell+1)(2s+1)=3\cdot2=6.

For a dd orbital, ℓ=2\ell=2, the allowed total angular momenta are j=3/2j=3/2 and j=5/2j=5/2, with dimensions 44 and 66.

In a central potential, spatial wavefunctions separate into radial and angular parts. With spin included, the angular-spin part of the coupled basis is a spinor spherical harmonic:

Ωℓjmj(θ,ϕ)=∑mℓ,ms⟨ℓ,mℓ;12,ms∣j,mj⟩Yℓmℓ(θ,ϕ)χms.\Omega_{\ell j m_j}(\theta,\phi) = \sum_{m_\ell,m_s} \langle \ell,m_\ell;\tfrac12,m_s\vert j,m_j\rangle Y_\ell^{m_\ell}(\theta,\phi) \chi_{m_s}.

Here χms\chi_{m_s} is a two-component spin basis vector. A corresponding separated state has the schematic form

Ψnℓjmj(r,θ,ϕ)=Rnℓ(r)Ωℓjmj(θ,ϕ).\Psi_{n\ell j m_j}(r,\theta,\phi) = R_{n\ell}(r) \Omega_{\ell j m_j}(\theta,\phi).

This notation packages the Clebsch–Gordan expansion into a spinor-valued angular function. It is the natural nonrelativistic basis for central problems with spin, and it is also the angular language that reappears in relativistic central-potential problems.

Spin is an internal axial degree of freedom and does not change the spatial parity of the orbital wavefunction. Therefore a state with orbital label ℓ\ell has parity

P=(−1)ℓ.P=(-1)^\ell.

The total jj label does not determine parity by itself. For example, j=1/2j=1/2 can arise from ℓ=0\ell=0 or ℓ=1\ell=1 when spin 1/21/2 is present, and those two possibilities have opposite parity.

This is why one often needs both jj and an orbital or parity label.

The same basis diagonalizes the scalar product L⋅S\mathbf L\cdot\mathbf S because

J2=L2+S2+2L⋅S.J^2 = L^2+S^2+2\mathbf L\cdot\mathbf S.

Thus

L⋅S=12(J2−L2−S2).\mathbf L\cdot\mathbf S = \frac12 \left( J^2-L^2-S^2 \right).

On a coupled state,

L⋅S⟶ℏ22[j(j+1)−ℓ(ℓ+1)−s(s+1)].\mathbf L\cdot\mathbf S \longrightarrow \frac{\hbar^2}{2} \left[ j(j+1)-\ell(\ell+1)-s(s+1) \right].

This identity is the algebra behind fine-structure splittings when a spin–orbit Hamiltonian is present. The energy-shift application is treated in Spin–Orbit Coupling.

In the Dirac equation with a central potential, total angular momentum remains central. The angular spinors are closely related to the spinor spherical harmonics above, but relativistic wavefunctions have multiple radial components and connect orbital angular momenta with the same total jj and opposite parity structure.

The nonrelativistic statement to remember is:

J=L+S\mathbf J=\mathbf L+\mathbf S

is the total rotation generator. Relativistic theory preserves the importance of total angular momentum while changing the representation carried by the wavefunction. For formula-level reference, see Dirac Equation and Dirac Hamiltonian.

  • Treating j=ℓ+1/2j=\ell+1/2 as the only possibility. The j=ℓ−1/2j=\ell-1/2 branch exists when ℓ>0\ell>0.
  • Forgetting that the ℓ=0\ell=0 case has only j=1/2j=1/2.
  • Confusing mjm_j with mℓm_\ell or msm_s. The rule is mj=mℓ+msm_j=m_\ell+m_s for nonzero coefficients.
  • Assuming that jj determines parity. The orbital label ℓ\ell determines parity.
  • Thinking spinor spherical harmonics are new dynamics. They are angular-spin basis functions.
  • Applying spin–orbit splitting formulas without checking whether the Hamiltonian actually contains a scalar L⋅S\mathbf L\cdot\mathbf S term.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • A. R. Edmonds, Angular Momentum in Quantum Mechanics, Princeton University Press, 1957.
  • L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory, 3rd ed., Pergamon Press, 1977.
  • W. Greiner, Relativistic Quantum Mechanics: Wave Equations, 3rd ed., Springer, 2000.
  1. List the total jj values and dimensions for a spin-1/21/2 particle with ℓ=2\ell=2.
Solution

For ℓ=2\ell=2 and s=1/2s=1/2,

j=ℓ−12, ℓ+12,j=\ell-\frac12,\ \ell+\frac12,

so

j=32,52.j=\frac32,\frac52.

The dimensions are

2⋅32+1=4,2⋅52+1=6.2\cdot\frac32+1=4, \qquad 2\cdot\frac52+1=6.

Together they give 4+6=104+6=10, matching

(2ℓ+1)(2s+1)=5⋅2=10.(2\ell+1)(2s+1)=5\cdot2=10.
  1. Write the general Clebsch–Gordan expansion for a spinor spherical harmonic.
Solution

For spin 1/21/2,

Ωℓjmj(θ,ϕ)=∑mℓ,ms⟨ℓ,mℓ;12,ms∣j,mj⟩Yℓmℓ(θ,ϕ)χms.\Omega_{\ell j m_j}(\theta,\phi) = \sum_{m_\ell,m_s} \langle \ell,m_\ell;\tfrac12,m_s\vert j,m_j\rangle Y_\ell^{m_\ell}(\theta,\phi) \chi_{m_s}.

The coefficient is nonzero only when

mj=mℓ+ms.m_j=m_\ell+m_s.
  1. Compute L⋅S\mathbf L\cdot\mathbf S for ℓ=1\ell=1, s=1/2s=1/2, and the two allowed values of jj.
Solution

Use

L⋅S=ℏ22[j(j+1)−ℓ(ℓ+1)−s(s+1)].\mathbf L\cdot\mathbf S = \frac{\hbar^2}{2} \left[ j(j+1)-\ell(\ell+1)-s(s+1) \right].

For ℓ=1\ell=1 and s=1/2s=1/2,

ℓ(ℓ+1)=2,s(s+1)=34.\ell(\ell+1)=2, \qquad s(s+1)=\frac34.

For j=3/2j=3/2,

j(j+1)=32⋅52=154,j(j+1)=\frac32\cdot\frac52=\frac{15}{4},

so

L⋅S=ℏ22(154−2−34)=ℏ22.\mathbf L\cdot\mathbf S = \frac{\hbar^2}{2} \left( \frac{15}{4}-2-\frac34 \right) = \frac{\hbar^2}{2}.

For j=1/2j=1/2,

j(j+1)=12⋅32=34,j(j+1)=\frac12\cdot\frac32=\frac34,

so

L⋅S=ℏ22(34−2−34)=−ℏ2.\mathbf L\cdot\mathbf S = \frac{\hbar^2}{2} \left( \frac34-2-\frac34 \right) = -\hbar^2.
  1. Can two states with the same j=1/2j=1/2 have opposite parity?
Solution

Yes. For spin 1/21/2, j=1/2j=1/2 can arise from ℓ=0\ell=0 or ℓ=1\ell=1. The parity is determined by ℓ\ell:

P=(−1)ℓ.P=(-1)^\ell.

The ℓ=0\ell=0 state is even, while the ℓ=1\ell=1 state is odd. Therefore jj alone does not determine parity.