- Research
- Open Access
- Published:
Existence of multiple solutions for nonlinear multi-point boundary value problems
Advances in Difference Equations volume 2020, Article number: 266 (2020)
Abstract
In this paper, we study some nonlinear second order multi-point boundary value problems. We first give a lemma about the characteristic values of the corresponding linear operator. Then, by fixed point theorems in the recent existing literature, we obtain the existence of multiple solutions for these nonlinear second order multi-point boundary value problems, including two positive solutions, two negative solutions, and one sign-changing solution.
1 Introduction
In this paper, we study the following nonlinear multi-point boundary value problem:
where \(g:[0,1]\times (-\infty,+\infty )\rightarrow (-\infty,+\infty )\) is continuous; \(0<\beta _{1}<\beta _{2}<\cdots <\beta _{m-2}<1\); \(\alpha _{i}>0\ (i=1,2,\ldots,m-2)\) with \(\sum_{i=1}^{m-2}\alpha _{i}<1\).
The multi-point boundary value problem is an important part of boundary value problems for ordinary differential equations, which arise in physics and applied mathematics (see [1]). In 1992, Gupta considered nonlinear three-point boundary value problems (see [2]). Since then, many authors have considered the existence of nontrivial solutions for nonlinear multi-point boundary value problems and obtained many great results. We can refer to [3–18] and the references therein. For example, in [4], Xu has studied the following multi-point boundary value problem:
where \(f:(-\infty,+\infty )\rightarrow (-\infty,+\infty )\) is continuous; \(0<\eta _{1}<\eta _{2}<\cdots <\eta _{m-2}<1\); \(\alpha _{i}>0\ (i=1,2,\ldots,m-2)\). In [4], the author gave the result about the characteristic values of the relevant linear operator. In addition, the author obtained the existence of multiple positive solutions and sign-changing solutions for BVP (1.2) by applying Leray–Schauder degree methods.
In [5], Zhang and Sun studied the following nonlinear multi-point boundary value problem:
where \((Ly)(t)=(p(t)y'(t))'+q(t)y(t)\), \(f:[0,+\infty )\rightarrow [0,+\infty )\) is continuous; \(h:(0,1)\rightarrow [0,+\infty )\) is continuous, and h is singular at \(t=0\) and \(t=1\); \(0<\xi _{1}<\xi _{2}<\cdots <\xi _{m-2}<1\); \(a_{i}>0\ (i=1,2,\ldots,m-2)\). The authors proved the existence of the first eigenvalue of the relevant linear operator, and they considered the existence of positive solutions for BVP (1.3). The method they used is the fixed point index theory.
In [15], Li considered the following second order three-point boundary value problem:
where \(\eta \in (0,1), \alpha \in (0,1)\); \(f:[0,1]\times (-\infty,+\infty )\rightarrow (-\infty,+\infty )\) is continuous. The author also studied the characteristic values of the relevant linear operator about BVP (1.4). By means of fixed point theorems with lattice structure, the author has obtained the existence results of negative and sign-changing solution for BVP (1.4) for superlinear case.
Inspired by [3–18], we consider boundary value problem (1.1) in this paper. By the existing fixed point theorems due to Sang et al. [19], we obtain the existence results of multiple nontrivial solutions for BVP (1.1) for asymptotically linear case, including two positive solutions, one sign-changing, and two negative solutions. Characteristic value is an important index of the linear operator. One of the features of this paper is that we give a lemma about the characteristic values of the relevant linear operator about BVP (1.1). The other feature of this paper is that the obtained main theorems are new results for BVP (1.1), which improve and generalize BVP (1.4).
The rest of the paper is organized as follows. We introduce the definition of e-continuous operator and the used fixed point theorems due to Sang et al. [19] in Sect. 2. We give the main lemma about the characteristic values of the relevant linear operator, prove some auxiliary lemmas that we need, and obtain the main result of the existence of multiple solutions for BVP (1.1) in Sect. 3. We provide an example to illustrate our main result in Sect. 4.
2 Preliminaries
In the following, we mainly introduce the e-continuous operator and list the used fixed point theorems due to Sang et al. [19]. For detailed concepts and properties about the cone, we can refer to [21–23].
Let E be a Banach space, P be a cone of E. Let A be an operator. If \(Au=u\) with \(u\notin P\cup {(-P)}\), then u is said to be a sign-changing fixed point of A. The linear operator B is said to be positive if \(B(P)\subset P\).
Definition 2.1
(see [20])
Let \(A:D\rightarrow E\) be an operator, \(e\in P\backslash \{\theta \}\), and \(u_{0}\in D\). If, for any given \(\epsilon >0\), there exists \(\delta >0\) such that
then A is said to be e-continuous at \(u_{0}\). If A is e-continuous at every point \(u\in D\), then A is said to be e-continuous on D.
Lemma 2.1
(see [19])
LetEbe a Banach space, Pbe a normal and total cone ofE; \(B:E\rightarrow E\)be a positive linear completely continuous operator and be also e-continuous on E; \(F:E\rightarrow E\)be a continuous and bounded increasing operator and\(A=BF\). Assume that
- (i)
there exist\(x_{1}\in P\backslash \{\theta \}\)and\(x_{2}\in (-P)\backslash \{\theta \}\)such that\(Ax_{1}\leq x_{1}, x_{2}\leq Ax_{2}\); and there exists\(\alpha >0\)such that\(\alpha e\leq x_{1}, x_{2}\leq -\alpha e\);
- (ii)
\(F(\theta )=\theta \), Fis Fréchet differentiable atθ; and\(A'_{\theta }\)has a characteristic value\(\lambda _{0}<1\)with a characteristic functionψsatisfying\(\mu _{1}e\leq \psi \leq \mu _{2}e\), where\(\mu _{1}>0, \mu _{2}>0\);
- (iii)
the Fréchet derivative\(A'_{\infty }\)at ∞ exists; \(A'_{\infty }\)is increasing; \(r(A'_{\infty })>1\); 1 is not a a characteristic value of\(A'_{\infty }\).
ThenAhas at least two positive fixed points, one sign-changing solution, fixed point, and two negative fixed points.
3 Main results
Let \(E=C[0,1]\). Define the norm \(\|u\|=\max_{t\in [0,1]}|u(t)|\) on E, then E is a Banach space. Let \(P=\{u\in E | u(t)\geq 0, t\in [0,1]\}\). It is obvious that P is a normal and total cone of E (see [21–23]).
For convenience, we first give the following assumptions to be used in the rest of this paper.
- \(\mathrm {(H_{1})}\):
The sequence of positive solutions of the equation
$$ \cos \sqrt{x}=\sum_{i=1}^{m-2}\alpha _{i}\cos (\beta _{i} \sqrt{x}) $$is \(\lambda _{1}<\lambda _{2}<\cdots <\lambda _{n}<\cdots \) .
- \(\mathrm {(H_{2})}\):
\(g(t,0)=0\) and \(g(t,x)\) is increasing in x uniformly on \(t\in [0,1]\).
- \(\mathrm {(H_{3})}\):
\(\lim_{x\rightarrow 0}\frac{g(t,x)}{x}= \eta \), \(\forall t\in [0,1]\) and \(\eta >\lambda _{1}\), where \(\lambda _{1}\) is defined by \(\mathrm {(H_{1})}\).
- \(\mathrm {(H_{4})}\):
\(\lim_{x\rightarrow \infty } \frac{g(t,x)}{x}=\gamma \), \(\forall t\in [0,1]\) and \(\gamma >\lambda _{1}\), \(\gamma \neq \lambda _{k}\), where \(\lambda _{k}\) is defined by \(\mathrm {(H_{1})}\), \(k=2,3,\ldots \) .
- \(\mathrm {(H_{5})}\):
There exist \(\tau >0\), \(w>0\), and \(C>0\) such that
$$ \frac{g(t,\tau )}{\tau }< C, \qquad \frac{g(t,-w)}{-w}< C \quad\text{{for any }} t\in [0,1], $$where \(0< C<(1-\sum_{i=1}^{m-2}\alpha _{i})\).
Lemma 3.1
(see [5])
For\(y(t)\in E\), the following boundary value problem
has a unique solution
where
Define the following operators:
where\(T=LG\), \(G(t,s)\)is defined by (3.2).
Obviously, \(T:E\rightarrow E\) is completely continuous (see [5]).
Lemma 3.2
Assume that\(\mathrm {(H_{1})}\)holds. Then the sequence of positive characteristic values of the linear operatorLdefined by (3.6) is
and the positive characteristic values\(\lambda _{n}\)have algebraic multiplicity one.
Proof
Let ξ be a positive characteristic value and \(u(t)\) be a characteristic function corresponding to the characteristic value ξ. □
From Lemma 3.1, we obtain
Then the form of the general solution for the differential equation (3.8) is
Since \(u'(0)=0\), we know that \(C_{1}=0\). Then (3.9) can be reduced to
From \(u(1)=\sum_{i=1}^{m-2}\alpha _{i}u(\beta _{i})\), we have
By \(\mathrm {(H_{1})}\), we know that ξ is one of the values \(\lambda _{1}<\lambda _{2}<\cdots <\lambda _{n}<\cdots \) , and the corresponding characteristic function is
where C is a nonzero constant.
By ordinary method, we can know that
We need to prove that
It is obvious that we only need to prove that
Take any \(u\in {\operatorname{Ker}}(I-\lambda _{n} L)^{2}\). If \((I-\lambda _{n} L)u\neq \theta \), then \((I-\lambda _{n} L)u\) is a characteristic function of the linear operator L corresponding to the characteristic value \(\lambda _{n}\). So we have
where b is a nonzero constant.
Hence we easily obtain that
Then the form of the general solution for the differential equation (3.13) is
Since \(u'(0)=0\), we know that \(C_{1}=0\). By (3.14) and \(\cos \sqrt{\lambda _{n}}=\sum_{i=1}^{m-2}\alpha _{i}\cos ( \beta _{i}\sqrt{\lambda _{n}})\), we have
and
From (3.15), (3.16) and \(u(1)=\sum_{i=1}^{m-2}\alpha _{i} u(\beta _{i})\), we have
Applying the Schwarz inequality and (3.17), we have
Combining \(\cos \sqrt{\lambda _{n}}=\sum_{i=1}^{m-2}\alpha _{i}\cos ( \beta _{i}\sqrt{\lambda _{n}})\), we have
Since \(\sum_{i=1}^{m-2}\alpha _{i}<1\), we know that (3.18) is a contradiction. So (3.12) holds. By (3.10) and (3.11), we know that the algebraic multiplicity of characteristic value \(\lambda _{n}\) is 1.
Lemma 3.3
The linear operatorLis\(e(t)\)-continuous onE.
Proof
Take \(u_{0}\in E\). For any given \(\epsilon >0\), we choose \(\delta =(1-\sum_{i=1}^{m-2}\alpha _{i})\epsilon \), when \(\|u-u_{0}\|\leq \delta \), we have
where \(e(t)=1\). Hence L is \(e(t)\)-continuous on \(u_{0}\in E\). By the arbitrariness of \(u_{0}\), L is \(e(t)\)-continuous on E. □
Lemma 3.4
Suppose that\(\mathrm {(H_{2})}\)and\(\mathrm {(H_{3})}\)hold. ThenTis Fréchet differentiable atθand\(T'_{\theta }=\eta L\).
Proof
By \(\mathrm {(H_{3})}\), for any given \(\epsilon >0\), there exists \(\delta >0\), when \(0<|x|<\delta \), we obtain
Namely,
So we have
By \(\mathrm {(H_{2})}\), we have \(T\theta =\theta \). By (3.19), we have
So we have
Namely, \(T'_{\theta }=\eta L\). □
Lemma 3.5
Suppose that\(\mathrm {(H_{4})}\)holds. Then the Fréchet derivative\(T'_{\infty }=\gamma L\).
Proof
By \(\mathrm {(H_{4})}\), for any given \(\epsilon >0\), there exists \(M>0\), when \(|x|\geq M\), we have
Namely,
Let \(\widetilde{M}=\max_{t\in [0,1],|x|\leq M}|g(t,x)-\gamma x|\). Then
So
Therefore
Namely, \(T'_{\infty }=\gamma L\). □
Theorem 3.1
Suppose that\(\mathrm {(H_{1})}\)–\(\mathrm {(H_{5})}\)hold. Then BVP (1.1) has at least five nontrivial solutions: two positive solutions, one sign-changing solution, and two negative solutions.
Proof
(i) By \(\mathrm {(H_{5})}\), we have
So
Similarly, by \(\mathrm {(H_{5})}\), we have
Take \(\alpha =\min \{C\tau, Cw\}\). Then, by (3.20) and (3.21), we have
where \(e(t)=1\). □
From (3.20)–(3.22), condition (i) of Lemma 2.1 is satisfied.
(ii) By \(\mathrm {(H_{2})}\), we have \(G(\theta )=\theta \). Similar to the proof of Lemma 3.4, G is Fréchet differentiable at θ. By Lemma 3.4, we know that \(\frac{\lambda _{n}}{\eta }\) is the characteristic value of \(T'_{\theta }\). Since \(\eta >\lambda _{1}\), \(T'_{\theta }\) has a characteristic value \(\frac{\lambda _{1}}{\eta }<1\). Let \(\psi (t)\) be a characteristic function corresponding to the characteristic value \(\frac{\lambda _{1}}{\eta }<1\). Namely,
So
i.e.,
where
Then condition (ii) of Lemma 2.1 is satisfied.
(iii) From Lemma 3.5, \(T'_{\infty }=\gamma L\). So \(T'_{\infty }\) is increasing and \(\frac{\lambda _{n}}{\gamma }\) is the characteristic value of \(T'_{\infty }\), where \(\lambda _{n}\) is defined by \(\mathrm {(H_{1})}\). By \(\mathrm {(H_{4})}\), since \(r(T'_{\infty })=\frac{\gamma }{\lambda _{1}}\), \(\gamma >\lambda _{1}\), and \(\gamma \neq \lambda _{n}\), we have that \(r(T'_{\infty })>1\) and 1 is not a characteristic value of \(T'_{\infty }\). Hence condition (iii) of Lemma 2.1 holds.
4 Application
The following nonlinear four-point boundary value problem is studied:
From simple calculations, \(\lambda _{1}\approx 0.5626\), \(\lambda _{2} \approx 23.3709\), \(\lambda _{3}\approx 70.0951\) are solutions of the following equation:
Let
From (4.2), we know that g is continuous and increasing on x; \(g(t,0)=0\).
Let \(C=\frac{1}{5}, \tau =1, w=-27\), then
So, by Theorem 3.1, BVP (4.1) has at least two positive solutions, one sign-changing solution, and two negative solutions.
References
Timoshenko, S.: Theory of Elastic Stability. McGraw-Hill, New York (1961)
Gupta, C.P.: Solvability of a three-point nonlinear boundary value problem for a second order ordinary differential equations. J. Math. Anal. Appl. 168(2), 540–551 (1992)
Webb, J.R.L.: Positive solutions of some three point boundary value problems via fixed point index theory. Nonlinear Anal. 47, 4319–4332 (2001)
Xu, X.: Multiple sign-changing solutions for some m-point boundary value problems. Electron. J. Differ. Equ. 2004, 89 (2004)
Zhang, G.W., Sun, J.X.: Existence of positive solutions for singular second-order m-point boundary value problems. Acta Math. Appl. Sin. Engl. Ser. 20, 655–664 (2004)
Zhang, G.W., Sun, J.X.: Multiple positive solutions of singular second order three-point boundary value problems. J. Math. Anal. Appl. 317, 442–447 (2006)
Rynne, B.P.: Second-order three-point boundary value problems with jumping nonlinearities. Nonlinear Anal. 68, 3294–3306 (2008)
Sun, J.X., Xu, X.A., O’Regan, D.: Nodal solutions for m-point boundary value problems using bifurcation methods. Nonlinear Anal. 68, 3034–3046 (2008)
Zhang, K.M., Xie, X.J.: Existence of sign-changing solutions for some asymptotically linear three-point boundary value problems. Nonlinear Anal. 70, 2796–2805 (2009)
Ma, R., An, Y.: Global structure of positive solutions for superlinear second order m-point boundary value problems. Topol. Methods Nonlinear Anal. 34, 279–290 (2009)
Webb, J.R.L., Infante, G.: Semi-positive nonlocal boundary value problems of arbitrary order. Commun. Pure Appl. Anal. 9, 563–581 (2010)
Bai, D.L., Feng, H.F.: Eigenvalue for a singular second order three-point boundary value problem. J. Appl. Math. Comput. 38, 443–452 (2012)
Yu, C.D., Guo, Y.P., Ji, Y.D.: Existence of solutions for m-point boundary value problems on a half-line. Adv. Differ. Equ. 2009, Article ID 609143 (2009)
Cui, Y.J., Zou, Y.M.: Existence results and the monotone iterative technique for nonlinear fractional differential systems with coupled four-point boundary value problems. Abstr. Appl. Anal. 2014, Article ID 242591 (2014)
Li, H.Y.: Existence of nontrivial solutions for superlinear three-point boundary value problems. Acta Math. Appl. Sin. Engl. Ser. 33, 1043–1052 (2017)
Wei, Y.F., Bai, Z.B., Sun, S.J.: On positive solutions for some second-order three-point boundary value problems with convection term. J. Inequal. Appl. 2019, Article ID 72 (2019)
Li, H.Y., Zhang, J.T.: Global structure of positive solutions for some second order multi-point boundary value problems. J. Funct. Spaces 2017, Article ID 1014250 (2017)
Li, H.Y., Zhang, J.T.: Existence of nontrivial solutions for some second-order multipoint boundary value problems. J. Funct. Spaces 2018, Article ID 6486135 (2018)
Sang, Y.B., Meng, Q., Zhu, Z.Y.: Sign-changing solutions for asymptotically linear operator equations and applications. Bound. Value Probl. 2015, Article ID 184 (2015)
Li, F.Y., Liang, Z.P., Zhang, Q., Li, Y.H.: On sign-changing solutions for nonlinear operator equations. J. Math. Anal. Appl. 327, 1010–1028 (2007)
Guo, D.J.: Nonlinear Functional Analysis, 2nd edn. Shandong Sci. and Tech. Press, Jinan (2001)
Guo, D.J., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988)
Sun, J.X.: Nonlinear Functional Analysis and Applications. Science Press, Beijing (2008)
Acknowledgements
The authors wish to thank the reviewers for their valuable suggestions.
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analysed during the current study.
Funding
The project is supported by the National Natural Science Foundation of China (11801322) and Shandong Natural Science Foundation (ZR2018MA011).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interests
The authors declare that there is no conflict of interests regarding the publication of this article.
Competing interests
The authors declare that they have 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
Li, H., Chen, Y. & Zhang, J. Existence of multiple solutions for nonlinear multi-point boundary value problems. Adv Differ Equ 2020, 266 (2020). https://doi.org/10.1186/s13662-020-02604-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02604-1
MSC
- 34B15
- 34B18
- 47H11
Keywords
- Fixed point theorem
- Characteristic value
- Sign-changing solution
- Multi-point boundary value problem