4.6.17 · D1 · Maths › Ordinary Differential Equations › Power series solutions — ordinary points
Ek core idea: agar ek equation kisi curve ko uski apni slope aur apni bending se jorti hai, toh hum guess kar sakte hain ki curve ek endless polynomial hai a 0 + a 1 x + a 2 x 2 + ⋯ aur equation ko unknown numbers ek-ek karke compute karne dete hain. Yeh page — bilkul scratch se — har woh symbol build karta hai jo aapke paas pehle se hona chahiye, tab se pehle ki woh guess koi sense banaye: ek power, ek sum-sign, ek slope, ek bend, aur ek "nice function" actually kya hote hain .
Yeh Power series solutions at an ordinary point ka toolbox page hai. Hum zero prior notation assume karte hain. Upar se neeche padho; har block woh symbols earn karta hai jo agli block use karegi.
Ek variable bas ek aisi number hai jise hum slide kar sakte hain, jaise ek wire pe bead. Hum ise x kehte hain. Ek function y ek rule hai: isko ek x do, yeh ek height y wapas deta hai. Hum y ( x ) likhte hain — "position x par height."
Picture: x ke liye ek horizontal number-line, height y ke liye ek vertical number-line, aur unke upar ek curve floating. Koi bhi x pick karo, seedha upar curve tak jao, aur jo height aap reach karo woh y ( x ) hai.
Topic ko kyun chahiye: poora game ek unknown curve y ( x ) dhundhna hai. Baaki sab kuch us curve ko pin down karne ki machinery hai.
x n ka matlab hai "x ko n baar khud se multiply karo." Toh x 2 = x ⋅ x , x 3 = x ⋅ x ⋅ x . Do edge cases jo aapko kabhi nahi bhuulne chahiye:
x 1 = x (ek copy, khud),
x 0 = 1 (zero copies = "kuch na karo" wali number, 1 ).
Shapes picture karo: x 0 = 1 ek flat horizontal line hai. x 1 ek seedha ramp hai. x 2 ek U-shaped bowl hai (parabola). Badi powers zyada steep aur zyada curved hoti hain. Har power ek alag building-block shape hai.
Topic ko kyun chahiye: ek power series in shapes ko mix karne ki recipe hai. Recipe trust karne ke liye pehle har ek ingredient shape akele dekhni chahiye.
"x 0 = 0 hoga na?"
Kyun sahi lagta hai: zero exponent, toh zero?
Fix: x 0 = 1 . Sochon ki "x ke koi copies multiply nahi karna" matlab 1 ko untouched chhodna. Yeh matter karta hai kyunki har series ka pehla term, a 0 x 0 , bas constant a 0 hota hai.
Coefficient woh amount hai jo hum mix mein har building-block shape ka dalte hain. a n (padho "a-sub-n") x n shape ka amount hai. Neeche wala chota n ek subscript hai — ek name-tag, multiplication nahi.
Picture: a 0 , a 1 , a 2 , … label wale tuning dials ki ek row. Har dial control karta hai ki ek shape (1 , x , x 2 , …) kitni add hogi. Dials ghuma ke aap koi bhi curve sculpt kar sakte ho.
Topic ko kyun chahiye: ODE method kabhi answer ki shape guess nahi karta — shapes (x n ) fixed hain. Yeh sirf dial settings a n solve karta hai. Woh numbers HI solution hain.
n = 0 ∑ ∞ a n x n ek endless addition ka shorthand hai:
∑ n = 0 ∞ a n x n = a 0 x 0 + a 1 x 1 + a 2 x 2 + a 3 x 3 + ⋯
Padho: "counter n ko 0 se start karo, term a n x n likho, n ko ek se badhao, hamesha chalte raho (∞ = kabhi nahi rukta)." n ek dummy index hai — ek temporary counter; ise n → k rename karne se kuch nahi badalta.
Picture: ek conveyor belt. Slot n = 0 a 0 drop karta hai, slot n = 1 a 1 x drop karta hai, slot n = 2 a 2 x 2 drop karta hai… ∑ bas "belt jo deliver kare use sum karo" hai.
Topic ko kyun chahiye: a 0 + a 1 x + a 2 x 2 + ⋯ haath se hamesha ke liye likhna impossible hai. ∑ hume poori infinite list ko ek saath manipulate karne deta hai — differentiate karo, shift karo, do ko add karo.
"Lower limit change karna optional hai."
Kyun sahi lagta hai: yeh toh bas ek counter hai.
Fix: neeche wala number batata hai ki pehla real term kahan baithta hai. Baad mein, jab hum indices shift karte hain, lower limit bhi shift hoti hai — galat karo aur ek term kho jaogi ya duplicate ho jaayegi. Yeh parent note mein THE classic re-indexing bug hai.
x 0 = 0 ke baare mein ek power series exactly n = 0 ∑ ∞ a n x n hai: ek "infinite polynomial." Ek function kisi point par analytic hai agar, us point ke paas, woh kisi convergent power series ke barabar hai — yaani infinite sum actually ek finite height tak add hoti hai, aur woh height hi function hai.
Picture: U-shaped x 2 , ramp x , flat 1 , aur infinitely aur shapes lo, har ek apne dial a n se scaled, aur unhe stack karo. Agar woh ek smooth finished curve mein settle ho jaate hain (blow up hone ki jagah), toh function analytic hai. Analytic = "power shapes mix karke reachable."
Topic ko kyun chahiye: parent note ek ordinary point ko wahan define karta hai jahan coefficients P ( x ) , Q ( x ) analytic hain. Woh word poore method ka gatekeeper hai. Kaun se dials set karne hain, iske deeper story ke liye Taylor series and analyticity dekho.
"Koi bhi function analytic hai — bas Taylor series le lo."
Kyun sahi lagta hai: smooth-dikhne wale curves harmless lagte hain.
Fix: 1 − x 2 1 jaisa function x = ± 1 par blow up karta hai, toh iska series sirf 0 ke paas "kaam karta hai" (converge karta hai). Analytic ek local badge hai jo ek point se tied hai — exactly isliye topic sabse nearest trouble spot track karta hai.
Derivative y ′ ( x ) (padho "y-prime") position x par curve y ki slope hai: woh wahan kitni steeply chadhti ya girti hai. Upar ⇒ y ′ > 0 ; neeche ⇒ y ′ < 0 ; flat spot ⇒ y ′ = 0 .
Picture: curve ke ek point par ek tiny seedha ruler flush lagao — us ruler ka tilt hi y ′ hai. Curve ke saath slide karo aur ruler ka tilt badalta hai; woh badalta tilt hi function y ′ ( x ) hai.
Topic ko kyun chahiye: ek ODE slopes ke baare mein ek sentence hai. Apna series guess us sentence mein plug karne ke liye, hume guess ki slope pata honi chahiye — aur upar wala rule "series ki slope" ko "ek aur series" mein badal deta hai.
y ′′ (padho "y-double-prime") slope ki slope hai — steepness khud kitni change ho rahi hai. Yeh curvature measure karta hai: curve kitna sharply bend karta hai. Bowl-up ⇒ y ′′ > 0 ; dome-down ⇒ y ′′ < 0 ; seedha ⇒ y ′′ = 0 .
Picture: U-bowl x 2 har jagah upar curve karta hai — iska y ′′ poore time positive hai. Ek dome neeche curve karta hai — negative y ′′ . Ek seedha ramp bend nahi karta — y ′′ = 0 .
Topic ko kyun chahiye: jo equations hum solve karte hain woh second-order hain — unmein y ′′ involved hai. Parent ki y ′′ ki series, ∑ n ≥ 2 n ( n − 1 ) a n x n − 2 , ek saath har term par apply ki gayi drop-rule ke siwa kuch nahi hai.
Ek ODE (ordinary differential equation) ek aisi equation hai jo curve y , iske slope y ′ , aur iske bend y ′′ ko mix karti hai, aur demand karti hai ki woh zero par balance karein. P ( x ) aur Q ( x ) jaani-pehchani coefficient functions hain jo slope aur curve ko weight deti hain. "Linear " ka matlab hai y , y ′ , y ′′ sirf pehli power mein aate hain — koi y 2 nahi, koi y y ′ nahi.
Picture: har point par curve ko ek local budget satisfy karna hoga — "(iska bend) plus P × (iska slope) plus Q × (iska height) = 0 ." Curve ko exactly uss tarah bend karna hai jo is budget ko har jagah balanced rakhe.
Topic ko kyun chahiye: yahi woh object hai jo hum solve karte hain. "Standard form " ka matlab hai y ′′ term ka coefficient exactly 1 hai — aap leading coefficient se divide karke wahan pahunchte ho, aur exactly isi se hidden singular points (jahan aap zero se divide kar rahe hote) reveal hote hain. Ki ek solution exist bhi karta hai, ki guarantees Existence and uniqueness for linear ODEs mein hain.
Ek recurrence relation ek aisa rule hai jo har naya coefficient pehle wale se compute karta hai, jaise a k + 2 = − ( k + 2 ) ( k + 1 ) a k . Ise ek starting number do, yeh agli deta hai, hamesha ke liye.
Picture: dominoes. a 0 girао aur rule a 2 girata hai, phir a 4 , phir a 6 … Dominoes ki ek alag line chalti hai a 1 → a 3 → a 5 → ⋯ . Dono lines kabhi nahi milti — exactly isliye a 0 aur a 1 free hain aur do independent solutions dete hain.
Topic ko kyun chahiye: series substitute karne se differential equation is algebraic domino rule mein badal jaati hai. Woh trade — calculus ka arithmetic se — poora payoff hai. Aisi rules ki general anatomy Recurrence relations mein hai.
variable x and function y of x
summation sign builds a power series
analytic function equals its series
derivative y prime is slope
second derivative y double prime is bending
ordinary point needs P and Q analytic
the ODE y double prime plus P y prime plus Q y equals zero
substitute then recurrence relation
Power series solution y1 and y2
Yeh map parent method mein aage feed karta hai aur Legendre's equation and Legendre polynomials , Hermite and Airy equations , aur (jab ek point ordinary nahi hota) Singular points and Frobenius method ki taraf aage badhta hai.
Right side cover karo aur har ek zyaban se jawab do — agar koi atka de, toh parent note se pehle woh section dobara padho.
x 0 kya barabar hai, aur iska shape kya hai?x 0 = 1 ; ek flat horizontal line.
a n mein subscript ka kya matlab hai?Yeh ek name-tag hai: a n x n shape ka amount hai, multiplication nahi.
∑ n = 0 2 a n x n ko puri tarah expand karo.a 0 + a 1 x + a 2 x 2 .
y ′′ ki series n = 2 se kyun start hoti hai?Kyunki d x 2 d 2 x 0 = 0 aur d x 2 d 2 x 1 = 0 — constants aur ramps ki koi bending nahi hoti, toh unke terms vanish ho jaate hain.
x n ko ek baar differentiate karo, phir do baar.n x n − 1 ; phir n ( n − 1 ) x n − 2 .
Plain words mein, y ′ kya measure karta hai? y ′′ kya measure karta hai? y ′ slope (steepness) hai; y ′′ curvature (slope kaise bend karta hai) hai.
"Kisi point par analytic" ka kya matlab hai? Us point ke paas function ek convergent power series ke barabar hota hai.
Differential equation ko arithmetic mein kya badal deta hai? Series substitute karne se ek recurrence relation banta hai — coefficients ko link karne wala ek algebraic rule.
a 0 aur a 1 free kyun hain?Recurrence sirf a k + 2 ko a k se link karta hai, toh do starting dominoes (a 0 even-line, a 1 odd-line) kabhi iske dwara fix nahi hote.