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

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.

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.

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

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$. □

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}$$

 □

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