A boundary-value spectral problem for a second-order linear differential operator of the form −(p(x) y')' + q(x) y = λ w(x) y on an interval, together with specified boundary conditions, whose solutions determine spectral parameters λ and associated eigenfunctions.

Principle

When the operator together with the weight w is self-adjoint under the chosen boundary conditions, the spectrum is real, eigenfunctions corresponding to distinct spectral values are orthogonal with respect to the weight, and eigenfunctions form a basis for expansions in suitable function spaces.

Demonstration

Vibrations of a stretched string with spatially varying density lead to a Sturm–Liouville problem where modal frequencies correspond to spectral parameters λ and mode shapes to the associated eigenfunctions orthogonal under the density weight.

Misapplication

Treating a non-self-adjoint or improperly posed boundary value problem as if it were Sturm–Liouville, expecting real spectrum and orthogonality, which can fail and yield complex spectral values and non-orthogonal modes.

Consequence

Correct formulation yields a discrete or continuous spectrum with orthogonal basis functions permitting expansion of arbitrary admissible signals or states in modal series and facilitating solution of PDEs by separation.

Reversal

Replacing self-adjoint conditions by non-symmetric coefficients or incompatible boundary specifications typically produces a nonorthogonal spectral decomposition or spectral instability rather than the tidy Sturm–Liouville structure.

Boundary

Requires coefficients p, q, w with appropriate regularity on the interval and boundary conditions that render the operator self-adjoint; excludes irregular singular endpoints unless treated by limit-point/limit-circle classification.

Semantic Tension

Contrasts with general boundary value problems that may not possess a real, orthogonal spectral decomposition; the Sturm–Liouville framework is specialized to operators with a symmetric bilinear form yielding spectral theory amenable to orthogonal expansions.

Synthesis

The Sturm–Liouville problem is a self-adjoint second-order spectral boundary-value formulation whose real spectrum and orthogonal eigenfunctions provide a modal basis for representing solutions of linear differential problems.