Legendre's equation and Legendre polynomials (intro)

WHAT is Legendre's equation?

WHY does $x=\cos\theta$ appear? In spherical coordinates the angular equation has $\theta$ as the variable; substituting $x=\cos\theta$ turns it into the form above, with $x\in[-1,1]$ . The endpoints $x=\pm1$ are the poles of the sphere — and they are singular points of the ODE.

HOW to derive it (the self-adjoint form first)

HOW to solve: the power-series (Frobenius) method

WHY a series? $x=0$ is an ordinary point (the coefficient of $y''$ , which is $1-x^2$ , is nonzero there), so a plain Taylor series $y=\sum a_m x^m$ converges and works.

Assume $y = \sum_{m=0}^{\infty} a_m x^m.$

Then $y' = \sum m a_m x^{m-1}$ and $y'' = \sum m(m-1)a_m x^{m-2}$ . Plug in:

$(1-x^2)\sum m(m-1)a_m x^{m-2} - 2x\sum m a_m x^{m-1} + n(n+1)\sum a_m x^m = 0.$

Why this step? We re-index each sum to the same power $x^m$ :

$\sum m(m-1)a_m x^{m-2} \to \sum (m+2)(m+1)a_{m+2}x^{m}$ (shift $m\to m+2$ ).
The rest already carry $x^m$ .

Collecting the coefficient of $x^m$ and setting it to $0$ : $(m+2)(m+1)a_{m+2} - m(m-1)a_m - 2m\,a_m + n(n+1)a_m = 0.$

Group the $a_m$ terms: $-m(m-1)-2m+n(n+1) = n(n+1)-m(m+1)$ . So

Building the first few Legendre polynomials

We normalize with the convention $P_n(1)=1$ .

Figure — Legendre's equation and Legendre polynomials (intro)

Two short-cut formulas (derived, not dumped)

Quick parity & value facts

$P_n(-x)=(-1)^n P_n(x)$ — even $n$ even function, odd $n$ odd.
$P_n(1)=1$ , $P_n(-1)=(-1)^n$ .
Degree of $P_n$ is exactly $n$ ; leading coefficient $\dfrac{(2n)!}{2^n (n!)^2}$ .

Common mistake Steel-manning the common errors

Mistake 1: "Both solutions of Legendre's equation are polynomials." Why it feels right: you found a polynomial $P_n$ , so symmetry suggests another. The truth: it's a 2nd-order ODE, so there's a second, independent solution $Q_n(x)$ — the Legendre function of the second kind — which is the series that does not terminate and blows up logarithmically at $x=\pm1$ . We discard it precisely because it's unbounded at the poles.

Mistake 2: Using $x=0$ being ordinary to forget $x=\pm1$ are singular. Fix: the equation is fine in the interior but $(1-x^2)$ vanishes at $\pm1$ , making them regular singular points. Bounded-at-poles is the physical selection rule that forces $n\in\{0,1,2,\dots\}$ .

Mistake 3: Misreading the recurrence numerator as $m(m-1)-n(n+1)$ . Why it feels right: the $y''$ term alone gives $m(m-1)$ . Fix: you must add the $-2m$ from the $-2xy'$ term, giving $m(m+1)-n(n+1)$ . Forgetting it breaks termination.

Recall Feynman: explain to a 12-year-old

Imagine you're describing the temperature all over a beach ball using only smooth "shape patterns." There's a flat pattern (same everywhere), a top-vs-bottom pattern, a "ring" pattern, and so on. Legendre polynomials are exactly those building-block patterns. The rule for finding them is one tidy equation, and the cool trick is: only the patterns that don't go crazy at the two poles of the ball are allowed. Add up the right amounts of these patterns and you can describe any smooth temperature on the ball.

Flashcards

Legendre's equation (standard form)

(1-x^2)y'' - 2xy' + n(n+1)y = 0

Legendre's equation in self-adjoint form

\frac{d}{dx}[(1-x^2)y'] + n(n+1)y = 0

Recurrence relation for series coefficients

a_{m+2} = \dfrac{m(m+1)-n(n+1)}{(m+2)(m+1)}a_m

Why does the series terminate for integer

n

m=n

the numerator

m(m+1)-n(n+1)=0

, so

a_{n+2}=0

and all higher same-parity coefficients vanish, leaving a degree-

n

polynomial.

P_0,P_1,P_2,P_3

1,\;x,\;\tfrac12(3x^2-1),\;\tfrac12(5x^3-3x)

Rodrigues' formula

P_n(x)=\dfrac{1}{2^n n!}\dfrac{d^n}{dx^n}(x^2-1)^n

Orthogonality relation

\int_{-1}^1 P_m P_n\,dx = \dfrac{2}{2n+1}\delta_{mn}

Normalization convention

P_n(1)=1

(and

P_n(-1)=(-1)^n

)

Parity of

P_n

P_n(-x)=(-1)^n P_n(x)

What is the second solution and why discard it?

Q_n(x)

, the Legendre function of the second kind; it is unbounded (log singularity) at

x=\pm1

, so it's physically rejected.

Why is

x=0

an ordinary point but

x=\pm1

singular?

Coefficient

(1-x^2)

y''

is nonzero at

0

but vanishes at

\pm1

(regular singular points = the poles of the sphere).

Connections

Power Series / Frobenius Method — how we built $y=\sum a_m x^m$ .
Sturm-Liouville Theory — self-adjoint form ⇒ orthogonality and real eigenvalues.
Laplace's Equation in Spherical Coordinates — where $x=\cos\theta$ and Legendre's equation are born.
Fourier Series — same idea, orthogonal basis expansion, polynomials instead of sines.
Associated Legendre Functions & Spherical Harmonics — the next step ( $m\ne0$ angular modes).
Generating Functions — $\frac{1}{\sqrt{1-2xt+t^2}}=\sum P_n(x)t^n$ links to the multipole expansion.

Concept Map

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, Legendre's equation tab aati hai jab aap koi physics problem solve karte ho jiska shape sphere (gol ball) jaisa hota hai — jaise planet ki gravity, ya kisi charge ka electric potential. Spherical coordinates use karte ho to angular part hamesha is ek hi equation mein convert ho jaata hai: $(1-x^2)y'' - 2xy' + n(n+1)y = 0$ , jahan $x=\cos\theta$ hota hai. Yaani $x$ humesha $-1$ se $1$ ke beech, aur $x=\pm1$ matlab ball ke do poles.

Solve kaise karte hain? Hum $y=\sum a_m x^m$ power series maan lete hain aur substitute karke ek recurrence relation nikaalte hain: $a_{m+2}=\frac{m(m+1)-n(n+1)}{(m+2)(m+1)}a_m$ . Sabse beautiful baat — jab $n$ ek poora integer hota hai, to $m=n$ par numerator zero ho jaata hai, series ruk jaati hai, aur humein ek saaf-suthra polynomial mil jaata hai. Isiliye $P_0=1$ , $P_1=x$ , $P_2=\frac12(3x^2-1)$ , etc. Jo doosra solution $Q_n$ hota hai woh poles par phat jaata hai (unbounded), isliye usko physics mein chhod dete hain.

Kyun important hai? Kyunki yeh polynomials orthogonal hote hain: $\int_{-1}^1 P_m P_n\,dx = \frac{2}{2n+1}\delta_{mn}$ . Iska matlab inko Fourier series ki tarah use karke kisi bhi function ko inke combination mein likh sakte ho. Yeh property self-adjoint (Sturm-Liouville) form se aati hai. So short mein: ek equation yaad karo, terminate hone wali trick samjho, aur poora 3D physics ka angular part aapke haath mein.

Legendre's equation and Legendre polynomials (intro)

WHAT is Legendre's equation?

HOW to derive it (the self-adjoint form first)

HOW to solve: the power-series (Frobenius) method

Building the first few Legendre polynomials

Two short-cut formulas (derived, not dumped)

Quick parity & value facts

Flashcards

Connections

Concept Map

Hinglish (regional understanding)

Go deeper — visual, from zero

Test yourself — Ordinary Differential Equations

Connections