Special Functions - Core Definitions

Special functions arise naturally as solutions to differential equations in physics, particularly when solving PDEs in curvilinear coordinates. They encode the geometric and symmetry properties of physical systems.

Bessel Functions

DefinitionBessel Functions of the First Kind

The Bessel function $J_n(x)$ of order $n$ is a solution to Bessel's equation:

$x^2\frac{d^2y}{dx^2} + x\frac{dy}{dx} + (x^2 - n^2)y = 0$

The series representation is:

$J_n(x) = \sum_{k=0}^{\infty}\frac{(-1)^k}{k!(n+k)!}\left(\frac{x}{2}\right)^{n+2k}$

For integer $n$ , $J_n(x) = (-1)^nJ_{-n}(x)$ . These functions appear in problems with cylindrical symmetry.

ExampleVibrating Circular Membrane

The displacement $u(r,\theta,t)$ of a circular drumhead satisfies:

$\nabla^2 u = \frac{1}{c^2}\frac{\partial^2 u}{\partial t^2}$

Separating variables $u(r,\theta,t) = R(r)\Theta(\theta)T(t)$ leads to:

$r^2R'' + rR' + (k^2r^2 - m^2)R = 0$

The solution is $R(r) = J_m(kr)$ . Boundary condition $u(a,\theta,t) = 0$ requires $J_m(ka) = 0$ , giving discrete allowed frequencies $\omega_{mn} = c\alpha_{mn}/a$ where $\alpha_{mn}$ are zeros of $J_m$ .

DefinitionBessel Functions of the Second Kind

The Neumann function (or Weber function) $Y_n(x)$ is a second linearly independent solution to Bessel's equation, singular at $x = 0$ :

$Y_n(x) = \frac{J_n(x)\cos(n\pi) - J_{-n}(x)}{\sin(n\pi)}$

For integer $n$ , this is defined by taking the limit. The general solution is $y(x) = AJ_n(x) + BY_n(x)$ .

Legendre Polynomials

DefinitionLegendre Polynomials

The Legendre polynomials $P_n(x)$ are solutions to Legendre's equation:

$\frac{d}{dx}\left[(1-x^2)\frac{dy}{dx}\right] + n(n+1)y = 0$

They can be generated by Rodrigues' formula:

$P_n(x) = \frac{1}{2^n n!}\frac{d^n}{dx^n}(x^2 - 1)^n$

The first few are $P_0(x) = 1$ , $P_1(x) = x$ , $P_2(x) = (3x^2 - 1)/2$ , $P_3(x) = (5x^3 - 3x)/2$ .

Legendre polynomials form a complete orthogonal set on $[-1,1]$ :

$\int_{-1}^1 P_m(x)P_n(x)dx = \frac{2}{2n+1}\delta_{mn}$

ExampleGravitational and Electrostatic Multipole Expansion

The potential due to a localized charge distribution at position $\mathbf{r}'$ observed at $\mathbf{r}$ with $r > r'$ :

$\frac{1}{|\mathbf{r} - \mathbf{r}'|} = \sum_{\ell=0}^{\infty}\frac{r'^{\ell}}{r^{\ell+1}}P_\ell(\cos\gamma)$

where $\gamma$ is the angle between $\mathbf{r}$ and $\mathbf{r}'$ . This gives:

$\ell = 0$ : monopole $\propto 1/r$
$\ell = 1$ : dipole $\propto 1/r^2$
$\ell = 2$ : quadrupole $\propto 1/r^3$

Essential for analyzing gravity and electromagnetic fields.

Spherical Harmonics

DefinitionSpherical Harmonics

The spherical harmonics $Y_{\ell m}(\theta,\phi)$ are eigenfunctions of the angular momentum operator in quantum mechanics:

$Y_{\ell m}(\theta,\phi) = \sqrt{\frac{(2\ell+1)(\ell-m)!}{4\pi(\ell+m)!}}P_\ell^m(\cos\theta)e^{im\phi}$

where $P_\ell^m$ are associated Legendre functions. They satisfy:

$\nabla^2_{\text{angular}}Y_{\ell m} = -\ell(\ell+1)Y_{\ell m}$

Spherical harmonics are orthonormal on the unit sphere:

$\int_0^{2\pi}\int_0^{\pi}Y_{\ell m}^*(\theta,\phi)Y_{\ell' m'}(\theta,\phi)\sin\theta\,d\theta\,d\phi = \delta_{\ell\ell'}\delta_{mm'}$

ExampleHydrogen Atom Wave Functions

The angular part of hydrogen atom wave functions are spherical harmonics. For example:

$Y_{00} = 1/\sqrt{4\pi}$ (s orbital, spherically symmetric)
$Y_{10} = \sqrt{3/(4\pi)}\cos\theta$ (p $_z$ orbital)
$Y_{1\pm 1} = \mp\sqrt{3/(8\pi)}\sin\theta e^{\pm i\phi}$ (p $_x$ , p $_y$ orbitals)

The quantum numbers $\ell$ (orbital angular momentum) and $m$ (magnetic quantum number) label the symmetry of the wave function.

RemarkAddition Theorem

The addition theorem for spherical harmonics:

$P_\ell(\cos\gamma) = \frac{4\pi}{2\ell+1}\sum_{m=-\ell}^{\ell}Y_{\ell m}^*(\theta',\phi')Y_{\ell m}(\theta,\phi)$

where $\gamma$ is the angle between directions $(\theta,\phi)$ and $(\theta',\phi')$ . This connects Legendre polynomials to spherical harmonics and is crucial in scattering theory.

These special functions provide the mathematical language for describing systems with spherical and cylindrical symmetry throughout classical and quantum physics.