Skip to main content

Theory and Modern Applications

Existence of multiple solutions for nonlinear multi-point boundary value problems

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:

$$ \textstyle\begin{cases} -u''(t)= g(t,u(t)), \quad 0\leq t\leq 1, \\ u'(0)=0, \qquad u(1)=\sum_{i=1}^{m-2}\alpha _{i}u(\beta _{i}), \end{cases} $$
(1.1)

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:

$$ \textstyle\begin{cases} -x''(t)=f(x),\quad t\in [0,1], \\ x(0)=0,\qquad x(1)=\sum_{i=1}^{m-2}\alpha _{i}x(\eta _{i}), \end{cases} $$
(1.2)

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:

$$ \textstyle\begin{cases} -(Ly)(t)= h(t)f(y(t)), \quad t\in (0,1), \\ y'(0)=0, \qquad y(1)=\sum_{i=1}^{m-2}a_{i}y(\xi _{i}), \end{cases} $$
(1.3)

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:

$$ \textstyle\begin{cases} -y''(t)=f(t,u(t)),\quad t\in [0,1], \\ y'(0)=0, \qquad y(1)=\alpha y(\eta ), \end{cases} $$
(1.4)

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

$$ -\epsilon e\leq Au-Au_{0}\leq \epsilon e, \quad\text{{for all }} u\in D \text{{ with }} \Vert u-u_{0} \Vert < \delta, $$

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

  1. (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\);

  2. (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\);

  3. (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

$$ \textstyle\begin{cases} u''(t)+y(t)=0,\quad t\in [0,1], \\ u'(0)=0,\qquad u(1)=\sum_{i=1}^{m-2}\alpha _{i} u(\beta _{i}), \end{cases} $$
(3.1)

has a unique solution

$$ u(t)= \int _{0}^{1}G(t,s)y(s)\,ds, \quad 0\leq t\leq 1, $$

where

$$\begin{aligned} &G(t,s)=k(t,s)+\sum_{i=1}^{m-2} \widetilde{k}_{i}(t,s)+(1-s) \Biggl( \sum_{i=1}^{m-2} \alpha _{i}\Biggr) \Biggl(1-\sum_{i=1}^{m-2} \alpha _{i}\Biggr)^{-1},\quad t,s\in [0,1]. \end{aligned}$$
(3.2)
$$\begin{aligned} &k(t,s)=\textstyle\begin{cases} 1-s, & 0\leq t\leq s\leq 1, \\ 1-t, &0\leq s\leq t\leq 1, \end{cases}\displaystyle \end{aligned}$$
(3.3)
$$\begin{aligned} &\widetilde{k}_{i}(t,s)=\textstyle\begin{cases} -\alpha _{i}(1-\sum_{i=1}^{m-2}\alpha _{i})^{-1}(\beta _{i}-s), & 0\leq s\leq \beta _{i}, t\in [0,1], \\ 0, & \beta _{i}\leq s\leq 1, t\in [0,1], \end{cases}\displaystyle \\ &\quad i=1,2,\ldots, m-2. \end{aligned}$$
(3.4)

Define the following operators:

$$\begin{aligned} &(Tu) (t)= \int _{0}^{1}G(t,s)g\bigl(s,u(s)\bigr)\,ds, \end{aligned}$$
(3.5)
$$\begin{aligned} &(Lu) (t)= \int _{0}^{1}G(t,s)u(s)\,ds, \end{aligned}$$
(3.6)
$$\begin{aligned} &(Gu) (t)= g\bigl(t,u(t)\bigr), \end{aligned}$$
(3.7)

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

$$ \lambda _{1}< \lambda _{2}< \cdots < \lambda _{n}< \cdots $$

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

$$\begin{aligned} \begin{aligned} &u''(t)+\xi u(t)=0,\quad 0\leq t\leq 1. \\ &u'(0)=0, \qquad u(1)=\sum_{i=1}^{m-2} \alpha _{i} u(\beta _{i}). \end{aligned} \end{aligned}$$
(3.8)

Then the form of the general solution for the differential equation (3.8) is

$$ u(t)=C_{1}\sin (t\sqrt{\xi })+C_{2}\cos (t\sqrt{\xi }),\quad \forall t \in [0,1]. $$
(3.9)

Since \(u'(0)=0\), we know that \(C_{1}=0\). Then (3.9) can be reduced to

$$ u(t)=C_{2}\cos (t\sqrt{\xi }), \quad\forall t\in [0,1]. $$

From \(u(1)=\sum_{i=1}^{m-2}\alpha _{i}u(\beta _{i})\), we have

$$ \cos \sqrt{\xi }=\sum_{i=1}^{m-2}\alpha _{i}\cos (\beta _{i} \sqrt{\xi }). $$

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

$$ u_{n}(t)=C\cos (t\sqrt{\lambda _{n}}),\quad t\in [0,1], $$

where C is a nonzero constant.

By ordinary method, we can know that

$$ \operatorname{dim\, Ker}(I-\lambda _{n} L)=1. $$
(3.10)

We need to prove that

$$ \operatorname{Ker}(I-\lambda _{n} L)=\operatorname{Ker}(I-\lambda _{n} L)^{2}. $$
(3.11)

It is obvious that we only need to prove that

$$ \operatorname{Ker}(I-\lambda _{n} L)^{2}\subset {\operatorname{Ker}}(I- \lambda _{n} L). $$
(3.12)

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

$$ (I-\lambda _{n} L)u=b\cos (t\sqrt{\lambda _{n}}),\quad t\in [0,1], $$

where b is a nonzero constant.

Hence we easily obtain that

$$\begin{aligned} \begin{aligned}& u''(t)+\lambda _{n} u(t)=- \lambda _{n} b\cos (t\sqrt{\lambda _{n}}),\quad 0\leq t\leq 1. \\ &u'(0)=0,\qquad u(1)=\sum_{i=1}^{m-2} \alpha _{i} u(\beta _{i}). \end{aligned} \end{aligned}$$
(3.13)

Then the form of the general solution for the differential equation (3.13) is

$$\begin{aligned} u(t)={}& C_{1}\sin (t\sqrt{\lambda _{n}})+C_{2}\cos (t\sqrt{ \lambda _{n}})-\frac{b}{4}\cos (2t\sqrt{\lambda _{n}})\cos (t\sqrt{ \lambda _{n}}) \\ &{}-\biggl( \frac{b\sin (2t\sqrt{\lambda _{n}})}{4}+ \frac{bt\sqrt{\lambda _{n}}}{2}\biggr)\sin (t\sqrt{\lambda _{n}}),\quad t\in [0,1]. \end{aligned}$$
(3.14)

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

$$\begin{aligned} u(1)={}& C_{2}\cos \sqrt{\lambda _{n}}-\frac{b}{4}\cos (2 \sqrt{\lambda _{n}})\cos \sqrt{\lambda _{n}} -\biggl( \frac{b\sin (2\sqrt{\lambda _{n}})}{4}+\frac{b\sqrt{\lambda _{n}}}{2}\biggr) \sin \sqrt{\lambda _{n}} \\ ={}& C_{2}\sum_{i=1}^{m-2}\alpha _{i} \cos (\beta _{i}\sqrt{\lambda _{n}})- \frac{b}{4}\bigl(1-2\sin ^{2}\sqrt{ \lambda _{n}} \bigr)\sum_{i=1}^{m-2}\alpha _{i}\cos (\beta _{i} \sqrt{\lambda _{n}}) \\ &{}-\frac{b}{2} \sin ^{2}\sqrt{\lambda _{n}}\sum _{i=1}^{m-2}\alpha _{i}\cos ( \beta _{i}\sqrt{\lambda _{n}})-\frac{b\sqrt{\lambda _{n}}}{2}\sin \sqrt{ \lambda _{n}} \\ ={}& C_{2}\sum_{i=1}^{m-2}\alpha _{i}\cos ( \beta _{i}\sqrt{\lambda _{n}})- \frac{b}{4}\sum_{i=1}^{m-2} \alpha _{i}\cos (\beta _{i}\sqrt{\lambda _{n}}) - \frac{b\sqrt{\lambda _{n}}}{2}\sin \sqrt{\lambda _{n}} \end{aligned}$$
(3.15)

and

$$\begin{aligned} \sum_{i=1}^{m-2}\alpha _{i}u(\beta _{i})= {}&C_{2} \sum_{i=1}^{m-2} \alpha _{i}\cos (\beta _{i}\sqrt{\lambda _{n}})- \frac{b}{4}\sum_{i=1}^{m-2}\alpha _{i}\cos (2\beta _{i}\sqrt{ \lambda _{n}})\cos ( \beta _{i}\sqrt{\lambda _{n}}) \\ &{}-\frac{b}{4}\sum_{i=1}^{m-2} \alpha _{i}\sin (2\beta _{i}\sqrt{\lambda _{n}})\sin ( \beta _{i}\sqrt{ \lambda _{n}}) -\frac{b\sqrt{\lambda _{n}}}{2}\sum _{i=1}^{m-2} \alpha _{i}\beta _{i}\sin (\beta _{i}\sqrt{\lambda _{n}}) \\ ={}& C_{2}\sum_{i=1}^{m-2}\alpha _{i}\cos ( \beta _{i}\sqrt{\lambda _{n}})- \frac{b}{4}\sum_{i=1}^{m-2} \alpha _{i}\cos (\beta _{i}\sqrt{\lambda _{n}}) \\ &{} - \frac{b\sqrt{\lambda _{n}}}{2}\sum_{i=1}^{m-2}\alpha _{i} \beta _{i}\sin (\beta _{i}\sqrt{\lambda _{n}}) \end{aligned}$$
(3.16)

From (3.15), (3.16) and \(u(1)=\sum_{i=1}^{m-2}\alpha _{i} u(\beta _{i})\), we have

$$ \sin \sqrt{\lambda _{n}}=\sum_{i=1}^{m-2} \alpha _{i}\beta _{i} \sin (\beta _{i}\sqrt{\lambda _{n}}). $$
(3.17)

Applying the Schwarz inequality and (3.17), we have

$$\begin{aligned} 1-\cos ^{2}\sqrt{\lambda _{n}}&=\sin ^{2}\sqrt{ \lambda _{n}}=\Biggl(\sum_{i=1}^{m-2} \alpha _{i}\beta _{i}\sin (\beta _{i}\sqrt{ \lambda _{n}})\Biggr)^{2} \\ &\leq \Biggl(\sum _{i=1}^{m-2}\beta ^{2}_{i}\Biggr) \Biggl( \sum_{i=1}^{m-2}\alpha ^{2}_{i}\sin ^{2}(\beta _{i}\sqrt{ \lambda _{n}})\Biggr) \\ &=\Biggl(\sum_{i=1}^{m-2}\beta ^{2}_{i}\Biggr)\Biggl[\sum_{i=1}^{m-2} \alpha ^{2}_{i}(1-\cos ^{2}(\beta _{i} \sqrt{\lambda _{n}})\Biggr]\\ & =\Biggl(\sum_{i=1}^{m-2} \beta ^{2}_{i}\Biggr) \Biggl(\sum _{i=1}^{m-2}\alpha ^{2}_{i}\Biggr) - \Biggl(\sum_{i=1}^{m-2}\beta ^{2}_{i}\Biggr) \Biggl(\sum_{i=1}^{m-2} \alpha ^{2}_{i}\cos ^{2}(\beta _{i}\sqrt{ \lambda _{n}})\Biggr). \end{aligned}$$

Combining \(\cos \sqrt{\lambda _{n}}=\sum_{i=1}^{m-2}\alpha _{i}\cos ( \beta _{i}\sqrt{\lambda _{n}})\), we have

$$\begin{aligned} 1\leq{}& \cos ^{2}\sqrt{\lambda _{n}}+\Biggl(\sum _{i=1}^{m-2}\beta ^{2}_{i}\Biggr) \Biggl( \sum_{i=1}^{m-2}\alpha ^{2}_{i}\Biggr) -\Biggl(\sum_{i=1}^{m-2} \beta ^{2}_{i}\Biggr) \Biggl(\sum _{i=1}^{m-2}\alpha ^{2}_{i}\cos ^{2}( \beta _{i}\sqrt{\lambda _{n}})\Biggr) \\ ={}&\Biggl(\sum_{i=1}^{m-2}\alpha _{i} \cos (\beta _{i}\sqrt{ \lambda _{n}})\Biggr)^{2}+ \Biggl(\sum_{i=1}^{m-2}\beta ^{2}_{i}\Biggr) \Biggl(\sum_{i=1}^{m-2} \alpha ^{2}_{i}\Biggr) -\Biggl(\sum _{i=1}^{m-2} \beta ^{2}_{i}\Biggr) \Biggl(\sum_{i=1}^{m-2}\alpha ^{2}_{i}\cos ^{2}( \beta _{i}\sqrt{ \lambda _{n}})\Biggr) \\ ={}&\Biggl(\sum_{i=1}^{m-2}\beta ^{2}_{i}\Biggr) \Biggl(\sum_{i=1}^{m-2} \alpha ^{2}_{i}\Biggr)+\Biggl[1-\Biggl(\sum _{i=1}^{m-2}\beta ^{2}_{i}\Biggr) \Biggr]\Biggl(\sum_{i=1}^{m-2}\alpha ^{2}_{i}\cos ^{2}(\beta _{i}\sqrt{\lambda _{n}})\Biggr) \\ &{} +\sum_{i\neq j}\alpha _{i}\alpha _{j}\cos (\beta _{i}\sqrt{ \lambda _{n}})\cos (\beta _{j}\sqrt{\lambda _{n}}) \\ \leq{}& \Biggl(\sum_{i=1}^{m-2}\beta ^{2}_{i}\Biggr) \Biggl(\sum_{i=1}^{m-2} \alpha ^{2}_{i}\Biggr)+\Biggl[1-\Biggl(\sum _{i=1}^{m-2}\beta ^{2}_{i}\Biggr) \Biggr]\sum_{i=1}^{m-2}\alpha ^{2}_{i}+\sum_{i\neq j}\alpha _{i} \alpha _{j} \\ ={}&\sum_{i=1}^{m-2}\alpha ^{2}_{i}+ \sum_{i\neq j} \alpha _{i}\alpha _{j}=\Biggl(\sum_{i=1}^{m-2}\alpha _{i}\Biggr)^{2}. \end{aligned}$$
(3.18)

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

$$\begin{aligned} \bigl\vert (Lu) (t)-(Lu_{0}) (t) \bigr\vert &\leq \int _{0}^{1}G(t,s) \bigl\vert u(t)-u_{0}(t) \bigr\vert \,ds \\ &\leq \Vert u-u_{0} \Vert \biggl(1+ \frac{\sum_{i=1}^{m-2}\alpha _{i}}{1-\sum_{i=1}^{m-2}\alpha _{i}}\biggr)< \epsilon, \end{aligned}$$

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

$$ \biggl\vert \frac{g(t,x)}{x}-\eta \biggr\vert < \epsilon, \quad\forall t\in [0,1]. $$

Namely,

$$ \bigl\vert g(t,x)-\eta x \bigr\vert < \epsilon \vert x \vert ,\quad \forall t \in [0,1], 0< \vert x \vert < \delta. $$

So we have

$$ \bigl\vert g\bigl(t,u(t)\bigr)-\eta u(t) \bigr\vert < \Vert Gu-\eta u \Vert \leq \epsilon \Vert u \Vert , \quad\forall t \in [0,1], \vert u \vert \leq \delta. $$
(3.19)

By \(\mathrm {(H_{2})}\), we have \(T\theta =\theta \). By (3.19), we have

$$\begin{aligned} \Vert Tu-T\theta -\eta Lu \Vert & = \bigl\Vert (LG)u-(\eta L)u \bigr\Vert = \bigl\Vert L(Gu-\eta u) \bigr\Vert \\ &\leq \Vert L \Vert \cdot \Vert Gu- \eta u \Vert \leq \epsilon \Vert L \Vert \cdot \Vert u \Vert ,\quad \forall \Vert u \Vert \leq \delta. \end{aligned}$$

So we have

$$ \lim_{ \Vert u \Vert \rightarrow 0} \frac{ \Vert Tu-T\theta -\eta Lu \Vert }{ \Vert u \Vert }=0. $$

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

$$ \biggl\vert \frac{g(t,x)}{x}-\gamma \biggr\vert < \epsilon,\quad \forall t\in [0,1]. $$

Namely,

$$ \bigl\vert g(t,x)-\gamma x \bigr\vert < \epsilon \vert x \vert ,\quad \forall t\in [0,1], \vert x \vert \geq M. $$

Let \(\widetilde{M}=\max_{t\in [0,1],|x|\leq M}|g(t,x)-\gamma x|\). Then

$$ \bigl\vert g(t,x)-\gamma x \bigr\vert \leq \widetilde{M}+\epsilon \vert x \vert ,\quad \forall t\in [0,1], x\in (-\infty,+\infty ). $$

So

$$\begin{aligned} \Vert Tu-\gamma Lu \Vert & = \bigl\Vert (LG)u-(\gamma L)u \bigr\Vert = \bigl\Vert L(Gu-\gamma u) \bigr\Vert \leq \Vert L \Vert \cdot \Vert Gu- \gamma u \Vert \\ &\leq \bigl(\widetilde{M}+\epsilon \Vert u \Vert \bigr) \Vert L \Vert ,\quad \forall u\in E. \end{aligned}$$

Therefore

$$ \lim_{ \Vert u \Vert \rightarrow \infty } \frac{ \Vert Tu-\gamma Lu \Vert }{ \Vert u \Vert }=0. $$

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

$$ g(t,\tau )\leq C\tau \quad\text{{for }} t\in [0,1]. $$

So

$$ T(\tau )= \int _{0}^{1} G(t,s)g(s,\tau )\,ds\leq C \int _{0}^{1}G(t,s) \tau ds\leq C\tau \biggl(1+ \frac{\sum_{i=1}^{m-2}\alpha _{i}}{1-\sum_{i=1}^{m-2}\alpha _{i}}\biggr) \leq \tau. $$
(3.20)

Similarly, by \(\mathrm {(H_{5})}\), we have

$$\begin{aligned} T(-w)&= \int _{0}^{1} G(t,s)g(s,-w)\,ds\geq -Cw \int _{0}^{1}G(t,s)\,ds \\ &\geq -Cw\biggl(1+ \frac{\sum_{i=1}^{m-2}\alpha _{i}}{1-\sum_{i=1}^{m-2}\alpha _{i}}\biggr) \geq -w. \end{aligned}$$
(3.21)

Take \(\alpha =\min \{C\tau, Cw\}\). Then, by (3.20) and (3.21), we have

$$ \alpha e(t)< \tau, \quad -w< -\alpha e(t), $$
(3.22)

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,

$$ \biggl(\frac{\lambda _{1}}{\eta }T'_{\theta }\psi \biggr) (t)=\psi (t),\quad \forall t \in [0,1]. $$

By (3.2)–(3.4), we have

$$ (1-s) \frac{\sum_{i=1}^{m-2}\alpha _{i}}{1-\sum_{i=1}^{m-2}\alpha _{i}} \leq G(t,s)\leq 1+ \frac{\sum_{i=1}^{m-2}\alpha _{i}(1-s)}{1-\sum_{i=1}^{m-2}\alpha _{i}}. $$

So

$$ \lambda _{1} \frac{\sum_{i=1}^{m-2}\alpha _{i}\int _{0}^{1}(1-s)\psi (s)\,ds}{1-\sum_{i=1}^{m-2}\alpha _{i}} \cdot 1 \leq \psi (t)\leq {\lambda _{1}}\biggl[1+ \frac{\sum_{i=1}^{m-2}\alpha _{i}}{2(1-\sum_{i=1}^{m-2}\alpha _{i})}\biggr] \Vert \psi \Vert \cdot 1. $$

i.e.,

$$ \mu _{1} e(t)\leq \psi (t)\leq \mu _{2} e(t), $$

where

$$ \mu _{1}={\lambda _{1}} \frac{\sum_{i=1}^{m-2}\alpha _{i}\int _{0}^{1}(1-s)\psi (s)\,ds}{1-\sum_{i=1}^{m-2}\alpha _{i}},\qquad \mu _{2}={\lambda _{1}}\biggl[1+ \frac{\sum_{i=1}^{m-2}\alpha _{i}}{2(1-\sum_{i=1}^{m-2}\alpha _{i})}\biggr] \Vert \psi \Vert , e(t)=1. $$

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.

From the above proof, Theorem 3.1 holds by Lemma 2.1.

4 Application

The following nonlinear four-point boundary value problem is studied:

$$\begin{aligned} \textstyle\begin{cases} -u''(t)=g(t,u(t)), \quad 0\leq t\leq 1, \\ u'(0)=0, \qquad u(1)= {\frac{1}{4}}u(\frac{1}{5})+{ \frac{1}{2}}u(\frac{1}{3}). \end{cases}\displaystyle \end{aligned}$$
(4.1)

From simple calculations, \(\lambda _{1}\approx 0.5626\), \(\lambda _{2} \approx 23.3709\), \(\lambda _{3}\approx 70.0951\) are solutions of the following equation:

$$ \cos \sqrt{x}=\frac{1}{4}\cos {\frac{\sqrt{x}}{5}}+\frac{1}{2}\cos { \frac{\sqrt{x}}{3}}. $$

Let

$$\begin{aligned} g(t,x)= \textstyle\begin{cases} 2x+\sqrt{x}-\frac{t}{64}-\frac{439}{64}, & t \in [0,1], x\in (4,+\infty ), \\ (x-1)+\frac{9}{64}-\frac{t}{64}, & t\in [0,1], x\in (1,4), \\ \frac{9}{64}-\frac{t}{64},& t\in [0,1], x\in (\frac{1}{8},1] \\ x+(1-t)x^{2}, & t\in [0,1], x\in [-1, \frac{1}{8}], \\ \frac{1}{72}(x+1)-t, & t \in [0,1], x\in (-27,-1), \\ 2x+\sqrt[3]{x}+\frac{2039}{36}-t, & t\in [0,1], x\in (- \infty,-27]. \end{cases}\displaystyle \end{aligned}$$
(4.2)

From (4.2), we know that g is continuous and increasing on x; \(g(t,0)=0\).

$$\begin{aligned} &\liminf_{x\rightarrow 0} \frac{g(t,x)}{x}=1> \lambda _{1}, \\ &\limsup_{x\rightarrow \infty } \frac{g(t,x)}{x}=2> \lambda _{1}. \end{aligned}$$

Let \(C=\frac{1}{5}, \tau =1, w=-27\), then

$$\begin{aligned} &\frac{g(t,\tau )}{\tau }=\frac{9}{64}-\frac{t}{64}< \frac{1}{5}; \\ &\frac{g(t,w)}{w}=\frac{13}{972}+\frac{t}{27}< \frac{1}{5}. \end{aligned}$$

So, by Theorem 3.1, BVP (4.1) has at least two positive solutions, one sign-changing solution, and two negative solutions.

References

  1. Timoshenko, S.: Theory of Elastic Stability. McGraw-Hill, New York (1961)

    Google Scholar 

  2. 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)

    Article  MathSciNet  Google Scholar 

  3. Webb, J.R.L.: Positive solutions of some three point boundary value problems via fixed point index theory. Nonlinear Anal. 47, 4319–4332 (2001)

    Article  MathSciNet  Google Scholar 

  4. Xu, X.: Multiple sign-changing solutions for some m-point boundary value problems. Electron. J. Differ. Equ. 2004, 89 (2004)

    MathSciNet  MATH  Google Scholar 

  5. 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)

    Article  MathSciNet  Google Scholar 

  6. 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)

    Article  MathSciNet  Google Scholar 

  7. Rynne, B.P.: Second-order three-point boundary value problems with jumping nonlinearities. Nonlinear Anal. 68, 3294–3306 (2008)

    Article  MathSciNet  Google Scholar 

  8. 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)

    Article  MathSciNet  Google Scholar 

  9. 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)

    Article  MathSciNet  Google Scholar 

  10. 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)

    Article  MathSciNet  Google Scholar 

  11. Webb, J.R.L., Infante, G.: Semi-positive nonlocal boundary value problems of arbitrary order. Commun. Pure Appl. Anal. 9, 563–581 (2010)

    Article  MathSciNet  Google Scholar 

  12. 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)

    Article  MathSciNet  Google Scholar 

  13. 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)

    Article  MathSciNet  Google Scholar 

  14. 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)

    MathSciNet  MATH  Google Scholar 

  15. Li, H.Y.: Existence of nontrivial solutions for superlinear three-point boundary value problems. Acta Math. Appl. Sin. Engl. Ser. 33, 1043–1052 (2017)

    Article  MathSciNet  Google Scholar 

  16. 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)

    Article  MathSciNet  Google Scholar 

  17. 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)

    MATH  Google Scholar 

  18. 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)

    MathSciNet  MATH  Google Scholar 

  19. 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)

    Article  MathSciNet  Google Scholar 

  20. 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)

    Article  MathSciNet  Google Scholar 

  21. Guo, D.J.: Nonlinear Functional Analysis, 2nd edn. Shandong Sci. and Tech. Press, Jinan (2001)

    Google Scholar 

  22. Guo, D.J., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988)

    MATH  Google Scholar 

  23. Sun, J.X.: Nonlinear Functional Analysis and Applications. Science Press, Beijing (2008)

    Google Scholar 

Download references

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

Authors

Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Hongyu Li.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-02604-1

MSC

Keywords