Sturm-Liouville problem, inverse
A problem in which it is required to reconstruct a function (a potential) from some spectral characteristics of the operator generated by the differential expression and some boundary conditions in the Hilbert space , where varies in a finite or infinite interval . Moreover, one should also reconstruct the boundary conditions corresponding to the operator .
When studying inverse problems, the following natural questions arise: 1) to find out which spectral characteristics determine the operator uniquely; 2) to give a method of reconstructing the operator from these spectral characteristics; and 3) to find particular properties of the spectral characteristics considered. Depending on the choice of the spectral characteristics, different statements of inverse problems are possible (often arising in applications).
The first result concerning inverse problems (see ), which gave a start to the whole theory, is: Let be the eigenvalues for the problem
and let be a real-valued continuous function on the interval . If , then .
( and are real numbers), and let be the eigenvalues of (1) under the boundary conditions
Then the sequences and , determine the function and the numbers , and uniquely. Moreover, if at least one eigenvalue in these problems has not been determined, then all the others do not determine the equation (1) uniquely. In particular, generally speaking, one spectrum does not determine the equation uniquely (the above-mentioned result is an exception to the general rule).
If the equation (1) is studied on the half-line and the potential function satisfies the requirement
then the solution of the problem , , has an asymptotic representation for ,
The function is called the scattering phase. The main result is that if a problem (considered in the space ) does not have discrete eigenvalues, then the scattering phase determines the potential function uniquely.
A decisive step in the further development of the theory of inverse problems was the application of so-called operator-transform techniques (see Sturm–Liouville equation), which was naturally developed in the framework of the theory of generalized shift operators (see ).
Applying operator transforms to inverse problems (see ) allowed one to generalize the above-mentioned theorems. Namely, it turned out that the most general inverse problem is the problem of reconstructing equation (1) from its spectral function (see Sturm–Liouville problem). It was shown that the spectral function determines this equation uniquely. Moreover, it is of no importance whether the considered interval is finite or infinite.
In principle, all inverse problems can be reduced to the inverse problem of reconstructing an operator from its spectral function. However, this way is not always the simplest; moreover, when following it, one often encounters difficulties in finding necessary and sufficient conditions for the spectral characteristics that are used to reconstruct the operator.
The significance of inverse problems became greater after discovering a possibility to apply them to solve some non-linear evolution equations of mathematical physics. In particular, a relationship (see ) between inverse problems for some Sturm–Liouville operators with a finite number of gaps in the spectrum and the Jacobi inversion problem for Abelian integrals was established. Recent development of these ideas made it possible to obtain explicit formulas, which express finite gap potentials by Riemann -functions (see , ).
Below two versions of the statement and solution of inverse problems will be considered.
. Given a known spectral function , find a differential equation in the form
with a real locally-summable potential , , and a number appearing in the boundary condition
To solve this problem it is assumed that
It turns out that the integral equation
has a unique solution for each fixed . The potential is defined by the formula
and the number in (3) is given by the formula (see ). The solution of the equation and satisfying the boundary conditions and can be found by the formula
Further, a non-decreasing function , , is the spectral function for some problem , , , where is a real-valued function with locally-summable derivatives and is a real number, if and only if the function constructed from by formula (4) has locally-summable derivatives and (see , , ). In a number of particular cases, and can be found effectively from the function . For example, let
where for and for and is a positive number. In this case the integral equation (5) is an equation with degenerate kernel and its solution is
Now the function and the number are determined by the formulas
. Let a real-valued function satisfy the inequality
Then the boundary value problem
has bounded solutions for and , , . Moreover, these solutions satisfy for the asymptotic formulas
Here is a normalization factor: . The set of values is called the scattering data for the boundary value problem (7), (7prm). It is required to reconstruct the potential from the scattering data.
To solve this problem, a function is constructed by the formula
and one considers the following equation:
This equation has a unique solution for any . After this equation has been solved, the potential is determined by the formula
For a set to be the scattering data for some boundary value problem of the form (7), (7prm) with a real potential which satisfies the condition (6), it is necessary and sufficient that the following conditions are satisfied (see ):
a) the function is continuous on the whole line, , tends to zero as and is the Fourier transform of the function
which is representable as a sum of two functions, one of which belongs to , while the second is bounded and belongs to . On the half-line the function has a derivative satisfying the condition ;
b) the increment of the argument in the function is connected with the number of negative eigenvalues (i.e. of the numbers ) of the boundary value problem (7), (7prm) by the formula
The integral equation (8) for has an explicit solution if is a rational function. Solutions of the equation (7) and the potential are obtained in this case as rational functions in the trigonometric and hyperbolic functions. For example, if
then the corresponding potential has the form
|||V.A. Marchenko, "Sturm–Liouville operators and applications" , Birkhäuser (1986) (Translated from Russian)|
|||Z.S. Agranovich, V.A. Marchenko, "The inverse problem in scattering theory" , Khar'kov (1960) (In Russian)|
|||C. Shadan, P. Sabatier, "Inverse problems in quantum scattering theory" , Springer (1989)|
|||B.M. Levitan, "Generalized translation operators and some of their applications" , Israel Program Sci. Transl. (1964) (Translated from Russian)|
|||, The theory of solitons: methods of the inverse problem , Moscow (1980) (In Russian)|
|||Yu.M. [Yu.M. Berezanskii] Berezanskiy, "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc. (1968) (Translated from Russian)|
|||L.D. Faddeev, "The inverse problem in quantum scattering theory" Uspekhi Mat. Nauk , 14 : 4 (1959) pp. 57–119 (In Russian)|
|||L.D. Faddeev, "Inverse problem of quantum scattering theory II" J. Soviet. Math. , 5 : 3 (1976) pp. 334–450 Itogi Nauk. i Tekhn. Sovremen. Probl. Mat. , 3 (1974) pp. 93–180|
|||B.M. Levitan, M.G. Gasymov, "Determination of a differential equation by two of its spectra" Russian Math. Surveys , 19 : 2 (1964) pp. 1–64 Uspkehi Mat. Nauk , 19 : 2 (1964) pp. 3–63|
|||V. Ambarzumian, Z. Phys. , 53 (1929) pp. 690–695|
|||G. Borg, "Eine Umkehrung der Sturm–Liouvilleschen Eigenwertaufgabe, Bestimmung der Differentialgleichung durch die Eigenwerte" Acta Math. , 78 (1946) pp. 1–96|
|||N. Levinson, "On the uniqueness of the potential in a Schrödinger equation for a given asymptotic phase" Danske Vid. Selsk. Mat. -Fys. Medd. , 25 : 9 (1949) pp. 1–29|
|||V.A. Marchenko, "On the theory of a second-order differential operator" Dokl. Akad. Nauk SSSR , 72 : 3 (1950) pp. 457–460 (In Russian)|
|||I.M. Gel'fand, B.M. Levitan, "On the determination of a differential equation from its spectral function" Izv. Akad. Nauk SSSR Ser. Mat. , 15 : 4 (1951) pp. 309–360 (In Russian)|
|[15a]||M.G. Krein, "Solution of the inverse Sturm–Liouville problem" Dokl. Akad. Nauk SSSR , 76 : 1 (1951) pp. 21–24 (In Russian)|
|[15b]||M.G. Krein, "On inverse problems for a nonhomogeneous chord" Dokl. Akad. Nauk SSSR , 82 : 5 (1952) pp. 669–672 (In Russian)|
|[15c]||M.G. Krein, "On the transfer function of a one-dimensional second-order boundary problem" Dokl. Akad. Nauk SSSR , 88 : 3 (1953) pp. 405–408 (In Russian)|
|||V.A. Marchenko, "On reconstructing the potential energy from phases of scattered waves" Dokl. Akad. Nauk SSSR , 104 : 5 (1955) pp. 695–698 (In Russian)|
|||B.Ya. Levin, "Transformations of Fourier and Laplace types by means of solutions of second-order differential equations" Dokl. Akad. Nauk SSSR , 106 : 2 (1956) pp. 187–190 (In Russian)|
|||R. Newton, R. Jost, "The construction of potentials from the -matrix for systems of differential equations" Nuovo Cimento , 1 : 4 (1955) pp. 590–622|
|||M.G. Gasymov, B.M. Levitan, "Determination of Dirac's system from the scattering phase" Soviet Math. Dokl. , 7 : 2 (1966) pp. 543–547 Dokl. Akad. Nauk SSSR , 167 : 6 (1966) pp. 1219–1222|
|||M.G. Gasymov, "The inverse problem of scattering theory for a system of Dirac equations of order " Trudy Moskov. Mat. Obshch. , 19 (1968) pp. 41–112 (In Russian)|
|||F.S. Rofe-Beketov, "The spectral matrix and the inverse Sturm–Liouville problem on the axis " Teor. Funktsii, Funktional. Analiz. i Prilozhen. : 4 (1967) pp. 189–197 (In Russian)|
|||B.M. Levitan, "The inverse problem in quantum scattering theory at fixed energy" , Probl. Mekh. i Mat. Fiz. (I.G. Petrovskii) , Moscow (1976) pp. 166–207 (In Russian)|
|||N.I. Akhiezer, "A continuous analogue of orthogonal polynomials on a system of intervals" Soviet Math. Dokl. , 2 : 6 (1961) pp. 1409–1412 Dokl. Akad. SSSR , 141 : 2 (1961) pp. 263–266|
|||G.Sh. Guseinov, "The inverse problem of scattering theory for a second-order difference equation on the whole axis" Soviet Math. Dokl. , 17 : 6 (1976) pp. 1684–1688 Dokl. Akad. Nauk SSSR , 231 : 5 (1976) pp. 1045–1048|
|||B.M. Levitan, "Inverse Sturm–Liouville problems" , VNU (1987) (Translated from Russian)|
The inverse problem for the Schrödinger operator , , has been investigated in [a1]. (See also Schrödinger equation.) In order to derive necessary and sufficient conditions in the scattering data to correspond with the equation , , it is assumed in [a1] that satisfies , cf. . The condition on the Fourier transforms , are analogous to , defined above is also changed: , for all .
|[a1]||P. Deift, E. Trubowitz, "Inverse scattering on the line" Comm. Pure Appl. Math. , 32 (1979) pp. 121–251|
|[a2]||J. Pöschel, E. Trubowitz, "Inverse spectral theory" , Acad. Press (1987)|
|[a3]||A.G. Ramm, "Inverse scattering on half-line" J. Math. Anal. Appl. , 133 (1988) pp. 543–572|
|[a4]||A.G. Ramm, B.A. Taylor, "Example of a potential in one-dimensional scattering problem for which there are infinitely many purely imaginary resonances" Phys. Lett. , 124A (1987) pp. 313–319|
|[a5]||L.E. Andersson, "Inverse eigenvalue problems with discontinuous coefficients" Inverse Probl. , 4 (1988) pp. 353–397|
|[a6]||A.G. Ramm, "Recovery of the potential from -function" Math. Reports Canad. Acad. Sci. , 9 (1987) pp. 177–182|
|[a7a]||A.G. Ramm, "Necessary and sufficient conditions on the scattering data for the potential to be in for the Schrödinger operator on the half-line" Inverse Probl. , 3 (1987) pp. L71–76|
|[a7b]||A.G. Ramm, "An inverse problem for the Helmholtz equation in a semi-infinite medium" Inverse Probl. , 3 (1987) pp. L19–22|
|[a8]||E.L. Isaacson, E. Trubowitz, "The inverse Sturm–Liouville problem I" Comm. Pure Appl. Math. , 36 (1983) pp. 767–784|
|[a9]||E.L. Isaacson, H.P. McKean, E. Trubowitz, "The inverse Sturm–Liouville problem II" Comm. Pure Appl. Math. , 37 (1984) pp. 1–12|
|[a10]||B.E.J. Dahlberg, E. Trubowitz, "The inverse Sturm–Liouville problem III" Comm. Pure Appl. Math. , 37 (1984) pp. 255–267|
Sturm-Liouville problem, inverse. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Sturm-Liouville_problem,_inverse&oldid=23059