Homogeneous with constant coefficients — characteristic equation: Foundations

Before you can even read the parent note, you need every squiggle it uses to feel obvious. Below is every symbol and idea, built in the order that each one leans on the previous. Nothing is used before it is drawn.

1. The function $y$ and its variable $x$

Read the figure below: the blue line is one such curve. The red dot marks a single input-output pair " $(x, y)$ " — slide the dot along the curve and you read off every value the machine produces. When we "solve an ODE" we are hunting for which blue curve fits a given rule.

Why the topic needs it: the whole chapter is about finding an unknown $y (x)$ . Everything else describes how $y$ bends and climbs.

Figure — Homogeneous with constant coefficients — characteristic equation

Figure 1 — A function $y (x)$ : each input $x$ lands you at one point $(x, y)$ on the curve.

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

Read the figure below: the orange straight line is a ruler laid so it just kisses the curve at the orange dot (the tangent line). The tilt of that ruler is $y^{'}$ at that point — steep ruler means large $y^{'}$ .

Why "prime"? The little tick mark $^{'}$ is just shorthand for "the slope-function of". It is itself a new function of $x$ : at every $x$ it hands back a slope.

Why the topic needs it: an ODE is a sentence written in slopes. You cannot read it without knowing $y^{'}$ means "slope".

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

Read the figure below: the same blue curve is a valley $⌣$ . Because it cups upward everywhere, its bending $y^{''}$ is positive (the green note). The orange tangent's tilt keeps increasing as you slide right — that increase is $y^{''}$ .

Notation ladder: $y^{(k)}$ just means "differentiate $k$ times". So $y^{(0)} = y$ , $y^{(1)} = y^{'}$ , $y^{(2)} = y^{''}$ , and $y^{(n)}$ is the general $n$ -th one.

Figure 2 — $y^{'}$ is the tilt of the tangent ruler; $y^{''}$ is how fast that tilt keeps changing.

4. The exponential $e^{r x}$ — the self-copying curve

Read the figure below: three exponentials. The red curve ( $r > 0$ ) climbs faster and faster; the green curve ( $r < 0$ ) fades toward the axis; the dashed gray line ( $r = 0$ ) is the flat constant $e^{0} = 1$ . At the orange dot on the red curve, the tangent's steepness equals $r$ times the curve's height — differentiating only rescales, never reshapes.

The role of $r$ : $r$ is the dial that sets the exponential's behaviour. $r > 0$ → grows, $r < 0$ → decays toward zero, $r = 0$ → flat constant $e^{0} = 1$ .

Figure 3 — $e^{r x}$ for $r > 0$ , $r < 0$ , $r = 0$ : differentiating just multiplies by $r$ .

5. From $y = e^{r x}$ to the characteristic polynomial

Now we do the crucial move the parent note relies on: plug the guess in and watch the calculus turn into algebra.

Step 1 — Write the guess and its derivatives. Using the self-copying rule from Section 4, $y = e^{r x}, y^{'} = r e^{r x}, y^{''} = r^{2} e^{r x} .$ Why: each derivative of $e^{r x}$ is just $e^{r x}$ multiplied by another factor of $r$ .

Step 2 — Substitute into $a y^{''} + b y^{'} + cy = 0$ . $a (r^{2} e^{r x}) + b (r e^{r x}) + c (e^{r x}) = 0.$ Why: the equation demands the mix be zero; we simply replace $y, y^{'}, y^{''}$ by their formulas.

Step 3 — Factor out the shared $e^{r x}$ . $e^{r x} (a r^{2} + b r + c) = 0.$ Why: every term contains one copy of $e^{r x}$ (this is exactly the "same shape" point) — pull it out front.

Step 4 — Divide by $e^{r x}$ , which is never zero. Since $e^{r x} > 0$ for every real $x$ , the product can only vanish if the bracket vanishes: $a r^{2} + b r + c = 0$ Why: the calculus problem has collapsed into a plain quadratic. This is the characteristic (auxiliary) equation. Its roots $r$ are the dial-settings that make the guess actually solve the ODE.

6. The coefficients $a, b, c$ and "constant coefficients"

Picture it: imagine sliders $a$ , $b$ , $c$ you set once and lock. If instead they were $a (x)$ , $b (x)$ (changing with $x$ ), the $e^{r x}$ trick from Section 5 would break — the factor-out step would no longer leave a clean polynomial. So this restriction is exactly what makes the chapter's method work.

Why the leading one $a \neq = 0$ matters: if $a = 0$ the equation isn't second order anymore. The root formula $r = \frac{- b \pm b ^{2} - 4 a c}{2 a}$ (built in Section 8) divides by $a$ — miss it and every root is wrong.

7. "Linear", "homogeneous", the operator $L$ , and the zero solution

8. Complex numbers $i$ , $α \pm i β$

Why it shows up: when the number-puzzle $a r^{2} + b r + c = 0$ has a negative discriminant (Section 9), its roots involve $- 1 = i$ . They come in conjugate pairs $α + i β$ and $α - i β$ (mirror images across the horizontal axis).

What each part will mean later: $α$ becomes the growth/decay rate of the solution's envelope; $β$ becomes the wiggle frequency. Euler's formula $e^{i β x} = cos β x + i sin β x$ is the bridge from complex $r$ to real waves — see Euler's Formula and Complex Exponentials.

9. The discriminant $Δ$ , the quadratic formula, and the repeated-root fix

Picture it: $Δ$ is a traffic light. Its sign alone tells you which of the three solution-shapes you'll get, before you even finish solving.

Recall Quick self-check on

$Δ$ For $y^{''} - 5 y^{'} + 6 y = 0$ , what is $Δ$ and which case? ::: $Δ = (- 5)^{2} - 4 (1) (6) = 25 - 24 = 1 > 0$ → two distinct real roots.

10. Independence and how many solutions you need

Why $n$ constants: each differentiation you undo introduces one "integration constant" of freedom, and you fix them later using initial conditions like $y (0) = 1$ . The tool that formally checks independence is the Wronskian and Linear Independence of Solutions.

Prerequisite map

Equipment checklist

Test yourself — each should feel automatic before reading the parent note.

What does the acronym ODE stand for?

Ordinary Differential Equation — a rule relating an unknown function

y

(of one variable

x

) to its derivatives.

What does

y^{'}

mean in one word, and what picture?

The slope (steepness) of the curve; the tilt of the tangent ruler touching it.

What does

y^{''}

measure?

How fast the slope changes — the curvature/bending (acceleration in physics).

What is the one special property of

e^{r x}

Its derivative is a scaled copy of itself:

\frac{d}{d x} e^{r x} = r e^{r x}

Why guess

y = e^{r x}

and not

x^{2}

sin x

Only

e^{r x}

keeps the same shape after differentiating, so

y, y^{'}, y^{''}

can cancel for all

x

Show how substituting

y = e^{r x}

produces the characteristic equation.

a r^{2} e^{r x} + b r e^{r x} + c e^{r x} = e^{r x} (a r^{2} + b r + c) = 0

, and since

e^{r x} \neq = 0

we get

a r^{2} + b r + c = 0

What does "constant coefficients" forbid?

The multipliers

a, b, c

being functions of

x

; they must be fixed numbers.

What does "homogeneous" mean here, and what solution is always present?

The right-hand side is

0

; the trivial solution

y = 0

always works.

Why can you add two solutions to get another?

Linearity of

L

L [c_{1} y_{1} + c_{2} y_{2}] = c_{1} L [y_{1}] + c_{2} L [y_{2}]

, so

0 + 0 = 0

What is

i

and when do complex roots appear?

i^{2} = - 1

; complex roots appear when the discriminant

Δ = b^{2} - 4 a c < 0

Write the discriminant and the root formula.

Δ = b^{2} - 4 a c

r = \frac{- b \pm Δ}{2 a}

For a repeated root

r

, what is the second independent solution?

x e^{r x}

, giving general solution

(c_{1} + c_{2} x) e^{r x}

How many independent solutions does a 2nd-order equation need?

Exactly two, giving two free constants

c_{1}, c_{2}

Connections

Parent: The Characteristic Equation
Linear Differential Operators and Superposition
Euler's Formula and Complex Exponentials
Wronskian and Linear Independence of Solutions
Second Order Linear ODE — Reduction of Order
Damped Harmonic Oscillator