 Research
 Open Access
 Published:
Uniqueness results for inverse SturmLiouville problems with partial information given on the potential and spectral data
Boundary Value Problems volume 2016, Article number: 200 (2016)
Abstract
We consider the inverse spectral problem for a SturmLiouville problem on the unit interval \([0,1]\). We obtain some uniqueness results, which imply that the potential q can be completely determined even if only partial information is given on q together with partial information on the spectral data, consisting of the spectrum and normalizing constants. Moveover, we also investigate the problem of missing both eigenvalues and normalizing constants in the situation where the potential q is \(C^{2k1}\) near a suitable point.
1 Introduction
In this paper, we consider the SturmLiouville operator \(L:=L(q,h_{0},h_{1})\) in the Liouville form
on the unit interval \([0,1]\) associated with the boundary conditions
We assume that the potential \(q\in L^{1}[0,1]\) is realvalued and \(h_{0}\in\mathbb{R}\cup\{\infty\}\), \(h_{1}\in \mathbb{R}\), where \(h_{0}=\infty\) singles out the Dirichlet boundary condition \(u(0)=0\). Denote the spectrum of L by \(\sigma (L)\), which consists of simple real eigenvalues
Given a complex value z, define \(v(x,z)\) as a solution of equation \(Lv=zv\). Let \(z=\lambda_{n}\), and \(v_{n}(x):=v(x,\lambda_{n})\) be the eigenfunction of the operator L associated with the eigenvalue \(\lambda_{n}\). Then there are two sorts of norming constants \(\kappa_{n}\) and \(\alpha_{n}\) corresponding to \(\lambda_{n}\):
In order to distinguish \(\kappa_{n}\) and \(\alpha_{n}\), in general, \(\kappa_{n}\) is called the ratio, and \(\alpha _{n}\) is called the normalizing constant. Indeed, based on the relation (see [1], p.18)
between \(\kappa _{n}\) and \(\alpha_{n}\), where \(\omega(\cdot)\) is the characteristic function of L defined further by (2.5), and \(\dot{\omega}(\lambda )=d\omega(\lambda ) /d\lambda \), the pair of sequences \(\Gamma_{1}:=\{\lambda_{n},\alpha_{n};n\in\mathbb{N} _{0}\}\) is equivalent to the pair of sequences \(\Gamma_{2}:=\{\lambda _{n},\kappa_{n};n\in\mathbb{N}_{0}\}\). It is also known [1–3] that knowing the eigenvalues \(\{\lambda_{n}\}_{n\in \mathbb{N}_{0}}\) and the normalizing constants \(\{\alpha_{n}\}_{n\in\mathbb{N}_{0}}\) is equivalent to knowing the singular measure defined by the spectral function for problem (1.1)(1.3); moreover, the normalizing constants \(\{\alpha _{n}\}_{n\in\mathbb{N}_{0}}\) can be constructed from the two sequences of eigenvalues, \(\Gamma_{3}:=\{\lambda_{n},\tilde{\lambda}_{n}\}_{n\in \mathbb{N}_{0}}\), where \(\{\tilde{\lambda}_{n}\}_{n\in\mathbb{ N}_{0}}\) is the spectrum of another operator \(L(q,\tilde{h}_{0},h_{1})\) with \(h_{0}\neq \tilde{h}_{0}\).
The uniqueness problem of determining the potential q in terms of one of the abovementioned three sets of spectral data \(\Gamma _{j}\) (\(j=1,2,3\)) is well known (see, e.g., [2, 3]). A comprehensive review for the inverse problem in these cases is presented by McLaughlin [4].
This paper is related immediately to a earlier paper [5] by the second author and Xu in that it provides some uniqueness results, which imply that the potential q and \(h_{1}\) can completely be determined even if only partial information is given on q together with partial information on the spectral data, consisting of either one full spectrum and a subset of ratios \(\kappa_{n}\) or a subset of pairs of eigenvalues and the corresponding ratios \(\kappa_{n}\). In the present paper, we consider the same uniqueness problem under the same circumstances but with the ratios \(\{\kappa_{n}\}\) replaced by normalizing constants \(\{\alpha_{n}\}\). In other words, we mainly investigate the uniqueness problem when only partial information on q, on the eigenvalues \(\{\lambda_{n}\}_{n\in \mathbb{N}}\), and on the normalizing constants \(\{\alpha _{n}\}_{n\in\mathbb{N}}\) is available.
Our original motivation for the above works is theorems of HochstadtLieberman [6] and GesztesySimon [7]. Specifically, in 1978, Hochstadt and Lieberman [6] proved that the whole spectrum uniquely determines q when it is already known on \([0,1/2]\). In 2000, Gesztesy and Simon [7] gave several important generalizations of the HochstadtLieberman theorem to the case where the \(L^{1}[0,1]\) potential q is known on a larger interval \([0,a]\) with \(a\in[1/2,1)\) and the set of common eigenvalues is sufficiently large. Another result in [7] is obtained under the assumption that the potential q belongs to \(C^{2k}\) for some \(k\in\mathbb{N}_{0}\) near \(1/2\) so that \(C^{2k}\)smoothness can replace the knowledge of some \(k+1\) eigenvalues, that is, \(k+1\) eigenvalues may be missing. These results have been generalized and improved in a variety of ways; see [8–14]. Our aim here is to realize that, for the question of uniqueness for the SturmLiouville problem, normalizing constants play an equal role with eigenvalues. In other words, the number of normalizing constants is, in a sense, equivalent to the number of eigenvalues.
Here is one of the main results of this paper.
Theorem 1.1
Let L be defined by (1.1) with boundary conditions (1.2)(1.3), and \(h_{0}\in\mathbb{R}\cup\{\infty\}\) and \(h_{1}\in \mathbb{R}\). Suppose that, for some \(k\in\mathbb{N}_{0}\) and \(\varepsilon>0\), q is \(C^{2k1}[0,\varepsilon)\) when \(h_{0}\in\mathbb{R}\) or q is \(C^{2k}[0,\varepsilon)\) when \(h_{0}=\infty\). Let \(\Lambda _{e}=\{i_{1},i_{2},\ldots,i_{l}\}\subset\mathbb{N}_{0}\) and \(\Lambda _{n}=\{j_{1},j_{2},\ldots,j_{m}\}\subset\mathbb{N}_{0}\) satisfy
Then \(h_{0}\), \(q^{(n)}(0)\) for \(n=0,1,\ldots,(2k1)\) when \(h_{0}\in\mathbb{ R}\) or for \(n=0,1,\ldots,2k\) when \(h_{0}=\infty\), all the eigenvalues \(\{\lambda_{n}\}_{n\in \mathbb{N}}\) except for \(n\in\Lambda_{e}\), and all the normalizing constants \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) except for \(n\in\Lambda_{n}\) uniquely determine \(h_{1}\) and q on \([0,1]\).
Remark 1.2
Under the assumption that \(\sigma(L)\) is known, from (1.6) it follows that the result of Theorem 1.1 remains valid if the condition of unknown normalizing constants \(\{\alpha_{j_{i}}\}_{i=1}^{k+1}\) is replaced with the condition of unknown ratios \(\{\kappa_{j_{i}}\}_{i=1}^{k+1}\). This is the same as [5], Thm. 1.1. However, Theorem 1.1 here shows that both some eigenvalues and normalizing constants may be missing.
For any \(\alpha=\{\alpha_{j}\}_{j\in\mathbb{N}_{0}}\subset\mathbb{C}\) with \(\vert \alpha_{0}\vert \leq \vert \alpha_{1}\vert \leq \vert \alpha_{2}\vert \leq\cdots\) , set
The following theorem treats the case where partial information is given on the set of the spectral data \(\Gamma_{1}=\{\lambda_{m},\alpha _{n}:m,n\in \mathbb{N}_{0}\}\) when q is known a priori on \([0,a]\) with \(a\in [0,1)\).
Theorem 1.3
Let L be defined by (1.1) with boundary conditions (1.2)(1.3), and \(h_{0}\in\mathbb{R}\cup\{\infty\}\) and \(h_{1}\in \mathbb{R}\). Let
Then q on \([0,a]\) for some \(a\in[0,1)\), \(h_{0}\), and two subsets \(S_{e}\) and \(\Pi_{n}\) satisfying
or
for all sufficiently large \(t\in\mathbb{R}\) uniquely determine \(h_{1}\) and q on \([0,1]\).
Remark 1.4
As in the case \(a=0\), we have an extension of the same type as in Theorem 1.1. Explicitly, if \(h_{0}\in\mathbb{R}\) and q is assumed to be \(C^{2k1}\) near \(x=a\), then, instead of condition (1.8), we only need the condition
Remark 1.5
Comparing the result of Theorem 1.3 with that of [7], Thm. 1.4, we can see that the lack of a certain number of normalizing constants can be reduced to the situation of lack the same number of eigenvalues.
This result is related to another paper by the authors [15], where we consider an analog of Theorem 1.3 for finite tridiagonal (Jacobi) matrices. Moreover, as a particular case of Theorem 1.3, we have the following corollary, which is parallel with [5], Thm. 4.2, where the problem of the partial information on the subset of the pair of sequences \(\Gamma _{2}:=\{\lambda_{n},\kappa_{n};n\in\mathbb{N}_{0}\}\) is concerned.
Corollary 1.6
Under the assumptions of Theorem 1.3, let \(S_{n}=S_{e}\). Then q on \([0,a]\) for some \(a\in[0,1)\), \(h_{0}\), and two subsets \(\Pi_{n}\) and \(S_{e}\) satisfying the condition
or
for all sufficiently large \(t\in\mathbb{R}\) uniquely determine \(h_{1}\) and q on \([0,1]\).
All the results obtained concern mainly with a spectrum with \(h_{0}\in\mathbb{R }\cup\{\infty\}\) being fixed. Furthermore, in Section 4, we generalize these results to more general circumstances associated with the spectral data of different operators \(L(q,h_{0,n},h_{1})\), where \(h_{0,n}\) are allowed to belong to different values.
Moreover, note that the case of Dirichlet boundary condition at \(x=1\) demands a separate treatment. Nevertheless, we expect that the method of the paper can be applied in this case.
The results presented in this paper are based on the uniqueness theorem of the Weyl mfunction developed by Marchenko [16] and introduced to deal with inverse problems with partial information by Gesztesy, Simon, and del Rio [7, 17–19]. Our proof in the paper is based on two multiple zeros of the Wronskian of two SturmLiouville problems. At this point, we note that our proof here is different from that of the results in [5] for dealing with the unique determination problem of q and \(h_{1}\) in terms of eigenvalues and ratios, where the known ratios are transformed to known eigenvalues by a particular solution of the equation \(Lu=\lambda u\) such that the Weyl mfunction technique can be used.
The paper is organized as follows. In the next section, we recall the uniqueness theorem of Marchenko [16] and give a proof of Theorem 1.1. The proof of Theorem 1.3 is presented in Section 3. In Section 4, we extend Theorem 1.3 to a more general case, associated with different boundary conditions at the endpoint \(x=0\), and further establish some new uniqueness results.
2 Preliminaries and proof of Theorem 1.1
In this section, we first recall the uniqueness theorem of Marchenko and formulate some asymptotic expansions of mfunctions and solutions of Eq. (2.1), which will be used later to prove our principal results.
Throughout this paper, by the statement “q on \([0,a]\), eigenvalues \(\lambda_{n}\), and normalizing constants \(\alpha_{n}\) determine uniquely q and \(h_{1}\)” we mean that there are no two distinct potentials \(q_{1}\) and \(q_{2}\) on \([0,1]\) with the two properties: (i) \(q_{1}=q_{2}\) a.e. on \([0,a]\), and (ii) \(\lambda_{n}\) and \(\alpha_{n}\) are common eigenvalues and normalizing constants for \(q_{1}\) and \(q_{2}\).
Unless explicitly stated otherwise, \(h_{0}\) will be known, and all potentials q, \(q_{1}\), and \(q_{2}\) will be real valued and in \(L^{1}[0,1]\) for the rest of this paper.
For a realvalued potential \(q\in L^{1}[0,1]\), consider the initialvalue problem
on \([0,1]\) with initial conditions
Let \(u_{}:=u_{}(x,z)\) and \(u_{+}:=u_{+}(x,z)\) be the solutions of problem (2.1)(2.2) and problem (2.1) and (2.3), respectively. If \(z=\lambda _{n}\in \sigma(L)\), where the operator L is defined by problem (1.1)(1.3), then both \(u_{}(x,\lambda_{n})=:u_{,n}\) and \(u_{+}(x,\lambda_{n})=:u_{+,n}\) are eigenfunctions of the operator L corresponding to the eigenvalue \(\lambda_{n}\), and
where \(\kappa_{n}=u_{+,n}(0)=u_{,n}^{1}(1)\) is the ratio corresponding to the eigenvalue \(\lambda_{n}\); hence, \(\kappa_{n}\neq0,\infty\). Denote
where \([u_{+}(x,z),u_{}(x,z)]\) is the Wronskian of \(u_{+}(x,z)\) and \(u_{}(x,z)\). By Green’s formula for the Wronskian, \([u_{+},u_{}]\) does not depend on x. The function \(\omega(z)\) is called the characteristic function of the operator L. It is easy to see from (2.4) that
where \(\alpha_{n}\) is the normalizing constant corresponding to \(\lambda _{n}\). The following lemma, which is proved in [19], p.8, presents the relation among \(\lambda_{n}\), \(\alpha_{n}\), and \(\kappa_{n}\).
Lemma 2.1
We have the relation
for all \(n\in\mathbb{N}_{0}\), where \(\dot{\omega}(z)=d\omega/dz\), and \(\kappa_{n}\) are defined by (1.4).
We next formulate the main uniqueness theorem in the literature, proved by Marchenko [16]. For the solution \(u_{+}(x,z)\) of Eq. (2.1), the Weyl \(m_{+}\)function is defined by
for \(a\in[0,1)\). Marchenko’s [16] fundamental uniqueness theorem of inverse spectral theory then reads as follows.
Theorem 2.2
\(m_{+}(a,z)\) uniquely determines \(h_{1}\) and q (a.e.) on \([a,1]\).
Consider a problem with boundary condition (1.3) at \(x=1\). We need to know the highenergy asymptotic behavior of the \(m_{+}\)function with \(x\in[0,1)\). It is known [20] that, under the general hypothesis \(q\in L^{1}[0,1]\),
uniformly in \(a\in[0,1\delta]\) for \(\delta>0\) as \(\vert z\vert \rightarrow\infty\) in any sector \(\varepsilon <\operatorname {Arg}(z)<\pi\varepsilon\) for \(\varepsilon>0\), where \(\sqrt{z}\) is the square root branch with \(\operatorname {Im}(\sqrt{z})\geq0\). It is also known [20] that if q is \(C^{n}\) near \(a\in[0,1)\) for some \(n\in\mathbb{N}_{0}\), then \(m_{+}(a,z)\) have asymptotic expansions of the form
as \(\vert z\vert \rightarrow\infty\) in any sector \(\varepsilon<\operatorname {Arg}(z)<\pi \varepsilon\) for \(\varepsilon>0\). Here \(c_{l}(a)\) are the universal functions of \(q(a),q^{\prime}(a),\ldots,q^{(l2)}(a)\) and can be computed recursively as follows:
Let q be given on \([0,a]\) with some \(a\in[0,1)\). Let \(q_{1}\) and \(q_{2}\) be two candidates for q extended to \([0,1]\). Let \(u_{1,+}(x,z)\) and \(u_{2,+}(x,z)\) be solutions of Eq. (2.1) corresponding to \(q_{1}\) and \(q_{2}\), respectively, where \(u_{j,+}(x,z)\) satisfies the initial conditions
with \(h_{1},h_{2}\in\mathbb{R}\). It is well known [1, 3] that for each \(x\in[0,1]\), \(u_{j,+}(x,z)\) and \(u_{j,+}^{\prime}(x,z)\) are entire functions of z and satisfy the asymptotic expansions
as \(\vert z\vert \rightarrow\infty\) for all \(x\in[0,1]\). For \(j=1,2\), let
which are the characteristic functions of the operators \(L(q_{j},h_{0},h_{j})=:L_{j}\). Then \(\sigma(L_{j})=\{\lambda _{j,n}\}_{n=0}^{\infty}\) are precisely the zeros of \(\omega_{j}(z)\).
Since the zeros of \(u_{j,+}(a,\cdot)\) and \(u_{j,+}^{\prime }(a,\cdot)\) are all real and uniformly bounded below, by adding (if necessary) a sufficiently large constant to \(q_{1}\) and \(q_{2}\), we may assume that all zeros of \(u_{j,+}(a,\cdot)\), \(u_{j,+}^{\prime}(a,\cdot)\), and \(\omega_{j}(\cdot)\) are in \([1,\infty)\). In this case, all these six functions are mtype (see [7], p.2781). Therefore, \(u_{j,+}(a, \cdot)\), \(u_{j,+}^{\prime}(a,\cdot )\), and \(\omega_{j}(\cdot)\) are bounded by \(C_{1}\exp(C_{2}\vert z\vert ^{1/2})\) for some constants \(C_{1}, C_{2}>0\) and are of the form (see [7])
for suitable \(\{x_{n}\}_{n=0}^{\infty}\subset[1,\infty)\).
Let
for \(a\in[0,1]\). Then we have the following lemma, which plays a key role in this paper.
Lemma 2.3
Assume that \(q_{1}=q_{2}\) a.e. on \([0,a]\) for some \(a\in[0,1)\). If \(\lambda_{1,n}=\lambda_{2,n}\) for some \(n\in\mathbb{N}_{0}\), then \(U_{+}(a,\lambda_{1,n})=0\); if, in addition, \(\alpha _{1,n}=\alpha_{2,n} \), then
that is, in this case, \(\lambda_{1,n}\) is a twomultiple root of the equation \(U_{+}(a,z)=0\).
Proof
By the assumption of \(q_{1}=q_{2}\) a.e. on \([0,a]\), if \(h_{0}\in \mathbb{R}\), then it is easy to see that
It follows from (2.4) and the last identity that if \(\lambda _{1,n}=\lambda_{2,n}\), then \(\omega_{j}(\lambda_{1,n})=0\) for \(j=1,2\), and therefore \(U_{+}(a,\lambda_{1,n})=0\). Furthermore, since
substituting \(z=\lambda_{1,n}\) into this formula, we have
Note that \(\kappa_{j,n}\alpha_{j,n}=\dot{\omega}_{j}(\lambda _{j,n})\) and \(\kappa_{j,n}=u_{j,+}(0,\lambda_{j,n})\) for \(j=1,2\) by Lemma 2.1 and (2.4). It is easy to check that \(\dot{U}_{+}(0,\lambda_{1,n})=(\alpha_{2,n}\alpha_{1,n})\kappa _{1,n}\kappa_{2,n}=0\) when, in addition, \(\alpha_{1,n}=\alpha _{2,n}\). Thus, from (2.17) we have that \(\dot{U} _{+}(a,\lambda _{1,n})=0\). Moreover, the same approach can be used to deal with the case \(h_{0}=\infty\). This completes the proof. □
According to the preliminaries, we now prove Theorem 1.1.
Proof of Theorem 1.1
We prove the theorem when \(h_{0}\in\mathbb{R}\). The case \(h_{0}=\infty\) is similar. Let \(\{\lambda_{j,n},\alpha _{j,n}\}_{n\in\mathbb{N}_{0}}\) be the spectral data corresponding to the operators \(L(q_{j},h_{0},h_{j})\) for \(j=1,2\). Without loss of generality, we assume that
Let us consider the function \(H(z)\) defined by
By Lemma 2.3 the cross ratio \(U_{+}(0,z)\prod_{t=1}^{m1}(z\lambda _{1,t})^{2}\prod_{s=1}^{l1}(z\lambda_{1,s})\) with twomultiple zeros vanishes at each point where \(\omega_{1}(z)^{2}\) vanishes, and \(\omega_{1}(z)^{2}\) necessarily has twomultiple zeros since \(L(q_{1},h_{0},h_{1})\) has a simple spectrum. Thus, H is an entire function. In addition, from \(\inf_{\theta \in [ 0,2\pi ]}\omega _{j}((\pi (n+\frac{1}{2} ))^{2}e^{i\theta })\geq \pi n+O(1)\), for sufficiently large n (see [7], p.2771) and the fact that the functions \(u_{j,+}(0,z)\) are mtype we conclude that \(H(z)\) satisfies
As a matter of fact, it follows from (2.19) that the last inequality holds whenever \(\vert z\vert =(\pi(n+1/2))^{2}\) for n sufficiently large; it then extends to all z by the maximum modulus principle. Furthermore, since \(q_{1}^{(j)}(0)=q_{2}^{(j)}(0)\) for \(j=0,1,\ldots,2k1\), by (2.10) and (2.12) we infer that
as y (real) →∞ for \(j=1,2\). This, together with (2.18), shows that
It turns out that \(\vert H(iy)\vert \rightarrow0\) as y (real) →∞. By [7], Prop. B.6 we obtain \(H\equiv0\). We can multiply H by
which has twomultiple zeros and poles, to conclude that \(U_{+}(z)=0\) for all \(z\in\mathbb{C}\). This, together with (2.8) and (2.15), yields \(m_{1,+}(0,z)=m_{2,+}(0,z)\). By Theorem 2.2, \(q_{1}=q_{2}\) a.e. on \([0,1]\) and \(h_{1}=h_{2}\). The proof is therefore complete. □
3 Proof of Theorem 1.3
Our goal in this section is to prove Theorem 1.3. We first establish a lemma, which will be used later to prove the theorem and its generalizations (see Section 4 for details).
Given a sequence \(S:=\{x_{n}\}_{n=0}^{\infty}\) of positive reals such that \(1\leq x_{0}\leq x_{1}\leq\cdots\) and
where \(\rho_{0}\in(0,1)\) is fixed, define the function \(G_{S}\) by
It is known [21], Sects. II.48 and II.49 that \(G_{S}(z)\) is an entire function with
where both \(C_{1}\) and \(C_{2}\) are positive constants. It should be noted that (3.1) holds if and only if \(n_{S}(t)\leq C_{0}\vert t\vert ^{\rho}\) for all \(\rho>\rho_{0}\), where \(C_{0}\) is a positive constant. Conversely, if \(G_{S} \) is an entire function satisfying (3.3) with all its zeros \(\{x_{n}\}_{n=0}^{\infty}\) in \([1,\infty)\), then its zeros satisfy (3.1), and \(G_{S}\) has the canonical product expansion (3.2) (see [21] for details). In contrast to [7], Def. B.3, the function \(G_{S}(z)\) is also said to be mtype in a generalized sense. It should be emphasized here that the above argument may involve the case that \(x_{n}=x_{n+1}\) for some \(n\in\mathbb{N}_{0}\).
Lemma 3.1
Let \(\sigma(L)=:\{\lambda_{j}\}_{j=0}^{\infty}\) be the spectrum of problem (1.1)(1.3), let \(S:=\{x_{n}\}_{n=0}^{\infty}\) with \(1\leq x_{0}\leq x_{1}\leq\cdots\) satisfy (3.1), and \(G_{S}\) be defined by (3.2). Assume that
for all sufficiently large \(t\in\mathbb{R}\), where both A and B are real constants with \(A>0\). Then
or
Proof
Define
By the definition (3.2) of \(G_{S}\), we have, by integration by parts,
Furthermore, by hypothesis (3.4) on S of the lemma there are constants \(t_{0}\geq1\) and \(C\geq0\) such that
Hence, by (3.7) and (3.4), noting the relation
we deduce that
where \(C_{0}=\vert BC\vert \ln(t_{0})\).
Because \(\sigma(L)\) is the full set of the eigenvalues of the selfadjoint operator L on \([0,1]\), we get that, asymptotically,
and
as y (real) →∞. It thus turns out from (3.8) that there exists a positive constant \(C_{1}\) such that (3.5)(3.6) hold. The proof is complete. □
We now are in position to prove Theorem 1.3.
Proof of Theorem 1.3
Let \(\{\lambda_{j,n},\alpha_{j,n}\}_{n\in\mathbb{N}_{0}}\) be the spectral data corresponding to the operators \(L(q_{j},h_{0},h_{j})\) for \(j=1,2\). We only prove the theorem when \(h_{0}\in\mathbb{R}\). The same approach can be used to deal with the case \(h_{0}=\infty\). By the hypothesis on \(S_{n}\) and \(S_{e}\) define
Since \(\lambda_{1,n}=n^{2}\pi^{2}+O(1)\) (see [1], p.10), it follows that the functions \(G_{S_{e}}\) and \(G_{S_{n}}\) are mtype, and therefore
is also mtype, where \(k(n)=1\) when \(\lambda_{1,n}\in S_{e}\backslash S_{n}\) and \(k(n)=2\) when \(\lambda_{1,n}\in S_{n}\). Let us consider the function \(H(z)\) defined by
where \(U_{+}(a,z)\) is defined by (2.15). Then by the hypothesis of \(S_{n}\subseteq S_{e}\) we have from Lemma 2.3 that
since \(q_{1}=q_{2}\) on \([0,a]\). This implies that \(H(z)\) is an entire function. Recall that
and \(m_{+}(a,iy)=i\sqrt{iy}+o(1)\) as y (real) →∞. Thus, by Lemma 3.1, (3.10), and (1.8) we have \(A=2(1a)\), \(B=a1\), and
This yields \(H(z)=0\), and therefore \(U_{+}(z)=0\) for all \(z\in\mathbb {C}\) by the argument of the proof of Theorem 1.1. Thus, \(m_{1,+}(a,z)=m_{2,+}(a,z)\). By Theorem 2.2, \(q_{1}=q_{2}\) a.e. on \([0,1]\) and \(h_{1}=h_{2}\). The proof is complete. □
4 Uniqueness results for a more general case
In this section, we extend Theorem 1.3 by that the spectral data \(\{ \lambda _{m},\alpha_{m}\}_{m\in\mathbb{N}_{0}}\) can be selected in terms of different SturmLiouville operators \(L(q,h_{0},h_{1})=:L(h_{0})\) with \(h_{0}\) being different numbers in the boundary condition (1.2).
It is well known (see [1]) that Borg proved the famous twospectra theorem that the spectra for two boundary conditions of a regular SturmLiouville operator uniquely determine the potential q. Later refinements (see, e.g., [12, 13, 19]) show that the knowing eigenvalues associated with a number of different boundary conditions can also determine the potential uniquely. In particular, McLaughlin and Rundell [22] used fixed jth eigenvalues \(\lambda _{j}(q,h_{0,l},h_{1})\) with \(l\in\mathbb{N}_{0}\) for a countable number of different boundary conditions at \(x=0\) to establish the uniqueness of q. Moreover, Horváth considered the same uniqueness problem when the known eigenvalues are taken from finite different spectra, which are corresponding to a finite number of boundary conditions at \(x=0\).
In our uniqueness results to be given further, the known eigenvalues and normalizing constants are of problem (1.1)(1.3) where a countable number of different boundary conditions at \(x=0\) may be involved. These results not only generalize the results of [13, 19, 22] but also give some new uniqueness results for the inverse SturmLiouville problems through normalizing constants instead of eigenvalues. It is essential that, roughly speaking, for the unique determination problem of the potentials q and \(h_{1}\), the number of normalizing constants is, in a sense, equivalent to the number of eigenvalues.
Given a sequence \(\{h_{0,l}\}_{l=0}^{\infty}\subset \mathbb{R}\cup\{\infty\}\), we consider the operator \(L(q,h_{0,l},h_{1})=:L(h_{0,l})\) for each \(h_{0,l}\) and denote by \(\sigma(L(h_{0,l}))=:\{\lambda_{m}(h_{0,l})\}_{m=0}^{\infty}\) the spectrum of \(L(h_{0,l})\). Throughout this section, we always assume that the eigenvalue sequence
is increasing and satisfies the condition
where \(\rho_{0}\in(0,1)\) is fixed. In this case, we denote by \(\alpha(h_{0,l})\) the normalizing constant corresponding to the eigenvalue \(\lambda(h_{0,l})\) and \(\alpha_{m}(h_{0,l})\) corresponding to the \((m+1)\)th eigenvalue \(\lambda_{m}(h_{0,l})\) of the operator \(L(h_{0,l})\).
We mention some properties of these eigenvalues, which we need further. For their proofs, we refer to [23, 24].
Lemma 4.1

(i)
If \(h_{0,l_{1}}\neq h_{0,l_{2}}\), then \(\lambda (h_{0,l_{1}})\neq\lambda(h_{0,l_{2}})\), where \(\lambda (h_{0,l_{j}})\) are any eigenvalues of \(L(h_{0,l_{j}})\) for \(j=1,2\).

(ii)
Let \(m\in\mathbb{N}_{0}\). Then \(\lambda _{m}(h_{0})\) is strictly decreasing in \(h_{0}\in\mathbb{R}\) for any fixed q and \(h_{1}\). Furthermore, for \(m\geq1\), we have
$$ \lim_{h_{0}\rightarrow\infty}\lambda_{m}(h_{0})= \lambda_{m1}(\infty ),\qquad\lim_{h_{0}\rightarrow\infty} \lambda_{m}(h_{0})=\lambda _{m}(\infty), $$where \(\{\lambda_{m}(\infty)\}_{m=0}^{\infty}=\sigma(L(\infty ))\) with \(h_{0}=\infty\).
Here is our main result of this section.
Theorem 4.2
Let \(L(q,h_{0,l},h_{1})\) be defined by (1.1) associated with boundary conditions (1.2)(1.3) with \(h_{0}\) being replaced by \(h_{0,l}\), where \(h_{0,l}\in\mathbb{R}\cup\{\infty\}\) for \(l\in\mathbb{N}_{0}\) and \(h_{1}\in\mathbb{R}\). Let \(S_{n}\subseteq S_{e}\subseteq\bigcup_{l=0}^{\infty}\sigma (L(h_{0,l}))\) and
where \(\{\lambda(h_{0,l})\}_{l=0}^{\infty}\) are increasing and satisfy (4.2).
Then q on \([0,a]\) for some \(a\in[0,1)\), \(\{h_{0,l}\}_{l=0}^{\infty}\), and two sets \(\Pi_{n}\) and \(S_{e}\) such that, for some fixed \(h_{0}\in\mathbb{R}\),
for all sufficiently large \(t\in\mathbb{R}\) uniquely determine \(h_{1}\) and q on \([0,1]\).
Proof
Let \(\{\lambda_{j}(h_{0,l}),\alpha_{j}(h_{0,l})\}\) for all \(l\in \mathbb{N} _{0}\) be the pairs of the eigenvalues and its corresponding normalizing constants of the operators \(L(q_{j},h_{0,l},h_{j})\) for \(j=1,2\). Since \(S_{e,j}=\{\lambda _{j}(h_{0,l})\}_{l=0}^{\infty}\) is an increasing sequence for each \(j=1,2\), it follows that it is bounded below. By adding (if necessary) a sufficiently large constant to \(q_{1}\) and \(q_{2}\), we assume that all \(\lambda_{j}(h_{0,l})\) are in \([1,\infty)\). In this case, let us define
Consider the function H defined by
where \(U_{+}(a,z)\) is defined by (2.15). Then by the hypothesis on \(S_{n}\) and \(S_{e}\), we have from Lemma 2.3 that
since \(q_{1}=q_{2}\) on \([0,a]\). This implies that \(H(z)\) is an entire function. Recall that
Thus, by Lemma 3.1, (2.9), and (4.3) we have that \(A=2(1a)\), \(B=a1\), and
This yields \(H(z)=0\), and therefore \(m_{1,+}(a,z)=m_{2,+}(a,z)\) for all \(z\in\mathbb{C}\) by the argument of the proof of Theorem 1.1. By Theorem 2.2, \(q_{1}=q_{2}\) a.e. on \([0,1]\) and \(h_{1}=h_{2}\). The proof is complete. □
Remark 4.3
By the previous argument, if \(\sigma(L(h_{0}))\) is replaced by \(\sigma_{0}:=\{m^{2}\}_{m=0}^{\infty}\) in (4.3), then the result of Theorem 4.2 also holds. In fact, note that
By Lemma 3.1 we infer \(\vert G_{S_{e}}(iy)G_{S_{n}}(iy)\vert \geq e^{ \operatorname {Im}(\sqrt{i})(12a)\vert y\vert ^{1/2}}\). This implies that (4.5) holds.
As a particular case of Theorem 4.2, we have the following corollary, which concerns the uniqueness problem of q and \(h_{1}\) in terms of eigenvalues and normalizing constants associated with a (countable) number of different boundary conditions.
Corollary 4.4
Under the assumptions of Theorem 4.2, if \(a=0\),
then \(\{h_{0,l}\}_{l=0}^{\infty}\), \(\{\lambda_{l}(h_{0,l})\} _{l=0}^{\infty }\) and \(\{\alpha_{l}(h_{0,l})\}_{l=0}^{\infty}\) except for one uniquely determine \(h_{1}\) and q on \([0,1]\).
Proof
In Theorem 4.2, taking \(a=0\) and \(h_{0}:=\inf\{h_{0,l}\}_{l=0}^{\infty}\), by Lemma 4.1 we have
for all \(l\in\mathbb{N}_{0}\). In this case, letting \(S_{e}=\{\lambda _{l}(h_{0,l})\}_{l=0}^{\infty}\) and \(S_{n}=\{\lambda _{l}(h_{0,l})\}_{l=1}^{\infty}\) (without loss of generality), it is easy to verify from Lemma 4.1 that \(\{\lambda_{l}(h_{0,l})\}\) are distinct and
and from (4.2) that \(n_{S_{n}\cup S_{e}}(t)\geq2n_{\sigma(L(h_{0}))}(t)1\) for all \(t>\lambda_{0}(h_{0,0})\). Thus, by Theorem 4.2 we easily obtain the result of Corollary 4.4. □
As another particular case of Theorem 4.2, we also have the following corollary, which concerns our uniqueness problem in terms of eigenvalues only, associated with a countable number of different boundary conditions.
Corollary 4.5
Under the assumptions of Theorem 4.2, given \(\{h_{0,l},h_{0,l}^{\prime }\}_{l=0}^{\infty}\) satisfying
if \(a=0\), then \(\{h_{0,l},h_{0,l}^{\prime}\}_{l=0}^{\infty}\) and the eigenvalues \(\{\lambda_{l}(h_{0,l}),\lambda _{l}(h_{0,l}^{\prime})\}_{l=0}^{\infty}\) except for one, uniquely determine \(h_{1}\) and q on \([0,1]\).
Proof
Without loss of generality, we assume \(h_{0,l}< h_{0,l}^{\prime}\) for all \(l\in\mathbb{N}_{0}\). In Theorem 4.2, taking \(a=0\) and \(h_{0}:=\inf\{h_{0,l},h_{0,l}^{\prime}\}_{l=0}^{\infty}\), letting \(S_{n}=\varnothing\) and
with \(\lambda_{0}(h_{0,0}^{\prime})\) being missing, by Lemma 4.1 we see that the sequence \(S_{e}\) is strictly increasing and satisfies
for all \(\rho>1/2\). Moreover, it easy to check that \(n_{S_{e}}(t)\geq 2n_{\sigma(L(h_{0}))}(t)1\) for all \(t>\lambda_{0}(h_{0,0}^{\prime })\). By Theorem 4.2 we complete the proof. □
The corollary is a generalization of the Borg’s twospectra theorem. In fact, if \(h_{0,l}=h_{0}\) and \(h_{0,l}^{\prime }=h_{0}^{\prime}\) for all \(l\in\mathbb{N}_{0}\), and \(\{\lambda _{l}(h_{0})\}_{l=0}^{\infty}\) and \(\lambda_{l}(h_{0}^{\prime})\), except any one of them, are known, then q on \([0,1]\) and \(h_{1}\) are determined uniquely. Furthermore, this can be also viewed as a generalization of twothirds spectra theorem by del Rio, Gesztesy, and Simon [19], Cor. 3.3. However, Corollary 4.5 here shows that the known eigenvalues are allowed to belong to a countable number of different spectra.
Finally, we give a generalization of halfinverse theorem of Hochstadt and Lieberman, which is involved in a countable number of different boundary conditions.
Corollary 4.6
Under the assumptions of Theorem 4.2, if \(a=1/2\), then \(\{h_{0,l}\}_{l=0}^{ \infty}\) and the eigenvalues \(\{\lambda_{l}(h_{0,l})\}_{l=0}^{\infty}\) uniquely determine \(h_{1}\) and q on \([0,1]\).
Proof
By Lemma 4.1 the sequence \(S_{e}=\{\lambda_{l}(h_{0,l})\} _{l=0}^{\infty}\) is strictly increasing and satisfies
for all \(l\in\mathbb{N}\). In this case, it is easy to ensure that (4.1) holds for \(\lambda(h_{0,l})=\lambda_{l}(h_{0,l})\) and \(n_{S_{e}}(t)\geq n_{\sigma(L(\infty))}(t)\) for all \(t>0\); hence, by Theorem 4.2, \(h_{1}\) and q on \([0,1]\) are uniquely determined. □
It should be noted that if all the \(h_{0,l}=h_{0}\) where \(h_{0}\in\mathbb{R}\) or \(h_{0}=\infty\), then \(h_{1}\) and q on \([0,1]\) are uniquely determined. This is the halfinverse theorem of Hochstadt and Lieberman.
References
Freiling, G, Yurko, V: Inverse SturmLiouville Problems and Their Applications. Nova Science Publishers, Huntington (2001)
Levitan, B: Inverse SturmLiouville Problems. VNU Science Press, Utrecht (1987)
Psoschel, P, Trubowitz, E: Inverse Spectral Theory. Academic Press, Boston (1987)
McLaughlin, JR: Analytical methods for recovering coefficients in differential equations from spectral data. SIAM Rev. 28, 5372 (1986)
Wei, G, Xu, HK: Inverse spectral problem with partial information given on the potential and norming constants. Trans. Am. Math. Soc. 364, 32653288 (2012)
Hochstadt, H, Lieberman, B: An inverse SturmLiouville problem with mixed given data. SIAM J. Appl. Math. 34, 676680 (1978)
Gesztesy, F, Simon, B: Inverse spectral analysis with partial information on the potential, II. The case of discrete spectrum. Trans. Am. Math. Soc. 352, 27652787 (2000)
Amour, L, Raoux, T: Inverse spectral results for Schrödinger operators on the unit interval with potentials in \(L_{p}\) spaces. Inverse Probl. 23, 2367 (2007)
Amour, L, Raoux, T: Inverse spectral results for Schrödinger operators on the unit interval with partial information given on the potentials. J. Math. Phys. 50, 033505 (2009)
Amour, L, Faupin, J: Inverse spectral results for the Schrödinger operator in Sobolev spaces. Int. Math. Res. Not. 22, 43194333 (2010)
Hald, O: Inverse eigenvalue problem for the mantle. Geophys. J. R. Astron. Soc. 62, 4148 (1980)
Horváth, M: On the inverse spectral theory of Schrödinger and Dirac operators. Trans. Am. Math. Soc. 353, 41554171 (2001)
Horváth, M: Inverse spectral problems and closed exponential systems. Ann. Math. 162, 885918 (2005)
Wei, G, Xu, HK: On the missing eigenvalue problem for an inverse SturmLiouville problem. J. Math. Pures Appl. 91, 468475 (2009)
Wei, G, Wei, Z: Inverse spectral problem for Jacobi matrices with partial spectral data. Inverse Probl. 27, 075007 (2011)
Marchenko, V: Some questions in the theory of onedimensional linear differential operators of the second order. I. Tr. Mosk. Mat. Obŝ. 1, 327420 (1952) (Russian; English transl. in Transl. Am. Math. Soc. 101, 1104 (1973))
Gesztesy, F, Simon, B: Uniqueness theorems in inverse spectral theory for onedimensional Schrodinger operators. Trans. Am. Math. Soc. 348, 349373 (1996)
Gesztesy, F, Simon, B: Inverse spectral analysis with partial information on the potential, I. The case of an a.c. component in the spectrum. Helv. Phys. Acta 70, 6671 (1997)
del Rio, R, Gesztesy, F, Simon, B: Inverse spectral analysis with partial information on the potential, III. Updating boundary conditions. Int. Math. Res. Not. 15, 751758 (1997)
Danielyan, A, Levitan, BM: On the asymptotic behavior of the WeylTitchmarsh mfunction. Math. USSR, Izv. 36, 487496 (1991)
Markushevich, AI: Theory of Functions of a Complex Variable. Chelsea, New York (1985)
McLaughlin, JR, Rundell, W: A uniqueness theorem for an inverse SturmLiouville problem. J. Math. Phys. 28, 14711472 (1987)
Kong, Q, Wu, H, Zettl, A: Dependence of the nth SturmLiouville eigenvalue on the problem. J. Differ. Equ. 156, 328354 (1999)
Weidmann, J: Spectral Theory of Ordinary Differential Operators. Lecture Notes in Mathematics, vol. 1258. Springer, Berlin (1987)
Acknowledgements
The authors would like to thank the referees for their helpful comments and suggestions, which improved and strengthened the presentation of this manuscript. The research was supported in part by the National Natural Science Foundation of China (No. 11571212), Youth Innovation Fund of Xi’an Shiyou University (No. Z15135), and Youth Innovation Team Fund of Xi’an Shiyou University (No. 2015QNKYCXTD03).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors have equal contributions to each part of this article. All the authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wei, Z., Wei, G. Uniqueness results for inverse SturmLiouville problems with partial information given on the potential and spectral data. Bound Value Probl 2016, 200 (2016). https://doi.org/10.1186/s1366101606926
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101606926
Keywords
 Asymptotic Expansion
 Entire Function
 Uniqueness Theorem
 Uniqueness Result
 Partial Information