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

What is Bessel's equation?

WHAT the pieces mean:

$x^2 y''$ and $x y'$ together come from the Laplacian in polar/cylindrical coordinates.
The $-\nu^2$ term comes from the angular separation constant (how many waves fit around the circle).
The $+x^2$ term is what makes it oscillate — without it you'd get a power-law (Euler) equation.

WHERE it comes from (derive it, don't memorize it)

Take the 2-D Helmholtz / vibrating membrane equation $\nabla^2 u + k^2 u = 0$ in polar coordinates: $u_{rr} + \frac{1}{r}u_r + \frac{1}{r^2}u_{\theta\theta} + k^2 u = 0.$

Step 1 — Separate variables. Try $u(r,\theta) = R(r)\,\Theta(\theta)$ . Why this step? Circular symmetry suggests radial and angular behaviour are independent.

Substitute and divide by $R\Theta/r^2$ : $\frac{r^2 R'' + r R'}{R} + r^2 k^2 = -\frac{\Theta''}{\Theta}.$

Step 2 — Set each side to a constant $\nu^2$ . Why? Left depends only on $r$ , right only on $\theta$ ; equal for all $r,\theta$ ⇒ both are constant.

Angular: $\Theta'' + \nu^2\Theta = 0 \Rightarrow \Theta = \cos\nu\theta,\ \sin\nu\theta$ . Single-valuedness ( $\Theta(\theta+2\pi)=\Theta(\theta)$ ) forces $\nu = n$ integer.

Radial: $r^2 R'' + r R' + (r^2 k^2 - \nu^2)R = 0.$

Step 3 — Rescale $x = kr$ . Then $\dfrac{d}{dr} = k\dfrac{d}{dx}$ , and the $k$ 's cancel cleanly: $x^2 R'' + x R' + (x^2 - \nu^2)R = 0.$ That is Bessel's equation. The $\tfrac{1}{r}u_r$ term is the source of the $xR'$ term — geometry, not magic.

Solving it: the Frobenius series (first principles)

Because $x=0$ is a regular singular point, we use a Frobenius series $y = \sum_{m\ge0} a_m x^{m+s}$ .

Step 1 — Indicial equation. Plug the lowest power in. Substituting gives, for the lowest term, $[s(s-1)+s-\nu^2]\,a_0 = (s^2-\nu^2)a_0 = 0 \Rightarrow s = \pm\nu.$ Why this step? The smallest power must vanish on its own; this fixes the leading exponent.

Step 2 — Recurrence. Collecting $x^{m+s}$ : $[(m+s)^2-\nu^2]\,a_m + a_{m-2} = 0 \;\Rightarrow\; a_m = -\frac{a_{m-2}}{(m+s)^2-\nu^2}.$ Why? The $+x^2 y$ shifts index by 2, linking $a_m$ to $a_{m-2}$ . Odd terms vanish ( $a_1=0$ ).

Step 3 — Take $s=\nu$ , normalize. Choosing $a_0 = \dfrac{1}{2^\nu \Gamma(\nu+1)}$ gives the standard Bessel function of the first kind:

The second solution (from $s=-\nu$ , or a log term when $\nu$ is an integer) is the Bessel function of the second kind $Y_\nu(x)$ , which blows up like $\ln x$ or $x^{-\nu}$ at $x=0$ .

Key behaviours (what the graphs tell you)

Worked examples

Worked example Example 2 — Drumhead (bounded at centre)

A circular membrane of radius $a$ , fixed edge, lowest symmetric mode. Radial eqn $x^2R''+xR'+x^2R=0$ ( $\nu=0$ , $x=kr$ ). Step 1: Solution $R = c_1 J_0(kr) + c_2 Y_0(kr)$ . Step 2: Finiteness at $r=0$ ⇒ $c_2=0$ . Why? $Y_0\to-\infty$ at $0$ ; a real drum has finite displacement there. Step 3: Edge fixed: $R(a)=0 \Rightarrow J_0(ka)=0 \Rightarrow ka=\alpha_{0,k}$ (zeros of $J_0$ , e.g. $2.405,\,5.520,\dots$ ). Step 4: Allowed frequencies $f_k = \dfrac{c\,\alpha_{0,k}}{2\pi a}$ . Why this matters: the ratios are not integers (unlike a string), which is why drums sound "inharmonic."

Common mistakes

Recall Feynman: explain to a 12-year-old

Imagine ripples when you drop a stone in a round pond. On a guitar string the wiggles are even and tidy — that's sine. But on a round pond the ripple has to spread out over a bigger and bigger ring as it travels away from the center, so it gets weaker the further out it goes. Bessel functions are the special "ripple shapes" that describe exactly this: they wiggle up and down like a wave, but each wiggle is a bit smaller than the last because the circle is getting bigger. Drums, pipes, and lenses all use these round-shaped waves.

Active-recall flashcards

Bessel's equation of order

\nu

x^2y'' + xy' + (x^2-\nu^2)y=0

Where does the

xy'

term physically come from?

The

\frac1r u_r

in the polar Laplacian (area grows like

r

Indicial roots of Bessel's equation

s=\pm\nu

(from

s^2-\nu^2=0

Recurrence relation for coefficients

a_m = -\,a_{m-2}/[(m+\nu)^2-\nu^2]

; odd terms vanish.

Series for

J_\nu(x)

\sum_{m\ge0}\frac{(-1)^m}{m!\,\Gamma(m+\nu+1)}(x/2)^{2m+\nu}

Why drop

Y_\nu

on a solid disc?

Y_\nu

diverges at

x=0

; physical displacement must stay finite.

Value

J_0(0)

and

J_n(0)

for

n\ge1

J_0(0)=1

J_n(0)=0

Large-

x

behaviour of

J_\nu

\sqrt{2/(\pi x)}\cos(x-\nu\pi/2-\pi/4)

— decaying oscillation.

What sets a drum's allowed frequencies?

Zeros

\alpha_{\nu,k}

J_\nu

, via

J_\nu(ka)=0

J_{1/2}(x)

in elementary form

\sqrt{2/(\pi x)}\,\sin x

Why are drum overtones inharmonic?

Ratios of

J_0

zeros (2.405, 5.520, …) are not integers.

Connections

Frobenius method — the engine that produced the $J_\nu$ series.
Regular singular points — why $x=0$ needs Frobenius, not Taylor.
Separation of variables — how Bessel's eqn appears from PDEs.
Laplacian in polar and cylindrical coordinates — origin of the $1/r$ .
Gamma function — generalizes $m!$ for non-integer orders.
Sturm-Liouville theory — orthogonality of $J_\nu$ used in Fourier-Bessel series.
Legendre's equation — the spherical cousin of Bessel.

Concept Map

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, Bessel's equation tab aati hai jab problem mein round/cylindrical symmetry ho — jaise dhol ki membrane, round pipe mein heat, ya optical fibre mein light. Jab hum PDE ko separate karte hain polar coordinates mein, toh radial part clean sine-cosine nahi rehta, kyunki polar Laplacian mein ek $\frac1r u_r$ term aata hai. Yahi $1/r$ term equation ko $x^2y'' + xy' + (x^2-\nu^2)y=0$ bana deta hai. Simple words mein: Bessel functions "round cheezon ke liye sine-cosine" hain.

Solve kaise karte? Kyunki $x=0$ ek regular singular point hai, hum Frobenius series lagate hain. Indicial equation se $s=\pm\nu$ milta hai, aur recurrence relation se coefficients. Isse banta hai $J_\nu(x)$ (first kind) — jo center pe finite rehta hai — aur $Y_\nu(x)$ (second kind) — jo $x=0$ pe infinity tak ud jaata hai. Isliye yaad rakho: "J stays, Y flies" — solid disc problem mein $Y_\nu$ hamesha hata do, kyunki center pe displacement finite hona chahiye.

Physical relevance kya hai? $J_\nu$ ek damped cosine jaisa dikhta hai — oscillate karta hai par amplitude $1/\sqrt{x}$ ke rate se ghatti hai (energy badi circle pe spread ho rahi hai). Drum ki allowed frequencies $J_\nu$ ke zeros se decide hoti hain. Aur mast baat: ye zeros (2.405, 5.520, ...) integer ratio mein nahi hote, isiliye dhol ka sound guitar string jaisa "harmonic" nahi lagta. Exam mein bas equation pehchaano, $\nu$ nikaalo, aur boundary conditions (finiteness + edge $=0$ ) lagao — kaam ho gaya.

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

What is Bessel's equation?

WHERE it comes from (derive it, don't memorize it)

Solving it: the Frobenius series (first principles)

Key behaviours (what the graphs tell you)

Worked examples

Common mistakes

Active-recall flashcards

Connections

Concept Map

Hinglish (regional understanding)

Go deeper — visual, from zero

Test yourself — Ordinary Differential Equations

Connections