ABSTRACT
The inverse problem for impulsive Sturm–Liouville operators with discontinuity conditions is considered. We have shown that all parameters used in the boundary conditions as well as can be uniquely established by a set of values of eigenfunctions at the mid-point and one spectrum. Moreover, we discuss Gesztesy–Simon theorem and show that if the potential function is prescribed on the interval for some , then parts of a finite number of spectra suffice to determine on .
1. Introduction
Inverse problem theory is a research field that the coefficients applied in the boundary value problems are determined by some information about the spectral data. These kinds of problems can be seen in various branches of sciences like geophysics, seismic tomography, optics and graph theory (see e.g. [Citation1–4]). The more detailed studies on inverse problems for several classes of Sturm–Liouville operators can be found in some articles [Citation5–8].
We denote the boundary value problem L generated by differential equation (1) (1) subject to the boundary conditions (2) (2) (3) (3) and the jump conditions (4) (4) Here in which has been assumed. The parameters are real, is a spectral parameter and the real-valued function .
Inverse problems for discontinuous Sturm–Liouville equations were investigated by a number of scholars [Citation9–14]. The methods of Gelfand-Levitan, spectral mappings, zeros of the eigenfunctions (nodal points) and half inverse are techniques that are used in the investigation of the inverse problem (see [Citation6,Citation7,Citation15,Citation16]). The inverse problem for interior spectral data is another method that many authors have been applied for studying the inverse problem in the next years [Citation17,Citation18]. We have to mention that two spectra of two different boundary value problems are applied to reconstruct the parameter used in the boundary value problem in the usual case in this method. The taking of one spectrum and some information of eigenfunctions at the midpoint of the interval was Mochizuki and Trooshin's initiative in solving of the inverse problem [Citation17]. This method has been applied by some researchers in the works [Citation7,Citation14,Citation19,Citation20]. As far as we know interior inverse problems for the boundary value problem (Equation1(1) (1) )–(Equation4(4) (4) ) have not been studied yet. We are going to apply this method for studying the discontinuous Sturm–Liouville operators with the weight function. We also prove that parts of one spectrum can present the function on the whole interval provided that this function is given on for some which is a generalization of Gesztesy–Simon type theorem. In [Citation21] Gesztesy and Simon have showed that if is given on for some a priori, then parts of one spectrum can establish on the whole interval.
In this article we investigate two inverse problems for L. The purpose of this paper is to study the inverse problem for L by Mochizuki–Trooshin and Gesztesy–Simon methods. The techniques applied in this paper are based on those expressed in [Citation17,Citation21]. We establish the coefficients of the boundary value problem L by one spectrum and a set of values of eigenfunctions in a interior point. Moreover, we investigate Gesztesy–Simon type theorem for the inverse problem of L.
2. Preliminaries
We consider the function as the solution of the equation (Equation1(1) (1) ) under the initial conditions and and the jump conditions (Equation4(4) (4) ). This solution satisfies the following integral equation: (5) (5) (6) (6) where and . The following asymptotic relations as sufficiently large ρ, can be obtained for above mentioned integral equations (7) (7) (8) (8) Here .
We define (9) (9) as the characteristic function of L where is entire in ρ. The zeros of this function coincide with the eigenvalues of L. It is a result of (Equation3(3) (3) ), (Equation8(8) (8) ) and (Equation9(9) (9) ) for (10) (10) and the eigenvalues admit the classical asymptotic form (11) (11)
Let be and fixed. Define . The following inequality can be deduced using the asymptotic formula for , (12) (12) for some positive constant .
In the next sections, we describe two uniqueness theorems that are the main results of this paper. For this purpose, we assume that together with be a boundary value problem of the form (Equation1(1) (1) )–(Equation4(4) (4) ) with different coefficients. The symbol with tilde denotes the object in that the same object is denoted with same symbol without tilde in L.
3. Mochizuki–Trooshin's method for BVP(L)
Now, we express the Mochizuki–Trooshin's theorem and demonstrate its proof. Firstly, we denote as the Wronskian of two continuously differentiable functions and on the intervals and .
Theorem 3.1
If for any then a. e. on and .
Proof.
Our proof starts with the observation that the solution satisfies the integral representation as follows (see [Citation9,Citation12,Citation15,Citation22]): (13) (13) Then we have (14) (14) where and are two continuous functions which do not depend on ρ.
According to the considered assumptions for , we can get (15) (15) and similarly we have (16) (16) After multiplying (Equation15(15) (15) ) by and (Equation16(16) (16) ) by , we subtract these equations from each other. Then by integrating on , we will have (17) (17) Therefore, (18) (18) With assumption (19) (19) one can write (20) (20)
Taking the assumptions of the theorem, we arrive at . In the sequel, we have to prove that for values of the non-eigenvalue ρ.
It comes from (Equation14(14) (14) ) that for (21) (21) for some positive constant . Thus (22) (22)
Now, we define (23) (23) Using (Equation12(12) (12) ), (Equation22(22) (22) ) and Liouville's theorem [Citation23], we get that the entire function is zero for all ρ and then for all ρ.
Let us consider . From (Equation14(14) (14) ) and (Equation19(19) (19) ), we can write Rewriting the above relation, we will have For we can conclude the following result from the Riemann–Lebesgue lemma (24) (24) (25) (25) Since the function ‘cos’ is complete [Citation15], we see that (26) (26) Because of the zero solution is only the solution of the above homogeneous Volterra integral equation, on . This means that almost everywhere on . Also from (Equation25(25) (25) ), we can result that .
To prove the problem on the interval , it is enough to consider the supplementary problem for (27) (27) (28) (28) (29) (29) (30) (30) Considering as the solution of the supplementary problem , we can write and the assumptions of the theorem are true. Therefore, in the previous same manner we can give on and so a. e. on and . This completes the proof.
Remark 3.2
Let the functions and be the solutions of L. Since , we can replace by in Theorem 3.1. In other words, we can give Theorem 3.1 by instead of .
4. Gesztesy–Simon's method for BVP(L)
Finally, we state the Gesztesy–Simon's theorem and bring its proof.
Theorem 4.1
Let be the spectrum of L. If for some and satisfying for all sufficiently large then
Proof.
If we multiply (Equation1(1) (1) ) by , and Equation (Equation1(1) (1) ) corresponding with tilde by and subtract, then integrate on , we can infer (31) (31) Because , we can write (32) (32) Assuming (33) (33) we will have (34) (34)
According to the conditions of the theorem, we obtain for . Now we should prove that for all ρ.
From (Equation14(14) (14) ) and (Equation33(33) (33) ), we can give that (35) (35) for some positive constant . Moreover if (36) (36)
Define (37) (37) where (38) (38) This function is an entire function in ρ. For convenience, we denote (39) (39) By the assumption of the theorem, we will have (40) (40) Since the characteristic function is an entire function of order we infer (41) (41) for some positive constant C. By standard calculations (see [Citation21,Citation24]), it is concluded that (42) (42) Since is a complete set of eigenvalues for L, we can write for sufficiently large b (43) (43) Therefore, by (Equation42(42) (42) ) and (Equation43(43) (43) ), we have (44) (44) Taking (Equation36(36) (36) ), (Equation37(37) (37) ) and (Equation44(44) (44) ), we get (45) (45) By Phragmén–Lindelöf theorem, we have for all ρ and then for all ρ.
We now apply the argument again such as Theorem 3.1, to obtain a. e. on and . The proof is completed.
5. Examples
Example 5.1
Define for and for and then consider the boundary value problem with the jump conditions Also consider the boundary value problem with the same jump conditions. Let and be the eigenvalues of BVP() and BVP(), respectively. Based on Theorem 3.1, if and the Wronskian of the functions and at the point be equal to zero, then and h=H=0.
Example 5.2
We consider the boundary value problem in Example 5.1. Also consider the boundary value problem with the jump conditions Here for some . Considering , if for all sufficiently large by regarding to Theorem 4.1, then and h=0.
Disclosure statement
No potential conflict of interest was reported by the authors.
References
- Baltes HP. Inverse scattering problems in optics. Berlin: Springer; 1980. (Topics in current physics).
- Hogben L. Spectral graph theory and inverse eigenvalue problem of a graph. Chamchuri J Math. 2009;1(1):51–72.
- Johnson CR, Leal-Duarte A, Saiago CM. Inverse eigenvalue problems and lists of multiplicities of eigengvalues for matrices whose graph is a tree: the case of generalized stars and double generalized stars. Linear Algebra Appl. 2003;373:311–330. doi: 10.1016/S0024-3795(03)00582-2
- Parker RL, Whaler KA. Numerical methods for establishing solutions to the inverse problem of electromagnetic induction. J Geophys Res. 1981;86(10):9574–9584. doi: 10.1029/JB086iB10p09574
- Gelfand IM, Levitan BM. On the determination of a differential equation from its spectral function. Izv Akad Nauk SSR Ser Mat. 1951;15:309–360.
- Koyunbakan H. The inverse nodal problem for a differential operator with an eigenvalue in the boundary condition. Appl Math Lett. 2008;21:1301–1305. doi: 10.1016/j.aml.2008.01.003
- Yang CF, Guo YX. Determination of a differential pencil from interior spectral data. J Math Anal Appl. 2011;375:284–293. doi: 10.1016/j.jmaa.2010.09.011
- Yurko V. Inverse spectral problems for differential pencils on the half-line with turning points. J Math Anal Appl. 2006;320:439–463. doi: 10.1016/j.jmaa.2005.06.085
- Hald O. Discontinuous inverse eigenvalue problems. Commun Pure Appl Math. 1984;37(5):539–577. doi: 10.1002/cpa.3160370502
- Neamaty A, Khalili Y. Determination of a differential operator with discontinuity from interior spectral data. Inverse Probl Sci Eng. 2013;22(6):1002–1008. doi: 10.1080/17415977.2013.848436
- Shahriari M, Jodayree A, Teschi G. Uniqueness for inverse Sturm–Liouville problems with a finite number of transmission condition. J Math Anal Appl. 2012;395(1):19–29. doi: 10.1016/j.jmaa.2012.04.048
- Wang YP, Yang CF, Huang ZY. Half inverse problem for Sturm–Liouville operators with boundary conditions dependent on the spectral parameter. Turkish J Math. 2013;37:445–454.
- Willis C. Inverse Sturm–Liouville problems with two discontinuities. Inverse Probl. 1985;1(3):263–289. doi: 10.1088/0266-5611/1/3/010
- Yang CF, Yang XP. An interior inverse problem for the Sturm–Liouville operator with discontinuous conditions. Appl Math Lett. 2009;22:1315–1319. doi: 10.1016/j.aml.2008.12.001
- Freiling G, Yurko VA. Inverse Sturm–Liouville problems and their applications. New York: NOVA Scince Publ.; 2001.
- Freiling G, Yurko V. Recovering nonselfadjoint differential pencils with nonseparated boundary conditions. Appl Anal. 2015;94(8):1649–1661. doi: 10.1080/00036811.2014.940918
- Mochizuki K, Trooshin I. Inverse problem for interior spectral data of Sturm–Liouville operator. J Inverse Ill-Posed Probl. 2001;9:425–433. doi: 10.1515/jiip.2001.9.4.425
- Mochizuki K, Trooshin I. Inverse problem for interior spectral data of the Dirac operator on a finite interval. Publ Res Inst Math Sci, Kyoto Univ. 2002;38(2):387–395. doi: 10.2977/prims/1145476343
- Sat M, Panakhov ES. A uniqueness theorem for Bessel operator from interior spectral data. Abstr Appl Anal. 2013. DOI:10.1155/2013/713654.
- Wang YP. An interior inverse problem for Sturm–Liouville operators with eigenparameter dependent boundary conditions. Tamkang J Math. 2011;42:395–403.
- Gesztesy F, Simon B. Inverse spectral analysis with partial information on the potential, II. The case of discrete spectrum. Trans Am Math Soc. 2000;352:2765–2787. doi: 10.1090/S0002-9947-99-02544-1
- Horvath M. Inverse spectral problems and closed exponential systems. Ann Math. 2005;162:885–918. doi: 10.4007/annals.2005.162.885
- Conway JB. Functions of one complex variable. 2nd ed. Vol. I. New York: Springer-Verlag; 1995.
- Wang YP. Uniqueness theorems for Sturm–Liouville operators with boundary conditions polynomially dependent on the eigenparameter from spectral data. Results Math. 2013;63:1131–1144. doi: 10.1007/s00025-012-0258-6