Abstract
In this paper, we consider a Sturm–Liouville problem with finite discontinuous points inside an interval and with abstract linear functionals in the boundary and transmission conditions. For such a problem, the properties such as isomorphism, Fredholmness, and coerciveness with respect to the spectral parameter are investigated.
Similar content being viewed by others
1 Introduction
We will discuss the following differential equation:
with nonclassical boundary conditions
where \(k=1,2,\ldots,2(n+1)\), \(\xi_{0}=-1\), \(\xi_{h}\in(-1,1)\), \(\xi _{n+1}=1\), \(\xi_{0}<\xi_{1}<\cdots<\xi_{n+1}\); set \(I_{1}=[\xi_{0},\xi_{1})\), \(I_{t}=(\xi_{t-1},\xi_{t})\), \(I_{n+1}=(\xi_{n},\xi_{n+1}]\), \(I=\bigcup_{i=1}^{n+1}I_{i}\), and \(J_{i}=(\xi_{i-1},\xi_{i})\), \(J=\bigcup_{i=1}^{n+1}J_{i}\) (\(h=1,2,\ldots,n\); \(t=2,3,\ldots,n\)); \(p(x)\) is a piecewise constant function, \(p(x)=p_{i}\) for \(x\in I_{i}\) (\(i=1,2,\ldots,n+1\)); T is a linear operator; \(a_{0k}\), \(a_{hk}\), \(\tilde{a}_{hk}\), \(a_{(n+1)k}\), \(\chi_{kj}\), \(p_{i}\) (\(j=1,2,\ldots,n_{k}\)) are complex coefficients, and assume that \(p_{i}\neq0 \), \(|a_{0k}|+\sum_{h=1}^{n}(|a_{hk}|+|\tilde{a}_{hk}|)+|a_{(n+1)k}|\neq0\); λ is the complex parameter; \(n_{k}\) are integers; \(x_{kj}\in J\) are internal points; \(F_{k}\) is a linear function in the space \(L_{q}[-1,1]\) (\(L_{q}[-1,1]\) is a set of qth order integrable functions on \([-1,1]\)).
In recent years, the classical Sturm–Liouville problem has been generalized into various types for its new importance in physical sciences and applied mathematics. For example, theoretical investigations have become focused on the discontinuous Sturm–Liouville problems for their application in physics. The discontinuity of the coefficients of the equations in the Sturm–Liouville problems corresponds to the fact that the heterogeneous media consist of two different materials. Moreover, boundary value problems with discontinuities arise in many physical problems such as heat and mass transfer, electrostatics, and diffraction problem [1, 2]. It should be noted that some works on the spectral properties and coercive solvability of boundary value problems in Sobolev spaces can be found in [3, 4]. Some boundary value problems for differential equations with discontinuous coefficients were investigated by Rasulov [5]. Note that an abstract theory of the boundary value problems with continuous coefficients and an eigenvalue parameter in the boundary conditions have been constructed by Yakubov and Yakubov (see [4] and corresponding bibliography). Many authors have been devoted to the study of discontinuous problems [6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22]. To deal with the discontinuity of the problem, transmission conditions are imposed on the discontinuous points. There are also other terminologies such as point interaction, interface condition, etc. [18, 23]. The properties of isomorphism, Fredholmness, and coerciveness of Sturm–Liouville problems with one discontinuous point were investigated by Mukhtarov and his coauthors in [6, 8, 9, 24].
In this paper, we investigate a Sturm–Liouville problem with discontinuities at finite points and with abstract linear functionals in the boundary-transmission conditions. We obtain the properties such as isomorphism, Fredholmness, and coerciveness of this problem.
2 Boundary value problems with nonhomogeneous transmission conditions
In this section, we consider the homogeneous differential equation
with the nonclassical boundary conditions
where \(k=1,2,\ldots,2(n+1)\). We shall use the notations
and
for real \(\varepsilon>0 \) sufficiently small.
Note that the direct sum of Sobolev spaces \(W_{q}^{m}=W_{q}^{m}(J_{1})\oplus W_{q}^{m}(J_{2})\oplus\cdots\oplus W_{q}^{m}(J_{n})\) (for an integer \(m\geq0 \) and real \(q>1\)) is defined as a Banach space of complex-valued function \(y=y(x)\) on I which belongs to \(W_{q}^{m}(J_{i})\) (\(i=1,2,\ldots,(n+1)\)) in intervals \(J_{i}\) respectively, with the norm
Here, as usual, \(W_{q}^{m}(a,b)\) is the Sobolev space, i.e., the Banach space consisting of all measurable functions that have generalized derivatives up to mth order in the interval \(({a,b})\) inclusive with the finite norm
Theorem 2.1
If \(\omega\neq0\), then for any \(\varepsilon>0\) there exists \(\mu _{\varepsilon}>0\) such that, for all \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\) for which \(|\lambda|>\mu _{\varepsilon}\), problem (2.1)–(2.2) has a unique solution \(y(x,\lambda )\in W_{q}^{\sigma}\) for arbitrary \(\sigma\geq\max\{2,\max_{1\leq k\leq2(n+1)}\{n_{k}\}+1\}\) and λ has the following coercive estimate:
Proof
Let \(y_{k}(x,\lambda)\) (\(k=1,2,\ldots,2(n+1)\)) be the basic solution of equation (2.1), then \(y_{k}(x,\lambda)\) can be represented as
where \(\tilde{I}_{2i-1}=\tilde{I}_{2i}=I_{i}\) for every i, \(k=2i-1, 2i\) (\(i=1,2,\ldots,n+1\)), \(\tilde{\xi}_{1}=\xi_{0}\), \(\tilde{\xi}_{2h}=\tilde{\xi}_{2h+1}=\xi_{i}\), \(\tilde{\xi}_{2(n+1)}=\xi_{n+1}\) (\(h=1,2,\ldots,n\)). It is clear that the general solution of (2.1) can be written as
Substituting equation (2.5) into boundary-transmission conditions (2.2), we obtain a linear system with respect to \(C_{k}\) (\(k=1,2,\ldots,2(n+1)\))
where \(k=1,2,\ldots,2(n+1)\). It follows from \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\) that
Therefore, for this λ and \(\varepsilon>0\) (sufficiently small), we obtain
Thus, the determinant of system (2.6) has the form
where \(\tilde{n}=n_{1}+n_{2}+\cdots+n_{2(n+1)}\),
\(\kappa=\lambda\sum_{i=1}^{n+1}(\xi_{i}-\xi_{i-1})(w_{2i-1}-w_{2i})\) and \(\theta(\lambda)\rightarrow0\) as \(|\lambda|\rightarrow\infty\) in the angle \(\varOmega_{\varepsilon}(\alpha,\beta)\). Since \(\omega\neq0\), there exists \(\mu_{\varepsilon}>0\) such that, for all \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\) and \(|\lambda|>\mu_{\varepsilon}\), we have \(A(\lambda)\neq0\). So, for these λ, the unique solution for the system of linear homogeneous equations (2.6) has the following representation:
where \(A_{\eta k}(\lambda)\) is an algebraic cofactor of \((\eta,k)\)th element of the determinant \(A(\lambda)\). It is obvious that each of the determinants \(A_{\eta k}(\lambda)\) can be represented as
where \(\omega_{\eta k}\in\mathbb{C}\) and \(\theta(\lambda)\rightarrow0\) as \(|\lambda|\rightarrow\infty\) in the angle \(\varOmega_{\varepsilon}(\alpha,\beta)\). Hence, we have
So, the solution of (2.1)–(2.2) has the following representation:
From the expression of \(y(x,\lambda)\) we obtain that, for each integer \(\tau\geq0\) and \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\), \(|\lambda|\rightarrow \infty\), the estimate
is valid. Further, the inequalities
where \(i=1,2,\ldots,(n+1)\), hold by (2.4). Substituting (2.8), (2.9) into (2.7) yields
which in turn gives us the needed estimation (2.3). The proof is completed. □
3 Fredholm property for multi-point boundary value problem with functional conditions
Let M̃ be the linear operator corresponding to problem (1.1)–(1.2). Suppose that \(\sigma\geq\max\{2,\max_{1\leq k\leq2(n+1)}\{ n_{k}\}+1\} \) and define M̃ from \(W_{q}^{\sigma}\) into \(W_{q}^{\sigma-2}\oplus\mathbb{C}^{2(n+1)}\) by the rule
Theorem 3.1
Assume that the following conditions hold:
-
(1)
For \(x\in I_{i}\), \(p_{i}\neq0\);
-
(2)
\(F_{k}\) (\(k=1,2,\ldots,2(n+1)\)) are continuous functionals in \(W_{q}^{\sigma}\);
-
(3)
The operator T from \(W_{q}^{\sigma}\) into \(W_{q}^{\sigma -2}\) is compact.
Then M̃ is bounded and Fredholm operator.
Proof
The operator M̃ can be represented as
The operator \(\widetilde{M}_{0}\) is an isomorphism from \(W_{q}^{\sigma}\) onto \(W_{q}^{\sigma-2}\oplus\mathbb{C}^{2(n+1)}\) by Theorem 2.1. Furthermore, it follows from (2) and (3) that the operator \(\widetilde {M}_{1}\) acts compactly from \(W_{q}^{\sigma}\) onto \(W_{q}^{\sigma-2}\oplus\mathbb{C}^{2(n+1)}\).
Therefore, by the definition of isomorphism and Theorem 1.2.8 in [3] (or [25, p. 238]), the operator \(\widetilde{M}=\widetilde{M}_{0}+\widetilde{M}_{1}\) is Fredholm. Moreover, it is obvious that the operator M̃ is bounded. So, the desired results are obtained. □
4 Isomorphism and coerciveness of the principal part of the problem
We consider the principle part of main problem (1.1)–(1.2) without internal points, that is,
for \(k=1,2,\ldots,2(n+1)\). The corresponding operator is
Theorem 4.1
Let the condition \(\omega\neq0\) and \(\sigma\geq \max\{2,\max_{1\leq k\leq2(n+1)}\{n_{k}\}+1\}\) be satisfied. Then, for each \(\varepsilon>0\), there exists \(\mu_{\varepsilon}>0\) such that, for all complex numbers \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\), \(|\lambda|>\mu _{\varepsilon}\), the operator \(\widehat{M}_{0}\) from \(W_{q}^{\sigma}\) onto \(W_{q}^{\sigma -2}\oplus\mathbb{C}^{2(n+1)}\) is an isomorphism, and for these λ the inequality
holds for the solution of (4.1)–(4.2).
Proof
Obviously, the linear operator \(\widehat{M}_{0}\) acts continuously from the space \(W_{q}^{\sigma}\) into \(W_{q}^{\sigma-2}\oplus\mathbb{C}^{2(n+1)}\). Let us prove that, for any \((f(x), f_{1}, f_{2},\ldots, f_{2(n+1)})\in W_{q}^{\sigma-2}\oplus\mathbb {C}^{2(n+1)}\) and \(f_{i}\), problem (4.1)–(4.2) has a unique solution belonging to \(W_{q}^{\sigma}\). Denote by \(f_{i}(x)\) the restriction of \(f(x)\) on the interval \(J_{i}\). Let \(\tilde{f}_{i}(x)\in W_{q}^{\sigma-2}(\mathbb{R})\) be an extension of \(f_{i}(x)\in W_{q}^{\sigma-2}(J_{i})\). By Lemma 1.7.6 in [3] there exists an extension operator \(T_{i}f_{i}:=\tilde{f}_{i}\) from \(W_{q}^{\sigma-2}\) into \(W_{q}^{\sigma-2}(\mathbb{R})\) is bounded for \(i=1,2,\ldots,n+1\), where as usual \(\mathbb{R}=(-\infty,+\infty)\). We shall find the solution \(y(x,\lambda)\) of problem (4.1)–(4.2) in the form of \(y(x,\lambda)=y_{1}(x,\lambda)+y_{2}(x,\lambda)\), where \(y_{1}(x,\lambda)=(y_{1i}(x,\lambda))\), the function \(y_{1i}(x,\lambda)\) is the restriction of the solution \(\tilde{y}_{1i}(x,\lambda)\) on \(J_{i}\) of the following equation:
for \(i=1,2,\ldots,n+1\).
By virtue of Theorem 3.2.1 in [3], we get that this equation has a unique solution \(\tilde{y}_{1i}=\tilde{y}_{1i}(x,\lambda)\in W_{q}^{\sigma}(\mathbb {R})\), and for \(y_{1i}\), the estimate
where \(i=1,2,\ldots,n+1\), holds for all \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\) sufficiently large in modulus.
Hence, the function
satisfies equation (4.1), and from (4.4) the following estimate
holds for all \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\) sufficiently large in modulus. In light of solution (4.5), consider the following boundary value problem:
By Theorem 2.1, this problem has a unique solution \(y_{2}=y_{2}(x,\lambda )\in W_{q}^{\sigma}\) for all complex numbers \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\) sufficiently large in modulus, and for these λ the estimate
is valid. Applying Theorem 1.7.7/2 in [3] and (2.3), one has that, for all \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\) and \(\sigma\geq \max\{2,\max_{1\leq k\leq2( n+1)}\{n_{k}\}+1\}\), the following estimates hold:
Via (4.7) and (4.8) we have the inequality
It is easy to see that \(y(x,\lambda)=y_{1}(x,\lambda)+y_{2}(x,\lambda)\) is the solution of problem (4.1)–(4.2). Taking into account estimates (4.6) and (4.9), we see that for this solution the needed estimation (4.3) is valid. Moreover, from estimate (4.3) the uniqueness of the solution follows. On the other hand, by Theorem 3.1 the operator \(\widehat{M}_{0}\) is Fredholm from \(W_{q}^{\sigma}\) onto \(W_{q}^{\sigma-2}\oplus\mathbb{C}^{2(n+1)}\). Now, an isomorphism of this operator follows from the fact that it is a Fredholm and one-to-one operator. So, the proof of the theorem is completed. □
5 Solvability and coerciveness of the main problem with nonclassical boundary conditions
Now, we will study the main problem (1.1)–(1.2).
Theorem 5.1
Assume that the following conditions hold:
-
(1)
\(\omega\neq0\) and \(\sigma\geq\max\{2,\max_{1\leq k\leq2( n+1)}\{n_{k}\}+1\}\);
-
(2)
The operator T from \(W_{q}^{\sigma}\) into \(W_{q}^{\sigma -2}\) is compact, and for all \(\varepsilon>0\)
$$\begin{aligned}& \|Ty\|_{q,0}\leq\varepsilon\|y\|_{q,2}+C(\varepsilon)\|y \|_{q,0},\quad y\in W_{q}^{2}; \\& \|Ty\|_{q,\sigma-2}\leq\varepsilon\|y\|_{q,\sigma}+C(\varepsilon)\|y\| _{q,0}, \quad y\in W_{q}^{\sigma}; \end{aligned}$$ -
(3)
Functionals \(F_{k}\) in \(W_{q}^{n_{k}}\) (\(k=1,2,\ldots,2(n+1)\)) are continuous.
Then, for each \(\varepsilon>0\), there exists \(\mu_{\varepsilon}>0\) such that, for all \(\lambda\in\varOmega_{\varepsilon}(\alpha,\beta)\) and \(|\lambda|>\mu _{\varepsilon}\), the operator
is an isomorphism from \(W_{q}^{\sigma}\) onto \(W_{q}^{\sigma-2}\oplus \mathbb{C}^{2(n+1)}\), and for these λ we have the following coercive estimate for the solution of problem (1.1)–(1.2):
where \(C(\varepsilon)\) is a constant which depends only on ε.
Proof
Let \((f(x),f_{1},f_{2},\ldots,f_{2(n+1)})\) be any element of \(W_{q}^{\sigma -2}\oplus\mathbb{C}^{2(n+1)}\). Suppose that there exists a solution \(y=y(x,\lambda)\) of problem (1.1)–(1.2) corresponding to this element. Then this solution satisfies the equalities
where \(k=1,2,\ldots,2(n+1)\). By Theorem 4.1 we have that for this solution the following a priori estimates hold:
Let ζ be any real number satisfying
Using the same method in [15, Sect. 2.8.3], it is not difficult to construct a function \(\phi(x)\in\mathbb{C}_{0}^{\infty}(\mathbb{R})\) such that
and \(0\leq\phi(x)\leq1\) for all \(x\in[-1,1]\). It is obvious that
By Theorem 3.10.4 in [15], for \(y\in W_{q}^{\sigma}\), the estimate
holds. By Theorem 4.1, from (5.4), (5.5) it follows that, for all \(\lambda\in \varOmega_{\varepsilon}(\alpha,\beta)\) sufficiently large in modulus, the following estimates hold:
By virtue of Theorem 1.7.7/2(b) and Remark 1.1.7/5 in [3], the following inequality
holds for any \(\delta>0\). Then, by virtue of (5.7),
From conditions (2), (3), inequality (5.8), and Theorem 1.7.7/2 in [3], for any \(\delta>0\), we have
Substituting (5.9) into (5.4) yields
It is obvious that for fixed \(\varepsilon>0\) it is possible to choose \(\delta>0\) so small and \(|\lambda|\) so large that \(C(\varepsilon)(\delta+C(\delta)|\lambda|^{-q^{-1}})<1\). Hence, for \(\lambda\in\varOmega_{\varepsilon}(\underline{w},\overline{w})\) sufficiently large in modulus, we obtain a priori estimate (5.1).
It follows from estimate (5.1) that we can obtain the uniqueness property of solution of problem (1.1)–(1.2), i.e., the operator M̂ is a one-to-one operator. Moreover, by Theorem 3.1 the operator M̂ from \(W_{q}^{\sigma }\) onto \(W_{q}^{\sigma-2}\oplus\mathbb{C}^{2(n+1)}\) is Fredholm.
In view of condition (2), the operator T from \(W_{q}^{\sigma}\) into \(W_{q}^{\sigma-2}\oplus\mathbb{C}^{2(n+1)}\) is compact. From above, we get that the operator M̂ is an isomorphism from \(W_{q}^{\sigma}\) onto \(W_{q}^{\sigma-2}\oplus\mathbb{C}^{2(n+1)}\). The proof is completed. □
6 Conclusion
Sturm–Liouville problem with discontinuous points inside an interval has attracted extensive attention for its wide application in physical and mathematical fields. In this paper, we go into Sturm–Liouville problem with finite discontinuous points, and for such a problem, we establish the properties such as isomorphism, Fredholmness, and coerciveness with respect to the spectral parameter. These results are of both theoretical and practical significance.
References
Likov, A.V., Mikhailov, Y.A.: The Theory of Heat and Mass Transfer. Qosenergaizdat, Moscow (1963) (Russian)
Agranovich, M.S.: Spectral properties of diffraction problems. In: Voitovich, N.N., Kazenelenbaum, B.Z., Sivov, A.N. (eds.) Generalized Method of Eigenoscillations in the Theory of Diffraction. Nauka, Moscow (1977)
Yakubov, S., Yakubov, Y.: Differential-Operator Equation Ordinary and Partial Differential Equation. Chapman & Hall/CRC, Boca Raton (1999)
Shakhmurov, V.B.: Linear and nonlinear abstract elliptic equations with VMO coefficients and applications. Fixed Point Theory Appl. 2013, 6 (2013)
Rasulov, M.L.: Methods of Contour Integration. Nort-Holland, Amsterdam (1967)
Kandemir, M.: Irregular boundary value problems with discontinuous coefficients and the eigenvalue parameter. Mediterr. J. Math. 6, 317–338 (2009)
Kandemir, M., Yakubov, Y.: Regular boundary value problems with a discontinuous coefficient, functional-multipoint conditions, and a linear spectral parameter. Isr. J. Math. 180, 255–270 (2010)
Mukhtarov, O.S., Demir, H.: Coerciveness of the discontinuous initial-boundary value problem for parabolic equation. Isr. J. Math. 114, 239–252 (1999)
Mukhtarov, O.S., Yakubov, S.: Problems for ordinary differential equations with transmission conditions. Appl. Anal. 81, 1033–1064 (2002)
Aydemir, K.: Boundary value problems with eigenvalue depending boundary and transmission conditions. Bound. Value Probl. 2014, 131 (2014)
Aydemir, K., Mukhtarov, O.S.: Second-order differential operators with interior singularity. Adv. Differ. Equ. 2015, 26 (2015)
Aydemir, K., Mukhtarov, O.S.: Spectrum and Green’s function of a many-interval Sturm–Liouville problem. Z. Naturforsch. 70(5), 301–308 (2015)
Cai, J., Zheng, Z.: Inverse spectral problems for discontinuous Sturm–Liouville problems of Atkinson type. Appl. Math. Comput. 327, 22–34 (2018)
Cai, J., Zheng, Z.: Matrix representations of Sturm–Liouville problems with coupled eigenparameter-dependent boundary conditions and transmission conditions. Math. Methods Appl. Sci. 41(9), 3495–3508 (2018)
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)
Li, K., Sun, J., Hao, X.: Dependence of eigenvalues of 2nth order boundary value transmission problems. Bound. Value Probl. 2017, 143 (2017)
Li, K., Sun, J., Hao, X.: Eigenvalues of regular fourth order Sturm–Liouville problems with transmission conditions. Math. Methods Appl. Sci. 40, 3538–3551 (2017)
Li, K., Sun, J., Hao, X., Bao, Q.: Spectral analysis for discontinuous non-self-adjoint singular Dirac operators with eigenparameter dependent boundary condition. J. Math. Anal. Appl. 453, 304–316 (2017)
Allahverdiev, B.P., Bairamov, E., Ugurlu, E.: Eigenparameter dependent Sturm–Liouville problems in boundary conditions with transmission conditions. J. Math. Anal. Appl. 401, 388–396 (2013)
Aliev, B.A.: Solvability of a boundary value problem for a second order elliptic-differential operator equation with spectral parameter in the equation and boundary conditions. Trans. NAS Azerb. 4, 3–16 (2010)
Margareth, S.A., Rivera, J.E., Mauricio, S., Villagran, O.V.: Transmission problem in thermoelasticity. Bound. Value Probl. 2011, Article ID 190548 (2011)
Cai, J., Zheng, Z.: A singular Sturm–Liouville problem with limit circle endpoints and eigenparameter dependent boundary conditions. Discrete Dyn. Nat. Soc. 2017(2), Article ID 9673846 (2017)
Buschmann, D., Stolz, G., Weidmann, J.: One-dimensional Schrödinger operators with local point interactions. J. Reine Angew. Math. 467, 169–186 (1995)
Kandemir, M., Mukhtarov, O.S.: Nonlocal Sturm–Liouville problems with integral terms in the boundary conditions. Electron. J. Differ. Equ. 2017, 11 (2017)
Kato, T.: Perturbation Theory for Linear Operators. Springer, Berlin (1966)
Besow, O.V., Il’in, V.P., Nikolskii, S.M.: Integral Representation of Functional and Embedding Theorems, vol. 1. State, New York (1978)
Dunford, N., Schwartz, J.T.: Linear Operators. Part II. Spectral Theory. Interscience, New York (1963)
Krein, S.G.: Linear Differential Equations in Banach Spaces. Am. Math. Soc., Providence (1971)
Krein, S.G.: Linear Equations in Banach Spaces. Birkhäuser, Basel (1982)
Acknowledgements
Not applicable.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
The work of the authors is supported by the National Nature Science Foundation of China (No. 11361039), the Inner Mongolia Natural Science Foundation (Nos. 2017MS0124, 2017MS0125, 2017MS(LH)0105), and the Inner Mongolia Autonomous Region University Scientific Research Project (Nos. NJZY17045, NJZC16165).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there are 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 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
Bai, Y., Wang, W. & Li, K. Solvability and coerciveness of multi-point Sturm–Liouville problems with abstract linear functionals. Bound Value Probl 2019, 17 (2019). https://doi.org/10.1186/s13661-019-1135-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1135-y