Skip to main content

Theory and Modern Applications

The method of lower and upper solutions for the general boundary value problems of fractional differential equations with p-Laplacian

Abstract

We present here a new method of lower and upper solutions for a general boundary value problem of fractional differential equations with p-Laplacian operators. By using this approach, some new results on the existence of positive solutions for the equations with multiple types of nonlinear integral boundary conditions are established. Finally, some examples are presented to illustrate the wide range of potential applications of our main results.

1 Introduction

In this paper, we study the fractional differential equation with p-Laplacian operators

$$ {}^{C} D_{0^{+}}^{\alpha } \bigl( \varphi_{p} \bigl({{}^{C} D_{0^{+}}^{ \beta }} u(t) \bigr) \bigr)=f \bigl(t, u(t),{ {}^{C} D_{0^{+}}^{\beta }} u(t) \bigr),\quad t\in (0, 1), $$
(1.1)

with the general boundary conditions

$$ \begin{gathered} \textstyle\begin{cases} u'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} u(0)))'=0, \\ u(1)=T_{1}[u(t)], \\ { {}^{C} D_{0^{+}}^{\beta }} u(1)=T_{2}[u(t)], \end{cases}\displaystyle \end{gathered} $$
(1.2)

where \(1<\alpha, \beta \leq 2\), \({}^{C} D_{0^{+}}^{\alpha }\) and \({}^{C} D_{0^{+}}^{\beta }\) are the Caputo fractional derivatives. \(p>1\), \(\varphi_{p}\) is the p-Laplacian operator, which is given by \(\varphi_{p}(x)= \vert x\vert ^{p-2}x\). Obviously, \(\varphi_{p}\) is continuous, increasing, invertible, and its inverse operator is \(\varphi_{p}^{-1}= \varphi_{q}\), where \(q > 1\) is a constant such that \(\frac{1}{p}+ \frac{1}{q}=1\). \(T_{1}[u(t)]\) and \(T_{2}[u(t)]\) are two functionals, which could be \(T_{j}[ u(t)]=\sum^{m}_{i=1}g_{j} (\xi_{i},u( \xi_{i}),{ {}^{C} D_{0^{+}}^{\beta }} u(\xi_{i}))\), \(T_{j}[ u(t)]= \int^{1}_{0}g_{j} (s,u(s),{ {}^{C} D_{0^{+}}^{\beta }} u(s)) \,\mathrm{d}s\), \(T_{j}[ u(t)]=\int^{1}_{0}g_{j} (s,u(s),{ {}^{C} D _{0^{+}}^{\beta }} u(s))\,\mathrm{d}\Lambda_{j}(s)\), \(j=1,2\), or the other cases.

In recent years, the theory of fractional differential equations has become an important investigation area, see [15]. Many important results for certain boundary value conditions related to the fractional differential equations had been obtained, for example, two-point boundary value problem, multi-point boundary value problem, integral boundary value problem and so on, see [616].

In [16], the authors discuss the two-point boundary value problem of the systems of nonlinear fractional differential equations

$$\textstyle\begin{cases} D^{\alpha }u(t)=f(t, u(t), v(t)), \quad t\in (0, T], \\ D^{\alpha }v(t)=g(t, v(t), u(t)),\quad t\in (0, T], \\ t^{1-\alpha }u(t)\vert _{t=0}=x_{0}, \qquad t^{1-\alpha }v(t)\vert _{t=0}=y_{0}, \end{cases} $$

where \(0< T<\infty \), \(D^{\alpha }\) is the Riemann-Liouville fractional derivative of order \(0<\alpha \leq 1\). By using the monotone iterative technique, some existence results of solutions are established.

On the other hand, the turbulent flow in a porous medium is a fundamental mechanics phenomenon. For studying this kind of problems, the models of the p-Laplacian equation are introduced, see [17]. Many important results for the boundary value problems of fractional p-Laplacian equations have been obtained, see [1828] and the references therein.

In [25], Wang and Xiang studied the four-point boundary value problem of the fractional p-Laplacian equations

$$\textstyle\begin{cases} D_{0^{+}}^{\gamma } (\varphi_{p} ({D_{0^{+}}^{\alpha }} u(t)))=f(t, u(t)),\quad t\in (0, 1), \\ u(0)=0,\qquad u'(1)=a u(\xi), \\ {D_{0^{+}}^{\alpha }} u(0)=0, \qquad {D_{0^{+}}^{\alpha }} u(1)=b{D_{0^{+}} ^{\alpha }} u(\eta), \end{cases} $$

where \(1<\alpha,\gamma \leq 1\), \(D_{0^{+}}^{\alpha }\), \(D_{0^{+}} ^{\gamma }\) are Riemann-Liouville fractional derivatives. By using the method of lower and upper solutions, the existence results of at least one nonnegative solution of the boundary value problem are established.

In [27], Mahmudov and Unul studied the following integral boundary value problem of fractional p-Laplacian equation:

$$\textstyle\begin{cases} D_{0^{+}}^{\beta } (\varphi_{p} ({D_{0^{+}}^{\alpha }} u(t)))=f(t, u(t), {D_{0^{+}}^{\gamma }} u(t)),\quad t\in (0, 1), \\ u(0)+\mu_{1} u(1)=\sigma_{1} \int_{0}^{1} g(s,u(s))\,\mathrm{d}s, \\ u(1)+\mu_{2} u'(1)=\sigma_{2} \int_{0}^{1} h(s,u(s))\,\mathrm{d}s, \\ {D_{0^{+}}^{\alpha }} u(0)=0,\qquad {D_{0^{+}}^{\alpha }} u(1)=\upsilon {D_{0^{+}}^{\alpha }} u(\eta), \end{cases} $$

where \(D_{0^{+}}^{\alpha }\), \(D_{0^{+}}^{\beta }\) are Caputo fractional derivatives with \(1<\alpha,\beta \leq 2\). By the fixed point theorems, the existence and uniqueness results of the solutions are established.

The purpose of this paper is to establish a method of lower and upper solutions for the general boundary value problems of fractional p-Laplacian equations and prove the existence of positive solutions for some specific nonlinear integral boundary value problems of the fractional p-Laplacian equations. Our paper is organized as the following parts. In Section 2, we give some basic definitions and lemmas to prove our main results. In Section 3, we establish the lower and upper solutions method for the general boundary value problem (1.1)-(1.2). In Section 4, by using the lower and upper solutions method obtained in Section 3, the existence of positive solutions for fractional p-Laplacian equation (1.1) with the following nonlinear boundary conditions are obtained:

$$\begin{aligned}& \textstyle\begin{cases} u'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} u(0)))'=0, \\ u(1)=\int^{1}_{0}g_{1} (s,u(s), { {}^{C} D_{0^{+}}^{\beta }} u(s))\,\mathrm{d}s, \\ { {}^{C} D_{0^{+}}^{\beta }} u(1)=\int^{1}_{0}g_{2} (s,u(s), { {}^{C} D_{0^{+}}^{\beta }}u(s))\,\mathrm{d}s, \end{cases}\displaystyle \end{aligned}$$
(1.3)
$$\begin{aligned}& \textstyle\begin{cases} u'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} u(0)))'=0, \\ r_{1} u(1)-r_{2} u(\xi)=\int^{1}_{0}g_{1} (s,u(s), { {}^{C} D_{0^{+}} ^{\beta }} u(s))\,\mathrm{d}s, \\ m_{1} { {}^{C} D_{0^{+}}^{\beta }} u(1) +m_{2} { {}^{C} D_{0^{+}}^{ \beta }} u(\eta)=\int^{1}_{0}g_{2} (s,u(s),{ {}^{C} D_{0^{+}}^{ \beta }}u(s))\,\mathrm{d}s, \end{cases}\displaystyle \end{aligned}$$
(1.4)

and

$$ \begin{gathered} \textstyle\begin{cases} u'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} u(0)))'=0, \\ u(1)=\int^{1}_{0}g_{1} (s,u(s),{ {}^{C} D_{0^{+}}^{\beta }} u(s))\,\mathrm{d}\Lambda_{1}(s), \\ { {}^{C} D_{0^{+}}^{\beta }} u(1)=\int^{1}_{0}g_{2} (s,u(s),{ {}^{C} D_{0^{+}}^{\beta }}u(s))\,\mathrm{d}\Lambda_{2}(s), \end{cases}\displaystyle \end{gathered} $$
(1.5)

respectively. In Section 5, as applications, some examples are presented to illustrate our main results.

2 Preliminary definitions and lemmas

For the convenience of reading, in this section, we provide the background knowledge on the fractional calculus and fractional differential equations.

Definition 2.1

(see [1, 2])

The Riemann-Liouville fractional integral of order \(\gamma >0\) of a function \(y:[0,+\infty)\rightarrow \mathbb{R}\) is defined by

$$I_{0^{+}}^{\gamma } y(t)=\frac{1}{\Gamma (\gamma)} \int_{0}^{t}(t-s)^{ \gamma -1}y(s)\,\mathrm{d}s, $$

and the Caputo derivative is given by

$$\begin{aligned} ^{c} \hspace{-0.2em}D_{0^{+}}^{\gamma }y(t) & = D_{0^{+}}^{\gamma } y(t)- \sum_{k=0}^{n-1} \frac{y^{(n)}(0)}{\Gamma (k-\gamma +1)}t^{k- \gamma }, \end{aligned}$$

where

$$D_{0^{+}}^{\gamma } y(t)=\frac{1}{\Gamma (n-\gamma)}\frac{\mathrm{d} ^{n}}{\mathrm{d}t^{n}} \int_{0}^{t}\frac{y(s)}{(t-s)^{\gamma -n+1}} \,\mathrm{d}s $$

is the standard Riemann-Liouville fractional derivative of order \(\gamma >0\) of a function \(y:[0,+\infty)\rightarrow \mathbb{R}\), n is an integer with \(n-1<\gamma <n\), provided the right-hand integral converges.

Lemma 2.1

(see [1, 2])

For \(\gamma >0\), the general solution of fractional differential equation \({ {}^{C} D_{0^{+}}^{ \gamma } }y(t)=0\) is given by

$$y(t)=c_{0}+c_{1}t+c_{2}t^{2}+\cdots +c_{n-1}t^{n-1}, $$

where \(c_{j}\in \mathbb{R}\), \(j=0,1,2,\ldots,n-1\), and n is an integer with \(n-1<\gamma <n\).

Lemma 2.2

For any given function \(h\in C[0,1]\) and real numbers \(a,b\in \mathbb{R}\), the following boundary value problem of fractional differential equations

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } ( \varphi_{p} ( {{}^{C} D}_{0^{+}}^{ \beta }u(t))) =h(t), \quad t\in (0, 1), \\ u'(0)= (\varphi_{p} ( {}^{C} D_{0^{+}}^{\beta }u(0)))'=0, \\ u(1)=b, \qquad {}^{C} D_{0^{+}}^{\beta }u(1)=a \end{cases}\displaystyle \end{gathered} $$
(2.1)

has a unique solution \(u=u(t)\), which is given by

$$\begin{aligned} u(t)= b- \int_{0}^{1}G_{\beta }(t,s) \varphi_{q} \biggl(\varphi_{p}(a)- \int_{0}^{1}G_{\alpha }(s,\tau)h(\tau) \,\mathrm{d}\tau \biggr) \,\mathrm{d}s \end{aligned}$$
(2.2)

and

$$\begin{aligned} {}^{C} D_{0^{+}}^{\beta }u(t) & = \varphi_{q} \biggl( \varphi_{p}(a)- \int _{0}^{1}G_{\alpha }(t,s)h(s)\,\mathrm{d}s \biggr), \end{aligned}$$
(2.3)

where

$$ G_{\alpha }(t,s)= \frac{1}{\Gamma (\alpha)} \textstyle\begin{cases} (1-s)^{\alpha -1}-(t-s)^{\alpha -1}, & 0\leq s\leq t\leq 1, \\ (1-s)^{\alpha -1}, & 0\leq t< s\leq 1, \end{cases} $$
(2.4)

and

$$ G_{\beta }(t,s)= \frac{1}{\Gamma (\beta)} \textstyle\begin{cases} (1-s)^{\beta -1}-(t-s)^{\beta -1}, & 0\leq s\leq t\leq 1, \\ (1-s)^{\beta -1}, & 0\leq t< s\leq 1. \end{cases} $$
(2.5)

Proof

Let \(\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} u(t))=v(t)\), we can easily show that boundary value problem (2.1) can be decomposed into the following coupled boundary value problems:

$$ \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha }v(t)=h(t),\quad t\in (0,1), \\ v'(0)=0, \qquad v(1)=\varphi_{p}(a), \end{cases} $$
(2.6)

and

$$ \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\beta }u(t)=\varphi_{q}(v(t)),\quad t\in (0,1), \\ u'(0)=0, \qquad u(1)=b. \end{cases} $$
(2.7)

It follows from Lemma 2.1 that the general solution of fractional differential equation \({}^{C} D_{0^{+}}^{\alpha }v(t)=h(t)\) is given by

$$\begin{aligned} v(t) & = I_{0^{+}}^{\alpha }h(t)+c_{0}+c_{1}t \\ & =\frac{1}{\Gamma (\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}h(s) \,\mathrm{d}s+c_{0} +c_{1}t,\quad c_{j}\in \mathbb{R}, j=0,1. \end{aligned}$$

The boundary condition \(v'(0)=0\) implies that \(c_{1}=0\), and by the boundary condition \(v(1)=\varphi_{p}(a)\), we can obtain that

$$\begin{aligned} c_{0}= \varphi_{p}(a)-\frac{1}{\Gamma (\alpha)} \int^{1}_{0} (1-s)^{ \alpha -1}h(s)\,\mathrm{d}s. \end{aligned}$$

So, boundary value problem (2.6) has a unique solution, which is given by

$$\begin{aligned} v(t)& = \varphi_{p}(a)-\frac{1}{\Gamma (\alpha)} \biggl( \int^{1}_{0} (1-s)^{ \alpha -1}h(s)\,\mathrm{d}s- \int_{0}^{t}(t-s)^{\alpha -1}h(s)\,\mathrm{d}s \biggr) \\ & = \varphi_{p}(a)- \int_{0}^{1}G_{\alpha }(t,s)h(s)\,\mathrm{d}s. \end{aligned}$$
(2.8)

In the same way, we can get that the unique solution of boundary value problem (2.7) is given by

$$\begin{aligned} u(t)& = b+\frac{1}{\Gamma (\beta)} \int_{0}^{t}(t-s)^{\beta -1}\varphi _{q} \bigl(v(s)\bigr)\,\mathrm{d}s-\frac{1}{\Gamma (\beta)} \int_{0}^{1}(1-s)^{ \beta -1} \varphi_{q} \bigl(v(s)\bigr)\,\mathrm{d}s \\ & = b - \int_{0}^{1}G_{\beta }(t,s) \varphi_{q} \bigl(v(s)\bigr)\,\mathrm{d}s. \end{aligned}$$
(2.9)

Therefore, boundary value problem (2.1) has a unique solution \(u=u(t)\) which is given by (2.2), and \({}^{C} D_{0^{+}}^{ \beta }u(t)\) is given by (2.3). □

From (2.4) and (2.5), it is obvious that \(G_{\alpha }(t,s)\) and \(G_{\beta }(t,s)\) satisfy the following lemma.

Lemma 2.3

The functions \(G_{\alpha }(t,s)\) and \(G_{\beta }(t,s)\) are continuous and \(G_{\alpha }(t,s)\geq 0\), \(G_{\beta }(t,s)\geq 0\) for \((t,s) \in [0,1]\times [0,1]\).

3 The method of lower and upper solutions for the general nonlinear boundary value problem

In this section, we present a new method of lower and upper solutions for the general boundary value problem (1.1)-(1.2) and prove the existence of positive solutions for the problem.

Definition 3.1

We say a function \(x=x(t)\) is a positive solution of boundary value problem (1.1)-(1.2) if and only if \(x(t)\geq 0\), \(t\in [0,1]\), and \(x=x(t)\) satisfies equation (1.1) and conditions (1.2).

We denote by \(AC^{1}[0,1]\) the space of functions which are absolutely continuous on \([0,1]\) (see [1, 2]).

Definition 3.2

Let \(x\in AC^{1}[0,1]\), and we say that \(x=x(t)\) is a lower solution of boundary value problem (1.1)-(1.2) if

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } (\varphi_{p} ({ {}^{C} D_{0^{+}}^{ \beta }} x(t))) \leq f (t, x(t),{ {}^{C} D_{0^{+}}^{\beta }} x(t)), \quad t\in (0, 1), \\ x'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} x(0)))'=0, \\ x(1)\leq T_{1}[ x(t)], \\ { {}^{C} D_{0^{+}}^{\beta }} x(1)\geq T_{2}[ x(t)]. \end{cases}\displaystyle \end{gathered} $$
(3.1)

Let \(y\in AC^{1}[0,1]\), and we say that \(y=y(t)\) is an upper solution of boundary value problem (1.1)-(1.2) if

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } (\varphi_{p} ( {}^{C} D_{0^{+}}^{ \beta }y(t))) \geq f (t, y(t),{ {}^{C} D_{0^{+}}^{\beta }} y(t)), \quad t\in (0, 1), \\ y'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} y(0)))'=0, \\ y(1)\geq T_{1}[ y(t)], \\ {}^{C} D_{0^{+}}^{\beta }y(1)\leq T_{2}[ y(t)]. \end{cases}\displaystyle \end{gathered} $$
(3.2)

We denote that \(E=C^{\beta }[0,1]:=\{u: u\in C[0,1], {}^{C} D_{0^{+}} ^{\beta }u\in C[0,1]\}\) and endowed with the norm \(\Vert u\Vert _{\beta }=\Vert u\Vert _{\infty }+ \Vert {}^{C} D_{0^{+}}^{\beta }u\Vert _{\infty }\), where \(\Vert u\Vert _{\infty }=\max_{0\leq t\leq 1}\vert u(t)\vert \) and \(\Vert {}^{C} D_{0^{+}}^{\beta }u\Vert _{\infty }=\max_{0\leq t\leq 1} \vert {}^{C} D_{0^{+}}^{\beta }u(t)\vert \). Then \((E,\Vert \cdot \Vert _{\beta })\) is a Banach space. We denote that

$$P=\bigl\{ u: u\in E, u(t)\geq 0, {}^{C} D_{0^{+}}^{\beta }u(t) \leq 0, t\in [0,1]\bigr\} . $$

It is obvious that P is a normal cone on E. We denote \(x\preceq y\) if and only if \(y-x\in P\) for \(x,y\in E\).

Definition 3.3

Let P be a cone on a Banach space, a functional \(T=T[u(t)]\) is called increasing on P if and only if \(T[x(t)]\leq T[y(t)]\) for any \(x\preceq y \in P\). And it is called decreasing on P if and only if \(T[x(t)]\geq T[y(t)]\) for any \(x\preceq y \in P\).

We assume the following conditions hold:

  1. (H1)

    \(f\in C([0,1]\times [0,+\infty)\times (-\infty,0])\), \(0\leq f(t,w_{1},z_{1})\leq f(t,w_{2},z_{2})\) for any \(t\in [0,1]\) and \(0\leq w_{1}\leq w_{2}\), \(0\geq z_{1}\geq z_{2}\in \mathbb{R}\).

  2. (H2)

    The functional \(T_{1}\) is continuous nonnegative increasing on P, and \(T_{2}\) is continuous nonpositive decreasing on P.

Theorem 3.1

Assume that (H1) and (H2) hold, boundary value problem (1.1)-(1.2) has a lower solution \(x_{0}\in P\) and an upper solution \(y_{0}\in P\) with \(x_{0}\preceq y_{0}\). Then the general boundary value problem (1.1)-(1.2) has positive solutions \(x^{*}\), \(y^{*}\in P\). Furthermore,

$$x_{0}(t)\leq x^{*}(t)\leq y^{*}(t)\leq y_{0}(t) $$

and

$${ {}^{C} D_{0^{+}}^{\beta }} y_{0}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} y ^{*}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} x^{*}(t)\leq { {}^{C} D_{0^{+}} ^{\beta }} x_{0}(t)\leq 0,\quad t\in [0,1]. $$

In order to prove Theorem 3.1, we provide the following two lemmas and the corresponding proofs.

Lemma 3.2

Assume that conditions (H1) and (H2) hold, and there exists \(x_{k}\in P\), a nonnegative lower solution of boundary value problem (1.1)-(1.2). Then the following boundary value problem of fractional p-Laplacian equation

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } (\varphi_{p} ({ {}^{C} D_{0^{+}}^{ \beta }} x_{k+1}(t)))= f (t, x_{k}(t),{ {}^{C} D_{0^{+}} ^{\beta }} x_{k}(t)), \quad t\in (0, 1), \\ x_{k+1}'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(0)))'=0, \\ x_{k+1}(1)=T_{1}[x_{k}(t)], \\ { {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(1)=T_{2}[x_{k}(t)] \end{cases}\displaystyle \end{gathered} $$
(3.3)

has a unique solution \(x_{k+1}=x_{k+1}(t)\) which is a nonnegative lower solution of boundary value problem (1.1)-(1.2), and \(x_{k}\preceq x_{k+1}\).

Proof

In view of Lemma 2.2, for the given \(x_{k} \in P\), boundary value problem (3.3) has a unique solution \(x_{k+1}=x_{k+1}(t)\) which is given by

$$\begin{aligned} x_{k+1}(t) =& T_{1}\bigl[x_{k}(t) \bigr] - \int_{0}^{1}G_{\beta }(t,s) \varphi_{q} \biggl(\varphi_{p} \bigl(T_{2} \bigl[x_{k}(s)\bigr] \bigr) \\ &{}- \int_{0}^{1}G_{\alpha }(s,\tau)f \bigl(\tau, x_{k}(\tau),{ {}^{C} D _{0^{+}}^{\beta }} x_{k}(\tau) \bigr)\,\mathrm{d}\tau \biggr)\,\mathrm{d}s, \end{aligned}$$
(3.4)

and

$$\begin{aligned} { {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(t)& = \varphi_{q} \biggl(\varphi _{p} \bigl(T_{2}\bigl[x_{k}(t)\bigr]\bigr)- \int_{0}^{1}G_{\alpha }(t,s)f \bigl(s, x_{k}(s), { {}^{C} D_{0^{+}}^{\beta }} x_{k}(s) \bigr)\,\mathrm{d}s \biggr). \end{aligned}$$
(3.5)

From Lemma 2.3, conditions (H1) and (H2), we easily get that \(x_{k+1}(t)\geq 0\) and \({ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(t)\leq 0\), which implies \(x_{k+1}\in P\).

Next, we will prove that \(x_{k}\preceq x_{k+1}\) and \(x_{k+1}=x_{k+1}(t)\) is a lower solution of boundary value problem (1.1)-(1.2).

Since \(x_{k}\) is a lower solution of boundary value problem (1.1)-(1.2), then

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } (\varphi_{p} ({ {}^{C} D_{0^{+}}^{ \beta }} x_{k}(t)))\leq f (t, x_{k}(t),{ {}^{C} D_{0^{+}} ^{\beta }} x_{k}(t)), \quad t\in (0, 1), \\ x_{k}'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} x_{k}(0)))'=0, \\ x_{k}(1)\leq T_{1}[x_{k}(t)], \\ { {}^{C} D_{0^{+}}^{\beta }} x_{k}(1)\geq T_{2}[x_{k}(t)]. \end{cases}\displaystyle \end{gathered} $$
(3.6)

By (3.3) and (3.6), we can get that

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } ( \varphi_{p} ({ {}^{C} D_{0^{+}}^{ \beta }} x_{k+1}(t))-\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} x _{k}(t))) \geq 0, \quad t\in (0, 1), \\ x_{k+1}'(0)-x_{k}'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(0)))'- (\varphi_{p} ({ {}^{C} D_{0^{+}}^{ \beta }} x_{k}(0)))'=0, \\ x_{k+1}(1)-x_{k}(1)\geq 0, \\ { {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(1)-{ {}^{C} D_{0^{+}}^{\beta }} x _{k}(1)\leq 0. \end{cases}\displaystyle \end{gathered} $$
(3.7)

Denote

$$\varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(t) \bigr)-\varphi _{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x_{k}(t) \bigr):= v(t). $$

Then

$$\bigl(\varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(0) \bigr) \bigr)'- \bigl(\varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x_{k}(0) \bigr) \bigr)'=v'(0)=0. $$

And since

$${ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(1)-{ {}^{C} D_{0^{+}}^{\beta }} x _{k}(1)\leq 0, $$

we get that

$$v(1)=\varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(1) \bigr)- \varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x_{k}(1) \bigr)\leq 0. $$

Denote

$${}^{C} D_{0^{+}}^{\alpha } \bigl( \varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{ \beta }} x_{k+1}(t) \bigr)- \varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x _{k}(t) \bigr) \bigr):=h_{k+1}(t) $$

and

$$v(1)=\varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(1) \bigr)- \varphi_{p} \bigl({ {}^{C} D_{0^{+}}^{\beta }} x_{k}(1) \bigr):=a_{k+1}, $$

then we obtain the following boundary value problem:

$$ \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha }v(t)=h_{k+1}(t)\geq 0, \quad t\in (0,1), \\ v'(0)=0, \\ v(1)=a_{k+1}\leq 0. \end{cases} $$
(3.8)

By (2.8) and Lemma 2.3, \(\varphi_{p} ( { {}^{C} D _{0^{+}}^{\beta }} x_{k+1}(t)) -\varphi_{p} ({ {}^{C} D_{0^{+}} ^{\beta }} x_{k}(t))=v(t)= a_{k+1}-\int_{0}^{1}G_{\alpha }(t,s) h _{k+1}(s)\,\mathrm{d}s \leq 0\), \(t\in [0,1]\). According to the monotonicity of p-Laplacian operator \(\varphi_{p}\), we have

$${ {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(t)-{ {}^{C} D_{0^{+}}^{\beta }} x _{k}(t)={ {}^{C} D_{0^{+}}^{\beta }} \bigl(x_{k+1}(t)-x_{k}(t) \bigr) \leq 0. $$

Then we obtain the following boundary value problem:

$$ \textstyle\begin{cases} {{ {}^{C} D_{0^{+}}^{\beta }} } (x_{k+1}(t)-x_{k}(t)):= \delta _{k+1} (t)\leq 0,\quad t\in (0,1), \\ x_{k+1}'(0)-x_{k}'(0)=0, \\ x_{k+1}(1)- x_{k}(1):=b_{k+1}\geq 0. \end{cases} $$
(3.9)

So that, \(x_{k+1}(t)-x_{k}(t)=b_{k+1}- \int_{0}^{1}G_{\beta }(t,s) \delta_{k+1}(s)\,\mathrm{d}s\geq 0\) and \({}{}^{C} D_{0^{+}}^{\beta } (x _{k+1}(t)-x_{k}(t))= \delta_{k+1} (t)\leq 0\), which implies \(x_{k}\preceq x_{k+1}\).

From conditions (H1) and (H2), we get

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } (\varphi_{p} ({ {}^{C} D_{0^{+}}^{ \beta }} x_{k+1}(t)))= f (t, x_{k}(t),{ {}^{C} D_{0^{+}} ^{\beta }} x_{k}(t))\leq f (t, x_{k+1}(t),{ {}^{C} D_{0^{+}} ^{\beta }} x_{k+1}(t)), \\ x_{k+1}'(0)= (\varphi_{p} ({{}^{C} D_{0^{+}}^{\beta }} x_{k+1}(0)))'=0, \\ x_{k+1}(1)=T_{1}[x_{k}(t)]\leq T_{1}[x_{k+1}(t)], \\ { {}^{C} D_{0^{+}}^{\beta }} x_{k+1}(1)=T_{2}[x_{k}(t)]\geq T_{2}[x _{k+1}(t)], \end{cases}\displaystyle \end{gathered} $$
(3.10)

which implies that \(x=x_{k+1}(t)\) is a lower solution of boundary value problem (1.1)-(1.2). □

Similar to Lemma 3.2, we can get the following lemma.

Lemma 3.3

Assume that conditions (H1) and (H2) hold, and \(y_{k}\in P\) is an upper solution of boundary value problem (1.1)-(1.2). Then the following boundary value problem

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } (\varphi_{p} ({ {}^{C} D_{0^{+}}^{ \beta }} y_{k+1}(t)))= f (t, y_{k}(t),{ {}^{C} D_{0^{+}} ^{\beta }} y_{k}(t)), \quad t\in (0, 1), \\ y_{k+1}'(0)= (\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} y_{k+1}(0)))'=0, \\ y_{k+1}(1)=T_{1}[y_{k}(t)], \\ { {}^{C} D_{0^{+}}^{\beta }} y_{k+1}(1)=T_{2}[y_{k}(t)] \end{cases}\displaystyle \end{gathered} $$
(3.11)

has a unique solution \(y_{k+1}=y_{k+1}(t)\) which is a nonnegative upper solution of boundary value problem (1.1)-(1.2), \(y_{k+1}\in P\) and \(y_{k+1}\preceq y_{k}\).

Proof of Theorem 3.1

Starting from the initial functions \(x_{0}, y_{0}\in P\), we define iterative sequences \(\{x_{k}\}\) and \(\{y_{k}\}\) by (3.3) and (3.11), respectively.

From Lemma 3.2 and Lemma 3.3, \(x=x_{k}(t)\), \(k=0,1,2, \ldots \) , are lower solutions of boundary value problem (1.1)-(1.2), and \(x_{k}\preceq x_{k+1}\) such that \(\{x_{k}\}\subset P\) is monotonically increasing. Moreover, \(y=y_{k}(t)\), \(k=0,1,2,\ldots \) , are upper solutions, and \(y_{k+1} \preceq y_{k}\) such that \(\{y_{k}\}\subset P\) is monotonically decreasing.

Since \(x_{k}\preceq y_{k}\), then \(x_{k}(t)\leq y_{k}(t)\) and \({ {}^{C} D_{0^{+}}^{\beta }} x_{k}(t)\geq { {}^{C} D_{0^{+}}^{\beta }} y_{k}(t)\), and from (H1), (H2), we have that

$$\begin{aligned}& f \bigl(t, x_{k}(t),{ {}^{C} D_{0^{+}}^{\beta }} x_{k}(t) \bigr)\le f \bigl(t, y_{k}(t),{ {}^{C} D_{0^{+}}^{\beta }} y_{k}(t) \bigr), \\& T_{1}\bigl[x_{k}(t)\bigr]\leq T_{1} \bigl[y_{k}(t)\bigr],\quad \mbox{and}\quad T_{2} \bigl[x_{k}(t)\bigr] \geq T_{2}\bigl[y_{k}(t) \bigr]. \end{aligned}$$

By (3.3) and (3.11), we get

$$ \begin{gathered} \textstyle\begin{cases} {}^{C} D_{0^{+}}^{\alpha } (\varphi_{p} ({ {}^{C} D_{0^{+}}^{ \beta }} y_{k+1}(t))-\varphi_{p} ({ {}^{C} D_{0^{+}}^{\beta }} x _{k+1}(t)))\geq 0, \quad t\in (0, 1), \\ y_{k+1}'(0)-x_{k+1}'(0)= (\varphi_{p} ({{}^{C} D_{0^{+}}^{ \beta }} y_{k+1}(0)))'- (\varphi_{p} ({{}^{C} D_{0^{+}} ^{\beta }} x_{k+1}(0)))'=0, \\ y_{k+1}(1)-x_{k+1}(1)\geq 0, \qquad { {}^{C} D_{0^{+}}^{\beta }} y_{k+1}(1)-{ {}^{C} D_{0^{+}}^{\beta }} x _{k+1}(1)\leq 0. \end{cases}\displaystyle \end{gathered} $$
(3.12)

We can show that \(x_{k+1} \preceq y_{k+1}\) in the same way as above.

Therefore,

$$x_{0}\preceq x_{1}\preceq \cdots \preceq x_{k} \preceq \cdots \preceq \cdots \preceq y_{k} \preceq \cdots \preceq y_{1}\preceq y_{0}. $$

Since P is a normal cone on E, the sequences \(\{x_{k}\}\) and \(\{y_{k}\}\) are uniformly bounded. Because \(G_{\alpha }\), \(G_{\beta }\), \(\varphi_{p}\), \(\varphi_{q}\) and f are continuous, we can easily get that \(\{x_{k}\}\) and \(\{y_{k}\}\) are equicontinuous. Hence, \(\{x_{k}\}\) and \(\{y_{k}\}\) are relatively compact. Then there exist \(x^{*}\) and \(y^{*}\) such that

$$ \lim_{k\rightarrow \infty }x_{k}= x^{*},\qquad \lim_{k\rightarrow \infty }{ {}^{C} D_{0^{+}}^{\beta }} x_{k}(t)= { {}^{C} D_{0^{+}}^{\beta }} x^{*}(t), $$
(3.13)

and

$$ \lim_{k\rightarrow \infty }y_{k}= y^{*},\qquad \lim_{k\rightarrow \infty }{ {}^{C} D_{0^{+}}^{\beta }} y_{k}(t)= { {}^{C} D_{0^{+}}^{\beta }} y^{*}(t), $$
(3.14)

which imply that \(x^{*}\) is a lower solution, \(y^{*}\) is an upper solution of boundary value problem (1.1)-(1.2), and \(x^{*} \preceq y^{*}\in P\).

In the following, we prove that both \(x^{*}\) and \(y^{*}\) are solutions of boundary value problem (1.1)-(1.2).

From (3.4), (3.13), and by the continuity of \(\varphi_{p}\), f, \(G_{\alpha }\), \(G_{\beta }\) and the Lebesgue dominated convergence theorem, we have

$$\begin{aligned} x^{*}(t) =& T_{1}\bigl[x^{*}(t) \bigr]- \int_{0}^{1}G_{\beta }(t,s) \varphi_{q} \biggl(\varphi_{p} \bigl(T_{2} \bigl[x^{*}(s)\bigr] \bigr) \\ &{}- \int_{0}^{1}G_{\alpha }(s,\tau)f \bigl(\tau, x^{*}(\tau),{ {}^{C} D _{0^{+}}^{\beta }} x^{*}(\tau) \bigr)\,\mathrm{d}\tau \biggr)\,\mathrm{d}s. \end{aligned}$$
(3.15)

In view of Lemma 2.2, \(x^{*}\) is a solution of boundary value problem (1.1)-(1.2).

In the same way, we can show that \(y^{*}\) is a solution of boundary value problem (1.1)-(1.2), too.

Furthermore, \(x_{0}(t)\leq x^{*}(t)\leq y^{*}(t)\leq y_{0}(t)\), \({ {}^{C} D_{0^{+}}^{\beta }} y_{0}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} y^{*}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} x^{*}(t)\leq { {}^{C} D_{0^{+}} ^{\beta }} x_{0}(t)\leq 0\). □

4 The existence of positive solutions for some nonlinear boundary value problems

In this section, we deal with fractional p-Laplacian equations (1.1) with nonlinear integral boundary value conditions (1.3), (1.4) and (1.5).

  1. (H3)

    Assume that \(g_{i}\in C([0,1]\times [0,+\infty)\times (- \infty,0])\) (\(i=1,2\)), \(0\leq g_{1}(t,w_{1},z_{1})\leq g_{1}(t,w_{2},z _{2})\) and \(0\geq g_{2}(t,w_{1},z_{1})\geq g_{2}(t,w_{2},z_{2})\) for any \(t\in [0,1]\) and \(0\leq w_{1}\leq w_{2}\), \(0\geq z_{1}\geq z_{2} \in \mathbb{R}\).

Theorem 4.1

Assume that (H1) and (H3) hold, boundary value problem (1.1)-(1.3) has a nonnegative lower solution \(x_{0}\) and an upper solution \(y_{0}\) such that \(x_{0}, y_{0}\in P\) and \(x_{0}\preceq y_{0}\). Then boundary value problem (1.1)-(1.3) has positive solutions \(x^{*}\), \(y^{*}\), both \(x^{*}\) and \(y^{*}\in P\). Furthermore,

$$x_{0}(t)\leq x^{*}(t)\leq y^{*}(t)\leq y_{0}(t) $$

and

$${ {}^{C} D_{0^{+}}^{\beta }} y_{0}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} y ^{*}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} x^{*}(t)\leq { {}^{C} D_{0^{+}} ^{\beta }} x_{0}(t)\leq 0,\quad t\in [0,1]. $$

Proof

Boundary value problem (1.1)-(1.3) is a special case of the general boundary value problem (1.1)-(1.2) when \(T_{i}[u(t)]=\int^{1}_{0}g_{i}(s,u(s), { {}^{C} D_{0^{+}}^{\beta }} u(s))\,\mathrm{d}s\), \(i=1,2\). By assumption (H3), \(T_{1}\) is a continuous nonnegative increasing functional on P, and \(T_{2}\) is a continuous nonpositive decreasing functional on P. Then assumption (H2) holds. By using Theorem 3.1, the results in this theorem can be obtained. □

Theorem 4.2

Assume that (H1) and (H3) hold, the constants \(r_{1}, m_{1}>0\), \(r_{2}, m_{2} \geq 0\), and boundary value problem (1.1)-(1.4) has a nonnegative lower solution \(x_{0}\in P\) and an upper solution \(y_{0}\in P\) with \(x_{0}\preceq y _{0}\). Then boundary value problem (1.1)-(1.4) has positive solutions \(x^{*},y^{*}\in P\). Furthermore,

$$x_{0}(t)\leq x^{*}(t)\leq y^{*}(t)\leq y_{0}(t) $$

and

$${ {}^{C} D_{0^{+}}^{\beta }} y_{0}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} y ^{*}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} x^{*}(t)\leq { {}^{C} D_{0^{+}} ^{\beta }} x_{0}(t)\leq 0,\quad t\in [0,1]. $$

Proof

Boundary value problem (1.1)-(1.4) is a special case of the general boundary value problem (1.1)-(1.2) when

$$T_{1}\bigl[u(t)\bigr]=\frac{1}{r_{1}} \biggl(r_{2} u( \xi)+ \int^{1}_{0}g_{1}\bigl(s,u(s), { {}^{C} D_{0^{+}}^{\beta }} u(s)\bigr)\,\mathrm{d}s \biggr) $$

and

$$T_{2}\bigl[u(t)\bigr]=\frac{1}{m_{1}} \biggl(-m_{2} { {}^{C} D_{0^{+}}^{\beta }} u( \eta)+ \int^{1}_{0}g_{2}\bigl(s,u(s),{ {}^{C} D_{0^{+}}^{\beta }} u(s)\bigr) \,\mathrm{d}s \biggr). $$

By (H1) and (H3), all the conditions in Theorem 4.1 hold. In view of Theorem 4.1, the results can be obtained. □

  1. (H4)

    Assume that \(\Lambda_{i}(t)\) are increasing bounded variation functions, \(g_{i}\in C([0,1]\times [0,+\infty)\times (-\infty,0])\) (\(i=1,2\)), \(0\leq g_{1}(t,w_{1},z_{1})\leq g_{1}(t,w_{2},z_{2})\) and \(0\geq g_{2}(t,w_{1},z_{1})\geq g_{2}(t,w_{2},z_{2})\) for any \(t\in [0,1]\) and \(0\leq w_{1}\leq w_{2}\), \(0\geq z_{1}\geq z_{2} \in \mathbb{R}\).

In the same way as Theorem 4.1, we can get the following results.

Theorem 4.3

Assume that (H1) and (H4) hold, boundary value problem (1.1)-(1.5) has a nonnegative lower solution \(x_{0}\) and an upper solution \(y_{0}\) such that \(x_{0}, y_{0}\in P\) and \(x_{0}\preceq y_{0}\). Then boundary value problem (1.1)-(1.5) has positive solutions \(x^{*},y^{*}\in P\). Furthermore,

$$x_{0}(t)\leq x^{*}(t)\leq y^{*}(t)\leq y_{0}(t) $$

and

$${ {}^{C} D_{0^{+}}^{\beta }} y_{0}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} y ^{*}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} x^{*}(t)\leq { {}^{C} D_{0^{+}} ^{\beta }} x_{0}(t)\leq 0,\quad t\in [0,1]. $$

5 Illustration

Assume that \(f(t,w,z)=\frac{1}{10\Gamma (\frac{1}{3})} t ^{\frac{1}{3}} e^{w-z-10}\), \(g_{1}(t,w,z)=f(t,w,z)=\frac{1}{10\Gamma (\frac{1}{3})} t^{\frac{1}{3}} e^{w-z-10}\), \(g_{2}(t,w,z)=-f(t,w,z)=\frac{-1}{10 \Gamma (\frac{1}{3})} t^{\frac{1}{3}} e^{w-z-10}\). We can easily check that the functions f, \(g_{1}\) and \(g_{2}\) satisfy conditions (H1) and (H3).

Let \(\alpha = \frac{5}{3}\), \(\beta =\frac{5}{4}\), \(p=\frac{3}{2}\), We consider the following nonlinear fractional p-Laplacian equation:

$$\begin{aligned} {}^{C} D_{0^{+}}^{\frac{5}{3}} \bigl( \varphi_{\frac{3}{2}} \bigl({ {}^{C} D _{0^{+}}^{\frac{5}{4}}}u(t) \bigr) \bigr)& = f \bigl(t, u(t),{ {}^{C} D_{0^{+}} ^{\frac{5}{4}}} u(t) \bigr) \\ & =\frac{1}{10\Gamma (\frac{1}{3})}t^{\frac{1}{3}} e^{u(t)-{ {}^{C} D _{0^{+}}^{\frac{5}{4}}} u(t)-10},\quad t\in (0, 1), \end{aligned}$$
(5.1)

with the nonlinear integral boundary conditions

$$ \begin{gathered} \textstyle\begin{cases} u'(0)= (\varphi_{\frac{3}{2}} ({ {}^{C} D_{0^{+}}^{\frac{5}{4}}}u(0)))'=0, \\ u(1)=\int^{1}_{0}g_{1} (s,u(s),{ {}^{C} D_{0^{+}}^{\frac{5}{4}}} u(s))\,\mathrm{d}s=\int^{1}_{0}\frac{1}{10\Gamma (\frac{1}{3})}s^{ \frac{1}{3}} e^{u(s)-{ {}^{C} D_{0^{+}}^{\frac{5}{4}}} u(s)-10} \,\mathrm{d}s, \\ { {}^{C} D_{0^{+}}^{\frac{5}{4}}} u(1)=\int^{1}_{0}g_{2} (s,u(s), { {}^{C} D_{0^{+}}^{\frac{5}{4}}}u(s))\,\mathrm{d}s=-\int^{1}_{0}\frac{1}{10 \Gamma (\frac{1}{3})}s^{\frac{1}{3}} e^{u(s)-{ {}^{C} D_{0^{+}}^{ \frac{5}{4}}} u(s)-10}\,\mathrm{d}s, \end{cases}\displaystyle \end{gathered} $$
(5.2)

which is a special case of boundary value problem (1.1)-(1.2).

Let \(x_{0}=0\), we can easily check that \(x_{0}=x_{0}(t)\equiv 0\) is a lower solution of boundary value problem (5.1)-(5.2).

Let

$$y_{0}(t)= 10 - \frac{16 t^{\frac{5}{4}} (13{,}923 - 3808 t^{2} + 512 t ^{4})}{69{,}615 \Gamma (\frac{5}{4})}. $$

In the following, we check that \(y_{0}=y_{0}(t)\) is an upper solution of boundary value problem (5.1)-(5.2).

We can easily get that

$$\begin{aligned}& y_{0}'(t)=-\frac{16 t^{\frac{5}{4}} (-7616 t + 2048 t^{3})}{69{,}615 \Gamma (\frac{5}{4}))} - \frac{4 t^{\frac{1}{4}} (13{,}923 - 3808 t^{2} + 512 t^{4})}{13{,}923 \Gamma (\frac{5}{4})}, \\& { {}^{C} D_{0^{+}}^{\frac{5}{4}}} y_{0}(t)=- \bigl(2-t^{2}\bigr)^{2}, \qquad \varphi_{\frac{3}{2}} \bigl({ {}^{C} D_{0^{+}}^{\frac{5}{4}}}y _{0}(t) \bigr)=t^{2}-2, \qquad \bigl(\varphi_{\frac{3}{2}} \bigl({ {}^{C} D_{0^{+}}^{\frac{5}{4}}}y_{0}(t) \bigr) \bigr)'=2t, \end{aligned}$$

and

$${}^{C} D_{0^{+}}^{\frac{5}{3}} \bigl(\varphi_{\frac{3}{2}} \bigl({ {}^{C} D _{0^{+}}^{\frac{5}{4}}}y_{0}(t) \bigr) \bigr)= {{}^{C} D_{0^{+}}^{ \frac{5}{3}}} \bigl( t^{2}-2 \bigr)=\frac{6}{\Gamma (\frac{1}{3})} t^{ \frac{1}{3}}. $$

Then

$$y_{0}'(0)=0, \qquad \bigl(\varphi_{\frac{3}{2}} \bigl({ {}^{C} D_{0^{+}}^{ \frac{5}{4}}}y_{0}(0) \bigr) \bigr)'=0, $$

and

$$y_{0}(1)=10 -\frac{ 170{,}032}{69{,}615 \Gamma (\frac{5}{4})}\approx 7.30532,\qquad { {}^{C} D_{0^{+}}^{\frac{5}{4}}} y_{0}(1)=-1. $$

We can easily check that

$$\begin{aligned}& 0\leq f\bigl(t,y_{0}(t),{ {}^{C} D_{0^{+}}^{\frac{5}{4}}}y_{0}(t) \bigr) \\& \hphantom{0} =\frac{1}{10 \Gamma (\frac{1}{3})} t^{\frac{1}{3}} \exp \biggl(- \frac{16 t^{\frac{5}{4}} (13{,}923 - 3808 t^{2} + 512 t^{4})}{69{,}615 \Gamma (\frac{5}{4})} + \bigl(-2+ t^{2}\bigr)^{2} \biggr)< 1; \\& 0\leq g_{1}\bigl(t,y_{0}(t),{ {}^{C} D_{0^{+}}^{\frac{5}{4}}}y_{0}(t)\bigr) \\& \hphantom{0} =\frac{1}{10 \Gamma (\frac{1}{3})} t^{\frac{1}{3}} \exp \biggl(- \frac{16 t^{\frac{5}{4}} (13{,}923 - 3808 t^{2} + 512 t^{4})}{69{,}615 \Gamma (\frac{5}{4})} + \bigl(-2+ t^{2}\bigr)^{2} \biggr)< 1; \\& 0\geq g_{2}\bigl(t,y_{0}(t),{ {}^{C} D_{0^{+}}^{\frac{5}{4}}}y_{0}(t)\bigr) \\& \hphantom{0} =\frac{-1}{10 \Gamma (\frac{1}{3})} t^{\frac{1}{3}} \exp \biggl(- \frac{16 t^{\frac{5}{4}} (13{,}923 - 3808 t^{2} + 512 t^{4})}{69{,}615 \Gamma (\frac{5}{4})} + \bigl(-2+ t^{2}\bigr)^{2} \biggr)> -1. \end{aligned}$$

Then

$$\begin{aligned}& {}^{C} D_{0^{+}}^{\frac{5}{3}} \bigl({ {}^{C} D_{0^{+}}^{\frac{5}{4}}} y _{0}(t) \bigr) =\frac{6}{\Gamma (\frac{1}{3})} t^{\frac{1}{3}} \geq f \bigl(t, y_{0}(t),{ {}^{C} D_{0^{+}}^{\frac{5}{4}}} y_{0}(t) \bigr),\quad t\in (0, 1), \\& y_{0}'(0)=0,\qquad \bigl(\varphi_{\frac{3}{2}} \bigl({ {}^{C} D_{0^{+}} ^{\frac{5}{4}}}y_{0}(0) \bigr) \bigr)'=0, \\& y_{0}(1) =10 -\frac{ 170{,}032}{69{,}615 \Gamma (\frac{5}{4})}\approx 7.30532 >1 \\& \hphantom{y_{0}(1)}> \int^{1}_{0}g_{1} \bigl(s,y_{0}(s),{ {}^{C} D_{0^{+}}^{\frac{5}{4}}} y_{0}(s) \bigr) \,\mathrm{d}s \\& \hphantom{y_{0}(1)} = \int^{1}_{0}\frac{1}{10\Gamma (\frac{1}{3})}s^{\frac{1}{3}} e^{y _{0}(s)-{ {}^{C} D_{0^{+}}^{\frac{5}{4}}} y_{0}(s)-10}\,\mathrm{d}s, \end{aligned}$$

and

$$\begin{aligned} { {}^{C} D_{0^{+}}^{\frac{5}{4}}} y_{0}(1) =&-1 \\ < & \int^{1}_{0}g_{2} \bigl(s,y_{0}(s),{ {}^{C} D_{0^{+}}^{\frac{5}{4}}} y _{0}(s) \bigr) \,\mathrm{d}s \\ =&- \int^{1}_{0}\frac{1}{10\Gamma (\frac{1}{3})}s^{\frac{1}{3}} e^{y _{0}(s)-{ {}^{C} D_{0^{+}}^{\frac{5}{4}}} y_{0}(s)-10}\,\mathrm{d}s. \end{aligned}$$

Therefore, \(y_{0}(t)=10 - \frac{16 t^{\frac{5}{4}} (13{,}923 - 3808 t ^{2} + 512 t^{4})}{69{,}615 \Gamma (\frac{5}{4})}\) is an upper solution of boundary value problem (5.1)-(5.2).

Based on the above discussion, we can get that \(x_{0} \preceq y_{0}\). So all the conditions in Theorem 3.1 hold. According to Theorem 3.1, boundary value problem (1.3) has the maximum lower solution \(x^{*}\) and the minimal upper solution \(y^{*}\), both \(x^{*}\) and \(y^{*}\) are solutions of the boundary value problem. Furthermore,

$$0 \leq x^{*}(t)\leq y^{*}(t)\leq 10 - \frac{16 t^{\frac{5}{4}} (13{,}923 - 3808 t^{2} + 512 t^{4})}{69{,}615 \Gamma (\frac{5}{4})}=y_{0}(t), $$

and

$$-1\leq - \bigl(2-t^{2}\bigr)^{2}={ {}^{C} D_{0^{+}}^{\beta }} y_{0}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} y^{*}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} x ^{*}(t)\leq { {}^{C} D_{0^{+}}^{\beta }} x_{0}(t)= 0,\quad t\in [0,1]. $$

Remark

Since \(x_{0}=x_{0}(t)\equiv 0\) is a lower solution of boundary value problem (1.3) but not a solution of the problem. Therefore, the solutions \(x^{*}=x^{*}(t)\) and \(y^{*}=y^{*}(t)\) are the nontrivial solutions of boundary value problem (1.3).

References

  1. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  2. Diethelm, K: The Analysis of Fractional Differential Equations. Lectures Notes in Mathematics. Springer, Berlin (2010)

    Book  MATH  Google Scholar 

  3. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  4. Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)

    Book  MATH  Google Scholar 

  5. Podlubny, I: Fractional Differential Equation. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  6. Ahmad, B, Ntouyas, SK, Tariboon, J: Fractional differential equations with nonlocal integral and integer-fractional order Neumann type boundary conditions. Mediterr. J. Math. 13, 2365-2381 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  7. Wang, J, Ibrahim, AG, Fečkan, M: Nonlocal impulsive fractional differential inclusions with fractional sectorial operators on Banach spaces. Appl. Math. Comput. 257, 103-118 (2015)

    MathSciNet  MATH  Google Scholar 

  8. Yang, L, Shen, C, Xie, D: Multiple positive solutions for nonlinear boundary value problem of fractional order differential equation with the Riemann-Liouville derivative. Adv. Differ. Equ. 2014(284), 1 (2014)

    MathSciNet  MATH  Google Scholar 

  9. Ntouyas, SK, Tariboon, J, Thiramanus, P: Mixed problems of fractional coupled systems of Riemann-Liouville differential equations and Hadamard integral conditions. J. Comput. Anal. Appl. 21, 813-828 (2016)

    MathSciNet  MATH  Google Scholar 

  10. Liu, Y, Yang, X: Resonant boundary value problems for singular multi-term fractional differential equations. Differ. Equ. Appl. 5, 409-472 (2013)

    MathSciNet  MATH  Google Scholar 

  11. Alsaedi, A, Ntouyas, SK, Agarwal, RP, Ahmad, B: On Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Adv. Differ. Equ. 2015, 33 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  12. Liu, X, Lin, L, Fang, H: Existence of positive solutions for nonlocal boundary value problem of fractional differential equation. Cent. Eur. J. Phys. 11, 1423-1432 (2013)

    Google Scholar 

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

    MathSciNet  Google Scholar 

  14. Bai, Z, Dong, X, Yin, C: Existence results for impulsive nonlinear fractional differential equation with mixed boundary conditions. Bound. Value Probl. 2016, 63 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  15. Bai, Z, Zhang, S, Sun, S, Yin, C: Monotone iterative method for a class of fractional differential equations. Electron. J. Differ. Equ. 2016, 6 (2016)

    Article  Google Scholar 

  16. Wang, G, Agarwal, RP, Cabada, A: Existence results and the monotone iterative technique for systems of nonlinear fractional differential equations. Appl. Math. Lett. 25, 1019-1024 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  17. Leibenson, LS: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk. Kirg. SSSR 9, 7-10 (1983) (in Russian)

    MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  19. Jafari, H, Baleanu, D, Khan, H: Existence criterion for the solutions of fractional order p-Laplacian boundary value problems. Bound. Value Probl. 2015, 164 (2015)

    Article  MathSciNet  MATH  Google Scholar 

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

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

  22. Liu, X, Jia, M, Ge, W: Multiple solutions of a p-Laplacian model involving a fractional derivative. Adv. Differ. Equ. 2013, 126 (2013)

    Article  MathSciNet  Google Scholar 

  23. Tang, X, Yan, C, Liu, Q: Existence of solutions of two-point boundary value problems for fractional p-Laplace differential equations at resonance. J. Appl. Math. Comput. 41, 119-131 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  24. Liu, Z, Lu, L: A class of BVPs for nonlinear fractional differential equations with p-Laplacian operator. Electron. J. Qual. Theory Differ. Equ. 2012, 70 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  25. Wang, J, Xiang, H: Upper and lower solutions method for a class of singular fractional boundary value problems with p-Laplacian operator. Abstr. Appl. Anal. 2010, 971824 (2010)

    MathSciNet  MATH  Google Scholar 

  26. Dong, X, Bai, Z, Zhang, S: Positive solutions to boundary value problems of p-Laplacian with fractional derivative. Bound. Value Probl. 2017(5), 1 (2017)

    MathSciNet  MATH  Google Scholar 

  27. Mahmudov, NI, Unul, S: Existence of solutions of fractional boundary value problems with p-Laplacian operator. Bound. Value Probl. 2015, 99 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  28. Liu, X, Jia, M: The positive solutions for integral boundary value problem of fractional p-Laplacian equation with mixed derivatives. Mediterr. J. Math. 14(2), 1-13 (2017)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work is supported by the National Natural Science Foundation of China (Grant No. 11171220).

Author information

Authors and Affiliations

Authors

Contributions

The authors contributed equally to this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Xiping Liu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

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

Liu, X., Jia, M. The method of lower and upper solutions for the general boundary value problems of fractional differential equations with p-Laplacian. Adv Differ Equ 2018, 28 (2018). https://doi.org/10.1186/s13662-017-1446-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-017-1446-1

Keywords