Next Article in Journal
On the Nonlocal Fractional Delta-Nabla Sum Boundary Value Problem for Sequential Fractional Delta-Nabla Sum-Difference Equations
Previous Article in Journal
Generalized 5-Point Approximating Subdivision Scheme of Varying Arity
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence of Weak Solutions for a New Class of Fractional p-Laplacian Boundary Value Systems

1
Laboratory of Mathematics, Informatics and systemes (LAMIS), University of Larbi Tebessi, 12000 Tebessa, Algeria
2
Department of Mathematics, College of Sciences and Arts, Al-Rass, Qassim University, 51452 Qassim, Saudi Arabia
3
Laboratory of Fundamental and Applied Mathematics of Oran (LMFAO), University of Oran 1 Ahmed Ben Bella, 31000 Oran, Algeria
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Submission received: 2 March 2020 / Revised: 23 March 2020 / Accepted: 28 March 2020 / Published: 31 March 2020

Abstract

:
In this paper, at least three weak solutions were obtained for a new class of dual non-linear dual-Laplace systems according to two parameters by using variational methods combined with a critical point theory due to Bonano and Marano. Two examples are given to illustrate our main results applications.

1. Introduction

Fractional differential equations have proved to be valuable tools in modeling many phenomena in various fields of physics, chemistry, biology, engineering and economics. There was a significant development in fractional differential equations. We can see the studies of Miller and Ross [1], Samko et al. [2], Podlupny [3], Hilfer [4], Kelpas et al. [5] and papers [6,7,8,9,10,11,12,13,14,15,16] and references therein.
The 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, classical books [17,18,19] and references appearing there. However, so far, some problems have been created for fractional marginal value problems (briefly BVP) by exploiting this approach, where it is often very difficult to create a suitable space and a suitable function for fractional problems.
In [20], the authors investigated the following nonlinear fractional differential equation depending on two parameters:
t D T α i a i t 0 D t α i u i t = λ F u i t , u 1 t , u 2 t , ... , u n t + μ G u i t , u 1 t , u 2 t , ... , u n t + h i u i a . e 0 , T , u i 0 = u i T = 0
for 1 i n , where α i ( 0 ; 1 ] , 0 D t α i and t D T α i are the left and right Riemann-Liouville fractional derivatives of order α i respectively, a i L 0 , T with
a i 0 = e s s inf 0 , T a i > 0 for 1 i n , λ , μ
are positive parameters, F , G : 0 , T × R n R are measurable functions with respect to t 0 , T for every x 1 , ... , x n R n and are C 1 with respect to x 1 , ... , x n R n for a.e. t 0 , T , F u i and G u i denotes the partial derivative of F and G with respect to u i , respectively, and h i : R R are Lipschitz continuous functions with the Lipschitz constants L i > 0 for 1 i n , i.e.,
h i x 1 h i x 2 L i x 1 x 2
for every x 1 , x 2 R , and h i 0 = 0 for 1 i n . Motivated by [21,22], using a three critical points theorem obtained in [23] which we recall in the next section (Theorem 2.6), we ensure the existence of at least three solutions for this system.
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]
t D T α ϕ p 0 D t α u t = λ f t , u t a . e . t 0 , T , u 0 = u T = 0 ,
where 0 D t α and t D T α are the left and right Riemann-Liouville fractional derivatives with 0 < α 1 , respectively, the function ϕ p s = s 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]
t D T α 1 w t p 2 φ p 0 D t α u t + λ u t = f t , u , 0 c D t α u t + h u t a . e . t 0 , T , u 0 = u T = 0
with 1 p < α 1 , λ is a non-negative real parameter.
The functions
φ p s = s p 2 s , p 2 , f : 0 ; T × R × R R
is continuous h : R 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 (3).
In this paper, we are interested in ensuring the existence of three weak solutions for the following system
t D T α i 1 w i t p 2 ϕ p 0 D t α i u i t + μ u i t p 2 u i t = λ F u i t , u 1 t , u 2 t , ... , u n t a . e . t 0 , T , u i 0 = u i T = 0 ,
where
ϕ p s = s p 2 s , p > 1 , w i t L 0 , T
with w i 0 = e s s inf 0 , T w i t > 0 , 0 D t α i and t D T α i are the left and right Riemann-Liouville fractional derivatives of order 0 < α i 1 respectively, for 1 i n , λ is positive parameter, and F : 0 , T × R n R is measurable function with respect to t 0 , T for every x 1 , x 2 , ... , x n R n and are C 1 with respect to x 1 , x 2 , ... , x n R n . for a.e. t 0 , T , F u i denote the partial derivative of F with respect to u i , respectively,
H 0 α i ( 0 ; 1 ] for 1 i n .
H 1 F : 0 , T × R n R be a function such that F . , u 1 , u 2 , ... , u n is continuous in 0 , T for every u 1 , u 2 , ... , u n R n , F t , . , . , ... , . is a C 1 function in R 2 .
In the present paper, motivated by [26,27], using a three critical points theorem obtained in [23], which we recall in the next section (Theorem 2.6 ), we ensure the existence of at least three solutions for system (4). This theorem has been successfully employed to establish the existence of at least three solutions for perturbed boundary value problems in the papers ([26,27,28,29,30]).
This paper is organized as follows. In Section 2, we present some necessary preliminary facts that will be needed in the paper. In Section 3, we prove our main result. In Section 4, we give two numerical examples in order to support the theory of our contribution.

2. Preliminaries

In this section, we first introduce some necessary definitions and preliminary facts are introduced for fractional calculus which are used in this paper.
For 0 , T R , let C 0 , T , R be the real space of all continuous functions with norm x = max t 0 , T x ( t ) , and L p 0 , T , R 1 p < be the space of functions for which the p th power of the absolute value is Lebesgue integrable with norm x L p = 0 T x ( t ) p d t 1 p
Definition 1
(Kilbas et al. [5]). Let u be a function defined on a , b . The left and right Riemann-Liouville fractional derivatives of order α > 0 for a function u are defined by
a D t α u t : = d n d t n a D t α n u t = 1 Γ n α d n d t n a t t s n α 1 u s d s
and
t D b α u t : = 1 n d n d t n t D b α n u t = 1 n Γ n α d n d t n t b t s n α 1 u s d s
for every t a , b , provided the right-hand sides are pointwise defined on a , b , where n 1 α < n and n N .
Here, Γ α is the standard gamma function given by
Γ α : = 0 + z α 1 e z d z .
Setting A C n a , b , R the space of functions u : a , b R such that u C n 1 a , b , R and u n 1 A C n a , b , R . Here, as usual, C n 1 a , b , R denotes the set of mappings being n 1 times continuously differentiable on a , b . In particular, we denote A C a , b , R : = A C 1 a , b , R .
Definition 2
([25]). Let 0 < α i 1 , for 1 i n , 1 < p < . The fractional derivative space
E α i p = u ( t ) L p 0 , T , R a D t α i u t L p 0 , T , R .
Then, for any u E α i p , we can define the weighted norm for E α i p as
x α i = 0 T u ( t ) p d t + 0 T w i ( t ) a D t α i u t p d t 1 p .
Definition 3
([31]). We mean by a weak solution of system (4), any u = u 1 , u 2 , ... , u n X such that for all v = v 1 , v 2 , ... , v n X
0 T i = 1 n 1 w i t p 2 ϕ p w i t 0 D t α i u i t 0 D t α i v i t d t + μ 0 T i = 1 n u i t p 2 u i t v i t d t λ 0 T i = 1 n F u i t , u 1 t , u 2 t , ... , u n t v i t d t = 0 .
Lemma 1
([31]). Let 0 < α i 1 , for 1 i n , 1 < p < . For any u E α i p we have
u i L p T α i Γ α i + 1 0 D t α i u i L p .
Moreover, if α i > p and 1 p + 1 q = 1 , then
u i T α i Γ α i Γ α i 1 q + 1 1 q 0 D t α i u i L p .
From Lemma 1, we easily observe that
u i L p T α i a b w i ( t ) a D t α i u t p d t 1 / p Γ α i + 1
for 0 < α i 1 , and
u i T α i 1 p a b w i ( t ) a D t α i u t p d t 1 / p Γ α i w i 0 1 p Γ α i 1 q + 1 1 q
for α i > p and 1 p + 1 q = 1 .
By using (8), the norm of (5) is equivalent to
x α i = 0 T w i ( t ) a D t α i u t p d t 1 p , u E α i p .
Throughout this paper, we let X be the Cartesian product of the n spaces E α i p for 1 i n , i.e., X = E α 1 p × E α 2 p × ... × E α n p equipped with the norm
u = i = 1 n u i E α i p , u = u 1 , u 2 , ... , u n ,
where u i E α i p is defined in (10) Obviously, X is compactly embedded in C 0 , T , R n .
Lemma 2
([32]). For 0 < α i 1 and 1 < p < , the fractional derivative space X is a reflexive separable Banach space.
Lemma 3
([33]). Let A : X X * be a monotone, coercive and hemicontinuous operator on the real, separable, reflexive Banach space X . Assume w 1 , w 2 ... is a basis in X. Then the following assertion holds:
If A is strictly monotone, then the inverse operator A 1 : X * X exists. This operator is strictly monotone, demicontinuous and bounded. If A is uniformly monotone, then A 1 is continuous. If A is strongly monotone, then it is Lipschitz continuous.
Theorem 1
([34]). Let X be a reflexive real Banach space; Φ : X R be a coercive ,continuously Gateaux differentiable sequentially weakly lower semicontinuous functional whose Gateaux derivative admits a continuous inverse on X * , bounded on bounded subsets of X , Ψ : X R a continuously Gateaux differentiable functional whose Gateaux derivative is compact such that
Φ 0 = Ψ 0 = 0 .
Assume that there exists r > 0 and x ¯ X , with r < Φ x ¯ , such that
a 1 sup Φ u r Ψ u r < Φ x ¯ Ψ x ¯ .
a 2 For each λ Λ λ = Φ x ¯ Ψ x ¯ , r sup Φ u r Ψ u , the functional Φ λ Ψ is coercive.
Then, for any λ Λ λ , the functional Φ λ Ψ has at least three critical point in X.

3. The Main Results

In the present section ,the existence of multiple solutions for system (4) is examined by using Theorem 1.
First and foremost, we define the functionals Φ , Ψ : X R as
Φ u = 1 p 0 T i = 1 n w i t 0 D t α i u i t p + μ u i t p d t , u = u 1 , u 2 , ... , u n X
and
Ψ u = 0 T F t , u 1 t , u 2 t , ... , u n t d t
Lemma 4.
Let 0 < α i 1 , u = u 1 , u 2 , ... , u n X . Functionals Φ and Ψ are defined in (11) and (12). Then, Φ : X R is a coercive, continuously Gâteaux differentiable and sequentially weakly lower semicontinuous functionl whose Gâteaux derivative admits a continuous inverse on X * , and Ψ : X R is a continuously Gâteaux differentiable functional whose Gâteaux derivative is compact.
Proof. 
For each u = u 1 , u 2 , ... , u n X , define Φ , Ψ : X R as
Φ u = 1 p 0 T i = 1 n w i t 0 D t α i u i t p + μ u i t p d t
and
Ψ u = 0 T F t , u 1 t , u 2 t , ... , u n t d t .
Clearly, Φ and Ψ are continuously Gateaux differentiable functionals whose Gateaux derivatives at the point u X are given by
Φ u v = 0 T i = 1 n 1 w i t p 2 ϕ p w i t 0 D t α i u i t 0 D t α i v i t d t + μ 0 T i = 1 n u i t p 2 u i t v i t d t
for every v = v 1 , v 2 , ... , v n X .
In addition, according to (11), one has Φ u 1 p u X p , which means that Φ is a coercive functional.
Next, we claim that Φ admits a continuous inverse on X * . Let u = u 1 , u 2 , ... , u n X , v = v 1 , v 2 , ... , v n X . Recalling (13),we get
Φ u Φ v , u v = 0 T i = 1 n 1 w i t p 2 ϕ p w i t 0 D t α i u i t 0 D t α i u v d t + μ 0 T i = 1 n u i t p 2 u i t u v d t 0 T i = 1 n 1 w i t p 2 ϕ p w i t 0 D t α i v i t 0 D t α i u v d t + μ 0 T i = 1 n v i t p 2 v i t u v d t .
According to the well-known inequality
s 1 p 2 s 1 s 2 p 2 s 2 s 1 s 2 s 1 s 2 p , p 2 s 1 s 2 2 s 1 + s 2 2 p , 1 < p 2 .
We have
ϕ p w i t 0 D t α i u i t ϕ p w i t 0 D t α i v i t 1 w i t w i t 0 D t α i u i t w i t 0 D t α i v i t p , p 2 1 w i t w i t 0 D t α i u i t w i t 0 D t α i v t 2 w i t 0 D t α i u i t + w i t 0 D t α i v i t 2 p , 1 < p < 2 .
Hence, when 1 < p < 2 , one has
0 T i = 1 n w i t 0 D t α i u i t w i t 0 D t α i u i t p d t 0 T i = 1 n w i t 0 D t α i u i t w i t 0 D t α i v i t 2 w i t w i t 0 D t α i u i t + w i t 0 D t α i v i t 2 p d t p 2 0 T i = 1 n w i t p 2 p w i t 0 D t α i u i t + w i t 0 D t α i v i t p d t 2 p 2
which means that
0 T i = 1 n w i t 0 D t α i u i t w i t 0 D t α i v i t 2 w i t w i t 0 D t α i u i t + w i t 0 D t α i v i t 2 p d t 2 p 2 w 1 0 2 p 1 p w 1 0 u i v i α i 2 u i α i p + v i α i p p 2 p .
Then, we deduce
0 T i = 1 n ϕ p w i t 0 D t α i u i t ϕ p w i t 0 D t α i v i t 0 D t α i u v d t 2 p 2 w 1 0 2 p 1 p w 1 0 u i v i α i 2 u i α i p + v i α i p p 2 p > 0 .
When p 2 , we get
0 T i = 1 n ϕ p w i t 0 D t α i u i t ϕ p w i t 0 D t α i v i t 0 D t α i u v d t w 1 0 p 2 u i v i α i p > 0 .
Then, combining with (18), yields
0 T i = 1 n ϕ p w i t 0 D t α i u i t ϕ p w i t 0 D t α i v i t 0 D t α i u i 0 D t α i v i d t > 0 .
For every 1 < p <
Further, denote
A = 0 T i = 1 n u i t p 2 u i t u v d t + 0 T i = 1 n v i t p 2 v i t u v d t .
Then, reapplying inequality (15), we always have
A u i v i α i p > 0 , for p 2
and
A 2 p 2 u i v i L p 2 u i L p p + v i L p p p 2 p > 0 for 1 < p < 2 .
That is, A > 0 for every 1 < p < . Therefore, by using (14) and (20), the following inequality holds
Φ u Φ v , u v > 0
which means that Φ is strictly monotone. Furthermore, in view of X being reflexive, for u n u in X strongly, as n , one has Φ u n Φ u in X * as n .
Thus, we say that Φ is demicontinuous. Then, according to lemma 2 and 3, we obtain that the inverse operator Φ 1 of Φ exists and is continuous.
Moreover , let
u μ , α i p = 0 T i = 1 n w i t 0 D t α i u i t p + μ u i t p d t
owing to the sequentially weakly lower semicontinuity of u μ , α i p we observe that Φ is sequentially weakly lower semicontinuous in X.
Considering the functional Ψ , we will point out that Ψ is a Gâteaux differentiable, sequentially weakly upper semicontinuous functional on X.
Indeed, for u n X , assume that u n u in X , i.e., u n uniformly converges to u on 0 , T as n . By using reverse Fatou’s lemma, one has
lim n + inf Ψ u n 0 T lim n + inf F t , u n t d t = 0 T F t , u 1 t , u 2 t , ... , u n t d t = Ψ u ,
whereas u = u 1 , u 2 , ... , u n X , which implies that Ψ is sequentially weakly upper semicontinuous. Furthermore, since F is continuously differentiable with respect to u and v for almost every t 0 , T , then based on the Lebesgue control convergence theorem, we obtain that Ψ u n Ψ u strongly , that is Ψ is strongly continuous on X . Hence, we confirm that Ψ is a compact operator.
Moreover, it is easy to prove that the functional with the Gâteaux derivative Ψ u X * at the point u X
Ψ u v = 0 T i = 1 n F u i t , u 1 t , u 2 t , ... , u n t v i t d t
for any v = v 1 , v 2 , ... , v n X . The proof is completed. □
In order to facilitate the proof of our main result, some notations are given.
Putting
k : = max 1 i n T p α i 1 Γ α i p w i 0 α i 1 q + 1 p q , k : = max 1 i n T p α i Γ α i + 1 p w i 0 .
Define
π σ = u = u 1 , u 2 , ... , u n R n : 1 p i = 1 n u i p < σ .
Theorem 2.
Let 1 p < α i 1 , for 1 i n . Assume that there exists a positive constant r and a function u = u 1 , u 2 , ... , u n X such that
i
i = 1 n u i α i p + μ i = 1 n u i L p p > p r ;
i i
0 T sup u π k r F t , u 1 , u 2 , ... , u n d t r < p 0 T F t , u 1 , u 2 , ... , u n d t i = 1 n u i α i p + μ i = 1 n u i L p p ;
i i i
lim u inf F t , u 1 , u 2 , ... , u n i = 1 n x i p 0 T sup u π k r F t , u 1 , u 2 , ... , u n d t p r k .
Then, setting
Λ = i = 1 n u i α i p + μ i = 1 n u i L p p p 0 T F t , u 1 , u 2 , ... , u n d t , r 0 T sup u π k r F t , u 1 , u 2 , ... , u n d t
for each λ Λ system (4) admits at least three weak solutions in X.
Proof. 
Considering Theorem 1 and Lemma 5, in order to obtain that system (4) possesses at least three weak solutions in X, we only need to guarantee the assumptions a 1 and a 2 of Theorem 1 are satisfied. Choose u 0 = u 01 , u 02 , ... , u 0 n and u 1 = u 11 , u 12 , ... , u 1 n with u 01 , u 02 , ... , u 0 n = 0 , 0 , ... , 0 . Due to (12) and i , we get Ψ u 0 = 0 and Φ u 1 > r > 0 , which satisfy the requirement of Theorem 1. Then, combining (11) and (9) , yields
u = u 1 , u 2 , ... , u n X : Φ u r = u = u 1 , u 2 , ... , u n X : 1 p i = 1 n u i α i p + μ p i = 1 n u i L p p r u = u 1 , u 2 , ... , u n X : 1 p i = 1 n u i α i p r u = u 1 , u 2 , ... , u n X : i = 1 n Γ α i p w 1 0 ( α i 1 q + 1 ) p q p T p α i 1 u i r u = u 1 , u 2 , ... , u n X : i = 1 n u i p k p r
which implies that
sup Φ u r Ψ u = sup Φ u r 0 T F t , u 1 , u 2 , ... , u n d t sup Φ u r 0 T F t , u 1 , u 2 , ... , u n d t .
Then, the following inequality is obtained under condition i i
sup Φ u r Ψ u 0 T sup u π k r F t , u 1 , u 2 , ... , u n d t r p 0 T i = 1 n F t , u 1 , u 1 , ... , u n d t i = 1 n u i α i p + μ i = 1 n u i L p p = Ψ u 1 Φ u 1 .
Thus the hypothesis a 1 of Theorem 1 holds.
On the other hand, taking i i i into account , there exist constants C , ε R with
C < 0 T sup u π k r F t , u 1 , u 2 , ... , u n d t r ,
such that
F t , u 1 , u 2 , ... , u n C p k i = 1 n u i p + ε
for any t 0 , T and u = u 1 , u 2 , ... , u n X , when C > 0 by using (11), (22) and (8) yields
Φ u λ Ψ u = 1 p i = 1 n u i α i p + μ p i = 1 n u i L p p λ 0 T F t , u 1 , u 2 , ... , u n d t 1 p i = 1 n u i α i p λ 0 T F t , u 1 , u 2 , ... , u n d t 1 p i = 1 n u i α i p λ C p k 0 T i = 1 n u i L p p d t λ T ε 1 p i = 1 n u i α i p λ C p k i = 1 n T α i Γ α i + 1 p w i 0 u i α i p λ T ε 1 p i = 1 n u i α i p λ C p i = 1 n u i α i p λ T ε 1 p i = 1 n u i α i p 1 C r 0 T sup u π k r F t , u 1 , u 2 , ... , u n d t λ T ε .
That is
lim u X + Φ u λ Ψ u = + .
Furthermore, analogous to the case of C > 0 , we can deduce that Φ u λ Ψ u + as u X + with C 0 . Hence, all the hypotheses of Theorem 1 hold, then , system (4) admits at least three weak solutions in X . The proof is completed.
For simplicity, before giving a corollary of Theorem 2, some notations are presented.
Let 0 < h < 1 2 we put
A i α i , h = 1 h T 0 h T i = 1 n w i t t 1 α i p d t + h T 1 h T i = 1 n w i t t 1 α i t h T 1 α i p d t + 1 h T T i = 1 n w i t t 1 α i t h T 1 α i t 1 h T 1 α i p d t .
 □
Corollary 1.
Let 1 p < α i 1 . Assume that there exist τ > 0 and θ = θ 1 , θ 2 , ... , θ n R n with θ 1 > 0 , θ 2 > 0 , ... , θ n > 0 and τ k i = 1 n A i α i , h θ i p p , such that
i
F t , u 1 , u 2 , ... , u n 0 for t , u 1 , u 2 , ... , u n 0 , h T 1 h T , T × 0 , θ
i i
0 T sup u π k r F t , u 1 , u 2 , ... , u n d t r < p h T 1 h T F t , Γ 2 α 1 θ 1 , Γ 2 α 2 θ 2 , ... , Γ 2 α n θ n d t k 1 + μ k i = 1 n A i α i , h θ i p ;
i i i
lim u inf F t , u 1 , u 2 , ... , u n i = 1 n u i p 0
for each
λ Λ = 1 + μ k i = 1 n A i α i , h θ i p p h T 1 h T F t , Γ 2 α 1 θ 1 , Γ 2 α 2 θ 2 , ... , Γ 2 α n θ n d t , τ k 0 T sup u π k r F t , u 1 , u 2 , ... , u n d t .
Thus, system (4) admits at least three weak solutions in X.
Proof. 
Choose
U i ( t ) = Γ 2 α i θ i h T t , t 0 , h T Γ 2 α i θ i , t h T , 1 h T Γ 2 α i θ i h T T t , t 1 h T , T .
Obviously U i 0 = U i T = 0 , U t L p 0 , T . Owing to Definition 1 , we derive,
0 D t α i U ( t ) = a 1 t , t 0 , h T , a 2 t , t h T , 1 h T , a 3 t , t 1 h T , T ,
where
a 1 t = θ i h T t 1 α i , a 2 t = θ i h T t 1 α i ( t ( h T ) 1 α i
and
a 3 t = θ i h T t 1 α i ( t ( h T ) 1 α i ( t ( T h T ) 1 α i .
That is
U α i p = 0 T i = 1 n w i ( t ) 0 D t α i U i t p d t = 0 h T + h T 1 h T + 1 h T T i = 1 n w i t 0 D t α i U t p d t = i = 1 n A i α i , h θ i p ,
where (23) is used. Hence U = U 1 , U 2 , ... , U n X .
Take r = τ k , then
r k = τ k i = 1 n A i α i , h θ i p p = k i = 1 n U α i p p k Φ U
for every U = U 1 , U 2 , ... , U n X which means that
r 1 p i = 1 n u i α i p + μ p i = 1 n u i L p p .
Thus, the assumption i i of Theorem 2 holds.
On the other hand, based on (7) and (23), yields
Φ U 1 p i = 1 n u i α i p + μ p i = 1 n T α i Γ α i + 1 p w i 0 u i α i p 1 p i = 1 n u i α i p + μ p k ˜ i = 1 n u i α i p 1 + μ k ˜ i = 1 n A i α i , h θ i p p .
Then, from (25) and i i , we can obtain the following inequality
0 T sup u π k r F t , u 1 , u 2 , ... , u n d t r = k 0 T sup u π k r F t , u 1 , u 2 , ... , u n d t τ < k p h T 1 h T F t , Γ 2 α 1 θ 1 , Γ 2 α 2 θ 2 , ... , Γ 2 α n θ n d t k 1 + μ k i = 1 n A i α i , h θ i p h T 1 h T F t , Γ 2 α 1 θ 1 , Γ 2 α 2 θ 2 , ... , Γ 2 α n θ n d t Φ U k 0 T F t , u 1 , u 2 , ... , u n d t i = 1 n u i α i p + μ i = 1 n u i L p p
which means that the hypothesis i i of Theorem 2 is satisfied.
Furthermore, the condition i i i of Theorem 2 holds under i i i since Λ Λ Theorem 2 is successfully employed to ensure the existence of at least three weak solutions for system (4), the proof is completed. □

4. Numerical Examples

Now, we give the following two examples to illustrate the applications of our result:
Example 1.
Let p = 2 , α 1 = 0.8 , α 2 = 0.65 , μ = 1 , w 1 ( t ) = 1 + t 2 , w 2 ( t ) = 0.5 + t , T = 1 . Then, system (4) gets the following form
t D 1 0.8 1 + t 2 0 D t 0.8 u 1 t + u 1 t = λ F u 1 t , u 1 t , u 2 t , t 0 , 1 , t D 1 0.65 0 . 5 + t 0 D t 0.65 u 2 t + u 2 t = λ F u 2 t , u 1 t , u 2 t , t 0 , 1 , u 1 o = u 1 ( 1 ) = 0 , u 2 o = u 2 ( 1 ) = 0 .
Taking
U 1 t = Γ 1.2 t 1 t , U 2 t = Γ 1.35 t 1 t
and
F t , u 1 t , u 2 t = 1 + t 2 G u 1 , u 2 ,
where
G u 1 , u 2 = u 1 2 + u 2 2 2 , u 1 2 + u 2 2 1 , 10 u 1 2 + u 2 2 1 2 9 u 1 2 + u 2 2 1 3 , u 1 2 + u 2 2 > 1 .
Clearly, F t , 0 , 0 = 0 , w 1 0 = 1 and w 2 0 = 0.5 for any t 0 , 1 .
By the direct calculation, we have
max 1 Γ 0.8 2 2 × 0.8 1 , 1 Γ 0.65 2 2 × 0.65 1 = k 3.4764 ,
max 1 Γ 0.8 + 1 2 , 1 Γ 0.65 + 1 2 × 0.5 = k ˜ 2.4684
and
0 D t 0.8 U 1 ( t ) = t 0.2 2 Γ 1.2 Γ 2.2 t 1.2 , 0 D t 0.65 U 2 ( t ) = t 0.35 2 Γ 1.35 Γ 2.35 t 1.35 .
So that
U 1 ( t ) 0.8 2 0.19333 , U 2 ( t ) 0.65 2 0.078559 U 1 ( t ) L 2 2 0.028101 , U 2 ( t ) L 2 2 0.026716 .
Take r = 1 × 10 4 . We easily obtain that
1 2 U 1 ( t ) 0.8 2 + U 2 ( t ) 0.65 2 + 1 2 U 1 ( t ) L 2 2 + U 2 ( t ) L 2 2 0.1632 > r
which implies that the condition i holds, and
0 1 sup u 1 , u 2 π k r F t , u 1 , u 2 d t r = 16 k 2 r 3 0.006445 < 2 0 1 F t , U 1 , U 2 d t i = 1 2 U i α i 2 + i = 1 2 U i L 2 2 0.0320085949
and
0 = lim u 1 , inf u 2 F t , u 1 , u 2 u 1 2 + u 2 2 0 1 sup u 1 , u 2 π k r F t , u 1 , u 2 d t p r k 0.001305 .
Thus, conditions i i and i i i are satisfied. Then, in view of Theorem 2 for each λ 31.241 , 155.159 , the system (4) has at least three weak solutions in X.
Example 2.
Let p = 3 , α 1 = 0.8 , α 2 = 0.6 , μ = 1 , w 1 ( t ) = 1 + t 2 , w 2 ( t ) = 0.5 + t and T = 1 . Then , system (4) gets the following form
t D 1 0.8 1 + t 2 0 D t 0.8 u 1 t + u 1 t = λ F u 1 t , u 1 t , u 2 t , t 0 , 1 , t D 1 0.6 0.5 + t 0 D t 0.6 u 2 t + u 2 t = λ F u 2 t , u 1 t , u 2 t , t 0 , 1 , u 1 o = u 1 ( 1 ) = 0 , u 2 o = u 2 ( 1 ) = 0 .
Taking
U 1 t = Γ 1.2 t 1 t , U 2 t = Γ 1.4 t 1 t
and
F t , u 1 t , u 2 t = 1 + t H u 1 , u 2 ,
where
H u 1 , u 2 = u 1 3 + u 2 3 2 , u 1 3 + u 2 3 1 , 10 u 1 3 + u 2 3 1 2 9 u 1 3 + u 2 3 1 3 , u 1 3 + u 2 3 > 1 .
Clearly, F t , 0 , 0 = 0 , w 1 0 = 1 and w 2 0 = 0.5 for any t 0 , 1
By the direct calculation, we have
max 1 Γ 0.8 3 ( 0.8 1 × 1.5 + 1 ) 2 , 1 ( Γ 0.6 3 0.6 1 × 1.5 + 1 ) 2 × 0.5 = k 3.7849 ,
max 1 Γ ( 0.8 + 1 ) 3 , 1 Γ ( 0.6 + 1 ) 3 × 0.5 = k ˜ 2.803
and
0 D t 0.8 U 1 ( t ) = t 0.2 2 Γ 1.2 Γ 2.2 t 1.2 , t 0 , 0.6 t 0.2 2 Γ 1.2 Γ 2.2 t 1.2 , t 0.6 , 1 , 0 D t 0.6 U 2 ( t ) = t 0.4 2 Γ 1.35 Γ 2.4 t 1.4 , t 0 , 0.7 t 0.4 2 Γ 1.35 Γ 2.35 t 1.4 , t 0.7 , 1 .
So that
U 1 ( t ) 0.8 3 0.09228 , U 2 ( t ) 0.6 3 0.0212 U 1 ( t ) L 3 3 0.0053 , U 2 ( t ) L 3 3 0.005
Take r = 1 × 10 5 . We easily obtain that
1 3 U 1 ( t ) 0.8 3 + U 2 ( t ) 0.65 3 + 1 3 U 1 ( t ) L 3 3 + U 2 ( t ) L 3 3 0.041 > r
which implies that the condition i holds, and
0 1 sup u 1 , u 2 π k r F t , u 1 , u 2 d t r = 27 k 2 r 2 0.00193 < 3 0 1 F t , U 1 , U 2 d t i = 1 2 U i α i 3 + i = 1 2 U i L 3 3 0.00656
and
0 = lim u 1 + , inf u 2 + F t , u 1 , u 2 u 1 3 + u 2 3 0 1 sup u 1 , u 2 π k r F t , u 1 , u 2 d t 3 r k 0.00023 .
Thus, conditions i i and i i i are satisfied. Then, in view of Theorem 2 for each λ 152.43 , 518.13 , the system (4) admits at least three weak solutions in X.

5. Conclusions

Fractional differential equations have been carefully investigated. Such problems were studied in many scientific and engineering applications such as models for various processes in plasma physics, biology, medical science, chemistry, chemical engineering, as well as population dynamics, and control theory. In the current contribution, motivated by work in ([21,22]) and using a three critical points theorem obtained in [23], we could ensure the existence of at least three solutions for system (4). Note that some appropriate function spaces and variational frameworks were successfully created for the system (4). Furthermore, we have given two examples to illustrate the application of Theorem 2 we have discussed for the special case of p = 2 , and the discussions presented with respect to the case of p 2 , which highlighted the superiority of our results. In next work we will use two control parameters to study a class of perturbed nonlinear fractional p-Laplacian differential systems where we will try to prove the existence of three weak solutions by using the variational method and Ricceri’s critical points theorems respecting some necessary conditions.

Author Contributions

Conceptualization, methodology and writing-original manuscript, F.K. and R.G.; supervision, S.B. and R.G.; writing review and editing, S.B. and A.A., formal analysis, S.B. and A.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

The authors would like to thank the anonymous referees and the handling editor for their careful reading and for relevant remarks/suggestions which helped them to improve the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; Wiley: New York, NY, USA, 1993. [Google Scholar]
  2. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integral and Derivatives: Theory and Applications; Gordon and Breach: Longhorne, PA, USA, 1993. [Google Scholar]
  3. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  4. Hilfer, R. Applications of Fractional Calculus in Physics; World Scientic: Singapore, 2000. [Google Scholar]
  5. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
  6. Agarwal, R.P.; Benchohra, M.; Hamani, S. A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 2010, 109, 973–1033. [Google Scholar] [CrossRef]
  7. Ahmad, B.; Nieto, J.J. Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 2009, 58, 1838–1843. [Google Scholar] [CrossRef] [Green Version]
  8. Bai, C. Impulsive periodic boundary value problems for fractional differential equation involving Riemann-Liouville sequential fractional derivative. J. Math. Anal. Appl. 2011, 384, 211–231. [Google Scholar] [CrossRef] [Green Version]
  9. Bai, C. Solvability of multi-point boundary value problem of nonlinear impulsive fractional di erential equation at resonance. Electron. J. Qual. Theory Differ. Equ. 2011, 89, 1–19. [Google Scholar] [CrossRef]
  10. Bai, Z.; Lu, H. Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 2005, 311, 495–505. [Google Scholar] [CrossRef] [Green Version]
  11. Benchohra, M.; Hamani, S.; Ntouyas, S.K. Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. 2009, 71, 2391–2396. [Google Scholar] [CrossRef]
  12. Kosmatov, N. Integral equations and initial value problems for nonlinear differential equations of fractional order. Nonlinear Anal. 2009, 70, 2521–2529. [Google Scholar] [CrossRef]
  13. Lakshmikantham, V.; Vatsala, A.S. Basic theory of fractional differential equations. Nonlinear Anal. 2008, 6, 2677–2682. [Google Scholar] [CrossRef]
  14. Wang, J.; Zhou, Y. A class of fractional evolution equations and optimal controls. Nonlinear Anal. Real World Appl. 2011, 12, 262–272. [Google Scholar] [CrossRef]
  15. Wei, Z.; Dong, W.; Che, J. Periodic boundary value problems for fractional differential equations involving a Riemann-Liouville fractional derivative. Nonlinear Anal. 2010, 73, 3232–3238. [Google Scholar] [CrossRef]
  16. Zhang, S. Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 2010, 59, 1300–1309. [Google Scholar] [CrossRef] [Green Version]
  17. Mawhin, J.; Willem, M. Critical Point Theorey and Hamiltonian Systems; Springer: New York, NY, USA, 1989. [Google Scholar]
  18. Rabinowitz, P.H. Minimax Methods in Critical Point Theory with Applications to Differential Equations. In CBMS; American Mathematical Society: Providence, RI, USA, 1986; Volume 65. [Google Scholar]
  19. Willem, M. Minimax Theorems; Birkhauser: Basel, Switzerland, 1996. [Google Scholar]
  20. Samad, M.K.; Afrouzi, G.A.; Armin, H. Existence of three solutions for a class of fractional boundary value systems. Int. J. Nonlinear Anal. Appl. 2016, 7, 351–362. [Google Scholar]
  21. Zhao, Y.; Chen, H.; Qin, B. Multiple solutions for a coupled system of nonlinear fractional differential equations via variational methods. Appl. Math. Comput. 2015, 257, 417–427. [Google Scholar] [CrossRef]
  22. Zhao, Y.; Chen, H.; Zhang, Q. Infinitely many solutions for fractional differential system via variational method. J. Appl. Math. Comput. 2016, 50, 589–609. [Google Scholar] [CrossRef]
  23. Ricceri, B. A three critical points theorem revisited. Nonlinear Anal. 2009, 70, 3084–3089. [Google Scholar] [CrossRef]
  24. Chen, T.; Liu, W. Solvability of fractional boundary value problem with p-Laplacian via critical point theory. Bound. Value. Probl. 2016, 2016, 75. [Google Scholar] [CrossRef] [Green Version]
  25. Li, D.; Chen, F.; An, Y. Existence of solutions for fractional differential equation with p-Laplacian through variational method. J. Appl. Anal. Comput. 2018, 8, 1778–1795. [Google Scholar]
  26. Bonanno, G.; Chinn, A. Existence of three solutions for a perturbed two-point boundary value problem. Appl. Math. Lett. 2010, 23, 807–811. [Google Scholar] [CrossRef] [Green Version]
  27. Candito, P.; Agui, G.D. Three solutions to a perturbed nonlinear discrete Dirichlet problem. J. Math. Anal. Appl. 2011, 375, 594–601. [Google Scholar] [CrossRef] [Green Version]
  28. Afrouzi, G.A.; Chung, N.T.; Hadjian, A. Three solutions for a class of Neumann doubly eigenvalue boundary value systems driven by a p1,...,pn-Laplacian operator. Matematiche 2012, 67, 43–55. [Google Scholar]
  29. Heidarkhani, S.; Henderson, J. Multiple solutions for a nonlocal perturbed elliptic problem of p-Kirchhoff type. Comm. Appl. Nonlinear Anal. 2012, 19, 25–39. [Google Scholar]
  30. Heidarkhani, S.; Henderson, J. Critical point approaches to quasilinear second order differential equations depending on a parameter. Topol. Methods Nonlinear Anal. 2014, 44, 177–197. [Google Scholar] [CrossRef]
  31. Jiao, F.; Zhou, Y. Existence results for fractional boundary value problem via critical point theory. Internat. J. Bifur. Chaos Appl. Sci. Engrg. 2012, 22, 1250086. [Google Scholar] [CrossRef]
  32. Li, D.; Chen, F.; An, Y. Existence and multiplicity of nontrivial solutions for nonlinear fractional differential systems with p-Laplacian via critical point theory. Math. Meth. Appl. Sci. 2018, 41, 3197–3212. [Google Scholar] [CrossRef]
  33. Zeidler, E. Nonlinear Functional Analysis and its Applications; Springer: Berlin/Heidelberg, Germany; New York, NY, USA, 1985; Volume II. [Google Scholar]
  34. Bonanno, G.; Marano, S.A. On the structure of the critical set of non-differentiable functions with a weak compactness condition. Appl. Anal. 2010, 89, 1–10. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Kamache, F.; Guefaifia, R.; Boulaaras, S.; Alharbi, A. Existence of Weak Solutions for a New Class of Fractional p-Laplacian Boundary Value Systems. Mathematics 2020, 8, 475. https://0-doi-org.brum.beds.ac.uk/10.3390/math8040475

AMA Style

Kamache F, Guefaifia R, Boulaaras S, Alharbi A. Existence of Weak Solutions for a New Class of Fractional p-Laplacian Boundary Value Systems. Mathematics. 2020; 8(4):475. https://0-doi-org.brum.beds.ac.uk/10.3390/math8040475

Chicago/Turabian Style

Kamache, Fares, Rafik Guefaifia, Salah Boulaaras, and Asma Alharbi. 2020. "Existence of Weak Solutions for a New Class of Fractional p-Laplacian Boundary Value Systems" Mathematics 8, no. 4: 475. https://0-doi-org.brum.beds.ac.uk/10.3390/math8040475

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop