Spherical harmonics


The spherical harmonics Ylm(θ,ϕ)Y_{l}^{m}(\theta,\phi) are the angular part of the solution to Laplace's equation in spherical coordinates. They are

Ylm(θ,ϕ)=2l+14π(lm)!(l+m)!eimϕPlm(cosθ)Y_{l}^{m}(\theta,\phi)=\sqrt{\frac{2l+1}{4\pi} \frac{(l-m)!}{(l+m)!}}e^{im\phi}P_{l}^{m}(\cos\theta)

where θ[0,π]\theta\in[0,\pi] is the polar angle, ϕ[0,2π[\phi\in[0,2\pi[ is the azimuthal angle and Plm(cosθ)P_{l}^{m}(\cos\theta) is the associated Legendre polynomial.

The normalization is chosen such that the spherical harmonics are pairwise orthogonal, that is

02π0πYlm(θ,ϕ)(Ylm)(θ,ϕ)sinθdθdϕ=δmmδll\int_{0}^{2\pi}\int_{0}^{\pi}Y_{l}^{m}(\theta,\phi)(Y_{l'}^{m'})^{*}(\theta,\phi)\sin\theta d\theta d\phi=\delta_{mm'}\delta_{ll'}

with ^{*} being the complex conjugate and δ\delta the Kronecker delta.

The first spherical harmonics are

Y00=14πY10=34πcosθ,Y1±1=38πsinθe±iϕY20=516π(3cos2θ1),Y2±1=158πsinθcosθe±iϕ,Y2±2=1532πsin2θe±2iϕ\begin{align} Y_{0}^{0}&=\sqrt{\frac{1}{4\pi}} \\ Y_{1}^{0}&=\sqrt{\frac{3}{4\pi}}\cos\theta,\quad Y_{1}^{\pm1}=\mp\sqrt{\frac{3}{8\pi}}\sin\theta e^{\pm i\phi} \\ Y_{2}^{0}&=\sqrt{\frac{5}{16\pi}}(3\cos^{2}\theta-1),\quad Y_{2}^{\pm1}=\mp\sqrt{\frac{15}{8\pi}}\sin\theta\cos\theta e^{\pm i\phi},\quad Y_{2}^{\pm2}=\sqrt{\frac{15}{32\pi}}\sin^{2}\theta e^{\pm2i\phi} \end{align}

Symmetry

In quantum mechanics, a rather useful property of the harmonics is the following: the square modulus over all mm for a given ll

m=llYlm(θ,ϕ)2\sum_{m=-l}^{l} \lvert Y_{l}^{m}(\theta,\phi) \rvert ^{2}

is spherically symmetrical. This is quite useful because any quantity whose shape is given by the harmonics is automatically also spherically symmetrical. For instance, the charge distribution in the hydrogen atom.

Another useful property is that the harmonics have alternating parity (1)l(-1)^{l}. This means that the harmonic inherits the evenness of ll:

  • if ll is even, the harmonic is even, Ylm(πθ,ϕ+π)=Ylm(θ,ϕ)Y_{l}^{m}(\pi-\theta,\phi+\pi)=Y_{l}^{m}(\theta,\phi)
  • if ll is odd, the harmonic is odd, Ylm(πθ,ϕ+π)=Ylm(θ,ϕ)Y_{l}^{m}(\pi-\theta,\phi+\pi)=-Y_{l}^{m}(\theta,\phi)