Foundations — Frobenius method — regular singular points

4.6.18 · D1 · Maths › Ordinary Differential Equations › Frobenius method — regular singular points

Is page par kuch bhi assume nahi kiya gaya. Parent note mein jo bhi letter, prime, sum, aur limit use hua hai, sab kuch yahan ground up se dobara banaya gaya hai — ek aisi sequence mein jahan har idea sirf usse pehle wale ideas par tikha hai.

0. Differential equation kya hoti hai, aur "solution" ka matlab kya hai?

Kisi bhi symbol se pehle, object khud.

$y(x)$ ko socho jaise horizontal axis ke upar, horizontal position $x$ par, ek curve ki height. Ek differential equation ek aisa rule hai jo kehta hai "har point par, is curve ka jhukna aur tilna is relationship ko follow karna chahiye." Solving matlab hai woh actual curve(s) dhundhna jo rule ko har jagah follow karein.

Topic ko yeh kyun chahiye: poori Frobenius method ek aisi factory hai jo aisi curve ko ek infinite sum ke roop mein build karti hai, ek piece at a time.

1. Prime marks: $y^{\prime }$ aur $y^{\prime \prime }$ (derivatives)

Ek tool nahi, do tools kyun? "Acceleration ek force ki wajah se hoti hai" jaisa ek physical law naturally ek quantity ($y$), uske rate of change ($y^{\prime }$), aur us ke rate of change ($y^{\prime \prime }$) ko link karta hai. Primes ki count = hum kitni baar change-of-change dekhte hain. Parent equation $y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0$ second order hai kyunki sabse zyada prime count do hai.

2. Coefficient functions: $P(x)$ aur $Q(x)$

Parent ki master equation hai $y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0.$

Topic ko inki kyun zaroorat hai: Frobenius ka poora drama ek troublesome point $x=0$ par $P$ aur $Q$ kya karte hain iske baare mein hai. Agar woh wahan finite rehte hain, life easy hai. Agar woh wahan infinity tak shoot karte hain, hume naya method chahiye.

3. Fractional aur negative exponents wale powers: $x^r$

Topic ko yeh kyun chahiye — aur sirf integer powers kyun nahi? Ek clean Taylor series (agla section) sirf whole-number powers $x^0,x^1,x^2,\dots$ use karta hai, jo sab $x=0$ par finite aur smooth hain. Lekin ek singular point ke paas real solution $\sqrt{x}$ ya $1/x$ ki tarah behave kar sakti hai — aisi shapes jo koi bhi whole-power series kabhi produce nahi kar sakta. To-be-determined $r$ ke saath ek single factor $x^r$ exactly wahi hai jo hume un shapes tak pahuncha sakta hai. Yahi poori method ka dil hai.

4. Infinite sums: $\sum$ aur power series

Yahan $a_n$ ("a-sub-$n$" padho) sirf list mein $n$-va number hai; chota $n$ ek label/index hai, multiplication nahi. Ek row of labelled boxes imagine karo, ek coefficient per box; series whole-power building blocks ko woh shape deti hai jo aap chahte hain. Dekhein Power series solutions — ordinary points jab $x=0$ achha behave karta hai.

Topic ko yeh kyun chahiye: hum ek saath poori solution curve guess nahi kar sakte, lekin hum ise ek coefficient at a time find kar sakte hain. Infinite sum hamara canvas hai.

5. Limit: $\underset{x\to 0}{\lim }$

Topic ko iska kyun chahiye: $x=0$ par raw coefficients $P,Q$ undefined ho sakte hain (zero se division). Lekin tamed combinations $xP(x)$ aur $x^{2}Q(x)$ aksar ek achhe finite number par settle ho jaate hain jab $x\to 0$. Limit woh tool hai jo safely un numbers $p_0$ aur $q_0$ ko kabhi zero se divide kiye bina padh leta hai.

6. "Analytic" — woh word jo achhe points ko bure se alag karta hai

Agar koi function $x=0$ par analytic hai, tab $x=0$ ek ordinary point hai aur plain series method kaam karta hai. Agar $P$ ya $Q$ analytic nahi hai (jaise $1/x$), tab $x=0$ ek singular point hai aur hume Frobenius ki zaroorat pad sakti hai. Dekhein Analytic functions and radius of convergence ki aisi series kitni door tak valid rehti hai.

"Yeh kitna bura blow up karta hai" wala test kyun? Tamed functions $p(x)=xP(x)$ aur $q(x)=x^{2}Q(x)$ ka analytic hona exactly woh border hai regular singular points (Frobenius kaam karta hai) aur irregular walon ke beech (yeh fail ho sakta hai). $x^r$ sirf utna hi strong blow-up absorb kar sakta hai jitna $P$ mein $1/x$ aur $Q$ mein $1/x^2$ — usse zyada nahi.

7. Integers aur symbol $\mathbb{Z}$

Topic ko iska kyun chahiye: chhoti quadratic (the indicial equation, parent note mein build ki gayi) solve karne ke baad, hume do exponents $r_1$ aur $r_2$ milte hain. Unke difference ka whole-number-ness decide karta hai ki aap teen cases mein se kaunse mein hain — aur khaas kar ki doosre solution mein logarithm force hoga ya nahi. Dekhein Wronskian and linear independence ki kyun hume hamesha do genuinely different solutions chahiye.

8. Logarithm: $\ln x$

Topic ko iska kyun chahiye: equal-roots aur integer-difference cases mein power-series machinery room se bahar ho jaati hai — yeh sirf ek independent solution produce kar sakti hai. $\ln x$ term mathematics ka emergency exit hai: yeh ek second, genuinely independent solution deta hai jab koi doosra exponent available nahi hota. Yeh typically Reduction of order ke zariye aata hai, kyunki $1/x$ ko integrate karne par exactly $\ln x$ milta hai.

Prerequisite map

Har arrow kisi cheez se point karta hai jo is page par bani hai parent topic Frobenius method ki taraf. Related equations jo downstream hain: Bessel's equation and Bessel functions, Legendre's equation and polynomials, aur exact-power cousin Euler–Cauchy equation (jo sirf $x^r$ ke saath Frobenius hai, koi series nahi).

Equipment checklist

Test karo apne aap ko — right side cover karo aur reveal karne se pehle jawab do.