Open Access

Existence of positive solutions for integral boundary value problems of fractional differential equations with p-Laplacian

Advances in Difference Equations20172017:36

Received: 7 November 2016

Accepted: 14 January 2017

Published: 1 February 2017


This paper is concerned with the existence of positive solutions for integral boundary value problems of Caputo fractional differential equations with p-Laplacian operator. By means of the properties of the Green’s function, Avery-Peterson fixed point theorems, we establish conditions ensuring the existence of positive solutions for the problem. As an application, an example is given to demonstrate the main result.


fractional differential equations Caputo derivative p-Laplacian operator integral boundary conditions positive solutions

1 Introduction

Recently, fractional differential equations have been proved to be valuable tools in the modeling of many phenomena in various fields of science and engineering, such as rheology, dynamical processes in self-similar and porous structures, heat conduction, control theory, electroanalytical chemistry, chemical physics, economics, etc. Many researchers have shown their interest in fractional differential equations. The motivation for this work stems from both the intensive development of the theory of fractional calculus itself and the applications. Many papers and books have appeared on fractional calculus and fractional differential equations (see [110]).

It is well known that the p-Laplacian operator is also used in analyzing mechanics, physics, and dynamic systems, and the related fields of mathematical modeling. However, there are few studies of the existence of positive solution of fractional differential equations with the p-Laplacian operator; see [1118] and the references therein.

In [11], Liu et al. studied the solvability of the Caputo fractional differential equation with boundary value conditions involving the p-Laplacian operator. The existence and uniqueness of the problem is found by the Banach fixed point theorem. The problem is given in the following:
$$ \left \{ \textstyle\begin{array}{l} ( \varphi_{p} ( D_{0+}^{\alpha}x(t) ) ) ^{{\prime}}=f (t,x(t) ),\quad \mbox{for }t\in( 0,1 ), \\ x(0) =r_{0}x(1), \\ x^{{\prime}}(0) =r_{1}x^{{\prime}}(1), \\ x^{ ( j ) }(0) =0, \end{array}\displaystyle \right . $$
where \(i=2,3,\ldots, [ \alpha] -1\). Here, \(\varphi_{p}\) is the p-Laplacian operator and \(D_{{0^{+}}}^{\alpha}\) is the Caputo fractional derivative, \(1 < \alpha \in\mathbb{R}\), and the nonlinear function \(f \in C([0,1]\times\mathbb{R}, \mathbb {R})\) is given.
In [12], Lu et al. studied the existence of non-negative solutions of a nonlinear fractional boundary value problem with the p-Laplacian operator
$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\beta} ( \varphi_{p} ( D_{0+}^{\alpha}u(t) ) ) =f (t,u(t) ), \quad \mbox{for }0< t< 1, \\ u(0) =u^{{\prime}}(0)=u^{{\prime}}(1)=0, \\ D_{0+}^{\alpha}u(0) =D_{0+}^{\alpha}u(1)=0, \end{array}\displaystyle \right . $$
where \(2<\alpha\leq3\), \(1 < \beta\leq3\), and \(D_{0+}^{\alpha}\), \(D_{0+}^{\beta}\) are the standard Riemann-Liouville fractional derivatives. Green’s functions, the Guo-Krasnoselskii theorem, and the Leggett-Williams fixed point theorems are used.

Boundary value problems with integral boundary conditions for ordinary differential equations represent a very interesting and important class of problems. They include two-point, three-point and multi-point boundary value problems as special cases. For an overview of the literature on integral boundary value problems and symmetric solutions, see [1926] and the references therein.

In [24], Zhi et al. studied the existence of positive solutions for nonlocal boundary value problem of the fractional differential equations with p-Laplacian operator. The problem is given in the following:
$$ \left \{ \textstyle\begin{array}{l} ( \varphi_{p} ( D_{0+}^{\alpha}u(t) ) )'' =f (t,u(t),D_{0+}^{\beta}u(t) ), \quad \mbox{for }0< t< 1, \\ u(0) =u''(0)=0,\qquad u(1)=\int_{0}^{1}g(s)u(s)\,ds, \\ ( \varphi_{p} ( D_{0+}^{\alpha}u(0) ) )^{{\prime}} =\lambda_{1} ( \varphi_{p} ( D_{0+}^{\alpha}u(\xi_{1}) ) )^{{\prime}}, \\ \varphi_{p} ( D_{0+}^{\alpha}u(1) )=\lambda_{2} ( \varphi_{p} ( D_{0+}^{\alpha}u(\xi_{2}) ) ), \end{array}\displaystyle \right . $$
where \(0 < \xi_{1} \leq\xi_{2} <1 \), \(2 < \alpha<3\), \(1< \beta< \alpha- 1 < 2\), \(0 \leq\lambda_{1} , \lambda_{2} <1 \). \(D_{0+}^{\alpha}\) is the Caputo fractional derivative of order α.
In [26], Mahmudov and Unul studied the existence of the solutions of the fractional differential equation with p-Laplacian operator and integral conditions is discussed. The problem is given in the following:
$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\beta}\phi_{p} ( D_{0+}^{\alpha}u(t) ) =f (t,u(t),D_{0+} ^{\gamma}u(t) ), \\ u(0)+\mu_{1}u(1) =\sigma_{1}\int_{0}^{1}g (s,u(s) ) \,ds, \\ u^{{\prime}}(0)+\mu_{2}u^{{\prime}}(1) =\sigma_{2} \int_{0}^{1}h (s,u(s) ) \,ds, \\ D_{0+}^{\alpha}u(0) =0, \\ D_{0+}^{\alpha}u(1) =\upsilon D_{0+}^{\alpha}u(\eta), \end{array}\displaystyle \right . $$
where \(D_{0+}^{\alpha} \), \(D_{0+}^{\beta} \) are the Caputo fractional derivative operators with \(1<\alpha<2 \), \(1<\beta< 2 \). \(\mu_{1} \), \(\sigma_{i}\) (\(i=1,2\)) are non-negative constants. f, g, h are continuous functions.
Motivated by the above work, we investigate the following integral boundary value problems (for short, BVP) of fractional differential equations with p-Laplacian:
$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\beta}\varphi_{p} ( D_{0+}^{\alpha}x(t) ) =f (t,x(t),D_{0+} ^{\beta}x(t) ),\quad t \in(0,1) \\ ( \varphi_{p} ( D_{0+}^{\alpha}x(0) ) )^{(i)} =\varphi_{p} ( D_{0+}^{\alpha}x(1) )=0,\quad i=1,2, \ldots, m-1 , \\ x(1) = \int_{0}^{1}g_{1}(s)x(s)\,ds, \\ x^{{\prime}}(0) = \int_{0}^{1}g_{2}(s)x(s)\,ds, \\ x^{(j)}(0) = 0,\quad j= 2,3, \ldots, n-1, \end{array}\displaystyle \right . $$
where \(\varphi_{p}\) is the p-Laplacian operator, \(1< n-1<\alpha<n\), \(1< m-1<\beta< m\), \(\alpha-\beta>1 \), and \(D_{{0^{+}}}^{\alpha}\) and \(D_{{0^{+}}}^{\beta}\) are the Caputo fractional derivatives. \(g_{k} \in C([0,1], [0,+\infty)) \), \(k=1,2 \), \(f \in C([0,1] \times[0,+\infty) \times(-\infty,0], [0,+\infty)) \) are given functions.

In this paper, a positive solution \(x=x(t)\) of BVP (1.1) means a solution of (1.1) satisfying \(x(t)>0\), \(t\in[0,1]\).

Throughout this paper, we always assume that the following condition is satisfied.

\(g_{1}(t)>g_{2}(t)\geq0\), \(0\leq\int_{0}^{1}g_{2}(s)\,ds\), \(\int _{0}^{1}g_{1}(s)\,ds < 1\).

The organization of the paper is as follows. In Section 2, we present some necessary definitions and lemmas which will be used to prove our main results. In Section 3, by using the Avery-Peterson fixed point theorems, the results for the existence of multiple positive solutions of BVP (1.1) are established. In Section 4, we give an example to demonstrate the main result.

2 Preliminaries and lemmas

In this section, we give some definitions and basic lemmas that will be used and important to us in the following.

Definition 2.1

see [1]

The Riemann-Liouville integral of fractional order \(\alpha>0\) of a function g is defined as
$$I_{{0^{+} }}^{\alpha}g(t):=\frac{1}{\Gamma(\alpha)} \int _{0}^{t}(t-s)^{\alpha-1}g(s) \,ds. $$

Definition 2.2

see [2]

The Caputo derivative of fractional order \(\alpha>0\) of a function g is defined as
$$D_{0+}^{\alpha}g(t)=\frac{1}{\Gamma(n-\alpha)} \int _{0}^{t}(t-s)^{n-\alpha-1}g^{ ( n ) }(s) \,ds, $$
where n is the smallest integer greater than or equal to α.

Definition 2.3

see [4]

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

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

  2. (2)

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

see [4]

The map γ is said to be a continuous non-negative convex (concave) function on a cone P of a real Banach space E provided that \(\gamma :P \rightarrow[0,+\infty)\) is continuous and
$$\gamma\bigl(tx+(1-t)y\bigr)\leq(\geq)\, t\gamma(x)+(1-t)\gamma(y),\quad x,y\in P,t\in[0,1]. $$

Lemma 2.1

see [8]

Let \(\alpha >0\), assume that \(u,D_{{0^{+} }}^{\alpha}u\in C(0,1)\cap L^{1}(0,1)\), then
$$ I_{0+}^{\alpha}D_{0+}^{\alpha}u(t)=u(t)+C_{0}+C_{1}t+C_{2}t^{2}+ \cdots +C_{n-1}t^{n-1} $$
holds for some \(C_{i}\in\mathbb{R}\), \(i=0,1,2,\ldots,n-1\),where n is the smallest integer greater than or equal to α.

Lemma 2.2

see [26]

The Caputo fractional derivative of order \(n-1<\alpha<n \) for \(t^{\beta}\) is given by
$$ D_{0+}^{\alpha}t^{\beta}= \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{\Gamma(\beta+1)}{\Gamma(\beta-\alpha+1)}t^{\beta-\alpha},& \beta>n-1, \\ 0, & \beta\in\{0,1,\ldots,n-1 \}. \end{array}\displaystyle \right . $$

Lemma 2.3

Let \(h\in C[0,1] \) and \(1< m-1<\beta<m\). Then the BVP
$$ \left \{ \textstyle\begin{array}{l} D_{{0^{+} }}^{\beta}u(t)=h(t),\quad 0< t< 1, \\ u(1) = u^{(i)}(0) = 0, \quad i=1,2,\ldots,m-1, \end{array}\displaystyle \right . $$
has an unique solution
$$ u(t)=- \int_{0}^{1}H(t,s)h(s)\,ds, $$
$$ H(t,s)=\frac{1}{\Gamma(\beta)}\left \{ \textstyle\begin{array}{l@{\quad}l} (1-s)^{\beta-1}-(t-s)^{\beta-1}, & 0\leq s\leq t\leq1, \\ (1-s)^{\beta-1},&0\leq t\leq s\leq1. \end{array}\displaystyle \right . $$


From (2.1) and Lemma 2.1, we have
$$ u(t) = \frac{1}{\Gamma(\beta)} \int_{0}^{t} (t-s)^{\beta-1}h(s)\,ds+ C_{0}+C_{1}t+C_{2}t^{2}+ \cdots+C_{m-1}t^{m-1}. $$
Since \(u^{(i)}(0)=0\) (\(i=1,2,\ldots,m-1\)), we have \(C_{1}=C_{2}=\cdots =C_{m-1}=0 \) and
$$ u(1)= \frac{1}{\Gamma(\beta)} \int_{0}^{1} (1-s)^{\beta-1}h(s) \,ds+C_{0}. $$
Combined with \(u(1)=0 \), we know
$$C_{0}=-\frac{1}{\Gamma(\beta)} \int_{0}^{1} (1-s)^{\beta-1}h(s)\,ds. $$
$$\begin{aligned} u(t) =& \frac{1}{\Gamma(\beta)} \int_{0}^{t} (t-s)^{\beta-1}h(s)\,ds- \frac {1}{\Gamma(\beta)} \int_{0}^{1} (1-s)^{\beta-1}h(s)\,ds \\ =& \frac{1}{\Gamma(\beta)} \int_{0}^{t} \bigl((t-s)^{\beta -1}-(1-s)^{\beta-1} \bigr)h(s)\,ds \\ &{} -\frac{1}{\Gamma(\beta)} \int_{t}^{1} (1-s)^{\beta-1}h(s)\,ds \\ =& - \int_{0}^{1}H(t,s)h(s)\,ds, \end{aligned}$$
where \(H(t,s)\) is given by (2.3).

The proof is completed. □

Lemma 2.4

Assume (L0) holds, let \(y\in C[0,1] \) and \(1< n-1<\alpha<n\), \(1< m-1<\beta<m\). Then the following boundary value problems:
$$ \left \{ \textstyle\begin{array}{l} D_{{0^{+} }}^{\alpha}x(t)=y(t),\quad 0< t< 1, \\ x^{(j)}(0) = 0, \quad j= 2,3, \ldots, n-1, \\ x(1) = \int_{0}^{1}g_{1}(s)x(s)\,ds, \\ x'(0) = \int_{0}^{1}g_{2}(s)x(s)\,ds, \end{array}\displaystyle \right . $$
has an unique solution
$$ x(t)=- \int_{0}^{1}G(t,s)y(s)\,ds $$
$$ D_{0+}^{\beta}x(t)=\frac{1}{\Gamma(\alpha-\beta)} \int _{0}^{t}(t-s)^{\alpha-\beta-1}y(s)\,ds, $$
$$\begin{aligned}& G(t,s)=G_{1}(t,s)+G_{2}(t,s), \end{aligned}$$
$$\begin{aligned}& G_{1}(t,s)=\frac{1}{\Gamma(\alpha)}\left \{ \textstyle\begin{array}{l@{\quad}l} (1-s)^{\alpha-1}-(t-s)^{\alpha-1},& 0\leq s\leq t\leq1, \\ (1-s)^{\alpha-1}, &0\leq t\leq s\leq1, \end{array}\displaystyle \right . \end{aligned}$$
$$\begin{aligned}& G_{2}(t,s)=\delta \biggl( P(t) \int_{0}^{1}g_{1}(\tau)G_{1}( \tau ,s)\,d\tau+ Q(t) \int_{0}^{1}g_{2}(\tau)G_{1}( \tau,s)\,d\tau \biggr) , \end{aligned}$$
$$\begin{aligned}& \delta^{-1}=(1-M_{1}) (1-N_{2})+N_{1}(1-M_{2}) , \end{aligned}$$
$$\begin{aligned}& P(t)=1-N_{2}+N_{1}t,\qquad Q(t)=M_{2}-1+(1-M_{1})t, \end{aligned}$$
$$\begin{aligned}& M_{1}= \int_{0}^{1}g_{1}(s)\,ds,\qquad M_{2}= \int_{0}^{1}sg_{1}(s)\,ds , \end{aligned}$$
$$\begin{aligned}& N_{1}= \int_{0}^{1}g_{2}(s)\,ds,\qquad N_{2}= \int_{0}^{1}sg_{2}(s)\,ds . \end{aligned}$$


From Lemma 2.1, considering BVP (2.6), we have
$$ x(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}y(s) \,ds+C_{0}+C_{1}t+C_{2}t^{2}+ \cdots+C_{n-1}t^{n-1}. $$
Because \(x^{(j)}(0)=0\) (\(j=1,2,\ldots,n-1\)), we have \(C_{2}=C_{3}=\cdots =C_{n-1}=0\), and
$$x(1)=\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}y(s) \,ds+C_{0}+C_{1}. $$
From the second condition of BVP (2.6), we have
$$ \int_{0}^{1}g_{1}(s)x(s)\,ds= \frac{1}{\Gamma(\alpha)} \int _{0}^{1}(1-s)^{\alpha-1}y(s) \,ds+C_{0}+C_{1}. $$
From the last condition of BVP (2.6), we have
$$ C_{1}=x'(0)= \int_{0}^{1}g_{2}(s)x(s)\,ds. $$
By (2.16) and (2.17), we obtain
$$ C_{0}= \int_{0}^{1}g_{1}(s)x(s)\,ds- \int_{0}^{1}g_{2}(s)x(s)\,ds- \frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}y(s)\,ds. $$
$$\begin{aligned} x(t) =& \frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}y(s) \,ds+C_{0}+C_{1}t \\ =& \frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}y(s)\,ds + \int_{0}^{1}g_{1}(s)x(s)\,ds- \int_{0}^{1}g_{2}(s)x(s)\,ds \\ &{} -\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}y(s)\,ds +t \int_{0}^{1}g_{2}(s)x(s)\,ds \\ =& \frac{1}{\Gamma(\alpha)} \int_{0}^{t} \bigl((t-s)^{\alpha -1}-(1-s)^{\alpha-1} \bigr)y(s)\,ds -\frac{1}{\Gamma(\alpha)} \int_{t}^{1}(1-s)^{\alpha-1}y(s)\,ds \\ &{} + \int_{0}^{1}g_{1}(s)x(s)\,ds- \int_{0}^{1}g_{2}(s)x(s)\,ds+t \int _{0}^{1}g_{2}(s)x(s)\,ds \\ =& - \int_{0}^{1}G_{1}(t,s)y(s) \,ds+A_{1}-A_{2}+tA_{2}, \end{aligned}$$
where \(G_{1}(t,s)\) is given in (2.10), and
$$\begin{aligned}& A_{1} = \int_{0}^{1}g_{1}(s)x(s)\,ds, \\& A_{2} = \int_{0}^{1}g_{2}(s)x(s)\,ds. \end{aligned}$$
In view of (2.19), we get
$$ g_{1}(t)x(t)=-g_{1}(t) \int _{0}^{1}G_{1}(t,s)y(s) \,ds+A_{1}g_{1}(t)-A_{2}g_{1}(t)+tA_{2}g_{1}(t). $$
Integrating (2.20) from 0 to 1, we obtain
$$\begin{aligned} A_{1} =& \int_{0}^{1} g_{1}(s)x(s)\,ds \\ =&- \int_{0}^{1}g_{1}(s) \biggl( \int _{0}^{1}G_{1}(s,\tau)y(\tau)\,d\tau \biggr)\,ds \\ & {}+A_{1} \int_{0}^{1} g_{1}(s)\,ds-A_{2} \int_{0}^{1} g_{1}(s)\,ds+A_{2} \int_{0}^{1}s g_{1}(s)\,ds \\ =&I_{1}+A_{1}M_{1}-A_{2}M_{1}+A_{2}M_{2}, \end{aligned}$$
where \(M_{1}\) and \(M_{2} \) are given in (2.14), and
$$I_{1}=- \int_{0}^{1}g_{1}(s) \biggl( \int_{0}^{1}G_{1}(s,\tau)y(\tau)\,d\tau \biggr)\,ds =- \int_{0}^{1} \biggl( \int_{0}^{1}g_{1}(s)G_{1}(s, \tau)\,ds \biggr)y(\tau )\,d\tau. $$
Similarly, we obtain
$$\begin{aligned} A_{2} =& \int_{0}^{1} g_{2}(s)x(s)\,ds \\ =&- \int_{0}^{1}g_{2}(s) \biggl( \int _{0}^{1}G_{1}(s,\tau)y(\tau)\,d\tau \biggr)\,ds \\ &{} +A_{1} \int_{0}^{1} g_{2}(s) \,ds-A_{2} \int_{0}^{1} g_{2}(s) \,ds+A_{2} \int_{0}^{1}s g_{2}(s)\,ds \\ =&I_{2}+A_{1}N_{1}-A_{2}N_{1}+A_{2}N_{2}, \end{aligned}$$
where \(N_{1}\) and \(N_{2} \) are given in (2.15), and
$$I_{2}=- \int_{0}^{1}g_{2}(s) \biggl( \int_{0}^{1}G_{1}(s,\tau)y(\tau)\,d\tau \biggr)\,ds =- \int_{0}^{1} \biggl( \int_{0}^{1}g_{2}(s)G_{1}(s, \tau)\,ds \biggr)y(\tau )\,d\tau. $$
From (2.21) and (2.22), we get
$$\begin{aligned}& A_{1} = \bigl(I_{2}(M_{2}-M_{1})+I_{1}(1+N_{1}-N_{2}) \bigr) \delta, \\& A_{2} = \bigl(I_{2}(1-M_{1})+I_{1}N_{1} \bigr)\delta, \end{aligned}$$
where \(\delta^{-1}\) is given in (2.12). Hence,
$$\begin{aligned} x(t) =&- \int_{0}^{1}G_{1}(t,s)y(s) \,ds+A_{1}-A_{2}+tA_{2} \\ =&- \int_{0}^{1}G_{1}(t,s)y(s)\,ds+\delta \bigl(I_{2}(M_{2}-1+t-M_{1}t)+I_{1}(1-N_{2}+N_{1}t) \bigr) \\ =&- \int_{0}^{1}G_{1}(t,s)y(s)\,ds+\delta I_{1}P(t)+\delta I_{2}Q(t) \\ =&- \int_{0}^{1}G_{1}(t,s)y(s)\,ds- \int_{0}^{1}\delta P(t) \biggl( \int _{0}^{1}g_{1}(\tau)G_{1}( \tau,s)\,d\tau \biggr)y(s)\,ds \\ &{}- \int_{0}^{1}\delta Q(t) \biggl( \int_{0}^{1}g_{2}(\tau)G_{1}( \tau ,s)\,d\tau \biggr)y(s)\,ds \\ =&- \int_{0}^{1}G_{1}(t,s)y(s)\,ds- \int_{0}^{1}\delta \biggl(P(t) \int _{0}^{1}g_{1}(\tau)G_{1}( \tau,s)\,d\tau \\ &{}+Q(t) \int_{0}^{1}g_{2}(\tau)G_{1}( \tau,s)\,d\tau \biggr)y(s)\,ds \\ =&- \int_{0}^{1}G_{1}(t,s)y(s)\,ds- \int_{0}^{1}G_{2}(t,s)y(s)\,ds \\ =&- \int_{0}^{1}G(t,s)y(s)\,ds, \end{aligned}$$
where \(G_{2}(t,s)\) is given in (2.11) and \(P(t)\), \(Q(t)\) are given in (2.13).
On the other hand, in view of (2.19), because \(m-1<\beta<\alpha -1<n-1\), by Lemma 2.2, we have
$$\begin{aligned} D_{0+}^{\beta}x(t) =& D_{0+}^{\beta} \biggl(\frac{1}{\Gamma(\alpha)} \int _{0}^{t}(t-s)^{\alpha-1}y(s) \,ds+C_{0}+C_{1}t \biggr) \\ =& D_{0+}^{\beta} \bigl(I_{0+}^{\alpha}y(t)+C_{0}+C_{1}t \bigr) \\ =& D_{0+}^{\beta}I_{0+}^{\alpha}y(t)+D_{0+}^{\beta }(C_{0})+D_{0+}^{\beta}(C_{1}t) \\ =& D_{0+}^{\beta}I_{0+}^{\alpha}y(t) \\ =& I_{0+}^{\alpha-\beta}y(t) \\ =& \frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{t}(t-s)^{\alpha-\beta-1}y(s)\,ds. \end{aligned}$$

The proof is completed. □

Lemma 2.5

BVP (1.1) equivalent to the following integral equation:
$$ x(t)= \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau ,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds $$
$$ D_{0+}^{\beta}x(t)=-\frac{1}{\Gamma(\alpha-\beta)} \int _{0}^{t}(t-s)^{\alpha-\beta-1} \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr)\,d\tau \biggr)\,ds, $$
where \(H(t,s)\) and \(G(t,s)\) are given in (2.3) and (2.9).


From Lemma 2.4 and Lemma 2.5, let \(y(t)=\varphi_{q}(u(t))\), \(h(t)=f (t,x(t),D_{0+}^{\beta}x(t) )\), we have
$$\begin{aligned} y(t) =& \varphi_{q} \bigl(u(t) \bigr)=\varphi_{q} \biggl(- \int _{0}^{1}H(t,s)f \bigl(s,x(s),D_{0+}^{\beta}x(s) \bigr)\,ds \biggr) \\ =& -\varphi_{q} \biggl( \int_{0}^{1}H(t,s)f \bigl(s,x(s),D_{0+}^{\beta }x(s) \bigr)\,ds \biggr). \end{aligned}$$
Immediately we obtain
$$x(t)=- \int_{0}^{1}G(t,s)y(s)\,ds = \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau ,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds. $$
From (2.23), we have (2.25).

The proof is completed. □

Lemma 2.6

Assume (L0) holds, then the function \(H(t,s)\) defined by (2.3) and the function \(G(t,s)\) defined by (2.9) satisfies
  1. (1)

    \(H(t,s)\geq0\) is continuous for all \(t,s\in[0,1]\);

  2. (2)

    \(H(t,s)\leq H(s,s)\) for all \(t,s\in[0,1]\);

  3. (3)

    \(G(t,s)\geq0\) is continuous for all \(t,s\in[0,1]\).



(1) From (2.3), it is easy to show that \(H(t,s)\) is continuous on \([0,1]\times[0,1]\) and obviously, \(H(t,s)\geq0\), for \(s \geq t\).

For \(0\leq s \leq t \leq1\), we have
$$(1-s)^{\beta-1}-(t-s)^{\beta-1}=(1-s)^{\beta-1} \biggl(1- \biggl( \frac {t-s}{1-s} \biggr)^{\beta-1} \biggr)\geq0. $$
By (2.3), we know \(H(t,s)\geq0\), \(t,s\in[0,1]\), and \(H(t,s)>0\), \(t,s\in(0,1)\).
(2) For \(0\leq s \leq t\leq1\), we have
$$H(t,s)=(1-s)^{\beta-1}-(t-s)^{\beta-1}\leq(1-s)^{\beta-1}=H(s,s) $$
and for \(s\geq t\), \(H(t,s)=H(s,s)\), so that \(H(t,s)\leq H(s,s)\), for all \(t,s\in[0,1]\).
(3) From (2.9), we know \(G(t,s)=G_{1}(t,s)+G_{2}(t,s)\). Firstly, from (2.10), similarly, we can obtain \(G_{1}(t,s)\geq 0\), \(t,s\in[0,1]\), and \(G_{1}(t,s)>0\), \(t,s\in(0,1)\). On the other hand, from (L0), we know, for \(t \in(0,1) \),
$$g_{1}(t)>tg_{1}(t)>tg_{2}(t) $$
$$\begin{aligned}& 1> \int_{0}^{1}g_{1}(s)\,ds> \int_{0}^{1}sg_{1}(s)\,ds> \int_{0}^{1}sg_{2}(s)\,ds>0, \\& 1> \int_{0}^{1}g_{1}(s)\,ds> \int_{0}^{1}g_{2}(s)\,ds> \int_{0}^{1}sg_{2}(s)\,ds>0. \end{aligned}$$
That implies
$$ 1>M_{1}>M_{2}>N_{2}>0,\qquad 1>M_{1}>N_{1}>N_{2}>0. $$
$$\delta^{-1}=(1-M_{1}) (1-N_{2})+N_{1}(1-M_{2})>0. $$
From (L0) and \(G_{1}(t,s)\geq0\), we know
$$ \frac{\partial G_{2}(t,s)}{\partial t} =\delta \biggl(N_{1} \int_{0}^{1}g_{1}(\tau)G_{1}( \tau,s)\,d\tau +(1-M_{1}) \int_{0}^{1}g_{2}(\tau)G_{1}( \tau,s)\,d\tau \biggr)>0, $$
which implies that \(G_{2}(t,s)\) is a monotone increasing function with respect to \(t\in[0,1]\).
So, from (2.11), we have
$$\begin{aligned} G_{2}(t,s) \geq& G_{2}(0,s)=\delta \biggl( P(0) \int_{0}^{1}g_{1}(\tau )G_{1}( \tau,s)\,d\tau+ Q(0) \int_{0}^{1}g_{2}(\tau)G_{1}( \tau,s)\,d\tau \biggr) \\ =&\delta \biggl( (1-N_{2}) \int_{0}^{1}g_{1}(\tau)G_{1}( \tau,s)\,d\tau+ (M_{2}-1) \int_{0}^{1}g_{2}(\tau)G_{1}( \tau,s)\,d\tau \biggr) \\ =&\delta \biggl( \int_{0}^{1} \bigl((1-N_{2})g_{1}( \tau )+(M_{2}-1)g_{2}(\tau) \bigr) G_{1}(\tau,s) \,d\tau \biggr) \\ \geq&\delta \biggl( \int_{0}^{1} \bigl((1-N_{2})g_{2}( \tau )+(M_{2}-1)g_{2}(\tau) \bigr) G_{1}(\tau,s) \,d\tau \biggr) \\ =&\delta(M_{2}-N_{2}) \biggl( \int_{0}^{1} g_{2}(\tau) G_{1}( \tau ,s)\,d\tau \biggr) \\ \geq&0. \end{aligned}$$

So \(G_{2}(t,s)\geq0\). Hence, \(G(t,s)\geq0\).

The proof is completed. □

Lemma 2.7

Let \(\eta\in(0,\frac{1}{2})\), denote \(I_{\eta }=[0,\eta]\) and \(\rho_{1}=1-(\frac{\eta}{1-\eta})^{\alpha-1}\), then
$$ \min_{t\in I_{\eta}}G_{1}(t,s)\geq \rho_{1}G_{1}(s,s)=\rho_{1}\max_{t\in[0,1] }G_{1}(t,s). $$


For \(0\leq s < t\leq1\) and \(t\in I_{\eta}\),
$$G_{1}(t,s)=(1-s)^{\alpha-1}-(t-s)^{\alpha-1} \leq(1-s)^{\alpha -1}=G_{1}(s,s) $$
$$\begin{aligned} \frac{G_{1}(t,s)}{G_{1}(s,s)} =& \frac{(1-s)^{\alpha-1}-(t-s)^{\alpha-1}}{(1-s)^{\alpha-1}} \\ =& 1- \biggl(\frac{t-s}{1-s} \biggr)^{\alpha-1} \\ \geq& 1- \biggl(\frac{\eta}{1-s} \biggr)^{\alpha-1} \\ \geq& 1- \biggl(\frac{\eta}{1-\eta} \biggr)^{\alpha-1} \\ =& \rho_{1}>0. \end{aligned}$$
For \(s\geq t\) and \(t \in I_{\eta}\),
$$ G_{1}(t,s)=G_{1}(s,s)> \biggl(1-\biggl(\frac{\eta}{1-\eta} \biggr)^{\alpha-1} \biggr)G_{1}(s,s)=\rho_{1}G_{1}(s,s). $$
$$\min_{t\in I_{\eta}}G_{1}(t,s)\geq\rho_{1}G_{1}(s,s). $$

The proof is completed. □

Lemma 2.8

Assume (L0) holds, then the function \(G_{2}(t,s)\) satisfies the following properties:
  1. (1)

    \(G_{2}(t,s)\leq G_{2}(1,s)=\max_{t\in[0,1]}G_{2}(t,s)\);

  2. (2)

    \(\min_{t\in I_{\eta}}G_{2}(t,s)\geq\rho_{2}\max_{t\in [0,1]}G_{2}(t,s)\), where \(0<\rho_{2}=\frac{M_{2}-N_{2}}{1-N_{2}+N_{1}}<1\).



From Lemma 2.7 and (2.27), we obtain \(G_{2}(t,s)>0\) and
$$\begin{aligned} \max_{t\in[0,1]}G_{2}(t,s) =&G_{2}(1,s) \\ =&\delta \biggl((1-N_{2}+N_{1}) \int_{0}^{1}g_{1}(\tau)G_{1}( \tau,s)\,d\tau +(M_{2}-M_{1}) \int_{0}^{1}g_{2}(\tau)G_{1}( \tau,s)\,d\tau \biggr) \end{aligned}$$
$$\begin{aligned} \min_{t\in I_{\eta}}G_{2}(t,s) =& G_{2}(0,s) \\ =& \delta \biggl((1-N_{2}) \int_{0}^{1}g_{1}(\tau)G_{1}( \tau,s)\,d\tau +(M_{2}-1) \int_{0}^{1}g_{2}(\tau)G_{1}( \tau,s)\,d\tau \biggr) \\ \geq& 0. \end{aligned}$$
$$\begin{aligned} \frac{G_{2}(0,s)}{G_{2}(1,s)} =& \frac{(1-N_{2})\int_{0}^{1}g_{1}(\tau)G_{1}(\tau,s)\,d\tau +(M_{2}-1)\int_{0}^{1}g_{2}(\tau)G_{1}(\tau,s)\,d\tau}{ (1-N_{2}+N_{1})\int_{0}^{1}g_{1}(\tau)G_{1}(\tau,s)\,d\tau +(M_{2}-M_{1})\int_{0}^{1}g_{2}(\tau)G_{1}(\tau,s)\,d\tau} \\ >& \frac{(1-N_{2})\int_{0}^{1}g_{1}(\tau)G_{1}(\tau,s)\,d\tau +(M_{2}-1)\int_{0}^{1}g_{1}(\tau)G_{1}(\tau,s)\,d\tau}{ (1-N_{2}+N_{1})\int_{0}^{1}g_{1}(\tau)G_{1}(\tau,s)\,d\tau +(M_{2}-M_{1})\int_{0}^{1}g_{2}(\tau)G_{1}(\tau,s)\,d\tau} \\ >& \frac{(1-N_{2}+M_{2}-1)\int_{0}^{1}g_{1}(\tau)G_{1}(\tau,s)\,d\tau}{ (1-N_{2}+N_{1})\int_{0}^{1}g_{1}(\tau)G_{1}(\tau,s)\,d\tau} \\ =& \frac{M_{2}-N_{2}}{1-N_{2}+N_{1}} \\ =& \rho_{2} \end{aligned}$$
$$0< \rho_{2}=\frac{M_{2}-N_{2}}{1-N_{2}+N_{1}}< \frac{M_{2}-N_{2}}{1-N_{2}}< 1. $$
$$\min_{t\in I_{\eta}}G_{2}(t,s)\geq\rho_{2}G_{2}(1,s). $$

The proof is completed. □

From Lemma 2.7 and Lemma 2.8, we can easily show that the following result holds.

Lemma 2.9

$$ \min_{t \in I_{\eta}}G(t,s)\geq\rho \bigl( G_{1}(s,s)+G_{2}(1,s) \bigr) \quad \textit{and}\quad G(t,s)\leq G_{1}(s,s)+G_{2}(1,s), $$
where \(\rho=\min\{\rho_{1},\rho_{2}\}\).

3 Main results

In this section we deduce the existence of positive solutions to BVP (1.1) by using the well-known Avery-Peterson fixed point theorem; see [4].

Let γ and θ be non-negative continuous convex functionals on P, φ be a non-negative continuous concave functional on P, and ψ be a non-negative continuous functional on P. For \(a,b,c,d>0\), we define the following convex set:
$$\begin{aligned}& P(\gamma; d)=\bigl\{ x\in P: \gamma(x)< d\bigr\} , \\& P(\gamma, \varphi; b, d) = \bigl\{ x\in P: b\leq\varphi(x),\gamma(x)\leq d\bigr\} , \\& P(\gamma, \theta, \varphi; b, c, d) = \bigl\{ x\in P: b\leq\varphi(x),\theta (x) \leq c, \gamma(x)\leq d\bigr\} , \end{aligned}$$
and a closed set
$$P(\gamma, \psi; a,d) = \bigl\{ x\in P: a\leq\psi(x),\gamma(x)\leq d\bigr\} . $$

Lemma 3.1

see [4]

Let P be a cone in a real Banach space E. Let γ and θ be non-negative continuous convex functionals on P, φ be a non-negative continuous concave functional on P, and ψ be a non-negative continuous functional on P satisfying \(\psi(\lambda x)\leq\lambda\psi(x)\) for \(0\leq\lambda\leq1\), such that, for some positive numbers M and d,
$$ \varphi(x)\leq\psi(x),\qquad \Vert x \Vert\leq M\gamma(x) $$
for all \(x\in\overline{P(\gamma;d)}\). Suppose
$$T:\overline{P(\gamma;d)}\rightarrow\overline{P(\gamma;d)} $$
is completely continuous and there exist positive numbers a, b, and c with \(a < b\) such that
  1. (H1)

    \(\{x\in P(\gamma,\theta,\varphi;b,c,d):\varphi(x)>b\}\neq{\O }\), and \(\varphi(x)>b \) for \(x\in P(\gamma,\theta,\varphi;b,c,d)\);

  2. (H2)

    \(\varphi(Tx)>b\) for \(x\in P(\gamma,\varphi;b,d)\) with \(\theta (Tx)>c\);

  3. (H3)

    \(0\notin P(\gamma,\psi;a,d)\) and \(\psi(Tx)< a\) for \(x\in P(\gamma,\psi;a,d)\) with \(\psi(x)=a\).

Then T has at least three fixed point \(x_{1},x_{2},x_{3}\in\overline {P(\gamma;d)}\) such that
$$ \gamma(x_{i})\leq d , \quad i=1,2,3 ; \qquad \varphi(x_{1})>b , \qquad a< \varphi (x_{2}) , \qquad \psi(x_{2})< b ; \qquad \psi(x_{3})< a . $$
Let \(E= \{x\in C[0,1]:D_{0+}^{\beta}x\in C[0,1], x^{{\prime}}(0)= \int _{0}^{1}g_{2}(s)x(s)\,ds, x^{(j)}(0) = 0, j= 2, 3, \ldots, m-1\}\) be endowed with the norm
$$ \Vert x \Vert=\max\Bigl\{ \max_{t\in[0,1]}\bigl\vert x(t) \bigr\vert , \max_{t\in [0,1]}\bigl\vert D_{0+}^{\beta}x(t) \bigr\vert \Bigr\} , $$
then E is a Banach space.
We define a set \(P \subset E\) by
$$P=\Bigl\{ x\in E: x(t)\geq0, D_{0+}^{\beta}x(t) \leq0, \min _{t\in I_{\eta}}x(t) \geq\rho\max_{t\in[0,1]} x(t) \Bigr\} . $$
For \(x, y\in P\) and \(k_{1},k_{2}\geq0 \), it is easy to obtain
$$k_{1}x(t)+k_{2}y(t)\geq0, \qquad D_{0+}^{\beta } \bigl(k_{1}x(t)+k_{2}y(t)\bigr)=k_{1}D_{0+}^{\beta}x(t)+k_{2}D_{0+}^{\beta}y(t) \leq0 $$
$$\begin{aligned} \min_{t\in I_{\eta}}\bigl\{ k_{1}x(t)+k_{2}y(t)\bigr\} \geq& \min_{t\in I_{\eta}}\bigl\{ k_{1}x(t)\bigr\} +\min _{t\in I_{\eta}}\bigl\{ k_{2}y(t)\bigr\} \\ \geq& \rho\max_{t\in[0,1]}\bigl\{ k_{1}x(t)\bigr\} +\rho \max_{t\in[0,1]}\bigl\{ k_{2}y(t)\bigr\} \\ =& \rho \Bigl(\max_{t\in[0,1]}\bigl\{ k_{1}x(t)\bigr\} + \max_{t\in[0,1]}\bigl\{ k_{2}y(t)\bigr\} \Bigr) \\ \geq& \rho\max_{t\in[0,1]}\bigl\{ k_{1}x(t)+k_{2}y(t) \bigr\} . \end{aligned}$$
Thus, for \(x, y\in P\) and \(k_{1},k_{2}\geq0 \), \(k_{1}x(t)+k_{2}y(t) \in P\). And if \(x\in P\), \(x\neq0\), it is easy to prove that \(-x \notin P\). Therefore, P is a cone in E.
Let \(T:P \rightarrow E\) be the operator defined by
$$Tx(t):= \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds. $$
Then we have the following conclusion.

Lemma 3.2

Assume (L0) holds, then \(T:P \rightarrow P\) is a completely continuous operator.


For \(x \in P\), from the non-negativity and continuity of \(G(t,s)\), \(H(t,s)\), \(f(t,x(t),D_{0+}^{\beta}x(t))\), we know that T is a continuous operator and \(Tx(t)\geq0\). By (2.25), we have
$$D_{0+}^{\beta}Tx(t)=-\frac{1}{\Gamma(\alpha-\beta)} \int _{0}^{t}(t-s)^{\alpha-\beta-1} \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr)\,d\tau \biggr)\,ds \leq0. $$
$$\begin{aligned} \min_{t\in I_{\eta}}Tx(t) =& \min_{t\in I_{\eta}} \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int _{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds \\ =& \int_{0}^{1}\min_{t\in I_{\eta}}G(t,s) \varphi_{q} \biggl( \int _{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds \\ \geq& \int_{0}^{1}\rho\max_{t\in[0,1]}G(t,s) \varphi_{q} \biggl( \int _{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds = \rho\max_{t\in[0,1]}Tx(t). \end{aligned}$$
Thus, \(T(P)\subseteq P\).

Next, we show that T is uniformly bounded.

Let \(D\subset P\) be bounded, i.e., there exists a positive constant r such that \(\Vert x \Vert\leq r\), for all \(x\in D\). Let \(M_{0}=\max_{t\in[0,1],x\in D} \vert f(t,x(t),D_{0+}^{\beta }x(t))\vert+ 1 > 0 \), for \(x\in D\), we have
$$\begin{aligned} \bigl\vert Tx(t) \bigr\vert =& \biggl\vert \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ \leq& \int_{0}^{1}\bigl\vert G(t,s) \bigr\vert \varphi_{q} \biggl( \int_{0}^{1} \bigl\vert H(s,\tau)\bigr\vert \bigl\vert f \bigl(\tau,x(\tau),D_{0+}^{\beta}x(\tau) \bigr) \bigr\vert \,d\tau \biggr)\,ds \\ \leq& \varphi_{q}(M_{0}) \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int _{0}^{1}H(s,\tau) \biggr)\,ds \\ \leq& \varphi_{q}(M_{0}) \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau) \biggr)\,ds:=M_{01}. \end{aligned}$$
Furthermore, for any \(x\in D\) and \(t\in[0,1]\), we have
$$\begin{aligned} \bigl\vert D_{0+}^{\beta}Tx(t) \bigr\vert =& \biggl\vert -\frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{t}(t-s)^{\alpha-\beta-1} \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ \leq& \frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{t}(t-s)^{\alpha-\beta-1} \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau) f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr) \,d\tau \biggr)\,ds \\ \leq& \varphi_{q}(M_{0}) \frac{1}{\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1} \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)\,d\tau \biggr) \,ds:=M_{02}. \end{aligned}$$
So \(\Vert Tx \Vert\leq\max\{M_{01},M_{02} \}\), which implies T is uniformly bounded.
In the following of the proof, we will prove that T is equicontinuous. Since \(G(t,s)\) is continuous on \([0,1]\times[0,1]\), it is uniformly continuous on \([0,1]\times[0,1]\). Thus, for any \(\epsilon> 0\), there exists a constant \(\delta_{1}>0\), such that
$$\bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert < \frac{\epsilon}{\varphi _{q}(M_{0})\int_{0}^{1}\varphi_{q} (\int_{0}^{1}H(s,\tau)\,d\tau )\,ds} $$
for \(t_{1},t_{2} \in[0,1]\) with \(\vert t_{1},t_{2}\vert< \delta_{1}\). Therefore,
$$\begin{aligned} \bigl\vert Tx(t_{1})-Tx(t_{2})\bigr\vert =&\biggl\vert \int_{0}^{1}G(t_{1},s) \varphi_{q} \biggl[ \int_{0}^{1}H(s,\tau )f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr]\,ds \\ &{}- \int_{0}^{1}G(t_{2},s) \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ \leq& \int_{0}^{1} \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau) f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr) \,d\tau \biggr)\,ds \\ < & \frac{\epsilon}{\varphi_{q}(M_{0})\int_{0}^{1}\varphi_{q} (\int _{0}^{1}H(s,\tau)\,d\tau )\,ds} \varphi_{q}(M_{0}) \int_{0}^{1}\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau )\,d\tau \biggr)\,ds \\ =& \epsilon. \end{aligned}$$
On the other hand, for \(1< m-1<\beta<\alpha-1<n-1\), \(t^{\alpha-\beta}\) is uniformly continuous on \([0,1]\). We denote \(M_{03}=\frac{\varphi _{q}(M_{0})}{(\alpha-\beta)\Gamma(\alpha-\beta)}\). Then there exists a constant \(0<\delta_{2}<(\frac{\epsilon}{4 M_{03}})^{(\alpha-\beta )^{-1}}\), such that, for any \(0< t_{1}< t_{2}<1\) and \(\vert t_{2}-t_{1}\vert<\delta_{2} \), we have
$$\bigl\vert t_{2}^{\alpha-\beta}-t_{1}^{\alpha-\beta} \bigr\vert < \frac{\epsilon }{2 M_{03}}. $$
Thus, from Lemma 2.7, we have
$$\begin{aligned}& \bigl\vert D_{0+}^{\beta}Tx(t_{2})-D_{0+}^{\beta}Tx(t_{1}) \bigr\vert \\& \quad = \biggl\vert \frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{t_{2}}(t_{2}-s)^{\alpha -\beta-1} \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr)\,d\tau \biggr)\,ds \\& \qquad {}-\frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{t_{1}}(t_{1}-s)^{\alpha -\beta-1} \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\& \quad \leq \frac{1}{\Gamma(\alpha-\beta)} \biggl(\biggl\vert \int_{0}^{t_{1}} \bigl((t_{2}-s)^{\alpha-\beta-1}-(t_{1}-s)^{\alpha-\beta-1} \bigr) \\& \qquad {}\times\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\& \qquad {}+\biggl\vert \int_{t_{1}}^{t_{2}} (t_{2}-s)^{\alpha-\beta-1} \varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr)\,d\tau \biggr)\,ds \biggr\vert \biggr) \\& \quad \leq \frac{\varphi_{q}(\int_{0}^{1}M_{0}H(\tau,\tau)\,d\tau)}{\Gamma (\alpha-\beta)} \biggl(\biggl\vert \int_{0}^{t_{1}} \bigl((t_{2}-s)^{\alpha-\beta-1}-(t_{1}-s)^{\alpha-\beta-1} \bigr)\,ds\biggr\vert \\& \qquad {}+\biggl\vert \int_{t_{1}}^{t_{2}} (t_{2}-s)^{\alpha-\beta-1} \,ds \biggr\vert \biggr) \\& \quad = M_{03} \biggl(\biggl\vert \int_{0}^{t_{1}}d\bigl[(t_{1}-s)^{\alpha-\beta }-(t_{2}-s)^{\alpha-\beta} \bigr]\biggr\vert +\biggl\vert \int_{t_{1}}^{t_{2}}d(t_{2}-s)^{\alpha-\beta} \biggr\vert \biggr) \\& \quad = M_{03} \bigl(\bigl\vert 0-(t_{2}-t_{1})^{\alpha-\beta}-t_{1}^{\alpha-\beta }+t_{2}^{\alpha-\beta} \bigr\vert +\bigl\vert (t_{2}-t_{1})^{\alpha-\beta}\bigr\vert \bigr) \\& \quad \leq M_{03} \bigl(\bigl\vert 2(t_{2}-t_{1})^{\alpha-\beta} \bigr\vert +\bigl\vert t_{2}^{\alpha-\beta}-t_{1}^{\alpha-\beta} \bigr\vert \bigr) \\& \quad < M_{03} \biggl( 2 \biggl(\biggl(\frac{\epsilon}{4 M_{03}} \biggr)^{(\alpha-\beta )^{-1}} \biggr)^{\alpha-\beta}+\frac{\epsilon}{2 M_{03}} \biggr) \\& \quad = \epsilon. \end{aligned}$$
Hence, T is equicontinuous.

According to the Arzelà-Ascoli theorem, T is a completely continuous operator.

The proof is completed. □

Denote the positive constants
$$\begin{aligned}& J_{1}= \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q}\biggl( \int _{0}^{1}H(s,\tau)\,d\tau\biggr)\,ds, \\& J_{2}=\frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{1}(1-s)^{\alpha-\beta -1} \varphi_{q}\biggl( \int_{0}^{1}H(s,\tau)\,d\tau\biggr)\,ds, \end{aligned}$$
$$J_{3}= \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q} \biggl( \int_{0}^{\eta}H(s,\tau)\,d\tau \biggr)\,ds. $$
Define the functionals as follows:
$$\gamma(x)=\Vert x \Vert,\qquad \theta(x)=\psi(x)=\max_{t \in[0,1]} \bigl\vert x(t) \bigr\vert ,\qquad \varphi(x)=\min_{t \in I_{\eta}} \bigl\vert x(t) \bigr\vert , $$
then γ and θ are continuous non-negative convex functionals, φ is a continuous non-negative concave functional, ψ is a continuous non-negative functional, and
$$\rho\theta(x) \leq\varphi(x)\leq\theta(x)=\psi(x), \qquad \Vert x \Vert\leq M \gamma(x), $$
where \(M=1\). Therefore, condition (3.1) in Lemma 3.1 is satisfied.

Theorem 3.1

Suppose (L0) holds, and there exist constants \(0 < a, b, d \) with \(a < b <\rho d\min\{\frac {J_{3}}{J_{1}},\frac{J_{3}}{J_{2}}\} \) and \(c=\frac{b}{\rho}\), such that

\(f(t,x,y) \leq\min \{\varphi_{p}(\frac{d}{J_{1}}), \varphi_{p}(\frac{d}{J_{2}}) \}\), \((t,x,y)\in[0,1] \times[0,d] \times[-d,0]\);


\(f(t,x,y) > \varphi_{p}(\frac{b}{\rho J_{3}})\), \((t,x,y)\in [0,\eta]\times[b,\frac{b}{\rho}]\times[-d,0]\);


\(f(t,x,y) < \varphi_{p}(\frac{a}{J_{1}})\), \((t,x,y)\in [0,1]\times[0,a]\times[-d,0]\).

Then BVP (1.1) has at least three positive solutions \(x_{1}\), \(x_{2}\), \(x_{3}\), satisfying
$$\begin{aligned}& \Vert x_{i} \Vert\leq d \quad (i=1,2,3), \end{aligned}$$
$$\begin{aligned}& \min_{t\in I_{\eta}}\bigl\vert x_{1}(t) \bigr\vert > b, \qquad a< \min_{t\in I_{\eta }}\bigl\vert x_{2}(t) \bigr\vert , \qquad \max _{t\in[0,1]}\bigl\vert x_{2}(t) \bigr\vert < b,\qquad \max _{t\in[0,1]}\bigl\vert x_{3}(t) \bigr\vert < a. \end{aligned}$$


It is clear that the fixed points of operator T are equivalent the solutions of BVP (1.1). For \(x \in\overline{P(\gamma;d)}\), we have
$$\gamma(x)=\Vert x \Vert\leq d, $$
this implies
$$\max_{t \in[0,1]}\bigl\vert x(t) \bigr\vert \leq d,\qquad \max _{t \in[0,1]}\bigl\vert D_{0+}^{\beta}x(t) \bigr\vert \leq d, $$
$$0 \leq x(t) \leq d,\qquad -d \leq D_{0+}^{\beta}x(t) \leq0. $$
By (L1), we have
$$\begin{aligned} \max_{t \in[0,1]}\bigl\vert Tx(t) \bigr\vert =& \max_{t \in[0,1]} \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int _{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds \\ \leq& \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds \\ \leq& \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q}\biggl(\varphi _{p}\biggl( \frac{d}{J_{1}}\biggr) \int_{0}^{1}H(s,\tau)\,d\tau\biggr)\,ds \\ =& \frac{d}{J_{1}} \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi _{q}\biggl( \int_{0}^{1}H(s,\tau)\,d\tau\biggr)\,ds \\ =& d \end{aligned}$$
$$\begin{aligned} \max_{t \in[0,1]}\bigl\vert D_{0+}^{\beta}Tx(t) \bigr\vert =& \max_{t \in[0,1]} \biggl\vert \frac{-1}{\Gamma(\alpha-\beta)} \int _{0}^{t}(t-s)^{\alpha-\beta-1} \\ &{}\times\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta }x(\tau) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ \leq& \frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{1}(1-s)^{\alpha-\beta -1} \varphi_{q} \biggl(\varphi_{p}\biggl(\frac{d}{J_{2}} \biggr) \int_{0}^{1}H(s,\tau )\,d\tau \biggr)\,ds \\ =& \frac{d}{J_{2}} \frac{1}{\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1} \varphi_{q}\biggl( \int_{0}^{1}H(s,\tau)\,d\tau\biggr)\,ds \\ =& d, \end{aligned}$$
$$\gamma(Tx)=\Vert Tx \Vert= \max \Bigl\{ \max_{t \in[0,1]}\bigl\vert Tx(t) \bigr\vert , \max_{t \in[0,1]}\bigl\vert D_{0+}^{\beta}Tx(t) \bigr\vert \Bigr\} \leq d. $$
Therefore \(T:\overline{P(\gamma;d)} \rightarrow\overline{P(\gamma;d)}\).
Let \(x(t)=\frac{b}{\rho}\), \(x(t) \in P(\gamma,\theta,\varphi;b,c,d)\) and \(\varphi(\frac{b}{\rho})>b\), which implies that
$$\bigl\{ x \in P(\gamma,\theta,\varphi;b,c,d):\varphi(x) > b \bigr\} \neq \varnothing. $$

For \(x \in P(\gamma,\theta,\varphi;b,c,d)\), we know that \(b \leq x(t) \leq c=\frac{b}{\rho} \) for \(t\in I_{\eta}\) and \(-d \leq D_{0+}^{\beta}x(t) \leq0\).

In view of (L2),
$$\begin{aligned} \varphi(Tx) =& \min_{t \in I_{\eta}} \bigl\vert Tx(t) \bigr\vert \\ =& \min_{t \in I_{\eta}} \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int _{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds \\ >& \int_{0}^{1} \rho \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q} \biggl( \int_{0}^{\eta}H(s,\tau) \varphi_{p}\biggl( \frac{b}{\rho J_{3}}\biggr)\,d\tau \biggr)\,ds \\ =& \rho\frac{b}{\rho J_{3}} \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q} \biggl( \int_{0}^{\eta}H(s,\tau )\,d\tau \biggr)\,ds \\ =& b. \end{aligned}$$
So \(\varphi(Tx)>b\) for all \(x \in P(\gamma,\theta,\varphi;b,c,d)\). Hence, the condition (H1) of Lemma 3.1 is satisfied.
By (3.2), for all \(x \in P(\gamma,\varphi;b,d) \) with \(\theta (Tx)>c=\frac{b}{\rho}\), we have
$$\varphi(Tx) \geq\rho\theta(Tx) > \rho c= \rho\frac{b}{\rho} =b. $$
Thus, the condition (H2) of Lemma 3.1 holds.

Because of \(\psi(0) = 0 < a \), then \(0 \notin P(\gamma,\psi;a,d)\). For \(x \in P(\gamma,\psi;a,d)\) with \(\psi(x)=a\), we know \(\gamma(x) \leq d \). It means that \(\max_{t \in[0,1]}x(t)=a\) and \(-d \leq D_{0+}^{\beta }x(t) \leq0\).

From (L3), we can obtain
$$\begin{aligned} \psi(Tx) =& \max_{t \in[0,1]} \bigl\vert Tx(t) \bigr\vert \\ =& \max_{t \in[0,1]} \int_{0}^{1}G(t,s)\varphi_{q} \biggl( \int _{0}^{1}H(s,\tau)f \bigl(\tau,x( \tau),D_{0+}^{\beta}x(\tau) \bigr)\,d\tau \biggr)\,ds \\ < & \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q} \biggl( \int _{0}^{1}H(s,\tau)\varphi_{p}\biggl( \frac{a}{J_{1}}\biggr)\,d\tau \biggr)\,ds \\ =& \frac{a}{J_{1}} \int_{0}^{1} \bigl(G_{1}(s,s)+G_{2}(1,s) \bigr)\varphi_{q} \biggl( \int_{0}^{1}H(s,\tau)\,d\tau \biggr)\,ds \\ =& a. \end{aligned}$$
Therefore, the condition (H3) of Lemma 3.1 holds.

To sum up, the conditions of Lemma 3.1 are all verified. Hence, BVP (1.1) has at least three positive solutions \(x_{1}\), \(x_{2}\), \(x_{3}\) satisfying (3.2) and (3.3).

The proof is completed. □

4 Example

In this section, we present an example to illustrate the main result. Consider the following boundary value problems:
$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\frac{5}{4}}\varphi_{\frac{3}{2}} ( D_{0+}^{\frac {5}{2}}x(t) ) =f (t,x(t),D_{0+} ^{\frac{5}{4}}x(t) ), \quad t \in(0,1), \\ ( \varphi_{\frac{3}{2}} ( D_{0+}^{\frac{5}{2}}x(0) ) )^{\prime} =\varphi_{\frac{3}{2}} ( D_{0+}^{\frac{5}{2}}x(1) )=0, \\ x(1) = \int_{0}^{1}sx(s)\,ds, \\ x^{\prime}(0) = \int_{0}^{1}s^{2}x(s)\,ds, \\ x^{\prime\prime}(0) = 0 , \end{array}\displaystyle \right . $$
where \(\alpha=\frac{5}{2}\), \(\beta=\frac{5}{4}\), \(p=\frac{3}{2}\), \(g_{1}(t)=t\), \(g_{2}(t)=t^{2}\), and
$$ f(t,x,y) = \left \{ \textstyle\begin{array}{l@{\quad}l} \tan(0.6 t)+0.01 e^{x/5} x^{2}+\sin(y),& 0\leq x\leq18, \\ \tan(0.6 t)+\sin(y)+92,&18< x\leq5\text{,}000. \end{array}\displaystyle \right . $$
Choose \(a=8\), \(b=18\), \(d=5\text{,}000\), \(\eta=\frac{1}{3}\). By a simple computation, we have
$$\begin{aligned}& \rho_{1} = \frac{1}{2} , \qquad \rho_{2} = \frac{1}{13} ,\qquad \rho= \frac {1}{13} , \qquad r=1 , \\& M_{1} = \frac{1}{2} , \qquad M_{2} = \frac{1}{3} ,\qquad N_{1} = \frac{1}{3} ,\qquad N_{2} =\frac{1}{4} , \qquad \delta = \frac{72}{43} , \\& J_{1} =0.26227 ,\qquad J_{2} = 0.312484 ,\qquad J_{3}=0.0286711 . \end{aligned}$$
We can check that the nonlinear term \(f(t,x,y)\) satisfies

\(f(t,x,y) \leq\min \{\varphi_{p}(\frac{d}{J_{1}}), \varphi_{p}(\frac{d}{J_{2}}) \}\approx126.494\), \((t,x,y)\in[0,1] \times[0,5\text{,}000] \times[-5\text{,}000,0]\);


\(f(t,x,y) > \varphi_{p}(\frac{b}{\rho J_{3}})\approx90.3412\), \((t,x,y)\in[0,\frac{1}{3}]\times[18,234]\times[-5\text{,}000,0]\);


\(f(t,x,y) < \varphi_{p}(\frac{a}{J_{1}})\approx5.52294\), \((t,x,y)\in[0,1]\times[0,8]\times[-5\text{,}000,0]\).

Then all assumptions of Theorem 3.1 are satisfied. Thus, BVP (4.1) has at least three positive solutions \(x_{1}\), \(x_{2}\), \(x_{3}\), satisfying
$$\begin{aligned}& \Vert x_{i} \Vert\leq5\text{,}000 \quad (i=1,2,3), \end{aligned}$$
$$\begin{aligned}& \min_{t\in I_{\eta}}\vert x_{1} \vert> 18, \qquad 8< \min _{t\in I_{\eta }}\vert x_{2}\vert, \qquad \max _{t\in[0,1]}\vert x_{2} \vert < 18, \qquad \max _{t\in [0,1]}\vert x_{3} \vert< 8. \end{aligned}$$



The author would like to thank the anonymous referees and the editor for their constructive suggestions on improving the presentation of the paper. Also, this research was supported by National Natural Science Foundation of China (Grant No. 11471215).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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

Business School, University of Shanghai for Science and Technology
College of Science, University of Shanghai for Science and Technology


  1. Oldham, KB, Spanier, J: The Fractional Calculus: Theory and Applications of Differentiation and Integration to Arbitrary Order. Mathematics in Science and Engineering. Academic Press, New York (1974) MATHGoogle Scholar
  2. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integral and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993) MATHGoogle Scholar
  3. Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999) MATHGoogle Scholar
  4. Avery, RI, Peteson, AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput. Math. Appl. 42, 313-322 (2001) MathSciNetView ArticleGoogle Scholar
  5. Agrawal, OP: Formulation of Euler-Lagrange equations for fractional variational problems. J. Math. Anal. Appl. 272, 368-379 (2002) MathSciNetView ArticleMATHGoogle Scholar
  6. Weitzner, H, Zaslavsky, GM: Some applications of fractional equations. Commun. Nonlinear Sci. Numer. Simul. 8, 273-281 (2003) MathSciNetView ArticleMATHGoogle Scholar
  7. Bai, Z, Lu, H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311(2), 495-505 (2005) MathSciNetView ArticleMATHGoogle Scholar
  8. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, New York (2006) MATHGoogle Scholar
  9. Meral, FC, Royston, TJ, Magin, R: Fractional calculus in viscoelasticity: an experimental study. Commun. Nonlinear Sci. Numer. Simul. 15, 939-945 (2010) MathSciNetView ArticleMATHGoogle Scholar
  10. Machado, JT, Kiryakova, V, Mainardi, F: Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul. 16, 1140-1153 (2011) MathSciNetView ArticleMATHGoogle Scholar
  11. Liu, X, Jia, M, Xiang, X: On the solvability of a fractional differential equation model involving the p-Laplacian operator. Comput. Math. Appl. 64, 3267-3275 (2012) MathSciNetView ArticleMATHGoogle Scholar
  12. Lu, H, Han, Z, Sun, S, Liu, J: Existence on positive solutions for boundary value problems of nonlinear fractional differential equations with p-Laplacian. Adv. Differ. Equ. 2012, Article ID 30 (2012) View ArticleGoogle Scholar
  13. Ahmad, B: Nonlinear fractional differential equations with anti-periodic type fractional boundary conditions. Differ. Equ. Dyn. Syst. 21(4), 387-401 (2013) MathSciNetView ArticleMATHGoogle Scholar
  14. Zhang, X, Liu, L, Wiwatanapataphee, B, Wu, Y: The eigenvalue for a class of singular p-Laplacian fractional differential equations involving the Riemann-Stieltjes integral boundary condition. Appl. Math. Comput. 235, 412-422 (2014) MathSciNetMATHGoogle Scholar
  15. Su, Y, Li, Q, Liu, X: Existence criteria for positive solutions of p-Laplacian fractional differential equations with derivative terms. Adv. Differ. Equ. 2013, Article ID 119 (2013) MathSciNetView ArticleGoogle Scholar
  16. Liu, X, Jia, M, Ge, W: Multiple solutions of a p-Laplacian model involving a fractional derivative. Adv. Differ. Equ. 2013, Article ID 126 (2013) MathSciNetView ArticleGoogle Scholar
  17. Liang, S, Zhang, J: Existence and uniqueness of positive solutions for integral boundary problems of nonlinear fractional differential equations with p-Laplacian operator. Rocky Mt. J. Math. 44(3), 953-974 (2014) MathSciNetView ArticleMATHGoogle Scholar
  18. Liu, X, Jia, M, Ge, W: The method of lower and upper solutions for mixed fractional four-point boundary value problem whit p-Laplacian operator. Appl. Math. Lett. 65, 56-62 (2017) MathSciNetView ArticleMATHGoogle Scholar
  19. Lomtatidze, A, Malaguti, L: On a nonlocal boundary value problems for second order nonlinear singular differential equations. Georgian Math. J. 7, 133-154 (2000) MathSciNetMATHGoogle Scholar
  20. Gallardo, JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 30, 1265-1292 (2000) MathSciNetView ArticleMATHGoogle Scholar
  21. Zhang, X, Feng, M, Ge, W: Symmetric positive solutions for p-Laplacian fourth-order differential equations with integral boundary conditions. J. Comput. Appl. Math. 222, 561-573 (2008) MathSciNetView ArticleMATHGoogle Scholar
  22. Ma, R, Xu, L: Existence of positive solutions of nonlinear fourth-order boundary value problem. Appl. Math. Lett. 23, 537-543 (2010) MathSciNetView ArticleMATHGoogle Scholar
  23. Jia, M, Liu, X: Multiplicity of solutions for integral boundary value problems of fractional differential equations with upper and lower solutions. Appl. Math. Comput. 232, 313-323 (2014) MathSciNetGoogle Scholar
  24. Zhi, E, Liu, X, Li, F: Nonlocal boundary value problem for fractional differential equations with p-Laplacian. Math. Methods Appl. Sci. 37, 2651-2662 (2014) MathSciNetView ArticleMATHGoogle Scholar
  25. Senlik, T, Hamal, NA: Existence and multiplicity of symmetric positive solutions for nonlinear boundary-value problems with p-Laplacian operator. Bound. Value Probl. 2014, Article ID 44 (2014) MathSciNetView ArticleMATHGoogle Scholar
  26. Mahmudov, NI, Unul, S: Existence of solutions of fractional boundary value problems with p-Laplacian. Bound. Value Probl. 2015, Article ID 99 (2015) MathSciNetView ArticleMATHGoogle Scholar


© The Author(s) 2017