Sturm-Liouville Theory

Sturm-Liouville theory analyzes a class of second-order linear boundary value problems whose eigenvalues are real and discrete and whose eigenfunctions form a complete orthogonal basis.

Definition

A Sturm-Liouville problem seeks values of a parameter for which the equation minus (p y prime) prime plus q y equals lambda w y has a nontrivial solution satisfying given boundary conditions; the admissible parameters are the eigenvalues and the corresponding solutions the eigenfunctions.

Scope

This topic covers the self-adjoint Sturm-Liouville form, regular and singular problems, the reality and ordering of eigenvalues, the oscillation and interlacing of eigenfunctions, orthogonality with respect to a weight, and eigenfunction expansions that generalize Fourier series and yield the classical orthogonal polynomials and special functions.

Core questions

• What are the eigenvalues and eigenfunctions of a given boundary value problem?
• Why are the eigenvalues real and the eigenfunctions orthogonal?
• How many zeros does the nth eigenfunction have, and how are they distributed?
• When can an arbitrary function be expanded in the eigenfunctions?

Key theories

Spectral theorem for regular Sturm-Liouville problems

A regular self-adjoint Sturm-Liouville problem has infinitely many real eigenvalues increasing to infinity, with eigenfunctions that are orthogonal under the weight and form a complete basis for expansions.

Sturm oscillation and comparison theorems

The eigenfunction belonging to the nth eigenvalue has exactly n interior zeros, and Sturm's comparison theorem relates the zeros of solutions of related equations.

Eigenfunction expansions

Because the eigenfunctions form a complete orthogonal system, suitable functions expand as series in them, generalizing Fourier series and underlying separation of variables for partial differential equations.

Clinical relevance

Sturm-Liouville problems arise whenever the method of separation of variables is applied to the heat, wave, and Schrodinger equations, and their eigenfunctions are the natural vibration modes and quantum states; the theory also generates the classical orthogonal polynomials used throughout applied mathematics.

History

Sturm and Liouville developed the theory in a series of papers around 1836-1837, establishing the qualitative behavior of eigenvalues and eigenfunctions for boundary value problems. Weyl extended it to singular problems in the early twentieth century, connecting it to the spectral theory of operators on Hilbert space.

Key figures

• Jacques Charles Francois Sturm
• Joseph Liouville
• Hermann Weyl
• David Hilbert

Seminal works

• zettl2010
• courant1953

Frequently asked questions

How does Sturm-Liouville theory generalize Fourier series?

The sines and cosines of a Fourier series are the eigenfunctions of the simplest Sturm-Liouville problem on an interval. More general coefficients and weights produce other complete orthogonal families, such as Legendre, Hermite, and Bessel functions, with their own expansions.

Why are the eigenvalues guaranteed to be real?

When written in self-adjoint form with appropriate boundary conditions, the Sturm-Liouville operator is symmetric with respect to the weighted inner product. Symmetric operators have real eigenvalues and orthogonal eigenfunctions, just as symmetric matrices do.