Abstract and Applied Analysis

Volume 2013 (2013), Article ID 794262, 7 pages

http://dx.doi.org/10.1155/2013/794262

## Double Discontinuous Inverse Problems for Sturm-Liouville Operator with Parameter-Dependent Conditions

Department of Mathematics, Faculty of Arts & Science, Cumhuriyet University, 58140 Sivas, Turkey

Received 26 March 2013; Accepted 24 June 2013

Academic Editor: Dumitru Motreanu

Copyright © 2013 A. S. Ozkan et al. 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.

#### Abstract

The purpose of this paper is to solve the inverse spectral problems for Sturm-Liouville operator with boundary conditions depending on spectral parameter and double discontinuities inside the interval. It is proven that the coefficients of the problem can be uniquely determined by either Weyl function or given two different spectral sequences.

#### 1. Introduction

Spectral problems of differential operators are studied in two main branches, namely, direct spectral problems and inverse spectral problems. Direct problems of spectral analysis consist in investigating the spectral properties of an operator. On the other hand, inverse problems aim at recovering operators from their spectral characteristics. Such problems often appear in mathematics, physics, mechanics, electronics, geophysics, and other branches of natural sciences.

First and most important results for inverse problem of a regular Sturm-Liouville operator were given by Ambartsumyan in 1929 [1] and Borg in 1946 [2]. Physical applications of inverse spectral problems can be found in several works (see, e.g., [3–9] and references therein).

Eigenvalue-dependent boundary conditions were studied extensively. The references [10, 11] are well-known examples for problems with boundary conditions that depend linearly on the eigenvalue parameter. In [10, 12], an operator-theoretic formulation of the problems with the spectral parameter contained in only one of the boundary conditions has been given. Inverse problems according to various spectral data for eigenparameter linearly dependent Sturm-Liouville operator were investigated in [13–17]. Boundary conditions that depend nonlinearly on the spectral parameter were also considered in [18–23].

Boundary value problems with discontinuity condition appear in the various problems of the applied sciences. These kinds of problems are well studied (see, e.g., [24–31]).

In this study, we consider a boundary value problem generated by the Sturm-Liouville equation: subject to the boundary conditions and double discontinuity conditions where is real valued function in ; and , , are real numbers; , ,; , ; , ; and is a spectral parameter. We denote the problem (1)–(4) by , where , , and , .

It is proven that the coefficients of the problem can be uniquely determined by either Weyl function or given two different spectral sequences. The obtained results are generalizations of the similar results for the classical Sturm-Liouville operator on a finite interval.

#### 2. Preliminaries

Let the functions and be the solutions of (1) under the following initial conditions and the jump conditions (4): These solutions are the entire functions of and satisfy the relation for each eigenvalue , where .

The following asymptotics can be obtained from the integral equations given in the appendix:

where .

The values of the parameter for which the problem has nonzero solutions are called eigenvalues, and the corresponding nontrivial solutions are called eigenfunctions.

The characteristic function and norming constants of the problem are defined as follows: It is obvious that is an entire function in and the zeros, namely, of coincide with the eigenvalues of the problem . Now, from (6) and (8), we can write

Lemma 1. *
See the following.*(i)*All eigenvalues of the problem are real and algebraically simple; that is, .*(ii)*Two eigenfunctions and , corresponding to different eigenvalues and , are orthogonal in the sense of
*

*Proof. *Consider a Hilbert Space , equipped with the inner product
for .

Define an operator with the domain , and are absolutely continuous in , and such that
It is easily proven, using classical methods in the similar works (see, e.g., [28]), that the operator is symmetric in ; the eigenvalue problem for the operator and the problem coincide. Therefore, all eigenvalues are real, and two different eigenfunctions are orthogonal.

Let us show the simplicity of the eigenvalues by writting the following equations:
If these equations are multiplied by and , respectively, subtracting them side by side and finally integrating over the interval , the equality
is obtained. Add and subtract in the left-hand side of the last equality, and use initial conditions (5) to get
Rewrite this equality as
As ,
is obtained by using the equality . Thus, .

#### 3. Main Results

We consider three statements of the inverse problem for the boundary value problem ; from the Weyl function, from the spectral data , and from two spectra . For studying the inverse problem, we consider a boundary value problem , together with , of the same form but with different coefficients .

Let the function denote the solution of (1) under the initial conditions , and the jump conditions (4). It is clear that the function can be represented by Denote Then, we have The function is called Weyl function [32].

Theorem 2. *If , then ; that is, , always everywhere in , and . *

*Proof. *Let us define the functions and as follows:
where . If , then from (22)-(23), and are entire functions in . Denote and , where is sufficiently small number and and are square roots of the eigenvalues of the problem and , respectively. One can easily show that the asymptotics
are valid for , , and sufficiently large in . Thus, the following inequalities are obtained from (6) and (24):
According to the last inequalities and Liouville’s theorem, and . Use (23) again to take
Since and similarly , then .

On the other hand, the asymptotic expressions
are valid for on the imaginary axis, where
Assume that and . There are six different cases for the permutation of the numbers and . Without loss of generality, let .

From (26)-(27), we get , and , while .

Moreover, we get
while . By taking limit in (29) as , we condradict . Thus, . Similarly, , and in . Hence,
It can be obtained from (1), (4), and (5) that , a.e. in ; , , and ,. Consequently, .

Theorem 3. *If , then .*

*Proof. *The meromorphic function has simple poles at , and its residues at these poles are
Denote , where is sufficiently small number. Consider the contour integral
There exists a constant such that holds for . Use this inequality and (21) to get , for . Hence, , and so
is obtained from residue theorem. Consequently, if and for all , then from (33), . Hence, Theorem 2 yields .

We consider the boundary value problem with the condition instead of (2) in . Let be the eigenvalues of the problem . It is obvious that are zeros of .

Theorem 4. *If and , then .*

*Proof. *The functions and which are entire of order can be represented by Hadamard’s factorization theorem as follows:
where and are constants which depend only on and , respectively. Therefore, and , when and for all . Thus, . Moreover, since . Consequently, the equality (21) yields . Hence, the proof is completed by Theorem 2.

#### Appendix

The solution satisfies the following integral equations.

If , if , if where .

#### References

- V. A. Ambartsumyan, “Über eine frage der eigenwerttheorie,”
*Zeitschrift für Physik*, vol. 53, pp. 690–695, 1929. View at Publisher · View at Google Scholar - G. Borg, “Eine umkehrung der Sturm–Liouvilleschen eigenwertaufgabe bestimmung der differentialgleichung durch die eigenwerte,”
*Acta Mathematica*, vol. 78, pp. 1–96, 1946. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Kac, “Can one hear the shape of a drum?”
*The American Mathematical Monthly*, vol. 73, no. 4, pp. 1–23, 1966. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. V. Likov and A. Yu. Mikhailov,
*The Theory of Heat and Mass Transfer*, Gosnergoizdat, 1963. - O. N. Litvinenko and V. I. Soshnikov,
*The Theory of Heteregeneous Lines and Their Applications in Radio Engineering*, Radio, Moscow, Russia, 1964. - J. R. McLaughlin and P. L. Polyakov, “On the uniqueness of a spherically symmetric speed of sound from transmission eigenvalues,”
*Journal of Differential Equations*, vol. 107, no. 2, pp. 351–382, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. P. Meschanov and A. L. Feldstein,
*Automatic Design of Directional Couplers*, Sviaz, Moscow, Russia, 1980. - A. N. Tikhonov and A. A. Samarskiĭ,
*Equations of Mathematical Physics*, Pergamon, Oxford, UK, 1990. View at MathSciNet - N. N. Voitovich, B. Z. Katsenelbaum, and A. N. Sivov,
*Generalized Method of Eigen-Vibration in the Theory of Diffraction*, Nauka, Moscow, Russia, 1997. - C. T. Fulton, “Two-point boundary value problems with eigenvalue parameter contained in the boundary conditions,”
*Proceedings of the Royal Society of Edinburgh A*, vol. 77, no. 3-4, pp. 293–308, 1977. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. T. Fulton, “Singular eigenvalue problems with eigenvalue parameter contained in the boundary conditions,”
*Proceedings of the Royal Society of Edinburgh A*, vol. 87, no. 1-2, pp. 1–34, 1980. View at Publisher · View at Google Scholar · View at MathSciNet - J. Walter, “Regular eigenvalue problems with eigenvalue parameter in the boundary condition,”
*Mathematische Zeitschrift*, vol. 133, pp. 301–312, 1973. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. J. Browne and B. D. Sleeman, “A uniqueness theorem for inverse eigenparameter dependent Sturm-Liouville problems,”
*Inverse Problems*, vol. 13, no. 6, pp. 1453–1462, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. J. Browne and B. D. Sleeman, “Inverse nodal problems for Sturm-Liouville equations with eigenparameter dependent boundary conditions,”
*Inverse Problems*, vol. 12, no. 4, pp. 377–381, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. Yu Kapustin and E. I. Moiseev, “Oscillation properties of solutions to a nonselfadjoint spectral problem with spectral parameter in the boundary condition,”
*Differential Equations*, vol. 35, pp. 1031–1034, 1999. View at Google Scholar - Y. P. Wang, “Inverse problems for Sturm-Liouville operators with interior discontinuities and boundary conditions dependent on the spectral parameter,”
*Mathematical Methods in the Applied Sciences*, vol. 36, no. 7, pp. 857–868, 2013. View at Google Scholar - C.-F. Yang and Z.-Y. Huang, “A half-inverse problem with eigenparameter dependent boundary conditions,”
*Numerical Functional Analysis and Optimization*, vol. 31, no. 4–6, pp. 754–762, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. A. Binding, P. J. Browne, and K. Seddighi, “Sturm-Liouville problems with eigenparameter dependent boundary conditions,”
*Proceedings of the Edinburgh Mathematical Society. Series II*, vol. 37, no. 1, pp. 57–72, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. A. Binding and P. J. Browne, “Oscillation theory for indefinite Sturm-Liouville problems with eigenparameter-dependent boundary conditions,”
*Proceedings of the Royal Society of Edinburgh A*, vol. 127, no. 6, pp. 1123–1136, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. A. Binding, P. J. Browne, and B. A. Watson, “Inverse spectral problems for Sturm-Liouville equations with eigenparameter dependent boundary conditions,”
*Journal of the London Mathematical Society*, vol. 62, no. 1, pp. 161–182, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. A. Binding, P. J. Browne, and B. A. Watson, “Equivalence of inverse Sturm-Liouville problems with boundary conditions rationally dependent on the eigenparameter,”
*Journal of Mathematical Analysis and Applications*, vol. 291, no. 1, pp. 246–261, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. Mennicken, H. Schmid, and A. A. Shkalikov, “On the eigenvalue accumulation of Sturm-Liouville problems depending nonlinearly on the spectral parameter,”
*Mathematische Nachrichten*, vol. 189, pp. 157–170, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Schmid and C. Tretter, “Singular Dirac systems and Sturm-Liouville problems nonlinear in the spectral parameter,”
*Journal of Differential Equations*, vol. 181, no. 2, pp. 511–542, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. Kh. Amirov, A. S. Ozkan, and B. Keskin, “Inverse problems for impulsive Sturm-Liouville operator with spectral parameter linearly contained in boundary conditions,”
*Integral Transforms and Special Functions*, vol. 20, no. 7-8, pp. 607–618, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Freiling and V. Yurko,
*Inverse Sturm-Liouville Problems and Their Applications*, Nova Science, Huntington, NY, USA, 2001. View at MathSciNet - O. H. Hald, “Discontinuous inverse eigenvalue problems,”
*Communications on Pure and Applied Mathematics*, vol. 37, no. 5, pp. 539–577, 1984. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Keskin, A. S. Ozkan, and N. Yalçin, “Inverse spectral problems for discontinuous Sturm-Liouville operator with eigenparameter dependent boundary conditions,”
*Communications de la Faculté des Sciences de l'Université d'Ankara. Séries A1*, vol. 60, no. 1, pp. 15–25, 2011. View at Google Scholar · View at MathSciNet - A. S. Ozkan and B. Keskin, “Spectral problems for Sturm-Liouville operator with boundary and jump conditions linearly dependent on the eigenparameter,”
*Inverse Problems in Science and Engineering*, vol. 20, no. 6, pp. 799–808, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - A. S. Ozkan, “Inverse Sturm-Liouville problems with eigenvalue-dependent boundary and discontinuity conditions,”
*Inverse Problems in Science and Engineering*, vol. 20, no. 6, pp. 857–868, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - V. Yurko, “Integral transforms connected with discontinuous boundary value problems,”
*Integral Transforms and Special Functions*, vol. 10, no. 2, pp. 141–164, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Yurko,
*Method of Spectral Mappings in the Inverse Problem Theory*, Inverse and Ill-posed Problems Series, VSP, Utrecht, The Netherlands, 2002. View at MathSciNet - H. Weyl, “Über gewöhnliche differentialgleichungen mit singularitäten und die zugehörigen entwicklungen willkürlicher funktionen,”
*Mathematische Annalen*, vol. 68, no. 2, pp. 220–269, 1910. View at Publisher · View at Google Scholar · View at MathSciNet