Eloe, Discrete fractional calculus with the nable operator

Properties of discrete fractional calculus in the sense of a backward difference are introduced and developed. Exponential laws and a product rule are developed and relations to the forward fractional calculus are explored. Properties of the Laplace transform for the nabla derivative on the time scale of integers are developed and a fractional finite difference equation is solved with a transform method. As a corollary, two new identities for the gamma function are exhibited.


Introduction
In this article, we shall continue our recent work to study discrete fractional calculus.We shall continue to employ terminology from the theory of time scales calculus [5] and in this article, we shall employ the backward difference, or the nabla derivative.
There has been little work done in the study of discrete fractional calculus in the case of the forward difference.Miller and Ross [15] initiated the study and the authors [2,3,4] have more recently been developing discrete forward fractional calculus.There has been more work in the study of discrete fractional calculus using the backward difference [11,8,10,12,13]; applications arising in time series analysis have motivated the development in discrete backward fractional calculus.As is typical in fractional calculus, authors do not agree on basic definitions.
In Section 2, we shall present the definitions and fundamental identities that we shall employ.In Section 3, we present a discrete nabla analogue of the Laplace transform and develop some fundamental properties.We point out that this transform agrees with the transform for the alpha derivative on the time scale of integers when alpha is nabla.We close the article by applying the transform method to solve a fractional nabla difference equation and exhibit two new identities for the gamma function.Throughout this article, we shall compare and contrast the methods and results with the analogous methods and results for fractional forward difference calculus.
The solution of this initial value problem [6, Theorem 3.99] is given by where t ≡ a + 1 (mod 1), ρ(s) = s − 1 and (t−ρ(s)) n−1 is the Cauchy function for ∇ n y(t) = 0. To agree with Gray and Zhang [11], we shall define the n−th order sum of f (t) by the formula EJQTDE Spec.Ed.I, 2009 No. 3 Hence, the solution of the initial value problem is ∇ −n a+1 f (t).With this observation, define (as done in [11,Equation 2.3]) the ν−th order fractional sum of f by where ν ∈ R\{..., −2, −1, 0}.We shall define the fractional nabla difference in the analogous manner to the forward fractional difference as proposed by Miller and Ross [15].Let µ > 0 and assume that m − 1 < µ < m where m denotes a positive integer.Set This definition for a fractional derivative does not agree with the definition employed by Gray and Zhang [11].
For the readers' benefit, we shall recall definitions of the fractional sum and ∆ difference operators, see [2,4,15].Define We shall employ (4) repeatedly.Define and It is already known and it can be easily shown that ∆ m y(t − m) = ∇ m y(t) for any positive number m. Next we shall generalize this formula for any positive real number ν and also give a relation between the ∇−fractional sum and the ∆−fractional sum operators.
where m denotes an integer, let a be a positive integer, and let y(t) be defined on N a = {a, a + 1, a + 2, . ..}.Then the following statements are valid.
Proof.(i) Starting on the left side of the identity we have where we used the definitions of ∆ and ∇ fractional operators (1)-( 5).
The proof of (ii) is analogous to the proof of (i) and follows even more directly from (4).
Proof.(i) Starting on the right side of the identity we have , where we used the definitions of ∆ and ∇ fractional operators (1)- (5).
The proof of (ii) is analogous.
Next we prove the power rule which plays an important role for proving some basic properties of the ∇−fractional operators and for solving some fractional difference equations.
A proof of the identity Remark 2.1 The authors [2] have proved a power rule t (µ+ν) .
(4) and Lemma 2.1 (ii) can be employed to give an alternate verification of Lemma 2.3.
Next we shall state and prove the law of exponents for the ∇−fractional sums.Gray and Zhang [11] also consider laws of exponents; our definitions for fractional derivatives are not in total agreement.Theorem 2.1 Let f be a real valued function, and let µ, ν > 0. Then Proof.The proof follows from the definition of the ∇− fractional sum operator and the power rule.

An Application of a Discrete Transform
In this section we employ a discrete Laplace transform which is the Laplace transform for the alpha derivative on the time scale of integers [6] applied to α = ∇.
Define the discrete transform (N -transform) by If the domain of the function f is N 1 , then we use the notation N or N 1 .

Lemma 3.1 For any
Proof.First we assume 0 < ν ≤ 1.Then For identities with respect to the hypergeometric functions we refer the reader to [1]; we have employed the following identities, The radius of convergence in (i) is given by the radius of convergence for the series expansion for 2 F 1 (1, ν; 1; 1 − s).Note that, in general, where ν ∈ R\{..., −2, −1, 0}.To see this, note that summation by parts implies Since the gamma function has a pole at zero, 0 ν = 0 and the proof of (i) is complete.
(ii) will follow from (i) once we write Lemma 3.2 Let f be defined on N a+1 .Then the following is valid: Proof.
Lemma 3.3 For any positive real number ν, , where f is defined on N a .
Proof.First note that In fact, Applying the N 1 -transform to each side of the equation, we have (5).Using Lemma 3.1 and Lemma 3.4, we obtain It follows that Using Lemma 3.2, we have Applying the inverse N 0 -transform to each side of the last equation, we obtain the solution of the initial value problem where t = 0, 1, 2, ....
In the next example we compare the fractional ∇−difference equation and the fractional ∆−difference equation and their solutions.

The solution of this initial value problem is
For the details of the calculation of the solution we refer the paper [2] by the authors.
Next we convert the above fractional ∆−difference equation to a fractional ∇−difference equation using Lemma 2.2.Hence we have for t = 0, 1, 2, ....In order to apply the N 1 -transform, we also prove the following equality where z(t) = y(t − 1/2).As a result of this equality, the corresponding ∇−difference equation becomes where t ∈ N 0 .A straight forward calculation shows that the solutions in (8) and (9) are same.
We shall close this paper with two identities for the gamma function.In [2], the authors employed the α−Laplace transform associated with the forward finite difference, α = ∆.In particular, the authors employed