Visual walkthrough — Bessel's equation and Bessel functions (intro, physical relevance)

4.6.19 · D2 · Maths › Ordinary Differential Equations › Bessel's equation and Bessel functions (intro, physical rele

Step 1 — Ek circle, ek string nahi hai

KYA. Ek guitar string ek line hai: har point apne neighbours se same distance par hota hai. Ek drumhead ek disc hai: jab tum centre se bahar jaate ho, har naya "ring" pehle se bada hota hai.

KYUN. Yeh ek geometric fact poori kahani hai. Ek line par, ek wave ki energy ek fixed strip mein rehti hai. Ek disc par, wohi energy ek ever-growing circumference par phailni padti hai — jitna bahar jaao, utna lamba ring wave ko cover karna padta hai. Yeh forced spreading hi wave ko weak banayegi, aur yahi physical seed hai har term ka jo hum derive karne wale hain.

PICTURE. Figure dekho. Left mein, string par ripples (red) evenly tall hain. Right mein, pond par ripples ever-larger rings par failte hain (blue), isliye wohi "wiggle ki matra" patlI hoti jaati hai.

Ab jab $r$ ka naam aa gaya hai, Step 1 ki "growing circumference" precisely $2\pi r$ hai: centre se $r$ distance par ring ki yeh length hoti hai, aur yeh $r$ badhne ke saath badhti jaati hai. Yeh fact yaad rakho — yeh Step 6 mein wapas aayega.

Step 2 — Drum jis law ko follow karta hai

KYA. Physics ek steadily-vibrating membrane ke liye ek equation deta hai, polar coordinates mein Helmholtz equation. Isse likhne se pehle, iska aakhri naya symbol milo:

Har symbol ($u,r,\theta ,k$) define ho jaane ke baad, law yeh hai: $\underset{\text{curvature outward}}{\underbrace{u_{rr}}}+\underset{\text{circle tax}}{\underbrace{\frac{1}{r}{u}_r}}+\underset{\text{curvature around}}{\underbrace{\frac{1}{r^2}{u}_{\theta \theta }}}+\underset{\text{springiness}}{\underbrace{k^{2}u}}=0.$

KYUN har term yahan hai.

• $u_{rr}$ — surface kitna bend hoti hai jab tum bahar jaate ho. Bending tension energy store karta hai.
• $\frac{1}{r}{u}_r$ — "circle tax." Yeh $1/r$ exactly Step 1 ka growing-ring effect hai; yeh string equation mein nahi hota. Is term ko dekho — yeh star ban jaata hai.
• $\frac{1}{r^2}{u}_{\theta \theta }$ — jab tum around jaate ho tab bending; $1/r^2$ angular ruler ko circle ke size ke according scale karta hai.
• $k^{2}u$ — restoring "springiness"; iske bina surface kabhi oscillate nahi karti.

PICTURE. Har term ko drum par ek sample point par act karte hue arrow ki tarah draw kiya gaya hai: outward curvature, sideways circle-tax pull, angular curvature, aur spring flat ki taraf push karta hua.

Step 3 — Problem ko do mein split karo: radius vs. angle

KYA. Hum guess karte hain ki answer ek radius-only piece aur ek angle-only piece ka product hai: $u(r,\theta )=R(r)\Theta (\theta ).$

KYUN. Ek round drum ka koi favourite direction nahi hota, isliye wave ka distance par dependence ($R$) aur direction par dependence ($\Theta$) independent stories hone chahiye. Do single-variable functions ka product multiply karna yeh kehne ka sabse simple tarika hai ki "yeh interfere nahi karte." Yeh trick Separation of variables hai.

Substitute karo aur $\frac{r^2}{R\Theta }$ se multiply karo taaki har symbol apni side par land kare: $\underset{\text{sirf }r\text{ par depend karta hai}}{\underbrace{\frac{r^2{R}^{\prime \prime }+r{R}^{\prime }}{R}+r^2{k}^2}}=\underset{\text{sirf }\theta \text{ par depend karta hai}}{\underbrace{-\frac{{\Theta }^{\prime \prime }}{\Theta }}}.$ Yahan $R^{\prime \prime }=\frac{d^{2}R}{d{r}^2}$ aur ${\Theta }^{\prime \prime }=\frac{d^2\Theta }{d{\theta }^2}$ — bas har single-variable piece ke curvatures hain.

PICTURE. Drum do independent gauges mein peel kiya gaya hai: ek radial slider ($R$ ek spoke ke along) aur ek angular dial ($\Theta$ rim ke around).

Step 4 — Dono sides same constant ke barabar hone chahiye — aur kyun yeh positive hona chahiye

KYA. Left side sirf tab change hoti hai jab $r$ change hota hai; right side sirf tab jab $\theta$ change hota hai. Agar do cheezein barabar rehti hain jab tum unke inputs independently wiggle karo, to koi actually move nahi kar sakta — yeh ek constant hai. Us constant ko $\lambda$ kaho: $-\frac{{\Theta }^{\prime \prime }}{\Theta }=\lambda ⟹{\Theta }^{\prime \prime }+\lambda \Theta =0.$

KYUN constant positive hona chahiye. Humein $\Theta$ ko rim ke around ek repeating wave hona chahiye — ek baar poora ghoomne par same height par wapas aana chahiye. Teen cases dekho:

• Agar $\lambda <0$, likho $\lambda =-{\mu }^2$: tab ${\Theta }^{\prime \prime }={\mu }^2\Theta$, jiske solutions $e^{\pm \mu \theta }$ hain — exponentials jo grow ya shrink karte hain, kabhi start par wapas nahi aate. Drum ka koi seam nahi, isliye yeh impossible hai.
• Agar $\lambda =0$: tab ${\Theta }^{\prime \prime }=0$, jo $\Theta =a+b\theta$ deta hai, jo sirf tab repeat hota hai jab $b=0$ (ek boring constant).
• Agar $\lambda >0$, likho $\lambda ={\nu }^2$ (ek positive number ek square hai): tab ${\Theta }^{\prime \prime }+{\nu }^2\Theta =0$ ke oscillating solutions hain $\cos \nu \theta ,\sin \nu \theta$ — exactly woh periodic shapes jo rim ko chahiye.

Isliye hum $\lambda ={\nu }^2>0$ choose karne par majboor hain, aur angular equation ${\Theta }^{\prime \prime }+{\nu }^2\Theta =0$ ban jaata hai.

KYUN $\nu$ phir integer $n$ ban jaata hai. Abhi tak $\nu$ koi bhi nonnegative real number hai ($\nu =\sqrt{\lambda }\ge 0$). Lekin single-valuedness demand karti hai $\Theta (\theta +2\pi )=\Theta (\theta )$: ek poore lap ke baad wave apne aap se line up karni chahiye. $\cos \nu \theta$ ke liye yeh lining-up sirf tab hoti hai jab $\nu$ ek whole number ho. Ab se hum $\nu =n$ likhte hain, ek integer $0,1,2,\dots$ — yeh rename magic nahi hai; periodicity isse choose karti hai.

PICTURE. Rim par $n$ evenly spaced up/down lobes hain. $n=0$ ek uniform breathing ring hai; $n=1$ ek high side aur ek low side hai; $n=2$ mein char alternating lobes hain.

Step 5 — Ruler ki ek clean stretch: $x=kr$

KYA. Idhar udhar ke $k$ ugly lagte hain. Radial ruler ka naam badlo: let $x=kr$, to $r=x/k$. Ab hum har $r$-derivative ko chain rule use karke $x$-derivative ke roop mein likhte hain, step by step: $R^{\prime }(r)=\frac{dR}{dr}=\frac{dR}{dx}\cdot \frac{dx}{dr}=\frac{dR}{dx}\cdot k=k\frac{dR}{dx},$ kyunki $\frac{dx}{dr}=\frac{d}{dr}(kr)=k$. Ek baar aur differentiate karo, aur har nayi $\frac{d}{dr}$ ek aur factor $k$ le aati hai: $R^{\prime \prime }(r)=\frac{d}{dr}\left(k\frac{dR}{dx}\right)=k\cdot \frac{d}{dx}\left(k\frac{dR}{dx}\right)=k^2\frac{d^{2}R}{d{x}^2}.$

KYUN / cancellation, explicitly. $r=x/k$, $R^{\prime }=k\frac{dR}{dx}$, $R^{\prime \prime }=k^2\frac{d^{2}R}{d{x}^2}$ ko $r^2{R}^{\prime \prime }+r{R}^{\prime }+(r^2{k}^2-{\nu }^2)R=0$ mein substitute karo: $\frac{x^2}{k^2}\cdot k^2\frac{d^{2}R}{d{x}^2}+\frac{x}{k}\cdot k\frac{dR}{dx}+\left(\frac{x^2}{k^2}{k}^2-{\nu }^2\right)R=0.$ Term by term $k$ cancel ho jaate hain — $\frac{x^2}{k^2}\cdot k^2=x^2$, $\frac{x}{k}\cdot k=x$, $\frac{x^2}{k^2}{k}^2=x^2$ — aur milta hai $\boxed{x^2\frac{d^{2}R}{d{x}^2}+x\frac{dR}{dx}+(x^2-{\nu }^2)R=0}$

Yeh Bessel's equation hai — parent ka headline result, ab earned. Teen coefficients padho:

• $x^2{R}^{\prime \prime }$ — outward-curvature term ($u_{rr}$ se),
• $x{R}^{\prime }$ — circle-tax survivor (us $\frac{1}{r}{u}_r$ se; extra $x$ growing ring hai),
• $(x^2-{\nu }^2)R$ — springiness $x^2$ minus angular memory ${\nu }^2$.

PICTURE. Same equation, naya axis: length $a$ ki physical spoke ek clean $x$-axis ban jaati hai. Teen terms Step 2 ke apne physical origins se colour-tag hain.

Step 6 — Solution kyun fade hota hai: $J_{\nu }$ ki shape

KYA. Bounded solution Bessel function of the first kind $J_{\nu }(x)$ hai (Frobenius method se build hoti hai; $x=0$ point ek regular singular point hai). Iska large-$x$ shape hai: $J_{\nu }(x)\approx \underset{\text{fading amplitude}}{\underbrace{\sqrt{\frac{2}{\pi x}}}}\underset{\text{wiggle}}{\underbrace{\cos \left(x-\frac{\nu \pi }{2}-\frac{\pi }{4}\right)}}.$

KYUN yeh fade hota hai — aur picture kya explain karti hai aur kya nahi karti. Step 1 yaad karo, ab exact banaya gaya: energy $2\pi x$ length ki ek ring par failti hai. Energy $\propto (\text{amplitude}{)}^2\times (\text{ring length})$; energy fix rakho aur amplitude $\frac{1}{\sqrt{x}}$ ki tarah girni chahiye. Energy-spreading picture sirf yeh $1/\sqrt{x}$ scaling explain karti hai — envelope ki shape. Isko multiply karne wala exact constant, $\sqrt{2/\pi }$, aur cosine ke andar phase shift $-\frac{\nu \pi }{2}-\frac{\pi }{4}$, simple ring argument se nahi aate; yeh large-$x$ (asymptotic) analysis se nikalta hai. Isliye: picture par trust karo fade rate ke liye, analysis par trust karo precise numbers ke liye. $\cos (\dots )$ wala part ordinary wiggle hai, bas phase-shifted.

PICTURE. $J_0$ (blue) aur $J_1$ (orange) plot kiye gaye hain: real oscillations dashed $\pm \sqrt{2/\pi x}$ envelope (gray) ke andar wrapped hain. Note karo $J_0(0)=1$, $J_1(0)=0$, aur zero-crossings drift apart hote hain — cosine ki tarah evenly spaced nahi.

Step 7 — Degenerate direction: centre $x=0$ par kya hota hai

KYA. Radial equation ka ek doosra solution $Y_{\nu }(x)$ hai, Bessel function of the second kind. $x=0$ ke paas yeh aise behave karta hai: $Y_0(x)\sim \frac{2}{\pi }\ln x\to -\infty ,Y_{\nu }(x)\sim -x^{-\nu }\to -\infty (\nu >0).$

KYUN ise solid disc par drop karna padta hai. Bilkul centre $r=0$ (yaani $x=0$) par drum ki ek physical height hoti hai — yeh infinitely deep nahi ho sakta. $J_{\nu }$ wahan finite rehta hai; $Y_{\nu }$ $-\infty$ tak plunge karta hai. Isliye kisi bhi region ke liye jo centre include karta hai hum $Y_{\nu }$ ka coefficient zero rakhne par majboor hain. (Sirf ek annulus — hole wala drum — $Y_{\nu }$ ko rakhta hai, kyunki tab $r=0$ region mein nahi hota.)

PICTURE. $J_0$ (blue, finite, 1 se start) versus $Y_0$ (red, $x\to 0$ par $-\infty$ ki taraf dip karta hua). Ek gray "solid disc includes $x=0$" band dikhata hai kyun sirf blue curve admissible hai.

Step 8 — Rim condition: $k$ kaise choose hota hai aur drum ke notes kahan se aate hain

KYA. Step 7 ke baad bounded radial shape $R(r)=J_{\nu }(kr)$ hai (humne $Y_{\nu }$ drop kar diya). Lekin $k$ abhi bhi free hai. Drum ka edge $r=a$ par clamped hai — ek real drumhead rim par nailed hoti hai, isliye wahan move nahi kar sakta: $R(a)=0⟹J_{\nu }(ka)=0.$

KYUN yeh $k$ ko quantize karta hai. $J_{\nu }$ sirf special isolated points par zero hota hai, iske zeros ${\alpha }_{\nu ,1}<{\alpha }_{\nu ,2}<\dots$ ($J_0$ ke liye yeh $2.405,5.520,\dots$ hain). Clamp force karta hai ki $ka$ in zeros mein se ek ho: $ka={\alpha }_{\nu ,m}⟹k=\frac{{\alpha }_{\nu ,m}}{a}.$ Isliye $k$ free nahi hai — rim allowed values ki ek discrete ladder pick karta hai, ek per zero. Har allowed $k$ ek vibration mode hai; uski frequency hai $f=\frac{ck}{2\pi }=\frac{c{\alpha }_{\nu ,m}}{2\pi a}$ (jahan $c$ wave speed hai). Kyunki ratios $2.405:5.520:\dots$ whole numbers nahi hain, drum ke overtones inharmonic hain — yehi reason hai drum, drum ki tarah sound karta hai, flute ki tarah nahi. Yeh poori problem ko ek eigenvalue problem bana deta hai, Sturm-Liouville theory ka subject.

PICTURE. $J_0(x)$ apne zeros mark kiye hue; $x=ka=2.405,5.520,\dots$ par vertical dashed lines dikhate hain ki ruler ke sirf kaunse stretches par clamped edge zero par sit kar sakta hai.

Ek-picture summary

Sab kuch ek single frame mein collapse ho jaata hai. Yeh figure poori derivation ko ek radial ruler $x=kr$ par stack karta hai: fading $1/\sqrt{x}$ envelope (Step 1 & 6), actual $J_0$ wiggle jo iske andar hai (Step 5), centre par finite value jo $Y_{\nu }$ ko veto kiya (Step 7), aur marked zeros jo drum ke notes ban jaate hain (Step 8). Ise left-to-right padhna derivation replay karna hai.

Active-recall

Connections

• Separation of variables — Step 3 mein split.
• Laplacian in polar and cylindrical coordinates — circle-tax term ka source.
• Frobenius method — $J_{\nu }$ build karta hai jab hum singular point par pahunchte hain.
• Regular singular points — kyun $x=0$ special hai.
• Gamma function — $J_{\nu }$ series mein $\Gamma (m+\nu +1)$ supply karta hai.
• Sturm-Liouville theory — rim-clamp zeros ko eigenvalue problem ki tarah frame karta hai.
• Parent: Bessel's equation — woh result jo is page ne derive kiya.