![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
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