- Research
- Open access
- Published:
On the existence of three solutions of Dirichlet fractional systems involving the p-Laplacian with Lipschitz nonlinearity
Boundary Value Problems volume 2020, Article number: 131 (2020)
Abstract
A class of perturbed fractional nonlinear systems is studied. The dynamical system possesses two control parameters and a Lipschitz nonlinearity order of \(p-1\). The multiplicity of the weak solutions is proved by means of the variational method and by Ricceri critical points theorems. An illustrative example is analyzed in order to highlight the obtained result.
1 Introduction
Fractional differential equations have proved to be promising tools in the modeling of diverse phenomena in various fields, such as physics, chemistry, biology, engineering and economics. In recent years, there was a significant development in fractional differential equations due to the possibility of accounting for a larger class of memory properties. For instance, consider the studies of Miller and Ross [1], Boulaaras et al. [2, 3], Podlubny [4], Hilfer [5], Kilbas et al. [6], and the related papers [1, 7–16] and the references therein.
Critical point theory was very useful in determining the existence of solutions to complete differential equations with certain boundary conditions; see, for example, in the extensive literature on the subject, the classical books [17–19], and the references therein. However, so far, some problems were created for fractional boundary value problems (F-BVP) by exploiting this approach, where it is often very difficult to create suitable spaces and functions for fractional problems.
In [20], the authors investigated the following nonlinear fractional differential equation depending on two parameters:
for \(1\leq i\leq n\), where \(\alpha _{i}\in (0;1]\), \({}_{0}D_{t}^{\alpha _{i}}\) and \({}_{t}D_{T}^{\alpha _{i}}\) are the left and right Riemann–Liouville fractional derivatives of order \(\alpha _{i}\), respectively, with \(a_{i}\in L^{\infty } ( [ 0,T ] ) \) for
are positive parameters, \(F,G: [ 0,T ] \times \mathbb{R} ^{n}\longrightarrow \mathbb{R} \) are measurable functions with respect to \(t\in [ 0,T ] \) for every \(( x_{1},\ldots,x_{n} ) \in \mathbb{R} ^{n}\) and are \(C^{1}\) with respect to \(( x_{1},\ldots,x_{n} ) \in \mathbb{R} ^{n}\) for a.e. \(t\in [ 0,T ] \), \(F_{u_{i}}\) and \(G_{u_{i}}\) denote the partial derivative of F and G with respect to \(u_{i}\), respectively, and \(h_{i}: \mathbb{R} \rightarrow \mathbb{R} \) are Lipschitz continuous functions with the Lipschitz constants \(L_{i}>0\) for \(1\leq i\leq n\), i.e.,
for every \(x_{1},x_{2}\in \mathbb{R} \), and \(h_{i} ( 0 ) =0\) for \(1\leq i\leq n\). Motivated by [21] and [22], using a three critical points theorem obtained in [23], which is recalled in the next section (Theorem 2), the existence of at least three solutions for this system is demonstrated.
For example, according to some assumptions, in [24], by using variational methods the authors obtained the existence of at least one weak solution for the following p-Laplacian fractional differential equation [24]:
where \({}_{0}D_{t}^{\alpha }\) and \({}_{t}D_{T}^{\alpha }\) are the left and right Riemann–Liouville fractional derivatives with \(0<\alpha \leq 1\), respectively, the function \(\phi _{p} ( s ) = \vert s \vert ^{p-2}s\), \(p>1\). Taking a class of fractional differential equation with p-Laplacian operator as a model, Li et al. investigated the following equation recently [25]:
with \(\frac{1}{p}<\alpha \leq 1\), λ a non-negative real parameter.
The function
is continuous and \(h:\mathbb{R} \rightarrow \mathbb{R} \) is a Lipschitz continuous function.
By using the mountain pass theorem combined with iterative technique, the authors obtained the existence of at least one solution for problem (1.3). In addition, in [20], three weak solutions for a new class of fractional p-Laplacian for boundary value Systems were established by using variational methods and critical point theory. In contrast, motivated by [21] and [22], the existence of at least three solutions for system (1.4) is demonstrated in the present paper, by means of the three critical points theorem obtained in [23], which is recalled in the next section (Theorem 2). This theorem has been successfully employed to establish the existence of at least three solutions for the case of perturbed boundary value problems; see [7, 26–28] and [29].
Consider the following fractional nonlinear system:
where \(\alpha _{i}\in (0;1]\), \(\phi _{p} ( t ) = \vert t \vert ^{p-2}t\), \(t\neq 0\), \(\phi _{p} ( 0 ) =0\), \(p>1,_{0}D_{t}^{\alpha _{i}}\) and \({}_{t}D_{T}^{\alpha _{i}}\) are the left and right Riemann–Liouville fractional derivatives of order \(\alpha _{i}\), respectively, for \(1\leq i\leq n,\lambda \) and μ are positive parameters, and \(F,G: [ 0,T ] \times \mathbb{R} ^{n}\rightarrow \mathbb{R} \) are measurable functions with respect to \(t\in [ 0,T ] \) for every \(( x_{1},x_{2},\ldots,x_{n} ) \in \mathbb{R} ^{n}\) and are \(C^{1}\) with respect to \(( x_{1},x_{2},\ldots,x_{n} ) \in \mathbb{R} ^{n}\).for a.e. \(t\in [ 0,T ] \), \(F_{u_{i}}\), \(G_{u_{i}}\) denote the partial derivative of F and G with respect to \(u_{i}\), respectively, and \(h_{i}:\mathbb{R} \rightarrow \mathbb{R} \) are Lipschitz continuous functions of order \(( p-1 ) \) with Lipschizian constants \(L_{i}>0\) for \(1\leq i\leq n\), i.e.,
for every \(x_{1},x_{2}\in \mathbb{R} \), and \(h_{i} ( 0 ) =0\) for \(1\leq i\leq n\).
In this paper, the following conditions are assumed:
- \((H_{0})\):
-
\(\alpha _{i}\in (\frac{1}{p};1]\) for \(1\leq i\leq n\).
- \((F1)\):
-
for every \(M>0\) and every \(1\leq i\leq n\),
$$ \sup_{ \vert ( x_{1},x_{2},\ldots,x_{n} ) \vert \leq M} \bigl\vert F_{u_{i}} ( t,x_{1},x_{2},\ldots,x_{n} ) \bigr\vert \in L^{1} \bigl( [ 0,T ] \bigr) . $$ - \((F2)\):
-
\(F ( t,0,0,\ldots,0 ) =0\) for a.e. \(t\in [ 0,T ] \).
- \((G)\):
-
for every \(M>0\) and every \(1\leq i\leq n\),
$$ \sup_{ \vert ( x_{1},x_{2},\ldots,x_{n} ) \vert \leq M} \bigl\vert G_{u_{i}} ( t,x_{1},x_{2},\ldots,x_{n} ) \bigr\vert \in L^{1} \bigl( [ 0,T ] \bigr) . $$
This rest of this paper is organized as follows. The next section presents the necessary preliminary to develop the main contribution of this paper. In Sect. 3, the main result (Theorem 2) is derived, and meaningful consequences (Corollaries 1 and 2 and Example 1) are presented.
2 Preliminaries
For the sake of clarity, the necessary definitions and properties of fractional calculus are presented below.
Definition 1
([6])
Let u be a function defined on \([ a,b ] \). The left and right Riemann–Liouville fractional derivatives of order \(\alpha >0\) for a function u are defined by
and
for every \(t\in [ a,b ] \), provided the right-hand sides are pointwise defined on \([ a,b ] \), where \(n-1\leq \alpha < n\) and \(n\in \mathbb{N} \).
Here, \(\varGamma ( \alpha ) \) is the gamma function, given by
The set \(AC^{n} ( [ a,b ] ,\mathbb{R} ) \) corresponds to the space of functions \(u: [ a,b ] \rightarrow \mathbb{R} \) such that \(u\in C^{n-1} ( [ a,b ] ,\mathbb{R} ) \) and \(u^{ ( n-1 ) }\in AC^{n} ( [ a,b ] ,\mathbb{R} ) \). Here, as usual, \(C^{n-1} ( [ a,b ] ,\mathbb{R} ) \) denotes the set of mappings that are \(( n-1 ) \) times continuously differentiable on \([ a,b ] \). In particular, \(AC ( [ a,b ] ,\mathbb{R} ) :=AC^{1} ( [ a,b ] ,\mathbb{R} ) \).
Proposition 1
([30])
The following property of fractional integration holds:
provided that\(u\in L^{p} ( [ a,b ] ,\mathbb{R} ) \), \(v\in L^{q} ( [ a,b ] ,\mathbb{R} ) \)and\(p\geq 1\), \(q\geq 1\), \(\frac{1}{p}+\frac{1}{q}\leq 1+\alpha \)or\(p\neq 1\), \(q\neq 1\), \(\frac{1}{p}+\frac{1}{q}=1+\alpha \).
Proposition 2
([31])
If\(u ( a ) =u ( b ) =0\), \(u\in L^{\infty } ( [ a,b ] ,\mathbb{R} ^{N} ) \), \(v\in L^{1} ( [ a,b ] ,\mathbb{R} ) \), or\(v ( a ) =v ( b ) =0\), \(v\in L^{\infty } ( [ a,b ] ,\mathbb{R} ^{N} ) \), \(u\in L^{1} ( [ a,b ] ,\mathbb{R} ) \), then
To establish a variational structure for the main problem, it is necessary to construct appropriate function spaces. Following [32], \(C_{0}^{\infty } ( [ 0,T ] ,\mathbb{R} ) \) denotes the set of all functions \(g\in C^{\infty } ( [ 0,T ] ,\mathbb{R} ) \) with \(g ( 0 ) =g ( T ) =0\).
Definition 2
([24])
For \(0<\alpha _{i}\leq 1\), and for \(1\leq i\leq n\), the fractional derivative space \(E_{0}^{\alpha i,p}\) is defined by
with the norm
where
is the norm of \(L^{p} ( [ 0,T ] ,\mathbb{R} ) \) for \(1\leq i\leq n\), and
From [24, Lemma 3.1], one finds that, for \(0<\alpha _{i}\leq 1\) and \(1< p<+\infty \), the space \(E_{0}^{\alpha _{i},p}\) is a reflexive and separable Banach space.
Lemma 1
([24])
Let\(0<\alpha _{i}\leq 1\), for\(1\leq i\leq n\)and\(1< p<+\infty \), for all\(u_{i}\in E_{0}^{\alpha _{i},p}\)one has
Hence, it is possible to consider \(E_{0}^{\alpha _{i},p}\) with respect to the norm
for \(1\leq i\leq n\), which is equivalent to (2.1).
Hereafter, let X be the Cartesian product of the n spaces \(E_{0}^{\alpha _{i},p}\), i.e., \(X=E_{0}^{\alpha _{1},p}\times E_{0}^{\alpha _{2},p}\times \cdots\times E_{0}^{ \alpha _{n},p}\) equipped with the norm
where \(\Vert u_{i} \Vert _{\alpha _{i},p}\) is defined in (2.5). It is evident that X is compactly embedded in \(C ( [ 0,T ] ,\mathbb{R} ) ^{n}\).
Definition 3
A weak solution of system (1.4) consists of any function \(u= ( u_{1},u_{2},\ldots,u_{n} ) \in X\), such that, for all \(v= ( v_{1},v_{2},\ldots,v_{n} ) \in X\), one finds that
Remember the following result of [14, Theorem 1], with easy manipulations that are provided in the sequel.
Theorem 1
(Ricceri [14])
LetXbe a reflexive real Banach space; \(\varPhi :X\rightarrow \mathbb{R} \)be a continuously Gâteaux differentiable and sequentially weakly lower semicontinuous functional whose Gâteaux derivative admits a continuous inverse on\(X^{\ast }\), bounded on bounded subsets ofX, \(\varPsi :X\rightarrow \mathbb{R} \)a continuously Gâteaux differentiable functional whose Gâteaux derivative is compact such that
Assume that there exists\(r>0\)and\(\overline{x}\in X\), with\(r<\varPhi ( \overline{x} ) \), such that
- (\(a_{1}\)):
-
\(\frac{\sup_{\varPhi ( x ) \leq r}\varPsi ( x ) }{r}< \frac{\varPhi ( \overline{x} ) }{\varPsi ( \overline{x} ) }\);
- (\(a_{2}\)):
-
for each\(\lambda \in \varLambda _{r};= ] \frac{\varPhi ( \overline{x} ) }{\varPsi ( \overline{x} ) }, \frac{r}{\sup_{\varPhi ( x ) \leq r}\varPsi ( x ) } [ \), the functional\(\varPhi -\lambda \varPsi \)is coercive.
Then, for each compact interval\([ a,b ] \subseteq \varLambda _{r}\), there exists\(\rho >0\)with the following property: for every\(\lambda \in [ a,b ] \)and every\(C^{1}\)functional\(\digamma :X\rightarrow \mathbb{R} \)with compact derivative, there exists\(\delta >0\)such that, for each\(\mu \in [ 0,\delta ] \), the equation
has at least three solutions inXwhose norms are less thanρ.
3 The main results
In the present section, the existence of multiple solutions for system (1.1) is discussed. For any \(\varsigma >0\), \(K ( \varsigma ) \) denotes
This set is one of the cornerstones of the given hypotheses for appropriate choices of ς. For \(u= ( u_{1},u_{2},\ldots,u_{n} ) \in X\) one has
where
for every \(t\in [ 0,T ] \) and \(x\in \mathbb{R} \). Moreover, let
Theorem 2
Suppose that\(k>0\)and the conditions\(( F1 ) \), \(( F2 ) \), \(( G ) \)and\(( H ) \)are satisfied. Furthermore, assume that there exist a positive constantrand a function\(\omega = ( \omega _{1},\omega _{2},\ldots,\omega _{n} ) \in X\)such that
-
(i)
$$\frac{1}{p}\sum_{i=1}^{n} \Vert \omega _{i} \Vert _{ \alpha _{i}}^{p}>\frac{r}{k}; $$
-
(ii)
$$\frac{r\int _{0}^{T}F ( t,\omega _{1},\omega _{2},\ldots,\omega _{n} ) \,dt}{\frac{1}{p}\sum_{i=1}^{n} \Vert \omega _{i} \Vert _{\alpha _{i}}^{p}-\varUpsilon ( \omega _{1},\omega _{2},\ldots,\omega _{n} ) }- \int _{0}^{T}\max_{ ( x_{1},x_{2},\ldots,x_{n} ) \in K ( \frac{cr}{k} ) }F ( t,x_{1},x_{2},\ldots,x_{n} ) \,dt>0; $$
-
(iii)
$$ \lim_{ ( \vert x_{1} \vert , \vert x_{2} \vert ,\ldots, \vert x_{n} \vert ) \rightarrow ( +\infty ,+\infty ,\ldots,+\infty ) }\sup \frac{\sup_{t\in [ 0,T ] }F ( t,x_{1},x_{2},\ldots,x_{n} ) }{\frac{1}{p}\sum_{i=1}^{n} \vert x_{i} \vert ^{p}}\leq 0. $$
Then, setting
for each compact interval\([ a,b ] \subseteq \varLambda _{r}\), there exists\(\rho >0\)with the following property: for every\(\lambda \in [ a,b ] \)there exists\(\delta >0\)such that, for each\(\mu \in [ 0,\delta ] \), system (1.4) admits at least three solutions inXwhose norms are less thanρ.
Proof
For each \(u= ( u_{1},u_{2},\ldots,u_{n} ) \in X\), define Φ, \(\varPsi :X\rightarrow \mathbb{R} \) as
and
Clearly, Φ and Ψ are continuously Gâteaux differentiable functionals whose Gâteaux derivatives at the point \(u\in X\) are given by
for every \(v= ( v_{1},v_{2},\ldots,v_{n} ) \in X\). Hence, \(\varPhi -\lambda \varPsi \in C^{1} ( X,\mathbb{R} ) \). Moreover, \(\varPsi ^{\prime }:X\rightarrow X^{\ast }\) is a compact operator (see the proof of [21, Theorem 3.1]). Furthermore, similar to the proof of [22, Theorem 3.1], we can show that Φ is sequentially weakly lower semicontinuous. As concerns functional Φ, it is easy to show that Φ is bounded on each bounded subset of X and its derivative admits a continuous inverse on \(X^{\ast }\). Moreover, we have \(\varPhi ( 0 ) =\varPsi ( 0 ) =0\).
It is shown that the required hypothesis \(\varPhi ( \overline{x} ) >r \) follows from \(( i ) \) and the definition of Φ, by choosing \(\overline{x}=\omega \). Indeed, since (1.5) holds for every \(x_{1},x_{2}\in \mathbb{R} \) and \(h_{1} ( 0 ) =h_{2} ( 0 ) =\cdots=h_{n} ( 0 ) =0\), one has \(\vert h_{i} ( x ) \vert \leq L_{i} \vert x \vert ^{p-1}\), \(1\leq i\leq n\), for all \(x\in \mathbb{R} \). Besides, it follows from (2.3) that
From (2.2) and (2.4), for every \(u_{i}\in E_{0}^{\alpha _{i},p}\) one has
for each \(u= ( u_{1},u_{2},\ldots,u_{n} ) \in X\). From (2.4), (3.1) and (3.2), for each \(r>0\) one obtains
Then
Therefore, from the condition (ii), one gets
from which assumption \((a_{1})\) of Theorem 1 follows. Fix \(0<\epsilon <\frac{1}{pTc\lambda }\); from (iii) there is a constant \(\tau _{\epsilon }\) such that
for every \(t\in [ 0,T ] \) and for every \(( x_{1},x_{2},\ldots,x_{n} ) \in \mathbb{R} ^{n}\). Taking (2.4) into account, from (3.3), it follows that, for each \(u\in X\),
and thus
which means the functional \(\varPhi ( u ) -\lambda \varPsi ( u ) \) is coercive for every parameter λ, in particular, for every \(\lambda \in \varLambda \subset ] \frac{\varPhi ( \omega ) }{\varPsi ( \omega ) }, \frac{r}{\sup_{\varPhi ( u ) \leq r}\varPsi ( u ) } [ \). Then also condition \(( a_{2} ) \) holds.
In addition, since \(G: [ 0,T ] \times \mathbb{R} ^{n}\rightarrow \mathbb{R} \) is a measurable function with respect to \(t\in [ 0,T ] \) for every \(( x_{1},x_{2},\ldots,x_{n} ) \in \mathbb{R} ^{n}\) belonging to \(C^{1}\) with respect to \(( x_{1},x_{2},\ldots,x_{n} ) \in \mathbb{R} ^{n}\) for a.e. \(t\in [ 0,T ] \) satisfying condition \(( \mathbf{G} ) \), the functional
is well defined and continuously Gâteaux differentiable on X with a compact derivative, and
for all \(( u_{1},u_{2},\ldots,u_{n} ) \), \(( v_{1},v_{2},\ldots,v_{n} ) \in X\). Thus, all the hypotheses of Theorem 1 are satisfied. Also note that the solutions of the equation
are exactly the solutions of (1.4) (see [21]). So, the conclusion follows from Theorem 1. □
Example 1
Consider the following fractional boundary value problem:
where \(\alpha _{1}=0.75\), \(\alpha _{2}=0.6\), \(p=3\), \(T=1\), \(h_{1} ( u_{1} ) = ( \sin ( \frac{u_{1}}{2} ) ) ^{2}\), \(h_{2} ( u_{2} ) = ( \arctan ( \frac{u_{2}}{3} ) ) ^{2}\) and \(G : [ 0,1 ] \times \mathbb{R} ^{2}\rightarrow \mathbb{R} \) is an arbitrary function which is measurable with to respect to \(t\in [ 0,1 ] \) for every \(( x_{1},x_{2} ) \in \mathbb{R} ^{2}\) and is \(C^{1}\) with respect to \(( x_{1},x_{2} ) \in \mathbb{R} ^{2}\) for a.e. \(t\in [ 0,1 ] \), satisfying
for every \(M>0\) and \(i=1,2\). Moreover, for all \(( t,x_{1},x_{2} ) \in [ 0,1 ] \times \mathbb{R} ^{2} \), put \(F ( t,x_{1},x_{2} ) = ( 1+t^{2} ) H ( x_{1},x_{2} ) \), where
Obviously, \(F ( t,0,0 ) =0\) for all \(t\in [ 0,1 ] \), and a direct calculation shows that
By choosing, for instance,
and \(r=\frac{1}{10^{3}}\) all assumptions of Theorem 2 are satisfied. In fact, \(\omega _{i} ( 0 ) =\omega _{i} ( 1 ) =0\), \(i=1,2\), and
Then one has
which implies that the condition (i) holds, and
and
Thus, conditions (ii) and (iii) are satisfied. Then, in view of Theorem 2 for each \(\lambda \in ] 1.8025,9.1743 [ \), system \(( 3.4 ) \) has at least three weak solutions in \(X=E_{0}^{.0,75,3}\times E_{0}^{.0,6,3}\).
Next, it is desirable to give a verifiable consequence of Theorem 2 for a fixed text function ω. For a given constant \(\gamma \in ( 0,\frac{1}{2} ) \) and for all \(1\leq i\leq n\), set
Corollary 1
Let assumption (iii) in Theorem 2hold. Assume that there exist positive constantsdandηsuch that\(\frac{d}{\triangle ckn}\geq \eta ^{p}\), and also
-
(j)
\(F ( t,x_{1},x_{2},\ldots,x_{n} ) \geq 0\), for each\(( t,x_{1},x_{2},\ldots,x_{n} ) \in [ 0,T ] \times {}[ 0;+\infty )\times \cdots\times {}[ 0;+\infty )\);
-
(jj)
\(\frac{\int _{0}^{T}\max_{ ( x_{1},x_{2},\ldots,x_{n} ) \in K ( d ) }F ( t,x_{1},x_{2},\ldots x_{n} ) \,dt}{kd} < \frac{\int _{\gamma T}^{ ( 1-\gamma ) T}F ( t,\varGamma ( 2-\alpha _{1} ) \eta ,\ldots,\varGamma ( 2-\alpha _{n} ) \eta ) \,dt}{nc\tau \triangle ^{\prime }\eta ^{p}}\).
Then, setting
for each compact interval \([ a,b ] \subseteq \varLambda _{1}\), there exists \(\rho >0\) with the following property: for every \(\lambda \in ] a,b [ \), there exists δ such that, for each \(\mu \in [ 0,\delta ] \), system (1.4) admits at least three solutions in X whose norms are less than ρ.
Proof
For \(\gamma \in ( 0,\frac{1}{2} ) \) choose \(\omega ( t ) = ( \omega _{1} ( t ) ,\ldots, \omega _{n} ( t ) ) \) for every \(t\in [ 0,T ] \) with
for \(1\leq i\leq n\), Clearly \(\omega _{i} ( 0 ) =\omega _{i} ( T ) =0\) and \(\omega _{i}\in L^{2} ( [ 0,T ] ,\mathbb{R} ) \) for \(1\leq i\leq n\),A direct calculation shows that
for \(1\leq i\leq n\). Furthermore,
for \(1\leq i\leq n\). Thus, \(\omega \in X\), and
with \(1\leq i\leq n\). This and (3.1) imply that
Similarly to (3.1) and (3.5) one has
Let \(r=\frac{kd}{c}\). From \(\frac{d}{\triangle ckn}<\eta ^{p}\), it is found as a result that
which is assumption (i) of Theorem 2.
On the other hand, by using assumption (j), one can infer
Moreover, by condition (jj) one gets
which implies that (ii) is satisfied. Thus, all the assumptions of Theorem 2 are satisfied and the proof is complete. □
Corollary 2
Let\(F:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{n}\)be a\(C^{1}\)-function and\(F ( 0,\ldots,0 ) =0\). Assume that there exist positive constantsdandηsuch that\(\frac{d}{\triangle ckn}<\eta ^{p}\), and also
-
(H)
\(F ( x_{1},\ldots,x_{n} ) \geq 0\), for each\(( x_{1},\ldots,x_{n} ) \in {}[ 0;+\infty )\times \cdots \times {}[ 0;+\infty )\);
-
(HH)
\(\frac{\max_{ ( x_{1},x_{2},\ldots,x_{n} ) \in K ( d ) }F ( x_{1},x_{2},\ldots x_{n} ) }{kd}\)\(< \frac{ ( 1-2\gamma ) F ( \varGamma ( 2-\alpha _{1} ) \eta ,\ldots,\varGamma ( 2-\alpha _{n} ) \eta ) }{nc\tau \triangle ^{\prime }\eta ^{p}}\);
-
(HHH)
\(\lim_{ ( \vert x_{1} \vert , \vert x_{2} \vert ,\ldots, \vert x_{n} \vert ) \rightarrow ( +\infty ,+\infty ,\ldots,+\infty ) }\sup \frac{F ( x_{1},x_{2},\ldots,x_{n} ) }{\frac{1}{p}\sum_{i=1}^{n} \vert x_{i} \vert ^{p}} \leq 0\).
Then, setting
for each compact interval \([ a,b ] \subseteq \varLambda _{2}\), there exists \(\rho >0\) with the following property: for every \(\lambda \in ] a,b [ \), there exists \(\delta >0\) such that, for each \(\mu \in [ 0,\delta ] \), system (1.4) admits at least three solutions in X whose norms are less than ρ.
References
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Boulaaras, S., Guefaifia, R., Alharbi, A., Cherif, B.: Existence of 3-weak solutions for a new class of an overdetermined system of fractional partial integro-differential equations. Fractals (2020). https://doi.org/10.1142/S0218348X20400368
Kamache, F., Guefaifia, R., Boulaaras, S.: Existence of three solutions for perturbed nonlinear fractional p-Laplacian boundary value systems with two control parameters. J. Pseudo-Differ. Oper. Appl. (2020). https://doi.org/10.1007/s11868-020-00354-y
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Abdellaoui, B., Attar, A., Bentifour, R.: On the fractional p-Laplacian equations with weight and general datum. Adv. Nonlinear Anal. 8(1), 144–174 (2019)
Wang, P., Ru, Y.: Some existence results of positive solutions for p-Laplacian systems. Bound. Value Probl. 2019, 9 (2019)
Gala, S., Liu, Q., Ragusa, M.A.: A new regularity criterion for the nematic liquid crystal fows. Appl. Anal. 91(9), 1741–1747 (2012)
Gala, S., Ragusa, M.A.: Logarithmically improved regularity criterion for the Boussinesq equations in Besov spaces with negative indices. Appl. Anal. 95(6), 1271–1279 (2016)
Kosmatov, N.: Integral equations and initial value problems for nonlinear differential equations of fractional order. Nonlinear Anal. 70, 2521–2529 (2009)
Lakshmikantham, V., Vatsala, A.S.: Basic theory of fractional differential equations. Nonlinear Anal. 6, 2677–2682 (2008)
Wang, J., Zhou, Y.: A class of fractional evolution equations and optimal controls. Nonlinear Anal., Real World Appl. 12, 262–272 (2011)
Wei, Z., Dong, W., Che, J.: Periodic boundary value problems for fractional differential equations involving a Riemann–Liouville fractional derivative. Nonlinear Anal. 73, 3232–3238 (2010)
Zhang, S.: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 59, 1300–1309 (2010)
Fares, K., Rafik, G., Salah, B., Asma, A.: Existence of weak solutions for a new class of fractional p-Laplacian boundary value systems. Mathematics 8, 475 (2020)
Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989)
Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS, vol. 65. Am. Math. Soc., Providence (1986)
Willem, M.: Minimax Theorems. Birkhauser, Basel (1996)
Mohseni Kolagar, S., Afrouzi, G.A., Hadjian, A.: Existence of three solutions for a class of fractional boundary value systems. Int. J. Nonlinear Anal. Appl. 7, 351–362 (2016)
Zhao, Y., Chen, H., Qin, B.: Multiple solutions for a coupled system of nonlinear fractional differential equations via variational methods. Appl. Math. Comput. 257, 417–427 (2015)
Zhao, Y., Chen, H., Zhang, Q.: Infinitely many solutions for fractional differential system via variational method. J. Appl. Math. Comput. 50, 589–609 (2016)
Ricceri, B.: A three critical points theorem revisited. Nonlinear Anal. 70, 3084–3089 (2009)
Chen, T., Liu, W.: Solvability of fractional boundary value problem with p-Laplacian via critical point theory. Bound. Value Probl. 2016, 1 (2016)
Li, D., Chen, F., An, Y.: Existence of solutions for fractional differential equation with p-Laplacian through variational method. J. Appl. Anal. Comput. 8, 1778–1795 (2018)
Bonanno, G., Chinn, A.: Existence of three solutions for a perturbed two-point boundary value problem. Appl. Math. Lett. 23, 807–811 (2010)
Candito, P., Agui, G.D.: Three solutions to a perturbed nonlinear discrete Dirichlet problem. J. Math. Anal. Appl. 375, 594–601 (2011)
Heidarkhani, S., Henderson, J.: Multiple solutions for a nonlocal perturbed elliptic problem of p-Kirchhoff type. Commun. Appl. Nonlinear Anal. 19, 25–39 (2012)
Heidarkhani, S., Henderson, J.: Critical point approaches to quasilinear second order differential equations depending on a parameter. Topol. Methods Nonlinear Anal. 44, 177–197 (2014)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integral and Derivatives: Theory and Applications. Gordon and Breach, Longhorne (1993)
Jiao, F., Zhou, Y.: Existence results for fractional boundary value problem via critical point theory. Int. J. Bifurc. Chaos Appl. Sci. Eng. 22, 1250086 (2012)
Jiao, F., Zhou, Y.: Existence of solutions for a class of fractional boundary value problems via critical point theory. Comput. Math. Appl. 62, 1181–1199 (2011)
Acknowledgements
We authors acknowledge to Prof. Aldo Jonathan Muñoz-Vázquez for a first revision and kind comments on this work. The authors would like to thank the anonymous referees and the handling editor for their careful reading and for relevant remarks/suggestions.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors contributed equally in this article. They have all read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this manuscript. The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Additional information
On the occasion of the 80th birthday of the second author’s mother, Mrs. Fatma Bint Al-Tayeb Zeghdoud.
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
Guefaifia, R., Boulaaras, S. & Kamache, F. On the existence of three solutions of Dirichlet fractional systems involving the p-Laplacian with Lipschitz nonlinearity. Bound Value Probl 2020, 131 (2020). https://doi.org/10.1186/s13661-020-01429-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01429-x