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

This is the "build the toolbox" page for the parent topic. We assume you have never seen these symbols. We define each one, draw it, and say why the topic cannot live without it.

1. The letter $x$ and the interval $[-1,1]$

The picture. Think of a bead sliding on a short wire from $-1$ to $+1$. But where does that wire come from? It is the shadow of an angle.

Why the topic needs it: the whole subject is angular physics on a sphere, and $x=\cos \theta$ is the substitution that turns the messy $\theta$-equation into a clean polynomial equation in $x$.

2. Functions and the notation $y(x)$, $P_n(x)$

The picture. A graph: horizontal axis is the input $x$, vertical axis is the output. The curve is the function.

Why the topic needs it: Legendre's equation is a statement about a function $y(x)$, and its special solutions get the name $P_n$.

3. The derivative $y^{\prime }$ and second derivative $y^{\prime \prime }$

Why the topic needs it: Legendre's equation is a second-order equation — the highest bending term is $y^{\prime \prime }$. That "second order" fact is why it needs exactly two free constants and why there are always two independent solutions ($P_n$ and the discarded $Q_n$).

4. Reading the equation term by term

Now every piece of $(1-x^2)y^{\prime \prime }-2x{y}^{\prime }+n(n+1)y=0$ is a known object:

5. The constant $n$ and the product $n(n+1)$

Why the topic needs it: the value of $n$ is the dial that selects which shape pattern you get. Choosing $n$ to be a whole number is precisely what makes the answer a clean polynomial (you will see the series "terminate").

6. Sums, the sigma $\sum$, and a power series $\sum a_m{x}^m$

The picture. A stack of ever-thinner curves — a constant, plus a tilt, plus a parabola, plus a cubic — that add together to build any smooth curve. This is a power series: guessing the unknown $y$ as an infinite polynomial.

Why the topic needs it: we don't know the formula for $y$, so we guess it as a power series and let the equation tell us each coefficient $a_m$. That is the Power Series / Frobenius Method at the heart of the solution.

7. The integral ${\int }_{-1}^1$ and orthogonality

Why the topic needs it: the punchline of the whole chapter is that different Legendre polynomials are orthogonal, which lets you decompose any function into them — a "Fourier Series in polynomials." You cannot understand that payoff without the integral.

8. Two small symbols: ${\delta }_{mn}$ and $(-1{)}^n$

Why the topic needs it: ${\delta }_{mn}$ packages the orthogonality result in one line, and $(-1{)}^n$ states the mirror symmetry $P_n(-x)=(-1{)}^n{P}_n(x)$.

Prerequisite map

Each foundation on the left feeds the box "Legendre's equation," and the equation's tame answers become the polynomials $P_n$ whose orthogonality is the final prize. The self-adjoint / eigenvalue viewpoint that makes orthogonality automatic is developed in Sturm-Liouville Theory; the physical birthplace is Laplace's Equation in Spherical Coordinates.

Equipment checklist

Test yourself — can you say each aloud before reading the answer?