A classic Sturm-Liouville problem (after Charles-François Sturm (1803–1855) and Joseph Liouville (1809–1882)) is the following eigenvalue problem from analysis : Consider the differential equation of the 2nd order:
where are coefficient functions. Find all complex numbers for which the differential equation on the interval has a solution that meets the boundary conditions
is sufficient ( ).
One uses the linear operator of the form
one, the Sturm-Liouville operator , the eigenvalue equation can be treated with the help of methods from functional analysis ( spectral theory ) in the Hilbert space of functions that can be square-integrated with respect to the weight function.
If the interval is compact and the coefficient functions can be integrated, one speaks of a regular Sturm-Liouville problem. If the interval is unlimited or if the coefficient functions can only be integrated locally, one speaks of a singular Sturm-Liouville problem.
Regular Storm Liouville problems
The eigenvalue equation
with integrable real functions , together with boundary conditions of the form
is called a regular Sturm-Liouville problem over the interval if this interval is finite.
In the case one speaks of Dirichlet boundary conditions and in the case of Neumann boundary conditions , whereby the existence and uniqueness of the solution with the boundary conditions is ensured.
For the regular Sturm-Liouville problem it holds that there is a countable sequence of real eigenvalues that diverges towards :
The eigenvalues behave asymptotically (Weyl asymptotics) like
The associated eigenfunctions form an orthonormal basis in the Hilbert space of the square-integrable functions with respect to the weight function.
properties
For the regular Sturm-Liouville problem one is interested in describing the behavior of the eigenfunctions without having precise knowledge of them. In this respect, the following sentences, which partly go back to Charles-François Sturm, give an overview of the properties of the solutions to the Sturm-Liouville problem.
For this purpose, the homogeneous differential equation for is considered and the following requirements are placed on the coefficient functions :
-
and ,
-
and .
Additional requirements are formulated in the corresponding sentences.
Amplitude theorem
Since the amplitudes indicate the absolute value of the local extreme values, the following sentence describes the behavior of the amplitudes of successive zeros.
Is a departure from the aforementioned conditions , monotonically increasing or monotonically decreasing, and at an appropriate interval is a non-trivial solution . For the amplitudes of two consecutive extreme points of :
-
and
-
.
- proof
It is a non-trivial solution and
-
.
There is no solution to the Sturm-Liouville differential equation, but a function that is equipped with the same extreme points and zeros as . With the help of this construction follows with the Sturm-Liouville differential equation
If it is also taken into account that is at every extreme point , then applies to a with
Hence the slope of is influenced by the value of the derivative of . Since the slope of on inherited, one obtains for the amount:
-
and
-
.
Oscillation set
The principle of oscillation states that, in addition to the requirements described above, the following also applies:
-
and are divergent,
then every nontrivial solution on the interval is oscillatory .
In addition, in the case of Dirichlet boundary conditions, every th eigenfunction has exactly zeros in the interval .
- proof
Be like non-trivial solutions of the homogeneous differential equation. With and because is and thus:
-
(1) .
This system of linear differential equations only has non-trivial solutions if it holds for each , since otherwise and therefore would have to be.
We are therefore looking for oscillatory solutions that are obtained by means of the Prüfer transformation in plane polar coordinates:
-
(2) .
Where and the associated argument function is:
-
or .
Claim: If , then just as we have infinitely many zeros.
Justification: From (1) and (2) follows
-
(3) and
-
(4) .
If equation (3) is multiplied with and equation (4) with and added, the result is:
-
, or.
-
(5) ,
is therefore monotonically growing.
It remains to show that is unlimited.
If it were limited, the limit values would exist and and it would be . In particular, is or .
In the following, be so big that for everyone . Then equation (5) yields for all after integration
a contradiction to the requirement. is therefore unlimited.
Orthogonal relation
If the Sturm-Liouville operator satisfies the Sturm-Louiville differential equation with a suitable and eigenfunction , then the eigenfunctions form an orthogonal basis in the Hilbert space of square-integrable functions. Hence for
- proof
With the Sturm-Liouville operator the following equations result for the eigenfunctions :
-
(1)
and
-
(2)
If equation (1) is subtracted from equation (2) , the two equations result:
-
(3)
and
-
(4) .
Using the Lagrange identity for boundary value problems , equation (3) can be summarized as:
-
(5)
where means the Wronsky determinant of the functions .
To calculate the Wronsky determinant by means of the Abelian identity , the differential equation is considered in the illustration , with and . The coefficient matrix of the fundamental system is then and its trace is . Thus the Abelian identity is:
-
.
Let it be monotonically increasing and therefore the integral can be represented by and accordingly
-
.
The choice of the integration constants to results in
and equation (5) takes the following form:
After transforming and separating the variables , the equation is now:
-
.
On both sides of the equation there are now one-dimensional Pfaffian forms and since is a constant function, the following applies . A suitable parameterization must be selected for the calculation of the remaining Pfaffian form . The integral is now:
-
.
Accordingly, the integral vanishes along the interval , so that using equation (4) :
However, this condition can only be met if:
-
.
Comparison set
Sturm's comparative theorem provides a relationship between the two differential equations
-
(1)
-
(2) ,
where is assumed for
-
growing monotonously
-
growing monotonously.
If there is a non-trivial solution of the differential equation and a non-trivial solution of , then there is a zero of in the interval between two zeros of .
- proof
The Lagrange identity for boundary value problems is considered as the starting point for the following proof . By equation (1) from the left with multiplied by equation (2) , which is also from the left and subtracted so obtained is multiplied, and a Lagrange identity:
where indicates the Wronsky determinant of the functions . If the Paff's forms are now formed for this equation , with a suitable parameterization being given by and consequently the variable being replaced by the parameter , the differential equation assumes the following integral representation:
-
.
- Part 1
- Since according to the amplitude theorem are bounded and are linear operators, it must apply
-
.
- Part 2
- With the Abelian identity, as shown in the section on orthogonal relation, the following relationship arises:
-
. So the integral is now:
- part 3
- Since the functions satisfy the amplitude theorem and are monotonically decreasing, the integral remains restricted in the interval and the following applies:
-
.
With this integral equation it becomes clear that must apply .
In order statements about the course of the proper functions within the interval to make the following construction is considered: .
If the two linearly independent functions and oBdA are given, it follows from equation (2) that and thus the Wronski determinant can be represented as follows
and therefore
-
.
Now be o. B. d. A. on the interval such that the Dirichlet boundary condition is fulfilled, then follows
To show which sign it has, the law of amplitude is used and the following inequalities are considered
with the identity
-
(3) and
-
(4)
Adding (3) and (4) yields
-
.
After re-sorting it becomes
-
.
According to the prerequisite , and thus or
and consequently must apply
-
.
So it applies
-
.
Because of the Dirichlet boundary condition, and it holds . Since by assumption on , there is according to the intermediate value set a so that occupies a local extreme point. Below this extreme point is monotonically increasing and above the extreme point is monotonously decreasing. Correspondingly, in is initially monotonically increasing and then monotonically decreasing and because of the change in sign from in must have a zero in .
example
A simple example is the differential equation
on the interval , together with the Dirichlet boundary conditions
Due to the boundary conditions, the periodic approach is chosen for and arbitrary . Because is and so and therefore for . The sequence of the eigenvalues is therefore
and satisfies the Weyl asymptotics. The sequence of eigenfunctions results, except for the coefficients to be determined to
The orthonormal basis of eigenfunctions in Hilbert space with results using the trigonometric formula :
Here, the Kronecker delta and the normalization mean conditional , so that the normalized eigenfunctions represent the representation
accept.
The associated eigenfunction expansion is the Fourier series with
Mathematical theory
The suitable mathematical framework is the Hilbert space with the scalar product
-
.
In this space there is a self-adjoint operator if it is defined on the set of (in the sense of the weak derivative ) differentiable functions that satisfy the boundary conditions:
Here denotes the set of functions that are absolutely continuous . Since is an unbounded operator, consider the resolvent
-
,
where there must be no eigenvalue. It turns out that the resolvent is an integral operator with a continuous kernel ( Green's function of the boundary value problem). Thus the resolvent is a compact operator , and the existence of a countable sequence of eigenfunctions follows from the spectral theorem for compact operators.
The relationship between the eigenvalues of and the resolvent follows, since it is equivalent to with .
Singular Sturm Liouville Problems
If the above conditions are not met, one speaks of a singular Sturm-Liouville problem . The spectrum then generally no longer consists only of eigenvalues and also has a continuous component. There are also generalized eigenfunctions, and the associated eigenfunction expansion is an integral transformation (compare Fourier transformation instead of Fourier series ).
Change or the sign on the interval , one speaks of an indefinite Sturm-Liouville problem .
application
Web links
literature
References and comments
-
^ Charles-François Sturm : Sur le développement des fonctions ou parties de fonctions en séries dont les divers terms sont assujettis à satisfaire à une même équation différentielle du second ordre contenant un paramètre variable, Journal de mathématiques, 1836, bibnum
-
↑ Harro Heuser : Ordinary differential equations , Vieweg + Teubner 2009 (6th edition), pages 328–338, ISBN 978-3-8348-0705-2
-
^ Wolfgang Walter : Ordinary differential equations , Springer-Verlag 2000, page 287-290, ISBN 3-540-67642-2