Professional Documents
Culture Documents
Abstract
In this paper, we investigate the existence of solutions for nonlinear delay
Caputo q–fractional di¤erence equations. The main result is proved by means of
Krasnoselskii’s …xed point theorem. As an application, we link the conclusion of
the main theorem to an existence result for Lotka–Volterra model.
1 Introduction
The theory of q-calculus, on one hand, which is dated back to the late of nineties
deals with continuous functions which do not need to be smooth. Despite the early
exploration, its investigation was lagged to the beginning of the twentieth century
when discussed in Jackson’s paper [1]. Following the discovery of its demonstrated
applications in the …elds of combinatorics and ‡uid mechanics, Al Salam re-introduced
this theory in his paper [2] and then it has continued to develop until these days [3-12].
The theory of fractional calculus, on the other hand, generalizes integer-order analysis
by considering derivatives of non-integer order [13, 14]. Notable contributions have
been made to both theory and application of fractional calculus during the last years
when some rather special properties of derivatives of arbitrary order were examined
for arbitrary functions. Applications including problems in rheology, electrochemistry,
physics and engineering are amongst those which can be described using equations of
fractional order; the reader is invited to see the paper [15] for more topics considered
as an applications of fractional calculus.
The natural extension, which we investigate here, is to consider a q-fractional calcu-
lus which uni…es these two theories by considering q-derivatives of non-integer order. In
Mathematics Subject Classi…cations: 34A08, 34A12, 39A13.
y Department of Mathematics and General Sciences, Prince Sultan University, P. O. Box 66833,
Riyadh 11586, Saudi Arabia
z Department of Mathematics and General Sciences, Prince Sultan University, P. O. Box 66833,
R. China
307
308 A Krasnoselskii Existence Result
the recent years, there have appeared many results dealing with the qualitative prop-
erties of solutions of q-fractional equations; for instance one can consult [16-23]. In the
analysis of di¤erential equations, particularly, the determination of whether there is a
solution or not is one of the main concepts that must be taken into consideration before
proceeding to the investigations of other properties of solutions. The existence of so-
lutions for q-fractional equations involving boundary conditions has been the object of
many researchers who carried out the investigations under di¤erent conditions and by
using various methods [24-29]. Less contributions, never the less, have been conducted
for q-fractional equations with initial conditions [30]. The Lotka-Volterra model has
been extensively investigated through di¤erent approaches [33, 34, 35]. However, all
the above mentioned papers studied the integer order Lotka-Volterra model. Despite
its signi…cance, there are few papers studied the fractional order Lotka-Volterra model
[36, 37]. As far as we know, however, there is no literature achieved in the direction of
q-fractional Lotka-Volterra model.
For 0 < q < 1, we de…ne the time scale Tq = fq n : n 2 Zg[f0g; where Z is the set of
integers. For a = q n0 and n0 2 Z, we denote Ta = [a; 1)q = fq i a : i = 0; 1; 2; : : :g. Let
Rm be the m-dimensional Euclidean space and de…ne I = f a; q 1 a; q 2 a; : : : ; ag,
N0 = f0; 1; 2; 3; : : :g and T a = [ a; 1)q = f a; q 1 a; q 2 a; : : :g where = q d 2
Tq ; d 2 N0 and I = fag with d = 0 is the non-delay case .
The objective of this paper is to study the existence of solutions for equations of
the form
q Ca x(t) = f (t; x(t); x( t)) t 2 Ta ;
(1)
x(t) = (t) t2I ;
where f : Ta R R ! R, : I ! R and q Ca denotes the Caputo’s q-fractional di¤er-
ence operator of order 2 (0; 1). To prove our main results, we employ Krasnoselskii
…xed point theorem and Arzela-Ascoli’s theorem. As an application, we link the con-
clusion of the main result to an existence result for q-fractional Lotka-Volterra model.
To the best of authors’realization, no published paper exists regarding the existence
of solutions of initial value q-fractional problem and its applications to q-fractional
Lotka-Volterra model.
2 Preliminaries
In this section, we set forth some basic nabla notations, de…nitions and lemmas that
will be used in the sequel. However, before proceeding we state the following two
theorems that play an important role in the proof of the main theorem.
(i) A is a contraction.
T. Abdeljawad, J. Alzabut and H. Zhou 309
f (t) f (qt)
rq f (t) = ; t 2 Tq f0g: (2)
(1 q)t
Y1 s i
1 tq
(t s)q = t s i+ : (5)
i=0
1 tq
1 q 1
rq (t s)q = (t s)q :
1 q
1 q 1
rq (t s)q = (t qs)q :
1 q
310 A Krasnoselskii Existence Result
where
1 q
q( + 1) = q( ); q (1) = 1; > 0: (7)
1 q
DEFINITION 2 ([30]). Let 0 < 2 = N . Then the Caputo left q-fractional derivative
of order of a function f de…ned on Tq is de…ned by
Z t
1
q Ca f (t) , q ra
(n )
rnq f (t) = (t qs)nq 1
rnq f (s)rq s; (8)
q (n ) a
where n = [ ] + 1. In case 2 N, then we may write q Ca f (t) , rnq f (t). The (left)
Riemann q-fractional derivative is de…ned by ( q ra f )(t) = (rq q ra (n ) f )(t). In
virtue of [30], the Riemann and Caputo q-fractional derivatives are related by
(t a)q
( q Ca f )(t) = ( q ra f )(t) f (a): (9)
q (1 )
q(
+ 1)
q ra (x a)q = (x a)q + ; (0 < a < x < b); (12)
q ( + + 1)
In case = 1, we use qE ( ;z z0 ) := q E ;1 ( ;z z0 ).
EXAMPLE 1 ([30]). Let 0 < 1 and consider the left Caputo q-fractional
di¤erence equation
(I) f (t; x(t); y(t)) = f1 (t; x(t))+f2 (t; x(t); y(t)); where fi are Lipschitz functions with
Lipschitz constants Lfi ; i = 1; 2.
(II) f1 (t; x(t)) M1 jx(t)j and jf2 (t; x(t); y(t))j M2 jx(t)j jy(t)j for some positive
numbers M1 and M2 .
312 A Krasnoselskii Existence Result
Let B(T a ; R) = l1 (T a ) and T a = [ a; 1)q denote the set of all bounded func-
tions (sequences) on T a . De…ne the set
where r satis…es
M1 r + M2 r 2
j (a)j + r:
q( )
and Z t
1 1
F2 x(t) = (t qs) f2 (s; x(s); x(s ))rq s:
q( ) a
THEOREM 3. Let conditions (I)–(II) hold. Then, equation (1) has a solution in
the set D provided that
Lf1 C( ) M1 r + M2 r2 C( )
< 1 and j (a)j + r:
q( ) q( )
PROOF. First it is clear that the set D is a nonempty, closed, convex and bounded
set. In light of Theorem 2, we present the proof in three steps.
Step 1: We prove that F1 is contractive. We can easily see that
Z t
1
F1 x(t) F1 y(t) = (t qs)q 1 f1 (s; x(s)) f1 (s; y(s)) rq s
q( ) a
Z t
Lf1
(t qs)q 1 jx(s) y(s)jrq s
q( ) a
Z t
Lf1
kx yk (t qs)q 1 rq s: (16)
q( ) a
Lf1 C( )
F1 x(t) F1 y(t) kx yk; t < T1 ;
q( )
T. Abdeljawad, J. Alzabut and H. Zhou 313
(1 q)(T1 a)q
where C( ) = 1 q is a positive constant depending on the order . By the
L C( )
assumption that f1q ( ) < 1, we conclude that F1 is contractive. Furthermore, we
obtain for x 2 D:
F1 x(t) + F2 x(t)
Z t
1 1
j (a)j + (t qs)q f1 (s; x(s)) + f2 (s; x(s); x( s)) rq s
q( ) a
Z t
M1 kxk + M2 kxk2 1
j (a)j + (t qs)q rq s
q( ) a
M1 r + M2 r2 C( )
j (a)j + r;
q( )
F2 xn (t) F2 x(t)
Z t
1
(t qs)q 1 f2 (s; xn (s); xn ( s)) f2 (s; x(s); x( s)) rq s
( ) a
Z t
Lf2
(t qs)q 1 jxn (s) x(s)j + xn ( s)) x( s) rq s
q ( ) a
Z t
2Lf2 2Lf2 C( )
kxn xk (t qs)q 1 rq s = kxn xk:
q( ) a q( )
F2 x(t2 ) F2 x(t1 )
h 1 Z t1 1
Z t1
M2 r 2 (t2 qs)q 1
rq s + (t1 qs)q 1
rq s
q( ) a q( ) a
Z t2 i
1 1
+ (t2 qs)q rq s :
q ( ) t1
Hence, we reach to
h i
F2 x(t2 ) F2 x(t1 ) M2 r 2 q ra (t2 a)0q +q ra (t1 a)0q + q rt1 (t2 t1 )0q :
M2 r 2 h i
F2 x(t2 ) F2 x(t1 ) (t2 a)q + (t1 a)q + (t2 t1 )q :
q ( + 1)
4 Applications
In this section, we employ Theorem 3 to prove an existence result for the solutions of
Lotka-Volterra model
q Ca x(t) = x(t)( (t) (t)x( t)) t 2 Ta ;
(17)
x(t) = (t) t2I ; 0< < 1;
where f (t; x(t); x( t)) = x(t) (t) (t)x( t) in equation (1) and the coe¢ cients
and satisfy the boundedness relations
+ +
inf (t) = (t) = sup (t) and inf (t) = (t) = sup (t);
t2Ta t2Ta t2Ta t2Ta
T. Abdeljawad, J. Alzabut and H. Zhou 315
which are medically and biologically feasible. Model (17) represents the interspeci…c
competition in single species with denotes the maturity time period.
Denote
f 1 (t; x(t)) = x(t) (t) and f 2 (t; x(t); x( t)) = (t)x(t)x( t):
It follows that the functions f 1 and f 2 satisfy the conditions
+ +
(III) jf 1 (t; x(t))j jx(t)j; jf 2 (t; x(t); x( t))j jx(t)j jx( t)j.
(IV) f i are Lipschitz functions with Lipschitz constants Lfi ; i = 1; 2.
The solution of model (17) has the form
Z t
1
x(t) = (a) + (t qs)q 1 x(s) (s) (s)x( s) rq s; t 2 Ta ; (18)
( ) a
and x(t) = (t), t 2 I . De…ne a function G by
Gx(t) = G1 x(t) + G2 x(t);
where Z t
1 1
G1 x(t) = (a) + (t qs)q x(s) (s)rq s;
q( ) a
and Z t
1
G2 x(t) = (t qs)q 1 x(s) (s)x(s )rq s:
q ( ) a
One can easily employ the same arguments used in the proof of Theorem 3 to complete
the proof of the following theorem for equation (17).
THEOREM 4. Let conditions (III)–(IV) hold. Then, the model (17) has a solution
+ + 2
Lf1 C( ) r+ r C( )
in the set D provided that q( )
< 1 and j (a)j + q( ) r.
REMARK 4. The results can be also carried out for the following system which
allows a classical constant delay
q Ca x(t) = f (t; x(t); x(t )) t 2 [a; b]; b 1;
xi (t) = i (t) t 2 [a ; a]:
REMARK 5. The analysis carried out in this paper is based on the use of nabla
rather than delta operators. Indeed, unlike the delta operator the range of nabla
fractional sum and di¤erence operators depends only of the starting point and inde-
pendent of the order . This provides exceptional ability to treat skillfully di¤erent
circumstances throughout the proofs. The delta approach can be obtained from nabla
operator through the implementation of the dual identities discussed in [38].
316 A Krasnoselskii Existence Result
5 Conclusion
The q-fractional di¤erence equations are regarded as fractional analogue of q-di¤erence
equations. Motivated by their widespread applications in many disciplines, the topic of
q-fractional equations has attracted the attention of many researchers during the last
three decades. In parallel with the recent interests in this topic, an existence result
for a type of nonlinear delayed q-fractional di¤erence equations is investigated in this
paper. The main equation is constructed in the sense of Caputo such that it …ts many
real life applications. The proof of the main result is based on the employment of
Krasnoselskii …xed point and Arzela-Ascoli’s theorems. Prior to the main results, pre-
liminary assertions are addressed on the properties of q-fractional di¤erence equations.
The applicability of the proposed results is discussed by linking the main theorem to
an existence result for Lotka-Volterra model.
References
[1] F. H. Jackson, On q-functions and a certain di¤erence operator, Trans. Roy. Soc.
Edinburgh, 46(1908), 253–281.
[2] W. A. Al-Salam, Some fractional q-integrals and q-derivatives, Proc. Edinb. Math.
Soc., 15(1966), 135–140.
[3] H. Exton, q-Hypergeometric Functions and Applications, Halstead Press, Chich-
ester: Ellis Horwood, New York, 1983.
[4] R. Finkelstein and E. Marcus, Transformation theory of the q-oscillator, J. Math.
Phys., 36(1995), 2652–2672.
[5] R. J. Finkelstein, The q-Coulomb problem, J. Math. Phys., 37(1996), 2628–2636.
[6] R. Floreanini and L. Vinet, Automorphisms of the q-oscillator algebra and basic
orthogonal polynomials, Phys. Lett. A, 180(1993), 393–401.
[7] R. Floreanini and L. Vinet, Symmetries of the q-di¤erence heat equation, Lett.
Math. Phys., 32(1994), 37–44.
[8] R. Floreanini and L. Vinet, Quantum symmetries of q-di¤erence equations, J.
Math. Phys. 36 (6) (1995), 3134–3156.
[9] P. G. O. Freund and A. V. Zabrodin, The spectral problem for the q-Knizhnik-
Zamolodchikov equation and continuous q-Jacobi polynomials, Commun. Math.
Phys., 173(1995), 17–42.
[10] G.-N. Han and J. Zeng, On a q-sequence that generalizes the median Genocchi
numbers, Ann. Sci. Math. Quèbec, 23(1999), 63–72.
T. Abdeljawad, J. Alzabut and H. Zhou 317
[11] V. Kac and P. Cheung, Quantum Calculus, Springer, New York, 2002.
[16] F. M. Atici and P.W. Eloe, Fractional q-calculus on a time scale, J. Nonlinear
Math. Phys., 14(2007), 333–344.
[21] M. H. Annaby and Z. S. Mansour, q-Fractional Calculus and Equations, vol. 2056
of Lecture Notes in Mathematics, Springer, Heidelberg, Germany, 2012.
[22] T. Abdeljawad and J. Alzabut, The q-fractional analogue for Gronwall-type in-
equality, J. Funct. Spaces Appl. Volume 2013 (2013), Article ID 543839, 7 pages.
[25] Y. Zhao, H. Chen and Q. Zhang, Existence results for fractional q-di¤erence equa-
tions with nonlocal q-integral boundary conditions, Adv. Di¤erence Equ., 2013:
48.
[26] X. Li, Z. Han, S. Sun and P. Zhao, Existence of solutions for fractional q-di¤erence
equation with mixed nonlinear boundary conditions, Adv. Di¤erence Equ., 2014:
326.
318 A Krasnoselskii Existence Result
[30] T. Abdeljawad and D. Baleanu, Caputo q-fractional initial value problems and
a q-analogue Mittag-Le- er function, Commun. Nonlinear Sci. Numer. Simul.,
16(2011), 4682–4688.
[31] H. L. Royden and P. M. Fitzpatrick, Real Analysis, China Machine Press, 2009.
[32] T. A. Burton, A …xed point theorem of Krasnoselskii …xed point theorem, Appl.
Math. Lett., 11(1998), 85–88.
[33] J. X. Li and J. R. Yan, Persistence for Lotka-Volterra patch system with time
delay, Nonlinear Anal. Real World Appl., 9(2008), 490–499.
[34] T. Faria, Sharp conditions for global stability of Lotka-Volterra systems with dis-
tributed delays, J. Di¤er. Equ., 246(2009), 4391–4404.
[35] F. Capone, R. D. Luca and S. Rionero, On the stability of non-autonomous per-
turbed Lotka-Volterra models, Appl. Math. Comp., 219(2013), 6868–6881.
[36] S. Das and P. K. Gupta, A fractional predator prey model and its solution, Int.
J. Nonlin. Sci. Numer. Simul, 10(2009), 873–876.