Abstract
We consider the non-self-adjoint Sturm–Liouville operator on a finite interval. The inverse spectral problem is studied, which consists in recovering this operator from its eigenvalues and generalized weight numbers. We prove local solvability and stability of this inverse problem, relying on the method of spectral mappings. Possible splitting of multiple eigenvalues is taken into account.
Similar content being viewed by others
1 Introduction
The paper concerns the theory of inverse spectral problems for differential operators. Such problems consist in constructing operators by their spectral information.
We consider the Sturm–Liouville boundary value problem (BVP) \(L = L(q(x), h, H)\) endowed with Robin boundary conditions (see, e.g., [1]) in the following form:
Here, λ is the spectral parameter, q is the complex-valued function from \(L_{2}(0, \pi )\), called the potential, h and H are complex numbers. Denote by \(\{ \lambda _{n} \}_{n = 0}^{\infty }\) the eigenvalues of L counted with their multiplicities and numbered so that \(|\lambda _{n}| \le |\lambda _{n+1}|\), \(n \ge 0\). The eigenvalue problem (1.1)–(1.2) appears after separation of variables in problems of mathematical physics, describing wave propagation, heating, and other processes. More information about applications and generalizations of the Sturm–Liouville boundary value problems can be found, e.g., in the recent papers [2–4].
The most complete results on inverse problems of spectral analysis have been obtained for self-adjoint Sturm–Liouville operators. Those results include uniqueness theorems, algorithms for constructive solution, spectral data characterization, local solvability and stability (see studies [5–11] and the references therein).
Let us formulate one of the classical inverse problems for L in the self-adjoint case (i.e., when \(q(x)\) for \(x \in (0, \pi )\), h and H are real). In this case, all the eigenvalues \(\{ \lambda _{n} \}_{n = 0}^{\infty }\) are real and simple. Let \(\varphi (x, \lambda )\) be the solution of equation (1.1), satisfying the initial conditions \(\varphi (0, \lambda ) = 1\), \(\varphi '(0, \lambda ) = h\). Define the weight numbers
Inverse problem 1.1
Given the data \(\{ \lambda _{n}, \alpha _{n} \}_{n = 0}^{\infty }\), construct \(q(x)\), h, and H.
Inverse problem 1.1 is equivalent to the inverse problem by the spectral function, studied by Marchenko [5].
In the non-self-adjoint case, some of the eigenvalues \(\{ \lambda _{n} \}_{n = 0}^{\infty }\) can be multiple, so the problem becomes more difficult to investigate. There are significantly less studies on inverse problems for the non-self-adjoint operator (1.1)–(1.2). In particular, in [8] the classical results for the self-adjoint Sturm–Liouville operator are generalized to the non-self-adjoint case with simple eigenvalues. Tkachenko [12] developed the method for solving another inverse problem, which consists in recovering the non-self-adjoint Sturm–Liouville operator from two spectra corresponding to different boundary conditions.
Note that the spectral data \(\{ \lambda _{n}, \alpha _{n} \}_{n = 0}^{\infty }\) defined above do not uniquely specify q, h, and H in the general case. Nevertheless, in [13] the so-called generalized spectral data (GSD) has been introduced in the following way. Without loss of generality, we assume that multiple eigenvalues are consecutive: \(\lambda _{n} = \lambda _{n + 1} = \cdots = \lambda _{n + m_{n} - 1}\), where \(m_{n}\) is the multiplicity of the eigenvalue \(\lambda _{n}\). By virtue of the well-known asymptotics
we have \(m_{n} = 1\) for sufficiently large n. Define
The sequence \(\{ \varphi _{n} \}_{n = 0}^{\infty }\) is a complete system of root-functions for the problem L. The generalized weight numbers are defined as follows:
Clearly, definition (1.5) generalizes (1.3).
Thus, Inverse problem 1.1 turns into the inverse problem by GSD \(\{ \lambda _{n}, \alpha _{n} \}_{n = 0}^{\infty }\). Buterin [13] has proved the uniqueness theorem for this inverse problem and obtained a constructive algorithm for its solution based on the method of spectral mappings [8, 14]. The question of GSD characterization for Sturm–Liouville operators with complex-valued potentials was investigated in [15, 16]. However, necessary and sufficient conditions on GSD from [15, 16] require solvability of some main equations. Those requirements are difficult to verify.
The aim of this paper is to investigate local solvability and stability of Inverse problem 1.1 in the non-self-adjoint case. Note that, under a small perturbation of the spectrum, multiple eigenvalues can split into smaller groups, so the generalized weight numbers change their form. As far as we know, this effect has not been studied before.
Some fragmentary results on stability under splitting of multiple eigenvalues were obtained in [17–19] for various inverse problems. Recently Buterin and Kuznetsova [20] proved local solvability and stability for the inverse problem by two spectra for the non-self-adjoint Sturm–Liouville operator. They also took splitting of multiple eigenvalues into account. However, Inverse problem 1.1 appears to be more interesting for investigation because of generalized weight numbers changing their structure.
In [15], some results on local solvability and stability were obtained for the inverse problem of recovering the non-self-adjoint Sturm–Liouville operator with the Dirichlet boundary conditions from GSD. However, the authors of [15] considered only such perturbations of GSD that preserve eigenvalue multiplicities. In the present paper, arbitrary perturbations that can change eigenvalue multiplicities are studied. We obtain special conditions on a GSD perturbation, which allow GSD to change their structure, but the perturbation of the potential remains small in \(L_{2}\)-norm. In our sequel studies [21, 22], the results of this paper are applied to investigate the non-self-adjoint Sturm–Liouville problem with arbitrary entire functions in the boundary condition.
The paper is organized as follows. In Sect. 2, our main Theorems 2.2 and 2.3 on local solvability and stability are formulated. Their proofs are constructive and develop the ideas of the method of spectral mappings [8, 13, 14]. This method consists in reduction of a nonlinear inverse problem to a linear equation in a Banach space, called the main equation. The main equation and the corresponding Banach space are specially constructed for every certain inverse problem. For our problem, the most important feature of the main equation is that it contains “continuous” and “discrete” components. Derivation of the main equation and the proof of its unique solvability are provided in Sect. 3. In Sect. 4, we finish the proofs of Theorems 2.2 and 2.3, and consider an example. In Sect. 5, analogous results are formulated for equation (1.1) with the Dirichlet boundary conditions.
2 Main results
We start with some preliminaries. Let \(\varPhi (x, \lambda )\) be the solution of Eq. (1.1) satisfying the boundary conditions \(\varPhi '(0, \lambda ) - h \varPhi (0, \lambda ) = 1\), \(\varPhi '(\pi , \lambda ) + H \varPhi (\pi , \lambda ) = 0\). The function \(M(\lambda ) := \varPhi (0, \lambda )\) is called the Weyl function of the problem L. Weyl functions are natural spectral characteristics for various self-adjoint and non-self-adjoint operators (see [5, 8]). It is easy to show that \(\varPhi (x, \lambda )\) for each fixed \(x \in [0, \pi ]\) and \(M(\lambda )\) are meromorphic functions in the λ-plane having the poles at \(\lambda = \lambda _{n}\), \(n \ge 0\). In [13], the following representation has been obtained:
The coefficients \(\{ M_{n} \}_{n = 0}^{\infty }\) can be uniquely determined by the generalized weight numbers \(\{ \alpha _{n} \}_{n = 0}^{\infty }\) and vice versa from the linear system
In particular, \(M_{n} = \alpha _{n}^{-1}\), if \(m_{n} = 1\). Thus, Inverse problem 1.1 by the GSD is equivalent to the following one.
Inverse problem 2.1
Given the data \(G := \{ \lambda _{n}, M_{n} \}_{n = 0}^{\infty }\), find q, h, and H.
Further we study Inverse problem 2.1 instead of Inverse problem 1.1.
Along with the problem L, we consider complex numbers \(\tilde{G} = \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 0}^{\infty }\). We will show that, if the data G̃ are “sufficiently close” to \(G = \{ \lambda _{n}, M_{n} \}_{n = 0}^{\infty }\) in some sense (a rigorous formulation is given in Theorem 2.2), then G̃ will correspond to some BVP \(\tilde{L} = L(\tilde{q}(x), \tilde{h}, \tilde{H})\) of the same form as L, but with different coefficients. We agree that, if a certain symbol γ is related to L, then the symbol γ̃ with tilde is the analogous object constructed by the data G̃.
Let \(N = N(L) \ge 0\) be the minimal integer such that \(m_{n} = 1\) for \(n > N\) and \(|\lambda _{N}| < |\lambda _{N+1}|\). Fix any real \(r \in (|\lambda _{N}|, |\lambda _{N + 1}|)\), and consider the contour \(\gamma _{N} = \gamma _{N}(L) = \{ \lambda \in \mathbb{C} \colon | \lambda | = r \}\) surrounding the eigenvalues \(\{ \lambda _{n} \}_{n = 0}^{N}\). Put
Note that the function \(\hat{\mathcal{M}}_{N}(\lambda )\) is constructed by the data \(\{ \lambda _{n}, M_{n} \}_{n = 0}^{N}\) and \(\{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 0}^{N}\). Define \(\rho _{n} := \sqrt{\lambda _{n}}\), \(\arg \rho _{n} \in [-\frac{\pi }{2}, \frac{\pi }{2} )\), and \(\xi _{n} := |\rho _{n} - \tilde{\rho }_{n}| + |M_{n} - \tilde{M}_{n}|\) for \(n \ge 0\).
Theorem 2.2
Let\(L = L(q(x), h, H)\)be a fixed BVP in the form (1.1)–(1.2), \(N = N(L)\), \(\gamma _{N} = \gamma _{N}(L)\). Then there exists\(\delta _{0} > 0\) (depending onL) such that, for any\(\delta \in (0, \delta _{0}]\)and any complex numbers\(\tilde{G} = \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 0}^{\infty }\)satisfying the conditions
there exist a complex-valued function\(\tilde{q} \in L_{2}(0, \pi )\)and complex numbersh̃, H̃being the solution of Inverse problem2.1forG̃. Moreover,
Here and below, the same symbol C is used for various positive constants depending on L and \(\delta _{0}\) and independent of δ, G̃, etc.
Recall that the function \({\mathcal{M}}_{N}(\lambda )\) is fixed and all its poles lie inside \(\gamma _{N}\). Condition (2.2) for sufficiently small δ implies that all the poles of \(\tilde{\mathcal{M}}_{N}(\lambda )\) also lie inside \(\gamma _{N}\). Moreover, the following estimate holds:
However, the values \(\lambda _{n}\) and \(\tilde{\lambda }_{n}\) can have different multiplicities. Namely, multiple values \(\lambda _{n}\) can split into smaller groups, so \(S \subseteq \tilde{S}\), \(\tilde{m}_{n} = m_{n} = 1\) for all \(n > N\).
We also obtain local solvability and stability conditions on the discrete data, not involving the continuous function \(\hat{\mathcal{M}}_{N}\). Such conditions are provided in the following theorem.
Theorem 2.3
Let\(L = L(q(x), h, H)\)be a fixed BVP in the form (1.1)–(1.2), \(N = N(L)\). Then there exists\(\delta _{0} > 0\) (depending onL) such that, for any\(\delta \in (0, \delta _{0}]\)and any complex numbers\(\tilde{G} = \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 0}^{\infty }\)satisfying conditions (2.3) and
there exist a complex-valued function\(q \in L_{2}(0, \pi )\)and complex numbersh, Hbeing the solution of Inverse problem2.1forG̃. Moreover, estimates (2.4) hold.
Condition (2.5) is imposed for simplicity. One can similarly consider the case of multiple values among \(\{ \tilde{\lambda }_{n} \}_{n = 0}^{N}\), but then one needs more complicated requirements instead of relations (2.6).
Theorems 2.2 and 2.3 generalize their analogue for the self-adjoint case [8, Theorem 1.6.4].
3 Main equation
The goal of this section is to derive the main equation in a Banach space, which plays a crucial role in the proofs of the main results. Our approach is based on the method of spectral mappings (see [14]). Since a part of the proofs repeat the standard technique of [8, Sect. 1.6] and [13], we omit the details and focus on the differences of our methods from the classical ones.
Let us consider two BVPs \(L = L(q(x), h, H)\) and \(\tilde{L} = (\tilde{q}(x), \tilde{h}, \tilde{H})\) with different coefficients. Fix \(N = N(L)\) and the contour \(\gamma _{N}\). Assume that the eigenvalues \(\{ \tilde{\lambda }_{n} \}_{n = 0}^{N}\) lie inside \(\gamma _{N}\) and \(\{ \tilde{\lambda }_{n} \}_{n = N+1}^{\infty }\) lie outside \(\gamma _{N}\).
Define
For \(K \in \mathbb{N}\), consider the region \(\varUpsilon _{K} := \{ \lambda \in \mathbb{C} \colon -p < \operatorname{Re} \lambda < (K + \frac{1}{2})^{2}, |\operatorname{Im} \lambda | < p \}\) and its boundary \(\upsilon _{K} := \partial \varUpsilon _{K}\) with the counter-clockwise circuit. The constant p is chosen so that \(\operatorname{Re} \lambda _{n} > -p\), \(\operatorname{Re} \tilde{\lambda }_{n} > -p\), \(|\operatorname{Im} \lambda _{n}| < p\), \(|\operatorname{Im} \tilde{\lambda }_{n}| < p\) for all \(n \ge 0\). Using the contour integration (see [8, p. 53] for details), we obtain the relation
where \(\hat{M} := \tilde{M} - M\). Applying the residue theorem and observing that the function \((\hat{M}(\lambda ) - \hat{\mathcal{M}}_{N}(\lambda ))\) is analytic inside \(\gamma _{N}\), we obtain the relation
We use relation (3.1) for deriving the main equation of Inverse problem 2.1 in a special Banach space. Denote by \(B_{C}\) the Banach space of functions continuous on \(\gamma _{N}\) with the norm
Denote by \(B_{D}\) the Banach space of bounded infinite sequences \(f_{D} = [ f_{n} ]_{n = 1}^{\infty }\) with the norm
Define the Banach space
Here and below the lower indices C and D mean a “continuous” and a “discrete” part, respectively.
For every \(x \in [0, \pi ]\), define the element \(\psi (x) = (\psi _{C}(x), \psi _{D}(x))\), where
The element \(\tilde{\psi }(x)\) is defined analogously by using φ̃ instead of φ.
For the solution \(\varphi (x, \lambda )\), the following standard asymptotics is valid:
where \(\rho = \sqrt{\lambda }\), \(\operatorname{Re} \rho \ge 0\). Using (1.4) and (3.2), we obtain the estimates
where the constant C does not depend on x and n. Analogous relations are valid for \(\tilde{\varphi }(x, \lambda )\). Consequently, for each fixed \(x \in [0, \pi ]\), we have \(\psi (x) \in B\) and \(\tilde{\psi }(x) \in B\).
For each fixed \(x \in [0, \pi ]\), we define the linear bounded operator \(R(x) \colon B \to B\) as follows:
where \(\lambda \in \gamma _{N}\), \(j \ge 1\), \(f_{D} = [ f_{k} ]_{k = 1}^{\infty }\).
Taking \(\lambda \in \gamma _{N}\), \(\lambda = \tilde{\lambda }_{n}\) and \(\lambda = \lambda _{n}\), \(n > N\), in (3.1), we obtain the so-called main equation in the Banach space B:
Here, I is the identity operator in B.
Now suppose that the problem L and the data \(\tilde{G} = \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 0}^{\infty }\) satisfy the conditions of Theorem 2.2. We choose \(\delta _{0}\) to be so small that the values \(\{ \tilde{\lambda }_{n} \}_{n = 0}^{N}\) definitely lie inside \(\gamma _{N}\) and the values \(\{ \tilde{\lambda }_{n} \}_{n > N}\) definitely lie outside \(\gamma _{N}\). It is not known whether the data G̃ correspond to any problem L̃ or not. Let \(\psi (x)\) and \(R(x)\) be constructed by L and G̃ via the formulas above. Then the following assertion holds.
Lemma 3.1
For each fixed\(x \in [0, \pi ]\), the following estimate is valid:
where the constantCdoes not depend onx, δand on the choice ofG̃satisfying the conditions of Theorem 2.2.
Proof
In order to prove (3.6), it is sufficient to obtain similar estimates for \(\| R_{{CC}}(x) \|_{B_{C} \to B_{C}}\), \(\| R_{{CD}}(x) \|_{B_{D} \to B_{C}}\), \(\| R_{{DC}}(x) \|_{B_{C} \to B_{D}}\), and \(\| R_{{DD}}(x) \|_{B_{D} \to B_{D}}\). Using (2.2) and (3.3), we get
The standard estimates (see [8, Lemma 1.6.2]) imply
Combining the latter relation with (3.4), (2.3) and the obvious estimates
we get
One can similarly study the components \(R_{{DC}}(x)\) and \(R_{{DD}}(x)\) and finally arrive at the assertion of the lemma. □
Corollary 3.2
There exists\(\delta _{0} > 0\)such that, for every\(\delta \le \delta _{0}\)and\(x \in [0, \pi ]\), the estimate\(\| R(x) \|_{B \to B} \le \frac{1}{2}\)holds. In this case, for each fixed\(x \in [0, \pi ]\), the operator\((I + R(x))\)has a bounded inverse, and the main equation (3.5) has a unique solution.
4 Proofs
The aim of this section is to prove Theorems 2.2 and 2.3. Using the solution of the main equation (3.5), we construct the values \(\tilde{q}(x)\), h̃, and H̃ being the solution of Inverse problem 2.1 for G̃. Furthermore, stability estimates (2.4) are proved. We just outline the general strategy, since the detailed proofs are analogous to [8, Sect. 1.6.2].
Let L be a fixed BVP, and let \(\delta _{0}\) satisfy the conditions of Corollary 3.2. Let \(\tilde{G} = \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 0}^{\infty }\) be arbitrary fixed data satisfying the conditions of Theorem 2.2. Then the main equation (3.5) constructed by L and G̃ has a unique solution for each fixed \(x \in [0, \pi ]\). Denote this solution by \(\tilde{\psi }(x) = (\tilde{\psi }_{C}(x), \tilde{\psi }_{D}(x))\), \(\tilde{\psi }_{C}(x) = \tilde{\psi }_{C}(x, \lambda )\), \(\tilde{\psi }_{D}(x) = [\tilde{\psi }_{n}(x)]_{n = 1}^{\infty }\).
Lemma 4.1
The functions\(\tilde{\psi }_{C}(x, \lambda )\)for each fixed\(\lambda \in \gamma _{N}\)and\(\tilde{\psi }_{n}(x)\)for\(n \ge 1\)are continuously differentiable with respect to\(x \in [0, \pi ]\). Moreover, the following estimates hold for\(x \in [0, \pi ]\), \(\nu = 0, 1\):
where the constantCdepends only onLand\(\delta _{0}\).
Define the function
It is easy to check that
Consequently, Lemma 4.1 implies
Similar estimates also hold for \(\lambda _{N + k}\) replaced by \(\tilde{\lambda }_{N + k}\).
Introduce the functions
Using (2.2), (2.3), (3.7), (4.1), and (4.2), we prove the following lemma.
Lemma 4.2
The integral\(\int _{\gamma _{N}}(\cdots ) \,d\xi \)and the series\(\sum_{n = N + 1}^{\infty }(\cdots )\)in (4.2) converge absolutely and uniformly with respect to\(x \in [0, \pi ]\). The function\(\varepsilon _{0}\)is absolutely continuous on\([0, \pi ]\)and\(\varepsilon \in L_{2}(0, \pi )\). In addition,
Define
Lemma 4.2 implies that \(\tilde{q} \in L_{2}(0, \pi )\) and estimates (2.4) hold. Consider the BVP \(\tilde{L} = L(\tilde{q}(x), \tilde{h}, \tilde{H})\) and the function
Lemma 4.3
The function\(\tilde{M}(\lambda )\)is the Weyl function ofL̃.
Thus, Corollary 3.2 and Lemmas 4.1–4.3 together prove Theorem 2.2.
Proof of Theorem 2.3
We prove Theorem 2.3 by reduction to Theorem 2.2. For simplicity, suppose that the problem L has the only multiple eigenvalue \(\lambda _{0}\) of multiplicity \(m := m_{0}\). The general case is completely similar, but more complicated technically. In our special case, we have
Using the obvious relation
we obtain
Substituting (4.4) into (4.3), we derive
For an appropriate choice of \(\delta _{0}\), we have \(|\lambda - \tilde{\lambda }_{j}| \ge c_{0}\), \(j = \overline{0, m-1}\), \(|\lambda - \lambda _{0}| \ge c_{0}\) for \(\lambda \in \gamma _{N}\), where the constant \(c_{0} > 0\) depends only on L and \(\delta _{0}\). Therefore, taking estimates (2.6) into account, we conclude that
Using the latter relation together with the other conditions of Theorem 2.3, we apply Theorem 2.2 and arrive at the assertion of Theorem 2.3. □
Example 4.4
Suppose that \(m_{0} = 2\), \(m_{n} = 1\) for \(n \ge 2\), i.e., \(N = 1\). Let us construct a special family of data \(\tilde{G} = \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}\) “close” to G in the sense of Theorem 2.3. For simplicity, put \(\tilde{\lambda }_{n} := \lambda _{n}\), \(\tilde{M}_{n} := M_{n}\) for \(n \ge 2\), i.e., only the first double eigenvalue \(\lambda _{0}\) can be perturbed. In this case, condition (2.3) holds automatically for any \(\delta > 0\) and conditions (2.6) take the form
Fix \(\delta > 0\) and put
One can easily check that
which implies (4.5) and (4.6). It can be also checked that
for \(\delta \in (0, \delta _{0}]\), where \(\delta _{0}\) is sufficiently small and the constant C depends only on L and \(\delta _{0}\). Despite the constant C in (4.7), we can apply Theorem 2.3 and conclude that, for sufficiently small \(\delta _{0} > 0\) and \(\delta \in (0, \delta _{0}]\), there exists the solution \((\tilde{q}, \tilde{h}, \tilde{H})\) of Inverse problem 2.1 for the data G̃ and estimates (2.4) hold.
An interesting feature of this example is that the eigenvalues \(\tilde{\lambda }_{0}\), \(\tilde{\lambda }_{1}\) are \(\sqrt{\delta }\)-close to \(\lambda _{0}\) and the generalized weight numbers \(\tilde{M}_{0}\), \(\tilde{M}_{1}\) are sufficiently large for sufficiently small δ. Nevertheless, the potential q̃ is Cδ-close to q in \(L_{2}\)-norm. Analogous examples can be constructed for \(m_{0} > 2\) and eigenvalues \(\{ \tilde{\lambda }_{n} \}_{n = 0}^{m_{0}-1}\), being \(\delta ^{1/m_{0}}\)-close to \(\lambda _{0}\).
5 Case of Dirichlet boundary conditions
In this section, we formulate the results similar to Theorems 2.2 and 2.3 for the case of the Dirichlet boundary conditions. Since the proofs for different types of boundary conditions are quite similar, we provide only formulations in this section.
Consider the boundary problem \(L_{0} = L_{0}(q(x))\) for equation (1.1) with the complex-valued potential \(q \in L_{2}(0, \pi )\) and the Dirichlet boundary conditions
Denote by \(\{ \lambda _{n} \}_{n = 1}^{\infty }\) the eigenvalues of L counted with their multiplicities and numbered so that \(|\lambda _{n}| \le |\lambda _{n + 1}|\), \(n \ge 1\). Equal eigenvalues are consecutive.
The eigenvalue multiplicities \(\{ m_{n} \}_{n = 1}^{\infty }\) for the problem \(L_{0}\) are introduced similarly to the case of Robin boundary conditions (1.2). Note that the asymptotic formula (1.4) is valid for \(n \ge 1\), so we choose the minimal \(N = N(L_{0})\) such that \(m_{n} = 1\) for \(n > N\) and \(|\lambda _{N}| < |\lambda _{N + 1}|\). Fix the contour \(\gamma _{N} = \{ \lambda \in \mathbb{C} \colon |\lambda | = r\}\), \(r \in (|\lambda _{N}|, |\lambda _{N + 1}|)\).
Let \(\varPhi (x, \lambda )\) be the solution of equation (1.1) under the conditions \(\varPhi (0, \lambda ) = 1\), \(\varPhi (\pi , \lambda ) = 0\). The Weyl function is defined as \(M(\lambda ) := \varPhi '(0, \lambda )\). Define
The following inverse problem is analogous to Inverse problem 2.1.
Inverse problem 5.1
Given the data \(G := \{ \lambda _{n}, M_{n} \}_{n = 1}^{\infty }\) for the problem \(L_{0}(q(x))\), find the potential q.
Consider the data \(\tilde{G} := \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 1}^{ \infty }\). Define the function \(\hat{\mathcal{M}}_{N}(\lambda )\) via formulas (2.1), using the data \(\{ \lambda _{n}, M_{n} \}_{n = 1}^{N}\) and \(\{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 1}^{N}\) defined in this section and
Put \(\rho _{n} := \sqrt{\lambda _{n}}\), \(\arg \rho _{n} \in [ -\frac{\pi }{2}, \frac{\pi }{2} )\), and \(\xi _{n} := |\rho _{n} - \tilde{\rho }_{n}| + n^{-2} |M_{n} - \tilde{M}_{n}|\) for \(n \ge 1\).
Theorem 5.2
Let\(L_{0} = L_{0}(q(x))\)be a fixed BVP in the form (1.1), (5.1), \(N = N(L_{0})\), \(\gamma _{N} = \gamma _{N}(L_{0})\). Then there exists\(\delta _{0} > 0\) (depending on\(L_{0}\)) such that, for any\(\delta \in (0, \delta _{0}]\)and any complex numbers\(\tilde{G} = \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 1}^{\infty }\)satisfying conditions (2.2) and (2.3), there exists a complex-valued function\(\tilde{q} \in L_{2}(0, \pi )\)being the solution of Inverse problem5.1forG̃. Moreover,
where the constant\(C > 0\)depends only on\(L_{0}\)and\(\delta _{0}\).
Theorem 5.3
Let\(L_{0} = L_{0}(q(x))\)be a fixed BVP in the form (1.1), (5.1), \(N = N(L_{0})\). Then there exists\(\delta _{0} > 0\) (depending on\(L_{0}\)) such that, for any\(\delta \in (0, \delta _{0}]\)and any complex numbers\(\tilde{G} = \{ \tilde{\lambda }_{n}, \tilde{M}_{n} \}_{n = 1}^{\infty }\)satisfying conditions (2.3), (2.5) for\(n, k \ge 1\)and (2.6), there exists a complex-valued function\(\tilde{q} \in L_{2}(0, \pi )\)being the solution of Inverse problem5.1forG̃. Moreover, estimate (5.2) holds.
Remark 5.4
The arguments of Sects. 3 and 4 imply that Theorems 2.2 and 5.2 are also valid if we change \(\hat{\mathcal{M}}_{N}(\lambda )\) to \(\hat{M}(\lambda )\) in (2.2).
References
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Positive solutions for the perturbations of the Robin eigenvalue problem plus an indefinite potential. Discrete Contin. Dyn. Syst. 37(5), 2589–2618 (2017)
Bai, Y., Wang, W., Li, K.: Solvability and coerciveness of multi-point Sturm–Liouville problems with abstract linear functionals. Bound. Value Probl. 2019, Paper No. 17 (2019)
Bondarenko, N.: Spectral analysis of the matrix Sturm–Liouville operator. Bound. Value Probl. 2019, Paper No. 178 (2019)
Hwang, G.: The elliptic sinh-Gordon equation in a semi-strip. Adv. Nonlinear Anal. 8(1), 533–544 (2019)
Marchenko, V.A.: Sturm–Liouville Operators and Their Applications. Naukova Dumka, Kiev (1977) (Russian); English transl.: Birkhäuser (1986)
Levitan, B.M.: Inverse Sturm–Liouville Problems. Nauka, Moscow (1984) (Russian); English transl.: VNU Sci. Press, Utrecht (1987)
Pöschel, J., Trubowitz, E.: Inverse Spectral Theory. Academic Press, New York (1987)
Freiling, G., Yurko, V.: Inverse Sturm–Liouville Problems and Their Applications. Nova Science Publishers, Huntington (2001)
Gala, S., Liu, Q., Ragusa, M.A.: A new regularity criterion for the nematic liquid crystal flows. Appl. Anal. 91(9), 1741–1747 (2012)
Gala, S., Ragusa, M.A.: Logarithmically improved regularity criterion for the Boussinesq equations in Besov spaces with negative indices. Appl. Anal. 95(6), 1271–1279 (2016)
Guo, Y., Wei, G., Yao, R.: An inverse three spectra problem for Sturm–Liouville operators. Bound. Value Probl. 2018, Paper No. 68 (2018)
Tkachenko, V.: Non-selfadjoint Sturm–Liouville operators with multiple spectra. In: Interpolation Theory, Systems Theory and Related Topics. Oper. Theory Adv. Appl., vol. 134, pp. 403–414. Birkhäuser, Basel (2002)
Buterin, S.A.: On inverse spectral problem for non-selfadjoint Sturm–Liouville operator on a finite interval. J. Math. Anal. Appl. 335(1), 739–749 (2007)
Yurko, V.A.: Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-Posed Problems Series. VNU Science, Utrecht (2002)
Buterin, S.A., Shieh, C.-T., Yurko, V.A.: Inverse spectral problems for non-selfadjoint second-order differential operators with Dirichlet boundary conditions. Bound. Value Probl. 2013, Paper No. 180 (2013)
Albeverio, S., Hryniv, R., Mykytyuk, Y.: On spectra of non-self-adjoint Sturm–Liouville operators. Sel. Math. New Ser. 13, 571–599 (2008)
Marletta, M., Weikard, R.: Weak stability for an inverse Sturm–Liouville problem with finite spectral data and complex potential. Inverse Probl. 21, 1275–1290 (2005)
Horvath, M., Kiss, M.: Stability of direct and inverse eigenvalue problems: the case of complex potentials. Inverse Probl. 27, 095007 (2011)
Bondarenko, N., Buterin, S.: On a local solvability and stability of the inverse transmission eigenvalue problem. Inverse Probl. 33, 115010 (2017)
Buterin, S., Kuznetsova, M.: On Borg’s method for non-selfadjoint Sturm–Liouville operators. Anal. Math. Phys. 9, 2133–2150 (2019)
Bondarenko, N.P.: Inverse Sturm–Liouville problem with analytical functions in the boundary condition. Open Math. 8(1), 512–528 (2020). https://doi.org/10.1515/math-2020-0188
Bondarenko, N.P.: Solvability and stability of the inverse Sturm–Liouville problem with analytical functions in the boundary condition. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6451
Acknowledgements
The author is grateful to anonymous referees for their valuable comments.
Availability of data and materials
Not applicable.
Funding
This work was supported by Grant 20-31-70005 of the Russian Foundation for Basic Research.
Author information
Authors and Affiliations
Contributions
NPB is the sole author of this paper. The author has read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that she has no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bondarenko, N.P. Local solvability and stability of the inverse problem for the non-self-adjoint Sturm–Liouville operator. Bound Value Probl 2020, 123 (2020). https://doi.org/10.1186/s13661-020-01422-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01422-4