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

## Fractional Difference Equations with Real Variable

1School of Mathematical Sciences, Xiamen University, Xiamen, Fujian 361005, China
2School of Mathematics and Computation Science, Hunan City University, Yiyang, Hunan 413000, China

Received 20 June 2012; Revised 14 October 2012; Accepted 25 October 2012

Academic Editor: Dumitru Bǎleanu

Copyright © 2012 Jin-Fa Cheng and Yu-Ming Chu. 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

We independently propose a new kind of the definition of fractional difference, fractional sum, and fractional difference equation, give some basic properties of fractional difference and fractional sum, and give some examples to demonstrate several methods of how to solve certain fractional difference equations.

#### 1. Introduction

Fractional calculus is an emerging field recently drawing attention from both theoretical and applied disciplines. During the last two decades, it has been successfully applied to several fields [16], and it is well known that there is a large quantity of research on what is usually called integer-order difference equations [7, 8]. However, discrete fractional calculus and fractional difference equations represent a very new area for scientists. A pioneering work has been done by Atici et al. [912], Anastassiou [13, 14], Bastos et al. [15], Abdeljawad et al. [1620], and Cheng [2123], and so forth. In this paper, limited to the length of the paper, we will introduce some of our basic works about discrete fractional calculus and fractional difference equations. Some proofs and results of the theorems and examples in Sections 35 are well proved by a more concise method. We refer to the monographer [23] for more further results. In [23] we also aim at presenting some basic properties about discrete fractional calculus and, in a systematic manner, results including the existence and uniqueness of solutions for the Cauchy Type and Cauchy problems, involving nonlinear fractional difference equations, explicit solutions of linear difference equations and linear difference system by their deduction to Volterra sum equation and by using operational methods, applications of Z-transform, R-transform, N-transform, Adomian decomposition method, method of undetermined coefficients, Jordan matrix theory method, and by discrete Mittag-Leffler function and discrete Green’ function, and a theory of so-called sequential linear fractional difference equations, as well as some introduction for discrete fractional difference variational problem, and so forth.

#### 2. Integer-Order Difference and Sum with Real Variable

Let us start from sum and difference of the integer order. Define where ,  .

Definition 2.1. Let ,   be real numbers, and let be a positive number, we call one-order backward sum of , where ,  . We call -order backward sum of , where is a positive integer number.

Definition 2.2. Let ,   be real numbers, and let be a positive number, we call one-order forward sum of , where ,  . We call -order forward difference of , where is a positive integer number.

Definition 2.3. Let be a real number, and let be a positive number, we call one-order backward difference of , where is step. We call -order backward difference of , where is a positive integer number.

Similarly, we can define forward difference as follows.

Definition 2.4. Let be a real number, and let be a positive number, we call one-order forward difference of , where is step. We call -order forward difference of , where is a positive integer number.

Theorem 2.5. The following two equalities hold:(1), (2).

Definition 2.6. If ,   are real numbers, and let be a positive number, define rising factorial function, and set . If is a positive integer number, then we have

Definition 2.7. Let ,   be real numbers, and let be a positive number, define down factorial function, and set . If is an positive integer number, then In Definitions 2.6 and 2.7, if , we can simply denote ,   as ,  .

Definition 2.8. For any ,  , we define If ,  , then it is easy to see that If we let , or , then we clearly have the following.

Theorem 2.9. Assume that ,  ; then

Theorem 2.10. Let ,  , then, following equality holds:

#### 3. Fractional Sum and Difference with Real Variable

Before giving the definitions of fractional sum , let us revisit the calculation of the sum of the integer order. By Definition 2.1, we have then By recursive, it is not hard to obtain where .

Obviously, the right side of formula (3.3) is also meaningful for all real , so we define fractional sum as follows.

Definition 3.1. Let ,  ,  ,  ,  , we call order fractional sum of .

For any positive number order fractional difference, we take the following.

Definition 3.2. Let , and assume that , where denotes a positive integer. Define as order - type backward fractional difference. Meantime, define as order Caputo type backward fractional difference.

If we start from Definition 2.2, completely in a similar way, we get positive integer -order forward sum where .

The right side of (3.8) is meaningful for all real , so we can define forward fractional sum as follows.

Definition 3.3. Let ,  ,  ,  ,  , define as order fractional sum of , where .

Definition 3.4. Let , and assume that , where denotes a positive integer. Define as order - type forward fractional difference. Meantime, define as order Caputo type forward fractional difference.

In Definitions 3.13.4, if step , it is a kind of important situation. At this time, we simply denote ,  ;  ,   as,  ;  ,  . When , backward fractional sum is defined as follows.

Definition 3.5. Let , and define as order fractional sum of , where ,  .

For any positive number order fractional difference, we can take the following way.

Definition 3.6. Let and assume that , where denotes a positive integer. Define as order - type backward fractional difference. Meantime, define as order Caputo type backward fractional difference.

We can define forward fractional sum as follows.

Definition 3.7. Let , and define as order forward fractional sum of , where ,  .

Definition 3.8. Let , and assume that , where denotes a positive integer. Define as order - type forward fractional difference. Meantime, define as order Caputo type forward fractional difference.

By Definition 2.8, it is easy to calculate

By Theorem 2.9 we have

Therefore, if we adopt Definition 2.8, then Definitions 3.1, 3.3, 3.5, and 3.7 can be rewritten as follows.

Definition 3.9. Assume that , let ,  ,  ,  , and define as order backward fractional sum of .

Definition 3.10. Assume that , let  ,  ,  ,  , and define as order forward fractional sum of .

Definition 3.11. Assume that ,  , and , and define as order backward fractional sum of .

Definition 3.12. Assume that , , and , and define as order forward fractional sum of .

Set ,  , or , and set ; then by Theorem 2.9 and Definitions 3.13.4, one obtains the following.

Theorem 3.13. For any , the following equalities hold:(1);  ,(2);  ,(3);  .

From Theorem 3.13 we can see, by stretching , the functions and , with common step , can be convert into the functions and with step , respectively. In essence, nothing arises much different, but the latter is more convenient in research.

In view of Definitions 3.13.4 and Theorem 2.10, if we let , then we can obtain the following.

Corollary 3.14. Assume that is integrable, then:(1), (2), (3).

#### 4. Some Basic Properties

We sometimes only list some basic results here, for more detailed results and their proofs can been seen in monographer [23].

Theorem 4.1. Assume that the following function is well defined; then(1),  ,(2),  ,  ,(3)If , then ,  ,(4),  ,(5)Let ,  if ,  then ; If , then .

Theorem 4.2. Let , where is defined in , then(1),  ,(2),  .

Theorem 4.3. Let ,  ,   is defined in , then(1), (2).

Theorem 4.4. For any real , the following equality holds:(1), (2).

Theorem 4.5. For any real and , the following equality holds:(1), (2).

Theorem 4.6. Let , then(1), (2).

In the previous theorems, we only need to consider the simplest case , but actually the methods of proof and conclusions can also be extended for general step . In fact, we only need do a stretching transformation and then make use of Theorem 2.9.

Next, we discusses fractional sum transform such as: transform, transform, transform, and some properties of these transforms.

Definition 4.7. Let be defined in , we call is a transform of , denote it by .

Definition 4.8. Let be defined in , and define transform as follows: If the domain of the function is , then we use the notation .

If we set , define Then, can be regarded as a sequence Under this definition, transform can be simply rewritten as Set , then we have where is transform of sequence .

If , then

Theorem 4.9. For any , then(1),  ,(2),  .

Proof. (1) Making use of (4.7), we get where is transform of sequence , Since (see [2123]) hence
(2) It is only to use then the proof of (2) follows from the proof of (1).

Theorem 4.10. Let and be defined in , and define convolution of ,   as follows: For , then

Theorem 4.11. Let ,   be defined in , then

Theorem 4.12. For any real , one has

Theorem 4.13. For , one has where is defined in .

Theorem 4.14. Let ,  , then

Theorem 4.15. Let be a real function, , then

Definition 4.16. Let be defined in , and define transform as follows: In Definition 4.16, if we set , and define: then, can be regarded as a sequence Under this definition, transform can be simply rewritten as Set , then where is a transform of sequence .

Theorem 4.17. For any , then(1),(2).

Proof. (1) let , then where is a transform of sequence . Since and (see [22, 23]) hence or
(2) The proof of (2) follows from the proof of (1).

Definition 4.18. Define convolution of and as follows: If , then

Theorem 4.19. For any , then

Theorem 4.20. Let ,  , and let be defined in , then

Theorem 4.21. Let , , then

Theorem 4.22. Let be a real function, , then for all , one has

#### 5. The Solution of the Fractional Difference Equations with Real Variable

In this section, we give examples to demonstrate the solving method of fractional difference equations and reveal the inner relationship between fractional differential equations and fractional differential equations.

Theorem 5.1. Let , , then(1),  ,(2),  .

Proof. (1) The proof of (1) directly follows from Theorem 4.1 and Theorem 4.2.
(2) By Theorem 4.2 and (1), we have

Example 5.2. Consider Euler type fractional difference equations Set , and take it into previous equation, we get By Theorem 4.1 (4), we obtain and get indicator equation Therefore, we can transform Euler type fractional difference equations into its indicator equation.

Example 5.3. Consider initial value problem of homogeneous linear order () fractional difference equation with constant coefficient Note that is defined in , since Therefore, initial problem of (5.6) is equivalent to initial problem The solution of initial problem of (5.6) is equivalent to the solution of sum equations
We use approximation method to solve these sum equations. Set Applying power law (Theorem 4.22), we get Applying power law repeatedly, and by recursion, we obtain Let , then

Example 5.4. Let ,  , we call the fractional difference equation of order .

In order to solve this equation, we need to introduce some special functions.

Definition 5.5. Define function where . Sometimes denote it or .

In view of Theorems 4.2 and 4.3, we can establish the following theorem.

Theorem 5.6. Assume the following function is well defined; then(1), (2), (3), where ,(4), where ,(5).

Now we will use the method of undetermined coefficients to solve Example 5.4. By Theorem 5.6, we notice that

The significance of these applications is that if we apply the operator to then we get a cyclic permutation of the same functions. That is, no new functions are introduced. Therefore, we will choose a linear combination of these functions as a candidate for a solution of (5.14). Say Then Taking ,   into the left side of (5.14), we obtain In order to make the right side equate zero, set Then If we let be a root of the indicial equation or , then we have Since we also need so let us set Since is an arbitrary number, set , then Therefore, we obtain a solution of fractional difference of order as

The fractional difference equation of order in Example 5.4 can be solved by the method of transform. Make transform to the following equation: We have Taking them into previos equation, we get and we have In [23], we have the following

Theorem 5.7. The following equality holds:(1), (2).
Set , then By Theorem 5.7 and (5.33), we know that is a solution of (5.14). Except a constant, the solution is the same as the solution (5.28), where which is solved by the method of undetermined coefficients before.

#### 6. Relationship between the Fractional Difference Equations and the Fractional Differential Equations

In this section, we only give an example to demonstrate the relationship between integers order difference equations and integral order differential equation.

Let us recall the definition of fractional sum when step where . If we set then And it is easy to prove that Therefore, we have the following.

Theorem 6.1. Let , and set , then

Example 6.2. (1) Set ,  , and solve the fractional difference equation of order ,
(2) Let , and solve the equation
(3) Let , and solve the equation
(4) If we let , we ask whether the limit solution of (6.8) is equivalent to that of the following fractional differential equation? Consider

Solution 1. (1) By a result in Chapter 7 of book [23], the solution of (6.6) is
(2) Set , and define Hence, we can regard the following as a sequence Under this definition, (6.7) is actually equivalent to the following integer variable difference equation: By (1), we know that its solution is That is
(3) Set , then (6.8) is equivalent to By (2), we obtain that the solution of (6.16) is Since hence we have
(4) Let , and since We then obtain and this is exactly the solution of (6.9). (See Chapter 5 in monographer [2]).

Remark 6.3. If we take ,  , then the followong occurs.
(1) The solution of (6.19) reduces to and this result is consistent with the solution (5.28) or (5.34) in Example 5.4 in Section 5.
(2) The solution (6.21) reduces to
Let , then tend to The results perfectly coincide with the monographer [2].

From Theorem 6.1, we see that if we take as , it is only a sequence with step 1, but the initial time is not zero but . If we make a translation variable transformation, set ,  , then we can change the definition of fractional sum and fractional difference with real variable into the definition of fractional sum and difference with integer variable. But, no doubt, it will be more convenient for us to study fractional sum and difference with integer variable.

#### 7. Conclusion

This work reveals some results in discrete fractional calculus and fractional -difference equations. This study also provides a reference for researchers in this area. First, this paper gives the definition of the fractional -difference from the difference of integer order. Then some integral transforms are proposed, that is, transform, transform, and transform. These integral transforms are applied to linear fractional -difference equations, and approximate solutions are obtained. At last, the study explains the relationship between the fractional difference equations and the fractional differential equations.

#### Acknowledgment

The authors wish to thank the referee for the very careful reading of the manuscript and fruitful comments and suggestions.

#### References

1. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Integrals and Derivatives of the Fractional Order and Some of Their Applications, Nauka i Tekhnika, Minsk, Russia, 1987.
2. K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, John Wiley & Sons, New York, NY, USA, 1993.
3. I. Podlubny, Fractional Differential Equations, Academic Press, San Diego, Calif, USA, 1999.
4. A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 204 of North-Holland Mathematics Studies, Elsevier, Amsterdam, The Netherlands, 2006.
5. K. Diethelm, The Analysis of Fractional Differential Equations, Springer, Berlin, Germany, 2010.
6. Z.-X. Zheng, “On the developments applications of fractional equations,” Journal of Xuzhou Normal University, vol. 26, no. 2, pp. 1–10, 2008.
7. R. P. Agarwal, Difference Equations and Inequalities: Theory, Methods, and Application, Marcel Dekker, New York, NY, USA, 2000.
8. M. Bohner and A. C. Peterson, Advances in Dynamic Equations on Time Scales, Birkhäuser, Boston, Mass, USA, 2003.
9. 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.
10. F. M. Atici and P. W. Eloe, “Discrete fractional calculus with the nabla operator,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 3, pp. 1–12, 2009.
11. 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.
12. F. M. Atici and S. Şengül, “Modeling with fractional difference equations,” Journal of Mathematical Analysis and Applications, vol. 369, no. 1, pp. 1–9, 2010.
13. G. A. Anastassiou, “Discrete fractional calculus and inequalities,” http://arxiv.org/abs/0911.3370.
14. G. A. Anastassiou, “Nabla discrete fractional calculus and nabla inequalities,” Mathematical and Computer Modelling, vol. 51, no. 5-6, pp. 562–571, 2010.
15. 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.
16. T. Abdeljawad, “On riemann and caputo fractional differences,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1602–1611, 2011.
17. T. Abdeljawad, “Principles of delta and nabla fractional differences,” http://arxiv.org/abs/1112.5795.
18. F. Jarad, T. Abdeljawad, D. Baleanu, and K. Biçen, “On the stability of some discrete fractional nonautonomous systems,” Abstract and Applied Analysis, vol. 2012, Article ID 476581, 9 pages, 2012.
19. T. Abdeljawad and D. Baleanu, “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.
20. T. Abdeljawad and D. Baleanu, “Fractional differences and integration by parts,” Journal of Computational Analysis and Applications, vol. 13, no. 3, pp. 574–582, 2011.
21. J.-F. Cheng and Y.-M. Chu, “On the fractional difference equations of order $\left(2,q\right)$,” Abstract and Applied Analysis, vol. 2011, Article ID 497259, 16 pages, 2011.
22. J.-F. Cheng, “Solutions of fractional difference equations of order $\left(k,q\right)$,” Acta Mathematicae Applicatae Sinica, vol. 34, no. 2, pp. 313–330, 2011.
23. J.-F. Cheng, Theory of Fractional Difference Equations, Xiamen University Press, 2011.