Skip to main content

Theory and Modern Applications

Existence and iteration of positive solution for fractional integral boundary value problems with p-Laplacian operator

Abstract

This paper is concerned with an integral boundary value problem of fractional differential equations with p-Laplacian operator. Sufficient conditions ensuring the existence of extremal solutions for the given problem are obtained. Our results are based on the method of upper and lower solutions and monotone iterative technique.

1 Introduction

This paper studies the existence of extremal solutions for the boundary value problem of a fractional p-Laplacian equation with the following form:

$$ \textstyle\begin{cases} -D^{\sigma }(\phi _{p}(-D^{\tau }u(t)))= h(t,u(t),D^{\tau }u(t)),\quad 0< t< 1, \\ D^{\tau }u(0)=0, \\ D^{\sigma -1}(\phi _{p}(-D^{\tau }u(1))) \\ \quad =I^{\gamma }k(\theta ,\phi _{p}(-D ^{\tau }u(\theta )))+d= \frac{1}{\varGamma (\gamma )} \int _{0}^{\theta }( \theta -s)^{\gamma -1}k(s,\phi _{p}(-D^{\tau }u(s)))\,ds+d, \\ u(0)=0,\qquad D^{\tau -1}u(1)=I^{\epsilon }u(\zeta )+e=\frac{1}{\varGamma (\epsilon )} \int _{0}^{\zeta }(\zeta -s)^{\epsilon -1}u(s)\,ds+e, \end{cases} $$
(1.1)

where \(D^{\tau }\) and \(D^{\sigma }\) are the standard Riemann–Liouville fractional derivatives, \(I^{\gamma }\), \(I^{\epsilon }\) are the Riemann–Liouville fractional integral, and \(1<\sigma \), \(\tau <2\), \(\gamma ,\epsilon >1\), \(0<\theta \), \(\zeta <1\), \(d, e\in \mathbb{R}\), \(h\in C([0,1]\times \mathbb{R}\times \mathbb{R}, \mathbb{R})\), \(k\in C([0,1]\times \mathbb{R},\mathbb{R})\). The p-Laplacian operator is defined as \(\phi _{p}(t)=|t|^{p-2}t\), \(p>1\), and \((\phi _{p})^{-1}=\phi _{q}\), \(\frac{1}{p}+\frac{1}{q}=1\).

Recently, much attention has been paid to the study of the existence of extremal solutions, for fractional differential equations with corresponding initial or boundary conditions; see [1,2,3,4,5,6,7,8,9]. The monotone iterative technique, combined with the method of upper and lower solutions, provides an effective mechanism to prove constructive existence results for nonlinear differential equations, the advantage and importance of the technique needs no special emphasis [10, 11]. By using the monotone iterative technique, Ahmad [12] and Alsaedi [13] successfully investigated initial value problems for nonlinear fractional differential equations with fractional derivatives. Han [14] considered the existence of positive solutions for the following problem:

$$ \textstyle\begin{cases} D^{\beta }(\phi _{p}(D^{\alpha }u(t)))= \lambda f(u(t)),\quad 0< t< 1, \\ u(0)=u'(0)=u'(1)=0,\qquad \phi _{p}(D^{\alpha }u(0))=(\phi _{p}(D^{\alpha }u(1)))'=0, \end{cases} $$

where \(2<\alpha \leq 3\), \(1<\beta \leq 2\) are real numbers, \(\lambda >0\) is a parameter, and \(f: (0, +\infty )\rightarrow (0, +\infty )\) is continuous. By using the properties of Green function and the Guo–Krasnosel’skii fixed-point theorem on cones, several existence results of at least one or two positive solutions in terms of different eigenvalue interval are obtained. By means of the monotone iterative method, Wang [15] investigated the fractional integral boundary problem

$$ \textstyle\begin{cases} {}^{C}D^{\alpha }u(t)=f(t,u(t),u(\theta (t)),\quad n< \alpha \leq n+1, n\geq 2, t\in [0,1], \\ u'(0)=u''(0)=u'''(0)=\cdots =u^{n}(0)=0, \\ u(0)=\int _{0}^{1}g(s,u(s))\,ds+\lambda , \end{cases} $$

where \(\lambda >0\), and f, g are continuous functions. However, the existence results in [10] mainly depend upon a restrictive condition, i.e.,

$$ f(t,u,v)\geq f(t,\overline{u},\overline{v}). $$

It is a critical condition in order to discuss the monotone iterative sequences. Therefore, it is natural to ask whether similar results can be obtained if

$$ f\bigl(t,u(t),D^{\tau }u(t)\bigr)-f\bigl(t,v(t),D^{\tau }v(t) \bigr)\leq L\bigl[\phi _{p}\bigl(-D^{ \tau }v(t)\bigr)-\phi _{p}\bigl(-D^{\tau }u(t)\bigr)\bigr]. $$

Being directly inspired by Wang [15], the purpose of this paper is to study the nonlinear integral boundary value problem for p-Laplacian differential equations. The nonlinear terms h, k are not required to satisfy monotonicity conditions on the unknown function u or their derivatives. The monotone iterative technique combined with the method of upper and lower solutions is applied. In particular, we construct two well-defined monotone iterative sequences of upper and lower solutions and prove that they converge uniformly to the actual solution of the problem.

2 Preliminaries

In this section, we deduce some preliminary results which will be used in the next section.

Denote \(C_{\tau }[0,1]=\{u :u \in C[0,1], D^{\tau }u(t)\in C[0,1]\}\) and endow it with the norm \(\|u\|_{\tau }=\|u\|+\|D^{\tau }u\|\), where \(\|u\|=\max_{0\leq t\leq 1}|u(t)|\) and \(\|D^{\tau }u\|=\max_{0\leq t\leq 1}|D^{\tau }u(t)|\). Then \((C_{\tau }[0,1],\| \cdot \|_{\tau })\) is a Banach space (see [16]).

Definition 2.1

A function \(u(t)\in C_{ \tau }[0,1]\) satisfying \(D^{\sigma }(\phi _{p}(-D^{\tau }u(t)))\in C[0,1]\) is called a lower solution of problem (1.1) if

$$ \textstyle\begin{cases} -D^{\sigma }(\phi _{p}(-D^{\tau }u(t)))\leq h(t,u(t),D^{\tau }u(t)),\quad 0< t< 1, \\ D^{\tau }u(0)=0,\qquad D^{\sigma -1}(\phi _{p}(-D^{\tau }u(1)))\leq I^{\gamma }k(\theta ,\phi _{p}(-D^{\tau }u(\theta )))+d, \\ u(0)=0, \qquad D^{\tau -1}u(1)\leq I^{\epsilon }u(\zeta )+e. \end{cases} $$

A function \(v(t)\in C_{\tau }[0,1]\) satisfying \(D^{\sigma }(\phi _{p}(-D ^{\tau }v(t)))\in C[0,1]\) is called an upper solution of problem (1.1) if the above inequalities are reversed.

For the sake of convenience, we now present some assumptions as follows.

(H1):

Assume that \(u_{0},v_{0}\in C_{\tau }[0,1]\) satisfying \(D^{\sigma }(\phi _{p}(-D^{\tau }u_{0}(t))) \), \(D^{\sigma }(\phi _{p}(-D ^{\tau }v_{0}(t)))\in C[0,1]\) are lower and upper solutions of problem (1.1), respectively, and \(u_{0}(t)\leq v_{0}(t)\), \(D^{\tau }v_{0}(t) \leq D^{\tau }u_{0}(t)\), \(t\in [0,1]\).

(H2):

There exists a constant \(L\in \mathbb{R}\) such that

$$ h\bigl(t,u(t),D^{\tau }u(t)\bigr)-h\bigl(t,v(t),D^{\tau }v(t) \bigr)\leq L\bigl[\phi _{p}\bigl(-D^{ \tau }v(t)\bigr)-\phi _{p}\bigl(-D^{\tau }u(t)\bigr)\bigr], $$

for \(u_{0}(t)\leq u(t)\leq v(t) \leq v_{0}(t)\), \(D^{\tau } v_{0}(t) \leq D^{\tau }v(t)\leq D^{\tau } u(t)\leq D^{\tau } u_{0}(t)\), \(t\in [0,1]\).

(H3):

There exists a constant \(\mu \geq 0\), such that

$$ k\bigl(t,\phi _{p}\bigl(-D^{\tau }v(t)\bigr)\bigr)-k \bigl(t,\phi _{p}\bigl(-D^{\tau }u(t)\bigr)\bigr)\geq \mu \bigl[\phi _{p}\bigl(-D^{\tau }v(t)\bigr)-\phi _{p}\bigl(-D^{\tau }u(t)\bigr)\bigr], $$

for \(u_{0}(t)\leq u(t)\leq v(t) \leq v_{0}(t)\), \(D^{\tau } v_{0}(t) \leq D^{\tau }v(t)\leq D^{\tau } u(t)\leq D^{\tau } u_{0}(t)\), \(t\in [0,1]\).

(H4):

\(\varGamma (\sigma +\gamma )>\mu \theta ^{\sigma +\gamma -1}\).

(H5):

\(2\varGamma (\sigma +\gamma ) |L|<\varGamma (\sigma )[\varGamma ( \sigma +\gamma )-\mu \theta ^{\sigma +\gamma -1}]\).

(H6):

For any \(t\in (0,1)\), we have

$$ \varGamma (2-\sigma )t^{\sigma }L>1-\sigma $$

and

$$ \varGamma (2-\sigma )\mu \theta ^{\gamma }< \varGamma (\gamma ). $$

Lemma 2.1

([17])

Let \(f(t)\in C[0,1]\), \(a \in \mathbb{R}\), and \(\varGamma (\sigma +\gamma )\neq \mu \theta ^{\sigma +\gamma -1} \), then the fractional boundary value problem

$$ \textstyle\begin{cases} -D^{\sigma }w(t)= f(t), \quad t\in [0,1], \\ w(0)=0, \\ D^{\sigma -1}w(1)=\mu I^{\gamma }w(\theta )+a=\frac{\mu }{\varGamma ( \gamma )}\int _{0}^{\theta }(\theta -s)^{\gamma -1}w(s)\,ds+a, \end{cases} $$
(2.1)

is equivalent to

$$ w(t)= \int _{0}^{1}J(t,s)f(s)\,ds+ \frac{a\varGamma (\sigma +\gamma )t^{ \sigma -1}}{\varGamma (\sigma )[\varGamma (\sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}]}, $$

where

$$ J(t,s)=\frac{1}{\Delta } \textstyle\begin{cases} [\varGamma (\sigma +\gamma )-\mu (\theta -s)^{\sigma +\gamma -1}]t^{ \sigma -1} \\ \quad {}- [\varGamma (\sigma +\gamma )-\mu \theta ^{\sigma +\gamma -1}](t-s)^{ \sigma -1}, &s\leq t,s\leq \theta ; \\ \varGamma (\sigma +\gamma )t^{\sigma -1}-\mu (\theta -s)^{\sigma +\gamma -1}t^{\sigma -1}, &t\leq s\leq \theta ; \\ \varGamma (\sigma +\gamma )[t^{\sigma -1}-(t-s)^{\sigma -1}]+\mu \theta ^{\sigma +\gamma -1} (t-s)^{\sigma -1}, &\theta \leq s\leq t; \\ \varGamma (\sigma +\gamma )t^{\sigma -1}, &s\geq t,s\geq \theta , \end{cases} $$

and \(\Delta =\varGamma (\sigma )[\varGamma (\sigma +\gamma )-\mu \theta ^{\sigma +\gamma -1}]\).

Lemma 2.2

([17])

If (H4) holds, then the Green’s function \(J(t,s)\) satisfies

$$ 0\leq J(t,s)\leq \frac{\varGamma (\sigma +\gamma )}{\varGamma (\sigma )[ \varGamma (\sigma +\gamma )-\mu \theta ^{\sigma +\gamma -1}]}\bigl(1+t^{\sigma -1}\bigr). $$

Lemma 2.3

Let L, \(a\in \mathbb{R}\), \(w(t)\), \(f(t) \in C[0,1]\) and (H4), (H5) hold, then the boundary value problem

$$ \textstyle\begin{cases} -D^{\sigma }w(t)+Lw(t)= f(t), \quad t\in [0,1], \\ w(0)=0, \\ D^{\sigma -1}w(1)=\mu I^{\gamma }w(\theta )+a, \end{cases} $$
(2.2)

has a unique solution \(w(t)\in C[0,1]\).

Proof

It follows from Lemma 2.1 that problem (2.2) is equivalent to the following integral equation:

$$ w(t)= \int _{0}^{1}J(t,s)\bigl[f(s)-Lw(s)\bigr]\,ds+ \frac{a\varGamma (\sigma +\gamma )t ^{\sigma -1}}{\varGamma (\sigma )[\varGamma (\sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}]}, \quad \forall t\in [0,1]. $$

Let

$$ Aw(t)= \int _{0}^{1}J(t,s)\bigl[f(s)-Lw(s)\bigr]\,ds+ \frac{a\varGamma (\sigma +\gamma )t^{\sigma -1}}{\varGamma (\sigma )[\varGamma (\sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}]}, \quad \forall t\in [0,1]. $$

For any \(u,w\in C[0,1]\), by (H4) and Lemma 2.2, we have

$$\begin{aligned} \Vert Au-Aw \Vert =&\max_{0\leq t\leq 1} \bigl\vert Au(t)-Aw(t) \bigr\vert \\ \leq &\max_{0\leq t\leq 1} \biggl( \int _{0}^{1}J(t,s) \vert L \vert \cdot \vert u-w \vert \,ds \biggr) \\ \leq &\frac{ \vert L \vert \varGamma (\sigma +\gamma ) \Vert u-w \Vert }{\varGamma (\sigma )[\varGamma (\sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}]}\max_{0\leq t\leq 1} \bigl(1+t^{ \sigma -1} \bigr) \\ \leq &\frac{2\varGamma (\sigma +\gamma ) \Vert u-w \Vert \vert L \vert }{\varGamma (\sigma )[\varGamma (\sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}]}. \end{aligned}$$

Noting that (H5) holds, which implies \(\frac{2\varGamma (\sigma + \gamma )| L| }{\varGamma (\sigma )[\varGamma (\sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}]}<1\), we have

$$ \Vert Au-Aw \Vert < \Vert u-w \Vert . $$

By the Banach fixed point theorem, the operator A has a unique fixed point. That is, (2.2) has a unique solution. □

Lemma 2.4

Assume that \(z(t)\in C[0,1]\), \(k \in \mathbb{R}\). Then the fractional boundary value problem

$$ \textstyle\begin{cases} -D^{\tau }u(t)=z(t), \quad 0< t< 1, \\ u(0)=0, \qquad D^{\tau -1}u(1)=k, \end{cases} $$
(2.3)

is equivalent to

$$ u(t)= \int _{0}^{1}H(t,s)z(s)\,ds+ \frac{kt^{\tau -1}}{\varGamma (\tau )}, $$

where

$$ H(t,s)=\textstyle\begin{cases} t^{\tau -1}-(t-s)^{\tau -1}, &0\leq s\leq t\leq 1, \\ t^{\tau -1}, &0\leq t\leq s\leq 1. \end{cases} $$

Proof

We can transform the equation \(-D^{\tau }v(t)=z(t)\) to an equivalent integral equation

$$ u(t)=-I^{\tau }z(t)+ C_{1}t^{\tau -1}+C_{2}t^{\tau -2}. $$

Note that \(u(0)=0\), we have \(C_{2}=0\). Consequently, we have the following form:

$$ u(t)=-I^{\tau }z(t)+ C_{1}t^{\tau -1} $$

and

$$\begin{aligned} D^{\tau -1}u(t) =&-D^{\tau -1}I^{\tau }z(t)+ C_{1}D^{\tau -1}t^{ \tau -1} \\ =&-I^{\tau -(\tau -1)} z(t)+C_{1}D^{\tau -1}t^{\tau -1} \\ =&- \int _{0}^{t}z(s)\,ds +C_{1}\varGamma (\tau ). \end{aligned}$$

On the other hand \(D^{\tau -1}u(1)=k\), and we obtain

$$ C_{1}=\frac{1}{\varGamma (\tau )} \int _{0}^{1}z(s)\,ds +\frac{k}{\varGamma ( \tau )}. $$
(2.4)

Therefore, the solution of problem (2.3) is

$$\begin{aligned} u(t) =&-\frac{1}{\varGamma (\tau )} \int _{0}^{t}(t-s)^{\tau -1}z(s)\,ds+ \frac{t ^{\tau -1}}{\varGamma (\tau )} \int _{0}^{1}z(s)\,ds +\frac{kt^{\tau -1}}{ \varGamma (\tau )} \\ =& \int _{0}^{1}H(t,s)z(s)\,ds+ \frac{kt^{\tau -1}}{\varGamma (\tau )}. \end{aligned}$$

 □

Lemma 2.5

Assume that \(k,a\in \mathbb{R}\), \(u(t)\in C_{\tau }[0,1]\), \(f(t)\in C[0,1]\) and (H4), (H5) hold. Then the boundary value problem

$$ \textstyle\begin{cases} -D^{\sigma }(\phi _{p}(-D^{\tau }u(t)))+L\phi _{p}(-D^{\tau }u(t))= f(t), \quad 0< t< 1, \\ D^{\tau }u(0)=0, \qquad D^{\sigma -1}(\phi _{p}(-D^{\tau }u(1)))=\mu I^{\gamma }\phi _{p}(-D ^{\tau }u(\theta ))+a, \\ u(0)=0, \qquad D^{\tau -1}u(1)=k, \end{cases} $$
(2.5)

has a unique solution \(u(t)\).

Proof

Let \(\phi _{p}(-D^{\tau }u(t))=w(t)\), and consider the boundary value problem:

$$ \textstyle\begin{cases} -D^{\sigma }w(t)+Lw(t)=f(t), \quad 0< t< 1, \\ w(0)=0,\qquad D^{\sigma -1}w(1)=\mu I^{\gamma }w(\theta )+a. \end{cases} $$
(2.6)

From Lemma 2.3, we know that (2.6) has a unique solution \(w(t) \in C[0,1]\). Note that \(\phi _{p}(-D^{\tau }u(t)) =w(t)\in C[0,1]\), and \(-D^{\tau }u(t)=\phi _{q}(w(t))\in C[0,1]\). Then the problem (2.5) is transformed into to the following problem:

$$ \textstyle\begin{cases} -D^{\tau }u(t)=\phi _{q}(w(t)), \quad 0< t< 1, \\ u(0)=0, \qquad D^{\tau -1}u(1)=k. \end{cases} $$
(2.7)

By Lemma 2.4, the solution of (2.7) can be written

$$ u(t)= \int _{0}^{1}H(t,s)\phi _{q} \bigl(w(s)\bigr)\,ds+\frac{kt^{\tau -1}}{\varGamma ( \tau )}. $$

Combining with (2.6) and (2.7), we assert that the boundary problem (2.5) has a unique solution \(u(t)\). □

Lemma 2.6

([18, Lemma 2.6])

Assume that (H6) holds, \(w(t)\in C[0,1]\), satisfying \(D^{\sigma }w(t)\in C[0,1]\) and

$$ \textstyle\begin{cases} -D^{\sigma }w(t)\geq -Lw(t), \quad t\in [0,1], \\ w(0)=0, \\ D^{\sigma -1}w(1)\geq \mu I^{\gamma }w(\theta ), \end{cases} $$
(2.8)

then \(w(t)\geq 0\), \(\forall t\in [0,1]\).

Lemma 2.7

If \(u(t)\in C[0,1]\) satisfies

$$ \textstyle\begin{cases} -D^{\tau }u(t)\geq 0, \quad 0< t< 1, \\ u(0)=0, \\ D^{\tau -1}u(1)\geq 0, \end{cases} $$
(2.9)

then \(u(t)\geq 0\), \(\forall t \in [0,1]\).

Proof

By Lemma 2.4, we know that (2.3) has a unique solution

$$ u(t)= \int _{0}^{1}H(t,s)z(s)\,ds+ \frac{kt^{\tau -1}}{\varGamma (\tau )}. $$

It is easy to verify that the Green’s function \(H(t,s)\geq 0\), t, \(s \in [0,1]\). Let \(z(t)\geq 0\) and \(k\geq 0\). Then we obtain (2.9) and \(u(t)\geq 0\), \(\forall t \in [0,1]\). □

3 Main results

Theorem 3.1

Suppose that (H1)–(H6) hold. Then problem (1.1) has extremal solution \(u^{*}, v^{*}\in [u _{0},v_{0}]\). Moreover,

$$ u_{0}(t)\leq u^{*}(t)\leq v^{*}(t)\leq v_{0}(t) $$

and

$$ D^{\tau } v_{0}(t)\leq D^{\tau }v^{*}(t) \leq D^{\tau } u^{*}(t)\leq D ^{\tau } u_{0}(t), \quad \forall t\in [0,1]. $$

Proof

For \(n=0,1,2,\ldots \) , we define

$$ \textstyle\begin{cases} -D^{\sigma }(\phi _{p}(-D^{\tau }u_{n+1}(t))) \\ \quad =h(t,u_{n}(t),D^{\tau }u _{n}(t)) -L[\phi _{p}(-D^{\tau }u_{n+1}(t))-\phi _{p}(-D^{\tau }u_{n}(t))], \\ D^{\tau }u_{n+1}(0)=0, \\ D^{\sigma -1}(\phi _{p}(-D^{\tau }u_{n+1}(1))) \\ \quad =I^{\gamma } \{k( \theta ,\phi _{p}(-D^{\tau }u_{n}(\theta ))) +\mu [\phi _{p}(-D^{\tau }u _{n+1}(\theta ))-\phi _{p}(-D^{\tau }u_{n}(\theta ))] \}+d, \\ u_{n+1}(0)=0, \qquad D^{\tau -1}u_{n+1}(1)=I^{\epsilon }u_{n}(\zeta )+e, \end{cases} $$
(3.1)

and

$$ \textstyle\begin{cases} -D^{\sigma }(\phi _{p}(-D^{\tau }v_{n+1}(t))) \\ \quad =h(t,v_{n}(t),D^{\tau }v _{n}(t)) -L[\phi _{p}(-D^{\tau }v_{n+1}(t))-\phi _{p}(-D^{\tau }v_{n}(t))], \\ D^{\tau }v_{n+1}(0)=0, \\ D^{\sigma -1}(\phi _{p}(-D^{\tau }v_{n+1}(1))) \\ \quad =I^{\gamma } \{k( \theta ,\phi _{p}(-D^{\tau }v_{n}(\theta ))) +\mu [\phi _{p}(-D^{\tau }v _{n+1}(\theta ))-\phi _{p}(-D^{\tau }v_{n}(\theta ))] \}+d, \\ v_{n+1}(0)=0, \qquad D^{\tau -1}v_{n+1}(1)=I^{\epsilon }v_{n}(\zeta )+e. \end{cases} $$
(3.2)

In view of Lemma 2.5, the functions \(u_{1}\) and \(v_{1}\) are well defined. First, we show that \(u_{0}(t)\leq u_{1}(t)\leq v_{1}(t) \leq v_{0}(t)\), and \(D^{\tau } v_{0}(t)\leq D^{\tau }v_{1}(t) \leq D^{\tau } u_{1}(t)\leq D^{\tau } u_{0}(t)\), \(t\in [0,1]\). Let \(\delta (t)=\phi _{p}(-D^{\tau }u_{1}(t))-\phi _{p}(-D^{\tau }u_{0}(t))\). From (3.1) and (H1), we obtain

$$\begin{aligned} -D^{\sigma }\delta (t) \geq & h\bigl(t,u_{0}(t),D^{\tau }u_{0}(t) \bigr) -L\bigl[\phi _{p}\bigl(-D^{\tau }u_{1}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }u_{0}(t)\bigr) \bigr] \\ &{}-h\bigl(t,u_{0}(t),D ^{\tau }u_{0}(t) \bigr) \\ \geq &-L\delta (t). \end{aligned}$$

Also \(\delta (0)=0\) and

$$\begin{aligned} D^{\sigma -1}\delta (1) =&D^{\sigma -1}\bigl(\phi _{p} \bigl(-D^{\tau }u_{1}(1)\bigr)\bigr) -D^{\sigma -1}\bigl( \phi _{p}\bigl(-D^{\tau }u_{0}(1)\bigr)\bigr) \\ \geq & I^{\gamma } \bigl\{ k\bigl(\theta ,\phi _{p} \bigl(-D^{\tau }u_{0}(\theta )\bigr)\bigr)+\mu \bigl[\phi _{p}\bigl(-D^{\tau }u_{1}(\theta )\bigr) -\phi _{p}\bigl(-D^{\tau }u_{0}( \theta )\bigr)\bigr] \bigr\} \\ &{}-I^{\gamma }k\bigl(\theta ,\phi _{p} \bigl(-D^{\tau }u_{0}( \theta )\bigr)\bigr) \\ \geq & \mu I^{\gamma } \delta (\theta ). \end{aligned}$$

In view of Lemma 2.6, we have \(\phi _{p}(-D^{\tau }u_{1}(t))\geq \phi _{p}(-D^{\tau }u_{0}(t))\), \(t\in [0,1]\), since \(\phi _{p}(x)\) is nondecreasing, thus

$$ D^{\tau }u_{1}(t)\leq D^{\tau }u_{0}(t). $$
(3.3)

Let \(\alpha (t)=u_{1}(t)-u_{0}(t)\), it follows from (3.1) and (3.3) that

$$ \textstyle\begin{cases} -D^{\tau }\alpha (t)=-D^{\tau }u_{1}(t)+D^{\tau }u_{0}(t)\geq 0, \quad t\in [0,1], \\ \alpha (0)=0, \\ D^{\tau -1}\alpha (1)=D^{\tau -1}u_{1}(1)-D^{\tau -1}u_{0}(1)\geq I ^{\epsilon }u_{0}(\zeta )-I^{\epsilon }u_{0}(\zeta )=0. \end{cases} $$

According to Lemma 2.7, we have \(u_{1}(t)\geq u_{0}(t)\), \(\forall t \in [0,1]\).

By a similar way, we can show that \(v_{0}(t)\geq v_{1}(t)\), and \(D^{\tau }v_{0}(t)\leq D^{\tau }v_{1}(t)\). Now, we put \(p(t)=\phi _{p}(-D ^{\tau }v_{1}(t))-\phi _{p}(-D^{\tau }u_{1}(t))\). From (H2) and (H3), we have

$$\begin{aligned} -D^{\sigma }p(t) =&h\bigl(t,v_{0}(t),D^{\tau }v_{0}(t) \bigr) -L\bigl[\phi _{p}\bigl(-D^{ \tau }v_{1}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }v_{0}(t)\bigr) \bigr] \\ &{}-h\bigl(t,u_{0}(t),D^{\tau }u_{0}(t) \bigr)+L\bigl[\phi _{p}\bigl(-D^{\tau }u_{1}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }u_{0}(t)\bigr) \bigr] \\ \geq &-L\bigl[(\phi _{p}\bigl(-D^{\tau }v_{0}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }u_{0}(t)\bigr) \bigr] -L\bigl[\phi _{p}\bigl(-D^{\tau }v_{1}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }v_{0}(t)\bigr) \bigr] \\ &{}+L\bigl[\phi _{p}\bigl(-D^{\tau }u_{1}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }u_{0}(t)\bigr) \bigr] \\ =& -Lp(t), \end{aligned}$$

also \(p(0)=0\), and

$$\begin{aligned} D^{\sigma -1}p(1) =& I^{\gamma } \bigl\{ k\bigl(\theta ,\phi _{p}\bigl(-D^{\tau }v _{0}(\theta )\bigr) \bigr)+\mu \bigl[\phi _{p}\bigl(-D^{\tau }v_{1}( \theta )\bigr) -\phi _{p}\bigl(-D ^{\tau }v_{0}( \theta )\bigr)\bigr] \bigr\} \\ &{}-I^{\gamma } \bigl\{ k\bigl(\theta ,\phi _{p} \bigl(-D^{\tau }u_{0}(\theta )\bigr)\bigr)+ \mu \bigl[\phi _{p}\bigl(-D^{\tau }u_{1}(\theta )\bigr) -\phi _{p}\bigl(-D^{\tau }u_{0}( \theta )\bigr)\bigr] \bigr\} \\ \geq &I^{\gamma } \bigl\{ \mu \bigl[\phi _{p} \bigl(-D^{\tau }v_{0}(\theta )\bigr) - \phi _{p} \bigl(-D^{\tau }u_{0}(\theta )\bigr)\bigr] \\ &{}+\mu \bigl[\phi _{p}\bigl(-D^{\tau }v_{1}( \theta )\bigr) -\phi _{p}\bigl(-D^{\tau }v_{0}(\theta )\bigr)\bigr] \\ &{}-\mu \bigl[\phi _{p}\bigl(-D^{\tau }u_{1}( \theta )\bigr) -\phi _{p}\bigl(-D^{\tau }u_{0}( \theta )\bigr)\bigr] \bigr\} \\ =&\mu I^{\gamma }p(\theta ). \end{aligned}$$

In view of Lemma 2.6, we have \(p(t)\geq 0\), \(\forall t\in [0,1]\). Thus we have \(\phi _{p}(-D^{\tau }v_{1}(t))\geq \phi _{p}(-D^{\tau }u_{1}(t))\), that is, \(D^{\tau }v_{1}(t)\leq D^{\tau }u_{1}(t)\), since \(\phi _{p}\) is nondecreasing. Therefore \(D^{\tau } v_{0}(t)\leq D^{\tau }v_{1}(t) \leq D^{\tau } u_{1}(t)\leq D^{\tau } u_{0}(t)\) \(\forall t\in [0,1]\) holds.

Let \(\theta (t)=v_{1}(t)-u_{1}(t)\). From (H1), we have

$$ \textstyle\begin{cases} -D^{\tau }\theta (t)=-D^{\tau }v_{1}(t)+D^{\tau }u_{1}(t)\geq 0, \\ \theta (0)=0,\qquad D^{\tau -1}\theta (1)=D^{\tau -1}v_{1}(1)-D^{\tau -1}u _{1}(1)= I^{\epsilon }v_{0}(\zeta )-I^{\epsilon }u_{0}(\zeta )\geq 0. \end{cases} $$

Moreover, we get \(v_{1}(t)\geq u_{1}(t)\), from Lemma 2.7. Hence, we have the relation \(u_{0}(t)\leq u_{1}(t)\leq v_{1}(t)\leq v_{0}(t)\), \(\forall t\in [0,1] \).

In the following, we show that \(u_{1}(t)\), \(v_{1}(t)\) are lower and upper solutions of problem (1.1), respectively. From (3.1)–(3.2) and (H2), (H3), one gets

$$\begin{aligned} -D^{\sigma }\bigl(\phi _{p}\bigl(-D^{\tau }u_{1}(t) \bigr)\bigr) =&h\bigl(t,u_{0}(t),D^{\tau }u _{0}(t)\bigr)-h\bigl(t,u_{1}(t),D^{\tau }u_{1}(t) \bigr) +h\bigl(t,u_{1}(t),D^{\tau }u_{1}(t) \bigr) \\ &{}-L\bigl[\phi _{p}\bigl(-D^{\tau }u_{1}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }u_{0}(t)\bigr) \bigr] \\ \leq &L\bigl[\phi _{p}\bigl(-D^{\tau }u_{1}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }u_{0}(t)\bigr) \bigr] \\ &{}-L\bigl[ \phi _{p}\bigl(-D^{\tau }u_{1}(t) \bigr)-\phi _{p}\bigl(-D^{\tau }u_{0}(t)\bigr) \bigr] \\ &{}+h\bigl(t,u_{1}(t),D^{\tau }u_{1}(t)\bigr) \\ =&h\bigl(t,u_{1}(t),D^{\tau }u_{1}(t)\bigr). \end{aligned}$$

Also \(D^{\tau }u_{1}(0)=0\), \(u_{1}(0)=0\), and

$$\begin{aligned}& \begin{aligned} D^{\sigma -1}\bigl(\phi _{p} \bigl(-D^{\tau }u_{1}(1)\bigr)\bigr) &=I^{\gamma } \bigl\{ k\bigl( \theta ,\phi _{p}\bigl(-D^{\tau }u_{0}( \theta )\bigr)\bigr)-k\bigl(\theta ,\phi _{p}\bigl(-D^{ \tau }u_{1}( \theta )\bigr)\bigr) \\ &\quad {}+k\bigl(\theta ,\phi _{p}\bigl(-D^{\tau }u_{1}( \theta )\bigr)\bigr) \\ &\quad {}+\mu \bigl[\phi _{p}\bigl(-D^{\tau }u_{1}( \theta )\bigr) -\phi _{p}\bigl(-D^{\tau }u_{0}( \theta )\bigr)\bigr] \bigr\} +d \\ &\leq I^{\gamma } \bigl\{ \mu \bigl[\phi _{p} \bigl(-D^{\tau }u_{0}(\theta )\bigr) - \phi _{p} \bigl(-D^{\tau }u_{1}(\theta )\bigr)\bigr] \\ &\quad {}+\mu \bigl[\phi _{p}\bigl(-D^{\tau }u_{1}( \theta )\bigr) -\phi _{p}\bigl(-D^{\tau }u_{0}(\theta )\bigr)\bigr] \\ &\quad {}+k\bigl(\theta ,\phi _{p}\bigl(-D^{\tau }u_{1}( \theta )\bigr)\bigr) \bigr\} +d \\ &=I^{\gamma }k\bigl(\theta ,\phi _{p}\bigl(-D^{\tau }u_{1}( \theta )\bigr)\bigr)+d, \end{aligned} \\& D^{\tau -1}u_{1}(1)=I^{\epsilon }u_{0}(\zeta )+e\leq I^{\epsilon }u _{1}(\zeta )+e. \end{aligned}$$

This proves that \(u_{1}(t)\) is a lower solution of the problem (1.1). Similarly, we find that \(v_{1}(t)\) is an upper solution of (1.1).

Using mathematical induction, we see that

$$ u_{0}(t)\leq u_{1}(t)\leq \cdots \leq u_{n}(t) \leq \cdots \leq v_{n}(t) \leq \cdots \leq v_{1}(t)\leq v_{0}(t) $$

and

$$ D^{\tau }v_{0}(t)\leq D^{\tau }v_{1}(t) \leq \cdots \leq D^{\tau }v _{n}(t) \leq \cdots \leq D^{\tau }u_{n}(t)\leq \cdots \leq D^{\tau }u _{1}(t)\leq D^{\tau }u_{0}(t), $$

for \(t\in [0,1]\) and \(n=1,2,3,\ldots \) .

Since the space of solutions is \(C_{\tau }[0,1]\), the sequences \(\{u_{n}\}\) and \(\{v_{n}\}\) are uniformly bounded and equi-continuous. The Arzela–Ascoli theorem guarantees that they are relatively compact sets in the space \(C_{\tau }[0,1]\). Therefore, \(\{u_{n}\}\) and \(\{v_{n}\}\) converge, say to \(u^{*}(t)\) and \(v^{*}(t)\), uniformly on \([0,1]\), respectively. That is,

$$ \lim_{n\rightarrow \infty }u_{n}(t)=u^{*}(t),\qquad \lim_{n\rightarrow \infty }v_{n}(t)=v^{*}(t), $$

and

$$ \lim_{n\rightarrow \infty }D^{\tau }u_{n}(t)=D^{\tau }u^{*}(t), \qquad \lim_{n\rightarrow \infty }D^{\tau }v_{n}(t)=D^{\tau }v^{*}(t), $$

uniformly on \(t\in [0,1]\). Moreover, from (3.1) and (3.2), we find that \(u^{*}(t)\) and \(v^{*}(t)\) are solutions of problem of (1.1).

Finally, we prove that \(u^{*}(t)\), \(v^{*}(t)\) are the minimal and maximal solutions of problem (1.1), respectively. Let \(u(t)\in [u_{0},v_{0}]\) be any solution of the problem (1.1). We suppose that \(u_{n}(t) \leq u(t)\leq v_{n}(t)\), \(D^{\tau }v_{n}(t)\leq D^{\tau }u(t)\leq D^{ \tau }u_{n}(t)\) \(\forall t\in [0,1]\) for some n. Let \(y(t)=\phi _{p}(-D ^{\tau }u(t))-\phi _{p}(-D^{\tau }u_{n+1}(t))\), \(x(t)=\phi _{p}(-D^{ \tau }v_{n+1}(t))-\phi _{p}(-D^{\tau }u(t))\). Then, by assumptions (H2) and (H3), we see that

$$\begin{aligned} -D^{\sigma }y(t) =&h\bigl(t,u(t),D^{\tau }u(t)\bigr)-h \bigl(t,u_{n}(t),D^{\tau }u _{n}(t)\bigr) \\ &{}+L \bigl[\phi _{p}\bigl(-D^{\tau }u_{n+1}(t)\bigr)- \phi _{p}\bigl(-D^{\tau }u_{n}(t)\bigr)\bigr] \\ \geq &-L\bigl[\phi _{p}\bigl(-D^{\tau }u(t)\bigr)-\phi _{p}\bigl(-D^{\tau }u_{n}(t)\bigr)\bigr] \\ &{}+L \bigl[ \phi _{p}\bigl(-D^{\tau }u_{n+1}(t)\bigr)- \phi _{p}\bigl(-D^{\tau }u_{n}(t)\bigr)\bigr] \\ =&-Ly(t), \end{aligned}$$

also \(y(0)=0\), and

$$\begin{aligned} D^{\sigma -1}y(1) =&I^{\gamma }k\bigl(\theta ,\phi _{p} \bigl(-D^{\tau }u(\theta )\bigr)\bigr)-I^{\gamma } \bigl\{ k\bigl( \theta ,\phi _{p}\bigl(-D^{\tau }u_{n}(\theta ) \bigr)\bigr) \\ &{}+ \mu \bigl[\phi _{p}\bigl(-D^{\tau }u_{n+1}( \theta )\bigr)-\phi _{p}\bigl(-D^{\tau }u_{n}( \theta )\bigr)\bigr] \bigr\} \\ =&I^{\gamma } \bigl\{ k\bigl(\theta ,\phi _{p} \bigl(-D^{\tau }u(\theta )\bigr)\bigr)-k\bigl( \theta ,\phi _{p}\bigl(-D^{\tau }u_{n}(\theta )\bigr)\bigr) \\ &{}-\mu \bigl[\phi _{p}\bigl(-D^{\tau }u _{n+1}( \theta )\bigr)-\phi _{p}\bigl(-D^{\tau }u_{n}( \theta )\bigr)\bigr] \bigr\} \\ \geq &I^{\gamma } \bigl\{ \mu \bigl[\phi _{p} \bigl(-D^{\tau }u(\theta )\bigr)-\phi _{p} \bigl(-D^{\tau }u_{n}(\theta )\bigr)\bigr] \\ &{}-\mu \bigl[\phi _{p}\bigl(-D^{\tau }u_{n+1}( \theta )\bigr)-\phi _{p}\bigl(-D^{\tau }u_{n}(\theta )\bigr)\bigr] \bigr\} \\ =&\mu I^{\gamma }y(\theta ). \end{aligned}$$

On the other hand

$$ \textstyle\begin{cases} -D^{\sigma }x(t)\geq -Lx(t), \\ x(0)=0, \\ D^{\sigma -1}x(1)\geq \mu I^{\gamma }x(\theta ). \end{cases} $$

Using Lemma 2.6, we have

$$ D^{\tau }v_{n+1}(t)\leq D^{\tau }u(t)\leq D^{\tau }u_{n+1}(t). $$
(3.4)

Let \(m(t)=u(t)-u_{n+1}(t)\), \(\xi (t)=v_{n+1}(t)-u(t)\), by (3.4), we get

$$ \textstyle\begin{cases} -D^{\tau }m(t)=-D^{\tau }u(t)+D^{\tau }u_{n+1}(t)\geq 0, \quad t\in [0,1], \\ m(0)=0, \\ D^{\tau -1}m(1)=D^{\tau -1}u(1)-D^{\tau -1}u_{n+1}(1) =I^{\epsilon }u( \zeta )-I^{\epsilon }u_{n}(\zeta ) \geq 0, \end{cases} $$

and

$$ \textstyle\begin{cases} -D^{\tau }\xi (t)\geq 0, \quad t\in [0,1], \\ \xi (0)=0, \\ D^{\tau -1}\xi (1) \geq 0. \end{cases} $$

These results and Lemma 2.7 imply that \(u_{n+1}(t)\leq u(t)\leq v_{n+1}(t)\), \(t \in [0,1]\), so by induction \(u^{*}(t)\leq u(t)\leq v^{*}(t)\), \(D^{ \tau }v^{*}(t)\leq D^{\tau }u(t)\leq D^{\tau }u^{*}(t)\), \(t\in [0,1]\) by taking as \(n\longrightarrow \infty \). The proof is complete. □

4 Iteration procedure and a numerical example

In this section, a numerical procedure is introduced to obtain an appropriate solution of (1.1). For a given accuracy δ, we take \(u_{n}\) and \(v_{n}\) as δ-accurate approximations of x and y, respectively, according to the stopping criterion \(E(N)<\delta \), where for each n, \(E(n)\) is defined by

$$ E(n)= \bigl\Vert u_{n}(t)-v_{n}(t) \bigr\Vert _{1}= \int _{0}^{1} \bigl\vert u_{n}(t)-v_{n}(t) \bigr\vert \,dt. $$

For the iteration equation (3.1), let \(\phi _{p}(-D^{\tau }u_{n+1}(t))=x _{n+1}\), and with the boundary conditions \(u_{n+1}(0)=0\), \(D^{\tau -1}u _{n+1}(1)=k\), and by Lemma 2.4,

$$ u(t)=\frac{k}{\varGamma (\tau )}t^{\tau -1}+ \int _{0}^{1}H(t,s)\phi _{q} \bigl(x _{n+1}(s)\bigr)\,ds :=Bx_{n+1}(t), $$
(4.1)

where \(k=I^{\epsilon }u_{n}(\zeta )+e=\frac{1}{\varGamma (\epsilon )}\int _{0}^{\zeta }(\zeta -s)^{\epsilon -1}u_{n}(s)\,ds+e\) and

$$ H(t,s)=\textstyle\begin{cases} t^{\tau -1}-(t-s)^{\tau -1}, &0\leq s\leq t\leq 1, \\ t^{\tau -1}, &0\leq t\leq s\leq 1. \end{cases} $$

Thus the iteration equation (3.1) can be rewritten as

$$ \textstyle\begin{cases} -D^{\sigma }x_{n+1}=-Lx_{n+1}+h(t,Bx_{n},-\phi _{q}x_{n})+Lx_{n} , \\ x_{n+1}(0)=0, \\ D^{\sigma -1}x_{n+1}(1)))=\mu I^{\gamma }x_{n+1}(\theta )+a. \end{cases} $$
(4.2)

Applying Lemma 2.1 to (4.2), we obtain

$$\begin{aligned} x_{n+1}(t) =&\frac{a\varGamma (\sigma +\gamma )}{\varGamma (\sigma )[\varGamma ( \sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}]}t^{\sigma -1} \\ &{}+ \int _{0}^{1}J(t,s)\bigl[-Lx_{n+1}(s)+h \bigl((s),Bx_{n}(s),-\phi _{q}\bigl(x_{n}(s) \bigr)\bigr)+Lx _{n}(s)\bigr]\,ds, \end{aligned}$$
(4.3)

where \(a= I^{\gamma }k(\theta ,x_{n}(\theta )) -\mu I^{\gamma }x_{n}( \theta )+d\), and

$$\begin{aligned}& J(t,s)=\frac{1}{\Delta } \textstyle\begin{cases} [\varGamma (\sigma +\gamma )-\mu (\theta -s)^{\sigma +\gamma -1}]t^{ \sigma -1} \\ \quad {}- [\varGamma (\sigma +\gamma )-\mu \theta ^{\sigma +\gamma -1}](t-s)^{ \sigma -1}, &s\leq t,s\leq \theta ; \\ \varGamma (\sigma +\gamma )t^{\sigma -1}-\mu (\theta -s)^{\sigma +\gamma -1}t^{\sigma -1}, &t\leq s\leq \theta ; \\ \varGamma (\sigma +\gamma )[t^{\sigma -1}-(t-s)^{\sigma -1}]+\mu \theta ^{\sigma +\gamma -1} (t-s)^{\sigma -1}, &\theta \leq s\leq t; \\ \varGamma (\sigma +\gamma )t^{\sigma -1}, &s\geq t,s\geq \theta , \end{cases}\displaystyle \\ & \Delta =\varGamma (\sigma )\bigl[\varGamma (\sigma +\gamma )-\mu \theta ^{\sigma +\gamma -1}\bigr]. \end{aligned}$$

Discretize the interval \([0,1]\) with the nodes \(t_{i}=ih\), \(b= \frac{1}{K}\), \(K=\mathbb{N}\). Let \(u_{n+1}^{(i)}\approx u_{n+1}(t_{i})\), \(x _{n+1}^{(i)}\approx x_{n+1}(t_{i})\), \(H(i,j)=H(t_{i},s_{j})\), \(J(i,j)=J(t _{i},s_{j})\) and \(h_{n}^{(j)}=h(s_{j},Bx_{n}(s_{j}),-\phi _{q}(x_{n}(s _{j})))+Lx_{n}(s_{j})\). Using the trapezoidal quadrature rule to approximate the integral in the right hand sides of (4.3) and (4.1), we obtain the following linear systems of equations:

$$\begin{aligned} x_{n+1}^{(i)} =&\frac{a\varGamma (\sigma +\gamma )}{\varGamma (\sigma )[ \varGamma (\sigma +\gamma )-\mu \theta ^{\sigma +\gamma -1}]}t_{i}^{ \sigma -1} -\frac{b}{2}\sum_{j=0}^{K}LJ(i,j)d_{j}x_{n+1}^{(j)} \\ &{}+ \frac{b}{2}\sum_{j=0}^{K}J(i,j)d_{j}h_{n}^{(j)} ,\quad 0\leq i\leq K, \end{aligned}$$
(4.4)

and

$$ u_{n+1}^{(i)}=Bx_{n+1}^{(i)}= \frac{k}{\varGamma (\tau )}t_{i}^{\tau -1} + \frac{b}{2} \sum_{j=0}^{K}H(i,j)d_{j} \phi _{q}\bigl(x_{n+1}^{(j)}\bigr) ,\quad 0\leq i\leq K, $$
(4.5)

for the unknown \(x_{n+1}^{(i)}\), \(u_{n+1}^{(i)}\), \(0\leq i\leq K\), where \(\{d_{j}\}\) are the coefficients in the rule\(,d_{0}=d_{K}=1\), \(d_{j}=2\) for \(0\leq i\leq K-1\).

Setting \(J_{ij}=\frac{b}{2}J(i,j)d_{j}\), \(H_{ij}=\frac{b}{2}H(i,j)d _{j}\), the matrix \(\varPhi =(J_{ij})\), \(A=\mathbb{I}+L\varPhi \), and \(G=(H_{(ij)})\) with \(\mathbb{I}\) the identity matrix. The systems (4.4) and (4.5) can be written as a system of matrix-vector equations

$$ \textstyle\begin{cases} A\overrightarrow{x}_{n+1}=\frac{a\varGamma (\sigma +\gamma )}{\varGamma ( \sigma )[\varGamma (\sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}]}S ^{\sigma -1}+\overrightarrow{F}_{n}, \\ \overrightarrow{U}_{n+1}=\frac{k}{\varGamma (\tau )}S^{\sigma -1}+G\phi _{q}(\overrightarrow{x}_{n+1}), \end{cases} $$

where \(\overrightarrow{x}_{n+1}=[{x}_{n+1}^{(0)},{x}_{n+1}^{(1)}, \ldots ,{x}_{n+1}^{(K)}] \), \(\overrightarrow{U}_{n+1}=[{u}_{n+1}^{(0)}, {u}_{n+1}^{(1)},\ldots ,{u}_{n+1}^{(K)}]\), \(S=[t_{0},t_{1},\ldots ,t _{K}]^{T}\) and \(\overrightarrow{F}_{n}\) is a column vector of its component \(F_{n}^{i}=\frac{b}{2}\sum_{j=0}^{K}J(i,j)d_{j}h_{n} ^{(j)}\).

Example 4.1

Consider the following fractional boundary value problem:

$$ \textstyle\begin{cases} -D^{\frac{5}{4}}(\phi _{4}(-D^{\frac{3}{2}}u(t)))= - \frac{1}{2(1+t)^{3}}(-D^{\frac{3}{2}}u)^{3}+tu, \quad 0< t< 1, \\ D^{\frac{3}{2}}u(0)=0, \\ D^{\frac{1}{4}}(\phi _{4}(-D^{\frac{3}{2}}u(1))) \\ \quad =I^{\frac{5}{4}}k( \frac{1}{4},\phi _{4}(-D^{\frac{3}{2}}u(\frac{1}{4})))+0.1 \\ \quad =\frac{1}{ \varGamma (\frac{5}{4})} \int _{0}^{\frac{1}{4}}(\frac{1}{4}-s)^{ \frac{1}{4}}(s+1)(\phi _{4}(-D^{\frac{3}{2}}u(s)))\,ds+0.1, \\ u(0)=0, \qquad D^{\frac{1}{2}}u(1)= \frac{1}{\varGamma (\frac{3}{2})}\int _{0}^{ \frac{1}{2}}(\frac{1}{2}-s)^{\frac{1}{2}}u(s)\,ds+0.2, \end{cases} $$
(4.6)

where \(\sigma =\frac{5}{4}\), \(\tau =\frac{3}{2}\), \(\gamma =\frac{5}{4}\), \(\epsilon =\frac{3}{2}\), \(\theta =\frac{1}{4} \), \(\zeta =\frac{1}{2}\), \(d=0.1\), \(e=0.2\), \(p=4\), and

$$ \textstyle\begin{cases} h(t,u,D^{\frac{3}{2}}u)=-\frac{1}{2(1+t)^{3}}(-D^{\frac{3}{2}}u)^{3}+tu, \\ k(t,\phi _{4}(-D^{\frac{3}{2}}u))=(t+1)\phi _{4}(-D^{\frac{3}{2}}u). \end{cases} $$

Take \(u_{0}(t)=\frac{1}{2}t^{\frac{1}{2}}\), \(v_{0}(t)=2t^{\frac{1}{2}}-\frac{\sqrt{ \varPi }}{4}t^{2}+\frac{8}{15\sqrt{\varPi }}t^{\frac{5}{2}}\), then \(-1\leq -t^{\frac{1}{2}}+t=D^{\frac{3}{2}}v_{0}(t)\leq D^{\frac{3}{2}}u _{0}(t)=0\). It is not difficult to verify that \(u_{0}\), \(v_{0}\) are lower and upper solutions of problem (4.6), respectively. So (H1) holds. In addition, we have

$$\begin{aligned}& h\bigl(t,u(t),D^{\frac{3}{2}}u(t)\bigr)-h\bigl(t,v(t),D^{\frac{3}{2}}v(t) \bigr) \\& \quad =- \frac{1}{2(1+t)^{3}}\bigl[-D^{\frac{3}{2}}u\bigr]^{3}+ \frac{1}{2(1+t)^{3}}\bigl[-D ^{\frac{3}{2}}v\bigr]^{3}+t(u-v) \\& \quad \leq \frac{1}{2(1+t)^{3}} \bigl[\bigl(-D^{\frac{3}{2}}v \bigr)^{3}-\bigl(-D^{ \frac{3}{2}}u\bigr)^{3} \bigr] \\& \quad \leq \frac{1}{16} \bigl[\phi _{4}\bigl(-D^{\frac{3}{2}}v \bigr) -\phi _{4}\bigl(-D^{ \frac{3}{2}}u\bigr) \bigr] \end{aligned}$$
(4.7)

and

$$\begin{aligned}& k\bigl(t,\phi _{4}\bigl(-D^{\frac{3}{2}}v\bigr)\bigr)-k\bigl(t, \phi _{4}\bigl(-D^{\frac{3}{2}}u\bigr)\bigr) \\& \quad =(t+1) \bigl[\phi _{4}\bigl(-D^{\frac{3}{2}}v\bigr)-\phi _{4}\bigl(-D^{\frac{3}{2}}u\bigr)\bigr]\geq \phi _{4}\bigl(-D^{\frac{3}{2}}v\bigr)-\phi _{4} \bigl(-D^{\frac{3}{2}}u\bigr), \end{aligned}$$
(4.8)

where \(u_{0}(t)\leq u(t)\leq v(t)\leq v_{0}(t)\). Therefore (H2) and (H3) hold.

From (4.7) and (4.8), we have \(L=\frac{1}{16}\), \(\mu =1\). Then

$$\begin{aligned}& \varGamma (\sigma +\gamma )=\varGamma \biggl(\frac{5}{4}+ \frac{5}{4}\biggr)=\varGamma \biggl( \frac{5}{2}\biggr)\approx 1.3293>\mu \theta ^{\sigma +\gamma -1}=1\cdot \biggl( \frac{1}{4} \biggr)^{\frac{3}{2}}=0.125, \\& \begin{aligned} 2\varGamma (\sigma +\gamma ) \vert L \vert &=2\cdot \varGamma \biggl( \frac{5}{2}\biggr)\cdot \frac{1}{16}\approx 0.1662 < \varGamma ( \sigma )\bigl[\varGamma (\sigma +\gamma )- \mu \theta ^{\sigma +\gamma -1}\bigr] \\ &= \varGamma \biggl(\frac{5}{4}\biggr)\biggl[\varGamma \biggl( \frac{5}{2} \biggr)-1\cdot \biggl(\frac{1}{4}\biggr)^{\frac{3}{2}}\biggr]\approx 1.1609, \end{aligned} \\& \varGamma (2-\sigma )\cdot t^{\sigma }\cdot L=\varGamma \biggl( \frac{3}{4}\biggr) \cdot t^{\sigma }\cdot \frac{1}{16} >1-\sigma =-\frac{1}{4}, \\& \varGamma (2-\sigma )\mu \theta ^{\gamma }=\varGamma \biggl( \frac{3}{4}\biggr)\cdot 1 \cdot \biggl(\frac{1}{4} \biggr)^{\frac{5}{4}}\approx 0.2332 < \varGamma (\gamma )= \varGamma \biggl( \frac{5}{4}\biggr)\approx 0.9064. \end{aligned}$$

It appears that (H4), (H5) and (H6) hold. By Theorem 3.1, the boundary value problem (4.6) has extremal solutions in \([u_{0}(t),v_{0}(t)]\).

Applying the numerical scheme to Example 4.1, we obtain approximate solutions to \({u_{n}}\) and \({v_{n}}\) for \(1\leq n\leq N\), with N some integer. The graphs of to \({u_{n}}\) and \({v_{n}}\) for \(n=0,1,2,3,4,34\) are shown in Fig. 1. Computed error values \(E(n)\) are displayed in Table 1. We found that, for \(\delta =10^{-10}\), it took \(N=34 \) iterations for \(E(N)<\delta \).

Figure 1
figure 1

Graph \(U_{n}\) and \(V_{n}\)

Table 1 \(E(n)=6n+4\), \(n=0,1,2,3,4,5\)

References

  1. 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, Article ID 971824 (2010)

    MathSciNet  MATH  Google Scholar 

  2. Lu, H., Han, Z., Sun, S.: Multiplicity of positive solutions for Sturm–Liouville boundary value problems of fractional differential equations with p-Laplacian. Bound. Value Probl. 2014, 26 (2014)

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  4. Zhang, X., Wang, L., Sun, Q.: Existence of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions and a parameter. Appl. Math. Comput. 226, 708–718 (2014)

    MathSciNet  MATH  Google Scholar 

  5. Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a fractional order model of turbulent flow in a porous medium. Appl. Math. Lett. 37, 26–33 (2014)

    Article  MathSciNet  Google Scholar 

  6. Zhang, X., Liu, L., Wiwatannapataphee, B., Wu, Y.: The eigenvalue for a class of singular p-Laplacian fractional different equations involving the Riemann–Stieltjes integral boundary condition. Appl. Math. Comput. 235, 412–422 (2014)

    MathSciNet  Google Scholar 

  7. He, Y.: Extremal solutions for a coupled system of nonlinear fractional differential equations with p-Laplacian operator. J. Comput. Anal. Appl. 27, 671–680 (2019)

    Google Scholar 

  8. Wang, Y., Liu, L., Zhang, X., Wu, Y.: Positive solutions for an abstract fractional semipositone differential system model for bioprocesses of HIV infection. Appl. Math. Comput. 258, 312–324 (2015)

    MathSciNet  MATH  Google Scholar 

  9. Ahmad, B., Nieto, J.J.: Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions. Bound. Value Probl. 2009, Article ID 708576 (2009)

    MathSciNet  MATH  Google Scholar 

  10. Ladde, G.S., Lakshmikantham, V., Vatsala, A.S.: Monotone Iterative Techniques for Nonlinear Differential Equations. Pitman, Boston (1985)

    MATH  Google Scholar 

  11. Nieto, J.J.: An abstract monotone iterative technique. Nonlinear Anal., Theory Methods Appl. 28, 1923–1933 (1997)

    Article  MathSciNet  Google Scholar 

  12. Ahmad, B., Alghanmi, M., Nieto, J.J., Alsaedi, A.: On impulsive nonlocal integro-initial value problems involving multi-order Caputo-type generalized fractional derivatives and generalized fractional integrals. Adv. Differ. Equ. 2019, 247 (2019)

    Article  MathSciNet  Google Scholar 

  13. Alsaedi, A., Ahmad, B., Alghanmi, M.: Extremal solutions for generalized Caputo fractional differential equations with Stieltjes-type fractional integro-initial conditions. Appl. Math. Lett. 91, 113–120 (2019)

    Article  MathSciNet  Google Scholar 

  14. Han, Z., Lu, H., Zhang, C.: Positive solutions for eigenvalue problems for fractional differential equation with generalized p-Laplacian. Appl. Math. Comput. 257, 526–536 (2015)

    MathSciNet  MATH  Google Scholar 

  15. Zhang, L., Ahmad, B., Wang, G.: Explicit iterations and extremal solutions for fractional differential equations with nonlinear integral boundary conditions. Appl. Math. Comput. 268, 388–392 (2015)

    MathSciNet  MATH  Google Scholar 

  16. Tian, Y., Nieto, J.J.: The applications of critical-point theory to discontinuous fractional-order differential equations. Proc. Edinb. Math. Soc. 60, 1021–1051 (2017)

    Article  MathSciNet  Google Scholar 

  17. Wang, G.: Explicit iteration and unbounded solutions for fractional integral boundary value problem on an infinite interval. Appl. Math. Lett. 17, 1–7 (2015)

    MathSciNet  MATH  Google Scholar 

  18. He, Y.: Existence results and the monotone iterative technique for nonlinear fractional differential systems involving fractional integral boundary conditions. Adv. Differ. Equ. 2017, 264 (2017)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors sincerely thank the editor and reviewers for their valuable suggestions and useful comments to improve the manuscript.

Funding

This work is supported by Fostering Foundation of Northeast Petroleum University (No. 2017PYYL-08).

Author information

Authors and Affiliations

Authors

Contributions

The authors have equally made contributions. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Ying He.

Ethics declarations

Competing interests

The authors declare to 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

He, Y., Bi, B. Existence and iteration of positive solution for fractional integral boundary value problems with p-Laplacian operator. Adv Differ Equ 2019, 415 (2019). https://doi.org/10.1186/s13662-019-2317-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2317-8

MSC

Keywords