On the Fractional Difference Equations of Order 2 , q

and Applied Analysis 3 Definition 2.3. Set x n x x 1 · · · x n − 1 , 2.5 where n is a positive integer, x is real, and x n is called rising factorial function. And define [ x n ] x x 1 · · · x n − 1 n! . 2.6 For backward difference of order m, where m is positive integer, we have Lemma 2.4. Assume that m is a positive integer, then ∇−mx n n ∑ r 0 [ m n − r ] x r [ m n ] ∗ x n , 2.7 where m n−r m m 1 · · · m n − r − 1 / n − r !, and ∗ is convolution symbol. Proof. By Definition 2.2, we have ∇−1x n nr 0 x r , and then ∇−2x n ∇−1 ( ∇−1x n ) n ∑ r 0 ∇−1x r n ∑ r 0 r ∑ s 0 x s n ∑ s 0 n ∑ r s x s n ∑ s 0 n − s 1 x s , ∇−3x n ∇−1 ( ∇−2x n ) n ∑ r 0 ∇−2x r n ∑ r 0 r ∑ s 0 r − s 1 x s


Introduction
As is well known, there is a large quantity of research on what is usually called integer-order difference equations and integer-order differential equations.Since the study is started very early by many famous mathematicians, such as Leibniz, Bernoulli, Euler, and Lagrange, many systematic works were established, and much classical content was included in the textbooks 1-3 .Moreover, it is also well known that the theory of integer-order difference equations have many similar performances to the theory of integer-order differential equations.However, the study on the ordinary fractional differential equations is just a beginning of exploration in the recent two decades.For example, in their encyclopedic monograph 4 on the fractional integrals and derivatives, Samko et al. summed up the results of the fractional calculus and established the existence and uniqueness of the solution of ordinary fractional differential equations and so on.Miller and Ross 5 made a significant contribution to the solution of ordinary fractional differential equations by using the transcendental function and Laplace transform, as well as fractional Green function method; they researched linear fractional differential equations with constant coefficients skillfully and systematically and obtained a great deal of excellent results.These results have aroused a great interest for mathematicians 6-11 .After then, two new comprehensive monographs 12, 13 on fractional differential equations have been published one after another.
It is natural to ask whether the corresponding fractional difference theory and fractional summation theory can be established or what is the corresponding theory on fractional difference equations.These problems have been researched by many mathematicians, such as Samko et al., who gave the definition for the fractional difference with series type in Section 21 of their book 4 .This definition is useful for solving the numerical solution of the fractional differential equations.However, this definition has some limitations: for example, when the order ν is negative, this definition is unable to guarantee its convergence.Moreover, such a series type of definition, even the most simple fractional difference equations, cannot give their exact solution.Without doubt, they have not obtained the similar performance for the fractional differential equations.
The purpose of this paper is to give the new definitions of fractional difference, and fractional summation, as well as fractional difference equations.In particular, making use of our definitions, the fractional difference equations can be solved successfully, and its theory has a miraculous analogy with the theory on fractional differential equations.Limited to the length of the paper, we only give the explicit solution of the fractional differential equations of order 2, q .Nevertheless, this method for solving fractional difference equations is not trivial.For another further systemic results, one can see our monograph 14 .

Definitions of Fractional Difference and Fractional Summation
Let x n be a real-valued sequence, n ∈ Z.Let us start from backward difference and give some basic definitions.one-order backward difference of x n and calls where k is a positive integer.
Definition 2.2.One calls one-order summation of x n and calls k-order summation of x n , where k is a positive integer.
Abstract and Applied Analysis 3 Definition 2.3.Set where n is a positive integer, x is real, and x n is called rising factorial function.And define For backward difference of order m, where m is positive integer, we have Lemma 2.4.Assume that m is a positive integer, then where

2.8
By recursion, we have by Definition 2.3 we can rewrite the above form as follows:

2.10
Now we extend formula 2.7 to the general positive real number.It is obvious that the right side of 2.7 is also meaningful for any positive real number ν > 0; based on this observation we give the definition of the fractional summation as follows.
Definition 2.5.Leting ν > 0 be an arbitrary positive real number, one calls ν-order summation of x n , where * is the convolution symbol.
Next, we give the definition of the fractional difference as follows.
Definition 2.6.Let m be the smallest positive integer which is greater than μ > 0. Then the fractional difference of x n of order μ is defined by For example, we set again x n ν n ν > 0, μ > 0 , then

2.13
By induction, it is not difficult to verify that Then by Definition 2.6, we have

2.15
Definition 2.7.One calls a Z-transform of x n and denotes it by X z or Z x n , where R is the absolutely convergent radius of complex series.
Definition 2.8.Leting f n , g n be two sequences, one calls n r 0 f r g n − r 2.17 an convolution of the f n and g n and denotes it by Firstly, the following convolution theorem is well known.
Secondly, we have the Z-transform of function k n .

Abstract and Applied Analysis
Proof.By the Taylor expansion, one has

2.24
In general, the law of exponents ∇ μ ∇ ν x n ∇ μ ν x n is not necessarily valid for arbitrary real numbers μ and ν.For example, let x n 1, then ∇x n 0 and ∇ −1 ∇x n 0, while ∇ −1 x n n and ∇∇ −1 x n 1.But with additional caveats, the law of exponents can also hold.For μ, ν > 0 we have Proposition 2.11.One has Proof.From the definition of fractional summation and convolution theorem we have

2.25
Abstract and Applied Analysis 7 Proposition 2.12.One has Proof.By the definition of fractional difference, we get

2.26
Proposition 2.13.One has Proof.We have Proof.We have 2.28

Fractional Difference Equations
An ordinary difference equation is an equation involving difference of a function, and the basic problem is to find a function that satisfies this equation.For example, where a and b are constants and a b 1 / 0 is a second-order ordinary linear difference equation with constant coefficients.The problem is to find nonidentically zero function x n that satisfies 3.1 .Therefore, it come as no surprise that we define a fractional difference equation as an equation involving fractional difference of a function.In particular, if k and q are positive integers and ν 1/q, then we call a fractional difference operator of order k, q , where a i are constants, i 0, 1, . . ., k.Of course, there exist more complicated fractional difference operators, but 3.2 is more than sufficiently complex.Although we can solve the general equation L x n 0, but limited to the length of this paper, we will only focus our attention on equations of order 2, q , that is, on equations of the form ∇ 2ν a∇ ν b∇ 0 x n 0.

3.3
Our problem, of course, is to find a function x n that satisfies 3.3 .Let us briefly review some results in ordinary difference equations theory that may give us a hint as how to proceed.In the difference equation 3.1 , we already know that if α / 1, β / 1 are the different roots of the indicial equation p t 0, where that is, to say, the solution is an exponential function.If α / β, then we have two linearly independent solutions.If α β, then α is a double root of p t 0, and 1/ 1 − α n and n 1/ 1 − α n are linearly independent solutions of 3.1 .
Let us now attempt to use the above arguments in solving 3.3 .Define some special functions as follows: It follows from Proposition 2.14 that

3.6
Making use of qv 1 and Proposition 2.13, we have

3.7
From 0 n 0 we clearly see that The significance of these applications is that if we apply the operator ∇ ν to n 0, λ , n −ν, λ , . . ., n − q − 1 ν, λ , 3.9 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 3.3 , say where B i , i 1, 2, . . ., q − 1, λ are arbitrary constants for the moment.From our preceding arguments, we have Now, if ∇ 2ν x n has the same cyclic property, then we may calculate ∇ 2ν a∇ ν b∇ 0 x n .It will be a linear combination of Λ n 0, λ , Λ n −v, λ , . . ., Λ n − q − 1 v, λ whose coefficients are functions of the B s and λ.Then perhaps we can choose B 0 , B 1 , . . ., B q−1 , λ such that the coefficients of the Λ n −kv, λ functions vanish.If so, we will have a solution of 3.3 .

Abstract and Applied Analysis
Let us calculate ∇ 2ν x n ; it follows from Proposition 2.14 that

3.12
From the definition of fractional difference and Propositions 2.12 and 2.13 we clearly see that

3.14
We note that ∇ 2ν x n have cyclical property, that is, only the terms of the form Λ n −kv, λ , k 0, 1, . . ., q − 1 appeared; we also have the unwanted term λ −1 −ν n .Now, we deal with the later term.From 3.10 -3.14 , we may compute ∇ 2ν a∇ ν b∇ 0 x n .From the coefficients of Λ n −kv, λ terms, we get

3.15
Since α is a root of the indicial equation p t 0, hence α 2 aα b 0.

3.16
Comparing 3.16 with the terms under the summation sign in 3.15 , we see that if B k represent decreasing powers of α, then all these terms will vanish.Let where A is an arbitrary nonzero factor independent of k.Then Aα −k−2 α 2 aα b 0.

3.20
Since A is arbitrary, we choose A α q−1 / 1 − α q such that the term on the right-hand side of 3.20 is independent of α.
From the choices of B 0 , B 1 , . . ., B q−1 , λ and A we clearly see that x n and 3.20 can be rewritten as 3.21 respectively, where α is a zero of p t .If α 0, then we choose λ 0 n ν n .

3.23
Of course, λ α n is not a solution of 3.3 , since we still have the term −ν n on the righthand side of 3.22 , but we are getting close.We recall that p t 0 have two zeros; let β be another zero.Set If α / β, then 3.27 represents a nonidentically zero solution of 3.3 .Of course, if α β, then we have the trivial solution Ψ n 0. However, we recall the same phenomenon in ordinary difference equation theory.If α β, then nλ n is a solution of 3.1 .For 3.3 , using a similar but more sophisticated argument, one has

3.28
Abstract and Applied Analysis 13 Noting that n 1 1/ 1 − α q n is zero at n −1, Proposition 2.14 is also valid for function n 1 1/ 1 − α q n even if μ ν 1. Setting A q−1 0 and B q−1 0, calculating ∇ ν x n and ∇ 2ν x n as before, we know that no new functions are introduced.We obtain

3.32
Therefore, we get a nontrivial solution of ∇ 2ν − 2α∇ ν α 2 ∇ 0 x n 0. Substituting A k and B k into x n , we get
and * is convolution symbol.