About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 794262, 7 pages
http://dx.doi.org/10.1155/2013/794262
Research Article

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., [39] 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 [1317]. Boundary conditions that depend nonlinearly on the spectral parameter were also considered in [1823].

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., [2431]).

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

  1. 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
  2. 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
  3. 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
  4. A. V. Likov and A. Yu. Mikhailov, The Theory of Heat and Mass Transfer, Gosnergoizdat, 1963.
  5. O. N. Litvinenko and V. I. Soshnikov, The Theory of Heteregeneous Lines and Their Applications in Radio Engineering, Radio, Moscow, Russia, 1964.
  6. 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
  7. V. P. Meschanov and A. L. Feldstein, Automatic Design of Directional Couplers, Sviaz, Moscow, Russia, 1980.
  8. A. N. Tikhonov and A. A. Samarskiĭ, Equations of Mathematical Physics, Pergamon, Oxford, UK, 1990. View at MathSciNet
  9. N. N. Voitovich, B. Z. Katsenelbaum, and A. N. Sivov, Generalized Method of Eigen-Vibration in the Theory of Diffraction, Nauka, Moscow, Russia, 1997.
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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.
  16. 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.
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. G. Freiling and V. Yurko, Inverse Sturm-Liouville Problems and Their Applications, Nova Science, Huntington, NY, USA, 2001. View at MathSciNet
  26. 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
  27. 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 MathSciNet
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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