Second-Order Linear ODEs (Constant Coefficients): your friendly pattern-recognition lesson
Second-order linear ODEs with constant coefficients look intimidating… until you realize they’re basically a matching game.
We’ll focus on equations like:
ay′′+by′+cy=0
where a,b,c are constants.
The big idea: try solutions shaped like exponentials. Exponentials are “shape-stable” under derivatives, which makes them perfect for this job.
1) The characteristic equation: turning calculus into algebra
Try:
y=ert
Then:
y′=rert,y′′=r2ert
Plug into:
ay′′+by′+cy=0
You get:
ar2ert+brert+cert=0
Factor out ert (never zero):
ar2+br+c=0
That’s the characteristic equation.
So the calculus problem becomes: solve a quadratic.
Three root “personalities”
Depending on the discriminant Δ=b2−4ac, you get three behaviors:
A) Two real distinct roots: r1=r2
y(t)=C1er1t+C2er2t
Intuition: two independent exponential modes (growth/decay at different rates).
B) One repeated real root: r1=r2=r
y(t)=(C1+C2t)ert
Why the extra t? Because you need two linearly independent solutions for a second-order equation, and ert alone can’t do it twice.
C) Complex conjugate roots: r=α±iβ
y(t)=eαt(C1cos(βt)+C2sin(βt))
Intuition: oscillation (cos,sin) with an envelope eαt.
- If α<0: decaying oscillation
- If α=0: pure oscillation
- If α>0: growing oscillation
2) Complex exponentials: the ultimate shortcut (and why it’s not “cheating”)
When roots are complex, people often ask: “Where did sine and cosine come from?”
They come from this identity (Euler’s formula):
eiβt=cos(βt)+isin(βt)
So if the characteristic roots are α±iβ, the exponential solutions are:
e(α+iβ)t=eαt(cosβt+isinβt)
e(α−iβ)t=eαt(cosβt−isinβt)
Now here’s the magic: real solutions are made by taking real and imaginary parts.
So instead of guessing trig forms, you can:
- solve the characteristic equation normally,
- write down ert even if r is complex,
- convert to real sines/cosines at the end.
Why this is useful: differentiating ert is always easy, even when r is complex. Trig shows up automatically via Euler.
3) Superposition: why we’re allowed to add solutions
These ODEs are linear and homogeneous.
That means if y1 solves the equation and y2 solves the equation, then:
y=C1y1+C2y2
also solves it.
That’s the superposition principle: solutions form a “mix-and-match” family.
The key requirement: linear independence
A second-order ODE needs two independent solution shapes.
- er1t and er2t are independent if r1=r2.
- ert and tert are independent when roots repeat.
- cos(βt) and sin(βt) are independent.
Intuition: you need two “knobs” (C1,C2) to match two initial conditions like y(0) and y′(0).
4) A bridge to QM-flavored forms: oscillatory vs decaying
In quantum mechanics (and waves generally), two ultra-famous ODEs appear again and again.
A) Oscillatory: y′′+k2y=0
Characteristic equation:
r2+k2=0⇒r=±ik
So:
y(t)=C1cos(kt)+C2sin(kt)
Intuition: derivatives of sine/cosine keep cycling—nothing “pushes” the solution to blow up or die out.
ASCII sketch (pure oscillation):
y
|
1 | /\ /\ /\
0 |--/ \--/ \--/ \----> t
-1 | / \/ \/ \/
In QM language, oscillations often correspond to traveling/standing waves in classically allowed regions.
B) Decaying/growing: y′′−κ2y=0
Characteristic equation:
r2−κ2=0⇒r=±κ
So:
y(t)=C1eκt+C2e−κt
Intuition: one exponential wants to explode, the other wants to fade away.
ASCII sketch (decay):
y
|
1 |\
| \
| \
0 |---\------------------> t
In QM, decaying exponentials show up in classically forbidden regions (like tunneling), where the wavefunction often must stay finite, so the growing exponential gets rejected by boundary conditions.
Misconceptions (tiny potholes to avoid)
“Is it k or k2? I keep mixing them up.”
In y′′+k2y=0, the characteristic equation is r2+k2=0, so roots are r=±ik.
That means the oscillation frequency is k, not k2.
“I found one solution. Isn’t that enough?”
Not for a second-order ODE. You need two linearly independent solutions to cover all initial conditions.
“I forgot the constants C1,C2.”
Those constants aren’t decoration—they’re the dials that let you fit the initial conditions.
“Complex solutions aren’t physical, so I shouldn’t use them.”
Complex exponentials are often just a computational tool. Real solutions come from taking real/imaginary parts (or linear combinations) at the end.
Takeaway (the comforting pattern)
Second-order constant-coefficient ODEs are all about one move:
- assume y=ert
- solve the characteristic quadratic for r
- translate roots into shapes:
- real r → exponentials
- repeated r → add a t
- complex α±iβ → sines/cosines with envelope eαt
And when you meet y′′+k2y=0 versus y′′−κ2y=0, you can immediately think:
oscillate vs decay/grow—a theme that shows up everywhere from springs to quantum waves.