Open Access Research Article

On an Inverse Scattering Problem for a Discontinuous Sturm-Liouville Equation with a Spectral Parameter in the Boundary Condition

KhanlarR Mamedov

Author Affiliations

Mathematics Department, Science and Letters Faculty, Mersin University, 33343 Mersin, Turkey

Boundary Value Problems 2010, 2010:171967  doi:10.1155/2010/171967


The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2010/1/171967


Received:9 April 2010
Accepted:22 May 2010
Published:21 June 2010

© 2010 The Author(s)

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

An inverse scattering problem is considered for a discontinuous Sturm-Liouville equation on the half-line with a linear spectral parameter in the boundary condition. The scattering data of the problem are defined and a new fundamental equation is derived, which is different from the classical Marchenko equation. With help of this fundamental equation, in terms of the scattering data, the potential is recovered uniquely.

1. Introduction

We consider inverse scattering problem for the equation

(11)

with the boundary condition

(12)

where is a spectral parameter, is a real-valued function satisfying the condition

(13)

is a positive piecewise-constant function with a finite number of points of discontinuity, are real numbers, and

The aim of the present paper is to investigate the direct and inverse scattering problem on the half-line for the boundary value problem (1.1)–(1.3). In the case , the inverse problem of scattering theory for (1.1) with boundary condition not containing spectral parameter was completely solved by Marchenko [1, 2], Levitan [3, 4], Aktosun [5], as well as Aktosun and Weder [6]. The discontinuous version was studied by Gasymov [7] and Darwish [8]. In these papers, solution of inverse scattering problem on the half-line by using the transformation operator was reduced to solution of two inverse problems on the intervals and . In the case , the inverse scattering problem was solved by Guseĭnov and Pashaev [9] by using the new (nontriangular) representation of Jost solution of (1.1). It turns out that in this case the discontinuity of the function strongly influences the structure of representation of the Jost solution and the fundamental equation of the inverse problem. We note that similar cases do not arise for the system of Dirac equations with discontinuous coefficients in [10]. Uniqueness of the solution of the inverse problem and geophysical application of this problem for (1.1) when were given by Tihonov [11] and Alimov [12]. Inverse problem for a wave equation with a piecewise-constant coefficient was solved by Lavrent'ev [13]. Direct problem of scattering theory for the boundary value problem (1.1)–(1.3) in the special case was studied in [14].

When in (1.1) with the spectral parameter appearing in the boundary conditions, the inverse problem on the half-line was considered by Pocheykina-Fedotova [15] according to spectral function, by Yurko [1618] according to Weyl function, and according to scattering data in [19, 20]. This type of boundary condition arises from a varied assortment of physical problems and other applied problems such as the study of heat conduction by Cohen [21] and wave equation by Yurko [16, 17]. Spectral analysis of the problem on the half-line was studied by Fulton [22].

Also, physical application of the problem with the linear spectral parameter appearing in the boundary conditions on the finite interval was given by Fulton [23]. We recall that inverse spectral problems in finite interval for Sturm-Liouville operators with linear or nonlinear dependence on the spectral parameter in the boundary conditions were studied by Chernozhukova and Freiling [24], Chugunova [25], Rundell and Sacks [26], Guliyev [27], and other works cited therein.

This paper is organized as follows. In Section 2, the scattering data for the boundary value problem (1.1)–(1.3) are defined. In Section 3, the fundamental equation for the inverse problem is obtained and the continuity of the scattering function is showed. Finally, the uniqueness of solution of the inverse problem is given in Section 4.

For simplicity we assume that in (1.1) the function has a discontinuity point:

(14)

where .

The function

(15)

is the Jost solution of (1.1) when where .

It is well known [9] that, for all from the closed upper half-plane, (1.1) has a unique Jost solution which satisfies the condition

(16)

and it can be represented in the form

(17)

where the kernel satisfies the inequality

(18)

and possesses the following properties:

(19)

(110)

In addition, if is differentiable, satisfies (a.e.) the equation

(111)

Denote that

(112)

According to Lemma 2.2 in Section 2, the equation has only a finite number of simple roots in the half-plane ; all these roots lie in the imaginary axis. The behavior of this boundary value problem (1.1)–(1.3) is expressed as a self-adjoint eigenvalue problem.

We will call the function

(113)

the scattering function for the boundary value problem (1.1)–(1.3), where denotes the complex conjugate of .

We denote by   the normalized numbers for the boundary problem (1.1)–(1.3):

(114)

where . It turns out that the potential in the boundary value problem (1.1)–(1.3) is uniquely determined by specifying the set of values The set of values is called the scattering data of the boundary value problem (1.1)–(1.3). The inverse scattering problem for boundary value problem (1.1)–(1.3) consists in recovering the coefficient from the scattering data.

The potential is constructed by slightly varying the method of Marchenko. Set

(115)

where

(116)

and

We can write out the integral equation

(117)

for the unknown function . The integral equation is called the fundamental equationof the inverse problem of scattering theory for the boundary problem (1.1)–(1.3). The fundamental equation is different from the classic equation of Marchenko and we call the equation the modified Marchenko equation. The discontinuity of the function strongly influences the structure of the fundamental equation of the boundary problem (1.1)–(1.3). By Theorem 4.1 in Section 4, the integral equation has a unique solution for every .Solving this equation, we find the kernel of the special solution (1.7), and hence according to formula (1.10) it is constructed the potential

We show that formula (1.7) is valid for (1.1). For this, let us give the algorithm of the proof in [9]. For let us consider the integral equation

(118)

where

(119)

while and are solutions of (1.1) when , satisfying the initial conditions and

It is not hard to show that the function satisfies the formula

(120)

where

(121)

Substituting the expression (1.7) for in the integral equation (1.18) and using formula (1.20) for after elementary operations, the following integral equations for the kernel are obtained:

(122)

for ,

(123)

for

(124)

for .

The solvability of these integral equations is obtained through the method of successive approximations. By using integral equations (1.22)–(1.24) for equalities (1.9), (1.10) are obtained. By substituting the expressions for the functions and in (1.1), it can be shown that (1.11) holds.

2. The Scattering Data

For real the functions and form a fundamental system of solutions of (1.1) and their Wronskian is computed as . Here the Wronskian is defined as

Let be the solution of (1.1) satisfying the initial condition

(21)

The following assertion is valid.

Lemma 2.1.

The identity

(22)

holds for all real , where

(23)

with

(24)

The function is called the scattering function of the boundary value problem (1.1)–(1.3).

Lemma 2.2.

The function may have only a finite number of zeros in the half-plane . Moreover, all these zeros are simple and lie in the imaginary axis.

Proof.

Since for all real , the point is the possible real zero of the function . Using the analyticity of the function in upper half-plane and the properties of solution (1.7) are obtained that zeros of form at most countable and bounded set having as the only possible limit point.

Now let us show that all zeros of the function lie on the imaginary axis. Suppose that and are arbitrary zeros of the function . We consider the following relations:

(25)

Multiplying the first of these relations by and the second by , subtracting the second resulting relation from the first, and integrating the resulting difference from zero to infinity, we obtain

(26)

On the other hand, according to the definition of the function , the following relation holds:

(27)

Therefore,

(28)

This formula yields

(29)

Thus, using (2.6) and (2.9) we have

(210)

Here , In particular, the choice at (2.10) implies that , or , where . Therefore, zeros of the function can lie only on the imaginary axis. Now, let us now prove that function has zeros in finite numbers. This is obvious if , because, under this assumption, the set of zeros cannot have limit points. In the general case, since we can give an estimate for the distance between the neighboring zeros of the function it follows that the number of zeros is finite (see [2, page 186]).

Let

(211)

These numbers are called the normalized numbers for the boundary problem (1.1)–(1.3).

The collections are called the scattering data of the boundary value problem (1.1)–(1.3). The inverse scattering problem consists in recovering the coefficient from the scattering data.

3. Fundamental Equation or Modified Marchenko Equation

From (1.9), (1.10), it is clear that in order to determine it is sufficient to know . To derive the fundamental equation for the kernel of the solution (1.7), we use equality (2.2), which was obtained in Lemma 2.1. Substituting expression (1.7) for into this equality, we get

(31)

Multiplying both sides of relation (3.1) by and integrating over from to , for at the right-hand side we get

(32)

Now we will compute the integral . By elementary transforms we obtain

(33)

where . Thus we have

(34)

where is the Dirac delta function.

For , similarly we get

(35)

Consequently, (3.2) can be written as

(36)

where

(37)

Let us show that for the last expression in the sum equals zero. We note that for . For we have

(38)

If then and hence

(39)

If , then and hence, for this case, the inequality holds.

Therefore, for (3.2) takes the form

(310)

On the left-hand side of (3.1) with help of Jordan's lemma and the residue theorem and by taking Lemma 2.2 into account for we obtain

(311)

From the definition of normalized numbers ( in (2.11) we have

(312)

Thus, for by taking (3.10) and (3.12) into account, from (3.2) we derive the relation

(313)

Consequently, we obtain for

(314)

where

(315)

Equation (3.14) is called the fundamental equationof the inverse problem of the scattering theory for the boundary problem (1.1)–(1.3). The fundamental equation is different from the classic equation of Marchenko and we call equation (3.14) the modified Marchenko equation. The discontinuity of the function strongly influences the structure of the fundamental equation of the boundary problem (1.1)–(1.3).

Thus, we have proved the following theorem.

Theorem 3.1.

For each , the kernel of the special solution (1.7) satisfies the fundamental equation (3.14).

By using the fundamental equation it is shown that the scattering function is continuous at all real points and

(316)

It can be shown that tends to zero as and is the Fourier transform of some function in .

4. Solvability of the Fundamental Equation

Substituting scattering data into (3.15), we construct and . The fundamental equation (3.14) can be written in the more convenient form

(41)

We will seek the solution of (4.1) for every in the same space .

We consider the operators acting in the spaces , respectively, by the rules

(42)

which appear in the fundamental equation.

The operators are compact in each space for every choice of . The proof of this fact completely repeats the proof of Lemma which can be found in [2].

Substituting into (4.1), we obtain

(43)

where

(44)

In order to prove the solvability of the given fundamental equation, it suffices to verify that the homogenous equation

(45)

has no nontrivial solutions in the corresponding space.

From the homogenous equation (4.5) we obtain

(46)

and, since we have

(47)

Using this equality in (4.5), we have

(48)

or taking we obtain the equation

(49)

from which (4.5) is obtained.

Theorem 4.1.

Equation (4.5) has a unique solution for each fixed .

To prove this theorem we need some of auxiliary lemmas.

Lemma 4.2.

If is a solution of the homogenous equation (4.5), then .

Proof.

In fact, the kernel of can be approximated by a bounded function so that . By rewriting (4.5) in the form

(410)

we obtain an equation with a bounded function on the right-hand side, where

(411)

In the space we get

(412)

Hence

(413)

Thus, the function on the right-hand side of (4.10) is bounded. Consequently, we have , where

(414)

and the series converges in as well as in ; that is, the solution of the homogenous equation (4.5) is bounded.

Corollary 4.3.

If is a solution of the homogenous equation (4.5), then .

Proof.

In fact, .

Thus, it suffices to investigate (4.5) in the space .

Lemma 4.4.

The operators acting in are nonnegative for every :

(415)

and equality is attained if and only if

(416)

where is Fourier transform of the function .

Proof.

According to definitions of the operators and we get

(417)

Since

(418)

by the Cauchy-Bunyakovskii inequality, or, equivalently,

(419)

Therefore, the first term on the right-hand side of formula (4.17) is nonnegative. Since the second term is obviously nonnegative. Inequality (4.16) holds, with equality, if and only if

(420)

This shows that the function is orthogonal to in But then

(421)

which is possible if and only if . Thus, inequality (4.15) holds, with equality for those functions whose Fourier transform satisfies conditions (4.16). The lemma is proved.

With the help of Lemmas 4.2 and 4.4, we obtain the proof of Theorem 4.1. It remains to show that the homogenous equation (4.5) has only the null solution in But, by Lemma 4.4 the Fourier transform of any solution of (4.5) satisfies the identity Hence, upon setting , , we get

(422)

Since is the Fourier transform of the function

(423)

which vanishes for identity (4.22) yields

(424)

for all Therefore, if (4.5) has nonzero solution, (4.24) has infinitely many linear independent solutions which in turn contradicts the compactness of the operator Hence,

According to Theorems 3.1 and 4.1 the following result holds.

Theorem 4.5.

The scattering data uniquely determine the boundary value problem (1.1)–(1.3).

Proof.

To form the fundamental equation (3.14), it suffices to know the functions and In turn, to find the functions it suffices to know only the scattering data . Given the scattering data, we can use formulas (3.15) to construct the functions and write out the fundamental equation (3.14) for the unknown function . According to Theorem 4.1, the fundamental equation has a unique solution. Solving this equation, we find the kernel of the special solution (1.7), and hence, according to formulas (1.9)-(1.10), it is constructed the potential .

Remark 4.6.

In the case when is a positive piecewise-constant with a finite number of points of discontinuity, similar results can be obtained.

Acknowledgment

This research is supported by the Scientific and Technical Research Council of Turkey.

References

  1. Marchenko, VA: On reconstruction of the potential energy from phases of the scattered waves. Doklady Akademii Nauk SSSR. 104, 695–698 (1955)

  2. Marchenko, VA: Sturm-Liouville Operators and Applications, Operator Theory: Advances and Applications,p. xii+367. Birkhäuser, Basel, Switzerland (1986)

  3. Levitan, BM: On the solution of the inverse problem of quantum scattering theory. Mathematical Notes. 17(4), 611–624 (1975)

  4. Levitan, BM: Inverse Sturm-Liouville problems,p. x+240. VSP, Zeist, The Netherlands (1987)

  5. Aktosun, T: Construction of the half-line potential from the Jost function. Inverse Problems. 20(3), 859–876 (2004). Publisher Full Text OpenURL

  6. Aktosun, T, Weder, R: Inverse spectral-scattering problem with two sets of discrete spectra for the radial Schrödinger equation. Inverse Problems. 22(1), 89–114 (2006). Publisher Full Text OpenURL

  7. Gasymov, MG: The direct and inverse problem of spectral analysis for a class of equations with a discontinuous coefficient. In: Lavrent'ev MM (ed.) Non-Classical Methods in Geophysics, pp. 37–44. Nauka, Novosibirsk, Russia (1977)

  8. Darwish, AA: The inverse problem for a singular boundary value problem. New Zeland Journal of Mathematics. 22, 37–66 (1993)

  9. Guseĭnov, IM, Pashaev, RT: On an inverse problem for a second-order differential equation. Uspekhi Matematicheskikh Nauk. 57(3(345)), 147–148 (2002)

  10. Mamedov, KhR, Çöl, A: On the inverse problem of the scattering theory for a class of systems of Dirac equations with discontinuous coefficient. European Journal of Pure and Applied Mathematics. 1(3), 21–32 (2008)

  11. Tihonov, AN: On the uniqueness of the solution of the problem of electric prospecting. Doklady Akademii Nauk SSSR. 69, 797–800 (1949)

  12. Alimov, ŠA: A. N. Tihonov's works on inverse problems for the Sturm-Liouville equation. Uspekhi Matematicheskikh Nauk. 31(6), 84–88 English translation in Russian Mathematical Surveys, vol. 31, pp. 87–92, 1976 (1976)

  13. Lavrent'ev, MM Jr..: An inverse problem for the wave equation with a piecewise-constant coefficient. Sibirskiĭ Matematicheskiĭ Zhurnal. 33(3), 101–111, 219 translation in Siberian Mathematical Journal, vol. 33, no. 3, pp. 452–461, 1992 (1992)

    translation in Siberian Mathematical Journal, vol. 33, no. 3, pp. 452–461, 1992

    PubMed Abstract | Publisher Full Text OpenURL

  14. Mamedov, KhR, Palamut, N: On a direct problem of scattering theory for a class of Sturm-Liouville operator with discontinuous coefficient. Proceedings of the Jangjeon Mathematical Society. 12(2), 243–251 (2009)

  15. Pocheykina-Fedotova, EA: On the inverse problem of boundary problem for second order differential equation on the half line. Izvestiya Vuzov. 17, 75–84 (1972)

  16. Yurko, VA: On the reconstruction of the pencils of differential operators on the half-line. Mathematical Notes. 67(2), 261–265 (2000). Publisher Full Text OpenURL

  17. Yurko, VA: An inverse problem for pencils of differential operators. Sbornik: Mathematics. 191(10), 1561–1586 (2000). Publisher Full Text OpenURL

  18. Yurko, VA: Method of Spectral Mappings in the Inverse Problem Theory, Inverse and Ill-Posed Problems Series,p. vi+303. VSP, Utrecht, The Netherlands (2002)

  19. Mamedov, KhR: Uniqueness of the solution of the inverse problem of scattering theory for the Sturm-Liouville operator with a spectral parameter in the boundary condition. Mathematical Notes. 74(1-2), 136–140 (2003)

  20. Mamedov, KhR: On the inverse problem for Sturm-Liouville operator with a nonlinear spectral parameter in the boundary condition. Journal of the Korean Mathematical Society. 46(6), 1243–1254 (2009). Publisher Full Text OpenURL

  21. Cohen, DS: An integral transform associated with boundary conditions containing an eigenvalue parameter. SIAM Journal on Applied Mathematics. 14, 1164–1175 (1966)

  22. Fulton, CT: Singular eigenvalue problems with eigenvalue parameter contained in the boundary conditions. Proceedings of the Royal Society of Edinburgh. Section A. 87(1-2), 1–34 (1980/81). Publisher Full Text OpenURL

  23. Fulton, CT: Two-point boundary value problems with eigenvalue parameter contained in the boundary conditions. Proceedings of the Royal Society of Edinburgh. Section A. 77(3-4), 293–308 (1977)

  24. Chernozhukova, A, Freiling, G: A uniqueness theorem for the boundary value problems with non-linear dependence on the spectral parameter in the boundary conditions. Inverse Problems in Science and Engineering. 17(6), 777–785 (2009). Publisher Full Text OpenURL

  25. Chugunova, MV: Inverse spectral problem for the Sturm-Liouville operator with eigenvalue parameter dependent boundary conditions. Operator Theory, System Theory and Related Topics (Beer-Sheva/Rehovot, 1997), Operator Theory Advances and Applications, pp. 187–194. Birkhäuser, Basel, Switzerland (2001)

  26. Rundell, W, Sacks, P: Numerical technique for the inverse resonance problem. Journal of Computational and Applied Mathematics. 170(2), 337–347 (2004). Publisher Full Text OpenURL

  27. Guliyev, NJ: Inverse eigenvalue problems for Sturm-Liouville equations with spectral parameter linearly contained in one of the boundary conditions. Inverse Problems. 21(4), 1315–1330 (2005). Publisher Full Text OpenURL