Research Article | Open Access
Mervis Kikonko, Angelo Bernado Mingarelli, "Estimates on the Lower Bound of the Eigenvalue of the Smallest Modulus Associated with a General Weighted Sturm-Liouville Problem", International Journal of Differential Equations, vol. 2016, Article ID 7396951, 5 pages, 2016. https://doi.org/10.1155/2016/7396951
Estimates on the Lower Bound of the Eigenvalue of the Smallest Modulus Associated with a General Weighted Sturm-Liouville Problem
We obtain a lower bound on the eigenvalue of smallest modulus associated with a Dirichlet problem in the general case of a regular Sturm-Liouville problem. The main motivation for this study is the result obtained by Mingarelli (1988).
In this paper, we derive some lower bound for an eigenvalue of the smallest modulus (not necessarily unique) corresponding to the problemconsolidating the results obtained by Mingarelli . In the paper a lower bound for the eigenvalue of the smallest modulus was obtained under the assumptions that , a.e. on , and that and take on both positive and negative values on . The parameter is called an eigenvalue and corresponding function not identically zero on is called an eigenfunction. The eigenfunctions corresponding to real eigenvalues can be labeled in such a way that and has zeros in , . Therefore the eigenvalue of the smallest modulus will be labeled and the corresponding eigenfunction has no zero in . In this paper we assume in general that is not an eigenvalue. Our studies here are an extension of the results in  to the case where the assumption on the coefficient function is replaced by the more general assumption that . We use the Fredholm integral operator associated with (1)-(2) in the Hilbert space and use the estimates on its norm and the -norms of solutions of a Cauchy problem related to (1)-(2). We consider the general weighted Sturm-Liouville problem which is the case in which the coefficient functions and have no sign restrictions imposed on them. The weight function plays a critical role in the nature of In the next subsection we give a brief outline of the three different cases that arise as one varies the signs of the weight function and the coefficient function
(1) Preliminary Results. When and takes on both positive and negative values on the interval , problem (1)-(2) is right definite and only one sequence of real eigenvalues exists with as . For more information on this case, we refer the interested reader to [2–4] and so forth and the references within. Particularly, Everitt et al. [2, theorem 0] outline oscillation properties of eigenfunctions of the right definite problem. In the right definite case is the smallest eigenvalue with the corresponding eigenfunction having no zero in the interval .
When a.e. and takes on both signs on sets of positive Lebesgue measure, the problem is left definite. For more details see, for example, [4–6] and the references therein. In this case two sequences of real eigenvalues exist where , one positive and the other negative, and is then the first positive (and or negative) eigenvalue (whose eigenfunction is positive on ) labeled according to a Sturm oscillation theorem.
When a.e and changes sign, problem (1)-(2) is nondefinite (or indefinite). In this case, nonreal eigenvalues may exist and so may be either real or nonreal. In the nondefinite case, if is real, then the corresponding eigenfunction can have any number of zeros on the interval in contrast with the other two cases. There is a lot of literature covering this case (see, e.g., [4, 7, 8] and references therein). More studies are carried out on existence and estimation of nonreal eigenvalues in the recent papers [9–13] and so forth. In some of these papers upper and lower bounds on the nonreal eigenvalues of indefinite Sturm-Liouville problems are estimated and the existence of nonreal eigenvalues is discussed in others.
The discreteness of the spectrum for problem (1)-(2) and the assumption that is not an eigenvalue of the problem guarantees the existence of such an eigenvalue . Moreover, this eigenvalue is not unique, since there exist problems where the real spectrum is symmetric about zero in the left definite case. In fact even when nonreal eigenvalues exist, they appear in conjugate pairs; hence the nonreal spectrum is symmetric about the -axis.
The assumption that is not an eigenvalue of problem (1)-(2) is equivalent to the fact that the problem consisting of the equationand the boundary conditions (2) admits a unique Green’s function, , defined and continuous over . We define the inner product on byand the associated norm is given by
Green’s function for problem (3)-(2) takes the formwhere are (real) linearly independent solutions of (3) satisfying the initial conditionsrespectively. In a lot of literature (see. e.g.. ) it is shown that the spectral problem (1)-(2) can be reduced to a single eigenvalue equationwhere the operator is defined byon Here is Green’s function associated with problem (1)-(2), , and . That is, is an eigenfunction of problem (1)-(2) if and only if is an eigenfunction of associated with the eigenvalue .
2. The Main Results
We start by stating two important lemmas from  whose results we will use in proving the results in this section. We present the lemmas without proof and refer the interested reader to the cited paper.
Lemma 1. The linear operator defined by (10) maps into and is a bounded (compact but not necessarily self-adjoint) operator on whose operator norm, , is given by
We now give a variant of lemma 4 in .
Lemma 3. Let denote the solution of the Cauchy problemThen for fixed in ,Similarly, if denotes the solution of (14) satisfyingthen for fixed in ,
Proof. To prove (17), we use the integral representation of (14)-(15) which is given byFrom this we get the Neumann series expansion of which is given by the terms below. Generally, whereIf similar working as above yields the upper bound Therefore we have that and the series converges, so the Neumann series converges too. This yields that and the bound in (17) is established.
Similarly, the integral representation of (14)–(18) is given byThe corresponding Neumann series is given by the terms whereHence, which yields that and the bound in (19) is established.
The results in Lemma 3 lead to the estimation of the -norm of the solutions , which leads to the following result.
Proof. We prove the results by calculating the -norms of and , and use the bounds in Lemma 3 as shown below. Taking the supremum on in the inequality yields the bound in (33). A similar procedure yields (34).
Here we give examples to verify if the inequality in (36) really holds. Without loss of generality, we consider the case where on the interval In this case, (36) becomeswhere . The eigenvalues are found using the package RootFinding(Analytic).
Example 1 (the case and changes sign). We consider the problemswhereThe solution to the problem in (38) is and so Substituting in (37) yields that , and solving problem (39) gives the spectrum to be From the spectrum we see that is not unique in this particular case since and all give the smallest modulus which is . Therefore, and (37) is satisfied.
Example 2 (the case and changes sign). We consider the problems where is as given in Example 1.
The solution to the problem in (43) is and so Substituting in (37) yields that , and solving problem (44) gives the spectrum to be From the spectrum we see that and (37) is satisfied.
In this paper, we undertook a study that consolidates results obtained in  where a lower bound for an eigenvalue of smallest modulus is obtained under the assumption that . In this paper, we have considered the general case where in which we obtain different bounds for the eigenvalue . As can be seen from Examples 1, 2, and 3 the result holds.
The authors declare that there are no competing interests regarding the publication of this article.
The authors wish to thank Professor L-E Persson (Luleå University of Technology) for reading through the manuscript. They also wish to thank the Division of Mathematical Sciences and Statistics, Luleå University of Technology, Sweden, for the financial support during the research visit of the first author. Furthermore, they wish to thank the International Science Program based at Uppsala University, Sweden, for funding the Ph.D. studies and financial assistance towards the research visits by the first author. This research is supported by International Science Programme in Mathematical Sciences, Uppsala University, Sweden, and the Department of Engineering Sciences and Mathematics, Luleå University of Technology.
- A. B. Mingarelli, “Non-real eigenvalue estimates for boundary problems associated with weighted Sturm-Liouville equations,” in Proceedings of the International Conference on Theory and Applications of Differential Equations, pp. 222–228, 1988.
- W. N. Everitt, M. K. Kwong, and A. Zettl, “Oscillation of eigenfunctions of weighted regular Sturm-Liouville problems,” Journal of the London Mathematical Society, vol. 27, no. 1, pp. 106–120, 1983.
- F. V. Atkinson and A. B. Mingarelli, “Asymptotics of the number of zeros and of the eigenvalues of general weighted Sturm-Liouville problems,” Journal für die Reine und Angewandte Mathematik, vol. 375-376, pp. 380–393, 1987.
- R. G. D. Richardson, “Contributions to the study of oscillation properties of the solutions of linear differential equations of the second order,” American Journal of Mathematics, vol. 40, no. 3, pp. 283–316, 1918.
- A. B. Mingarelli, “A survey of the regular weighted Sturm-Liouville problem—the non-definite case,” in Proceedings of the International Workshop on Applied Differential Equations, pp. 109–113, Beijing, China, 1986.
- Q. Kong, H. Wu, and A. Zettl, “Left-definite Sturm-Liouville problems,” Journal of Differential Equations, vol. 177, no. 1, pp. 1–26, 2001.
- Q. Kong, H. Wu, A. Zettl, and M. Möller, “Indefinite Sturm-Liouville problems,” Proceedings of the Royal Society of Edinburgh A: Mathematics, vol. 133, no. 3, pp. 639–652, 2003.
- A. B. Mingarelli, “Indefinite Sturm-Liouville problems,” in Ordinary and Partial Differential Equations, W. N. Everitt and B. D. Sleeman, Eds., vol. 964 of Lecture Notes in Mathematics, pp. 519–528, Springer, Berlin, Germany, 1982.
- J. Behrndt, S. Chen, F. Philipp, and J. Qi, “Bounds on non-real eigenvalues of indefinite Sturm-Liouville problems,” Proceedings in Applied Mathematics and Mechanics, vol. 13, no. 1, pp. 525–526, 2013.
- J. Qi and S. Chen, “A priori bounds and existence of non-real eigenvalues of indefinite Sturm-Liouville problems,” Journal of Spectral Theory, vol. 4, no. 1, pp. 53–63, 2014.
- J. Behrndt, F. Philipp, and C. Trunk, “Bounds on the non-real spectrum of differential operators with indefinite weights,” Mathematische Annalen, vol. 357, no. 1, pp. 185–213, 2013.
- J. Behrndt, S. Chen, F. Philipp, and J. Qi, “Estimates on the non-real eigenvalues of regular indefinite Sturm-Liouville problems,” Proceedings of the Royal Society of Edinburgh—Section A.: Mathematics, vol. 144, no. 6, pp. 1113–1126, 2014.
- J. Qi, B. Xie, and S. Chen, “The upper and lower bounds on non-real eigenvalues of indefinite Sturm-Liouville problems,” Proceedings of the American Mathematical Society, vol. 144, no. 2, pp. 547–559, 2016.
- M. A. Al-Gwaiz, Sturm-Liouville Theory and Its Applications, Springer Undergraduate Mathematics Series, Springer, London, UK, 2008.
Copyright © 2016 Mervis Kikonko and Angelo Bernado Mingarelli. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.