Foundations — Second-order linear ODEs — superposition principle, general theory

This page assumes nothing. If the parent note the parent topic used a symbol without telling you what it looks like, we build it here, in an order where each idea leans only on the ones before it.

0. The characters, in order

We will meet, one at a time:

1. A function $y(x)$ — a curve.
2. The derivative $y^{\prime }$ — its steepness.
3. The second derivative $y^{\prime \prime }$ — how the steepness itself changes (bending).
4. The prime and Leibniz notation — two spellings of the same thing.
5. Coefficients $p(x),q(x)$ and the forcing $g(x)$.
6. What linear and homogeneous actually mean as pictures.
7. Constants $c_1,c_2$ and initial conditions.
8. The determinant $\left|\begin{array}{c}\cdot \end{array}\right|$ — the two-line grid.
9. The integral sign $\int$ and the exponential $\exp$ (needed for Abel).

Let's earn each one.

1. A function $y(x)$ — a curve you can draw

Think of $x$ as time and $y$ as the height of a mass on a spring. As time flows, the mass traces a wiggling curve. That curve is the function.

2. The derivative $y^{\prime }$ — steepness at a point

Look at the curve. At any single point, zoom in until the curve looks like a straight ramp. How steeply does it climb? That number is the derivative.

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

Now do the same trick again, but to the slope. As you walk along the curve, the slope itself changes. How fast is the slope changing? That is the second derivative.

4. Two spellings: prime vs Leibniz notation

You will see the same object written two ways. Neither is "more correct" — they are the same steepness.

5. Coefficients $p(x),q(x)$ and forcing $g(x)$

The parent's standard form is $y^{\prime \prime }+p(x)y^{\prime }+q(x)y=g(x).$ What are those letters?

6. "Linear" and "homogeneous" — as pictures

These two adjectives decide whether the whole theory even applies, so define them with care.

7. Constants $c_1,c_2$ and initial conditions

8. The determinant $\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$ — a two-line grid

The Wronskian in the parent note is a determinant. Here is what that vertical-bar grid means, from zero.

9. The integral $\int$ and the exponential $\exp$ (for Abel)

Abel's theorem writes $W(x)=W(x_0)\exp (-{\int }_{x_0}^{x}p(t)dt)$. Two last symbols.

The prerequisite map

Once these boxes feel solid, the parent topic is just assembly. For the machinery downstream, see Characteristic equation — constant coefficient ODEs, Method of undetermined coefficients, Variation of parameters, Abel's theorem, and the deeper backing of Existence and uniqueness theorems for ODEs. The "solutions form a vector space" claim rests on Linear algebra — vector spaces and bases, and the single-derivative warm-up is First-order linear ODEs.

Equipment checklist

Test yourself — say the answer out loud before revealing.