Skip to main content

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.

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 [113] 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 [1619]. 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:

  1. (i)

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

  2. (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:

  1. (i)

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

  2. (ii)

    \((I-B)\) is invertible;

  3. (iii)

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

Proof

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

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

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

  1. (i)

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

  2. (ii)

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

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

  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}$$
  2. (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}$$
  3. (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}$$
  4. (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}$$
  5. (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.

  1. (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})}. $$
  2. (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})}. $$
  3. (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. □

References

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

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  4. Gallardo, JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 30, 1265-1292 (2000)

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  6. Gupta, CP: A note on a second order three-point boundary value problem. J. Math. Anal. Appl. 186, 277-281 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  7. Ionkin, NI: Solution of a boundary value problem in heat conduction theory with nonlocal boundary conditions. Differ. Equ. 13, 294-304 (1977)

    MathSciNet  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

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

    Article  MathSciNet  Google Scholar 

  11. Lomtatidze, A, Malaguti, L: On a nonlocal boundary-value problems for second order nonlinear singular differential equations. Georgian Math. J. 7, 133-154 (2000)

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  14. Boucherif, A: Second-order boundary value problems with integral boundary conditions. Nonlinear Anal. 70, 364-371 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  15. Hayasida, K, Nakatani, M: On radially symmetric positive solutions of a semilinear elliptic equation in hyperbolic space. Math. Jpn. 40(3), 561-584 (1994)

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  20. Abdulkadir, D: On the existence of positive solutions for the second-order boundary value problem. Appl. Math. Lett. 49, 107-112 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  21. Avery, RI: A generalization of the Leggett-Williams fixed point theorem. Math. Sci. Res. Hot-Line 3, 9-14 (1999)

    MathSciNet  MATH  Google Scholar 

Download references

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wei Ding.

Additional information

Competing interests

The authors have no any competing interests.

Authors’ contributions

Zhiying Tong wrote the first draft of a paper, revising and editing. Wei Ding is in charge of the topic, the method, revising and editing.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tong, Z., Ding, W. Existence of symmetric solutions for a class of BVP with integral boundary conditions. Bound Value Probl 2016, 84 (2016). https://doi.org/10.1186/s13661-016-0591-x

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords