4.6.10Ordinary Differential Equations

Homogeneous with constant coefficients — characteristic equation

1,911 words9 min readdifficulty · medium1 backlinks

1. Setup and definitions

WHY does homogeneous + linear let us add solutions? Because the operator L[y]=any(n)++a0yL[y]=a_n y^{(n)}+\dots+a_0 y is linear: L[c1y1+c2y2]=c1L[y1]+c2L[y2]L[c_1y_1+c_2y_2]=c_1L[y_1]+c_2L[y_2]. If L[y1]=0L[y_1]=0 and L[y2]=0L[y_2]=0, then any combination is also 00. So the general solution is a linear combination of independent basic solutions — and an nn-th order equation needs ==n=="==n==" independent ones.


2. Derivation from scratch (second order)

Take ay+by+cy=0ay'' + by' + cy = 0, a0a\neq 0.

Step 1 — Guess y=erxy=e^{rx}. Why this step? Only exponentials reproduce themselves under differentiation, so they're the natural candidate to make the combination cancel.

Step 2 — Differentiate: y=rerxy'=re^{rx}, y=r2erxy''=r^2e^{rx}.

Step 3 — Substitute: ar2erx+brerx+cerx=0    erx(ar2+br+c)=0.a r^2 e^{rx} + b r e^{rx} + c e^{rx} = 0 \;\Rightarrow\; e^{rx}(ar^2+br+c)=0. Why this step? Factor out the common erxe^{rx} to isolate the algebra.

Step 4 — Divide by erxe^{rx} (never zero): ar2+br+c=0\boxed{ar^2 + br + c = 0} the characteristic equation. Solve it with the quadratic formula r=b±b24ac2ar=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a}.

The discriminant Δ=b24ac\Delta=b^2-4ac splits everything into 3 cases.


3. The three cases (and WHY each form appears)

Why does the repeated root need xerxxe^{rx}?

If rr is a double root then ar2+br+c=a(rr0)2ar^2+br+c=a(r-r_0)^2, so the operator factors as a(Dr0)2y=0a(D-r_0)^2 y=0 where D=ddxD=\frac{d}{dx}. Solving (Dr0)u=0(D-r_0)u=0 gives u=c2er0xu=c_2e^{r_0x}, then (Dr0)y=u(D-r_0)y=u is a first-order linear ODE whose solution is y=(c1+c2x)er0xy=(c_1+c_2x)e^{r_0x}. The factor xx appears because the integrating factor cancels the exponential and leaves a constant to integrate, producing a linear-in-xx term. That's why — not a magic rule.

Why do complex roots give sin and cos?

With r=α±iβr=\alpha\pm i\beta, solutions are e(α+iβ)xe^{(\alpha+i\beta)x} and e(αiβ)xe^{(\alpha-i\beta)x}. These are complex; but the ODE has real coefficients, so we want real solutions. Take real and imaginary parts: eαxcosβxe^{\alpha x}\cos\beta x and eαxsinβxe^{\alpha x}\sin\beta x — both are solutions and they are independent. (This is Euler's formula doing all the work.)

Figure — Homogeneous with constant coefficients — characteristic equation

4. Worked examples


5. Common mistakes (Steel-manned)


Recall Feynman: explain to a 12-year-old

Imagine a swing. The rule for how it moves only involves the swing's position, its speed, and how fast its speed changes — all multiplied by fixed numbers. We bet the answer looks like a special number ee raised to a power, because that's the one shape that stays the same when you measure how fast it changes. Plugging the bet in turns the hard "rate of change" question into an easy "solve a number puzzle" (ar2+br+c=0ar^2+br+c=0). If the puzzle gives two normal numbers → two stretchy exponential curves. If it gives one repeated number → you sneak in an extra xx. If it gives "imaginary" numbers → the swing actually wiggles, so you get waves (sin and cos), maybe fading away.


Connections


Flashcards

Why guess y=erxy=e^{rx} for constant-coefficient linear ODEs?
Exponentials are the only functions whose derivatives are scaled copies of themselves, so they turn the ODE into a polynomial equation in rr.
What is the characteristic equation of ay+by+cy=0ay''+by'+cy=0?
ar2+br+c=0ar^2+br+c=0, obtained by substituting y=erxy=e^{rx} and dividing by erxe^{rx}.
Case Δ>0\Delta>0 (distinct real roots) general solution?
y=c1er1x+c2er2xy=c_1e^{r_1x}+c_2e^{r_2x}.
Case Δ=0\Delta=0 (repeated root rr) general solution?
y=(c1+c2x)erxy=(c_1+c_2x)e^{rx}.
Case Δ<0\Delta<0 (roots α±iβ\alpha\pm i\beta) general solution?
y=eαx(c1cosβx+c2sinβx)y=e^{\alpha x}(c_1\cos\beta x+c_2\sin\beta x).
Why does the repeated root need an extra factor of xx?
The operator factors as (Dr0)2(D-r_0)^2; solving the chained first-order equations introduces a linear-in-xx term, giving a second independent solution xerxxe^{rx}.
Why do complex roots produce sin and cos?
Euler's formula: e(α±iβ)x=eαx(cosβx±isinβx)e^{(\alpha\pm i\beta)x}=e^{\alpha x}(\cos\beta x\pm i\sin\beta x); taking real and imaginary parts gives two real independent solutions.
In r=α±iβr=\alpha\pm i\beta, what does α\alpha control vs β\beta?
α\alpha controls exponential growth/decay of the envelope; β\beta controls the oscillation frequency.
Solve y+4y=0y''+4y=0.
r2+4=0r=±2ir^2+4=0\Rightarrow r=\pm2i, so y=c1cos2x+c2sin2xy=c_1\cos2x+c_2\sin2x.
How many independent solutions does an order-nn homogeneous linear ODE have?
Exactly nn.

Concept Map

guess y=e^rx

only self-reproducing under d/dx

linear operator L

n independent solutions

substitute and divide by e^rx

discriminant b^2-4ac

Delta greater than 0

Delta = 0

Delta less than 0

c1 e^r1x + c2 e^r2x

c1 + c2 x times e^rx

via Euler formula

alpha decay, beta oscillation

Homogeneous linear ODE constant coeffs

Exponential ansatz

Derivatives are scaled copies

Superposition principle

General solution

Characteristic equation

Delta splits cases

Distinct real roots

Repeated real root

Complex conjugate roots

Growth and oscillation

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, jab humein aisi ODE milti hai jaise ay+by+cy=0ay''+by'+cy=0 jisme saare coefficients constant hain, to seedha trick hai: hum guess karte hain ki solution y=erxy=e^{rx} hoga. Kyun? Kyunki sirf exponential function aisa hai jiska derivative khud ka hi scaled version hota hai. Jaise hi yeh plug karte ho, erxe^{rx} common nikal kar cancel ho jaata hai, aur bachta hai ek simple polynomial ar2+br+c=0ar^2+br+c=0 — isko characteristic equation kehte hain. Matlab calculus ka tough problem ek easy algebra problem ban gaya.

Ab roots ke teen cases hain. Agar do alag real roots mile (Δ>0\Delta>0), to answer hai c1er1x+c2er2xc_1e^{r_1x}+c_2e^{r_2x}. Agar ek hi root repeat ho (Δ=0\Delta=0), to sirf erxe^{rx} likhne se ek solution kam pad jaata hai, isliye ek extra xx multiply karke xerxxe^{rx} lete hain — (c1+c2x)erx(c_1+c_2x)e^{rx}. Aur agar roots complex ho (α±iβ\alpha\pm i\beta), to Euler formula use karke eαx(c1cosβx+c2sinβx)e^{\alpha x}(c_1\cos\beta x+c_2\sin\beta x) milta hai, jisme α\alpha batata hai growth ya decay aur β\beta batata hai oscillation kitni tez hai.

Yeh matter kyun karta hai? Physics mein spring, pendulum, electrical circuits — sab isi tarah ke equations dete hain. α<0\alpha<0 ho to oscillation dheere dheere mar jaata hai (damping), α=0\alpha=0 ho to pure wave chalti rehti hai. Toh ek hi formula trick se tum predict kar sakte ho ki system spread karega, shaant hoga, ya hilta rahega.

Sabse common galti: repeated root pe c1erx+c2erxc_1e^{rx}+c_2e^{rx} likh dena — yeh galat hai kyunki yeh ek hi constant ban jaata hai. Hamesha yaad rakho: "Different, Double, Dizzy" — alag roots, double root mein xx daalo, aur complex mein sin-cos aata hai.

Go deeper — visual, from zero

Test yourself — Ordinary Differential Equations

Connections