Sturm-Liouville Problems and Eigenfunction Expansions
Putting a second-order boundary value problem in self-adjoint form makes its eigenfunctions orthogonal, which is why a solution can be written as a series in them at all. Fourier series is then one case rather than a trick that happened to work.
What a learner can do afterwards
- Writes a given second-order equation in Sturm-Liouville form and identifies the weight function
- Shows that eigenfunctions for distinct eigenvalues are orthogonal with respect to that weight
- Expands a given function in the eigenfunctions of a stated boundary value problem and gets the coefficients
1 · Read
A boundary value problem adds conditions at both ends of an interval instead of at one starting point. Only special values of the parameter admit nonzero solutions that satisfy both ends. Those values are the eigenvalues and the matching solutions are the eigenfunctions. Sturm-Liouville theory is the clean framework that organizes all of them at once. For y double prime plus w y equals 0 with y(0) = 0 and y(pi) = 0, the eigenvalues are 1, 4, 9, and so on.
Take the equation y'' + (2/x) y' + w y = 0, where w plays the role of the eigenvalue. Multiply through by x squared to get x^2 y'' + 2x y' + w x^2 y = 0. The first two terms collapse into exactly (x^2 y')' by the product rule. The standard form reads (p y')' + (w times weight minus q) y = 0, so the weight function here is x squared. You already know the integrating factor trick from first-order equations: this is the same move in reverse.
Eigenfunctions for distinct eigenvalues are orthogonal with respect to that weight: the integral of their product times the weight is zero. Different modes do not overlap. Sines on an interval behave this way, and so do the Legendre pair 1 and x on minus one to one, whose product integrates to zero. Boundary conditions at each end are what pick out the allowed eigenvalues.
To expand a function, copy the power series idea with modes as building blocks. Multiply by one eigenfunction and the weight, integrate, and divide by its squared norm: every other mode vanishes, leaving a single coefficient. When the modes are sines and cosines you get Fourier series as the famous special case. Taylor series match derivatives at one point, while these expansions match across the whole interval.
Self-adjoint form reveals the weight, the weight makes modes orthogonal, and orthogonality hands you each coefficient alone.
More to read
4.1 Basics of Differential Equations
A differential equation links a function to its own rates of change, and a boundary value problem adds conditions at both ends of an interval instead of at one starting point. Only special values of the parameter λ admit nonzero solutions that satisfy both ends. Those values are the eigenvalues and the matching solutions are the eigenfunctions. Sturm-Liouville theory is the clean framework that organizes all of them at once.
4.5 First-order Linear Equations
First-order linear equations are solved with an integrating factor, a multiplier that collapses two terms into a single derivative. Writing a second-order equation in Sturm-Liouville form uses exactly the same trick in reverse. You multiply through so the equation reads (p y')' plus the rest, and the multiplier that does the job reveals the weight function. Spotting that factor is the first skill this topic asks for.
6.1 Power Series and Functions
A power series writes a function as an infinite sum of simple building blocks, and an eigenfunction expansion does the same with the modes of a boundary value problem. Orthogonality is what makes the whole scheme practical. Because distinct modes integrate to zero against each other, each coefficient can be found on its own by a single weighted integral.
6.3 Taylor and Maclaurin Series
Taylor series match a function and its derivatives at one point, while eigenfunction expansions match a function across a whole interval with the weight built in. Both give coefficient formulas, and both converge to the function under the right conditions. When the eigenfunctions are sines and cosines you get Fourier series as the famous special case. The Sturm-Liouville version simply extends that success story to far more equations.
2 · Watch
Take it off screen
Where it sits
14 questions wait behind this lesson, each with its answer explained. Every answer feeds the sky: stars light as they are learned, and dim when it is time to come back.