`Abstract and Applied AnalysisVolume 2012 (2012), Article ID 546062, 11 pageshttp://dx.doi.org/10.1155/2012/546062`
Research Article

## 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

#### 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., [16] 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 [812]). 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 [1418]). 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 [2528]) 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 q-Mittag-Leffler function, apart from a constant factor . Namely,
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 [3335]). However, this needs preparations in the Caputo case and it might be very complicated.

#### References

1. I. Podlubny, Fractional Differential Equations, Academic Press, San Diego, Calif, USA, 1999.
2. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives, Gordon and Breach Science, Yverdon, Switzerland, 1993.
3. A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 204, North-Holland Mathematics Studies, 2006.
4. R. L. Magin, Fractional Calculus in Bioengineering, Begell House, Connecticut, Conn, USA, 2006.
5. 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.
6. D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo, Fractional Calculus Models and Numerical Methods, World Scientific, New York, NY, USA, 2012.
7. 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.
8. 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.
9. 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.
10. K. A. Aldwoah and A. E. Hamza, “Difference time scales,” International Journal of Mathematics and Statistics, vol. 9, no. S11, pp. 106–125, 2011.
11. 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.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. W. A. Al-Salam, “q-analogues of Cauchy's formulas,” Proceedings of the American Mathematical Society, vol. 17, pp. 182–184, 1952.
20. W. A. Al-Salam, “Some fractional q-integrals and q-derivatives,” Proceedings of the Edinburgh Mathematical Society, vol. 15, pp. 135–140, 1966.
21. W. A. Al-Salam and A. Verma, “A fractional Leibniz q-formula,” Pacific Journal of Mathematics, vol. 60, no. 2, pp. 1–9, 1975.
22. R. P. Agarwal, “Certain fractional q-integrals and q-derivatives,” vol. 66, pp. 365–370, 1969.
23. 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.
24. M. Bohner and A. Peterson, Dynamic Equations on Time Scales, Birkhäuser, Boston, Mass, USA, 2001.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. 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.
35. T. Abdeljawad, “A note on the chain rule on time scales,” Journal of Science and Arts, vol. 9, pp. 1–6, 2008.