Abstract and Applied Analysis

Volume 2012 (2012), Article ID 546062, 11 pages

http://dx.doi.org/10.1155/2012/546062

## A Generalized *q*-Mittag-Leffler Function by *q*-Captuo Fractional Linear Equations

Department of Mathematics and Computer Science, Çankaya University, 06530 Ankara, Turkey

Received 23 January 2012; Accepted 20 February 2012

Academic Editor: Juan J. Trujillo

Copyright © 2012 Thabet Abdeljawad et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Some Caputo *q*-fractional difference equations are solved. The solutions are expressed by means of a new introduced generalized type of *q*-Mittag-Leffler functions. The method of successive approximation is used to obtain the solutions. The obtained *q*-version of Mittag-Leffler function is thought as the *q*-analogue of the one introduced previously by Kilbas and Saigo (1995).

#### 1. Introduction and Preliminaries

The concept of fractional calculus is not new. However, it has gained its popularity and importance during the last three decades or so. This is due to its distinguished applications in numerous diverse fields of science and engineering (see, e.g., [1–6] and the references therein). The *q-*calculus is also not of recent appearance. It was initiated in the twenties of the last century. For the basic concepts in *q-*calculus we refer the reader to [7]. Discrete and *q-*fractional difference equations are discrete versions of fractional differential equations. An extensive work has been done in discrete fractional dynamic equations and discrete fractional variational calculus (see [8–12]). Some of the authors applied the delta analysis and some applied nabla analysis. Since the domain of nabla operatos is more stable, the nabla approach could be preferable. In this paper we apply the nabla approach in the quantum case with , but also the delta approach is possible [13]. During the last decade many authors applied diverse methods, such as homotopy perturbation method, to derive approximate analytical solutions of systems of fractional differential equations into Caputo and Riemann (see [14–18]). In this paper, we apply a direct method to express the solution of a certain linear Caputo *q-*fractional differential equation by means of a new introduced generalized *q-*Mittag-Leffler function.

Starting from the *q-*analogue of Cauchy formula [19], Al-Salam started the fitting of the concept of *q-*fractional calculus. After that he [20, 21] and Agarwal [22] continued on by studying certain *q-*fractional integrals and derivatives, where they proved the semigroup properties for left and right (Riemann) type fractional integrals but without variable lower limit and variable upper limit, respectively. Recently, the authors in [23] generalized the notion of the (left) fractional *q-*integral and *q-*derivative by introducing variable lower limit and proved the semigroup properties.

Very recently and after the appearance of time-scale calculus (see, e.g., [24]), some authors started to pay attention and apply the techniques of time scale to discrete fractional calculus (see [25–28]) benefitting from the results announced before in [29]. All of these results are mainly about fractional calculus on the time scales and [30]. As a contribution in this direction and being motivated by what is mentioned before, in this paper we introduce the *q-*analogue of a generalized type Mittag-Leffler function used before by Kilbas and Saigo in [31]. Such functions are obtained by solving linear *q-*Caputo initial value problems. The results obtained in this paper generalize also the results of [32]. Indeed, the authors in [32] solved a linear Caputo *q-*fractional difference equation of the form
where the solution was expressed by means of discrete *q-*Mittag-Leffler functions. In this paper, we solve an equation of the form
where the solution is expressed by means of a more general discrete *q-*Mittag-Leffler functions generalizing the ones obtained by (1.1), as (1.1) is obtained from (1.2) by setting . Finally, we generalize to the higher-order case for any , where higher-order *q-*Mittag-Leffler functions are obtained.

For the theory of *q-*calculus we refer the reader to the survey of [7], and for the basic definitions and results for the *q-*fractional calculus we refer to [28]. Here we will summarize some of those basics.

For , let be the time scale: where is the set of integers. More generally, if is a nonnegative real number, then we define the time scale and we write .

For a function , the nabla *q-*derivative of is given by
The nabla *q-*integral of is given by
and for ,
On the other hand
and for in ,
By the fundamental theorem in *q-*calculus we have
and if is continuous at 0, then
Also the following identity will be helpful:
Similarly the following identity will be useful as well:
The *q-*derivative in (1.12) and (1.13) is applied with respect to *t*.

From the theory of *q-*calculus and the theory of time scale more generally, the following product rule is valid:
The *q-*factorial function for is defined by
When is a nonpositive integer, the *q-*factorial function is defined by
We summarize some of the properties of *q-*factorial functions, which can be found mainly in [28], in the following lemma.

Lemma 1.1. *One has the following.*

(i)*.*(ii)*.*(iii)*The nabla q- derivative of the q- factorial function with respect to is*(iv)*The nabla q- derivative of the q- factorial function with respect to is
where .*

*Definition 1.2 (see [32]). *Let . *If *, then the -order Caputo (left)* q-*fractional derivative of a function is defined by
where .

If , then .

It is clear that maps functions defined on to functions defined on , and that maps functions defined on to functions defined on .

The following identity which is useful to transform Caputo *q-*fractional difference equations into *q-*fractional integrals, will be our key in solving the *q-*fractional linear type equation by using successive approximation.

Proposition 1.3 ([32]). *Assume that and is defined in suitable domains. Then
**
and if , then
*

The following identity [23] is essential to solve linear *q-*fractional equations:
where and . The *q-*analogue of Mittag-Leffler function with double index is introduced in [32]. It was defined as follows.

*Definition 1.4 ([32]). *For and , the *q-*Mittag-Leffler function is defined by
When , we simply use .

#### 2. Main Results

The following is to be the *q-*analogue of the generalized Mittag-Leffler function introduced by Kilbas and Saigo [31] (see also [3] page 48).

*Definition 2.1. *For are complex numbers and such that , and , the generalized* q-*Mittag-Leffler function (of order 0) is defined by
where
while the generalized *q-*Mittag-Leffler function (of order *r*), , is defined by
Note that .

*Remark 2.2. *In particular, if , then the generalized * q-*Mittag-Leffler function is reduced to the

*Mittag-Leffler function, apart from a constant factor . Namely,*

*q*-This turns to be the

*q-*analogue of the identity (see [3] page 48).

*Example 2.3. *Consider the *q-*Caputo difference equation:

Applying Proposition 1.3 we have
The method of successive applications implies that
where . Then by the help of (1.22) we have
Then by (i) and (ii) of Lemma 1.1,
Again by (1.22) we conclude that
Then (1.22) leads to
Proceeding inductively, for each we obtain
where

If we let , then we obtain the solution

Now, by means of Definition 2.1, we can state the following.

Theorem 2.4. *The solution of the q-Caputo difference equation (2.5) is given by
*

*Remark 2.5. *(1) If in* (2.5) *, then in accordance with (2.4) and Example 9 in [32] we have

(2) The solution of the *q-*Cauchy problem
is given by

For the sake of generalization to the higher-order case, we consider the fractional *q-*initial value problem:
where

Theorem 2.6. *The solution of the fractional q- initial value problem (2.19) is of the following form:
*

*Proof. *The proof follows by the help of (1.20) and let Lemma 1.1 and by applying the successive approximation with

Note that when , that is, , the solution of Example 2.3 is recovered.

Next, we solve a nonhomogenous versions of (2.5).

Lemma 2.7. *Let , , and let be defined on . Then
**
In particular, if , then
*

*Proof. *The proof can be achieved by making use of Theorem 1 in [28] for integration by substitution (for details see [24]). Indeed,

Consider the -fractional initial value problem: where If we apply the successive approximation as in Example 2.3 and use Lemma 2.7, then we can state the following

Theorem 2.8. *The solution of the initial value problem (2.26) is expressed by
*

*Remark 2.9. *If in (2.26) we set , then Example 9 in [32] is recovered for .

*Definition 2.10. *A function is called periodic with period * if * is the smallest natural number such that , for all .

Consider the nonhomogeneous initial value problem:
where
If we apply the successive approximation as in Example 2.3, then we state the following.

Theorem 2.11. *If in (2.29) either or is periodic with period dividing , then the solution is given by
*

Clearly, if , then the result in Example 9 in [32] is recovered as well.

For the sake of completeness, it would be interesting if the h-discrete fractional analogue, or more generally the -analogue of the general *q-*Mittag-Leffler functions are obtained, possibly better, by applying nabla calculus (see [33–35]). However, this needs preparations in the Caputo case and it might be very complicated.

#### References

- I. Podlubny,
*Fractional Differential Equations*, Academic Press, San Diego, Calif, USA, 1999. - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives*, Gordon and Breach Science, Yverdon, Switzerland, 1993. - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204, North-Holland Mathematics Studies, 2006. - R. L. Magin,
*Fractional Calculus in Bioengineering*, Begell House, Connecticut, Conn, USA, 2006. - I. J. Jesus and J. A. Tenreiro Machado, “Application of integer and fractional models in electrochemical systems Math,”
*Mathematical Problems in Engineering*, vol. 2012, Article ID 248175, 17 pages, 2012. View at Publisher · View at Google Scholar - D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo,
*Fractional Calculus Models and Numerical Methods*, World Scientific, New York, NY, USA, 2012. - T. Ernst, “The history of
*q*-calculus and new method (Licentiate Thesis),” U.U.D.M. Report 2000, http://www.math.uu.se/thomas/Lics.pdf. - F. Chen, X. Luo, and Y. Zhou, “Existence results for nonlinear fractional difference equation,”
*Advances in Difference Equations*, vol. 2011, Article ID 713201, 12 pages, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. A. C. Ferreira and D. F. M. Torres, “Fractional
*h*-difference equations arising from the calculus of variations,”*Applicable Analysis and Discrete Mathematics*, vol. 5, no. 1, pp. 110–121, 2011. View at Publisher · View at Google Scholar - K. A. Aldwoah and A. E. Hamza, “Difference time scales,”
*International Journal of Mathematics and Statistics*, vol. 9, no. S11, pp. 106–125, 2011. View at Google Scholar - A. M. C. Brito da Cruz, N. Martins, and D. F. M. Torres, “Higher-order Hahn’s quantum variational calculus,”
*Nonlinear Analysis*, vol. 75, no. 3, pp. 1147–1157, 2012. View at Publisher · View at Google Scholar - A. B. Malinowska and D. F. M. Torres, “The Hahn quantum variational calculus,”
*Journal of Optimization Theory and Applications*, vol. 147, no. 3, pp. 419–442, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - N. R. O. Bastos, R. A. C. Ferreira, and D. F. M. Torres, “Necessary optimality conditions for fractional difference problems of the calculus of variations,”
*Discrete and Continuous Dynamical Systems A*, vol. 29, no. 2, pp. 417–437, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - H. Koçak, T. Öziş, and A. Yıldırım, “Homotopy perturbation method for the nonlinear dispersive K
*(m,n,1)*equations with fractional time derivatives,”*International Journal of Numerical Methods for Heat & Fluid Flow*, vol. 20, no. 2, pp. 174–185, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Yildirim and S. A. Sezer, “Analytical solution of linear and non-linear space-time fractional reaction-diffusion equations,”
*International Journal of Chemical Reactor Engineering*, vol. 8, article A110, 2010. View at Google Scholar - A. Yildirim and S. T. Mohyud-Din, “Analytical approach to space- and time-fractional burgers equations,”
*Chinese Physics Letters*, vol. 27, no. 9, Article ID 090501, 2010. View at Publisher · View at Google Scholar - M. A. Balci and A. Yildirim, “Analysis of fractional nonlinear differential equations using the homotopy perturbation method, Zeitschrift
fr Naturforschung A,”
*A Journal of Physical Sciences*, vol. 66, no. 2, pp. 87–92, 2011. View at Google Scholar - A. Inan and Y. Ahmet, “Ahmet Application of variational iteration method to fractional initial-value problems,”
*International Journal of Nonlinear Sciences and Numerical Simulation*, vol. 10, no. 7, pp. 877–883, 2009. View at Google Scholar - W. A. Al-Salam, “
*q*-analogues of Cauchy's formulas,”*Proceedings of the American Mathematical Society*, vol. 17, pp. 182–184, 1952. View at Google Scholar · View at Zentralblatt MATH - W. A. Al-Salam, “Some fractional
*q*-integrals and*q*-derivatives,”*Proceedings of the Edinburgh Mathematical Society*, vol. 15, pp. 135–140, 1966. View at Publisher · View at Google Scholar - W. A. Al-Salam and A. Verma, “A fractional Leibniz
*q*-formula,”*Pacific Journal of Mathematics*, vol. 60, no. 2, pp. 1–9, 1975. View at Google Scholar - R. P. Agarwal, “Certain fractional
*q*-integrals and*q*-derivatives,” vol. 66, pp. 365–370, 1969. View at Google Scholar - M. R. Predrag, D. M. Sladana, and S. S. Miomir, “Fractional integrals and derivatives in
*q*-calculus,”*Applicable Analysis and Discrete Mathematics*, vol. 1, no. 1, pp. 311–323, 2007. View at Publisher · View at Google Scholar - M. Bohner and A. Peterson,
*Dynamic Equations on Time Scales*, Birkhäuser, Boston, Mass, USA, 2001. - T. Abdeljawad and B. Dumitru, “Fractional differences and integration by parts,”
*Journal of Computational Analysis and Applications*, vol. 13, no. 3, pp. 574–582, 2011. View at Google Scholar · View at Zentralblatt MATH - F. M. Atici and P. W. Eloe, “A transform method in discrete fractional calculus,”
*International Journal of Difference Equations*, vol. 2, no. 2, pp. 165–176, 2007. View at Google Scholar - F. M. Atici and P. W. Eloe, “Initial value problems in discrete fractional calculus,”
*Proceedings of the American Mathematical Society*, vol. 137, no. 3, pp. 981–989, 2009. View at Publisher · View at Google Scholar - F. M. Atici and P. W. Eloe, “Fractional
*q*-calculus on a time scale,”*Journal of Nonlinear Mathematical Physics*, vol. 14, no. 3, pp. 333–344, 2007. View at Publisher · View at Google Scholar - K. S. Miller and B. Ross, “Fractional difference calculus,” in
*Proceedings of the International Symposium on Univalent Functions, Fractional Calculus and Their Applications*, pp. 139–152, Nihon University, 1989. - N. R. O. Bastos, R. A. C. Ferreira, and D. F. M. Torres, “Discrete-time fractional variational problems,”
*Signal Processing*, vol. 91, no. 3, pp. 513–524, 2011. View at Publisher · View at Google Scholar - A. A. Kilbas and M. Saigo, “On solution of integral equation of Abel-Volterra type,”
*Differential and Integral Equations*, vol. 8, no. 5, pp. 993–1011, 1995. View at Google Scholar · View at Zentralblatt MATH - T. Abdeljawad and B. Dumitru, “Caputo
*q*-fractional initial value problems and a*q*-analogue Mittag-Leffler function,”*Communications in Nonlinear Science and Numerical Simulation*, vol. 16, no. 12, pp. 4682–4688, 2011. View at Publisher · View at Google Scholar - J. Čermák and L. Nechvátal, “On
*(q,h)*-analogue of fractional calculus,”*Journal of Nonlinear Mathematical Physics*, vol. 17, no. 1, pp. 51–68, 2010. View at Publisher · View at Google Scholar - T. Abdeljawad, F. Jarad, and D. Baleanu, “Variational optimal-control problems with delayed arguments on time scales,”
*Advances in Difference Equations*, vol. 2009, Article ID 840386, 15 pages, 2009. View at Google Scholar · View at Zentralblatt MATH - T. Abdeljawad, “A note on the chain rule on time scales,”
*Journal of Science and Arts*, vol. 9, pp. 1–6, 2008. View at Google Scholar