4.6.12 · D1Ordinary Differential Equations

Foundations — Case 2 - repeated real root — reduction of order

2,909 words13 min readBack to topic

This page is the ground floor. It assumes you have never seen a derivative, an exponential, or a differential equation. Every symbol in the parent note is built here, one brick at a time.


1. What a function is, and what its graph looks like

Picture it as a curve drawn on a grid. The horizontal axis is the input ; the vertical axis is the output . Every point on the curve is one input-output pair.

Figure s01 — a function as a curve. Each vertical dashed line pins an input to its single output .

Figure — Case 2 -  repeated real root — reduction of order

Why the topic needs it: the whole chapter is about finding an unknown curve . Everything else — slopes, characteristic equations — is machinery for pinning down which curve it is.


2. The derivative — slope, defined by a limit

We must make "a small step" exact. Take a step of size from to . The line joining the two curve-points and — a secant line — has slope

Figure s02 — the secant becomes the tangent as . The blue secants pivot toward the pink tangent; the rise-over-run triangle shows exactly what measures.

Figure — Case 2 -  repeated real root — reduction of order

Why this tool and not another? We need a way to talk about how fast a quantity changes — velocity, growth, decay. The derivative is precisely the machine that answers "how steep, right here?". Look at the pink tangent line in Figure s02: its steepness is the value of .


3. The second derivative — curvature, slope-of-the-slope

Figure s03 — curvature has a sign. The blue "valley" bends up (), the pink "hill" bends down (), the yellow straight line has .

Figure — Case 2 -  repeated real root — reduction of order

Why the topic needs it: the equation is called second-order exactly because appears. Physically is acceleration; a spring, a circuit, a swinging pendulum all obey rules relating position (), velocity () and acceleration (). That relation is our differential equation.

Recall Quick self-check on primes

If is the slope and is the slope-of-the-slope, what does mean geometrically? ::: The slope never changes — the curve is a straight line.


4. The chain rule — differentiating a function of a function

Why the topic needs it: we constantly differentiate , , etc., where a rate sits inside. The chain rule is the tool that pulls that inner rate out front — used immediately in §5.


5. Factorials and the exponential — the function that is its own slope

Now we build from nothing and derive its slope rule with the §2 power rule and §4 chain rule, because the whole topic hangs on it. First, one piece of notation.

Recall A word on "differentiating the sum term by term"

Swapping the order of "differentiate" and "add up infinitely many terms" is not automatic for every infinite sum. It is legal here because this particular series converges (its terms shrink so fast — the factorial denominators outrun any fixed — that the tail contributes essentially nothing), and for such rapidly-converging power series a theorem of calculus guarantees the term-by-term derivative is valid. We take that theorem as given; the payoff is the clean rule . ::: Term-by-term differentiation is justified because the exponential series converges fast enough (factorials outrun ).

Figure s04 — the exponential for three signs of . Pink grows (), blue decays (), yellow is the flat line .

Figure — Case 2 -  repeated real root — reduction of order
  • If : grows (explodes rightward).
  • If : decays toward (settles down) — the pale-blue curve.
  • If : , a flat constant line.
  • Note always — it never hits or crosses zero. This is why we can safely "divide by " later.

6. The characteristic equation and its discriminant

When the discriminant is , the vanishes and both roots merge into the single value That collapse is the entire drama of Case 2: two roots became one, so we're one solution short. See Characteristic equation of linear ODEs for the full derivation of this transfer from ODE to quadratic.


7. Dimension, linear independence, and the Wronskian


8. Equipment checklist

Test yourself — you're ready for the parent topic when you can answer every one:

What does mean geometrically?
The slope (steepness) of the curve at each point.
What is the formal limit definition of ?
— the settling-value of the secant slope as the step shrinks to zero.
What is a limit ?
The single number an expression approaches as shrinks toward without ever equalling .
What is the power rule and how is it derived?
; derived by expanding and letting .
What does the chain rule say?
— slope of outside times slope of inside.
What is ?
The factorial: , with ; e.g. .
What does mean geometrically?
The slope-of-the-slope — how much the curve bends (its curvature).
How is defined from scratch?
As the power series ; setting gives .
Why does equal its own derivative?
Term-by-term power-rule differentiation sends each onto , reproducing the same sum.
What is the derivative of , and why?
— the chain rule multiplies the self-reproducing outside by the inside's slope .
What kind of number is on this page?
A fixed real constant (positive, negative, or zero); the complex case is deferred to Case 3.
Why do we trial rather than or ?
Only returns a clean multiple of itself under differentiation; swap into each other, and powers change shape.
Why can we always divide the equation by ?
Because for every — it is never zero.
How do you get the characteristic equation from the ODE?
Substitute , factor out , leaving .
What does the discriminant tell you?
Its sign picks the case: positive = distinct roots, zero = repeated root, negative = complex roots.
What is the single repeated root when ?
.
What does "2-dimensional solution space" mean?
Exactly two independent solution-curves are needed so every solution is a combination .
What does the Wronskian prove, and why?
Linear independence — because a scaled copy forces , so rules that out.
Difference between and ?
are fixed coefficients of the ODE; are free constants in the general solution chosen to meet initial conditions.

Prerequisite map

Function y of x

Derivative y' via limit

Second derivative y''

Power rule d/dx x^n

Chain rule

Exponential e^rx as power series

Factorial n!

ODE a y'' + b y' + c y = 0

Characteristic equation a r^2 + b r + c = 0

Discriminant b^2 - 4ac

Repeated root r = -b/2a

Linear independence and Wronskian

Case 2 second solution x e^rx