- Research
- Open Access
- Published:
Spectrum of the Sturm-Liouville operators with boundary conditions polynomially dependent on the spectral parameter
Journal of Inequalities and Applications volume 2015, Article number: 42 (2015)
Abstract
In this paper, we consider the operator L generated in \(L_{2}(\mathbb{R}_{+})\) by the Sturm-Liouville equation \(-y^{\prime\prime}+q(x)y=\lambda^{2}y\), \(x\in \mathbb{R}_{+}= [ 0,\infty ) \), and the boundary condition \(( \alpha_{0}+\alpha_{1}\lambda+\alpha_{2}\lambda^{2} ) y^{\prime} ( 0 ) - ( \beta_{0}+\beta_{1}\lambda +\beta_{2}\lambda^{2} ) y ( 0 ) =0\), where q is a complex-valued function, \(\alpha_{i},\beta_{i}\in\mathbb{C}\), \(i=0,1,2\), and λ is an eigenparameter. Under the conditions \(q,q^{\prime}\in \operatorname{AC}(\mathbb{R}_{+})\), \(\lim_{x\rightarrow \infty} \vert q(x)\vert +\vert q^{\prime}(x) \vert =0\), \(\sup_{x\in \mathbb{R}_{+}} [ e^{\varepsilon\sqrt{x}} \vert q^{\prime\prime}(x)\vert ] <\infty\), \(\varepsilon>0\), using the uniqueness theorems of analytic functions, we prove that L has a finite number of eigenvalues and spectral singularities with finite multiplicities.
1 Introduction
Let us consider the non-selfadjoint Sturm-Liouville operator \(L_{0}\) generated in \(L_{2}(\mathbb{R}_{+})\) by the differential expression
and the boundary condition \(y^{\prime}(0)-hy(0)=0\), where q is a complex-valued function and \(h\in\mathbb{C}\). The spectrum and eigenfunction expansion of \(L_{0}\) were investigated by Naimark [1]. In this study, the spectrum of \(L_{0}\) is investigated and it is shown that it is composed of the eigenvalues, a continuous spectrum, and spectral singularities. The spectral singularities are poles of the resolvent which are embedded in the continuous spectrum and are not eigenvalues.
The effect of the spectral singularities in the spectral expansion of \(L_{0}\) in terms of the principal functions has been investigated in [2–4].
The spectral analysis of the non-selfadjoint operator, generated in \(L_{2}(\mathbb{R}_{+})\) by (1.1) and the integral boundary condition
where \(A\in L_{2}(\mathbb{R}_{+})\) is a complex-valued function, and \(\alpha, \beta\in\mathbb{C}\), was investigated in detail by Krall [5, 6].
Some problems of spectral theory of differential and other types of operators with spectral singularities were also studied in [7–12].
Note that in all the above articles, the boundary conditions are independent of the spectral parameter.
In 1977, Fulton [13], considered the Sturm-Liouville equation with one boundary condition dependent on the spectral parameter and obtained asymptotic estimates of eigenvalues or eigenfunctions. Since 1977, one of such Sturm-Liouville equations with boundary condition dependent on the spectral parameter was discussed by a number of authors (see [14–21]).
Let L denote the operator generated in \(L_{2}(\mathbb{R}_{+})\) by
where q is a complex-valued function, \(\alpha_{i},\beta_{i}\in \mathbb{C}\), \(i=0,1,2\), with \(\vert \alpha_{2}\vert +\vert \beta_{2}\vert \neq0\).
Differently from other studies in the literature, the specific feature of this paper, which is one of the articles having applicability in study areas such as physics, engineering, and mathematics, is the presence of the spectral parameter not only in the Sturm-Liouville equation but also in the boundary condition for a quadratic form.
In this article, we intend to investigate eigenvalues and the spectral singularities of the L, which has a finite number of eigenvalues and spectral singularities with a finite multiplicities, if the conditions
hold, where \(\operatorname{AC}(\mathbb{R}_{+})\) denotes the class of complex-valued absolutely continuous functions on \(\mathbb{R}_{+}\).
2 Jost solutions and Jost functions of L
Let us suppose that
By \(e(x,\lambda)\), we will denote the bounded solution of (1.2) satisfying the condition
The solution \(e(x,\lambda)\) is called the Jost solution of (1.2). Under the condition (2.1), the solution \(e(x,\lambda)\) has the integral representation [22, Chapter 3]
where the function \(K(x,t)\) is the solution of the integral equation
and \(K(x,t)\) is continuously differentiable with respect to its arguments. We also have
where \(w(x)=\int_{x}^{\infty} \vert q(s)\vert \, ds\) and \(c>0 \) is a constant.
Let
where \(\overline{\mathbb{C}}_{-}= \{ \lambda:\lambda\in\mathbb {C}, \operatorname{Im}\lambda\leq0 \} \).
Therefore, \(N^{+}\) and \(N^{-}\) are analytic in \(\mathbb{C} _{+}= \{ \lambda:\lambda\in\mathbb{C},\operatorname{Im}\lambda >0 \} \) and \(\mathbb{C}_{-}= \{ \lambda:\lambda\in\mathbb {C},\operatorname{Im}\lambda<0 \} \), respectively, and are continuous up to the real axis. The functions \(N^{+}\) and \(N^{-}\) are called Jost functions of L.
3 Eigenvalues and spectral singularities of L
We will denote the set of all eigenvalues and spectral singularities of L by \(\sigma_{d}(L)\) and \(\sigma_{ss}(L)\), respectively. It is evident that
where \(\mathbb{R}^{\ast}=\mathbb{R}\backslash \{ 0 \} \).
Definition 1
The multiplicity of a zero of \(N^{+}\) (or \(N^{-}\)) in \(\overline{\mathbb {C}}_{+}\) (or \(\overline{\mathbb{C}}_{-}\)) is called the multiplicity of the corresponding eigenvalue or spectral singularity of L.
From (3.1) we find that, in order to investigate the quantitative properties of the eigenvalues and the spectral singularities of L, we need to discuss the quantitative properties of the zeros of \(N^{+}\) and \(N^{-}\) in \(\overline{\mathbb{C}}_{+ }\) and \(\overline{\mathbb{C}}_{-}\), respectively.
Let
Let us denote the set of all limit points of \(M_{1}^{+}\) and \(M_{1}^{-}\) by \(M_{3}^{+}\) and \(M_{3}^{-}\) and the set of all zeros of \(N^{+}\) and \(N^{-}\) with infinite multiplicity in \(\overline{\mathbb{C}}_{+ }\) and \(\overline{\mathbb{C}}_{- }\), by \(M_{4}^{+}\) and \(M_{4}^{-}\), respectively.
It follows from the boundary uniqueness theorem of analytic functions that
and the linear Lebesgue measures of \(M_{3}^{\pm}\) and \(M_{4}^{\pm}\) are zero.
Now, let us suppose that
Theorem 1
Under condition (3.5) the functions \(N^{+}\) and \(N^{-}\) have the following representations:
where \(\beta^{\pm},\delta^{\pm},\varphi^{\pm}\in\mathbb{C}\), and \(f^{\pm}\in L_{1}(\mathbb{R}_{+})\).
Proof
Using (2.3), (2.4), and (2.6) we have (3.6), where
The following result is obtained in [23]:
Then from (2.4), (2.5), and (3.9), we get
where
and \(c>0\) is a constant.
It follows from (2.5), (3.8), (3.9), and (3.10) that \(f^{+}\in L_{1}(\mathbb{R}_{+})\). In a similar way we obtain (3.7). □
Theorem 2
Under the condition (3.5), we have:
-
(i)
The set of eigenvalues of L is bounded, has at most a countable number of elements, and its limit points can lie only in a bounded subinterval of the real axis.
-
(ii)
The set of spectral singularities of L is bounded and \(\mu ( \sigma_{ss}(L) ) =0\).
Proof
From (3.8), (3.9), and (3.10), we have
Using (3.4), (3.11), and the uniqueness theorems of analytic functions [24], we obtain (i) and (ii). □
Theorem 3
If
then the operator L has a finite number of eigenvalues and spectral singularities, and each of them is of finite multiplicity.
Proof
Using (2.5), (3.8), (3.9), (3.10), and (3.12) we find that
where \(c>0\) is a constant. By (3.6) and (3.13) we observe that the function \(N^{+}\) has an analytic continuation to the half-plane \(\operatorname {Im}\lambda>-\frac{\varepsilon}{2}\). So we get \(M_{4}^{+}=\emptyset\). It follows from (3.3) that \(M_{3}^{+}=\emptyset\). Therefore the sets \(M_{1}^{+}\) and \(M_{2}^{+}\) have a finite number of elements with a finite multiplicity. We obtain similar results for the sets \(M_{1}^{-}\) and \(M_{2}^{-}\). From (3.4) we have the proof of the theorem. □
It is seen that the condition (3.12) guarantees the analytic continuation of the functions \(N^{+}\) and \(N^{-}\) from the real axis to the lower and upper half-planes, respectively. So the finiteness of eigenvalues and spectral singularities of L are achieved as a result of this analytic continuation.
Now let us suppose that
which is weaker than (3.12).
It is evident that under the condition (3.14) the function \(N^{+}\) is analytic in \(\mathbb{C}_{+}\) and infinitely differentiable on the real axis. But \(N^{+}\) does not have an analytic continuation from the real axis to the lower half-plane. Similarly, \(N^{-}\) does not have an analytic continuation from the real axis to the upper half-plane, either. Therefore, under the condition (3.14) the finiteness of eigenvalues and spectral singularities of L cannot be proved in a way similar to Theorem 3.
Lemma 4
If (3.14) holds, then \(M_{4}^{+}=M_{4}^{-}=\emptyset\).
Proof
It follows from (3.6) and (3.14) that the function \(N^{+}\) is analytic in \(\mathbb{C}_{+}\), and all of its derivatives are continuous up to the real axis. Moreover, by Theorem 2 for sufficiently large \(T>0\), we have
From (3.6), we obtain
where
and \(c>0\) is a constant. Since the function \(N^{+}\) is not equal to zero identically, by Pavlov’s theorem [25], \(M_{4}^{+}\) satisfies
where \(T^{+}(s)=\inf_{n}\frac{A_{n}^{+}s^{n}}{n!}\), \(\mu (M_{4}^{+},s)\) is the linear Lebesgue measure of an s-neighborhood of \(M_{4}^{+}\), and the constant \(A_{n}^{+}\) is defined by (3.15).
Now we obtain the following estimates for \(A_{n}^{+}\):
where A and a are constants depending on c and ε. Substituting (3.17) in the definition of \(T^{+}(s)\), we arrive at
Now by (3.16) we get
Inequality (3.18) holds for arbitrary s if and only if \(\mu(M_{4}^{+},s)=0\) or \(M_{4}^{+}=\emptyset\). In a similar way we can prove that \(M_{4}^{-}=\emptyset\). □
Theorem 5
Under the condition (3.14) the operator L has a finite number of eigenvalues and spectral singularities, and each of them is of a finite multiplicity.
Proof
To be able to prove the theorem, we have to show that the functions \(N^{+}\) and \(N^{-}\) have a finite number of zeros with finite multiplicities in \(\overline{\mathbb{C}}_{+ }\) and \(\overline{\mathbb{C}}_{-}\), respectively. We give the proof for \(N^{+}\).
It follows from (3.3) and Lemma 4 that \(M_{3}^{+}=\emptyset\). So the bounded sets \(M_{1}^{+}\) and \(M_{2}^{+}\) have no limit points, i.e., the function \(N^{+}\) has only a finite number of zeros in \(\overline{\mathbb {C}}_{+}\). Since \(M_{4}^{+}=\emptyset\), these zeros are of finite multiplicity. □
References
Naimark, MA: Investigation of the spectrum and the expansion in eigenfunctions of a non-selfadjoint operator of second order on a semi-axis. Am. Math. Soc. Transl. (2) 16, 103-193 (1960)
Lyance, VE: A differential operators with spectral singularities I. Am. Math. Soc. Transl. (2) 60, 185-225 (1967)
Lyance, VE: A differential operators with spectral singularities II. Am. Math. Soc. Transl. (2) 60, 227-283 (1967)
Adıvar, M: Quadratic pencil of difference equations: Jost solutions, spectrum, and principal vectors. Quaest. Math. 33, 305-323 (2010)
Krall, AM: A nonhomogeneous eigenfunction expansion. Trans. Am. Math. Soc. 117, 352-361 (1965)
Krall, AM: The adjoint of differential operator with integral boundary conditions. Proc. Am. Math. Soc. 16, 738-742 (1965)
Krall, AM, Bairamov, E, Cakar, O: Spectrum and spectral singularities of a quadratic pencil of a Schrödinger operator with a general boundary conditions. J. Differ. Equ. 151, 252-267 (1999)
Krall, AM, Bairamov, E, Cakar, O: Spectral analysis of non-selfadjoint discrete Schrödinger operators with spectral singularities. Math. Nachr. 231, 89-104 (2001)
Bairamov, E, Cakar, O, Krall, AM: An eigenfunction expansion for a quadratic pencil of a Schrödinger operator with spectral singularities. J. Differ. Equ. 151, 268-289 (1999)
Bairamov, E, Cakar, O, Krall, AM: Non-selfadjoint difference operators and Jacobi matrices with spectral singularities. Math. Nachr. 229, 5-14 (2001)
Bairamov, E, Celebi, AO: Spectrum and spectral expansion for the non-selfadjoint discrete Dirac operators. Q. J. Math. 50, 371-384 (1999)
Adıvar, M, Bairamov, E: Spectral singularities of the nonhomogeneous Sturm-Liouville equations. Appl. Math. Lett. 15, 825-832 (2002)
Fulton, CT: Two-point boundary value problems with eigenvalue parameter contained in the boundary conditions. Proc. R. Soc. Edinb. A 77, 293-308 (1977)
Chernozhukova, AY, Freiling, G: A uniqueness theorem for inverse spectral problems depending nonlinearly on the spectral parameter. Inverse Probl. Sci. Eng. 17, 777-785 (2009)
Freiling, G, Yurko, VA: Inverse problems for Sturm-Liouville equations with boundary conditions polynomially dependent on the spectral parameter. Inverse Probl. 26(6), 055003 (2010)
Binding, PA, Browne, PJ, Watson, BA: Transformations between Sturm-Liouville problems with eigenvalue dependent and independent boundary conditions. Bull. Lond. Math. Soc. 33, 749-757 (2001)
Binding, PA, Browne, PJ, Watson, BA: Sturm-Liouville problems with boundary conditions rationally dependent on the eigenparameter I. Proc. Edinb. Math. Soc. 33, 749-757 (2001)
Binding, PA, Browne, PJ, Watson, BA: Sturm-Liouville problems with boundary conditions rationally dependent on the eigenparameter II. Comput. Appl. Math. 148, 147-168 (2002)
Code, WJ, Browne, PJ: Sturm-Liouville problems with boundary conditions depending quadratically on the eigenparameter. J. Math. Anal. Appl. 309, 729-742 (2005)
Yokus, N: Principal functions of non-selfadjoint Sturm-Liouville problems with eigenvalue-dependent boundary conditions. Abstr. Appl. Anal. 2011, Article ID 358912 (2011)
Bairamov, E, Koprubasi, T: Eigenparameter dependent discrete Dirac equations with spectral singularities. Appl. Math. Comput. 215, 4216-4220 (2010)
Marchenko, VA: Sturm-Liouville Operators and Applications. Birkhäuser, Basel (1986)
Bairamov, E, Yokus, N: Spectral singularities of Sturm-Liouville problems with eigenvalue-dependent boundary conditions. Abstr. Appl. Anal. 2009, Article ID 28959 (2009)
Dolzhenko, EP: Boundary value uniqueness theorems for analytic functions. Math. Notes 26(6), 437-442 (1979)
Pavlov, BS: On separation conditions for spectral components of a dissipative operator. Math. USSR, Izv. 9, 113-137 (1975)
Acknowledgements
The authors would like to express their thanks to the reviewers for their helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Yokus, N., Koprubasi, T. Spectrum of the Sturm-Liouville operators with boundary conditions polynomially dependent on the spectral parameter. J Inequal Appl 2015, 42 (2015). https://doi.org/10.1186/s13660-015-0563-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0563-1
MSC
- 34B08
- 34B09
- 34B24
Keywords
- Sturm-Liouville equations
- eigenparameter
- eigenvalues
- spectral singularities