Skip to main content

Positive solutions for a boundary value problem of fractional differential equation with p-Laplacian operator

Abstract

In this paper, the existence of a positive solution to a boundary value problem of fractional differential equations with the p-Laplacian operator is studied. By applying a monotone iterative method, some existence results of positive solutions are obtained. In addition, an example is included to illustrate the main results.

Introduction

In this paper, we consider the following boundary value problem of fractional differential equations with a p-Laplacian operator:

$$\begin{aligned}& D^{\gamma } \bigl(\phi _{p} \bigl(D^{\alpha }u(t) \bigr) \bigr)=f \bigl(t, u(t) \bigr), \quad 0< t< 1, \end{aligned}$$
(1.1)
$$\begin{aligned}& u(0)=D^{\alpha }u(0)=0, \qquad D^{\beta }u(1)=a D^{\beta }u( \xi ),\qquad D ^{\alpha }u(1)=bD^{\alpha }u(\eta ), \end{aligned}$$
(1.2)

where \(\alpha , \beta , \gamma \in \mathbb{R}\); \(1<\alpha \), \(\gamma \leq 2\); \(\beta >0\) and \(1 + \beta \leq \alpha \); \(\xi , \eta \in (0, 1)\); \(a, b\in [0, +\infty )\); \(1-a\xi ^{\alpha -\beta -1}>0; 1-b^{p-1} \eta ^{\gamma -1}>0\) and \(\phi _{p}(s)=|s|^{p-2}s\), \(p>1\), \(\phi _{q} = (\phi _{p})^{-1}\), \(\frac{1}{p} + \frac{1}{q}=1\), \(D^{\alpha }\) is the Riemann–Liouville differentiation and \(f \in C([0, 1]\times [0, + \infty ), [0, +\infty ))\).

Fractional differential equations arise in many engineering and scientific disciplines as the mathematical modeling of systems and processes in the fields of physics, chemistry, aerodynamics, electrodynamics of a complex medium, polymer rheology, etc. Fractional differential equations also serve as an excellent tool for the description of hereditary properties of various materials and processes. In consequence, fractional differential equations have been of great interest. For details, see fractional two-point boundary value problems [29, 31, 32, 35, 57, 64], fractional boundary value problems at resonance [5, 8, 67, 69, 71], fractional multi-point problems with nonresonance [5, 8, 44, 48, 58, 61, 68], fractional initial value problems [6, 7, 34], fractional impulsive problems [48, 72], fractional integral boundary value problems [14, 40, 46, 62], fractional p-Laplace problems [15, 18, 20,21,22, 28, 36, 39, 45, 47, 49, 50, 52, 60, 65, 66, 70], fractional problems with lower and upper solution [7, 39, 51, 59], fractional control problems, [41, 43, 53,54,55,56], fractional soliton problems [19, 24, 26, 42], fractional singular problems [17, 27, 30, 37, 38, 63].

On the other hand, the differential equations with p-Laplacian operator arise in the modeling of different physical and natural phenomena, non-Newtonian mechanics, nonlinear elasticity and glaciology, population biology, nonlinear flow laws, and system of Monge–Kantorovich partial differential equations. There are a very large number of papers devoted to the existence of solutions of the p-Laplacian operator [15, 18, 20,21,22, 28, 36, 39, 45, 47, 49, 50, 52, 60, 65, 66]. The approaches are mainly topological, fixed-point and continuation theorems, degree and fixed-point index theory.

In this paper, we study the existence of positive solutions for boundary value problem (1.1), by applying a monotone iterative method, some existence results of positive solutions are obtained. In the light of the above and to the best o four knowledge, this is the first study which discuss fractional p-Laplacian with lower and upper solution method. Taking into account that sometimes the corresponding research about the Riesz fractional derivative is interesting, see [16, 25], in the future work, we will focus our concentration on the Riesz derivative. Also, the reader can find some new methods for approximate solutions of fractional integro-differential equations involving the Caputo–Fabrizio derivative or extended fractional Caputo–Fabrizio derivative [1,2,3,4, 9,10,11,12,13, 23, 33]. The approximation solutions are interesting and need more concentration.

The organization of this paper is as follows. In Sect. 2, we present some necessary definitions from fractional calculus theory. In Sect. 3, we prove the main results about the existence of positive solution of the boundary value problem (1.1). In Sect. 4, we will give an example to illustrate our main results.

Preliminaries

In this section, we present some necessary definitions from fractional calculus theory.

Definition 2.1

([32])

The Riemann–Liouville fractional integral of a function \(x: (0, +\infty )\to \mathbb{R}\) of order \(\alpha >0\) is given by

$$ I^{\alpha }x(t)=\frac{1}{\varGamma (\alpha )} \int ^{t}_{0}(t-s)^{\alpha -1}x(s)\,ds, $$

provided the right side is pointwise defined on \((0, \infty )\).

Definition 2.2

([32])

The Riemann–Liouville fractional derivative of order \(\alpha >0\) of a continuous function \(x:(0, +\infty )\rightarrow \mathbb{R}\) is given by

$$ D^{\alpha }x(t)=\frac{1}{\varGamma (n-\alpha )} \biggl(\frac{d}{dt} \biggr) ^{n} \int ^{t}_{0}\frac{x(s)}{(t-s)^{\alpha -n+1}}\,ds, $$

where \(n=[\alpha ]+1\), \([\alpha ]\) denotes the integer part of number α, provided the right side is pointwise defined on \((0, \infty )\).

Lemma 2.1

([32])

  1. (1)

    If \(x\in L(0, 1)\), \(\rho >\sigma >0\), then

    $$ D^{\sigma }I^{\rho }x(t)=I^{\rho -\sigma }x(t), \qquad D^{\sigma }I^{\sigma }x(t)=x(t). $$
  2. (2)

    If \(\rho >0\), \(\lambda >0\), then

    $$ D^{\rho }t^{\lambda -1}=\frac{\varGamma (\lambda )}{\varGamma (\lambda - \rho )}t^{\lambda -\rho -1}. $$

Lemma 2.2

([32])

Assume that \(x\in C(0, 1)\cap L(0, 1)\) with a fractional derivative of order \(\alpha >0\) that belongs to \(C(0, 1) \cap L(0, 1)\). Then

$$ I^{\alpha }D^{\alpha }x(t)=x(t)+c_{1} t^{\alpha -1}+c_{2} t^{\alpha -2}+ \cdots +c_{N} t^{\alpha -N}, \quad c_{i}\in \mathbb{R}, i=1, 2, \ldots , N, $$

where N is the smallest integer greater than or equal to α.

Main results

In this section, we consider the existence of positive solution for problem (1.1).

Lemma 3.1

If \(h\in C[0, 1]\), \(\alpha \in (1, 2]\), \(\beta >0\) and \(1+\beta \leq \alpha \), \(\xi \in (0, 1)\), \(a\in [0, +\infty )\), \(\mathscr{A}:=a \xi ^{\alpha -\beta -1}\), then the boundary value problem

$$\begin{aligned}& D^{\alpha }u(t)+h(t)=0, \quad 0< t< 1, \end{aligned}$$
(3.1)
$$\begin{aligned}& u(0)=0,\qquad D^{\beta }u(1)=a D^{\beta }u(\xi ), \end{aligned}$$
(3.2)

has an unique solution

$$ u(t)= \int ^{1}_{0}G(t, s)h(s)\,ds, $$
(3.3)

where

$$ G(t, s)=\textstyle\begin{cases} \frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}-(1-\mathscr{A})(t-s)^{ \alpha -1}- a t^{\alpha -1}(\xi -s)^{\alpha -\beta -1}}{\varGamma ( \alpha )(1-\mathscr{A})}, \\ 0\leq s\leq t\leq 1, s\leq \xi , \\ \frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}-(1-\mathscr{A})(t-s)^{ \alpha -1}}{\varGamma (\alpha )(1-\mathscr{A})}, \quad 0< \xi \leq s\leq t\leq 1, \\ \frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}-a t^{\alpha -1}(\xi -s)^{ \alpha -\beta -1}}{\varGamma (\alpha )(1-\mathscr{A})}, \quad 0\leq t\leq s\leq \xi < 1, \\ \frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}}{\varGamma (\alpha )(1- \mathscr{A})}, \quad 0\leq t\leq s\leq 1, \xi \leq s. \end{cases} $$
(3.4)

Proof

By applying Lemma 2.2, we can reduce Eq. (3.1) to an equivalent integral equation

$$ u(t)=-I^{\alpha }h(t)+c_{1}t^{\alpha -1}+c_{2}t^{\alpha -2}, $$
(3.5)

for some \(c_{1}, c_{2}\in \mathbb{R}\). Note that \(u(0)=0\), we have \(c_{2}=0\). Consequently the general solution of Eq. (3.1) is

$$ u(t)=-I^{\alpha }h(t)+c_{1}t^{\alpha -1}. $$
(3.6)

By (3.6) and Lemma 2.1, we have

$$ D^{\beta }u(t)=-D^{\beta }I^{\alpha }h(t)+c_{1}D^{\beta }t^{\alpha -1}=-I ^{\alpha -\beta }h(t) +c_{1}\frac{\varGamma (\alpha )}{\varGamma (\alpha - \beta )}t^{\alpha -\beta -1}. $$

So,

$$\begin{aligned}& D^{\beta }u(1)=- \int ^{1}_{0}\frac{(1-s)^{\alpha -\beta -1}}{\varGamma ( \alpha -\beta )}h(s)\,ds+ c_{1}\frac{\varGamma (\alpha )}{\varGamma (\alpha - \beta )}, \end{aligned}$$
(3.7)
$$\begin{aligned}& D^{\beta }u(\xi )=- \int ^{\xi }_{0}\frac{(\xi -s)^{\alpha -\beta -1}}{ \varGamma (\alpha -\beta )}h(s)\,ds+ c_{1}\frac{\varGamma (\alpha )}{\varGamma ( \alpha -\beta )}\xi ^{\alpha -\beta -1}. \end{aligned}$$
(3.8)

By \(D^{\beta }u(1)=a D^{\beta }u(\xi )\), combining with (3.7) and (3.8), we obtain

$$ c_{1}=\frac{1}{\varGamma (\alpha )(1-\mathscr{A})} \biggl\{ \int ^{1}_{0}(1-s)^{ \alpha -\beta -1}h(s)\,ds -a \int ^{\xi }_{0} (\xi -s)^{\alpha -\beta -1}h(s)\,ds \biggr\} . $$

So, the unique solution of the problem (3.1), (3.2) is

$$\begin{aligned} u(t) =&- \int ^{t}_{0}\frac{(t-s)^{\alpha -1}}{\varGamma (\alpha )}h(s)\,ds + \frac{t^{\alpha -1}}{\varGamma (\alpha )(1-\mathscr{A})} \biggl\{ \int ^{1}_{0}(1-s)^{\alpha -\beta -1}h(s)\,ds \\ &{}-a \int ^{\xi }_{0} (\xi -s)^{\alpha -\beta -1}h(s)\,ds \biggr\} \\ =& \int ^{1}_{0}G(t, s)h(s)\,ds . \end{aligned}$$

The proof is completed. □

Lemma 3.2

If \(h\in C[0, 1]\), \(\phi _{p}(s)=|s|^{p-2}s\), \(p>1\), \(\phi _{q}=(\phi _{p})^{-1}\), \(\frac{1}{p}+\frac{1}{q}=1\), \(\alpha , \beta , \gamma \in \mathbb{R}\), \(1< \alpha \), \(\gamma \leq 2\), \(\beta >0\) and \(1+\beta \leq \alpha \), \(0< \xi \), \(\eta <1\), \(a, b\in [0, +\infty )\), \(\mathscr{B}=:b^{p-1}\eta ^{ \gamma -1}\), then the problem

$$\begin{aligned}& D^{\gamma } \bigl(\phi _{p} \bigl(D^{\alpha }u(t) \bigr) \bigr)=h(t), \quad 0< t< 1, \end{aligned}$$
(3.9)
$$\begin{aligned}& u(0)=D^{\alpha }u(0)=0,\qquad D^{\beta }u(1)=a D^{\alpha }u(\xi ),\qquad D ^{\alpha }u(1)=bD^{\alpha }u(\eta ), \end{aligned}$$
(3.10)

has an unique solution

$$ u(t)= \int ^{1}_{0}G(t, s)\phi _{q} \biggl( \int ^{1}_{0}H(s, \tau )h( \tau )\,d\tau \biggr)\,ds, $$

where

$$ H(t, s)=\textstyle\begin{cases} \frac{[t(1-s)]^{\gamma -1}-b^{p-1}[t(\eta -s)]^{\gamma -1}- (1- \mathscr{B})(t-s)^{\gamma -1}}{(1-\mathscr{B})\varGamma ({\gamma })}, & 0\leq s\leq t\leq 1, s\leq \eta ; \\ \frac{[t(1-s)]^{\gamma -1}-(1-\mathscr{B})(t-s)^{\gamma -1}}{(1- \mathscr{B})\varGamma ({\gamma })}, & 0< \eta \leq s\leq t\leq 1; \\ \frac{[t(1-s)]^{\gamma -1}-b^{p-1}[t(\eta -s)]^{\gamma -1}}{(1- \mathscr{B})\varGamma ({\gamma })}, & 0\leq t\leq s\leq \eta < 1; \\ \frac{[t(1-s)]^{\gamma -1}}{(1-\mathscr{B})\varGamma ({\gamma })}, & 0\leq t\leq s\leq 1, \eta \leq s. \end{cases} $$
(3.11)

G(t, s) is defined by (3.4).

Proof

From Eq. (3.9), and Lemma 2.2, we have

$$ \phi _{p} \bigl(D^{\alpha }u(t) \bigr)=I^{\gamma } h(t)+d_{1}t^{\gamma -1}+d_{2}t ^{\gamma -2}, $$
(3.12)

for some \(d_{1}, d_{2}\in \mathbb{R}\). Note that \(D^{\beta }u(0)=0\), we have \(d_{2}=0\), then

$$ \phi _{p} \bigl(D^{\alpha }u(t) \bigr)=\frac{1}{\varGamma (\gamma )} \int ^{t}_{0}(t- \tau )^{\gamma -1}h(\tau ) \,d\tau +d_{1}t^{\gamma -1}. $$
(3.13)

So,

$$\begin{aligned}& \phi _{p} \bigl(D^{\alpha }u(1) \bigr)=\frac{1}{\varGamma (\gamma )} \int ^{1}_{0}(1- \tau )^{\gamma -1}h(\tau ) \,d\tau +d_{1}, \end{aligned}$$
(3.14)
$$\begin{aligned}& \phi _{p} \bigl(D^{\alpha }u(\eta ) \bigr)= \frac{1}{\varGamma (\gamma )} \int ^{\eta } _{0}(\eta -\tau )^{\gamma -1}h( \tau )\,d\tau +d_{1}\eta ^{\gamma -1}. \end{aligned}$$
(3.15)

By \(D^{\alpha }u(1)=bD^{\alpha }u(\eta )\), combining with (3.14) and (3.15), we have

$$ d_{1}=- \int ^{1}_{0}\frac{(1-\tau )^{\gamma -1}}{\varGamma (\gamma )(1- \mathscr{B})}h(\tau )\,d \tau + \int ^{\eta }_{0} \frac{b^{p-1}(\eta - \tau )^{\gamma -1}}{\varGamma (\gamma )(1-\mathscr{B})}h(\tau )\,d \tau . $$

So, the unique solution of problem (3.1), (3.2) is

$$\begin{aligned} \phi _{p} \bigl(D^{\alpha }u(t) \bigr) =& \int ^{t}_{0}\frac{(t-\tau )^{\gamma -1}}{ \varGamma (\gamma )}h(\tau )\,d \tau - \int ^{1}_{0}\frac{t^{\gamma -1}(1- \tau )^{\gamma -1}}{\varGamma (\gamma )(1-\mathscr{B})}h(\tau )\,d \tau \\ &{}+ \int ^{\eta }_{0} \frac{b^{p-1}t^{\gamma -1}(\eta -\tau )^{\gamma -1}}{ \varGamma (\gamma )(1-\mathscr{B})}h(\tau )\,d \tau \\ =&- \int ^{1}_{0}H(t, \tau )h(\tau )\,d\tau . \end{aligned}$$

Therefore,

$$ D^{\alpha }u(t)+\phi _{q} \biggl( \int ^{1}_{0}H(t, \tau )h(\tau )\,d\tau \biggr)=0. $$

Combining with the boundary conditions \(u(0)=0\), \(D^{\beta }u(1)=a D ^{\alpha }u(\xi ) \), by Lemma 3.1, we obtain the unique solution of problem (3.9), (3.10)

$$ u(t)= \int ^{1}_{0}G(t, s)\phi _{q} \biggl( \int ^{1}_{0}H(s, \tau )h( \tau )\,d\tau \biggr)\,ds. $$

The proof is completed. □

Lemma 3.3

Suppose \(1-\mathscr{A}>0\), \(1-\mathscr{B}>0\). The functions \(G(t, s)\) and \(H(t, s)\) have the following properties:

  1. (1)

    \(G(t, s), H(t, s)\in C([0, 1]\times [0, 1])\) and \(G(t, s)>0\), \(H(t, s)>0\) for \(t, s\in (0, 1)\);

  2. (2)

    there exist functions \(\omega , \omega _{1}\in C((0, 1), (0, + \infty ))\) such that

    $$ \omega (s)\geq \max_{0\leq t\leq 1}G(t, s),\qquad \omega _{1}(s) \geq \max_{0\leq t\leq 1}H(t, s), $$

where

$$\begin{aligned}& g(t, s)=\frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}-(t-s)^{\alpha -1}}{ \varGamma (\alpha )}, \\& g_{1}(t, s)=\frac{[t(1-s)]^{\gamma -1}-(t-s)^{\gamma -1}}{\varGamma ( \gamma )}, \\& \omega (s)=g(s, s)+\frac{\mathscr{A}(1-s)^{\alpha -\beta -1}}{\varGamma (\alpha )(1-\mathscr{A})}, \qquad \omega _{1}(s)=g_{1}(s, s)+\frac{\mathscr{B}(1-s)^{\gamma -1}}{\varGamma (\gamma )(1-\mathscr{B})}, \quad s\in (0, 1). \end{aligned}$$

Proof

It is obvious that \(g(t, s)>0\), \(g_{1}(t, s)>0\) for \(s, t\in (0, 1)\). We note that \(g(t, s)\), \(g_{1}(t, s)\) are decreasing with respect to t for \(s\leq t\) and increasing with respect to t for \(t\leq s\). Hence,

$$\begin{aligned}& \max_{0\leq t\leq 1}g(t, s)=g(s, s)=\frac{s^{\alpha -1}(1-s)^{ \alpha -\beta -1}}{\varGamma (\alpha )}, \quad s\in (0, 1); \\& \max_{0\leq t\leq 1}g_{1}(t, s)=g_{1}(s, s)= \frac{s^{\gamma -1}(1-s)^{ \gamma -1}}{\varGamma (\gamma )}, \quad s\in (0, 1). \end{aligned}$$

We first prove the statement (1). From the definitions of \(G(t, s)\) and \(H(t, s)\), it is clear that \(G(t, s)\), \(H(t, s) \in C([0, 1]\times [0, 1])\).

For \(0< s\leq t<1\), \(s\leq \xi \), we have

$$\begin{aligned} G(t, s) =&\frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}-(1-\mathscr{A})(t-s)^{ \alpha -1}- a t^{\alpha -1}(\xi -s)^{\alpha -\beta -1}}{\varGamma ( \alpha )(1-\mathscr{A})} \\ =&\frac{1}{\varGamma (\alpha )} \biggl(1+\frac{\mathscr{A}}{1- \mathscr{A}} \biggr)t^{\alpha -1}(1-s)^{\alpha -\beta -1}- \frac{(t-s)^{ \alpha -1}}{\varGamma (\alpha )} \\ &{}-\frac{a t^{\alpha -1}(\xi -s)^{\alpha -\beta -1}}{\varGamma (\alpha )(1- \mathscr{A})} \\ =&\frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}-(t-s)^{\alpha -1}}{ \varGamma (\alpha )} \\ &{}+\frac{a t^{\alpha -1}[\xi ^{\alpha -\beta -1}(1-s)^{\alpha -\beta -1}-( \xi -s)^{\alpha -1}]}{\varGamma (\alpha )(1-\mathscr{A})} \\ \geq &g(t, s)+ \frac{a t^{\alpha -1}}{\varGamma (\alpha )(1-\mathscr{A})}g(\xi , s) \\ >&0. \end{aligned}$$

By using an analogous argument, we have \(G(t, s)>0\) for \(0<\xi \leq s \leq t<1\) or \(0< t\leq s\leq \xi <1\) or \(0< t\leq s<1\), \(\xi \leq s\).

Hence, \(G(t, s)>0\) for \(t, s\in (0, 1)\).

For \(0< s\leq t< 1\), \(s\leq \eta \), we have

$$\begin{aligned} H(t, s) =&\frac{[t(1-s)]^{\gamma -1}-b^{p-1}[t(\eta -s)]^{\gamma -1}- (1-\mathscr{B})(t-s)^{\gamma -1}}{\varGamma ({\gamma })(1-\mathscr{B})} \\ =& \biggl(1+\frac{\mathscr{B}}{1-\mathscr{B}} \biggr)\frac{[t(1-s)]^{ \gamma -1}}{\varGamma ({\gamma })}- \frac{(t-s)^{\gamma -1}}{\varGamma ( \gamma )} -\frac{b^{p-1}[t(\eta -s)]^{\gamma -1}}{\varGamma ({\gamma })(1- \mathscr{B})} \\ =&\frac{[t(1-s)]^{\gamma -1}-(t-s)^{\gamma -1}}{\varGamma (\gamma )} +\frac{b ^{p-1}t^{\gamma -1}[\eta ^{\gamma -1} (1-s)^{\gamma -1}-(\eta -s)^{ \gamma -1}]}{\varGamma ({\gamma })(1-\mathscr{B})} \\ =&g_{1}(t, s) +\frac{b^{p-1}t^{\gamma -1}}{1-\mathscr{B}}g_{1}( \eta , s) \\ >&0. \end{aligned}$$

Similarly, \(H(t, s)>0\) for \(0<\eta \leq s\leq t<1\) or \(0< t\leq s \leq \eta <1\) or \(0< t\leq s<1\), \(\eta \leq s\).

Hence, \(H(t, s)>0\) for \(t, s\in (0, 1)\).

Now follows the proof of the statement (2).

For \(0\leq s\leq t\leq 1\), \(s\leq \xi \), one has

$$\begin{aligned}& \max_{0\leq t\leq 1}G(t, s) \\& \quad =\max_{0\leq t\leq 1} \biggl(g(t, s)+\frac{a t^{\alpha -1}[ \xi ^{\alpha -\beta -1}(1-s)^{\alpha -\beta -1}-(\xi -s)^{\alpha -1}]}{ \varGamma (\alpha )(1-\mathscr{A})} \biggr) \\& \quad \leq g(s, s)+\frac{\mathscr{A}(1-s)^{\alpha -\beta -1}}{\varGamma ( \alpha )(1-\mathscr{A})}=\omega (s). \end{aligned}$$

For \(0<\xi \leq s\leq t\leq 1\), one has

$$\begin{aligned}& \max_{0\leq t\leq 1}G(t, s) \\& \quad =\max_{0\leq t\leq 1}\frac{t^{\alpha -1}(1-s)^{\alpha - \beta -1}-(1-\mathscr{A})(t-s)^{\alpha -1}}{\varGamma (\alpha )(1- \mathscr{A})} \\& \quad =\max_{0\leq t\leq 1} \biggl(\frac{1}{\varGamma (\alpha )} \biggl(1+ \frac{ \mathscr{A}}{1-\mathscr{A}} \biggr)t^{\alpha -1}(1-s)^{\alpha -\beta -1}- \frac{(t-s)^{\alpha -1}}{\varGamma (\alpha )} \biggr) \\& \quad \leq g(s, s)+\frac{\mathscr{A}(1-s)^{\alpha -\beta -1}}{\varGamma ( \alpha )(1-\mathscr{A})}=\omega (s). \end{aligned}$$

For \(0\leq t\leq s\leq \xi <1\),

$$\begin{aligned}& \max_{0\leq t\leq 1}G(t, s) \\& \quad =\max_{0\leq t\leq 1}\frac{t^{\alpha -1}(1-s)^{\alpha - \beta -1}-a t^{\alpha -1}(\xi -s)^{\alpha -\beta -1}}{\varGamma (\alpha )(1-\mathscr{A})} \\& \quad =\max_{0\leq t\leq 1} \biggl(\frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}}{\varGamma (\alpha )} + \frac{a t^{\alpha -1}[(\xi - \xi s)^{ \alpha -\beta -1}-(\xi -s)^{\alpha -1}]}{\varGamma (\alpha )(1- \mathscr{A})} \biggr) \\& \quad \leq g(s, s)+\frac{\mathscr{A}(1-s)^{\alpha -\beta -1}}{\varGamma ( \alpha )(1-\mathscr{A})}=\omega (s). \end{aligned}$$

For \(0\leq t\leq s\leq 1\), \(\xi \leq s\),

$$\begin{aligned} \max_{0\leq t\leq 1}G(t, s) =&\max_{0\leq t\leq 1} \frac{t ^{\alpha -1}(1-s)^{\alpha -\beta -1}}{\varGamma (\alpha )(1-\mathscr{A})} \\ =&\max_{0\leq t\leq 1} \biggl(\frac{1}{\varGamma (\alpha )} \biggl(1+ \frac{ \mathscr{A}}{1-\mathscr{A}} \biggr)t^{\alpha -1}(1-s)^{\alpha -\beta -1} \biggr) \\ \leq &g(s, s)+\frac{\mathscr{A}(1-s)^{\alpha -\beta -1}}{\varGamma ( \alpha )(1-\mathscr{A})}=\omega (s). \end{aligned}$$

So,

$$ \max_{0\leq t\leq 1}G(t, s)\leq \omega (s), \quad s\in (0, 1). $$

For \(0\leq s\leq t\leq 1\), \(s\leq \eta \), one has

$$\begin{aligned} \max_{0\leq t\leq 1}H(t, s) \leq &\max_{0\leq t\leq 1} \biggl(g_{1}(t, s) +\frac{b^{p-1}t^{\gamma -1}}{1-\mathscr{B}}g_{1}( \eta , s) \biggr) \\ \leq &g_{1}(s, s)+\frac{\mathscr{B}(1-s)^{\gamma -1}}{\varGamma (\gamma )(1-\mathscr{B})}=\omega _{1}(s). \end{aligned}$$

For \(0<\eta \leq s\leq t\leq 1\), one has

$$\begin{aligned}& \max_{0\leq t\leq 1}H(t, s) \\& \quad =\max_{0\leq t\leq 1}\frac{[t(1-s)]^{\gamma -1}-(1- \mathscr{B})(t-s)^{\gamma -1}}{\varGamma ({\gamma })(1-\mathscr{B})} \\& \quad =\max_{0\leq t\leq 1} \biggl(g_{1}(t, s)+ \frac{\mathscr{B}t ^{\gamma -1}(1-s)^{\gamma -1}}{\varGamma ({\gamma })(1-\mathscr{B})} \biggr) \\& \quad \leq g_{1}(s, s)+\frac{\mathscr{B}(1-s)^{\gamma -1}}{\varGamma (\gamma )(1-\mathscr{B})}=\omega _{1}(s). \end{aligned}$$

For \(0\leq t\leq s\leq \eta <1\),

$$\begin{aligned} \max_{0\leq t\leq 1}H(t, s) =&\max_{0\leq t\leq 1} \frac{[t(1-s)]^{ \gamma -1}-b^{p-1}[t(\eta -s)]^{\gamma -1}}{\varGamma ({\gamma })(1- \mathscr{B})} \\ =&\max_{0\leq t\leq 1} \biggl(\frac{[t(1-s)]^{\gamma -1}}{ \varGamma (\gamma )} + \frac{b^{\gamma -1}t^{\gamma -1}}{1-\mathscr{B}}g _{1}(\eta , s) \biggr) \\ \leq &g_{1}(s, s)+\frac{\mathscr{B}(1-s)^{\gamma -1}}{\varGamma (\gamma )(1-\mathscr{B})}=\omega _{1}(s). \end{aligned}$$

For \(0\leq t\leq s\leq 1\), \(\eta \leq s\),

$$\begin{aligned} \max_{0\leq t\leq 1}H(t, s) =&\max_{0\leq t\leq 1} \frac{[t(1-s)]^{ \gamma -1}}{\varGamma ({\gamma })(1-\mathscr{B})} \\ =&\max_{0\leq t\leq 1} \biggl(\frac{[t(1-s)]^{\gamma -1}}{ \varGamma (\gamma )} + \frac{\mathscr{B}[t(1-s)]^{\gamma -1}}{\varGamma ( {\gamma })(1-\mathscr{B})} \biggr) \\ \leq &g_{1}(s, s)+\frac{\mathscr{B}(1-s)^{\gamma -1}}{\varGamma (\gamma )(1-\mathscr{B})}=\omega _{1}(s). \end{aligned}$$

So,

$$ \max_{0\leq t\leq 1}H(t, s)\leq \omega _{1}(s), \quad s \in (0, 1). $$

It is obvious that \(\omega (s), \omega _{1}(s)\in C((0, 1), (0, + \infty ))\). The proof is completed. □

Let \(E=C[0, 1]\) be a Banach space with the maximum norm \(\|u\|= \max_{0\leq t\leq 1}|u(t)|\). Define the cone \(P\subset E\) by \(P=\{u\in E\mid u(t)\geq 0, 0\leq t\leq 1\}\).

Lemma 3.4

Let \(T: P\rightarrow E\) be the operator defined by

$$ (Tu) (t)= \int ^{1}_{0}G(t, s)\phi _{q} \biggl( \int ^{s}_{0}H(s, \tau )f \bigl( \tau , u(\tau ) \bigr)\,d\tau \biggr)\,ds. $$

Then \(T: P\rightarrow P\) is completely continuous.

Proof

The operator \(T:P\rightarrow P\) is continuous in view of nonnegative and continuity of \(G(t, s)\), \(H(t, s)\) and \(f(t, u)\). Furthermore it is easy see by the Arzela–Ascoli theorem and Lebesgue dominated convergence theorem that \(T:P\rightarrow P\) is completely continuous. □

For convenience, we introduce the following notation:

$$ L= \biggl[ \int ^{1}_{0}\omega (s)\phi _{q} \biggl( \int ^{s}_{0}\omega _{1}( \tau ) \,d\tau \biggr)\,ds \biggr]^{-1}. $$

Theorem 3.1

Assume there exists a constant \(\lambda >0\) such that

\((C_{1})\) :

\(f(t, x_{1})\leq f(t, x_{2})\) for any \(0\leq t\leq 1\), \(0 \leq x_{1}\leq x_{2}\leq \lambda \);

\((C_{2})\) :

\(\max_{0\leq t\leq 1}f(t, \lambda )\leq \phi _{p}( \lambda L)\);

\((C_{3})\) :

\(f(t, 0)\neq 0\) for \(0\leq t\leq 1\).

Then problem (1.1), (1.2) has two positive solution \(u^{*}\) and \(v^{*}\), such that

  • \(0<\|u^{*}\|\leq \lambda \) and \(\lim_{n\rightarrow \infty }T ^{n}u_{0}=u^{*}\), where \(u_{0}(t)=\lambda \),

  • \(0<\|v^{*}\|\leq \lambda \) and \(\lim_{n\rightarrow \infty }T ^{n}v_{0}=v^{*}\), where \(v_{0}(t)=0\).

Proof

Define \(P_{\lambda }=\{u\in P\mid \|u\|\leq \lambda \}\). In what follows, we first prove \(TP_{\lambda }\subseteq P_{\lambda }\).

Let \(u\in P_{\lambda }\), then \(0\leq u(t)\leq \|u\|\leq \lambda \). By assumption \((C_{1})\) and \((C_{2})\), we have

$$ 0\leq f \bigl(t, u(t) \bigr)\leq f(t, \lambda )\leq \phi _{p}( \lambda L). $$

For any \(u\in P_{\lambda }\), by Lemma 3.4, we know that \(Tu\in P\), and as a result

$$\begin{aligned} \Vert Tu \Vert =&\max_{0\leq t\leq 1} \int ^{1}_{0}G(t, s)\phi _{q} \biggl( \int ^{s}_{0}H(s, \tau )f \bigl(\tau , u(\tau ) \bigr)\,d\tau \biggr)\,ds \\ \leq & \int ^{1}_{0}\omega (s)\phi _{q} \biggl( \int ^{s}_{0}\phi _{p}( \lambda L) \omega _{1}(\tau )\,d\tau \biggr)\,ds \\ =&\lambda L \int ^{1}_{0}\omega (s)\phi _{q} \biggl( \int ^{s}_{0}\omega _{1}(\tau )\,d \tau \biggr)\,ds \\ =&\lambda . \end{aligned}$$

Hence \(Tu\in P_{\lambda }\). Thus, we get \(TP_{\lambda }\subseteq P _{\lambda }\).

Let \(u_{0}(t)=\lambda \), \(0\leq t\leq 1\), then \(\|u_{0}\|=\lambda \) and \(u_{0}\in P_{\lambda }\). Let \(u_{1}(t)=Tu_{0}(t)\), then \(u_{1}\in P _{\lambda }\). Define

$$ u_{n+1}=Tu_{n}=T^{n+1}u_{0},\quad n=0, 1, 2, \ldots . $$

Since \(TP_{\lambda }\subseteq P_{\lambda }\), one has \(u_{n}\in P_{ \lambda }\) (\(n=0, 1, 2, \ldots \)). From Lemma 3.3, T is compact; we assert that \(\{u_{n}\}_{n=1}^{\infty }\) has a convergent subsequence \(\{u_{n_{k}}\}_{k=1}^{\infty }\) and there exists \(u^{*}\in P_{\lambda }\) such that \(u_{n_{k}}\rightarrow u^{*}\). From the definition of T and \((C_{1})\), for any \(t\in [0, 1]\), we have

$$\begin{aligned} u_{1}(t) =&(Tu_{0}) (t) \\ =& \int ^{1}_{0}G(t, s)\phi _{q} \biggl( \int ^{s}_{0}H(s, \tau )f \bigl(\tau , u _{0}(\tau ) \bigr)\,d\tau \biggr)\,ds \\ \leq & \int ^{1}_{0}\omega (s)\phi _{q} \biggl( \int ^{s}_{0}\phi _{p}( \lambda L) \omega _{1}(\tau )\,d\tau \biggr)\,ds \\ =&\lambda L \int ^{1}_{0}\omega (s)\phi _{q} \biggl( \int ^{s}_{0}\omega _{1}(\tau )\,d \tau \biggr)\,ds \\ =&\lambda \\ =&u_{0}(t). \end{aligned}$$

So,

$$ u_{2}(t)=Tu_{1}(t)\leq Tu_{0}(t)=u_{1}(t),\quad 0\leq t\leq 1. $$

Hence, by the induction we have

$$ u_{n+1}\leq u_{n},\quad 0\leq t\leq 1, n=0, 1, 2, \ldots . $$

Thus, there exists \(u^{*}\in P_{\lambda }\) such that \(u_{n}\rightarrow u^{*}\). Applying the continuity of T and \(u_{n+1}=Tu_{n}\), we get \(Tu^{*}=u^{*}\).

Let \(v_{0}=0\), \(0\leq t\leq 1\), then \(v_{0}\in P_{\lambda }\). Let \(v_{1}=Tv_{0}\), then \(v_{1}\in P_{\lambda }\). Define

$$ v_{n+1}=Tv_{n}=T^{n+1}v_{0}, \quad n=0, 1, 2, \ldots . $$

Since \(T:P_{\lambda }\rightarrow P_{\lambda }\), we have \(v_{n}\subseteq P_{\lambda }\), \(n=0, 1, 2, \ldots \) . Since T is completely continuous, we assert that \(\{v_{n}\}_{n=1}^{\infty }\) is a sequentially compact set.

Since \(v_{1}(t)=Tv_{0}(t)=(T0)(t)\geq 0\), \(0\leq t\leq 1\), one has

$$ v_{2}(t)=Tv_{1}(t)\geq (T0) (t)=v_{1}(t),\quad 0\leq t\leq 1. $$

Hence, by the induction we have

$$ v_{n+1}\geq v_{n}, \quad 0\leq t\leq 1, n=0, 1, 2, \ldots . $$

Thus, there exists \(v^{*}\in P_{\lambda }\) such that \(v_{n}\rightarrow v^{*}\). Applying the continuity of T and \(v_{n+1}=Tv_{n}\), we get \(Tv^{*}=v^{*}\).

It is well known that each fixed point of operator T in P is a solution of problem (1.1). Furthermore, if \(f(t, 0)\neq 0\), \(0\leq t \leq 1\), then the zero function is not the solution of problem (1.1). Hence, we have \(\|u^{*}\|>0\), \(\|v^{*}\|>0\). Then \(u^{*}\) and \(v^{*}\) are two positive solutions of problem (1.1). The proof is completed. □

By applying Theorem 3.1, we can get the following corollary.

Corollary 3.1

Assume \((C_{3})\) holds, and the following conditions hold:

\((C_{4})\) :

\(f(t, x_{1})\leq f(t, x_{2})\) for any \(0\leq t\leq 1\), \(0 \leq x_{1}\leq x_{2}\);

\((C_{5})\) :

\(\lim_{x\rightarrow \infty }\max_{0\leq t \leq 1}\frac{f(t, x)}{x^{p-1}}\leq \phi _{p}(L)\) (particularly \(\lim_{x\rightarrow \infty }\max_{0\leq t\leq 1}\frac{f(t, x)}{x^{p-1}}=0\)).

Then problem (1.1) have two positive solutions \(u^{*}\) and \(v^{*}\).

Example

Let \(p=\frac{3}{2}\), \(\alpha =\frac{4}{3}\), \(\gamma =\frac{3}{2}\), \(\beta =\frac{1}{4}\), \(\xi =\frac{1}{3}\), \(\eta =\frac{1}{4}\), \(a=b=\frac{1}{2}\). We consider the following boundary value problem:

$$ \textstyle\begin{cases} D^{\frac{3}{2}}(\phi _{\frac{3}{2}}(D^{\frac{4}{3}}x(t)))=f(t,x(t)), \quad 0< t< 1, \\ x(0)=D^{\frac{4}{3}}x(0)=0, \qquad D^{\frac{1}{4}}x(1)=\frac{1}{2} D^{ \frac{1}{4}}x(\frac{1}{3}),\qquad D^{\frac{4}{3}}x(1)=\frac{1}{2}D^{ \frac{4}{3}}x(\frac{1}{4}), \end{cases} $$
(4.1)

where

$$ f(t,x)=\frac{1}{24} \bigl(1+xe^{t}+x^{\frac{3}{2}} \bigr). $$

It is obvious that

$$ 1-a\xi ^{\alpha -\beta -1}=1-\frac{1}{2} \biggl(\frac{1}{3} \biggr)^{ \frac{1}{12}}>0,\qquad 1-b^{p-1}\eta ^{\gamma -1}=1- \frac{1}{2^{\frac{3}{2}}}>0. $$

By computation, we can obtain \(L \approx 0.2318\). We choose \(\lambda =5\). So, \(f(t,x)\) satisfies

  1. (1)

    \(f(t,x_{1})\leq f(t,x_{2})\) for any \(0\leq t\leq 1\), \(0\leq x_{1} \leq x_{2}\leq 5\);

  2. (2)

    \(\max_{0\leq t\leq 1}f(t,\lambda )=f(1,5)\approx \frac{25.7703}{24}\approx 1.0738<\phi _{\frac{3}{2}}(\lambda L)\approx 1.0766\);

  3. (3)

    \(f(t,0)=\frac{1}{24}\neq 0\) for \(0\leq t\leq 1\).

Then applying Theorem 3.1, problem (4.1) has two positive solutions \(u^{*}\) and \(v^{*}\) such that

  • \(0<\|u^{*}\|\leq 5\) and \(\lim_{n\rightarrow \infty }T^{n}u_{0}=u ^{*}\), where \(u_{0}(t)=5\),

  • \(0<\|v^{*}\|\leq 5\) and \(\lim_{n\rightarrow \infty }T^{n}v_{0}=v ^{*}\), where \(v_{0}(t)=0\).

References

  1. Agarwal, R.P., Baleanu, D., Hedayati, V., Rezapour, S.: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205–212 (2015)

    MathSciNet  MATH  Google Scholar 

  2. Atangana, A., Baleanu, D.: Caputo-Fabrizio derivative applied to groundwater flow within confined aquifer. J. Eng. Mech. 143(5), D4016005 (2017)

    Article  Google Scholar 

  3. Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017, 221 (2017)

    MathSciNet  Article  Google Scholar 

  4. Aydogan, S.M., Baleanu, D., Mousalou, A., Shahram, R.: On high order fractional integro-differential equations including the Caputo-Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018)

    MathSciNet  Article  Google Scholar 

  5. Bai, Z.: Solvability for a class of fractional m-point boundary value problem at resonance. Comput. Math. Appl. 62, 1292–1302 (2011)

    MathSciNet  Article  Google Scholar 

  6. Bai, Z., Chen, Y., Lian, H., Sun, S.: On the existence of blow up solutions for a class of fractional differential equations. Fract. Calc. Appl. Anal. 17(4), 1175–1187 (2014)

    MathSciNet  Article  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  8. Bai, Z., Zhang, Y.: Solvability of fractional three-point boundary value problems with nonlinear growth. Appl. Math. Comput. 218, 1719–1725 (2011)

    MathSciNet  MATH  Google Scholar 

  9. Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017, 51 (2017)

    MathSciNet  Article  Google Scholar 

  10. Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017, 145 (2017)

    MathSciNet  Article  Google Scholar 

  11. Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order \(0 \leq \sigma <1\) on \(C_{R}[0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018, 255 (2018)

    Article  Google Scholar 

  12. Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. 371, 20120144 (2013)

    MathSciNet  Article  Google Scholar 

  13. Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, 79 (2019)

    MathSciNet  Article  Google Scholar 

  14. Cabada, A., Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. Abstr. Appl. Anal. 2012, 403 (2012)

    MathSciNet  Article  Google Scholar 

  15. Chen, C., Song, H., Yang, H.: Liouville type theorems for stable solutions of p-Laplace equation in \(R^{n}\). Nonlinear Anal. 160, 44–52 (2017)

    MathSciNet  Article  Google Scholar 

  16. Chen, F., Baleanu, D., Wu, G.: Existence results of fractional differential equations with Riesz–Caputo derivative. Eur. Phys. J. Spec. Top. 226, 3411–3425 (2017)

    Article  Google Scholar 

  17. Cui, Y.: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48–54 (2016)

    MathSciNet  Article  Google Scholar 

  18. Cui, Y., Sun, J.: A generalization of Mahadevan’s version of the Krein–Rutman theorem and applications to p-Laplacian boundary value problems. Abstr. Appl. Anal. 2012, 1 (2012)

    MathSciNet  MATH  Google Scholar 

  19. Dong, H., Guo, B., Yin, B.: Generalized fractional supertrace identity for Hamiltonian structure of NLS-MKdV hierarchy with self-consistent sources. Anal. Math. Phys. 6, 199–209 (2016)

    MathSciNet  Article  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  21. Feng, H., Pang, H., Ge, W.: Multiplicity of symmetric Positive solutions fora multipoint boundary problem with a one-dimensional p-Laplacian. Nonlinear Anal. 69, 3050–3059 (2008)

    MathSciNet  Article  Google Scholar 

  22. Feng, M., Li, P., Sun, S.: Symmetric positive solutions for fourth-order n-dimensional m-Laplace systems. Bound. Value Probl. (2018). https://doi.org/10.1186/s13661-018-0981-3

    MathSciNet  Article  Google Scholar 

  23. Firoozjaee, M., Jafari, H., Lia, A., Baleanu, D.: Numerical approach of Fokker–Planck equation with Caputo–Fabrizio fractional derivative using Ritz approximation. J. Comput. Appl. Math. 339, 367–373 (2018)

    MathSciNet  Article  Google Scholar 

  24. Fu, C., Lu, C., Yang, H.: Time-space fractional \((2 + 1)\) dimensional nonlinear Schrodinger equation for envelope gravity waves in baroclinic atmosphere and conservation laws as well as exact solutions. Adv. Differ. Equ. 2018, 56 (2018)

    MathSciNet  Article  Google Scholar 

  25. Gu, C., Wu, G.: Positive solutions of fractional differential equations with the Riesz space derivative. Appl. Math. Lett. 95, 59–64 (2019)

    MathSciNet  Article  Google Scholar 

  26. Guo, M., Fu, C., Zhang, Y., Liu, J., Yang, H.: Study of ion-acoustic solitary waves in a magnetized plasma using the three-dimensional time-space fractional Schamel–KdV equation. Complexity (2018). https://doi.org/10.1155/2018/6852548

    Article  MATH  Google Scholar 

  27. Guo, X., Zhang, G., Li, H.: Fixed point theorems for Meir–Keeler condensing nonself-mappings with an application. J. Fixed Point Theory Appl. 20, 33 (2018)

    MathSciNet  Article  Google Scholar 

  28. Hao, X., Wang, H., Liu, L., Cui, Y.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017, 182 (2017)

    MathSciNet  Article  Google Scholar 

  29. He, L., Dong, X., Bai, Z., Chen, B.: Solvability of some two-point fractional boundary value problems under barrier strip conditions. J. Funct. Spaces 2017, Article ID 1465623 (2017)

    MathSciNet  MATH  Google Scholar 

  30. Ji, D., Bai, Z., Ge, W.: The existence of countably many positive solutions for singular multipoint boundary value problems. Nonlinear Anal. 72, 955–964 (2010)

    MathSciNet  Article  Google Scholar 

  31. Jiang, C., Zhang, F., Li, T.: Synchronization and anti-synchronization of N-coupled fractional-order complex systems with ring connection. Math. Methods Appl. Sci. 41, 2625–2638 (2018)

    MathSciNet  Article  Google Scholar 

  32. Kilbas, A., Srivastava, H., Trujillo, J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  33. Kojabad, E.A., Rezapour, S.: Approximate solutions of a sum-type fractional integro-differential equation by using Chebyshev and Legendre polynomials. Adv. Differ. Equ. 2017, 351 (2017)

    MathSciNet  Article  Google Scholar 

  34. Lakshmikantham, V., Vatsala, A.S.: General uniqueness and monotone iterative technique for fractional differential equations. Appl. Math. Lett. 21, 828–834 (2008)

    MathSciNet  Article  Google Scholar 

  35. Li, H., Sun, J.: Positive solutions of superlinear semipositone nonlinear boundary value problems. Comput. Math. Appl. 61, 2806–2815 (2011)

    MathSciNet  Article  Google Scholar 

  36. Lian, H., Wang, D., Bai, Z., Agarwal, R.: Periodic and subharmonic solutions for a class of second-order p-Laplacian Hamiltonian systems. Bound. Value Probl. (2014). https://doi.org/10.1186/s13661-014-0260-x

    MathSciNet  Article  MATH  Google Scholar 

  37. Liu, F.: A note of Littlewood–Paley functions on Triebel–Lizorkin spaces. Bull. Korean Math. Soc. 55(2), 659–672 (2018)

    MathSciNet  MATH  Google Scholar 

  38. Liu, F., Wu, H., Zhang, D.: \(L_{P}\) bounds for parametric Marcinkiewicz integrals with mixed homogeneity. Math. Inequal. Appl. 18(2), 453–469 (2015)

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  40. Liu, X., Jia, M.: Solvability and numerical simulations for BVPs of fractional coupled systems involving left and right fractional derivatives. Appl. Math. Comput. 353, 230–242 (2019)

    MathSciNet  Article  Google Scholar 

  41. Liu, X., Li, Y., Zhang, W.: Stochastic linear quadratic optimal control with constraint for discrete-time systems. Appl. Math. Comput. 228, 264–270 (2014)

    MathSciNet  MATH  Google Scholar 

  42. Lu, C., Fu, C., Yang, H.: Time-fractional generalized Boussinesq equation for Rossby solitary waves with dissipation effect in stratified fluid and conservation laws as well as exact solutions. Appl. Math. Comput. 327, 104–116 (2018)

    MathSciNet  MATH  Google Scholar 

  43. Lv, W., Wang, F.: Adaptive tracking control for a class of uncertain nonlinear systems with infinite number of actuator failures using neural networks. Adv. Differ. Equ. 2017, 374 (2017)

    MathSciNet  Article  Google Scholar 

  44. Salem, H.A.H.: On the fractional order m-point boundary value problem in reflexive Banach spaces and weak topologies. J. Comput. Appl. Math. 224, 567–572 (2009)

    MathSciNet  Article  Google Scholar 

  45. Sheng, K., Zhang, W., Bai, Z.: Positive solutions to fractional boundary value problems with p-Laplacian on time scales. Bound. Value Probl. (2018). https://doi.org/10.1186/s13661-018-0990-2

    MathSciNet  Article  Google Scholar 

  46. Song, Q., Bai, Z.: Positive solutions of fractional differential equations involving the Riemann–Stieltjes integral boundary condition. Adv. Differ. Equ. (2018). https://doi.org/10.1186/s13662-018-1633-8

    MathSciNet  Article  MATH  Google Scholar 

  47. Su, H., Wei, Z., Wang, B.: The existence of positive solutions for a nonlinear four-point singular boundary value problem with a p-Laplacian operator. Nonlinear Anal. 66, 2204–2217 (2007)

    MathSciNet  Article  Google Scholar 

  48. Tian, Y., Bai, Z.: Existence results for the three-point impulsive boundary value problem involving fractional differential equations. Comput. Math. Appl. 59, 2601–2609 (2010)

    MathSciNet  Article  Google Scholar 

  49. Tian, Y., Sun, S., Bai, Z.: Positive solutions of fractional differential equations with p-Laplacian. J. Funct. Spaces 2017, Article ID 3187492 (2017)

    MathSciNet  MATH  Google Scholar 

  50. Tian, Y., Wei, Y., Sun, S.: Multiplicity for fractional differential equations with p-Laplacian. Bound. Value Probl. (2018). https://doi.org/10.1186/s13661-018-1049-0

    MathSciNet  Article  Google Scholar 

  51. Wang, G., Agarwal, R., Cabada, A.: Existence results and monotone iterative technique for systems of nonlinear fractional differential equations. Appl. Math. Lett. 25(6), 1019–1024 (2012)

    MathSciNet  Article  Google Scholar 

  52. Wang, Y., Hou, C.: Existence of multiple positive solutions for one dimensional p-Laplacian. J. Math. Anal. Appl. 315, 144–153 (2006)

    MathSciNet  Article  Google Scholar 

  53. Wang, Z.: A numerical method for delayed fractional-order differential equations. J. Appl. Math. 2013, Article ID 256071 (2013)

    MathSciNet  MATH  Google Scholar 

  54. Wang, Z., Huang, X., Shi, G.: Analysis of nonlinear dynamics and chaos in a fractional order financial system with time delay. Comput. Math. Appl. 62, 1531–1539 (2011)

    MathSciNet  Article  Google Scholar 

  55. Wang, Z., Wang, X., Li, Y., Huang, X.: Stability and Hopf bifurcation of fractional-order complex valued single neuron model with time delay. Int. J. Bifurc. Chaos 27, 1750209 (2017)

    MathSciNet  Article  Google Scholar 

  56. Wang, Z., Xie, Y., Lu, J., Li, Y.: Stability and bifurcation of a delayed generalized fractional-order prey-predator model with interspecific competition. Appl. Math. Comput. 347, 360–369 (2019)

    MathSciNet  Google Scholar 

  57. Wei, Y., Bai, Z.: Solvability of some fractional boundary value problems with a convection term. Discrete Dyn. Nat. Soc. 2019, Article ID 1230502 (2019). https://doi.org/10.1155/2019/1230502

    MathSciNet  Article  Google Scholar 

  58. Wei, Y., Bai, Z., Sun, S.: On positive solutions for some second-order three-point boundary value problems with convection term. J. Inequal. Appl. 2019, 72 (2019). https://doi.org/10.1186/s13660-019-2029-3

    MathSciNet  Article  Google Scholar 

  59. Wei, Y., Song, Q., Bai, Z.: Existence and iterative method for some fourth order nonlinear boundary value problems. Appl. Math. Lett. 87, 101–107 (2019)

    MathSciNet  Article  Google Scholar 

  60. Wu, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: The convergence analysis and error estimation for unique solution of a p-Laplacian fractional differential equation with singular decreasing nonlinearity. Bound. Value Probl. 2018, 82 (2018)

    MathSciNet  Article  Google Scholar 

  61. Zhai, C., Wang, W., Li, H.: A uniqueness method to a new Hadamard fractional differential system with four-point boundary conditions. J. Inequal. Appl. 2018, 207 (2018)

    MathSciNet  Article  Google Scholar 

  62. Zhang, J., Zhang, G., Li, H.: Positive solutions of second-order problem with dependence on derivative in nonlinearity under Stieltjes integral boundary condition. Electron. J. Qual. Theory Differ. Equ. (2018). https://doi.org/10.14232/ejqtde.2018.1.4

    MathSciNet  Article  MATH  Google Scholar 

  63. Zhang, S.: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 59, 1300–1309 (2009)

    MathSciNet  Article  Google Scholar 

  64. Zhang, W., Bai, Z., Sun, S.: Extremal solutions for some periodic fractional differential equations. Adv. Differ. Equ. 2016, 1 (2016)

    MathSciNet  Article  Google Scholar 

  65. Zhang, X., Cui, Y.: Positive solutions for fourth-order singular p-Laplacian differential equations with integral boundary conditions. Bound. Value Probl. (2010). https://doi.org/10.1155/2010/862079

    MathSciNet  Article  MATH  Google Scholar 

  66. Zhang, X., Liu, L., Wu, Y., Cui, Y.: Entire blow-up solutions for a quasilinear p-Laplacian Schrödinger equation with a non-square diffusion term. Appl. Math. Lett. 74, 85–93 (2017)

    MathSciNet  Article  Google Scholar 

  67. Zhang, Y.: Existence results for a coupled system of nonlinear fractional multi-point boundary value problems at resonance. J. Inequal. Appl. (2018). https://doi.org/10.1186/s13660-018-1792-x

    MathSciNet  Article  Google Scholar 

  68. Zhong, Q., Zhang, X., Lu, X., Fu, Z.: Uniqueness of successive positive solution for nonlocal singular higher-order fractional differential equations involving arbitrary derivatives. J. Funct. Spaces 2018, Article ID 6207682 (2018)

    MathSciNet  MATH  Google Scholar 

  69. Zou, Y., Cui, Y.: Existence results for a functional boundary value problem of fractional differential equations. Adv. Differ. Equ. 2013, 233 (2013)

    MathSciNet  Article  Google Scholar 

  70. Zou, Y., He, G.: Fixed point theorem for systems of nonlinear operator equations and applications to \((p_{1}, p_{2})\)-Laplacian system. Mediterr. J. Math. (2018). https://doi.org/10.1007/s00009-018-1119-7

    Article  MATH  Google Scholar 

  71. Zou, Y., Liu, L., Cui, Y.: The existence of solutions for four-point coupled boundary value problems of fractional differential equations at resonance. Abstr. Appl. Anal. 2014, Article ID 314083 (2014)

    MathSciNet  MATH  Google Scholar 

  72. Zuo, M., Hao, X., Liu, L., Cui, Y.: Existence results for impulsive fractional integro-differential equation of mixed type with constant coefficient and antiperiodic boundary conditions. Bound. Value Probl. 2017, 161 (2017)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Data sharing not applicable to this article as no data sets were generated or analysed during the current study.

Authors’ information

Yuanshen Tian, professor, his main research field is fractional differential equations and boundary value problems. Zhanbing Bai, professor, his main research field is fractional differential equations and boundary value problems. Sujing Sun, doctoral candidate, the research fields is the application of nonlinear functional analysis on differential equations.

Funding

This work is supported by the Scientific Research Foundation of Hunan Provincial Education Department (16A198, 18C1019), National Natural Science Foundation of China (11571207), and the Taishan Scholar project.

Author information

Authors and Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Zhanbing Bai.

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

Verify currency and authenticity via CrossMark

Cite this article

Tian, Y., Bai, Z. & Sun, S. Positive solutions for a boundary value problem of fractional differential equation with p-Laplacian operator. Adv Differ Equ 2019, 349 (2019). https://doi.org/10.1186/s13662-019-2280-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2280-4

MSC

  • 34A08
  • 34B18
  • 35J05

Keywords

  • Fractional differential equation
  • Boundary value problem
  • p-Laplacian operator
  • Positive solution