Skip to content

Spherical Harmonics Quick Reference

This page is a compact reference for spherical harmonics as orbital angular-momentum states. It fixes conventions, records the formulas most often needed in calculations, and points to the canonical table and derivation pages.

For the physical interpretation, use Spherical Harmonics. For low-order explicit formulas, use Spherical Harmonics. For the mathematical basis and addition theorem details, use Spherical Harmonics.

Use the spherical coordinates

Ω=(θ,ϕ),0≤θ≤π,0≤ϕ<2π,\Omega=(\theta,\phi), \qquad 0\leq\theta\leq\pi, \qquad 0\leq\phi<2\pi,

with sphere measure

dΩ=sin⁡θ dθ dϕ.d\Omega=\sin\theta\,d\theta\,d\phi.

This volume uses normalized complex spherical harmonics with the Condon–Shortley phase convention. For m≥0m\geq0,

Yℓm(θ,ϕ)=(−1)m2ℓ+14π(ℓ−m)!(ℓ+m)!Pℓm(cos⁡θ)eimϕ.Y_\ell^m(\theta,\phi) = (-1)^m \sqrt{ \frac{2\ell+1}{4\pi} \frac{(\ell-m)!}{(\ell+m)!} } P_\ell^m(\cos\theta)e^{im\phi}.

Negative-mm functions are fixed by

Yℓ−m=(−1)m(Yℓm)∗,m>0.Y_\ell^{-m} = (-1)^m \left(Y_\ell^m\right)^*, \qquad m>0.

Some references put the Condon–Shortley sign inside the associated Legendre function instead. The normalized YℓmY_\ell^m can agree, but intermediate formulas may look different. Check the convention before importing signs from a table.

The labels are

ℓ=0,1,2,…,m=−ℓ,−ℓ+1,…,ℓ.\ell=0,1,2,\ldots, \qquad m=-\ell,-\ell+1,\ldots,\ell.

For ordinary scalar wavefunctions on the sphere, ℓ\ell is an integer. Spherical harmonics diagonalize L2L^2 and LzL_z:

L2Yℓm=ℏ2ℓ(ℓ+1)Yℓm,LzYℓm=ℏmYℓm.L^2Y_\ell^m = \hbar^2\ell(\ell+1)Y_\ell^m, \qquad L_zY_\ell^m = \hbar mY_\ell^m.

The labels ℓ\ell and mm are dimensionless. The eigenvalues contain the factors of ℏ\hbar.

For a fixed ℓ\ell, the angular multiplet has

2ℓ+12\ell+1

states. This is the orbital counterpart of the usual jj multiplet dimension.

The normalized harmonics satisfy

∫02π∫0πYℓm(θ,ϕ)∗Yℓ′m′(θ,ϕ)sin⁡θ dθ dϕ=δℓℓ′δmm′.\int_0^{2\pi} \int_0^\pi Y_\ell^m(\theta,\phi)^* Y_{\ell'}^{m'}(\theta,\phi) \sin\theta\,d\theta\,d\phi = \delta_{\ell\ell'}\delta_{mm'}.

The coefficients of an angular function are

cℓm=∫S2Yℓm(Ω)∗f(Ω) dΩ,c_{\ell m} = \int_{S^2} Y_\ell^m(\Omega)^* f(\Omega)\,d\Omega,

and the expansion is

f(Ω)=∑ℓ=0∞∑m=−ℓℓcℓmYℓm(Ω).f(\Omega) = \sum_{\ell=0}^{\infty} \sum_{m=-\ell}^{\ell} c_{\ell m}Y_\ell^m(\Omega).

The completeness relation is best read distributionally:

∑ℓ=0∞∑m=−ℓℓYℓm(Ω)Yℓm(Ω′)∗=δ(Ω,Ω′).\sum_{\ell=0}^{\infty} \sum_{m=-\ell}^{\ell} Y_\ell^m(\Omega) Y_\ell^m(\Omega')^* = \delta(\Omega,\Omega').

It is a statement about what happens under angular integration, not an ordinary pointwise equality.

With

L±=Lx±iLy,L_\pm=L_x\pm iL_y,

the ladder action is

L±Yℓm=ℏℓ(ℓ+1)−m(m±1)Yℓm±1.L_\pm Y_\ell^m = \hbar \sqrt{ \ell(\ell+1)-m(m\pm1) } Y_\ell^{m\pm1}.

Endpoint functions satisfy

L+Yℓℓ=0,L−Yℓ−ℓ=0.L_+Y_\ell^\ell=0, \qquad L_-Y_\ell^{-\ell}=0.

Use Ladder Operators for the derivation and Angular Momentum Identity Index for the broader identity map.

Complex conjugation gives

(Yℓm)∗=(−1)mYℓ−m.\left(Y_\ell^m\right)^* = (-1)^mY_\ell^{-m}.

Under spatial inversion,

r↦−r⟺(θ,ϕ)↦(π−θ,ϕ+π),\mathbf r\mapsto-\mathbf r \quad \Longleftrightarrow \quad (\theta,\phi)\mapsto(\pi-\theta,\phi+\pi),

and

Yℓm(π−θ,ϕ+π)=(−1)ℓYℓm(θ,ϕ).Y_\ell^m(\pi-\theta,\phi+\pi) = (-1)^\ell Y_\ell^m(\theta,\phi).

Thus orbital parity is (−1)ℓ(-1)^\ell for scalar central-potential wavefunctions.

Chemistry and visualization pages often use real linear combinations of YℓmY_\ell^m instead of the complex LzL_z eigenbasis. Those real tesseral harmonics are useful for drawing orbitals, but they are usually not eigenfunctions of LzL_z when m≠0m\ne0. The complex convention is the default for angular-momentum algebra.

For two directions Ω\Omega and Ω′\Omega', let γ\gamma be the angle between them. Then

∑m=−ℓℓYℓm(Ω)∗Yℓm(Ω′)=2ℓ+14πPℓ(cos⁡γ).\sum_{m=-\ell}^{\ell} Y_\ell^m(\Omega)^* Y_\ell^m(\Omega') = \frac{2\ell+1}{4\pi} P_\ell(\cos\gamma).

This theorem explains why Legendre polynomials appear when an angular problem is rotationally invariant after summing over mm. It is used in partial waves, multipole expansions, central Green functions, and rotationally invariant kernels.

Setting Ω′=Ω\Omega'=\Omega gives the useful identity

∑m=−ℓℓ∣Yℓm(Ω)∣2=2ℓ+14π.\sum_{m=-\ell}^{\ell} \left|Y_\ell^m(\Omega)\right|^2 = \frac{2\ell+1}{4\pi}.

For a spinless central-potential problem,

V(r)=V(r),V(\mathbf r)=V(r),

one may separate

ψ(r,θ,ϕ)=Rnℓ(r)Yℓm(θ,ϕ)\psi(r,\theta,\phi) = R_{n\ell}(r)Y_\ell^m(\theta,\phi)

when the radial problem has a discrete radial label. The spherical harmonic carries:

  • the L2L^2 eigenvalue ℏ2ℓ(ℓ+1)\hbar^2\ell(\ell+1);
  • the LzL_z eigenvalue ℏm\hbar m;
  • the angular normalization;
  • the parity (−1)ℓ(-1)^\ell;
  • the 2ℓ+12\ell+1 rotational multiplet structure.

The radial function carries the dynamics of the specific potential. For the derivation, use Angular and Radial Separation. For the symmetry interpretation, use Central Potentials and Rotational Symmetry.

Spherical harmonics are scalar-function realizations of irreducible angular-momentum multiplets. Angular integrals with products of spherical harmonics inherit angular-momentum selection rules:

  • azimuthal phases impose magnetic quantum-number conservation;
  • triangle inequalities appear when products are decomposed into coupled angular momenta;
  • parity imposes even-or-odd constraints on integrals over the sphere.

For the general symmetry logic, use Selection Rules. For tensor-operator matrix elements, use Wigner–Eckart Theorem. For recoupling conventions, use Wigner Symbols.

TaskBest starting page
Look up Y00Y_{00}, Y1mY_{1m}, or Y2mY_{2m}Spherical Harmonics Table
Understand why they are angular-momentum statesSpherical Harmonics
Check normalization and completenessSpherical Harmonics Math Reference
Compare associated Legendre conventionsAssociated Legendre Functions
Separate a central potentialAngular and Radial Separation
Interpret hydrogen labelsHydrogen Atom Angular Structure
Apply angular selection rulesSelection Rules
  • Forgetting the sin⁡θ\sin\theta factor in the sphere measure.
  • Mixing YℓmY_\ell^m conventions from tables that use different Condon–Shortley placement.
  • Treating Pℓ(cos⁡θ)P_\ell(\cos\theta) as the whole spherical harmonic when m≠0m\ne0.
  • Confusing real orbital shapes with the complex LzL_z eigenbasis.
  • Assuming ℓ\ell values in a hydrogen shell come only from angular momentum; the bound ℓ≤n−1\ell\leq n-1 comes from the radial Coulomb problem.
  • Forgetting that spin states are not ordinary scalar functions on the sphere.
  • A. R. Edmonds, Angular Momentum in Quantum Mechanics, Princeton University Press, 1957.
  • D. A. Varshalovich, A. N. Moskalev, and V. K. Khersonskii, Quantum Theory of Angular Momentum, World Scientific, 1988.
  • G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed., Academic Press, 2013.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  1. How many spherical harmonics exist for ℓ=3\ell=3?
Solution

For fixed ℓ\ell, the magnetic label runs from −ℓ-\ell to ℓ\ell. Thus

2ℓ+1=72\ell+1=7

spherical harmonics exist for ℓ=3\ell=3.

  1. What is the parity of Y4mY_4^m?
Solution

Orbital parity is (−1)ℓ(-1)^\ell. For ℓ=4\ell=4,

(−1)4=+1,(-1)^4=+1,

so every Y4mY_4^m has even parity.

  1. Evaluate ∑m=−11∣Y1m(Ω)∣2\sum_{m=-1}^{1}\left|Y_1^m(\Omega)\right|^2.
Solution

Use the addition theorem with Ω′=Ω\Omega'=\Omega:

∑m=−ℓℓ∣Yℓm(Ω)∣2=2ℓ+14π.\sum_{m=-\ell}^{\ell} \left|Y_\ell^m(\Omega)\right|^2 = \frac{2\ell+1}{4\pi}.

For ℓ=1\ell=1,

∑m=−11∣Y1m(Ω)∣2=34π.\sum_{m=-1}^{1} \left|Y_1^m(\Omega)\right|^2 = \frac{3}{4\pi}.