Skip to main content

Theory and Modern Applications

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

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.

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

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)

    Article  MathSciNet  MATH  Google Scholar 

  2. Chai, G: Positive solutions for boundary value problem of fractional differential equation with p-Laplacian operator. Bound. Value Probl. 2012, 18 (2012)

    Article  MathSciNet  MATH  Google 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)

    MathSciNet  Google 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)

    Article  MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

  7. Jankowski, T: Positive solutions to fractional differential equations involving Stieltjes integral conditions. Appl. Math. Comput. 241, 200-213 (2014)

    MathSciNet  MATH  Google 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

    MATH  Google 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)

    MathSciNet  Google Scholar 

  10. Cabada, A, Hamdi, Z: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251-257 (2014)

    MathSciNet  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

  12. Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering. Academic Press, New York (1999)

    MATH  Google Scholar 

  13. Samko, S, Kilbas, A, Marichev, O: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)

    MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yunhong Li.

Additional information

Competing interests

The author declares that they have no competing interests.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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

Li, Y. Existence of positive solutions for fractional differential equation involving integral boundary conditions with p-Laplacian operator. Adv Differ Equ 2017, 135 (2017). https://doi.org/10.1186/s13662-017-1172-8

Download citation

  • Received:

  • Accepted:

  • Published:

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

MSC

Keywords