Power series solutions — ordinary points: Foundations

This is the toolbox page for Power series solutions at an ordinary point. We assume zero prior notation. Read top to bottom; each block earns the symbols the next block spends.

1. A variable and a function — $x$ and $y$

Figure — Power series solutions — ordinary points

Why the topic needs it: the whole game is finding an unknown curve $y (x)$ . Everything else is machinery for pinning down that curve.

2. Powers of $x$ — $x^{0}, x^{1}, x^{2}, x^{3}, \dots$

Why the topic needs it: a power series is a recipe that mixes these shapes. To trust the recipe you must first see each ingredient shape on its own.

3. Coefficients — $a_{0}, a_{1}, a_{2}, \dots$

Why the topic needs it: the ODE method never guesses the shape of the answer — the shapes ( $x^{n}$ ) are fixed. It only solves for the dial settings $a_{n}$ . Those numbers ARE the solution.

4. The summation sign — $\sum$

Why the topic needs it: writing $a_{0} + a_{1} x + a_{2} x^{2} + \dots$ by hand forever is impossible. The $\sum$ lets us manipulate the whole infinite list at once — differentiate it, shift it, add two of them.

5. A power series and "analytic" — the nice-function badge

Why the topic needs it: the parent note defines an ordinary point as one where the coefficients $P (x), Q (x)$ are analytic. That word is the gatekeeper of the whole method. See Taylor series and analyticity for the deeper story of which dials to set.

6. The derivative $y^{'}$ — the slope

Why the topic needs it: an ODE is a sentence about slopes. To plug our series guess into that sentence, we must know the slope of the guess — and the rule above turns "slope of a series" into "another series."

7. The second derivative $y^{''}$ — the bending

Why the topic needs it: the equations we solve are second-order — they involve $y^{''}$ . The parent's series for $y^{''}$ , $\sum_{n \geq 2} n (n - 1) a_{n} x^{n - 2}$ , is nothing but this drop-rule applied to every term at once.

8. The differential equation itself — $y^{''} + P y^{'} + Q y = 0$

Why the topic needs it: this is the object we solve. "Standard form" means the $y^{''}$ term has coefficient exactly $1$ — you get there by dividing through by the leading coefficient, which is precisely how the hidden singular points (where you'd divide by zero) reveal themselves. Guarantees that a solution even exists live in Existence and uniqueness for linear ODEs.

x^{0}

equal, and what shape is it?

x^{0} = 1

; a flat horizontal line.

What does the subscript in

a_{n}

mean?

It's a name-tag:

a_{n}

is the amount of the

x^{n}

shape, not a multiplication.

Expand

\sum_{n = 0}^{2} a_{n} x^{n}

in full.

a_{0} + a_{1} x + a_{2} x^{2}

Why does the

y^{''}

series start at

n = 2

Because

\frac{d ^{2}}{d x ^{2}} x^{0} = 0

and

\frac{d ^{2}}{d x ^{2}} x^{1} = 0

— constants and ramps have no bending, so their terms vanish.

Differentiate

x^{n}

once, then twice.

n x^{n - 1}

; then

n (n - 1) x^{n - 2}

In plain words, what does

y^{'}

measure? What does

y^{''}

measure?

y^{'}

is the slope (steepness);

y^{''}

is the curvature (how the slope bends).

What does "analytic at a point" mean?

Near that point the function equals a convergent power series.

What turns the differential equation into arithmetic?

Substituting the series produces a recurrence relation — an algebraic rule linking the coefficients.

Why are

a_{0}

and

a_{1}

free?

The recurrence links

a_{k + 2}

a_{k}

only, so the two starting dominoes (

a_{0}

even-line,

a_{1}

odd-line) are never fixed by it.

Foundations — Power series solutions — ordinary points