Existence of symmetric solutions for a class of BVP with integral boundary conditions

Zhiying Tong; Wei Ding

doi:10.1186/s13661-016-0591-x

Research
Open Access

Existence of symmetric solutions for a class of BVP with integral boundary conditions

Zhiying Tong¹ and
Wei Ding¹Email author

Boundary Value Problems20162016:84

https://doi.org/10.1186/s13661-016-0591-x

Received: 3 November 2015
Accepted: 12 April 2016
Published: 21 April 2016

Abstract

In this paper, we study the symmetric solutions of second-order BVP with integral boundary conditions. By using a generalized Leggett-Williams fixed point theorem and some other techniques, we obtain sufficient conditions for the existence of symmetric positive solutions for the system. Meanwhile, an example is devoted to demonstrate our results in the end.

Keywords

integral boundary conditions
Green’s function
boundary value problem
fixed point theorem

1 Introduction

With the development of science and technology, boundary value problems have acquired more attention in these years. Many methods are used to solve this kind of problems, such as fixed point theorems, coincidence degree theory, iterative method with upper and lower solutions, etc. Readers can see [1–13] for details.

However, the past researches focus on the existence of positive solution, periodic solution, uniqueness, etc.

For example, Boucherif [14] considered the following BVP:

$$\textstyle\begin{cases} u''(t) + f(u(t))=0 ,\quad t \in(0, 1), \\ u(0)- a u'(0)= \int_{0}^{1} g_{0}(s)u(s)\,ds, \\ u(1)- b u'(1)= \int_{0}^{1} g_{1}(s)u(s)\,ds. \end{cases} $$

By applying the Krasnoselskii fixed point theorem, they obtained the existence of positive solutions of the system.

After Hayasida [15] drew some interesting results about symmetric positive solutions for a kind of BVP, several papers concerned about the subject with the same method; see [16–19]. Inspired by them, we consider a similar problem for the following system:

$$ \textstyle\begin{cases} u^{\prime\prime}(t)+f(u(t))=0,\quad t\in I, \\ u(0)-au^{\prime}(0)=\int_{0}^{1}\varrho_{0}(s)u(s)\,ds, \\ u(1)-bu^{\prime}(1)=\int_{0}^{1}\varrho_{1}(s)u(s)\,ds, \end{cases} $$

(1)

where $f:\mathbb{R}\rightarrow[0,+\infty)$ is continuous, $I=[0,1]$, $\varrho_{0}>0$ and $\varrho_{1}>0 $ are continuous, and a and b are real parameters.

Abdulkadir [20] studied the case $a=b=0$, $\varrho_{0}, \varrho _{1}\equiv0$ and drew some conclusions by using a generalization of the Leggett-Williams fixed point theorem. Obviously, the general case is much complicated. In this paper, we generalize the corresponding results.

The structure of this paper is as follows. In Section 2 and Section 3, we introduce the Leggett-Williams fixed point theorem, some definitions, and some lemmas. In particular, we deduce system (4) and some properties of the Green function, which will be used to prove the main results. Section 4 is devoted to developing the main results, which will be stated in detail. Finally, an example is included to display the main results.

2 Preliminaries

In this section, we give some definitions and the fixed point theorem that will be used in this paper.

Definition 1

Let E be a real Banach space. A nonempty, closed, and convex set $P\subset E$ is a cone if the following two conditions are satisfied:

(i)

if $x \in P$ and $\mu\geq0 $, then $\mu x \in P$;
(ii)

if $x \in P $ and $-x \in P$, then $x=0$.

Every cone $P\subset E$ induces the ordering in E given by $x_{1}\leq x_{2}$ if and only if $x_{2}-x_{1} \in P$.

Definition 2

A map α is called a nonnegative continuous convex functional on a cone P in a real Banach space E if $\alpha:P\rightarrow[0,+\infty)$ is continuous and

$$\alpha\bigl(\lambda x_{1}+(1-\lambda)x_{2}\bigr)\leq\lambda \alpha(x_{1})+(1-\lambda)\alpha(x_{2}) $$

for all $x_{1},x_{2}\in P$ and $0\leq\lambda\leq1$. Likewise, we know the map β is a nonnegative continuous concave functional on a cone P in a real Banach space E if $\beta :P\rightarrow[0,+\infty)$ is continuous and

$$\beta\bigl(\lambda x_{1}+(1-\lambda)x_{2}\bigr)\geq\lambda \beta(x_{1})+(1-\lambda)\beta(x_{2}) $$

for all $x_{1},x_{2}\in P$ and $0\leq\lambda\leq1$.

We denote $E=C(I)$, $I=[0,1]$, with the maximum norm, and for all $0<\widetilde{t}\leq\frac{1}{2}$, we define the cone $P\subset E$ by

$$\begin{aligned} P=&\Bigl\{ u \in E: u(t) \mbox{ is concave, symmetric, and nonnegative-valued on }I, \\ &\mbox{and } \min_{t\in[\widetilde{t},1-\widetilde{t}]}u(t)\geq 2\widetilde{t}\Vert u \Vert \Bigr\} . \end{aligned}$$

Theorem 1

(Leggett-Williams fixed-point theorem [21])

Let $P \subset E$ be a cone in a real Banach space E. Let $l>0$ and $N>0$, let β and χ be nonnegative continuous concave functionals on P, and let ζ, α, and ρ be nonnegative continuous convex functionals on P with

$$\beta(u)\leq\alpha(u),\qquad\Vert u \Vert\leq N\zeta(u), $$

for all $u \in\overline{\mathbb{P}(\zeta, l)}$. Suppose that $Y:\overline{\mathbb{P}(\zeta, l)}\rightarrow\overline{\mathbb {P}(\zeta, l)}$ is a completely continuous operator and that there exist numbers $h>0$, $d>0$, $p, q>0$ with $d< p$ such that:

$$\begin{aligned} &u\in\mathbb{P}(\zeta,\rho, \beta, p,q, l):\quad \beta(u) >p\neq\emptyset \quad \textit{and}\quad\beta(Fu)>p \quad\textit{for } u\in\mathbb{P}(\zeta,\rho , \beta, p,q, l); \\ & u\in\mathbb{Q}(\zeta, \alpha,\chi, h, d, l):\quad \alpha(u)< d \neq \emptyset\quad \textit{and}\quad\alpha(Fu)< d \quad\textit{for } u\in\mathbb{Q}(\zeta, \alpha,\chi, h, d, l); \\ &\alpha(Fu)>p \quad\textit{for } u\in\mathbb{P}(\zeta, \beta, p, l) \textit { with } \rho(Fu)>q; \\ &\beta(Fu)< d \quad\textit{for } u\in\mathbb{Q}(\zeta, \alpha, d, l) \textit { with } \chi(Fu)< h. \end{aligned}$$

Then there exist at least three fixed points $u_{1}, u_{2}, u_{3} \in \overline{\mathbb{P}(\zeta, l)}$ such that

$$\alpha(u_{1})< d,\qquad p < \beta(u_{2}), \quad\textit{and} \quad d< \alpha(u_{3}) \quad \textit{with } \beta(u_{3})< p. $$

Thereinto, some sets are as follows:

$$\begin{aligned} &\mathbb{P}(\zeta, l)=\bigl\{ u \in P:\zeta(u)< l\bigr\} , \\ &\mathbb{P}(\zeta,\beta, p, l)=\bigl\{ u \in P: p \leq\beta(u), \zeta (u)< l\bigr\} , \\ &\mathbb{P}(\zeta,\rho, \beta, p,q, l)=\bigl\{ u \in P: p \leq\beta (u),\rho(u) \leq q, \zeta(u)< l\bigr\} , \\ &\mathbb{Q}(\zeta, \alpha, d, l)=\bigl\{ u \in P: \alpha(u) \leq d, \zeta(u)< l \bigr\} , \\ &\mathbb{Q}(\zeta, \alpha,\chi, h, d, l)=\bigl\{ u \in P: h\leq\chi(u), \alpha(u) \leq d, \zeta(u)< l\bigr\} . \end{aligned}$$

Many other functionals on the cone P are defined by

$$\begin{aligned} &\beta(u)=\min_{t\in[t_{0},t_{1}]\cup[1-t_{1},1-t_{0}]}u(t)=u(t_{0}), \\ &\chi(u)=\min_{t\in[\frac{1}{\omega},\frac{\omega-1}{\omega }]}u(t)=u\biggl(\frac{1}{\omega}\biggr), \\ &\alpha(u)=\max_{t\in[\frac{1}{\omega},\frac{\omega-1}{\omega }]}u(t)=u\biggl(\frac{1}{2}\biggr), \\ &\rho(u)=\max_{t\in[t_{0},t_{1}]\cup[1-t_{1},1-t_{0}]}u(t)=u(t_{1}), \\ &\zeta(u)=\max_{t\in[0,\widetilde{t}]\cup[1-\widetilde {t},1]}u(t)=u(\widetilde{t}), \end{aligned}$$

where $t_{0}$, $t_{1}$, and ω are nonnegative numbers such that

$$0< t_{0}< t_{1}\leq\frac{1}{2} \quad\mbox{and}\quad \frac{1}{\omega}\leq t_{1}. $$

It is clear that, for all $u\in P$,

$$\begin{aligned} &\beta(u)=u(t_{0})\leq u\biggl(\frac{1}{2}\biggr)= \alpha(u), \end{aligned}$$

(2)

$$\begin{aligned} &\Vert u \Vert=u\biggl(\frac{1}{2}\biggr)\leq\frac{1}{2\widetilde {t}}u( \widetilde{t})=\frac{1}{2\widetilde{t}}\zeta(u). \end{aligned}$$

(3)

Throughout the paper, we suppose that the following two conditions hold.

($H_{0}$):: $a>1$, $-1< b<0$;

($H_{1}$):: $\varrho_{0}>0$ and $\varrho_{1}>0$ are continuous on I, and the supplementary function $\varphi(t, s)$, defined by
$$\varphi(t, s)=\frac{a+t}{1+a-b}\varrho_{1}(s)-\frac {b-1+t}{1+a-b} \varrho_{0}(s),\quad t, s \in I, $$
satisfies
$$0\leq m:=\min_{t, s \in I}\varphi(t, s)\leq M:=\max _{t, s \in I}\varphi(t, s)< 1. $$

3 Some lemmas

In order to get the main results, we consider the following linear system:

$$ \textstyle\begin{cases} -u^{\prime\prime}(t)=h(t),\quad t\in[0,1], \\ u(0)-au^{\prime}(0)=\int_{0}^{1}\varrho_{0}(s)\sigma_{0}(s)\,ds, \\ u(1)-bu^{\prime}(1)=\int_{0}^{1}\varrho_{1}(s)\sigma_{1}(s)\,ds. \end{cases} $$

(4)

Lemma 1

Assume that h, $\sigma_{0}$, and $\sigma_{1}$ are continuous functionals. If condition ($H_{0}$) is satisfied, then problem (4) has a unique solution given by

$$ u(t)= \int_{0}^{1} G(t,s)h(s) \,ds+ \frac{a+t}{1+a-b} \int_{0}^{1} \varrho_{1}(s) \sigma_{1}(s)\,ds-\frac{b-1+t}{1+a-b} \int_{0}^{1} \varrho_{0}(s) \sigma_{0}(s)\,ds, $$

(5)

where $G(t,s)$ is given by

$$ G(t,s)= \textstyle\begin{cases} \frac{(s+a)(1-b-t)}{1+a-b},& 0\leq s< t< 1, \\ \frac{(1-s-b)(a+t)}{1+a-b},& 0\leq t< s\leq1. \end{cases} $$

(6)

Here $G(t,s)$ is Green’s function of (4), which has the following different properties:

$$\begin{aligned} & \int_{0}^{1} G(t,s)\,ds=\frac{-(1+a-b)t^{2}+(1-2b)t+a(1-2b)}{2(1+a-b)},\quad0 \leq t \leq1, \\ & \int_{0}^{\frac{1}{\omega}} G\biggl( \frac{1}{2},s\biggr)\,ds=\frac {(1-2b)(1+2a\omega)}{4\omega^{2}(1+a-b)},\quad\omega>2, \\ & \int_{\frac{1}{\omega}}^{\frac{1}{2}} G\biggl( \frac{1}{2},s\biggr)\,ds=\frac {(1-2b)(\omega-2)[(4a+1)\omega+2]}{16\omega^{2}(1+a-b)},\quad\omega>2, \\ & \int_{t_{0}}^{t_{1}} G(t_{1},s)\,ds+ \int_{1-t_{1}}^{1-t_{0}} G(t,s)\,ds=\frac {(t_{1}-t_{0})(1-2b)(a+t)}{2(1+a-b)},\quad 0< t_{0}< t_{1}< \frac{1}{2}, \\ &\min_{\omega\in[0,1]} \frac{G(t_{0},\omega)}{G(t_{1},\omega )}=1,\quad0< t_{0}< t_{1}< \frac{1}{2},\qquad\max_{\omega\in[0,1]}\frac{G(\frac {1}{2},\omega)}{G(t,\omega)}=1,\quad 0< t\leq\frac{1}{2}. \end{aligned}$$

Define the linear operator $B:C(I)\rightarrow C(I)$ by

$$ (Bu) (t)= \int_{0}^{1} \varphi(t,s)u(s)\,ds. $$

(7)

Lemma 2

If ($H_{0}$) and ($H_{1}$) are satisfied, then the operator B has the following properties:

(i)

B is a bounded linear operator, $B(P)\subset P$;
(ii)

$(I-B)$ is invertible;
(iii)

$\Vert(I-B)^{-1}\Vert\leq\frac{1}{1-M}$.

Proof

(i)

For all $k_{1}, k_{2}\in\mathbb{R}$ and $u_{1}(t), u_{2}(t)\in C(I)$,
$$\begin{aligned} &B\bigl(k_{1} u_{1}(t)+k_{2} u_{2}(t) \bigr) \\ &\quad= \int_{0}^{1} {\phi(t,s)\bigl[k_{1} u_{1}(t)+k_{2} u_{2}(t)\bigr]} \,ds \\ &\quad=k_{1} (B u_{1}) (t)+k_{2} (B u_{2}) (t). \end{aligned}$$

By using ($H_{1}$) and $\varphi(t,s)\leq M$ we have that
$$\bigl|(Bu) (t)\bigr|\leq M\Vert u \Vert. $$
For $u \in P$, we have $u(s) \geq0$, $s \in[0,1]$. Since $\varphi (t,s)\geq m>0$, we can obtain the following inequalities:
$$\begin{aligned} &(Bu) (t)\geq0;\qquad(Bu) (t)=(Bu) (1-t)\quad\biggl(0< t< \frac{1}{2} \biggr); \\ &(Bu)^{\prime\prime}(t)=-u(t)< 0;\qquad(Bu) (\widetilde{t})\leq 2\widetilde{t}Bu \biggl(\frac{1}{2}\biggr). \end{aligned}$$
Then, $B(P)\subset P$.
(ii)

To prove that $(I-B)$ is invertible, we just need to show that 1 is not an eigenvalue of B.

Since $M < 1$, $\Vert Bu \Vert\leq M\Vert u \Vert$, and thus $\sup_{u\neq0} \frac{\Vert Bu \Vert}{\Vert B \Vert}\leq M<1$.

Besides, if we suppose that 1 is an eigenvalue of B, then there is $u\in C(I)$ such that $Bu=u$. Moreover, we can obtain that $\frac {\Vert Bu \Vert}{\Vert B \Vert}=1$. So $\Vert B \Vert\geq1$. Thus, this assumption is false, so that 1 is not an eigenvalue of B and, equivalently, $(I-B)$ is invertible.
(iii)

To obtain the expression for $(I-B)^{-1}$, we make use of the theory of Fredholm integral equations.

For each $t\in I$, $u(t)=(I-B)^{-1}x(t)\Leftrightarrow u(t)=x(t)+(Bu)(t)$. We obtain
$$ u(t)=x(t)+ \int_{0}^{1} \varphi(t,s)u(s)\,ds. $$

(8)
By using successive substitutions in (8), the condition $M<1$ implies that 1 is not an eigenvalue of the kernel $\varphi(t,s)$. So (8) has a unique continuous solution $u(t)$ for every continuous function $x(t)$.

By successive substitutions in (8) we get
$$ u(t)=x(t)+ \int_{0}^{1} K(t,s)x(s)\,ds, $$

(9)
where the kernel $K(t,s)$ is given by
$$ K(t,s)=\sum_{j=1}^{\infty} \varphi_{j}(t,s). $$

(10)
Here $\varphi_{j}(t,s)=\int_{0}^{1}\varphi(t,\tau)\varphi_{j-1}(\tau ,s)\,ds$, $j=2,3, \ldots$ , and $\varphi_{1}(t,s)=\varphi(t,s)$.

Because $|\varphi(t,s)|\leq M <1$, the series on the right in (10) is convergent. It can be easily verified that $K(t,s)\leq\frac{M}{1-M}$. So we can get
$$ (I-B)^{-1}x(t)=x(t)+ \int_{0}^{1} K(t,s)x(s)\,ds. $$

(11)
Therefore,
$$\begin{aligned} \bigl|(I-B)^{-1}x(t)\bigr|&\leq\bigl| x(t) \bigr|+\frac{M}{1-M} \int_{0}^{1} x(s)\,ds \\ &\leq\Vert x \Vert\biggl(1+\frac{M}{1-M}\biggr) \\ &=\frac{1}{1-M}\Vert x \Vert, \end{aligned}$$
so that
$$\frac{\Vert(I-B)^{-1}x \Vert}{\Vert x \Vert} \leq\frac{1}{1-M}. $$
Thus,
$$\bigl\Vert (I-B)^{-1} \bigr\Vert \leq\frac{1}{1-M}. $$

The proof of the lemma is over.

□

Remark 1

Since $\varphi(t,s)\geq m$ for each $(t,s) \in I^{2}$, we analogously have $K(t,s)\geq\frac{m}{1-m}$.

Lemma 3

A function $u(t)\in P$ is a solution of (1) if and only if

$$ u(t)= \int_{0}^{1} G(t,s)f\bigl(u(s)\bigr)\,ds+ \int_{0}^{1}\varphi(t,s)u(s)\,ds, \quad\textit{for }t \in[0,1]. $$

(12)

Define the nonlinear operator $T:C(I)\rightarrow C(I)$ by

$$ (Tu) (t)= \int_{0}^{1} G(t,s)f\bigl(u(s)\bigr)\,ds. $$

(13)

From (12) we obtain another form of $u(t)$,

$$\begin{aligned} u(t)=(Tu) (t)+(Bu) (t). \end{aligned}$$

(14)

By Lemma 2, (14) is equivalent to

$$u(t)=(I-B)^{-1}(Tu) (t). $$

Hence, we construct a composite operator Φ:

$$ \Phi:=(I-B)^{-1}T. $$

(15)

Lemma 4

If $u(t)$ of (12) is a cone in P and Φ is as in (15), then $\Phi:P\rightarrow P$.

Proof

By the above lemmas we easily get

$$(\Phi u) (t)= \int_{0}^{1}G(t,s)f\bigl(u(s)\bigr)\,ds+ \int_{0}^{1}K(t,s) \int_{0}^{1}G(s,\tau)f\bigl(u(\tau)\bigr)\,d\tau \,ds. $$

First, we will verify the conditions of cone P,

(i)

if $u\in p$, then, by some properties of $G(t,s)$, $\Phi u(t)\geq 0$,
(ii)

$(\Phi u)^{\prime\prime}(t)=-f(u(s))\leq0$, $0< t<1$, that is, $\Phi u(t)$ is concave.
(iii)

$\Phi u(\widetilde{t})\geq2\widetilde{t}\Phi u(\frac{1}{2})$, $\Phi u(t)=\Phi u(1-t)$, $0< t<\frac{1}{2}$, that is, $\Phi u(t)$ is symmetric.

This means that $\Phi u(t) \in P$, and so $\Phi:P\rightarrow P$. □

4 Main results

To show our main result, we first assume that the following condition is established:

$$\begin{aligned} (H_{2}) (\mathrm{i})\quad f(\epsilon)&\leq\frac{8[pa\omega^{2}-l(1+2a\omega )](1+a-b)(1-M)}{a(1-2b)(\omega-2)[(4a+1)\omega+2]},\quad \frac {2p}{l}< \epsilon< p; \\ (\mathrm{ii})\quad f(\epsilon)&>\frac {2q(1-m)(1+a-b)}{(a+1)(t_{1}-t_{0})(1-2b)},\quad q< \epsilon< \frac{qt_{1}}{t_{0}}; \\ (\mathrm{iii})\quad f(\epsilon)&\leq\frac {8l(1-M)(1+a-b)^{2}}{[2(a+b)+1]^{2}-4ab(2a-2b+5)},\quad0< \epsilon< \frac {l}{2\widetilde{t}}. \end{aligned}$$

Theorem 2

Suppose that f satisfies ($H_{2}$). Let real constants $p>0$, $q>0$, and $l>0$ be such that $0< p< q\leq\frac{lt_{0}}{t_{1}}$. Then system (1) has three symmetric positive solutions $u_{1}(t)$, $u_{2}(t)$, and $u_{3}(t)$ satisfying

$$\begin{aligned} &\max_{t\in[0,\widetilde{t}]\cup[1-\widetilde{t},1]}u_{i}(t)\leq l,\quad i=1,2,3, \\ &\min_{t\in[t_{0},t_{1}]\cup[1-t_{1},1-t_{0}]}u_{1}(t)>q,\qquad\max _{t\in[\frac {1}{\omega},1-\frac{1}{\omega}]}u_{2}(t)< p, \\ &\min_{t\in[t_{0},t_{1}]\cup[1-t_{1},1-t_{0}]}u_{3}(t)< q, \quad\textit{with }\max _{t\in [\frac{1}{\omega},1-\frac{1}{\omega}]}u_{3}(t)>p. \end{aligned}$$

Proof

The following five steps are used for verifying the conditions of Theorem 1.

(i)

For all $u\in P$, from (2) and (3) we obtain $\beta(u)\leq\alpha(u)$, $\Vert u \Vert\leq\frac {1}{2\widetilde{t}}\zeta(u)$.

If $u\in\overline{\mathbb{P}(\zeta,l)}$, then $\Vert u \Vert\leq\frac{1}{2\widetilde{t}}\zeta(u)<\frac {l}{2\widetilde{t}}$, and from assumption (iii) of ($H_{2}$) we get
$$\begin{aligned} \zeta(\Phi u)&=\max_{t\in[0,\widetilde{t}]\cup[1-\widetilde {t},1]}\biggl\{ \int_{0}^{1}G(t,s)f\bigl(u(s)\bigr)\,ds+ \int_{0}^{1}K(t,s) \int_{0}^{1}G(s,\tau)f\bigl(u(\tau)\bigr)\,d\tau \,ds\biggr\} \\ &\leq\biggl(1+\frac{M}{1-M}\biggr) \int_{0}^{1}G(\widetilde{t},s)f\bigl(u(s)\bigr)\,ds \\ &\leq\frac{1}{1-M}\frac {8l(1-M)(1+a-b)^{2}}{[2(a+b)+1]^{2}-4ab(2a-2b+5)} \int_{0}^{1}G(\widetilde{t},s)\,ds \\ &\leq\frac{1}{1-M}\frac{2l(1-M)(1+a-b)}{-(1+a-b)\widetilde {t}^{2}+(1-2b)\widetilde{t}+a(1-2b)} \int_{0}^{1}G(\widetilde{t},s)\,ds \\ &=l. \end{aligned}$$

Thus, $\Phi:\overline{\mathbb{P}(\zeta,l)}\rightarrow\overline {\mathbb{P}(\zeta,l)}$, and we immediately get that
$$\begin{aligned} &\biggl\{ u\in\mathbb{P}\biggl(\zeta,\rho,\beta,q,\frac{qt_{1}}{t_{0}},l\biggr): \beta(u) >q \biggr\} \neq\emptyset\quad\mbox{and} \\ &\biggl\{ u\in \mathbb{Q} \biggl(\zeta,\alpha,\chi,\frac {2p}{l},p,l\biggr):\alpha(u)< p \biggr\} \neq \emptyset. \end{aligned}$$
(ii)

If $u\in\mathbb{Q}(\zeta,\alpha,p,l)$ with $\chi(\Phi u)<\frac{2p}{l}$, then we obtain
$$\begin{aligned} \alpha(\Phi u)&=\max_{t\in[\frac{1}{\omega},1-\frac{1}{\omega}]} \biggl\{ \int_{0}^{1}G(t,s)f\bigl(u(s)\bigr)\,ds+ \int_{0}^{1}K(t,s) \int_{0}^{1}G(s,\tau)f\bigl(u(\tau)\bigr)\,d\tau \,ds\biggr\} \\ &\leq\biggl(1+\frac{M}{1-M}\biggr) \int_{0}^{1}G\biggl(\frac{1}{2},s\biggr)f \bigl(u(s)\bigr)\,ds \\ &=\frac{1}{1-M} \int_{0}^{1}\frac{G(\frac{1}{2},s)}{G(\frac{1}{\omega },s)}G\biggl( \frac{1}{\omega},s\biggr)f\bigl(u(s)\bigr)\,ds \\ &\leq\frac{1}{1-M} \int_{0}^{1}G\biggl(\frac{1}{\omega},s\biggr)f \bigl(u(s)\bigr)\,ds \\ &\leq\frac{1-m}{1-M}\chi(\Phi u) \\ &< \frac{1-m}{1-M}\frac{2p}{l} \\ &< p. \end{aligned}$$
(iii)

If $u\in\mathbb{Q}(\zeta,\alpha,\chi,\frac{2p}{l},p,l)$, then from assumption (i) and (iii) of ($H_{2}$) we get
$$\begin{aligned} \alpha(\Phi u)={}&\max_{t\in[\frac{1}{\omega},1-\frac{1}{\omega}]} \biggl\{ \int_{0}^{1}G(t,s)f\bigl(u(s)\bigr)\,ds+ \int_{0}^{1}K(t,s) \int_{0}^{1}G(s,\tau)f\bigl(u(\tau)\bigr)\,d\tau \,ds\biggr\} \\ \leq{}&\biggl(1+\frac{M}{1-M}\biggr) \int_{0}^{1}G\biggl(\frac{1}{2},s\biggr)f \bigl(u(s)\bigr)\,ds \\ ={}&\frac{1}{1-M} \int_{0}^{1}{G\biggl(\frac{1}{2},s\biggr)}f \bigl(u(s)\bigr)\,ds \\ ={}&\frac{2}{1-M}\biggl\{ \int_{0}^{\frac{1}{\omega}}G\biggl(\frac {1}{2},s\biggr)f \bigl(u(s)\bigr)\,ds+ \int_{\frac{1}{\omega}}^{\frac{1}{2}}G\biggl(\frac {1}{2},s\biggr)f \bigl(u(s)\bigr)\,ds\biggr\} \\ \leq{}&\frac{2}{1-M} \biggl\{ \frac {8l(1-M)(1+a-b)^{2}}{[2(a+b)+1]^{2}-4ab(2a-2b+5)} \int_{0}^{\frac{1}{\omega }}G\biggl(\frac{1}{2},s\biggr)\,ds \\ &{} +\frac{8[pa\omega^{2}-l(1+2a\omega)](1+a-b)(1-M)}{a(1-2b)(\omega -2)[(4a+1)\omega+2]} \int_{\frac{1}{\omega}}^{\frac{1}{2}}G\biggl(\frac {1}{2},s\biggr)\,ds \biggr\} \\ \leq{}&\frac{2}{1-M} \biggl\{ \frac{2l(1-M)(1+a-b)}{a(1-2b)} \int_{0}^{\frac {1}{\omega}}G\biggl(\frac{1}{2},s\biggr)\,ds \\ &{} +\frac{8[pa\omega^{2}-l(1+2a\omega)](1+a-b)(1-M)}{a(1-2b)(\omega -2)[(4a+1)\omega+2]}\times \int_{\frac{1}{\omega}}^{\frac {1}{2}}G\biggl(\frac{1}{2},s\biggr)\,ds \biggr\} \\ ={}&p. \end{aligned}$$
(iv)

If $u\in\mathbb{Q}(\zeta,\beta,q,l)$ with $\rho(\Phi u)>\frac{qt_{1}}{t_{0}}$, then we get
$$\begin{aligned} \beta(\Phi u)={}&\min_{t\in[t_{0},t_{1}]\cup[1-t_{1},1-t_{0}]} \biggl\{ \int_{0}^{1}G(t,s)f\bigl(u(s)\bigr)\,ds \\ &{}+ \int_{0}^{1}K(t,s) \int_{0}^{1}G(s,\tau)f\bigl(u(\tau)\bigr)\,d\tau \,ds\biggr\} \\ \geq{}&\biggl(1+\frac{m}{1-m}\biggr) \int_{0}^{1}{G(t_{0},s)}f\bigl(u(s)\bigr) \,ds \\ ={}&\frac{1}{1-m} \int_{0}^{1}\frac{G(t_{0},s)}{G(t_{1},s)}G(t_{1},s)f \bigl(u(s)\bigr)\,ds \\ \geq{}&\frac{1}{1-m} \int_{0}^{1}{G(t_{1},s)}f\bigl(u(s)\bigr) \,ds \\ \geq{}&\frac{1-M}{1-m}\rho(\Phi u) \\ >{}&\frac{1-M}{1-m}\frac{qt_{1}}{t_{0}} \\ >{}&q. \end{aligned}$$
(v)

If $u\in\mathbb{Q}(\zeta,\rho,\beta,q,\frac {qt_{1}}{t_{0}},l)$, then from assumption (ii) of ($H_{2}$) we get
$$\begin{aligned} \beta(\Phi u)={}&\min_{t\in[t_{0},t_{1}]\cup[1-t_{1},1-t_{0}]} \biggl\{ \int_{0}^{1}G(t,s)f\bigl(u(s)\bigr)\,ds \\ &{}+ \int_{0}^{1}K(t,s) \int_{0}^{1}G(s,\tau)f\bigl(u(\tau)\bigr)\,d\tau \,ds\biggr\} \\ \geq{}&\biggl(1+\frac{m}{1-m}\biggr) \int_{0}^{1}{G(t_{0},s)}f\bigl(u(s)\bigr) \,ds \\ ={}&\frac{1}{1-m} \int_{0}^{1}{G(t_{0},s)}f\bigl(u(s)\bigr) \,ds \\ >{}&\frac{1}{1-m} \biggl\{ \int_{t_{0}}^{t_{1}}{G(t_{1},s)}f\bigl(u(s)\bigr) \,ds+ \int_{1-t_{1}}^{1-t_{0}}{G(t_{0},s)}f\bigl(u(s) \bigr)\,ds\biggr\} \\ \geq{}&\frac{1}{1-m}\cdot{\frac {2q(1-m)(1+a-b)}{(a+t_{0})(t_{1}-t_{0})(1-3b)}}\biggl\{ \int_{t_{0}}^{t_{1}}{G(t_{0},s)}\,ds+ \int_{1-t_{1}}^{1-t_{0}}{G(t_{0},s)}\,ds\biggr\} \\ ={}&q. \end{aligned}$$

□

5 Example

In the section, we provide a simple example illustrating the application of our main results.

Example 1

Let $a=\frac{3}{2}$, $b=-\frac{1}{2}$, $\varrho_{0}=\varrho_{1}=\frac {1}{3}$, and $f(u(t))=u(t)$, Then (1) turns to the following equation:

$$ \textstyle\begin{cases} -u^{\prime\prime}(t)=u(t), \quad t\in I, \\ u(0)-\frac{3}{2}u^{\prime}(0)=\frac{1}{3}\int_{0}^{1}u(s)\,ds, \\ u(1)+\frac{1}{2}u^{\prime}(1)=\frac{1}{3}\int_{0}^{1}u(s)\,ds. \end{cases} $$

(16)

Because of the main result in Section 4, we have the following result.

Corollary 1

Choose $p=\frac{1}{3}$, $q=2$, $l=3$, $t_{0}< t_{1}$, and $\omega>2$ such that $0< p< q\leq\frac{lt_{0}}{t_{1}}$. Then the boundary value problem (16) has three symmetric positive solutions $u_{1}(t)$, $u_{2}(t)$ and $u_{3}(t)$ satisfying

$$\begin{aligned} &\max_{t\in[0,\widetilde{t}]\cup[1-\widetilde{t},1]}u_{i}(t)\leq3,\quad i=1,2,3, \\ &\min_{t\in[t_{0},t_{1}]\cup[1-t_{1},1-t_{0}]}u_{1}(t)>2,\qquad\max _{t\in[\frac {1}{\omega},1-\frac{1}{\omega}]}u_{2}(t)< \frac{1}{3}, \\ &\min_{t\in[t_{0},t_{1}]\cup[1-t_{1},1-t_{0}]}u_{3}(t)< 2,\quad\textit{with }\max _{t\in [\frac{1}{\omega},1-\frac{1}{\omega}]}u_{3}(t)>\frac{1}{3}. \end{aligned}$$

Proof

Now, we only verify conditions of ($H_{2}$) in Theorem 2.

(i)

For $\frac{2}{9}< u(t)<\frac{1}{3}$,
$$f\bigl(u(t)\bigr)\leq\frac{8(\omega^{2}-3\omega-6)}{21(\omega^{2}-\frac {12}{7}\omega-\frac{4}{7})},\quad\mbox{and, obviously},\quad \frac{1}{3}\leq\frac{8(\omega^{2}-3\omega-6)}{21(\omega^{2}-\frac {12}{7}\omega-\frac {4}{7})}. $$
(ii)

For $2< u(t)<\frac{2t_{1}}{t_{0}}$,
$$f\bigl(u(t)\bigr)>\frac{8}{5(t_{1}-t_{0})}, \quad\mbox{and}\quad2>\frac {8}{5(t_{1}-t_{0})}. $$
(iii)

For $0< u(t)<\frac{3}{2\widetilde{t}}$,
$$f\bigl(u(t)\bigr)\leq4, \quad\mbox{and}\quad\frac{3}{2\widetilde {t}}\leq4. $$

We can complete the proof according Theorem 2. □

Declarations

Acknowledgements

The authors are very grateful to the reviewers and the editor for their valuable suggestions and comments. This work was supported by National Natural Science Foundation of China (No. 11431008, 11271261) and Shanghai Municipal Education Commission (No. 14ZZ12).

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.

Authors’ Affiliations

(1)

Department of Mathematics, Shanghai Normal University, Shanghai, 200234, P.R. China

References

Boucherif, A, Henderson, J: Positive solutions of second order boundary value problems with sign changing Carathéodory nonlinearities. Electron. J. Qual. Theory Differ. Equ. 2006, 7 (2006) MathSciNetMATHGoogle Scholar
Cac, NP, Fink, AM, Gatica, JA: Nonnegative solutions of quasilinear elliptic boundary value problems with nonnegative coefficients. J. Math. Anal. Appl. 206, 1-9 (1997) MathSciNetView ArticleMATHGoogle Scholar
de Figueiredo, DG, Lions, PL, Nussbaum, RD: A priori estimates and existence of positive solutions of semilinear elliptic equations. J. Math. Pures Appl. 61, 41-63 (1982) MathSciNetMATHGoogle Scholar
Gallardo, JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 30, 1265-1292 (2000) MathSciNetView ArticleMATHGoogle Scholar
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988) MATHGoogle Scholar
Gupta, CP: A note on a second order three-point boundary value problem. J. Math. Anal. Appl. 186, 277-281 (1994) MathSciNetView ArticleMATHGoogle Scholar
Ionkin, NI: Solution of a boundary value problem in heat conduction theory with nonlocal boundary conditions. Differ. Equ. 13, 294-304 (1977) MathSciNetGoogle Scholar
Karakostas, GL, Tsamatos, PC: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundary-value problems. Electron. J. Differ. Equ. 2002, 30 (2002) MathSciNetMATHGoogle Scholar
Keller, JB: Some positone problems suggested by nonlinear hear generation. In: Bifurcation Theory and Nonlinear Eigenvalue Problems, pp. 217-255. Benjamin, Elmsford (1969) Google Scholar
Liang, SH, Zhang, JH: Existence of three positive solutions of three-order with m-point impulsive boundary value problems. Acta Appl. Math. 110, 1265-1292 (2010) MathSciNetView ArticleGoogle Scholar
Lomtatidze, A, Malaguti, L: On a nonlocal boundary-value problems for second order nonlinear singular differential equations. Georgian Math. J. 7, 133-154 (2000) MathSciNetMATHGoogle Scholar
Zhang, XM, Feng, MQ, Ge, WG: Existence of solutions of boundary value problems with integral boundary conditions for second-order impulsive integro-differential equations in Banach spaces. J. Comput. Appl. Math. 233, 1915-1926 (2010) MathSciNetView ArticleMATHGoogle Scholar
Zhao, JF, Wang, PG, Ge, WG: Existence and nonexistence of positive solutions for a class of third order BVP with integral boundary conditions in Banach spaces. Commun. Nonlinear Sci. Numer. Simul. 16, 402-413 (2011) MathSciNetView ArticleMATHGoogle Scholar
Boucherif, A: Second-order boundary value problems with integral boundary conditions. Nonlinear Anal. 70, 364-371 (2009) MathSciNetView ArticleMATHGoogle Scholar
Hayasida, K, Nakatani, M: On radially symmetric positive solutions of a semilinear elliptic equation in hyperbolic space. Math. Jpn. 40(3), 561-584 (1994) MathSciNetMATHGoogle Scholar
Avery, RI, Davis, JM, Henderson, J: Three symmetric positive solutions for Lidstone problems by a generalization of the Leggett-Williams theorem. Electron. J. Differ. Equ. 2000, 40 (2000) 15 pp. MathSciNetMATHGoogle Scholar
Agarwal, RP, O’Regan, D: A generalization of the Petryshyn-Leggett-Williams fixed point theorem with applications to integral inclusions. Appl. Math. Comput. 123(2), 263-274 (2001) MathSciNetView ArticleMATHGoogle Scholar
Agarwal, RP, Ravi, P, O’Regan, D: A fixed point theorem of Leggett-Williams type with applications to single- and multivalued equations. Georgian Math. J. 8(1), 13-25 (2001) MathSciNetMATHGoogle Scholar
Agarwal, RP, O’Regan, D: Existence of three solutions to integral and discrete equations via the Leggett Williams fixed point theorem. Rocky Mt. J. Math. 31(1), 23-35 (2001) MathSciNetView ArticleMATHGoogle Scholar
Abdulkadir, D: On the existence of positive solutions for the second-order boundary value problem. Appl. Math. Lett. 49, 107-112 (2015) MathSciNetView ArticleMATHGoogle Scholar
Avery, RI: A generalization of the Leggett-Williams fixed point theorem. Math. Sci. Res. Hot-Line 3, 9-14 (1999) MathSciNetMATHGoogle Scholar