Boundary Value Problems & Sturm-Liouville Theory

the regular and singular Sturm-Liouville cases

A road can be smooth and well-marked the whole way, or it can run off the edge of the map or hit a washed-out bridge at one end. Sturm-Liouville problems split the same way. The regular ones are tame and well-behaved everywhere on a finite stretch; the singular ones misbehave at an endpoint or stretch out to infinity, and they need more care even though they are often the more physically interesting cases.

A Sturm-Liouville problem (p y')' + (q + lambda w) y = 0 on a <= x <= b is called regular when three things hold: the interval is finite, the functions p and w are strictly positive throughout (including at the ends), and the boundary conditions are the standard separated kind, one tidy condition at each end. Under these conditions the full theory holds in its cleanest form. It is called singular when any of these fails — for example p(x) or w(x) vanishes at an endpoint, or a coefficient blows up there, or the interval is infinite (like 0 to infinity or all of the real line).

The distinction is not pedantic, because the most important physical equations are singular. Bessel's equation has p(x) = x, which is zero at x = 0; Legendre's has p(x) = 1 - x^2, which vanishes at x = +1 and -1; the quantum harmonic oscillator lives on the whole infinite line. In these singular problems the explicit boundary condition at the bad point is often replaced by a softer requirement — that the solution merely stay bounded, or stay square-integrable, there. Remarkably, much of the regular theory survives: eigenvalues are still real, eigenfunctions still orthogonal. But surprises appear too, including spectra that become continuous rather than a discrete list.

Regular: (y')' + lambda y = 0 on [0, 1] with y(0) = y(1) = 0 — finite interval, p = w = 1 > 0, tidy ends. Singular: Legendre's equation ((1 - x^2) y')' + lambda y = 0 on [-1, 1], where p = 1 - x^2 is zero at both endpoints, so 'boundedness at +1 and -1' replaces the usual boundary conditions.

Singularity usually enters where p vanishes at an endpoint; there boundedness, not a fixed value, becomes the natural boundary condition.

Singular does not mean unsolvable or pathological — it just means the standard regular theorems need adapting. In fact the singular problems give us the Bessel functions, Legendre polynomials, and quantum energy levels, so they are the rule in physics, not the exception.

Also called
regular vs singular S-L problem正則與奇異 S-L 問題