Sturm-Liouville Problem


Also found in: Acronyms.

Sturm-Liouville problem

[′stərm lyü′vil ‚präb·ləm]
(mathematics)
The general problem of solving a given linear differential equation of order 2 n together with 2 n-boundary conditions. Also known as eigenvalue problem.

Sturm-Liouville Problem

 

the problem of finding nonzero solutions of the differential equation

(1) –[p(x)y’]’ + q(x)y = λy

that satisfy boundary conditions of the form

A1y (a) + B1y’ (a) = 0

A2y (b) + B2y’ (b) = 0

and of finding the values of the parameter λ for which these solutions exist. Such solutions are called eigenfunctions, and the corresponding values of λ are called eigenvalues. Under certain conditions on the coefficients p(x) and q(x), the Sturm-Liouville problem can be reduced to the consideration of the analogous problem for an equation of the form

(2) –yq(x)y = λy

The problem was first investigated between 1837 and 1841 by J. Liouville and J. C. F. Sturm.

The solution of some types of equations of mathematical physics by the Fourier method leads to the Sturm-Liouville problem. For example, the problem of the vibrations of a string of uniform density that is fastened at the ends leads to a Sturm-Liouville problem for the equation –y″ = λy with the boundary conditions y(0) = y(π) = 0. In this case there is an infinite sequence of values 12, 22,..., n2,... to which the eigenfunctions sin nx, which form a complete orthogonal system of functions on the interval [0, π], correspond. A similar situation obtains in the general case, which arises, for example, in the study of the flow of heat in a heterogeneous bar. Here too, if the function q(x) in equation (2) is continuous and real on the interval [a, b] and A1B1, A2, and B2 are real numbers, then there exists an increasing sequence of real eigenvalues λ1...,λn,... that tends to infinity. To each λn there corresponds an eigenfunction φn (x) that is defined to an accuracy of a constant factor and that has n zeros on the interval a < x < b. The functions φn(x) form on [a, b] a complete orthogonal system of functions; for equation (1) the eigenfunctions are orthogonal with respect to the weight function p(x).

The completeness of the system of eigenfunctions was proved by V. A. Steklov in 1896. In 1904, D. Hilbert, using the theory of linear integral equations, proved extremely general theorems on the expansion of functions in Fourier series with respect to the system φn(x). As n increases, the eigenvalues and eigenfunctions of the Sturm-Liouville problem for equation (2) tend to the eigenvalues and eigenfunctions for the equation –y″ = λy under the same boundary conditions. The majority of the orthogonal systems of functions encountered in mathematics, such as Legen-dre polynomials and Hermite polynomials, are systems of eigenfunctions of some Sturm-Liouville problems.

Also sometimes called a Sturm-Liouville problem is the boundary value problem of equation (1) under the more general boundary conditions

αiy(a) + βiy’ (a ) + γiy(b ) + δiy’ (b) = 0 i = 1, 2

where αi, βi, γi, and δi, are constants. The most important boundary conditions of this form are y(a) = y(b) and y′(a) = y′(b) (periodic conditions) and y(a) = –y(b) and y′(a) = –y’(b) (semi-periodic conditions).

Many problems of mathematical physics, such as the problem of the flow of heat in an infinite heterogeneous bar, lead to a Sturm-Liouville problem on a half axis or on the entire axis. In the first case, solutions of equation (2) that satisfy the condition A1y(0) + B1y′(0) = 0 are considered; instead of a sequence of eigenfunctions, we have the set of eigenfunctions φ(x, λ), which depend on the continuously changing parameter λ. Instead of an expansion in Fourier series, expansions of the following form are considered:

where ρ(λ) is some nondecreasing function. These expansions are analogous to the Fourier integral. Here

and

A similar situation occurs for the Sturm-Liouville problem on the entire axis.

For some problems of mathematical physics the inverse Sturm-Liouville problem, or the problem of reconstructing the differential equation from the function ρ(λ), is of great importance. This problem, which was posed in a special case by V. A. Ambartsu-mian and in a more general case by the Swedish mathematician G. Borg, was solved by M. G. Krein, I. M. Gel’fand, and B. M. Levitan.

The Sturm-Liouville problem also arises in some problems of quantum mechanics and the calculus of variations.

REFERENCES

Courant, R., and D. Hilbert. Melody matematicheskoi fiziki, 3rd ed., vol. 1. Moscow-Leningrad, 1951. (Translated from German.)
Sansone, G. Obyknovennye differentsial’nye uravneniia, vol. 1. Moscow, 1953. (Translated from Italian.)
Levitan, B. M. Razlozhenie po sobstvennym funktsiiam differentsial’-nykh uravnenii vtorogo poriadka. Moscow-Leningrad, 1950.
References in periodicals archive ?
This is one-dimensional inverse Sturm-Liouville problem [14, 26, 27, 29-31, 33].
Allahverdiev, A dissipative singular Sturm-Liouville problem with a spectral parameter in the boundary condition, J.
h and H have been fixed, [phi](r, [lambda]) is a solution of the Sturm-Liouville problem at r = 0
Ghanbari, Similarities of discrete and continuous Sturm-Liouville problems, Electron.
Yang, Existence of nontrivial solutions for a nonlinear Sturm-Liouville problem with integral boundary conditions, Nonlinear Anal.
Note that, discontinuous Sturm-Liouville problems with eigen-dependent boundary conditions and with two supplementary transmission conditions at the point of discontinuity were investigated in [2, 8-11].
Hochstadt, The Inverse Sturm-Liouville Problem, Comm.
Butzer, On Lagrange interpolation and Kramer-type sampling theorems associated with Sturm-Liouville problems, SIAM J.
Structural properties of the eigenvalues and eigenfunctions of a Sturm-Liouville problem with an impedance boundary condition are studied herein.
Ten of the problems were randomly generated, and another came from a uniform finite-element discretization of the Sturm-Liouville problem
The topics include local inverse scattering problems as a tool of perturbation analysis for resonance systems, Fourier integrals and a new representation of Maslov's canonical operator near caustics, the central limit theorem for linear eigenvalue statistics of the sum of independent random matrices of rank one, a homogenized model of oscillations of an elastic medium with small caverns filled with viscous incompressible fluid, and recovering a potential of the Sturm-Liouville problem from finite sets of spectral data.