12.1 Sturm-Liouville theory and eigenvalue problems

Sturm-Liouville theory tackles eigenvalue problems for second-order linear differential equations. It's crucial for solving boundary value problems and understanding the behavior of differential operators.

The theory reveals key properties of eigenvalues and eigenfunctions, including their orthogonality and completeness. These insights allow us to represent functions as series expansions, a powerful tool in mathematical analysis.

Sturm-Liouville Theory

Definition of Sturm-Liouville problems

• Eigenvalue problems for second-order linear differential equations of the form $-(p(x)y')' + q(x)y = \lambda w(x)y$
• Boundary conditions $y(a) = y(b) = 0$ specify the values of the solution at the endpoints of the interval $[a, b]$
• Functions $p(x)$, $q(x)$, and $w(x)$ are real-valued and continuous on $[a, b]$ with $p(x) > 0$ and $w(x) > 0$ (ensures the problem is well-defined and has unique solutions)
• Properties of Sturm-Liouville problems include:
  • Real eigenvalues $\lambda_n$ that can be ordered as an increasing sequence $\lambda_1 < \lambda_2 < \lambda_3 < \ldots$
  • Eigenfunctions $y_n(x)$ corresponding to different eigenvalues are orthogonal with respect to the weight function $w(x)$, satisfying $\int_a^b w(x)y_n(x)y_m(x)dx = 0$ for $n \neq m$
  • Eigenfunctions form a complete orthonormal basis for the space of square-integrable functions on $[a, b]$ (allows for the representation of arbitrary functions as series expansions)

Eigenvalue problems in Sturm-Liouville theory

• Solving a Sturm-Liouville problem involves:
  1. Writing the differential equation in Sturm-Liouville form $-(p(x)y')' + q(x)y = \lambda w(x)y$
  2. Applying boundary conditions $y(a) = y(b) = 0$
  3. Determining the eigenvalues $\lambda_n$ by solving the characteristic equation obtained from the differential equation and boundary conditions
  4. Finding the corresponding eigenfunction $y_n(x)$ for each eigenvalue $\lambda_n$
• Example: Sturm-Liouville problem $-y'' = \lambda y$ with $y(0) = y(\pi) = 0$ has eigenvalues $\lambda_n = n^2$ for $n = 1, 2, 3, \ldots$ and corresponding eigenfunctions $y_n(x) = \sin(nx)$ (sine functions)

Application to boundary value problems

• Sturm-Liouville theory used to solve non-homogeneous boundary value problems of the form $-(p(x)y')' + q(x)y = f(x)$ with boundary conditions $y(a) = \alpha$ and $y(b) = \beta$
• Solution expressed as a series expansion using the eigenfunctions of the corresponding Sturm-Liouville problem: $y(x) = \sum_{n=1}^\infty c_n y_n(x)$
• Coefficients $c_n$ determined by the forcing function $f(x)$ and the boundary conditions $\alpha$ and $\beta$ (allows for the incorporation of non-homogeneous terms and boundary values)

Spectrum and Eigenfunctions of Operators

Spectrum and eigenfunctions of operators

• Sturm-Liouville operator $L$ defined as $Ly = -(p(x)y')' + q(x)y$
• Spectrum of $L$ is the set of all eigenvalues $\lambda_n$, which is discrete and consists of an infinite sequence of real numbers (characterizes the operator's behavior)
• Eigenfunctions $y_n(x)$ have the following properties:
  • Infinitely differentiable on the open interval $(a, b)$ (smooth functions)
  • Satisfy the boundary conditions $y_n(a) = y_n(b) = 0$
  • Have exactly $n-1$ zeros in the open interval $(a, b)$ (oscillatory behavior)
• Eigenfunctions are complete, meaning any square-integrable function $f(x)$ on $[a, b]$ can be represented as a series expansion $f(x) = \sum_{n=1}^\infty c_n y_n(x)$
• Coefficients $c_n$ given by $c_n = \int_a^b w(x)f(x)y_n(x)dx$ (inner product with the weight function $w(x)$)