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

This page assumes you know nothing about the notation on Bessel's equation and Bessel functions (intro, physical relevance). We build every symbol from the ground up, in an order where each one only uses ideas already defined.

For reference — the single equation this whole page prepares you to read — is Bessel's equation of order $ν$ : $x^{2} y^{''} + x y^{'} + (x^{2} - ν^{2}) y = 0.$ Don't worry about why it looks like that yet; we will name every mark in it, one at a time, below.

1. The symbols of "a function and its slopes"

Before any equation, you must read three marks: $y$ , $y^{'}$ , $y^{''}$ .

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

Figure 1 — A curve $y (x)$ (dark ink). At the marked point a straight orange ramp rests on it: its steepness is $y^{'}$ . How fast that ramp itself keeps turning as you slide along is $y^{''}$ , the bending, labelled in plum.

WHY the topic needs these. A vibrating drum has a shape (that's $y$ ), the shape has a steepness (that's $y^{'}$ ), and the tension pulling it back depends on how sharply it's curved (that's $y^{''}$ ). An equation linking $y$ , $y^{'}$ , $y^{''}$ is called a differential equation — a rule about a shape written in the language of its own bending. Bessel's equation above is exactly such a rule.

2. The independent variable $x$ and the parameter $ν$

These two look similar but play opposite roles — the parent's first "common mistake" is confusing them. Look back at the reference equation $x^{2} y^{''} + x y^{'} + (x^{2} - ν^{2}) y = 0$ : both symbols sit inside it.

Now that the equation is on the table, notice the bracket $(x^{2} - ν^{2})$ inside it: that is exactly where the two symbols meet.

WHY. As we'll see, $ν$ counts how many wave-crests fit around the circle. Different $ν$ = different equation = different Bessel function. It is a label, not a moving part.

3. Round coordinates: $r$ , $θ$ , and $k$

The whole topic exists because we leave the flat grid $x, y$ and switch to circles.

Figure 2 — A dartboard of teal circles. The plum arrow from the centre is the radius $r$ ; the small ink arc is the angle $θ$ . The shaded orange ring shows that a ring at larger $r$ has more area (circumference $2 π r$ ), so a fixed amount of wave energy must thin out as $r$ grows.

WHY the rescale $x = k r$ . The parent writes $x = k r$ to make the equation clean: multiplying distance $r$ (with $r \geq 0$ ) by the wavenumber $k$ produces a pure number $x$ that already "knows" the wave spacing, so the $k$ 's cancel and one tidy equation covers every wavelength. Because $r \geq 0$ and $k > 0$ , the physical variable satisfies $x \geq 0$ — a fact we return to at the end. See Separation of variables and Laplacian in polar and cylindrical coordinates for the machinery that produces it.

4. The summation $\sum$ and factorial $m!$ — how a series is written

The solution $J_{ν}$ is an infinite sum. You must be able to read that notation.

WHY. Round problems have no simple closed-form answer like $sin x$ . The Frobenius method builds the answer term by term as such a series, so reading $\sum$ fluently is non-negotiable.

5. Building the whole answer with $Γ$ — the Gamma function

The parent uses $Γ (m + ν + 1)$ instead of a factorial. Here's why that symbol is unavoidable.

Figure 3 — Orange dots mark the factorials at whole inputs $z = 1, 2, 3, 4, 5$ . The teal ribbon is $Γ (z)$ , a single smooth curve threading exactly through those dots. The plum square shows $Γ (1.5)$ — a value that plain factorials cannot give but $Γ$ can.

Now we can finally write the very series everything above was preparing you for — the Bessel function of the first kind:

WHY $Γ$ and not $m!$ . The denominator needs a factorial-like object at the shifted input $z = m + ν + 1$ , which is fractional whenever $ν$ is (e.g. $ν = \frac{1}{2}$ ). Only $Γ$ supplies it. Full details in Gamma function.

6. Singular points: why $x = 0$ is special

The parent says $x = 0$ is a "regular singular point." Here's the plain meaning. Start from Bessel's equation in its original form: $x^{2} y^{''} + x y^{'} + (x^{2} - ν^{2}) y = 0.$

WHY. The centre of the drum, $r = 0$ , is precisely this singular point. It's why one solution ( $J_{ν}$ ) stays finite there while the other ( $Y_{ν}$ ) flies off to $- \infty$ — the boundedness picture that decides which solution physics keeps. See Regular singular points.

7. The two named answers: $J_{ν}$ and $Y_{ν}$

Figure 4 — Two solutions of the same equation. Orange $J_{0} (x)$ starts at height $1$ and stays finite everywhere. Plum $Y_{0} (x)$ plunges to $- \infty$ as $x \to 0$ . On a solid disc (centre included) we must drop $Y_{0}$ because a drum cannot be infinitely tall at its middle.

WHY both. A second-order equation always has two independent solutions (you need two, like $sin$ and $cos$ , to build every possibility). On a solid disc we throw away $Y_{ν}$ because nothing can be infinitely tall at the drum's centre; on a ring (annulus) with a hole, we keep both.

y^{''}

measure, in one word?

Bending (curvature) — the slope of the slope.

Which of

x

and

ν

moves, and which is fixed?

x

moves (independent variable);

ν

is fixed (the order).

Write Bessel's equation of order

ν

from memory.

x^{2} y^{''} + x y^{'} + (x^{2} - ν^{2}) y = 0

Why does a wave on a disc get weaker outward?

Its energy spreads over a ring whose area grows like

r

What does

x = k r

accomplish, and what sign is

x

Turns distance into a pure number carrying the wave spacing;

x \geq 0

Give the precise relation for the wavenumber

k

k = 2 π / λ

where

λ

is the wavelength.

Read

\sum_{m = 0}^{\infty}

in words.

Add the terms for

m = 0, 1, 2, \dots

forever.

What does

(- 1)^{m}

do to the series?

Flips the sign each term, making it oscillate like a cosine.

What does the placeholder

z

mean in

Γ (z)

The general input number fed to Gamma (here

z = m + ν + 1

Why

Γ

instead of a factorial?

We need a factorial at fractional index (half-integer

ν

);

Γ

extends factorial smoothly.

Write the series for

J_{ν} (x)

\sum_{m \geq 0} \frac{( - 1 ) ^{m}}{m ! Γ ( m + ν + 1 )} (x /2)^{2 m + ν}

Why divide Bessel's equation by

x^{2}

To isolate

y^{''}

and expose how the coefficients blow up at

x = 0

What is a regular singular point?

A point where coefficients blow up only as

1/ x

1/ x^{2}

— mild enough for Frobenius.

Which solution stays finite at

x = 0

J_{ν}

stays finite;

Y_{ν}

diverges.

Why keep two solutions in general?

A second-order ODE needs two independent solutions to span every answer.

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

1. The symbols of "a function and its slopes"

2. The independent variable $x$ and the parameter $ν$

3. Round coordinates: $r$ , $θ$ , and $k$

4. The summation $\sum$ and factorial $m!$ — how a series is written

5. Building the whole answer with $Γ$ — the Gamma function

6. Singular points: why $x = 0$ is special

7. The two named answers: $J_{ν}$ and $Y_{ν}$

8. The domain of $x$ : where do these functions live?

9. Where these tools connect

Equipment checklist