Abstract
In this paper, we study the existence of multiple positive solutions for boundary value problems of high-order Riemann–Liouville fractional differential equations involving the p-Laplacian operator. Not only new existence conclusions of two positive solutions are obtained by employing functional-type cone expansion-compression fixed point theorem, but also some sufficient conditions for existence of at least three positive solutions are established by applying the Leggett–Williams fixed point theorem. In addition, we demonstrate the effectiveness of the main result by using an example.
Similar content being viewed by others
1 Introduction
In this paper, we study the high-order Riemann–Liouville fractional differential equations with p-Laplacian operator as follows:
where \(n-1<\alpha \leq n\), \({_{0}^{R}D}_{t}^{\alpha }\) is the standard Riemann–Liouville fractional derivative, \(\varphi _{p}\) is the p-Laplacian operator, \(p>1\) and \(\varphi _{p}(s)= \vert s \vert ^{p-2}s\), \(\varphi _{p}^{-1}=\varphi _{q}\), \(\frac{1}{p}+\frac{1}{q}=1\), \(f\in C([0,1]\times [0,+\infty )\times (-\infty ,0],[0,+\infty ))\). By using some fixed point theorems, we establish sufficient conditions that ensure the existence of multiple positive solutions for system (1.1).
Fractional calculus has been applied to various areas of engineering, physics, chemistry, etc.; it is due to the fact that fractional derivatives provide power tools for describing memory and hereditary characteristics. There are many papers and monographs that deal with all kinds of problems in fractional calculus (see [1–6]).
It is well known that the p-Laplacian operator is also used in analyzing dynamic systems, physics, mechanics, and the related fields of mathematical modeling. For studying the turbulent flow problem in a porous medium, Leibenson [7] introduced the model of a differential equation with the p-Laplacian operator. Since then, p-Laplacian differential equations have been widely applied in different fields of physics and natural phenomena, see [8–11] and the references therein. In recent years, the topic of fractional-order boundary value problems with the p-Laplacian operator has been intensively studied by several researchers, many important results related to the boundary value problems of fractional p-Laplacian equations have been obtained. We refer the reader to [12–14].
In [15], the author is concerned with the existence and uniqueness of positive solutions for the following boundary value problem with p-Laplacian operator:
where \(0<\beta \leq 1\), \(2<\alpha \leq 2+\beta \) are real numbers, \(D_{0^{+}}^{\alpha }\) and \({}^{C}D_{0}^{\beta }\) are the Riemann–Liouville fractional derivative and Caputo fractional derivative of order α, β, respectively, \(p>1\), and \(f:[a,b]\times \mathbb{R}\rightarrow \mathbb{R}\) is a continuous function. By using the Banach contraction mapping principle and the Guo–Krasnosel’skii fixed point theorem, respectively, three theorems on the existence and uniqueness of nontrivial positive solutions for fractional boundary value problems (FBVP) (1.2) were obtained.
Chen et al. [12] investigated Caputo fractional differential equation boundary value problems with p-Laplacian operator at resonance:
where \(0<\alpha , \beta \leq 1\), \(1<\alpha +\beta \leq 2\), \(D_{0+} ^{\alpha }\) and \(D_{0+}^{\beta }\) are standard Caputo fractional derivatives. The existence of solutions for boundary value problem (1.3) was obtained by means of the coincidence degree theory.
Lu et al. [16] studied the following Riemann–Liouville fractional differential equations boundary problems with p-Laplacian operator:
where \(2<\alpha \leq 3\), \(\varphi _{p}(s)= \vert s \vert ^{p-2}s\), \(p>1\), \(\varphi _{p}^{-1}=\varphi _{q}\), \(\frac{1}{p}+\frac{1}{q}=1\), \(D_{0+}^{\alpha }\), \(D_{0+}^{\beta }\) are standard Riemann–Liouville fractional derivatives. By using the Guo–Krasnosel’skii fixed point theorem and upper-lower solutions method, some new results on the existence of positive solutions were obtained.
Recently, in [17], we studied the high-order conformable differential equations with p-Laplacian operator as follows:
where \(n-1\leq \alpha < n\) and \(T_{\alpha }^{0^{+}}\) is a new fractional derivative called “the conformable fractional derivative”. By means of the Guo–Krasnosel’skii fixed point theorem, we established sufficient conditions that ensure the existence of positive solutions to boundary value problem (1.5).
However, in [17], we only obtained the existence of a positive solution for system (1.5). Similarly, in [16] and [12], the authors only got the existence and uniqueness of a nontrivial solution to systems (1.4) and (1.3), respectively. But so far, we have not investigated the multiplicity of positive solutions for fractional p-Laplacian differential equations. To the best of our knowledge, there are few studies that consider the existence of multiple positive solutions on nonlinear Riemann–Liouville high-order fractional differential equations, especially with the p-Laplacian operator. Motivated greatly by the above mentioned excellent works and in order to fill this gap in the literature, in this paper, we investigate the multiple positive solutions of boundary value problems for high-order Riemann–Liouville fractional differential equations with p-Laplacian operator.
The rest of this paper is organized as follows. In Sect. 2, we briefly introduce some necessary basic definitions and preliminary results which are used to prove our main results. In Sect. 3, by means of the properties of the Green’s function, Leggett–Williams fixed point theorem, and functional-type cone expansion-compression fixed point theorem, we investigate multiple positive solutions for boundary value problem of Riemann–Liouville fractional differential p-Laplacian equation systems on \(n-1<\alpha \leq n\), our work establishes some novel results on a nonlinear Riemann–Liouville fractional-order boundary value problem. Finally, in Sect. 4, we demonstrate the effectiveness of the main results by one example.
2 Preliminaries
For the convenience of the reader, we give some background material from cone theory and fractional calculus to facilitate the analysis of FBVP (1.1).
A nonempty closed convex set \(P\subset E\) is a cone if it satisfies:
- \((I_{1})\):
\(x\in P\), \(\lambda \geq 0 \Rightarrow \lambda x \in P\);
- \((I_{2})\):
\(x\in P\), \(-x\in P \Rightarrow x=\theta \).
Suppose that \((E, \Vert \cdot \Vert )\) is a real Banach space which is partially ordered by a cone \(P\subset E\), that is, \(x\leq y\) if and only if \(y-x\in P\). If \(x\leq y\) and \(x\neq y\), then we denote \(x< y\) or \(y>x\). θ denotes the zero element of E. In addition, if \(x_{1}, x_{2}\in E\), the set \([x_{1},x_{2}]=\{x\in E \mid x_{1}< x< x_{2}\}\) is called the order interval between \(x_{1}\) and \(x_{2}\).
Definition 2.1
([1])
Putting \(\mathring{P}:=\{x\in P\mid x \text{ is interior point of }P\}\), P is said to be a solid cone if its interior P̊ is nonempty. Moreover, P is called normal if there exists a constant \(M>0\) such that, for all \(x, y\in E\), \(\theta \leq x\leq y\) implies \(\Vert x \Vert \leq M \Vert y \Vert \); in this case M is called the normality constant of P.
Definition 2.2
([16])
The fractional integral of order \(\alpha >0\) of a function \(y:[0,+\infty )\rightarrow \mathbb{R}\) is given by
provided the right-hand side is pointwise defined on \([0,+\infty )\).
Definition 2.3
([12])
The Riemann–Liouville fractional derivative of order \(\alpha >0\) of a function \(y:[0,+\infty )\rightarrow \mathbb{R}\) is given by
where \(n=[\alpha ]+1\), \([\alpha ]\) denotes the integer part of number α, provided the right-hand side is pointwise defined on \([0,+\infty )\).
Definition 2.4
([18])
Let \(p>1\), the p-Laplacian operator is given by
Obviously, \(\varphi _{p}\) is continuous, increasing, invertible and its inverse operator is \(\varphi _{q}\), where \(q>1\) is a constant such that \(\frac{1}{p}+\frac{1}{q}=1\).
Lemma 2.1
([12])
-
(1)
Let\(h(t)\in C[0,1]\cap L^{1}[0,1]\), \(\alpha >0\), then
$$ _{0}I_{t}^{\alpha }{_{0}^{R}}D_{t}^{\alpha }h(t)=h(t)+c_{1}t^{\alpha -1}+c_{2}t^{\alpha -2}+ \cdots +c_{n}t^{\alpha -n}, $$where\(c_{i}\in R\), \(i=1,2,3,\ldots,n\) (\(n=[\alpha ]+1\)).
-
(2)
If\(u\in L^{1}(0,1)\), \(\alpha >\beta >0\), then
$$ {_{0}I}_{t}^{\alpha }{_{0}I}_{t}^{\beta }u(t)={_{0}I}_{t}^{\alpha + \beta }u(t), \qquad {_{0}^{R}D}_{t}^{\beta }{_{0}I}_{t}^{\alpha }u(t)={}_{0}I_{t}^{\alpha - \beta }, \qquad {_{0}^{R}D}_{t}^{\beta }{_{0}I}_{t}^{\beta }u(t)=u(t). $$ -
(3)
If\(\rho >0\), \(\mu >0\), then
$$ {_{0}^{R}D}_{t}^{\rho }t^{\mu -1}= \frac{\varGamma (\mu )}{\varGamma (\mu - \rho )}t^{\mu -\rho -1}. $$
Lemma 2.2
Letgbe a continuous function on\((0,1)\). Then the Riemann–Liouville fractional boundary value problem
has a unique positive solution
where
is the Green’s function for this problem.
Proof
For boundary value problems (2.1), by using Lemma 2.1, we can get
From \(u^{(i)}(0)=0\), (\(i=0,1,\ldots,n-2\)), it is easy to know \(c_{n}=c_{n-1}=\cdots =c_{2}=0\). So, we obtain
For \(0<\beta \leq \alpha -1\), applying the Riemann–Liouville fractional derivative operator \({_{0}^{R}D}_{t}^{\beta }\) on both sides of the above equation, we can know
Setting \(t=1\) in the above equation, by the condition \([{_{0}^{R}D} _{t}^{\beta }u(t)]_{t=1}=0\), we can know
From the above equations, we can get
where
is the Green’s function of FBVP (2.1). □
Lemma 2.3
For\((t,s)\in (0,1)\times (0,1)\), Green’s function (2.3) has the following properties:
- (1)
\(G(t,s)\)is a continuous function;
- (2)
\(G(t,s)\geq 0\);
- (3)
\(G(t,s)\leq \frac{(1-s)^{\alpha -\beta -1}t^{\alpha -1}}{ \varGamma (\alpha )}\);
- (4)
\(G(t,s)\geq \frac{(1-s)^{\alpha -\beta -1}t^{\alpha -1}}{ \varGamma (\alpha )}-\frac{(1-s)^{\alpha -1}}{\varGamma (\alpha )}t^{\alpha -1}\).
Proof
It is evident that \(G(t,s)\) is a continuous function and inequality (3) holds. So, we only need to prove inequality (4) and \(G(t,s)\geq 0\).
If \(0\leq s\leq t\leq 1\), then we have \(0\leq t-s\leq t-ts=(1-s)t\), and thus \((t-s)^{\alpha -1}\leq (1-s)^{\alpha -1}t^{\alpha -1}\). Hence, if \(0\leq s\leq t\leq 1\),
If \(0\leq t\leq s\leq 1\), we have
In addition, for \(\forall s\in (0,1)\), from \(0<\beta \leq \alpha -1\) and \(n-1\leq \alpha \leq n\), we get \((1-s)^{\alpha -\beta -1}\geq (1-s)^{ \alpha -1}\). In other words, for \(\forall (t,s)\in (0,1)\times (0,1)\), we obtain
Therefore, the proof is done. □
Lemma 2.4
([19])
LetEbe an ordered Banach space, \(P\subset E\)be a cone, and suppose that\(\varOmega _{1}\), \(\varOmega _{2}\), \(\varOmega _{3}\)are bounded open subsets ofEwith\(\theta \in \varOmega _{1}\), \(\overline{\varOmega }_{1}\subset \varOmega _{2}\), \(\overline{\varOmega }_{2}\subset \varOmega _{3}\), and let\(\varPhi :P\cap (\overline{\varOmega }_{3}\setminus \varOmega _{1})\rightarrow P\)be a completely continuous operator such that
- \((A_{1})\):
\(\Vert \varPhi u \Vert \geq \Vert u \Vert \)for\(\forall u\in P\cap \partial \varOmega _{1}\);
- \((A_{2})\):
\(\Vert \varPhi u \Vert \leq \Vert u \Vert \), \(\varPhi u\neq u\)for\(\forall u\in P\cap \partial \varOmega _{2}\);
- \((A_{3})\):
\(\Vert \varPhi u \Vert \geq \Vert u \Vert \)for\(\forall u\in P\cap \partial \varOmega _{3}\).
ThenΦhas at least two fixed points\(u_{1}^{*}\), \(u_{2}^{*}\)such that\(u_{1}^{*}\in P\cap \overline{\varOmega }_{2} \backslash \varOmega _{1}\)and\(u_{2}^{*}\in P\cap \overline{\varOmega }_{3} \backslash \varOmega _{2}\).
Let \(0< a< b\) be given, and let γ be a nonnegative continuous concave functional on P. Define the convex sets \(P_{r}\) and \(P(\gamma ,a,b)\) by \(P_{r}=\{x\in P\mid \Vert x \Vert < r\}\) and \(P(\gamma ,a,b)= \{x\in P\mid \gamma (x)\geq a, \Vert x \Vert \leq b\}\).
Proposition 2.5
([20])
Let\(A:\overline{P_{c}}\rightarrow \overline{P _{c}}\)be a completely continuous operator, and letγbe a nonnegative continuous concave functional onPsuch that\(\gamma (x) \leq \Vert x \Vert \)for all\(x\in \overline{P_{c}}\). Suppose that there exist\(0< a< b< d\leq c\)such that
- \((B_{1})\):
\(\{x\in P(\gamma ,b,d)\mid \gamma (x)>b\}\neq \phi \)and\(\gamma (Ax)>b\)for\(x \in P(\gamma ,b,d)\);
- \((B_{2})\):
\(\Vert Ax \Vert \leq a\)for\(\Vert x \Vert \leq a\);
- \((B_{3})\):
\(\gamma (Ax)>b\)for\(x\in P(\gamma ,b,c)\)with\(\Vert Ax \Vert >d\).
ThenAhas at least three fixed points\(x_{1}\), \(x_{2}\), and\(x_{3}\)such that\(\Vert x_{1} \Vert < a\), \(\gamma (x_{2})>b\), and\(\Vert x_{3} \Vert >a\)with\(\gamma (x_{3})< b\).
3 Main results
Lemma 3.1
If\(g\in C[0,1]\)is given, then the Riemann–Liouville fractional boundary value problem
has a unique positive solution
where\(G(t,s)\)is given in (2.3).
Proof
Applying the fractional integral operator \({}_{0}I_{t}^{\alpha }\) on both sides of the first equation of (3.1), we have
From the boundary value conditions \([\varphi _{p}({_{0}^{R}D}_{t}^{ \alpha }u)]^{(i)}(0)=0\) (\(i=0,1,2,\ldots,n-2\)), we can know that \(d_{n}=d_{n-1}=\cdots =d_{3}=d_{2}=0\). So, we obtain
For \(0<\beta \leq \alpha -1\), applying the fractional derivative operator \({_{0}^{R}D}_{t}^{\beta }\) on both sides of the equation above, we have
Letting \(t=1\), by the condition \([{_{0}^{R}D}_{t}^{\beta } ( \varphi _{p} ({_{0}^{R}D}_{t}^{\alpha }u(t) ) ) ]_{t=1}=0\), we can get
Furthermore, we can obtain
By using the Laplacian operator \(\varphi _{q}\) on both sides of the equation above, we get
In addition, setting \(\widetilde{g}(t)=\varphi _{q} (\int _{0}^{1}G(t,s)g(s)\,ds )\), thus, the high-order Riemann–Liouville fractional differential systems with p-Laplacian operator (3.1) is equivalent to the problem
Applying Lemma 2.2, we know that the Riemann–Liouville fractional differential system (3.4) has a unique integral solution
Moreover, by (3.3), we can easily know that
This constitutes the complete proof. □
Now, we denote that \(E=C^{\alpha }[0,1]:=\{u\mid u\in C[0,1], {_{0} ^{R}D}_{t}^{\alpha }u\in C[0,1]\}\) and endowed with the norm \(\Vert u \Vert _{\alpha }=\max \{ \Vert u \Vert _{\infty }, \Vert {_{0}^{R}D}_{t}^{\alpha }u \Vert _{\infty }\}\), where \(\Vert u \Vert _{\infty }= \max_{0\leq t\leq 1} \vert u(t) \vert \) and \(\Vert {_{0}^{R}D}_{t}^{\alpha }u \Vert _{\infty }= \max_{0\leq t\leq 1} \vert {_{0} ^{R}D}_{t}^{\alpha }u(t) \vert \). Then \((E, \Vert \cdot \Vert _{\alpha })\) is a Banach space. Let \(P=\{u\in E\mid u(t)\geq 0, {_{0}^{R}D}_{t}^{\alpha }u(t) \leq 0\}\). Then P is a cone on the space E.
In addition, we define the operator \(\varPhi :P\rightarrow E\) by
and for any \(u\in E\), it is easy to show that \(\varPhi u\in E\) and
Obviously, the function u is a positive solution of boundary value problem (1.1) if and only if u is a fixed point of the operator Φ in P.
Lemma 3.2
Suppose that\(f\in C([0,1]\times [0,+\infty )\times [-\infty ,0),[0,+ \infty ))\). Then\(\varPhi :P\rightarrow P\)is a completely continuous operator.
Proof
Firstly, for \(\forall u\in P\), by (3.7) and Lemma 2.3, it is easy to know that \(\varPhi :P\rightarrow P\). Let \(\{u_{j}\}\subset P\) and \(\lim_{j\rightarrow \infty }u_{j}=u\in P\), so there exists a constant \(\gamma _{0}>0\) such that \(\Vert u_{j} \Vert _{\alpha }\leq \gamma _{0}\) and \(\Vert u \Vert _{\alpha }\leq \gamma _{0}\) for \(j=1,2,\ldots \) .
Letting \(M_{0}= \max_{(t,u,v)\in [0,1]\times [-\gamma _{0},\gamma _{0}]\times [-\gamma _{0},\gamma _{0}]}f(t,u,v)\), for \((t,u,v)\in [0,1]\times [-\gamma _{0}, \gamma _{0}]\times [-\gamma _{0},\gamma _{0}]\), we can get \(0\leq f(t,u,v) \leq M_{0}\) and
In addition, for \(\forall (t,s)\in (0,1)\times (0,1)\), from Lemma 2.3 we can get that
Then, from the Lebesgue dominated convergence theorem, we get
and
Equations (3.9) and (3.10) imply that \(\lim_{j\rightarrow \infty }( \varPhi u_{j})(t)=(\varPhi u)(t)\) uniformly on \([0,1]\). Hence, Φ is continuous.
Secondly, let \(A\subset P\) be any bounded set. Then there exists a constant \(\gamma _{1}>0\) such that \(\Vert u \Vert _{\alpha }\leq \gamma _{1}\) for each \(u\in A\), which implies that \(\vert u(t) \vert \leq \gamma _{1}\) and \(\vert {_{0}^{R}D}_{t}^{\alpha }u(t) \vert \leq \gamma _{1}\) for \(t\in [0,1]\). Because f is continuous, there exists \(M_{1}>0\) such that \(0\leq f(t,u(t),{_{0}^{R}D}_{t}^{\alpha }u(t))\leq M_{1}\) for \(t\in [0,1]\). Let \(L=\frac{M_{1}}{\varGamma (\alpha )(\alpha -\beta )}\). Then
and
which implies that \(\varPhi (A)\) is uniformly bounded in P.
Finally, because \(G(t,s)\) is continuous on \([0,1]\times [0,1]\), then \(G(t,s)\) is uniformly continuous. Hence, for any \(\varepsilon >0\), there exists \(\delta _{1}>0\), whenever \(t_{1},t_{2}\in [0,1]\) and \(\vert t_{2}-t _{1} \vert <\delta _{1}\),
Furthermore, for any \(u\in P\), we have
In addition, setting \((Fu)(t)=\int _{0}^{1}G(t,s)f (s,u(s),{_{0} ^{R}D}_{t}^{\alpha }u(s) )\,ds\), so we have
Because \(\varphi _{q}(x)\) is continuous on \([0,L]\), we can get \(\varphi _{q}(x)\) is uniformly continuous on \([0,L]\). For \(\varepsilon >0\) above, there exists \(\eta >0\) such that
In view of that \(G(t,s)\) is uniformly continuous, for \(\eta >0\), there exists \(\delta _{2}>0\), whenever \(t_{1},t_{2}\in [0,1]\), \(s\in [0,1]\) and \(\vert t_{2}-t_{1} \vert <\delta _{2}\), we have \(\vert G(t_{2},s)-G(t_{1},s) \vert <\frac{ \eta }{M+1}\). Furthermore,
By (3.12) and (3.13), it is easy to see that
Thus, \(\varPhi (A)\) is equicontinuous. By Arzela–Ascoli theorem, we can show that Φ is completely continuous. □
For convenience, we introduce the following notations:
Theorem 3.1
Assume that the following assumptions hold:
- \((H_{1})\):
\(f\in C([0,1]\times [0,+\infty )\times (-\infty ,0],[0,+ \infty ))\);
- \((H_{2})\):
There exist three positive constants\(a< b< c\)such that\(\psi (a)\geq \varphi _{p}(aB)\), \(\phi (b)\leq \varphi _{p}(bA)\), and\(\psi (c)\geq \varphi _{p}(cB)\)for any\(t\in [0,1]\).
Then problem (1.1) has at least two positive solutions\(u_{1}^{*}, u _{2}^{*}\in P\)such that\(a\leq \Vert u_{1}^{*} \Vert \leq b\)and\(b\leq \Vert u _{2}^{*} \Vert \leq c\).
Proof
We know that \(\varPhi :P\rightarrow P\) is completely continuous by Lemma 3.2, we only need to consider the existence of a fixed point of operator Φ in P. Now, we divide the proof into the following three steps.
Step 1. Let \(\varOmega _{a}:=\{u\in P\mid \Vert u \Vert _{\alpha }< a\}\). For any \(u\in \partial \varOmega _{a}\), we have \(\Vert u \Vert _{\alpha }=a\) and \(f (t,u(t), {_{0}^{R}D}_{t}^{\alpha }u(t) )\geq \psi (a)\geq \varphi _{p}(aB)\geq 0\) for \((t,u,v)\in [0,1]\times [0,a]\times [-a,0]\). Hence, we can know
and
So
Step 2. Let \(\varOmega _{b}:=\{u\in P\mid \Vert u \Vert _{\alpha }< b\}\). For any \(u\in \partial \varOmega _{b}\), we have \(\Vert u \Vert _{\alpha }=b\) and \(f (t,u(t), {_{0}^{R}D}_{t}^{\alpha }u(t) )\leq \phi (b)\leq \varphi _{p}(bA)\) for \((t,u,v)\in [0,1]\times [0,b]\times [-b,0]\). So, we get
and
So
Step 3. Let \(\varOmega _{c}:=\{u\in P\mid \Vert u \Vert _{\alpha }< c\}\), if \(u\in \partial \varOmega _{c}\), we have \(\Vert u \Vert _{\alpha }=c\) and \(f (t,u(t),{_{0}^{R}D}_{t}^{\alpha }u(t) )\geq \psi (c)\geq \varphi _{p}(cB)\geq 0\) for \((t,u,v)\in [0,1]\times [0,c]\times [-c,0]\). Then we have
and
So
By Lemma 2.4, Φ has at least two fixed points \(u_{1}^{*}\), \(u_{2}^{*}\) in \(P\cap \overline{\varOmega }_{c} \backslash \varOmega _{a}\), i.e., system (1.1) has at least two positive solutions \(u_{1}^{*}\), \(u_{2}^{*}\) such that \(a\leq \Vert u_{1}^{*} \Vert \leq b\) and \(b\leq \Vert u_{2} ^{*} \Vert \leq c\). □
Now, we define a nonnegative continuous concave function on a cone P by \(\gamma (u)= \min_{0\leq t\leq 1}(u(t))\). It is obvious that, for each \(u\in P\), \(\gamma (u)\leq \Vert u \Vert _{\alpha }\).
Theorem 3.2
Assume that condition\((H_{1})\)holds and that there exist nonnegative numbersa, b, c, and\(0<\theta <1\)such that\(0< a< b\leq \frac{b}{ \theta }\leq c\), and\(\gamma (u)\geq \theta \Vert u \Vert _{\alpha }\)for\(\forall u\in P_{c}\). In addition, the following assumptions hold:
- \((H_{3})\):
\(f (t,u(t),{_{0}^{R}D}_{t}^{\alpha }u(t) ) \leq \varphi _{p}(cA)\)for\((t,u,v)\in [0,1]\times [0,c]\times [-c,0]\);
- \((H_{4})\):
\(f (t,u(t),{_{0}^{R}D}_{t}^{\alpha }u(t) ) \leq \varphi _{p}(aA)\)for\((t,u,v)\in [0,1]\times [0,a]\times [-a,0]\);
- \((H_{5})\):
\(f (t,u(t),{_{0}^{R}D}_{t}^{\alpha }u(t) ) \geq \varphi _{p}(bC)\)for\((t,u,v)\in [0,1]\times [b,\frac{b}{\theta }]\times [-\frac{b}{\theta },-b]\).
Then problem (1.1) has at least three positive solutions\(u_{1}^{*}\), \(u _{2}^{*}\), and\(u_{3}^{*}\)such that\(\Vert u_{1}^{*} \Vert _{\alpha }\leq a\), \(\gamma (u_{2}^{*})\geq b\), and\(\Vert u_{3}^{*} \Vert _{\alpha }\geq a\)with\(\gamma (u_{3}^{*})< b\).
Proof
Firstly, we show that \(\varPhi :\overline{P_{c}}\rightarrow \overline{P _{c}}\) is a completely continuous operator. In fact, if \(u\in \overline{P _{c}}\), by condition \((H_{3})\), we get
and
Therefore, \(\Vert \varPhi u \Vert _{\alpha }\leq c\), that is, \(\varPhi :\overline{P _{c}}\rightarrow \overline{P_{c}}\). The operator Φ is completely continuous by an application of the Ascoli–Arzela theorem.
In a completely analogous way, condition \((H_{4})\) implies that condition \((B_{2})\) of Proposition 2.5 is satisfied.
Secondly, we show that condition \((B_{1})\) of Proposition 2.5 is satisfied. It is clear that \(\{u\in P(\gamma ,b,\frac{b}{\theta }) \mid \gamma (u)\geq b\}\neq \phi \). If \(u\in P(\gamma ,b,\frac{b}{ \theta })\), then \(b\leq u(t)\leq \frac{b}{\theta }\) for \(t\in (0,1)\). By condition \((H_{5})\), we have
Therefore, condition \((B_{1})\) of Proposition 2.5 is satisfied.
Finally, we show that condition \((B_{3})\) of Proposition 2.5 is also satisfied. If \(u\in P(\gamma , b, c)\) and \(\Vert \varPhi u \Vert _{\alpha }>\frac{b}{ \theta }\), then we get \(\gamma ((\varPhi u)(t))= \min_{0\leq t\leq 1}( \varPhi u)(t)\geq \theta \Vert \varPhi u \Vert _{\alpha }>b\). Therefore, condition \((B_{3})\) of Proposition 2.5 also holds. By Proposition 2.5, there exist three positive solutions \(u_{1}^{*}\), \(u_{2}^{*}\), and \(u_{3}^{*}\) such that \(\Vert u_{1}^{*} \Vert _{\alpha }< a\), \(\gamma (u_{2}^{*})>b\), and \(\Vert u_{3}^{*} \Vert >a\) with \(\gamma (u_{3}^{*})< b\). So we get the conclusion. □
4 Applications
Example 4.1
In system (4.1), we see that \(\alpha =1.5\), \(\beta =0.5\), \(p=2\), \(q=2\), \(n=2\). Moreover, we can calculate that
and
Then we obtain \(A^{-1}=0.5319\) and \(B^{-1}=0.176\). It is easy to know that \(A=1.8801\) and \(B=5.6818\).
Besides, let \(f(t,u)=(\frac{3}{2})^{u}+\frac{t^{2}}{8}\geq 0\) for \(\forall t\in [0,1]\), and choose \(a=\frac{1}{10}\), \(b=2\), \(c=12\). We get
From the definitions of ϕ and ψ, we get \(\psi (a)\geq \varphi _{p}(aB)\), \(\phi (b)\leq \varphi _{p}(bA)\), and \(\psi (c)\geq \varphi _{p}(cB)\). So, all conditions of Theorem 3.1 are satisfied. Then system (4.1) has at least two positive solutions \(u_{1}^{*}, u_{2} ^{*}\in P\) such that \(\frac{1}{10}\leq \Vert u_{1}^{*} \Vert \leq 2\) and \(2\leq \Vert u_{2}^{*} \Vert \leq 12\).
References
Zhai, C., Yan, W., Yang, C.: A sum operator method for the existence and uniqueness of positive solutions to Riemann–Liouville fractional differential equation boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 18, 858–866 (2013)
Chen, T., Liu, W.: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 75(6), 3210–3217 (2012)
Weitzner, H., Zaslavsky, G.M.: Some applications of fractional equations. Commun. Nonlinear Sci. Numer. Simul. 8(3–4), 273–281 (2003)
Goodrich, C.S.: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett. 23(9), 1050–1055 (2010)
Zhai, C., Hao, M.: Mixed monotone operator methods for the existence and uniqueness of positive solutions to Riemann–Liouville fractional differential equation boundary value problems. Bound. Value Probl. 2013, 85 (2013)
Cheng, C., Feng, Z., Su, Y.: Positive solutions for boundary value problem of fractional differential equation with derivative terms. Electron. J. Qual. Theory Differ. Equ. 215, 1 (2012)
Leibenson, L.S.: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk SSSR 9, 7–10 (1945)
Yan, P.: Nonresonance for one-dimensional p-Laplacian with regular restoring. J. Math. Anal. Appl. 285, 141–154 (2003)
Dong, X., Bai, Z.: Positive solutions to boundary value problems of p-Laplacian with fractional derivative. Bound. Value Probl. 2011, 5 (2011)
Goodrich, C.S., Ragusa, M.A., Scapellato, A.: Partial regularity of solutions to p(x)-Laplacian PDEs with discontinuous coefficients. J. Differ. Equ. 2020 (2020). https://doi.org/10.1016/j.jde.2019.11.026
Goodrich, C.S., Ragusa, M.A.: Holder continuity of weak solutions of p-Laplacian PDEs with VMO coefficients. Nonlinear Anal., Theory Methods Appl. 185, 336–355 (2019)
Dong, X., Bai, Z., Zhang, S.: Positive solutions to boundary value problems of p-Laplacian with fractional derivative. Bound. Value Probl. 2017, 5 (2017)
Liu, X., Jia, M.: On the solvability of a fractional differential equation model involving the p-Laplacian operator. Comput. Math. Appl. 64, 3267–3277 (2012)
Liu, X., Liu, M.: The positive solutions for integral boundary value problem of fractional p-Laplacian equation with mixed derivatives. Mediterr. J. Math. 14, 94 (2017)
Bai, C.: Existence and uniqueness of solutions for fractional boundary value problems with p-Laplacian operator. Adv. Differ. Equ. 2018, 4 (2018)
Lu, H.L., Han, Z.L.: Existence on positive solutions for boundary value problems of nonlinear fractional differential equations with p-Laplacian. Adv. Differ. Equ. 2013(30), 1 (2013)
Zhou, B.: Existence of positive solutions of boundary value problems for high-order nonlinear conformable differential equations with p-Laplacian operator. Adv. Differ. Equ. 2019, 351 (2019)
Avery, R., Henderson, J.: Existence of three positive pseudo-symmetric solutions for a one-dimensional p-Laplacian. J. Math. Anal. Appl. 277, 395–404 (2003)
Guo, D.J., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)
Leggett, R.W., Williams, L.R.: Multiple positive fixed points of nonlinear operators on ordered Banach spaces. Indiana Univ. Math. J. 28(4), 673–688 (1979)
Acknowledgements
We are thankful to the editor and the anonymous reviewers for many valuable suggestions to improve this paper.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
This paper is supported by the opening project of State Key Laboratory of Explosion Science and Technology (Beijing Institute of Technology). The opening project number is KFJJ19-06M. And it is also supported by the Key R&D Program of Shanxi Province (International Cooperation, 201903D421042).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.
Corresponding author
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhou, B., Zhang, L., Addai, E. et al. Multiple positive solutions for nonlinear high-order Riemann–Liouville fractional differential equations boundary value problems with p-Laplacian operator. Bound Value Probl 2020, 26 (2020). https://doi.org/10.1186/s13661-020-01336-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01336-1