Next Article in Journal
On Graphical Fuzzy Metric Spaces with Application to Fractional Differential Equations
Next Article in Special Issue
On a System of Riemann–Liouville Fractional Boundary Value Problems with ϱ-Laplacian Operators and Positive Parameters
Previous Article in Journal
On Some Variational Inequalities Involving Second-Order Partial Derivatives
Previous Article in Special Issue
Topological Structure of the Solution Sets for Impulsive Fractional Neutral Differential Inclusions with Delay and Generated by a Non-Compact Demi Group
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Boundary Value Problem for Fractional q-Difference Equations with Integral Conditions in Banach Spaces

1
Laboratoire des Mathematiques Appliqués et Pures, Université de Mostaganem, B.P. 227, Mostaganem 27000, Algeria
2
Department of Mathematics, University of Tennessee at Chattanooga, Chattanooga, TN 37403, USA
*
Author to whom correspondence should be addressed.
Submission received: 8 March 2022 / Revised: 16 April 2022 / Accepted: 23 April 2022 / Published: 25 April 2022

Abstract

:
The authors investigate the existence of solutions to a class of boundary value problems for fractional q-difference equations in a Banach space that involves a q-derivative of the Caputo type and nonlinear integral boundary conditions. Their result is based on Mönch’s fixed point theorem and the technique of measures of noncompactness. This approach has proved to be an interesting and useful approach to studying such problems. Some basic concepts from the fractional q-calculus are introduced, including q-derivatives and q-integrals. An example of the main result is included as well as some suggestions for future research.

1. Introduction

Fractional differential equations play an essential role when attempting to model phenomena in a number of areas and have recently been studied by researchers in engineering, physics, chemistry, biology, economics, and control theory. For additional details see, for example, the monographs of Hilfer [1], Kilbas et al. [2], Miller and Ross [3], Podlubny [4], Samko et al. [5], and Tarasov [6] as well as the references they contain. The existence of solutions to fractional boundary value problems is currently a very active area of research as can be seen, for example, from the recent papers of Ahmad et al. [7], Agarwal et al. [8], Benchohra et al. [9], Benhamida et al. [10], Hamini et al. [11], and Zahed et al. [12].
Considerable attention has been given to the problem of existence of solutions to boundary value problems for fractional differential equations in Banach spaces, and we refer the reader to the recent contributions in [13,14,15].
The q-difference calculus, or quantum calculus, was first introduced by Jackson in 1910 [16,17]. The basic definitions and properties of the q-difference calculus can be found in [18,19]. Later, Al-Salam [20] and Agarwal [21] proposed the study of the fractional q-difference calculus. Fractional q-difference calculus by itself and nonlinear fractional q-difference boundary value problems have appeared as the object of study for a number of researchers. Recent developments on the fractional q-difference calculus and boundary value problems for such can be found in [7,22,23,24,25] and the references therein.
In this paper, we study the existence of solutions to the boundary value problem (BVP for short) for fractional q-difference equations with nonlinear integral conditions
( C D q α y ) ( t ) = f ( t , y ( t ) ) , for   a . e . t J = [ 0 , T ] , 1 < α 2 ,
y ( 0 ) y ( 0 ) = 0 T g ( s , y ( s ) ) d s ,
y ( T ) + y ( T ) = 0 T h ( s , y ( s ) ) d s ,
where T > 0 , q ( 0 , 1 ) , C D q α is the Caputo fractional q-difference derivative of order 1 < α 2 , and f, g, h : J × E E are given functions and g and h are continuous.
In our investigation of the existence of solutions to the problem above, we utilize the method associated with the technique of measures of noncompactness and Mönch’s fixed point theorem. This approach turns out to be very useful in proving the existence of solutions for several different types of equations. The method of using measures of noncompactness was mainly initiated in the monograph of Banas and Goebel [26], and subsequently developed and used in many papers; see, for example, Banas et al. [27], Guo et al. [28], Akhmerov et al. [29], Mönch [30], Mönch and Von Harten [31], and Szufla [32].
This paper is structured as follows. In Section 2, we introduce some preliminary concepts including basic definitions and properties from fractional q-calculus and some properties of the Kuratowski measure of noncompactness. In Section 3, the existence of solutions to problem (1)–(3) is proved by using Mönch’s fixed point theorem. Section 4 contains an example to illustrate our main results. The final section contains some concluding remarks and suggestions for future research.

2. Materials and Methods

We begin by introducing definitions, notations, and some preliminary facts that are used in the remainder of this paper.
Let J = [ 0 , T ] , T > 0 , and consider the Banach space C ( J , E ) of continuous functions from J into E with the norm
y = sup { | y ( t ) | : t J } .
We let C 2 ( J , E ) be the space of differentiable functions y : J E , whose first and second derivatives are continuous, and let L 1 ( J , E ) be the Banach space of measurable functions y : J E that are Bochner integrable with the norm
y L 1 = J | y ( t ) | d t .
Let L ( J , E ) be the Banach space of bounded measurable functions y : J E equipped with the norm
y L = inf { c > 0 : y ( t ) c , a . e t J } .
We now recall some definitions and properties from the fractional q-calculus [18,19]. For a R and 0 < q < 1 , we set
[ a ] q = 1 q a 1 q .
The q-analogue of the power ( a b ) ( n ) is given by
( a b ) ( 0 ) = 1 , ( a b ) ( n ) = k = 0 n 1 ( a b q k ) , a , b R , n N .
In general,
( a b ) ( α ) = a α k = 0 a b q k a b q k + α , a , b , α R .
Note that if b = 0 , then a ( α ) = a α .
Definition 1
([19]). The q-gamma function is defined by
Γ q ( α ) = ( 1 q ) ( α 1 ) ( 1 q ) α 1 , α R { 0 , 1 , 2 , } .
We wish to point out that the q-gamma function satisfies the relation Γ q ( α + 1 ) = [ α ] q Γ q ( α ) .
Definition 2
([19]). The q-derivative of order n N of a function f : J R is defined by ( D q 0 f ) ( t ) = f ( t ) ,
( D q f ) ( t ) = ( D q 1 f ) ( t ) = f ( t ) f ( q t ) ( 1 q ) t , t 0 , ( D q f ) ( 0 ) = lim t 0 ( D q f ) ( t ) ,
and
( D q n f ) ( t ) = ( D q 1 D q n 1 f ) ( t ) , t J , n { 1 , 2 , } .
Now set J t = { t q n : n N } { 0 } .
Definition 3
([19]). The q-integral of a function f : J t R is defined by
( I q f ) ( t ) = 0 t f ( s ) d q s = n = 0 t ( 1 q ) q n f ( t q n ) ,
provided that the series converges.
We note that ( D q I q f ) ( t ) = f ( t ) , while if f is continuous at 0, then
( I q D q f ) ( t ) = f ( t ) f ( 0 ) .
Definition 4
([21]). The Riemann–Liouville fractional q-integral of order α R + of a function f : J R is defined by ( I q 0 f ) ( t ) = f ( t ) , and
( I q α f ) ( t ) = 0 t ( t q s ) ( α 1 ) Γ q ( α ) f ( s ) d q s , t J .
Note that for α = 1 , we have ( I q 1 f ) ( t ) = ( I q f ) ( t ) .
Lemma 1
([33]). For α R + and β ( 1 , + ) , we have
( I q α ( t a ) ( β ) ) ( t ) = Γ q ( β + 1 ) Γ q ( α + β + 1 ) ( t a ) ( α + β ) , 0 < a < t < T .
In particular,
( I q α 1 ) ( t ) = 1 Γ q ( α + 1 ) t ( α ) .
In what follows, we let [ α ] denote the integer part of α .
Definition 5
([34]). The Riemann–Liouville fractional q-derivative of order α R + of a function f : J R is defined by ( D q 0 f ) ( t ) = f ( t ) , and
( D q α f ) ( t ) = ( D q [ α ] I q [ α ] α f ) ( t ) , t J .
Definition 6
([34]). The Caputo fractional q-derivative of order α R + of a function f : J R is defined by ( D q 0 f ) ( t ) = f ( t ) , and
( C D q α f ) ( t ) = ( I q [ α ] α D q [ α ] f ) ( t ) , t J .
Lemma 2
([34]). Let α, β R + and let f be a function defined on J. Then:
(1) 
( I q α I q β f ) ( t ) = ( I q α + β f ) ( t ) ;
(2) 
( D q α I q α f ) ( t ) = f ( t ) .
Lemma 3
([34]). Let α R + and let f be a function defined on J. Then:
( I q α C D q α f ) ( t ) = f ( t ) k = 0 [ α ] 1 t k Γ q ( k + 1 ) ( D q k f ) ( 0 ) .
In particular, if α ( 0 , 1 ) , then
( I q α C D q α f ) ( t ) = f ( t ) f ( 0 ) .
Next, we recall the definition of the Kuratowski measure of noncompactness and summarize some of the main properties of this measure.
Definition 7
([26]). Let E be a Banach space and let Ω E be the family of bounded subsets of E. The Kuratowski measure of noncompactness is the map μ : Ω E [ 0 , ) defined by
μ ( B ) = inf { ϵ > 0 : B i = 1 m B i a n d d i a m ( B i ) ϵ } , w h e r e B Ω E .
Property 1
([26]). The Kuratowski measure of noncompactness satisfies:
(1) 
μ ( B ) = 0 if and only if B ¯ is compact (B is relatively compact).
(2) 
μ ( B ) = μ ( B ¯ ) .
(3) 
A B implies μ ( A ) μ ( B ) .
(4) 
μ ( A + B ) μ ( A ) + μ ( B ) .
(5) 
μ ( c B ) = | c | μ ( B ) , c R .
(6) 
μ ( c o n B ) = μ ( B ) .
(7) 
μ ( B + x 0 ) = μ ( B ) , for all x 0 E .
Here B ¯ and c o n B denote the closure and the convex hull of the bounded set B, respectively.
Definition 8.
The map f : J × E E is Carathéodory if
1. 
t f ( t , u ) is measurable for each u E , and
2. 
u f ( t , u ) is continuous for almost each t J .
For a given set V of functions v : J E , let
V ( t ) = { v ( t ) : v V } , t J , V ( J ) = { v ( t ) : v V , t J } .
We next recall Mönch’s fixed point theorem.
Theorem 1
([30,35]). Let D be a bounded, closed, and convex subset of a Banach space E such that 0 D , and let N be a continuous mapping of D into itself. If the implication
V = c o n ¯ N ( V ) o r V = N ( V ) { 0 } i m p l i e s μ ( V ) = 0 ,
holds for every subset V of D, then N has a fixed point.
The next lemma is a useful result.
Lemma 4
([28]). If V C ( J , E ) is a bounded and equicontinuous set, then
1. 
The function t μ ( V ( t ) ) is continuous on J.
2. 
μ J y ( t ) d t : y V J μ ( V ( t ) ) d t .

3. Results

We now define what is meant by a solution of the problem (1)–(3).
Definition 9.
A function y C 2 ( J , E ) is said to be a solution of the problem (1)–(3) if y satisfies the equation ( C D q α y ) ( t ) = f ( t , y ( t ) ) on J, and satisfies the boundary conditions (2) and (3).
In order to prove the existence of solutions to the problem (1)–(3), we need the following lemma.
Lemma 5.
Let σ, ρ 1 , ρ 2 : J E be continuous functions. The solution of the boundary value problem
( C D q α y ) ( t ) = σ ( t ) , t J = [ 0 , T ] , 1 < α 2 ,
y ( 0 ) y ( 0 ) = 0 T ρ 1 ( s ) d s ,
y ( T ) + y ( T ) = 0 T ρ 2 ( s ) d s ,
is given by
y ( t ) = K ( t ) + 0 T H ( t , s ) σ ( s ) d q s ,
where
K ( t ) = ( 1 + T t ) ( 2 + T ) 0 T ρ 1 ( s ) d s + ( 1 + t ) ( 2 + T ) 0 T ρ 2 ( s ) d s ,
and
H ( t , s ) = ( t q s ) ( α 1 ) Γ q ( α ) ( 1 + t ) ( T q s ) ( α 1 ) ( 2 + T ) Γ q ( α ) ( 1 + t ) ( T q s ) ( α 2 ) ( 2 + T ) Γ q ( α 1 ) , 0 s < t , ( 1 + t ) ( T q s ) ( α 1 ) ( 2 + T ) Γ q ( α ) ( 1 + t ) ( T q s ) ( α 2 ) ( 2 + T ) Γ q ( α 1 ) , t s T .
Proof. 
Applying the Riemann–Liouville fractional q-integral of order α to both sides of Equation (4), and by using Lemma 3, we have
y ( t ) = 0 t ( t q s ) ( α 1 ) Γ q ( α ) σ ( s ) d q s + c 0 + c 1 t .
Using the boundary conditions (5) and (6), we obtain
c 0 c 1 = 0 T ρ 1 ( s ) d s ,
and
c 0 + ( 1 + T ) c 1 + 0 T ( t q s ) ( α 1 ) Γ q ( α ) σ ( s ) d q s + 0 T ( t q s ) ( α 2 ) Γ q ( α 1 ) σ ( s ) d q s = 0 T ρ 2 ( s ) d s .
Equations (11) and (12) give
c 1 = 1 ( 2 + T ) 0 T ρ 2 ( s ) d s 0 T ρ 1 ( s ) d s 0 T ( t q s ) ( α 1 ) Γ q ( α ) σ ( s ) d q s 0 T ( t q s ) ( α 2 ) Γ q ( α 1 ) σ ( s ) d q s ,
and
c 0 = ( 1 + T ) ( 2 + T ) 0 T ρ 1 ( s ) d s + 1 ( 2 + T ) 0 T ρ 2 ( s ) d s 0 T ( t q s ) ( α 1 ) Γ q ( α ) σ ( s ) d q s 0 T ( t q s ) ( α 2 ) Γ q ( α 1 ) σ ( s ) d q s .
From (10), (13), and (14) and using the fact that 0 T = 0 t + t T , we have
y ( t ) = K ( t ) + 0 T H ( t , s ) σ ( s ) d q s ,
where
K ( t ) = ( 1 + T t ) ( 2 + T ) 0 T ρ 1 ( s ) d s + ( 1 + t ) ( 2 + T ) 0 T ρ 2 ( s ) d s ,
and
H ( t , s ) = ( t q s ) ( α 1 ) Γ q ( α ) ( 1 + t ) ( T q s ) ( α 1 ) ( 2 + T ) Γ q ( α ) ( 1 + t ) ( T q s ) ( α 2 ) ( 2 + T ) Γ q ( α 1 ) , 0 s < t , ( 1 + t ) ( T q s ) ( α 1 ) ( 2 + T ) Γ q ( α ) ( 1 + t ) ( T q s ) ( α 2 ) ( 2 + T ) Γ q ( α 1 ) , t s T ,
which is what we wanted to show. □
We now prove an existence result for the problem (1)–(3) by applying Mönch’s fixed point theorem (Theorem 1 above).
Let
H * = sup ( t , s ) J × J | H ( t , s ) | .
Theorem 2.
Assume that the following conditions hold.
(P1) 
The functions f, g, h : J × E E satisfy Carathéodory conditions.
(P2) 
There exists p f , p g , p h L ( J , R + ) such that
f ( t , y ) p f ( t ) y , f o r a . e . t J a n d a l l y E ,
g ( t , y ) p g ( t ) y , f o r a . e . t J a n d a l l y E ,
h ( t , y ) p h ( t ) y , f o r a . e . t J a n d a l l y E .
(P3) 
For almost all t J and each bounded set B E , we have
μ ( f ( t , B ) ) p f ( t ) μ ( B ) , f o r a . e . t J ,
μ ( g ( t , B ) ) p g ( t ) μ ( B ) , f o r a . e . t J ,
μ ( h ( t , B ) ) p h ( t ) μ ( B ) , f o r a . e . t J .
Then, the BVP (1)–(3) has at least one solution in C 2 ( J , E ) , provided
T ( 1 + T ) ( 2 + T ) p g L + p h L + H * T p f L < 1 .
Proof. 
In order to transform problem (1)–(3) into a fixed point type problem, consider the operator
N : C 2 ( J , E ) C 2 ( J , E )
defined by
( N y ) ( t ) = K ( t ) + 0 T H ( t , s ) f ( s , y ( s ) ) d q s ,
where
K ( t ) = ( 1 + T t ) ( 2 + T ) 0 T g ( s , y ( s ) ) d s + ( 1 + t ) ( 2 + T ) 0 T h ( s , y ( s ) ) d s ,
and H(t,s) is given by (9). It is easy to see that the fixed points of N are solutions of (1)–(3).
Let R > 0 and consider
D R = { y C 2 ( J , E ) : y R } .
Clearly, D R is a closed, bounded, and convex subset of C 2 ( J , E ) . We show that N satisfies the hypotheses of Mönch’s fixed point theorem. We give the proof in three steps.
Step 1: N is continuous. Let { y n } n N be a sequence with y n y in C 2 ( J , E ) . For each t J , we have
| ( N y n ) ( t ) ( N y ) ( t ) | ( 1 + T t ) ( 2 + T ) 0 T g ( s , y n ( s ) ) g ( s , y ( s ) ) d s + ( 1 + t ) ( 2 + T ) 0 T h ( s , y n ( s ) ) h ( s , y ( s ) ) d s + 0 T | H ( t , s ) | f ( s , y n ( s ) ) f ( s , y ( s ) ) d q s .
Hence,
N ( y n ) N ( y ) T ( 1 + T ) ( 2 + T ) g ( s , y n ( s ) ) g ( s , y ( s ) ) + T ( 1 + T ) ( 2 + T ) h ( s , y n ( s ) ) h ( s , y ( s ) ) + H * T f ( s , y n ( s ) ) f ( s , y ( s ) ) .
Let ρ > 0 be such that
y n ρ , y ρ .
By (P2), we have
f ( s , y n ( s ) ) f ( s , y ( s ) ) 2 ρ p f ( s ) : = σ f ( s ) ,
g ( s , y n ( s ) ) g ( s , y ( s ) ) 2 ρ p g ( s ) : = σ g ( s ) ,
h ( s , y n ( s ) ) h ( s , y ( s ) ) 2 ρ p h ( s ) : = σ h ( s ) ,
and σ f ( s ) , σ g ( s ) , σ h ( s ) L 1 ( J , R + ) . Since the functions f, g, and h satisfy Carathéodory conditions, the Lebesgue-dominated convergence theorem implies that
N ( y n ) N ( y ) 0 a s n .
Consequently, N is continuous on C 2 ( J , E ) .
Step 2: N maps D R into itself. Now, for any y D R , (P2) and (15) imply that for each t J ,
( N y ) ( t ) ( 1 + T t ) ( 2 + T ) 0 T g ( s , y ( s ) ) d s + ( 1 + t ) ( 2 + T ) 0 T h ( s , y ( s ) ) d s + 0 T | H ( t , s ) | f ( s , y ( s ) ) d q s , ( 1 + T t ) ( 2 + T ) 0 T p g ( s ) y d s + ( 1 + t ) ( 2 + T ) 0 T p h ( s ) y d s + 0 T | H ( t , s ) | p f ( s ) y d q s , R T ( 1 + T ) ( 2 + T ) p g L + T ( 1 + T ) ( 2 + T ) p h L + H * T p f L , R .
Step 3:  N ( D R ) is bounded and equicontinuous. In view of Step 2, it is clear that N ( D R ) is bounded. To show the equicontinuity of N ( D R ) , let t 1 , t 2 J , t 1 < t 2 , and y D R . Then,
( N y ) ( t 2 ) ( N y ) ( t 1 ) = ( t 1 t 2 ) ( 2 + T ) 0 T g ( s , y ( s ) ) d s + ( t 2 t 1 ) ( 2 + T ) 0 T h ( s , y ( s ) ) d s + 0 T H ( t 2 , s ) H ( t 1 , s ) f ( s , y ( s ) ) d q s , ( t 1 t 2 ) ( 2 + T ) 0 T g ( s , y ( s ) ) d s + ( t 2 t 1 ) ( 2 + T ) 0 T h ( s , y ( s ) ) d s + 0 T H ( t 2 , s ) H ( t 1 , s ) f ( s , y ( s ) ) d q s .
By (P2), we have
( N y ) ( t 2 ) ( N y ) ( t 1 ) ( t 1 t 2 ) ( 2 + T ) 0 T p g ( s ) y d s + ( t 2 t 1 ) ( 2 + T ) 0 T p h ( s ) y d s + 0 T H ( t 2 , s ) H ( t 1 , s ) p f ( s ) y d q s , R T ( t 1 t 2 ) ( 2 + T ) p g L + R T ( t 2 t 1 ) ( 2 + T ) p h L + R p f L 0 T H ( t 2 , s ) H ( t 1 , s ) d q s .
As t 1 t 2 , the right-hand side of the above inequality tends to zero, which shows the equicontinuity of N ( D R ) .
Now, let V D R be such that V c o n ¯ ( N ( V ) { 0 } ) . Since V is bounded and equicontinuous, the function v v ( t ) = μ ( V ( t ) ) is continuous on J. Moreover, (P3), Lemma 4, and properties of the measure μ imply that for each t J ,
v ( t ) μ ( N ( V ) ( t ) { 0 } ) , μ ( N ( V ) ( t ) ) , ( 1 + T t ) ( 2 + T ) 0 T p g ( s ) μ ( V ( s ) ) d s + ( 1 + t ) ( 2 + T ) 0 T p h ( s ) μ ( V ( s ) ) d s + 0 T | H ( t , s ) | p f ( s ) μ ( V ( s ) ) d q s , v T ( 1 + T ) ( 2 + T ) p g L + p h L + H * T p f L .
This means that
v 1 T ( 1 + T ) ( 2 + T ) p g L + p h L + H * T p f L 0 .
From (15), we see that v = 0 , so v ( t ) = 0 for t J , and hence, V ( t ) is relatively compact in E. The Ascoli–Arzelà theorem yields that V is relatively compact in D R . Applying Theorem 1, we see that N has a fixed point that in turn is a solution of (1)–(3). □

4. Example

Let
E = l 1 = { ( y 1 , y 2 , , y n , ) : n = 1 y n < } ,
be our Banach space with the norm
y E = n = 1 | y n | .
Consider the boundary value problem for fractional 1 4 -difference equations given by
( C D 1 4 3 2 y ) ( t ) = 1 ( e t + 5 ) y n ( t ) , f o r a . e . t J = [ 0 , 1 ] , 1 < α 2 ,
y ( 0 ) y ( 0 ) = 0 1 s 3 1 9 y n ( s ) d s ,
y ( 1 ) + y ( 1 ) = 0 1 s 3 + 1 6 y n ( s ) d s .
Here, α = 3 2 , q = 1 4 , T = 1 , and
f n ( t , y ) = 1 e t + 5 y n , ( t , y ) J × E ,
g n ( t , y ) = t 3 1 9 y n , ( t , y ) J × E ,
and
h n ( t , y ) = t 3 + 1 6 y n , ( t , y ) J × E ,
where
y = ( y 1 , y 2 , , y n , ) ,
f = ( f 1 , f 2 , , f n , ) ,
g = ( g 1 , g 2 , , g n , ) ,
and
h = ( h 1 , h 2 , , h n , ) .
Clearly, conditions (P1) and (P2) hold with
p f ( t ) = 1 e t + 5 , p g ( t ) = t 3 9 , p h ( t ) = t 3 6 .
From (9), we have
H * = sup ( t , s ) J × J | H ( t , s ) | = 5 3 Γ 1 4 ( 3 2 ) + 2 3 Γ 1 4 ( 1 2 ) .
To see that condition (15) is satisfied with T = 1 , notice that
T ( 1 + T ) ( 2 + T ) p g L + p h L + H * T p f L = 2 3 1 9 + 1 6 + 5 3 Γ 1 4 ( 3 2 ) + 2 3 Γ 1 4 ( 1 2 ) 1 6 0.5564 < 1 .
Then, by Theorem 2, the problem (18)–(20) has a solution on [ 0 , 1 ] .

5. Discussion

In this work, we proved the existence of solutions to a fractional q-difference equation with nonlinear integral type boundary conditions in Banach spaces using a method involving the Kuratowski measure of noncompactness and Mönch’s fixed point theorem. An example was presented to illustrate the effectiveness of the results.
An interesting direction for future research of course would be to consider fractional q-difference equations of order 0 < α 1 and orders greater than the 1 < α 2 considered here. Another direction would be to consider Riemann–Stieltjes integral-type boundary conditions. Adding impulsive effects to the problem would expand the ares of possible applications as well.

Author Contributions

Conceptualization, N.A., J.R.G. and S.H.; methodology, N.A., J.R.G. and S.H.; formal analysis, N.A., J.R.G. and S.H.; investigation, N.A., J.R.G. and S.H.; writing—original draft preparation, N.A. and S.H.; writing—review and editing, J.R.G. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Hilfer, R. Applications of Fractional Calculus in Physics; World Scientific: Singapore, 2000. [Google Scholar]
  2. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematical Studies; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
  3. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Differential Equations; Wiley: New York, NY, USA, 1993. [Google Scholar]
  4. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1998. [Google Scholar]
  5. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives. Theory and Applications; Gordon and Breach: Yverdon, Switzerland, 1993. [Google Scholar]
  6. Tarasov, V.E. Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields, and Media; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  7. Ahmad, B.; Ntouyas, S.K.; Purnaras, I.K. Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2012, 2012, 140. [Google Scholar] [CrossRef] [Green Version]
  8. Agarwal, R.P.; Benchohra, M.; Hamani, S. A survey on existence results for boundary value problems for nonlinear fractional differential equations and inclusions. Acta Appl. Math. 2010, 109, 973–1033. [Google Scholar] [CrossRef]
  9. Benchohra, M.; Hamani, S.; Ntouyas, S.K. Boundary value problems for differential equations with fractional order. Surv. Math. Appl. 2008, 3, 1–12. [Google Scholar]
  10. Benhamida, W.; Hamani, S.; Henderson, J. Boundary value problems for Caputo-Hadamard fractional differential equations. Adv. Theor. Nonlinear Anal. Appl. 2018, 2, 138–145. [Google Scholar]
  11. Hamani, S.; Benchohra, M.; Graef, J.R. Existence results for boundary-value problems with nonlinear fractional differential inclusion and integral conditions. Electron. J. Differ. Equ. 2010, 2010, 1–16. [Google Scholar]
  12. Zahed, A.; Hamani, S.; Henderson, J. Boundary value problems for Caputo-Hadamard fractional differential inclusions with integral conditions. Moroc. J. Pure Appl. Anal. 2020, 6, 62–75. [Google Scholar] [CrossRef]
  13. Agarwal, R.P.; Benchohra, M.; Seba, D. On the application of measure of noncompactness to the existence of solutions for fractional differential equations. Results Math. 2009, 55, 221–230. [Google Scholar] [CrossRef]
  14. Benchohra, M.; Cabada, A.; Seba, D. An existence result for nonlinear fractional differential equations on Banach spaces. Bound. Value. Probl. 2009, 2009, 628916. [Google Scholar] [CrossRef] [Green Version]
  15. Hamani, S.; Henderson, J. Boundary value problems for fractional differential equations and inclusions in Banach spaces. Malaya J. Mat. 2017, 5, 346–366. [Google Scholar]
  16. Jackson, F. On q-definite integrals. Quart. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  17. Jackson, F. On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 1908, 46, 253–281. [Google Scholar] [CrossRef]
  18. Gasper, G.; Rahman, M. Basic Hypergeometric Series; Cambridge Univ. Press: Cambridge, UK, 1990. [Google Scholar]
  19. Kac, V.; Cheung, P. Quantum Calculus; Springer: New York, NY, USA, 2002. [Google Scholar]
  20. Al-Salam, W. Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 1966, 15, 135–140. [Google Scholar] [CrossRef] [Green Version]
  21. Agarwal, R. Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 1969, 66, 365–370. [Google Scholar] [CrossRef]
  22. Salahshour, S.; Ahmadian, A.; Chan, C.S. Successive approximation method for Caputo q-fractional IVPs. Commun. Nonlinear Sci. Numer. Simul. 2015, 24, 153–158. [Google Scholar] [CrossRef]
  23. Zhou, W.X.; Liu, H.Z. Existence solutions for boundary value problem of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2013, 2013, 113. [Google Scholar] [CrossRef] [Green Version]
  24. Abbas, S.; Benchohra, M.; Laledj, N.; Zhou, Y. Existence and Ulam stability for implicit fractional q-difference equation. Adv. Differ. Equ. 2019, 2019, 480. [Google Scholar] [CrossRef]
  25. Ahmad, B. Boundary value problem for nonlinear third order q-difference equations. Electron. J. Differ. Equ. 2011, 94, 1–7. [Google Scholar] [CrossRef] [Green Version]
  26. Banas, J.; Goebel, K. Measure of Noncompactness in Banach Spaces; Lecture Notes in Pure and Applied Mathematics; Dekker: New York, NY, USA, 1980; Volume 60. [Google Scholar]
  27. Banas, J.; Sadarangani, K. On some measures of noncompactness in the space of continuous functions. Nonlinear Anal. 2008, 68, 377–383. [Google Scholar] [CrossRef]
  28. Guo, D.; Lakshmikantham, V.; Liu, X. Nonlinear Integral Equations in Abstract Spaces; Math. and Its Applications; Kluwer: Dordrecht, The Netherlands, 1996; Volume 373. [Google Scholar]
  29. Akhmerov, R.R.; Kamenskii, M.I.; Patapov, A.S.; Rodkina, A.E.; Sadovskii, B.N. Measures of Noncompactness and Condensing Operators; Iacob, A., Ed.; Operator Theory: Advances and Applications; Birkhäuser: Boston, MA, USA, 1992; Volume 55. (In Russian) [Google Scholar]
  30. Mönch, H. Boundary value problem for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Anal. 1980, 4, 985–999. [Google Scholar] [CrossRef]
  31. Mönch, H.; Harten, G.F.V. On the Cauchy problem for ordinary differential equations in Banach spaces. Arch. Math. 1982, 39, 153–160. [Google Scholar] [CrossRef]
  32. Szufla, S. On the application of measure of noncompactness to existence theorems. Rend. Semin. Mat. Univ. Padova 1986, 75, 1–14. [Google Scholar]
  33. Rajkovic, P.M.; Marinkovic, S.D.; Stankovic, M.S. Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 2007, 1, 311–323. [Google Scholar]
  34. Rajkovic, P.M.; Marinkovic, S.D.; Stankovic, M.S. On q-analogues of Caputo derivative and Mittag-Leffler function. Fract. Calc. Appl. Anal. 2007, 10, 359–373. [Google Scholar]
  35. Agarwal, R.P.; Meehan, M.; O’Regan, D. Fixed Point Theory and Applications; Cambridge Tracts in Mathematics: Cambridge, UK, 2001; p. 141. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Allouch, N.; Graef, J.R.; Hamani, S. Boundary Value Problem for Fractional q-Difference Equations with Integral Conditions in Banach Spaces. Fractal Fract. 2022, 6, 237. https://0-doi-org.brum.beds.ac.uk/10.3390/fractalfract6050237

AMA Style

Allouch N, Graef JR, Hamani S. Boundary Value Problem for Fractional q-Difference Equations with Integral Conditions in Banach Spaces. Fractal and Fractional. 2022; 6(5):237. https://0-doi-org.brum.beds.ac.uk/10.3390/fractalfract6050237

Chicago/Turabian Style

Allouch, Nadia, John R. Graef, and Samira Hamani. 2022. "Boundary Value Problem for Fractional q-Difference Equations with Integral Conditions in Banach Spaces" Fractal and Fractional 6, no. 5: 237. https://0-doi-org.brum.beds.ac.uk/10.3390/fractalfract6050237

Article Metrics

Back to TopTop