4.6.12Ordinary Differential Equations

Case 2 - repeated real root — reduction of order

1,882 words9 min readdifficulty · medium2 backlinks

For the constant-coefficient ODE ay+by+cy=0ay'' + by' + cy = 0, when the characteristic equation has a repeated real root rr (i.e. discriminant b24ac=0b^2 - 4ac = 0), the two independent solutions are erxe^{rx} and ==xerx====xe^{rx}==.


The Setup


WHY xerxxe^{rx}? — Two derivations from scratch

Derivation A: Reduction of Order (the honest method)

Start with ay+by+cy=0ay'' + by' + cy = 0 and y=verxy = v e^{rx}.

Compute derivatives (product rule): y=erx(v+rv),y=erx(v+2rv+r2v).y' = e^{rx}(v' + r v),\qquad y'' = e^{rx}(v'' + 2r v' + r^2 v).

Why this step? We need y,yy',y'' in terms of vv so we can substitute.

Substitute and factor out erx0e^{rx}\neq 0: a(v+2rv+r2v)+b(v+rv)+cv=0.a(v'' + 2rv' + r^2 v) + b(v' + rv) + c v = 0.

Group by v,v,vv'', v', v: av+(2ar+b)v+(ar2+br+c)v=0.a\,v'' + (2ar + b)\,v' + (ar^2 + br + c)\,v = 0.

Why this step? We isolate the coefficients to use what we know about rr.

Now use the two facts that define this case:

  • rr is a root: ==ar2+br+c=0====ar^2 + br + c = 0== → the vv-term vanishes.
  • rr is the repeated root r=b/2ar = -b/2a, so 2ar+b=2a(b/2a)+b===0==2ar + b = 2a(-b/2a)+b = ==0== → the vv'-term vanishes.

We are left with just av=0v=0.a\,v'' = 0 \quad\Rightarrow\quad v'' = 0.

Derivation B: The limit / coalescing roots (intuition booster)


Independence check (so it's a valid second solution)

With y1=erx, y2=xerxy_1 = e^{rx},\ y_2 = xe^{rx}: y2=erx+rxerx=erx(1+rx).y_2' = e^{rx} + rxe^{rx} = e^{rx}(1+rx). W=erxerx(1+rx)rerxxerx=e2rx[(1+rx)rx]===e2rx==0.W = e^{rx}\cdot e^{rx}(1+rx) - re^{rx}\cdot xe^{rx} = e^{2rx}\big[(1+rx) - rx\big] = ==e^{2rx}==\neq 0.

Good — independent everywhere. ✓

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

Worked Examples


Common Mistakes


Flashcards

When does the constant-coefficient ODE ay+by+cy=0ay''+by'+cy=0 have a repeated root?
When the discriminant b24ac=0b^2-4ac=0; the single root is r=b/2ar=-b/2a.
What are the two independent solutions for a repeated real root rr?
erxe^{rx} and xerxxe^{rx}.
In reduction of order, what form do we assume for the 2nd solution?
y2=v(x)y1=v(x)erxy_2 = v(x)\,y_1 = v(x)e^{rx}, with vv unknown.
After substituting y=verxy=ve^{rx} into the repeated-root ODE, what equation remains for vv?
av=0a v''=0, i.e. v=0v''=0, giving v=C1+C2xv=C_1+C_2 x.
Why do BOTH the vv and vv' terms vanish in the repeated-root reduction?
vv-term: ar2+br+c=0ar^2+br+c=0 (root). vv'-term: 2ar+b=02ar+b=0 since r=b/2ar=-b/2a (repeated root).
What is the Wronskian of erxe^{rx} and xerxxe^{rx}?
W=e2rx0W=e^{2rx}\neq 0, so they are linearly independent.
General solution of y6y+9y=0y''-6y'+9y=0?
y=(C1+C2x)e3xy=(C_1+C_2 x)e^{3x}.
Why is C1erx+C2erxC_1 e^{rx}+C_2 e^{rx} NOT a valid general solution?
It collapses to one function (C1+C2)erx(C_1+C_2)e^{rx} — a 1D space, too small for a 2nd-order ODE.
Limit interpretation of xerxxe^{rx}?
limε0e(r+ε)xerxε=rerx=xerx\lim_{\varepsilon\to0}\frac{e^{(r+\varepsilon)x}-e^{rx}}{\varepsilon}=\frac{\partial}{\partial r}e^{rx}=xe^{rx}.

Recall Feynman: explain to a 12-year-old

Imagine you need two different building blocks to make any tower (solution). Normally the two roots give you two blocks. But sometimes the two roots turn out to be the same number — so you only get one block, and you can't build everything. Trick: take your one block erxe^{rx} and stick an xx on it to make a second, genuinely different block xerxx e^{rx}. Now you have two blocks again and can build any tower. The reason the xx works: if you imagine the two roots almost-but-not-quite equal and let them slide together, the difference between their two solutions becomes exactly xerxx e^{rx}.


Connections

  • Characteristic equation of linear ODEs — where the root rr comes from.
  • Case 1 distinct real roots — contrast: two roots, two clean exponentials.
  • Case 3 complex roots — when discriminant <0<0.
  • Reduction of order (general method) — the technique used here, works for any known y1y_1.
  • Wronskian and linear independence — proves erx,xerxe^{rx}, xe^{rx} are independent.
  • Higher-order repeated roots — root of multiplicity mm gives erx,xerx,,xm1erxe^{rx},xe^{rx},\dots,x^{m-1}e^{rx}.

Concept Map

trial y = e^rx

discriminant b^2-4ac=0

gives

only one solution

reduction of order

substitute and factor e^rx

root fact ar^2+br+c=0

repeated 2ar+b=0

leaves

leaves

integrate

new piece

combine

limit of merging roots

ay'' + by' + cy = 0

Characteristic eqn ar^2+br+c=0

Repeated real root r = -b/2a

First solution y1 = e^rx

Need 2nd independent solution

Try y2 = v x times e^rx

a v'' + 2ar+b v' + ar^2+br+c v = 0

v term vanishes

v' term vanishes

v'' = 0

v = C1 + C2 x

y2 = x e^rx

General y = C1+C2 x times e^rx

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, jab humare paas equation hoti hai ay+by+cy=0ay''+by'+cy=0 aur uska characteristic equation ar2+br+c=0ar^2+br+c=0 ka discriminant b24ac=0b^2-4ac=0 ho jaata hai, tab dono roots ek hi number r=b/2ar=-b/2a ban jaate hain. Problem ye hai: second-order ODE ko do independent solutions chahiye (solution space 2-dimensional hota hai), lekin ek hi root se humein sirf ek solution erxe^{rx} milta hai. Ek solution kam pad gaya!

Iska jugaad hai reduction of order. Hum maante hain ki doosra solution y2=v(x)erxy_2=v(x)\,e^{rx} hoga, jahan vv unknown hai. Jab isse equation me daalte hain to vv wala term mar jaata hai (kyunki rr root hai) aur vv' wala term bhi mar jaata hai (kyunki r=b/2ar=-b/2a, isliye 2ar+b=02ar+b=0). Bachta hai sirf v=0v''=0, jiska matlab v=C1+C2xv=C_1+C_2x. To naya solution nikla ==xerx====xe^{rx}==. Yaad rakho — repeated root ka matlab: ek xx multiply kar do!

Ek aur soch ka tareeka: socho dono roots thode alag the, rr aur r+εr+\varepsilon. Jab ye slowly merge hote hain, dono solutions ka difference exactly xerxxe^{rx} ban jaata hai. Isliye xx wala factor natural hai. Sabse common galti: C1erx+C2erxC_1e^{rx}+C_2e^{rx} likhna — ye toh ek hi function ban jaata hai, kaam nahi karega. Sahi answer hamesha y=(C1+C2x)erxy=(C_1+C_2x)e^{rx} hota hai.

Go deeper — visual, from zero

Test yourself — Ordinary Differential Equations

Connections