Homogeneous with constant coefficients — characteristic equation: Visual walkthrough

4.6.10 · D2 · Maths › Ordinary Differential Equations › Homogeneous with constant coefficients — characteristic equa

Hum poori tarah ek concrete equation follow karenge: $a y^{''} + b y^{'} + c y = 0, a \neq = 0.$

Main har symbol ko use karne se pehle naam dunga, kyunki yahi rule hai:

Step 1 — Equation ko ek formula nahi, balance ki tarah padho

KYA. Equation $a y^{''} + b y^{'} + cy = 0$ kehti hai: curve ki bendiness ( $y^{''}$ ), uski slope ( $y^{'}$ ), aur uski height ( $y$ ) lo; har ek ko ek number se scale karo; teeno ko har point $x$ par sum karke zero aana chahiye.

KYUN. Algebra chhedne se pehle hume dekhna hai ki hum kya dhoondh rahe hain: ek aisi curve jo itni self-consistent ho ki uski apni height, slope aur bend hamesha milkar cancel ho jaayein. Zyaadatar curves yeh nahi kar saktiein — ek random wiggle ki teeno quantities ka balance mein rehne ka koi reason nahi hota.

PICTURE. Figure dekho. Ek candidate curve burnt orange mein bani hai. Ek point par hum uski height (dot), uski slope (tangent arrow), aur uski bend (tangent kitna turn ho raha hai) mark karte hain. Chhote scale-bars $a \cdot y^{''}$ , $b \cdot y^{'}$ , $c \cdot y$ stack karke dikhate hain — aur inhe flat zero line mein add hona chahiye.

Figure — Homogeneous with constant coefficients — characteristic equation

Step 2 — Sirf ek hi family self-reproduce karti hai: exponential

KYA. Hum guess karte hain ki curve $y = e^{r x}$ hai. Yahan $e \approx 2.718$ ek fixed special number hai, aur $r$ ek unknown number hai (possibly negative, possibly imaginary — hum baad mein sab allow karenge).

YEH TOOL KYU AUR KOI NAHI? Step 1 ka balance chahta hai ki $y^{''}$ , $y^{'}$ aur $y$ same shape ke hon taaki cancel ho sakein. Poochho: kaun sa curve aisa hai jiska derivative sirf uska ek scaled copy ho?

Parabola? Uska derivative ek line hai — alag shape. Reject.
$sin x$ ? Uska derivative $cos x$ hai — ek shifted shape. (Almost; do steps ke baad wapas aata hai. Yeh thought rakhlo — Step 8 mein wapas aata hai.)
$e^{r x}$ ? Uska derivative $r \cdot e^{r x}$ hai — bilkul wahi, sirf rescaled. ✓

Woh aakhri property sirf exponential mein hoti hai, aur yahi woh cheez hai jo teen copies ko cancel hone deti hai.

$\frac{d}{d x} e^{r x} = scale factor r \cdot same shape back e^{r x} .$

PICTURE. Figure mein $e^{r x}$ aur uski derivative $r e^{r x}$ (dashed) overlay hain. Woh same curve hai jo vertically $r$ se stretch hui hai — kabhi naya shape nahi. Yahi "shape-invariance" hai, yahi reason hai ki hum isi par bet lagaate hain.

Step 3 — Guess ko differentiate karo, do baar

KYA. Step 2 ka shape-invariance rule baar baar apply karo: $y = e^{r x}, y^{'} = r e^{r x}, y^{''} = r^{2} e^{r x} .$

KYUN. Humhe $y^{'}$ aur $y^{''}$ same language ( $e^{r x}$ ) mein chahiye taaki balance mein substitute kar sakein. Har differentiation sirf ek aur $r$ multiply karta hai — yahi is choice ki khoobsoorti hai.

Term by term:

$y = 1 \cdot e^{r x}$ — height.
$y^{'} = r \cdot e^{r x}$ — $r$ ka ek factor (ek derivative).
$y^{''} = r^{2} \cdot e^{r x}$ — $r$ ke do factors (do derivatives).

PICTURE. Ek chhoti "ladder" figure: har rung ek derivative hai, aur ek rung chadhne par ek aur $r$ lag jaata hai. Exponential $e^{r x}$ har rung par bina chhedkaari ke saath chalta rehta hai.

Step 4 — Substitute karo aur factor karo: calculus algebra ban jaata hai

KYA. Teeno expressions ko $a y^{''} + b y^{'} + cy = 0$ mein daalo: $a r^{2} e^{r x} + b r e^{r x} + c e^{r x} = 0.$ Har term mein common $e^{r x}$ hai. Usse bahar nikalo: $e^{r x} (a r^{2} + b r + c) = 0.$

KYUN. Factoring structure expose karta hai. Messy calculus ek product mein collapse ho gayi hai: ek exponential aur $r$ mein ek plain polynomial ka product.

Factored form ko annotate karte hain: $shape (kabhi zero nahi) e^{r x} \times ek number — yahi hum r se control karte hain (a r^{2} + b r + c) = 0.$

PICTURE. Figure do factors ko do blocks ki tarah dikhata hai. $e^{r x}$ block shaded hai aur stamped hai " $> 0$ always". Product zero tab hi hoga jab doosra block zero ho.

Step 5 — $e^{r x}$ se divide karo: characteristic equation janam leti hai

KYA. Kyunki $e^{r x}$ kabhi zero nahi hota (ek exponential hamesha positive hota hai), hum ise divide kar sakte hain. Jo bachta hai woh hai: $a r^{2} + b r + c = 0$ characteristic equation (ise auxiliary equation bhi kehte hain).

KYUN. Yahi poori trick ka payoff hai. Humne ek differential equation se shuru kiya jo slopes aur bends ke baare mein thi, aur humne usse ek plain quadratic se trade kar liya — wahi type jo tum school mein factor karte ho. $r$ ke liye solve karo, aur har $r$ tumhe ek solution $e^{r x}$ de deta hai.

Ise solve karne ke liye hum quadratic formula use karte hain — woh tool jo jawab deta hai "kis $r$ par parabola $a r^{2} + b r + c$ zero hit karta hai?": $r = \frac{- b \pm ise Δ kehte hain b ^{2} - 4 a c}{2 a} .$

$- b$ roots ko center karta hai, $2 a$ unhe scale karta hai.
$\pm Δ$ do roots ka center se spread hai.
$Δ = b^{2} - 4 a c$ discriminant hai — root ke neeche ka number jo sab kuch decide karta hai.

PICTURE. Figure parabola $p (r) = a r^{2} + b r + c$ plot karta hai. Horizontal axis se uske crossings roots hain. Teal arrows do crossings dikhate hain; plum bracket $Δ$ ko unke half-spread ke roop mein dikhata hai.

Step 6 — Case A: $Δ > 0$ , parabola axis ko do baar kaatta hai

KYA. Agar $Δ > 0$ toh $Δ$ ek real positive number hai, toh hume do alag real roots milte hain $r_{1} \neq = r_{2}$ . Do roots ⇒ do independent building-block solutions: $y = c_{1} e^{r_{1} x} + c_{2} e^{r_{2} x} .$

Do constants $c_{1}, c_{2}$ kyun? Ek second-order equation do derivatives khooti hai, toh kisi bhi starting height aur starting slope fit karne ke liye isko do free knobs chahiye. (Independence bilkul wahi hai jo Wronskian certify karta hai.)

Har piece:

$e^{r_{1} x}$ , $e^{r_{2} x}$ — do genuinely alag exponential shapes.
$c_{1}, c_{2}$ — free dials jo baad mein initial conditions se set hote hain.

PICTURE. Parabola axis ke neeche jaata hai, do points $r_{1}, r_{2}$ par cross karta hai. Uske saath, do resulting exponential curves (ek steeper, ek shallower).

Step 7 — Case B (degenerate): $Δ = 0$ , parabola axis ko sirf kiss karta hai

KYA. Agar $Δ = 0$ toh $Δ = 0$ , aur dono roots ek single $r = - \frac{b}{2 a}$ mein collapse ho jaate hain. Ab $e^{r x}$ sirf ek solution hai — lekin second-order equation ko phir bhi do chahiye. Bachao: $y = (c_{1} + c_{2} x) e^{r x} .$

Extra $x$ kyun? Yeh subtle wala hai, toh ise draw karo. Operator factor hota hai $a (D - r)^{2} y = 0$ jahan $D = \frac{d}{d x}$ . Inner $(D - r) u = 0$ solve karne par $u = c_{2} e^{r x}$ milta hai; phir $(D - r) y = u$ solve karna ek first-order ODE hai jiska integrating factor exponential cancel karta hai aur ek bare constant bachta hai jo integrate hone par $x$ banata hai. (Poora mechanism Second Order Linear ODE — Reduction of Order mein hai.) Toh $x$ koi magic rule nahi hai — yeh ek integration ka leftover hai.

Annotate karte hain:

$(c_{1}) e^{r x}$ — ordinary exponential solution.
$(c_{2} x) e^{r x}$ — reduction-of-order companion; $x$ woh missing second dial hai.

PICTURE. Parabola axis ko bilkul ek point par touch karta hai ("kiss"). Uske saath, do solution curves: $e^{r x}$ aur $x e^{r x}$ — doosra zero se shuru hota hai, utha, phir exponential le leta hai.

Step 8 — Case C: $Δ < 0$ , parabola axis ko kabhi touch nahi karta

KYA. Agar $Δ < 0$ toh $Δ$ ek negative number ka square root hai — koi real $r$ kaam nahi karega. Hum $i$ invent karte hain jahan $i^{2} = - 1$ , jisse ek complex conjugate pair milta hai: $r = α \pm i β, α = - \frac{b}{2 a}, β = \frac{4 a c - b ^{2}}{2 a} .$

$α$ — real part: growth ( $α > 0$ ) ya decay ( $α < 0$ ) ya kuch nahi ( $α = 0$ ) set karta hai.
$β$ — imaginary part: oscillation ki speed set karta hai.

Sin aur cos kyun aate hain. Raw solutions $e^{(α \pm i β) x}$ complex hain, lekin real-world ODE real answers chahti hai. Euler's formula convert karta hai: $e^{i β x} = cos β x + i sin β x .$ Yahi reason hai ki woh shifted-shape curve jo humne Step 2 mein reject kiya tha woh wapas aa jaata hai: ek oscillation wahi hai jo ek imaginary exponent wali exponential hoti hai. Real aur imaginary parts lene par do real, independent solutions milte hain, toh: $y = e^{α x} (c_{1} cos β x + c_{2} sin β x) .$

Term by term:

$e^{α x}$ — envelope: agar $α < 0$ toh wave shrink karti hai, agar $α > 0$ toh grow, agar $α = 0$ toh flat.
$cos β x, sin β x$ — frequency $β$ par wiggle.

PICTURE. Parabola poori tarah axis ke upar float karta hai (koi crossing nahi). Uske saath, ek oscillation $cos β x$ jo ek shrinking envelope $e^{α x}$ se hug ki gayi hai (ek decaying wave) — ek Damped Harmonic Oscillator ki picture.

Step 9 — Teeno cases asal mein ek parabola disguise mein hain

KYA. Steps 6–8 mein sirf ek hi cheez badli thi — parabola axis ke relative kahan tha:

$Δ$	Parabola vs axis	Roots	Solution shape
$> 0$	do baar kaat ta hai	do real	$c_{1} e^{r_{1} x} + c_{2} e^{r_{2} x}$
$= 0$	ek baar kiss karta hai	ek (double)	$(c_{1} + c_{2} x) e^{r x}$
$< 0$	miss karta hai	$α \pm i β$	$e^{α x} (c_{1} cos β x + c_{2} sin β x)$

KYUN. Ek picture samajhna — ek parabola $r$ -axis ke upar-neeche slide karta hua — teen unrelated rules yaad karne ki jagah le leta hai. Parabola ki height discriminant hi hai.

PICTURE. Usi parabola ki teen copies vertically shifted, har ek ke neeche uski solution sketch. Yeh flagship compression hai.

Ek-picture summary

Sab kuch isme collapse hota hai: guess $e^{r x}$ → quadratic milti hai → dekho parabola axis ko kahan milta hai.

Recall Poore walkthrough ki Feynman retelling

Hume ek aisi curve chahiye thi jiska height, slope, aur bend hamesha fixed proportion mein cancel ho. Duniya mein sirf ek curve aisa hai jo differentiate karne par khud ko copy karta hai — exponential $e^{r x}$ — toh humne isi par bet lagayi. Differentiate karne par bas extra $r$ lag jaata hai, toh poori differential equation ek plain quadratic $a r^{2} + b r + c = 0$ mein simat jaati hai. Woh quadratic ek parabola hai, aur poori kahani yeh hai ki woh axis ko kahan milta hai: do baar cross kare → do exponentials; barely kiss kare → ek exponential plus ek $x$ -nudge partner; bilkul miss kare → roots imaginary ho jaate hain aur curve sine aur cosine ki tarah wiggle karta hai, ek growing ya fading envelope mein wrap hua. Teen answers, ek parabola.

Connections

Homogeneous with constant coefficients — characteristic equation (parent)
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
Method of Undetermined Coefficients