 Research
 Open Access
 Published:
Regular approximation of singular Sturm–Liouville problems with eigenparameter dependent boundary conditions
Boundary Value Problems volume 2020, Article number: 6 (2020)
Abstract
In this paper we consider singular Sturm–Liouville problems with eigenparameter dependent boundary conditions and two singular endpoints. The spectrum of such problems can be approximated by those of the inherited restriction operators constructed. Via the abstract operator theory, the strongly resolvent convergence and norm resolvent convergence of a sequence of operators are obtained and it follows that the spectral inclusion of spectrum holds. Moreover, spectral exactness of spectrum holds for two special cases.
Introduction
We consider the following Sturm–Liouville differential equation:
where λ is a complex parameter, \(\infty \leq a< b\leq + \infty \), \(\frac{1}{p},q,w\in L_{\mathrm{loc}}(a,b)\), \(p,w>0\) almost everywhere on \((a,b)\).
Assume that \(a< a_{0}< b_{0}< b\) and \(\lambda _{0}\in \mathbb{R}\), \(u_{1}(x)\), \(v_{1}(x)\) are two linearly independent real solutions on the interval \((a,a_{0})\) of the equation \(ly=\lambda _{0} y\) such that
The eigenparameter dependent boundary condition at a is
where \(\eta =\alpha _{2}\beta _{1}\alpha _{1}\beta _{2}>0\). If the endpoint b is of limit circle type, then the boundary condition is imposed as
where \(\gamma \in (0,\pi ], u_{2}(x),v_{2}(x)\) are two linearly independent real solutions on \((b_{0},b)\) of \(ly=\tilde{\lambda _{0}}y\) for some \(\tilde{\lambda _{0}}\in \mathbb{R}\) such that
If the endpoint b is of limit point type, then there are no boundary conditions imposed.
For a given singular differential operator, its spectrum can be approximated by the eigenvalues of a sequence of regular operators, which plays an important role in the theory of differential boundary value problems and numerical computation of spectrum; see [2, 19, 21, 25]. This is an interesting research topic and can be found in [1, 5, 7, 16, 22, 24]. In [1, 5, 7, 16, 23], regular approximation of singular differential operator have been studied from second order Sturm–Liouville operators and fourth order operators to even order differential operators and Hamiltonian operators. In [22], Sturm–Liouville problems with transmission conditions are investigated and in [24] Sturm–Liouville problems with eigenparameter dependent boundary conditions and one singular endpoint are considered.
The differential boundary value problems (see [12–14]) with eigenparameter dependent boundary conditions have been widely investigated by many authors such as [3, 4, 6, 8, 9, 11, 17, 20, 24, 26] because of the important application in probability theory and physics and so on. In the present paper we consider Sturm–Liouville problems with two singular endpoints and one eigenparameter dependent boundary condition. We find that its spectrum can be approximated by the eigenvalues of a sequence of regular problems, based on the method of the strong graph limit, which is different from that of the previous papers such as [1, 22, 24]. This paper can be regarded as a continuation and extension of [24].
The paper is organized as follows: In Sect. 2, the inherited restriction operators are constructed and are proved to be selfadjoint. In Sect. 3, by the method of strong graph limit, the spectral inclusion of spectrum is obtained. Moreover, in the limit circle case or for the operators bounded below, spectral exactness holds for the eigenvalues below the essential spectrum.
Construction of the induced restriction operators
Define a Hilbert space
with the inner product
where
Let
Define an operator
for any \(F\in D(A)\). If the endpoint b is of limit point type, let the domain \(D(A)\) of A be
If the endpoint b is of limit circle type, let
Then we have the following lemma.
Lemma 1

(1)
Let\(y,z,u,v\in D_{\max }\). If\([v,u]=1\)for some\(c,a\leq c\leq b\), then
$$ [y,z](c)=[y,v](c)[\bar{z},\bar{u}](c)[y,\bar{u}](c)[\bar{z},v](c). $$ 
(2)
The endpointbis of the limit point case if and only if\([y,z](b)=0\)for any\(y,z\in D_{\max }\).

(3)
If the endpointais of the limit circle case and\(u,v\in D_{\max }\), \([u,v](a)=1\), then there exists a\(f\in D_{\max }\)such that\([f,u](a)=\alpha \), \([f,v](a)=\beta \)for any\(\alpha ,\beta \in \mathbb{C}\).
Proof
See [21], Lemma 10.4.1, 10.4.2, 10.4.6. □
In the following we will get the first main result on the operator A.
Theorem 1
The operatorAdefined as above is a densely defined, symmetric and selfadjoint operator in the Hilbert spaceH.
Proof
Step 1. We prove the operator A is densely defined. That is to say, for any \(F=(f,f_{1})\in H\), if \(F\perp D(A)\), then \(F=0\).
Since \(C_{0}^{\infty }(a,b)\oplus \{0\}\subset D(A)\), then, for any \(G=(g,0)\in C_{0}^{\infty }(a,b)\oplus \{0\}\subset D(A)\), we have
Therefore \(f(x)=0\) almost everywhere on \((a,b)\). On the other hand, for any \(G=(g,g_{1})\in D(A)\), it follows from \((F,G)=\frac{1}{\eta }f _{1}\bar{g_{1}}=0\) that \(f_{1}=0\).
Step 2. The operator A is symmetric in H. For any \(F,G\in D(A)\),
It follows from Lemma 1(1) that
Since \([u_{1},v_{1}](a)=1\) and \(u_{1}\) is a real function,
If the endpoint b is of the limit point case, then \([f,g](b)=0\) for any \(F,G\in D(A)\) by Lemma 1(2). If b is of the limit circle case, then f, g̅ satisfy the boundary condition (1.3). It follows from \([u_{2},v_{2}](b)=1\) that
Step 3. The operator A is selfadjoint. For any \(F=(f,f_{1})\in D(A)\) and some \(K\in H\), \((AF,G)=(F,K)\), we prove that \(G\in D(A)\) and \(AG=K\). It is sufficient to prove that when b is of the limit point case
 (1)
\(g,pg'\in AC_{\mathrm{loc}}(a,b)\), \(\lg \in L_{w}^{2}(a,b)\), \(k=\lg \),
 (2)
\(g_{1}=\alpha _{1}[g,u_{1}](a)+\beta _{1}[g,v_{1}](a)\),
 (3)
\(k_{1}=\alpha _{2}[g,u_{1}](a)+\beta _{2}[g,v_{1}](a)\),
hold and when b is of the limit circle case, in addition to (1), (2), and (3), the equality
 (4)
\(\cos \gamma [g,u_{2}](b)\sin \gamma [g,v_{2}](b)=0\)
holds.
For any \(f\in C_{0}^{\infty }(a,b)\), \(F=(f,0)\in D(A)\), then
by \((AF,G)=(F,K)\). It follows from the classical Sturm–Liouville theory that (1) holds. Hence
If b is of the limit point case, then \([f,g](b)=0\). Thus
It follows from \([u_{1},v_{1}](a)=1\) and Lemma 1(1) that
It follows from Lemma 1(3) that there exists a function \(f\in D_{ \max }\) such that \([f,u_{1}](a)=1\), \([f,v_{1}](a)=0\). Inserting these into (2.2) and (2.3) we have
Similarly we can obtain
Thus
Items (2) and (3) follow.
If b is of the limit circle case, then we can choose \(F\in D(A)\) such that \(f=0\) in the right neighborhood of a and \(\cos \gamma [f,u_{2}](b) \sin \gamma [f,v_{2}](b)=0\). Therefore \([f,u_{1}](a)=[f,v_{1}](a)=[f,g](a)=0\). Inserting these into (2.1), we can obtain
It follows that (4) holds. Choose f such that \(f=0\) in the left neighborhood of b and \([f,u_{1}](a)=0\), \([f,v_{1}](a)=1\) or \(f=0\) in the left neighborhood of b and \([f,u_{1}](a)=1\), \([f,v_{1}](a)=0\), similarly to the proof in the limit point case, we can conclude (2) and (3) hold. □
Let
and \(\{a_{r}\}\) is a strictly decreasing sequence with \(a_{r}\rightarrow a\) and \(\{b_{r}\}\) is a strictly increasing sequence with \(b_{r} \rightarrow b\). Define the Hilbert space
with the inner product
where
Let the maximum domain and the minimum domain as follows:
Define an operator
for any \(F_{r}=(f,f_{1r})\in D(A_{r})\). If the endpoint b is of the limit point case, then let the domain of \(A_{r}\) be
where \(\varphi _{r}\in D_{\max }^{r}\), \(\varphi _{r}\notin D_{\min } ^{r}\), \([\varphi _{r},\varphi _{r}](b_{r})=0\). In particular \(\varphi _{r}=\varphi _{(b_{0},b_{r})}\) and φ can be chosen to be any nontrivial real solution of (1.1) for some \(\lambda \in \mathbb{R}\) on \((b_{0},b)\). If the endpoint b is of the limit circle case, let
The operator \(A_{r}\) is usually called an inherited restriction operator. Then we have the following.
Theorem 2
The operator\(A_{r}\)defined as above is a selfadjoint operator in the Hilbert space\(H_{r}\)for any\(r\in \mathbb{N}^{+}\).
Proof
It is obvious that \(A_{r}\) is densely defined. In the following we prove \(A_{r}\) is symmetric. For any \(F_{r},G_{r}\in D(A_{r})\), then
Since \([u_{1},v_{1}](a_{r})=[u_{1},v_{1}](a)=1\), thus
If the endpoint b is of the limit point case, then \([f,\varphi ](b _{r})=[g,\varphi ](b_{r})=0\). Thus
If b is of the limit circle case, then f, g satisfy
Together with \([u_{2},v_{2}](b_{r})=[u_{2},v_{2}](b)=1\), we can conclude that
Similarly to the proof of the selfadjointness of A in Theorem 1, the proof is completed. □
We define an operator \(A_{r}'\) in the space H as follows:
with the domain \(D(A_{r}')=D(A_{r})\oplus H_{r}^{\bot }\), where \(P_{r}\) is the orthogonal projection of H onto \(H_{r}\), Θ is the zero operator in the space \(H_{r}^{\bot }=L^{2}_{w}(a,a_{r}) \oplus L^{2}_{w}(b_{r},b)\). It is obvious that \(A_{r}'\) is also a selfadjoint operator in the space H.
Convergence of operators and of spectrum
In this section we shall give the convergence of the inherited restriction operators and of spectrum. Some fundamental concepts and lemmas are needed, which can be found in [1, 10, 15, 18].
Definition 1
Let \(A_{n}\), A be selfadjoint operators. Then \(A_{n}\) is said to converge to A in the strong resolvent sense if \((A_{n}\lambda I)^{1} \rightarrow (A\lambda I)^{1}\) strongly for all λ with \(\Im \lambda \neq 0\). \(A_{n}\) is said to converge to A in the norm resolvent sense if \((A_{n}\lambda I)^{1}\rightarrow (A\lambda I)^{1}\) in norm for all λ with \(\Im \lambda \neq 0\).
Definition 2
Let \(A_{n}\) be a sequence of operators on a Hilbert space H. We say that \(\langle \psi ,\varphi \rangle \in H\times H\) is in the strong graph limit of \(A_{n}\) if we can find \(\psi _{n}\in D(A_{n})\) so that \(\psi _{n}\rightarrow \psi \), \(A_{n}\psi _{n}\rightarrow \varphi \). We denote the set of pairs in the strong graph limit by \(\varGamma _{\infty }^{s}\). If \(\varGamma _{\infty }^{s}\) is the graph of an operator A we say that A is the strong graph limit of \(A_{n}\).
Lemma 2
Suppose that\(A_{n}\)andAare selfadjoint operators. Then\(A_{n}\)is convergent toAin the strong resolvent sense if and only ifAis the strong graph limit of\(A_{n}\).
In the following we can obtain the convergence in the strong resolvent sense, using the method of the strong graph limit, which is different from that of the previous papers [1, 5, 22, 24].
Theorem 3
Suppose the operatorsA, \(A_{r}\), \(A_{r}'\)are defined as above. Then
 (1)
\(A_{r}'\)is convergent toAin the strong resolvent sense;
 (2)
the spectral inclusion holds. That is to say, if\(\lambda \in \sigma (A)\), then there exists\(\lambda _{r}\in \sigma (A_{r}')\)so that\(\lambda _{r}\rightarrow \lambda \);
 (3)
let\(\{E(A_{r},\lambda )\}\), \(\{E(A,\lambda )\}\)withλnot an eigenvalue ofAbe spectral projection of the operators\(A_{r}\), A, respectively, and\(P_{r}\)be a unit projection fromHto\(H_{r}\). Then\(E(A_{r},\lambda )P_{r}\)converges strongly to\(E(A,\lambda )\), i.e. for any\(f\in H\), then
$$ \bigl\Vert E(A_{r},\lambda )P_{r}fE(A,\lambda )f \bigr\Vert \rightarrow 0. $$
Proof
Firstly we prove that, for any
there exists \(F_{r}=(f_{r},\alpha _{1}[f_{r},u_{1}](a_{r})+\beta _{1}[f _{r},v_{1}](a_{r}))\in D(A_{r}')\) so that
Indeed, we can let \(f_{r1}=f_{x\in (a,b_{0})}\) as \(x\in (a,b_{0})\). It follows from
that
If the endpoint b is of the limit point case, we construct two operators \(T_{r}\), T as follows:
Define an operator \(T_{r}'\) in the space \(L^{2}_{w}(b_{0},b)\oplus \mathbb{C}\) as follows:
with the domain \(D(T_{r}')=D(T_{r})\oplus L^{2}_{w}(b_{r},b)\). Obviously \(T_{r}\) and T are both selfadjoint operators and \(T_{r}'\) is convergent to T in the strong resolvent sense by Theorem 4.1 and Theorem 6.1 of [1]. By Lemma 2, we can find that, for \(f_{(b_{0},b)}\in D(T)\), there exists a function \(f_{r2}\in D(T_{r}')\) such that
Let
Then by (3.1)–(3.4), we get \(F_{r}\rightarrow F\), \(A_{r}'F _{r}\rightarrow A F\). Therefore the operator \(A_{r}'\) is convergent to A in the strong resolvent sense by Lemma 2. When the endpoint b is of the limit circle case, similar result can be obtained.
Items (2) and (3) follow from Theorem 3.6 in [1] and this completes the proof. □
As both endpoints are of the limit circle case, we have the following results.
Theorem 4
Suppose the operators\(A_{r}\), Aare defined as above and the endpointbis of the limit circle case. Then
 (7)
the operatorAhas only point spectrum, i.e. the eigenvalues of (1.1)–(1.3);
 (2)
the operator\(A_{r}\)has only point spectrum;
 (3)
\((A_{r}\lambda I)^{1}P_{r}\)is convergent to\((A\lambda I)^{1}\)in norm for anyλwith\(\Im \lambda \neq 0\)and thus the spectral exactness holds, That is to say, if\(A_{r}\)is spectral included and if any limitpoint of a sequence\(\{\lambda _{r}\in \sigma (A_{r})\}\)belongs to\(\sigma (A)\);
 (4)
let\(\{E(A_{r},\lambda )\}\), \(\{E(A,\lambda )\}\)withλnot an eigenvalue ofAbe spectral projection of the operators\(A_{r}\), A, respectively, and\(P_{r}\)be a unit projection fromHto\(H_{r}\). Then\(E(A_{r},\lambda )P_{r}\)converges to\(E(A,\lambda )\)not only strongly but in norm i.e.
$$ \bigl\Vert E(A_{r},\lambda )P_{r}E(A,\lambda ) \bigr\Vert \rightarrow 0; $$  (5)
if the operatorAis bounded below and denote by\(\lambda _{n}(A_{r})\), \(\lambda _{n}(A)\)the eigenvalues of\(A_{r}\), Awith\(n\in \mathbb{N}= \{0,1,2,\ldots \}\), then\(\lambda _{n}(A_{r})\rightarrow \lambda _{n}(A)\)as\(r\rightarrow \infty \).
Proof
For any \(G=(g,g_{1})\in H\), \(\lambda \notin \sigma _{p}(A)\), consider the following equation \(AF=\lambda F+G\):
Assume that \(\phi (x,\lambda )\), \(\psi (x,\lambda )\) are two linearly independent solutions of \(ly=\lambda y\) and satisfy
Using the variable of constant, we can obtain the solution of the equation \(lf=\lambda f+g\) is
Let
Then \(W(\lambda )=0\) if and only if λ is an eigenvalue of (1.1)–(1.3). Inserting \(f(x)\) into the two boundary conditions, we have
where
Thus the equation \(AF=\lambda F+G\) has a unique solution \(F\in D(A)\) and the operator A has only point spectrum.
For any \(G=(g,g_{1})\in H_{r}\), \(\lambda \notin \sigma _{p}(A_{r})\), consider the following equation \(A_{r}F=\lambda F+G\):
Using the variable of constant, we can obtain the solution of \(lf=\lambda f+g\):
Similarly to the above proof, \(A_{r}\) has only a point spectrum and \(\tilde{c_{1}}^{r}\rightarrow \tilde{c_{1}}\), \(\tilde{c_{2}}^{r}\rightarrow \tilde{c_{2}}\). Items (3), (4) and (5) follow. □
As the endpoint a is of the limit circle case and b is of the limit point case, we can construct special inherited restriction operators such that spectral exactness holds.
Theorem 5
Suppose the operatorAis defined as above and\(\{E(A_{r},\lambda ) \}\), \(\{E(A,\lambda )\}\), \(P_{r}\)are defined as in Theorem4,
 (1)
The endpointbis of the limit point case.
 (2)
The operatorAis bounded below. If there exist finite eigenvalues below the essential spectrum\(\sigma _{e}(A)\), let these eigenvalues be\(\lambda _{n}(A)\)with\(n=0,1,2,\ldots ,n_{0}\). If there exist infinite eigenvalues below\(\sigma _{e}(A)\), denote by\(\lambda _{n}(A)\)with\(n\in \mathbb{N}\)all the eigenvalues.
 (3)
The operator\(\tilde{A}_{r}\)is defined as follows:
$$\begin{aligned}& \begin{aligned} D(\tilde{A}_{r})= {}& \bigl\{ F_{r}=(f,f_{1r}) \in H_{r}:f,pf'\in AC(a_{r},b_{r}),lf \in L^{2}_{w}(a_{r},b_{r}), \\ & f_{1r}=\alpha _{1}[f,u_{1}](a_{r})+ \beta _{1}[f,v_{1}](a_{r}),f(b_{r})=0 \bigr\} , \end{aligned} \\& \tilde{A}_{r}F_{r}= A_{r}F_{r}; \end{aligned}$$let\(\{E(\tilde{A}_{r},\lambda )\}\), \(\{E(A,\lambda )\}\)withλnot an eigenvalue ofAbe spectral projection of the operators\(\tilde{A}_{r}\), A, respectively, and\(P_{r}\)be a unit projection fromHto\(H_{r}\).
Then
 (1)
\(E(\tilde{A}_{r},\lambda )P_{r}\)converges to\(E(A,\lambda )\)not only strongly but in norm.
 (2)
Spectral exactness holds and hence\(\lambda _{n}(\tilde{A}_{r})\rightarrow \lambda _{n}(A)\), \(r\rightarrow \infty \).
Proof
Define a Hilbert space \(\hat{H_{r}}=L^{2}_{w}(a_{r},b)\) and an operator \(\hat{A_{r}}\) as follows:
Let \(\lambda \in \mathbb{C}\backslash \mathbb{R}\). Let \(u_{l}\) be a solution of (1.1) on \((a,b)\) which satisfies the boundary condition (1.2). It is obvious that \(u_{l}\) is unique up to a constant. Let \(u_{r}\) be a solution of (1.1) lying in \(L^{2}_{w}(a,b)\). Since b is of the limit point case, then \(u_{r}\) is also unique up to a constant. It follows that \(u_{l}\), \(u_{r}\) are two linearly independent functions and then we can choose suitable constants such that \(W[u_{l},u_{r}]=1\). Denote by \(R(s,t,\lambda )\), \(R_{r}(s,t,\lambda )\) the kernels of \((A\lambda I)^{1}\), \((\hat{A}_{r}\lambda I)^{1}\), then [18]
By Theorem 3, \((\hat{A}_{r}\lambda I)^{1}P_{r}\) is strongly convergent to \((A\lambda I)^{1}\). Hence \(c_{r}\rightarrow 0\) as \(r\rightarrow \infty \). Thus \((\hat{A}_{r}\lambda I)^{1}P_{r}\) is convergent to \((A\lambda I)^{1}\) in norm and \(\hat{A}_{r}\) is spectral exact for A. Therefore as r is sufficiently large, for any λ below \(\sigma _{e}(A)\), we have
On the other hand, the closed form of \(\tilde{A_{r}}\) is a restriction of \(\hat{A_{r}}\) on \((a_{r},b_{r})\) and thus
By Theorem 3, \(E(\tilde{A_{r}},\lambda )P_{r}\) is strongly convergent to \(E(A,\lambda )\). Hence \(E(\tilde{A_{r}},\lambda )P_{r}\) is convergent to \(E(A,\lambda )\) in norm by Lemmas 1.23 and 1.24 in Chap. 8 of [10]. Item (2) follows. □
References
 1.
Bailey, P.B., Everitt, W.N., Weidmann, J., Zettl, A.: Regular approximations of singular Sturm–Liouville problems. Results Math. 23, 3–22 (1993)
 2.
Bailey, P.B., Everitt, W.N., Zettl, A.: The SLEIGN2 Sturm–Liouville code, ACM TOMS. ACM Trans. Math. Softw. 21, 1–15 (2001)
 3.
Binding, P.A., Browne, P.J., Seddighi, K.: Sturm–Liouville problems with eigenparameter dependent boundary conditions. Proc. Edinb. Math. Soc. 37(2), 57–72 (1993)
 4.
Binding, P.A., Browne, P.J., Watson, B.A.: Equivalence of inverse Sturm–Liouville problems with boundary conditions rationally dependent on the eigenparameter. J. Math. Anal. Appl. 291, 246–261 (2004)
 5.
Brown, M., Greenberg, L., Marletta, M.: Convergence of regular approximations to the spectra of singular fourth order Sturm–Liouville problems. Proc. R. Soc. Edinb., Sect. A 128(5), 907–944 (1998)
 6.
Cai, J., Zheng, Z.: Matrix representations of Sturm–Liouville problems with coupled eigenparameterdependent boundary conditions and transmission conditions. Math. Methods Appl. Sci. 41, 3495–3508 (2018)
 7.
ElGebeily, M.A.: Regular approximation of singular selfadjoint differential operators. IMA J. Appl. Math. 68, 471–489 (2003)
 8.
Fulton, C.T.: Twopoint boundary value problems with eigenvalue parameter contained in the boundary conditions. Proc. R. Soc. Edinb. A 77, 293–308 (1977)
 9.
Fulton, C.T.: Singular eigenvalue problems with eigenvalue parameter contained in the boundary conditions. Proc. R. Soc. Edinb. A 87, 1–34 (1980)
 10.
Kato, T.: Pertubation Theory for Linear Operators, 2nd edn. Springer, Heidelberg (1980)
 11.
Mukhtarov, O.S., Aydemir, K.: Eigenfunction expansion for Sturm–Liouville problems with transmission conditions at one interior point. Acta Math. Sci. Ser. B Engl. Ed. 35(3), 639–649 (2015)
 12.
Nursultanov, M., Rozenblum, G.: Eigenvalue asymptotics for the Sturm–Liouville operator with potential having a strong local negative singularity. Opusc. Math. 37(1), 109–139 (2017)
 13.
Papageorgiou, N., Radulescu, V., Repovs, D.: Nonlinear Analysis—Theory and Methods. Springer Monographs in Mathematics. Springer, Cham (2019)
 14.
Radulescu, V.: Finitely many solutions for a class of boundary value problems with superlinear convex nonlinearity. Arch. Math. (Basel) 84(6), 538–550 (2005)
 15.
Reed, M., Simon, B.: Methods of Modern Mathematical Physics I: Functional Analysis. Academic Press, San Diego (1972)
 16.
Teschl, G.: On the approximation of isolated eigenvalues of ordinary differential operators. Proc. Am. Math. Soc. 136(7), 2473–2476 (2008)
 17.
Walter, J.: Regular eigenvalue problems with eigenvalue parameter in the boundary condition. Math. Z. 133, 301–312 (1973)
 18.
Weidmann, J.: Linear Operators in Hilbert Space. Springer, New York (1980)
 19.
Weidmann, J.: Spectral Theory of Ordinary Differential Operators. Lectures Notes in Math., vol. 1258. Springer, Berlin (1987)
 20.
Yang, C., Bondarenko, N., Xu, X.: An inverse problem for the Sturm–Liouville pencil with arbitrary entire functions in the boundary condition. Inverse Probl. Imaging 14(1), 153–169 (2020)
 21.
Zettl, A.: Sturm–Liouville Theory. Mathematical Surveys Monographs, vol. 121. Am. Math. Soc., Providence (2005)
 22.
Zhang, M.: Regular approximation of singular Sturm–Liouville problems with transmission conditions. Appl. Math. Comput. 247, 511–520 (2014)
 23.
Zhang, M., Li, K., Wang, Y.: Regular approximation of linear Hamiltonian operators with two singular endpoints. J. Math. Anal. Appl. (2020). https://doi.org/10.1016/j.jmaa.2019.123758
 24.
Zhang, M., Sun, J., Zettl, A.: The spectrum of singular Sturm–Liouville problems with eigenparameter dependent boundary conditions and its approximation. Results Math. 63, 1311–1330 (2013)
 25.
Zhang, M., Sun, J., Zettl, A.: Eigenvalues of limitpoint Sturm–Liouville problems. J. Math. Anal. Appl. 419, 627–642 (2014)
 26.
Zheng, Z., Cai, J., Li, K., Zhang, M.: A discontinuous Sturm–Liouville problem with boundary conditions rationally dependent on the eigenparameter. Bound. Value Probl. 2018, 103 (2018). https://doi.org/10.1186/s136610181023x
Acknowledgements
The authors thank the referees for his/her comments and detailed suggestions. These have significantly improved the presentation of this paper.
Availability of data and materials
Not applicable.
Funding
This research was partially supported by the Natural Science Foundation of Shandong Province (ZR2017MA042, ZR2018MF019) and China Postdoctoral Science Foundation (2019M662313).
Author information
Affiliations
Contributions
All authors contributed equally to the writing of this paper. The authors read and approved the final manuscript.
Corresponding author
Correspondence to Maozhu Zhang.
Ethics declarations
Competing interests
The authors declare that there is no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zhang, M., Li, K. & Song, H. Regular approximation of singular Sturm–Liouville problems with eigenparameter dependent boundary conditions. Bound Value Probl 2020, 6 (2020). https://doi.org/10.1186/s13661019013160
Received:
Accepted:
Published:
MSC
 34L15
 34L05
Keywords
 Regular approximation
 Singular Sturm–Liouville problems
 Eigenparameter dependent boundary conditions