Recipe

Check whether two spherical harmonics are orthogonal

Use when: you have Y_{\ell_1}^{m_1} and Y_{\ell_2}^{m_2} and need to know whether \iint Y_{\ell_1}^{m_1}\overline{Y_{\ell_2}^{m_2}}\,d\Omega vanishes

Goal: a yes or no verdict on orthogonality, without carrying out the double integral by hand

Taught in Spherical harmonics

1. 1

   Look at the azimuthal numbers m_1 and m_2 before touching anything else. The \varphi-integral alone can already settle the question.

   Example

   For Y_2^1 and Y_2^0: m_1=1 and m_2=0 differ, so the pair is orthogonal no matter what \ell_1 and \ell_2 turn out to be.

   • m_1\neq m_2 — the pair is orthogonal already; stop here.
   • m_1=m_2 — the \varphi-integral contributes a nonzero constant, so move to the next step.

   Why: \int_0^{2\pi}e^{i(m_1-m_2)\varphi}\,d\varphi is exactly 0 whenever m_1\neq m_2. That holds on its own, before the \theta-integral even runs.

2. 2

   Once m_1=m_2, the \theta-integral is the only piece left. It is decided by \ell_1 and \ell_2 alone.

   Example

   For Y_3^1 and Y_2^1: m_1=m_2=1 matches, so move to \ell: \ell_1=3\neq\ell_2=2, so this pair is orthogonal too.

   • \ell_1\neq\ell_2 — still orthogonal, by §7's Legendre orthogonality applied to the polar-angle factor.
   • \ell_1=\ell_2 — NOT orthogonal; both numbers now match, so the integral equals a normalization constant instead of 0.

   Why: orthogonality on the sphere fails only when BOTH indices match at once. Either index differing is already enough to guarantee it.

3. 3

   Reach that conclusion only after confirming m_1=m_2 in Step 1 AND \ell_1=\ell_2 in Step 2. A single matching index never settles it alone.

   Example

   Y_2^0 against itself has m_1=m_2=0 and \ell_1=\ell_2=2. Both match, so this pair is not orthogonal. The integral is a normalization constant, rather than 0.

   Why: this double condition is exactly what the theorem states. Treating one matching index as enough is the trap the mistakes below call out.