Open Access

Existence of positive solutions for fractional differential equation involving integral boundary conditions with p-Laplacian operator

Advances in Difference Equations20172017:135

https://doi.org/10.1186/s13662-017-1172-8

Received: 21 January 2017

Accepted: 6 April 2017

Published: 12 May 2017

Abstract

The existence of positive solutions is considered for a fractional differential equation with p-Laplacian operator in this article. By employing the Avery-Henderson fixed point theorem, a new result is obtained for the boundary value problems. An example is also presented to illustrate the effectiveness of the main result.

Keywords

positive solutions Riemann-Liouville fractional derivatives Caputo fractional derivatives p-Laplacian Avery-Henderson fixed point theorem

MSC

34B15 34B18

1 Introduction

Fractional calculus is the extension of integer order calculus to arbitrary order calculus. With the development of fractional calculus, fractional differential equations have wide applications in the modeling of different physical and natural science fields, such as fluid mechanics, chemistry, control system, heat conduction, etc. There are many papers concerning fractional differential equations with the p-Laplacian operator [16] and fractional differential equations with integral boundary conditions [711].

By means of the Guo-Krasnosel’skii fixed point theorem on cones, Han et al. [5] investigate positive solutions for the following problems for the generalized p-Laplacian operator:
$$\begin{aligned}& D_{0^{+}}^{\beta} \bigl(\phi \bigl(D_{0^{+}}^{\alpha} u(t) \bigr) \bigr)=\lambda f \bigl(u(t) \bigr),\quad 0< t< 1, \\& u(0)=u'(0)=u'(1)=0, \\& \phi \bigl(D_{0^{+}}^{\alpha}u(0) \bigr)= \bigl(\phi \bigl(D_{0^{+}}^{\alpha }u(1) \bigr) \bigr)'=0, \end{aligned}$$
where \(1<\beta\leq2\), \(2<\alpha\leq3\), they obtain some new results of positive solutions for the aforementioned boundary value problem.
By means of the Avery-Henderson fixed point theorem and the Leggett-Williams fixed point theorem, Günendi and Yaslan [11] investigate positive solutions for the following problem with integral boundary conditions:
$$ \textstyle\begin{cases} -D_{0^{+}}^{\eta-2}(u''(t))+ f(u(t))=0,\quad t\in[0,1], \\ u''(0)=u'''(0)=\cdots=u^{(n-2)}(1)=0,\qquad u'''(1)=0, \\ \alpha u(0)-\beta u'(0)=\sum_{p=1}^{m-2}a_{p}\int^{\xi_{p}}_{0} u(s)\, \mathrm{d}s, \\ \gamma u(1)+\delta u'(1)=\sum_{p=1}^{m-2}b_{p}\int^{\xi_{p}}_{0} u(s)\, \mathrm{d}s, \end{cases} $$
where \(n-1<\eta\leq n\), \(n\geq3\), \(\alpha, \beta, \gamma, \delta >0\), \(a_{p}, b_{p}\geq0\) are given constants. They show the existence of multiple positive solutions for the aforementioned boundary value problems.
Motivated by the aforementioned work, this work discusses the existence of positive solutions for this fractional differential equation:
$$ \textstyle\begin{cases} D_{0^{+}}^{\beta}[\phi_{p}({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(t))]+ f(t,u(t))=0,\quad t\in(0,1), \\ \phi_{p}({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(0))=[\phi_{p}({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(0))]'=\phi_{p}({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(1))=0, \\ u''(0)=u'(1)=0, \\ au(0)+bu'(0)=\int_{0}^{1}g(t)u(t) \,\mathrm{d}t, \end{cases} $$
(1.1)
where \(2<\alpha\leq 3\), \(2<\beta\leq3 \) and \(5<\alpha+\beta\leq6\). \(\phi_{p}(u)=|u|^{p-2}u\), \(p>1\). \({}^{\mathrm{c}}D_{0^{+}}^{\alpha}\) is the Caputo fractional derivative, \(D_{0^{+}}^{\beta}\) is the Riemann-Liouville fractional derivative.
We will always suppose the following conditions are satisfied:
(H1): 

\(g(t):[0,1]\rightarrow[0,+\infty)\) with \(g(t)\in L^{1}[0,1]\), \(\int_{0}^{1}g(t) \,\mathrm{d}t>0\) and \(\int_{0}^{1}tg(t) \,\mathrm {d}t>0\);

(H2): 

\(a, b\in(0,+\infty)\), \(a>\int_{0}^{1}g(t) \,\mathrm{d}t\) and \(b>a\);

(H3): 

\(f(t,u):[0,1]\times(0,\infty)\rightarrow(0,\infty)\) is continuous.

2 Background and definitions

To show the main result of this work, we give in the following some basic definitions and a theorem, which can be found in [12, 13].

Definition 2.1

The fractional integral of order \(\alpha>0\) of a function \(y:(0,+\infty)\rightarrow\mathbb{R}\) is given by
$$I^{\alpha}_{0+}y(t)=\frac{1}{\Gamma(\alpha)} \int _{0}^{t}(t-s)^{\alpha-1}y(s)\,\mathrm{d} s, $$
provided that the right side is pointwise defined on \((0,+\infty)\), where
$${\Gamma(\alpha)}= \int_{0}^{+\infty}e^{-x}x^{\alpha-1}\, \mathrm{d}x. $$

Definition 2.2

For a continuous function \(y:(0,+\infty)\rightarrow\mathbb{R}\), the Riemann-Liouville derivative of fractional order \(\alpha>0\) is defined as
$$D^{\alpha}_{0+}y(t)=\frac{1}{{\Gamma}(n-\alpha)} \biggl(\frac {{\mathrm{d}}}{{\mathrm{d}}t} \biggr)^{n} \int_{0}^{t}(t-s)^{n-\alpha -1}y(s)\,\mathrm{d} s, $$
where \(n=[\alpha]+1\), provided that the right side is pointwise defined on \((0,+\infty)\).

Definition 2.3

For a continuous function \(y:(0,+\infty)\rightarrow\mathbb{R}\), the Caputo derivative of fractional order \(\alpha>0\) is defined as
$$D^{\alpha}_{0+}y(t)=\frac{1}{{\Gamma}(n-\alpha)} \int _{0}^{t}(t-s)^{n-\alpha-1}y^{(n)}(s) \,\mathrm{d} s, $$
where \(n=[\alpha]+1\), provided that the right side is pointwise defined on \((0,+\infty)\).

Theorem 2.1

Avery-Henderson fixed point theorem [14]

Let \((E,\|\cdot\|)\) be a Banach space, and \(P\subset E\) be a cone. Let ψ and φ be increasing non-negative, continuous functionals on P, and ω be a non-negative continuous functional on P with \(\omega(0)=0\), such that, for some \(r_{3}>0\) and \(M>0\), \(\varphi(u)\leq\omega(u)\leq\psi (u)\), and \(\|u\|\leq M\varphi(u)\), for all \(u\in\overline{P(\varphi ,r_{3})}\), where \(P(\varphi,r_{3})=\{u\in P:\varphi(u)< r_{3}\}\). Suppose that there exist positive numbers \(r_{1}< r_{2}< r_{3}\), such that
$$\omega(lu)\leq l\omega(u) \quad \textit{for }0\leq l\leq1, \textit{and }u\in\partial P(\omega,r_{2}). $$
If \(T:\overline{P(\varphi,r_{3})}\rightarrow P\) is a completely continuous operator satisfying:
  1. (C1)

    \(\varphi(Tu)>r_{3}\) for all \(u\in\partial P(\varphi,r_{3})\);

     
  2. (C2)

    \(\omega(Tu)< r_{2}\) for all \(u\in\partial P(\omega,r_{2})\);

     
  3. (C3)

    \(P(\psi,r_{1})\neq\emptyset\), and \(\psi(Tu)>r_{1}\) for all \(u\in \partial P(\psi,r_{1})\),

     
then T has at least two fixed points \(u_{1}\) and \(u_{2}\) such that \(r_{1}<\psi(u_{1}) \) with \(\omega(u_{1})< r_{2}\) and \(r_{2}<\omega(u_{2}) \) with \(\varphi(u_{2})< r_{3}\).

3 Preliminary lemmas

Lemma 3.1

The boundary value problem (1.1) is equivalent to the following equation:
$$ u(t)=d_{0}+d_{1}t+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}v(s)\,\mathrm{d}s, $$
(3.1)
where
$$\begin{aligned}& d_{0} = \frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\& \hphantom{d_{0} ={}}{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s, \end{aligned}$$
(3.2)
$$\begin{aligned}& d_{1}=-\frac{1}{\Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s, \end{aligned}$$
(3.3)
$$\begin{aligned}& v(s)=\phi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,u(\tau) \bigr)\, \mathrm{d}\tau \biggr), \end{aligned}$$
(3.4)
$$\begin{aligned}& H(s,\tau)=\frac{1}{\Gamma(\beta)} \textstyle\begin{cases} (s-s\tau)^{\beta-1}-(s-\tau)^{\beta-1}, &0\leq\tau\leq s\leq1, \\ (s-s\tau)^{\beta-1} ,& 0\leq s\leq\tau\leq1. \end{cases}\displaystyle \end{aligned}$$
(3.5)
\(\phi_{q}(s)\) is the inverse function of \(\phi_{p}(s)\), a.e., \(\phi_{q}(s)=|s|^{q-2}s\), \(\frac{1}{p}+\frac{1}{q}=1\).

Proof

From \(D_{0^{+}}^{\beta}[\phi_{p}({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(t))]+ f(t,u(t))=0\), we get
$$ \phi_{p} \bigl({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(t) \bigr)=-\frac{1}{\Gamma(\beta)} \int_{0}^{t}(t-\tau)^{\beta -1}f \bigl(\tau,u( \tau) \bigr)\,\mathrm{d}\tau+c_{1}t^{\beta-1}+c_{2}t^{\beta -2}+c_{3}t^{\beta-3}. $$
In view of \(\phi_{p}({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(0))=[\phi_{p}({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(0))]'=0\), we get \(c_{2}=c_{3}=0\), i.e.,
$$ \phi_{p} \bigl({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(t) \bigr)=-\frac{1}{\Gamma(\beta)} \int_{0}^{t}(t-\tau)^{\beta -1}f \bigl(\tau,u( \tau) \bigr)\,\mathrm{d}\tau+c_{1}t^{\beta-1}. $$
(3.6)
Conditions \(\phi_{p}({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(1))=0\) imply that
$$ c_{1}= \frac{1}{\Gamma(\beta)} \int^{1}_{0}(1-\tau)^{\beta-1}f \bigl(\tau ,u( \tau) \bigr)\,\mathrm{d}\tau. $$
(3.7)
By use of (3.6) and (3.7), we get
$$ \phi_{p} \bigl({}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(t) \bigr)= \int_{0}^{1}H(t,\tau)f \bigl(\tau,u(\tau) \bigr)\, \mathrm{d}\tau. $$
(3.8)
In view of (3.8), we obtain
$$ {}^{\mathrm{c}}D_{0^{+}}^{\alpha} u(t)= \phi_{q} \biggl( \int_{0}^{1}H(t,\tau)f \bigl(\tau,u(\tau) \bigr)\, \mathrm {d}\tau \biggr). $$
(3.9)
Let
$$ v(t)=\phi_{q} \biggl( \int_{0}^{1}H(t,\tau)f \bigl(\tau,u(\tau) \bigr)\, \mathrm {d}\tau \biggr), $$
by use of (3.9), we get
$$ u(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}v(s)\, \mathrm{d}s+d_{0}+d_{1}t+d_{2}t^{2}. $$
Conditions \(u''(0)=0\) imply that \(d_{2}=0\), i.e.,
$$ u(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}v(s)\, \mathrm{d}s+d_{0}+d_{1}t, $$
then we have
$$ u'(t)=\frac{1}{\Gamma(\alpha-1)} \int_{0}^{t}(t-s)^{\alpha-2}v(s)\, \mathrm{d}s+d_{1}. $$
Conditions \(u'(1)=0\) imply that
$$d_{1}=-\frac{1}{\Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s. $$
From \(au(0)+bu'(0)=\int_{0}^{1}g(t)u(t) \,\mathrm{d}t\), we get
$$\begin{aligned} d_{0} =&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s. \end{aligned}$$
Therefore, we can obtain
$$\begin{aligned} u(t) =&d_{0}+d_{1}t+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}v(s)\,\mathrm{d}s \\ =&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ &{}-\frac{t}{\Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s+ \frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}v(s)\,\mathrm{d}s. \end{aligned}$$
The proof is complete. □

Lemma 3.2

[15]

The function \(H(s,\tau)\) defined by (3.5) is continuous on \([0,1]\times[0,1]\) and satisfy
$$\frac{s^{\beta-1}(1-s)\tau(1-\tau)^{\beta-1}}{\Gamma(\beta)}\leq H(s,\tau)\leq\frac{\tau(1-\tau)^{\beta-1}}{\Gamma(\beta-1)}\quad \textit{for } s,\tau \in[0,1]. $$
Let E be the real Banach space \(C[0,1]\) with the maximum norm, define the operator \(T:E\rightarrow E\) by
$$\begin{aligned} Tu(t) =&d_{0}+d_{1}t+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}v(s)\,\mathrm{d}s \\ =&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm {d}t \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm {d}s \\ &{}-\frac{t}{\Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s+ \frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}v(s)\,\mathrm{d}s. \end{aligned}$$

Lemma 3.3

For \(u\in C[0,1]\) with \(u(t)\geq0\), \((Tu)(t)\) is non-increasing and non-negative.

Proof

Since
$$ Tu(t) = d_{0}+d_{1}t+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}v(s)\,\mathrm{d}s, $$
so we get
$$\begin{aligned} (Tu)'(t) =&d_{1}+\frac{1}{\Gamma(\alpha-1)} \int_{0}^{t}(t-s)^{\alpha -2}v(s)\,\mathrm{d}s \\ =&-\frac{1}{\Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s+ \frac{1}{\Gamma(\alpha-1)} \int_{0}^{t}(t-s)^{\alpha -2}v(s)\,\mathrm{d}s \\ \leq& 0. \end{aligned}$$
So \(Tu(t)\) is non-increasing, then we have \(\min_{ t\in [0,1]}Tu(t)=Tu(1)\). We have
$$\begin{aligned} Tu(1) =&d_{0}+d_{1}+\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha -1}v(s)\,\mathrm{d}s \\ =&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ &{}-\frac{1}{\Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s+ \frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha -1}v(s)\,\mathrm{d}s \\ \geq&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{[b-\int^{1}_{0}tg(t)\,\mathrm{d}t]-[a-\int^{1}_{0}g(t)\,\mathrm {d}t]}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha-1)} \int ^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ &{}+\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}v(s)\, \mathrm{d}s \\ \geq& 0. \end{aligned}$$
The proof is complete. □

4 Main results

Theorem 4.1

Suppose that there exist numbers \(0< r_{1}< r_{2}< r_{3}\) such that f satisfies the following conditions:
  1. (H1)

    \(f(t,u)> M_{3}\), for \(t\in[0,1]\), \(u\in[r_{3},\frac{r_{3}}{k}]\);

     
  2. (H2)

    \(f(t,u)< M_{2}\), for \(t\in[0,1]\), \(u\in[0,r_{2}]\);

     
  3. (H3)

    \(f(t,u)> M_{1}\), for \(t\in[0,1]\), \(u\in[0,r_{1}]\),

     
where
$$\begin{aligned}& M_{3} = \frac{\Gamma(\beta)}{B(2,\beta)} \biggl(\frac{r_{3}}{L_{3}} \biggr)^{p-1},\qquad M_{2}=\frac{\Gamma(\beta-1)}{B(2,\beta)} \biggl( \frac{r_{2}}{L_{2}} \biggr)^{p-1},\qquad M_{1}= \frac{\Gamma(\beta)}{B(2,\beta)} \biggl(\frac{r_{1}}{L_{1}} \biggr)^{p-1}, \\& L_{3} = \frac{(b-a)B(\beta q-\beta-q+2,\alpha+q-2)}{[a-\int^{1}_{0}g(t)\, \mathrm{d}t] \Gamma(\alpha-1)}+\frac{B(\beta q-\beta-q+2,\alpha +q-1)}{\Gamma(\alpha)}, \\& L_{2} = \frac{\int^{1}_{0}g(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha+1)}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm {d}t}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)}, \\& L_{1} = \frac{(b-\int^{1}_{0}tg(t)\,\mathrm{d}t)B(\beta q-\beta -q+2,\alpha+q-2)}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha-1)}. \end{aligned}$$
Then the problem (1.1) has at least two positive solutions \(u_{1}\) and \(u_{2}\) such that \(r_{1}<\psi(u_{1}) \) with \(\omega(u_{1})< r_{2}\) and \(r_{2}<\omega(u_{2}) \) with \(\varphi(u_{2})< r_{3}\).

Proof

Define the cone \(P\subset E\) by
$$ P= \Bigl\{ u \big| u\in E \mbox{ and } \min_{ t\in[0,1]}u(t)\geq k\|u \|, t\in[0,1] \Bigr\} , $$
where
$$ k=\frac{[b-\int^{1}_{0}tg(t)\,\mathrm{d}t]-[a-\int^{1}_{0}g(t)\,\mathrm {d}t]}{b-\int^{1}_{0}tg(t)\,\mathrm{d}t},\quad 0< k< 1. $$
For any \(u\in P\), in view of Lemma 3.3, we get
$$\begin{aligned} \min_{ t\in[0,1]} \bigl\vert Tu(t) \bigr\vert =& \bigl\vert Tu(1) \bigr\vert =d_{0}+d_{1}+\frac{1}{\Gamma(\alpha )} \int_{0}^{1}(1-s)^{\alpha-1}v(s)\,\mathrm{d}s \\ =&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ &{}-\frac{1}{\Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s+ \frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha -1}v(s)\,\mathrm{d}s \\ \geq&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{[b-\int^{1}_{0}tg(t)\,\mathrm{d}t]-[a-\int^{1}_{0}g(t)\,\mathrm {d}t]}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha-1)} \int ^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ \geq& k \biggl\{ \frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma (\alpha)} \int^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm {d}s \biggr\} \\ =&kTu(0)=k\|Tu\|. \end{aligned}$$
Therefore, \(T:P\rightarrow P\). In view of the Arzela-Ascoli theorem, we have \(T:P\rightarrow P\) is completely continuous.
We define the functions on the cone P:
$$\begin{aligned}& \varphi(u)=\min_{ t\in[0,1]} \bigl\vert u(t) \bigr\vert =u(1), \qquad \omega(u)=\max_{ t\in[0,1]} \bigl\vert u(t) \bigr\vert =u(0), \\& \psi(u)=\max_{ t\in[0,1]} \bigl\vert u(t) \bigr\vert =u(0). \end{aligned}$$
Obviously, we have \(\omega(0)=0\), \(\varphi(u)\leq\omega(u)\leq\psi(u)\).

For any \(u\in\overline{P(\varphi,r_{3})}\), we get \(\min_{ t\in [0,1]}u(t)\geq k\|u\|\), that is, \(\varphi(u)\geq k\|u\|\), therefore we obtain \(\|u\|\leq\frac{1}{k}\varphi(u)\). For any \(u\in\partial P(\omega,r_{2})\), we get \(\omega(lu)= l\omega (u)\) for \(0\leq l\leq1\).

In the following, we prove that the conditions of Theorem 2.1 hold.

Firstly, let \(u\in\partial P(\varphi,r_{3})\), that is, \(u\in[r_{3},\frac {r_{3}}{k}]\) for \(t\in[0,1]\). By means of (H1), we have
$$\begin{aligned} \begin{aligned} v(s)&=\phi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,u(\tau) \bigr)\, \mathrm{d}\tau \biggr) \\ &>\phi_{q} \biggl( M_{3} \int_{0}^{1}\frac{s^{\beta-1}(1-s)\tau (1-\tau)^{\beta-1}}{\Gamma(\beta)}\,\mathrm{d}\tau \biggr) \\ &= \biggl(\frac{ M_{3} s^{\beta-1}(1-s)B(2,\beta)}{\Gamma(\beta )} \biggr)^{q-1}, \end{aligned} \end{aligned}$$
where \(B(2,\beta)=\int_{0}^{1}\tau(1-\tau)^{\beta-1}\,\mathrm {d}\tau\). So we get
$$\begin{aligned} \varphi(Tu) =&\min_{ t\in[0,1]} \bigl\vert Tu(t) \bigr\vert =Tu(1)=d_{0}+d_{1}+\frac {1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}v(s)\,\mathrm{d}s \\ =&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+ \frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ &{}- \frac{1}{\Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\, \mathrm{d}s+ \frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha -1}v(s)\,\mathrm{d}s \\ \geq&\frac{[b-\int^{1}_{0}tg(t)\,\mathrm{d}t]-[a-\int^{1}_{0}g(t)\, \mathrm{d}t]}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha-1)} \int ^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ &{}+ \frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}v(s)\, \mathrm{d}s \\ >&\frac{b-a}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha-1)} \int ^{1}_{0}(1-s)^{\alpha-2} \biggl( \frac{ M_{3} s^{\beta-1}(1-s)B(2,\beta )}{\Gamma(\beta)} \biggr)^{q-1}\,\mathrm{d}s \\ &{}+ \frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1} \biggl( \frac{ M_{3} s^{\beta-1}(1-s)B(2,\beta)}{\Gamma(\beta)} \biggr)^{q-1}\,\mathrm{d}s \\ =&\frac{b-a}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha-1)} \biggl(\frac{ M_{3} B(2,\beta)}{\Gamma(\beta)} \biggr)^{q-1} \int ^{1}_{0}(1-s)^{\alpha-2} \bigl(s^{\beta-1}(1-s) \bigr)^{q-1}\,\mathrm{d}s \\ &{}+ \frac{1}{\Gamma(\alpha)} \biggl(\frac{ M_{3} B(2,\beta)}{\Gamma (\beta)} \biggr)^{q-1} \int_{0}^{1}(1-s)^{\alpha-1} \bigl(s^{\beta -1}(1-s) \bigr)^{q-1}\,\mathrm{d}s \\ =&\frac{b-a}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha-1)} \biggl(\frac{ M_{3} B(2,\beta)}{\Gamma(\beta)} \biggr)^{q-1}B(\beta q- \beta -q+2,\alpha+q-2) \\ &{}+ \frac{1}{\Gamma(\alpha)} \biggl(\frac{ M_{3} B(2,\beta)}{\Gamma (\beta)} \biggr)^{q-1}B(\beta q-\beta-q+2,\alpha+q-1) \\ =& \biggl(\frac{ M_{3} B(2,\beta)}{\Gamma(\beta)} \biggr)^{q-1}L_{3}= r_{3}. \end{aligned}$$
Secondly, let \(u\in\partial P(\omega,r_{2})\), that is, \(u\in[0,r_{2}]\) for \(t\in[0,1]\). By means of (H2), we get
$$\begin{aligned} v(s) =&\phi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,u(\tau) \bigr)\, \mathrm{d}\tau \biggr) \\ < &\phi_{q} \biggl( M_{2} \int_{0}^{1}\frac{\tau(1-\tau)^{\beta -1}}{\Gamma(\beta-1)}\,\mathrm{d}\tau \biggr) = \biggl( \frac{M_{2} B(2,\beta)}{\Gamma(\beta-1)} \biggr)^{q-1}. \end{aligned}$$
So we have
$$\begin{aligned} \omega(Tu) =&\max_{ t\in[0,1]} \bigl\vert Tu(t) \bigr\vert =Tu(0)=d_{0} \\ =&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ < &\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{1}_{0}(1-s)^{\alpha-1} \biggl( \frac{M_{2} B(2,\beta )}{\Gamma(\beta-1)} \biggr)^{q-1}\,\mathrm{d}s\,\mathrm{d}t \\ &{}+\frac{[b-\int^{1}_{0}tg(t)\,\mathrm{d}t]}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2} \biggl( \frac{M_{2} B(2,\beta)}{\Gamma(\beta-1)} \biggr)^{q-1}\,\mathrm{d}s \\ \leq&\frac{\int^{1}_{0}g(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha+1)} \biggl( \frac{M_{2} B(2,\beta)}{\Gamma(\beta -1)} \biggr)^{q-1} \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha)} \biggl( \frac{M_{2} B(2,\beta)}{\Gamma(\beta -1)} \biggr)^{q-1} \\ =& \biggl( \frac{M_{2} B(2,\beta)}{\Gamma(\beta-1)} \biggr)^{q-1}L_{2}=r_{2}. \end{aligned}$$
Finally, let \(u\in\partial P(\psi,r_{1})\), that is, \(u\in[0,r_{1}]\) for \(t\in[0,1]\). By means of (H3), we get
$$\begin{aligned} v(s) =&\phi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,u(\tau) \bigr)\, \mathrm{d}\tau \biggr) \\ >&\phi_{q} \biggl( M_{1} \int_{0}^{1}\frac{s^{\beta-1}(1-s)\tau (1-\tau)^{\beta-1}}{\Gamma(\beta)}\,\mathrm{d}\tau \biggr) \\ =& \biggl(\frac{ M_{1} s^{\beta-1}(1-s)B(2,\beta)}{\Gamma(\beta )} \biggr)^{q-1}. \end{aligned}$$
So we get
$$\begin{aligned} \psi(Tu) =&\max_{ t\in[0,\eta]}\bigl|Tu(t)\bigr|=Tu(0)=d_{0} \\ =&\frac{1}{[a-\int^{1}_{0}g(t)\,\mathrm{d}t] \Gamma(\alpha)} \int ^{1}_{0}g(t) \int^{t}_{0}(t-s)^{\alpha-1}v(s)\,\mathrm{d}s\, \mathrm{d}t \\ &{}+\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ \geq&\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2}v(s)\,\mathrm{d}s \\ >&\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \int^{1}_{0}(1-s)^{\alpha-2} \biggl( \frac{ M_{1} s^{\beta-1}(1-s)B(2,\beta)}{\Gamma(\beta)} \biggr)^{q-1}\,\mathrm {d}s \\ =&\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \biggl(\frac{ M_{1} B(2,\beta)}{\Gamma(\beta )} \biggr)^{q-1} \int^{1}_{0}(1-s)^{\alpha-2} \bigl(s^{\beta-1}(1-s) \bigr)^{q-1}\, \mathrm{d}s \\ =&\frac{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}{[a-\int^{1}_{0}g(t)\,\mathrm {d}t] \Gamma(\alpha-1)} \biggl(\frac{ M_{1} B(2,\beta)}{\Gamma(\beta )} \biggr)^{q-1}B(\beta q- \beta-q+2,\alpha+q-2) \\ =& \biggl(\frac{ M_{1} B(2,\beta)}{\Gamma(\beta)} \biggr)^{q-1}L_{1}= r_{1}. \end{aligned}$$

Therefore, in view of Theorem 2.1, we see that the problem (1.1) has at least two positive solutions \(u_{1}\) and \(u_{2}\) such that \(r_{1}<\psi(u_{1}) \) with \(\omega(u_{1})< r_{2}\) and \(r_{2}<\omega(u_{2}) \) with \(\varphi(u_{2})< r_{3}\). □

5 Example

In this section, we give a simple example to explain the main result.

Example 5.1

For the problem (1.1), Let \(\alpha=2.8\), \(\beta =2.3\), \(a=4\), \(b=10\), \(p=2\), \(g(t)=t\), then we get \(q=2\), \(\int^{1}_{0} g(t)\, \mathrm{d}t=\frac{1}{2}\), \(\int^{1}_{0} tg(t)\,\mathrm{d}t=\frac{1}{3}\),
$$k=\frac{[b-\int^{1}_{0}tg(t)\,\mathrm{d}t]-[a-\int^{1}_{0}g(t)\,\mathrm {d}t]}{b-\int^{1}_{0}tg(t)\,\mathrm{d}t}=\frac{37}{58}\approx0.637931. $$
Let
$$ f(t,u)= \textstyle\begin{cases} 23,& t\in[0,1], u\in[0,9], \\ 23+600(u-9),& t\in[0,1], u\in[9,10], \\ 623,& t\in[0,1], u\in[10,+\infty). \end{cases} $$
From a direct calculation, we get
$$\begin{aligned}& f(t,u)> M_{3}\approx583.266938\quad \mbox{for } t\in[0,1], u\in \biggl[10,\frac{580}{37} \biggr] ; \\& f(t,u)< M_{2}\approx36.538326\quad \mbox{for } t\in[0,1], u\in[0,9] ; \\& f(t,u)> M_{1}\approx21.322041\quad \mbox{for } t\in[0,1], u\in[0,0.5] . \end{aligned}$$
In view of Theorem 4.1, we see that the aforementioned problem has at least two positive solutions \(u_{1}\) and \(u_{2}\) such that \(0.5<\psi(u_{1}) \) with \(\omega(u_{1})<9\) and \(9<\omega(u_{2}) \) with \(\varphi(u_{2})<10\).

Declarations

Acknowledgements

The author would like to thank the anonymous referees for their valuable comments and suggestions.

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)
School of Sciences, Hebei University of Science and Technology

References

  1. Chen, T, Liu, W: An anti-periodic boundary value problem for the fractional differential equation with a p-Laplacian operator. Appl. Math. Lett. 25, 1671-1675 (2012) MathSciNetView ArticleMATHGoogle Scholar
  2. Chai, G: Positive solutions for boundary value problem of fractional differential equation with p-Laplacian operator. Bound. Value Probl. 2012, 18 (2012) MathSciNetView ArticleMATHGoogle Scholar
  3. Feng, X, Feng, H, Tan, H: Existence and iteration of positive solutions for third-order Sturm-Liouville boundary value problems with p-Laplacian. Appl. Math. Comput. 266, 634-641 (2015) MathSciNetGoogle Scholar
  4. Li, Y, Qi, A: Positive solutions for multi-point boundary value problems of fractional differential equations with p-Laplacian. Math. Methods Appl. Sci. 39, 1425-1434 (2015) MathSciNetView ArticleMATHGoogle Scholar
  5. Han, Z, Lu, H, Zhang, C: Positive solutions for eigenvalue problems of fractional differential equation with generalized p-Laplacian. Appl. Math. Comput. 257, 526-536 (2015) MathSciNetMATHGoogle Scholar
  6. Liu, X, Jia, M, Ge, W: The method of lower and upper solutions for mixed fractional four-point boundary value problem with p-Laplacian operator. Appl. Math. Lett. 65, 56-62 (2017) MathSciNetView ArticleMATHGoogle Scholar
  7. Jankowski, T: Positive solutions to fractional differential equations involving Stieltjes integral conditions. Appl. Math. Comput. 241, 200-213 (2014) MathSciNetMATHGoogle Scholar
  8. Cabada, A, Dimitrijevic, S, Tomovic, T, Aleksic, S: The existence of a positive solution for nonlinear fractional differential equations with integral boundary value conditions. Math. Methods Appl. Sci. (2016). doi:10.1002/mma.4105 MATHGoogle Scholar
  9. Ntouyas, S, Etemad, S: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235-243 (2015) MathSciNetGoogle Scholar
  10. Cabada, A, Hamdi, Z: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251-257 (2014) MathSciNetGoogle Scholar
  11. Günendi, M, Yaslan, I: Positive solutions of higher-order nonlinear multi-point fractional equations with integral boundary conditions. Fract. Calc. Appl. Anal. 19, 989-1009 (2016) MathSciNetView ArticleMATHGoogle Scholar
  12. Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering. Academic Press, New York (1999) MATHGoogle Scholar
  13. Samko, S, Kilbas, A, Marichev, O: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993) MATHGoogle Scholar
  14. Avery, RI, Chyan, CJ, Henderson, J: Twin solutions of boundary value problems for ordinary differential equations and finite difference equations. Comput. Math. Appl. 42, 695-704 (2001) MathSciNetView ArticleMATHGoogle Scholar
  15. Yuan, C: Multiple positive solutions for \((n-1, 1)\)-type semipositone conjugate boundary value problems of nonlinear fractional differential equations. Electron. J. Qual. Theory Differ. Equ. 2010, 36 (2010) MathSciNetMATHGoogle Scholar

Copyright

© The Author(s) 2017