Discrete Fractional Calculus (2015)
3. Nabla Fractional Calculus
3.2. Preliminary Definitions
We first introduce some notation and state elementary results concerning the nabla calculus, which we will use in this chapter. As in Chaps. 1 and 2 for , the sets and , where b − a is a positive integer, are defined by
For an arbitrary function we define the nabla operator (backwards difference operator) , ∇, by
For convenience, we adopt the convention that ∇f(t): = (∇f)(t). Sometimes it is useful to use the relation
(3.1)
to get results for the nabla calculus from the delta calculus and vice versa. Since many readers will be interested only in the nabla calculus, we want this chapter to be self-contained. So we will not use the formula (3.1) in this chapter. The operator ∇ n is defined recursively by for , , where ∇0 is the identity operator defined by ∇0 f(t) = f(t). We define the backward jump operator, , by
Also we let f ρ denote the composition function f ∘ρ. It is easy (Exercise 3.1) to see that if and ∇f(t) = 0 for then
The following theorem gives several properties of the nabla difference operator.
Theorem 3.1.
Assume and . Then for
(i)
∇α = 0;
(ii)
∇αf(t) = α∇f(t);
(iii)
(iv)
if α ≠ 0, then
(v)
(vi)
.
Proof.
We will just prove (iv) and (v) and leave the proof of the other parts to the reader. To see that (iv) holds assume that α ≠ 0 and note that
Next we prove the product rule (v). For , consider
which is the desired result. □
Next we define the rising function.
Definition 3.2.
Assume n is a positive integer and . Then we define the rising function, read “t to the n rising,”by
Readers familiar with the Pochhammer function may recognize this notation in its alternative form, (k) n . See Knuth [139].
The rising function is defined this way so that the following power rule holds.
Theorem 3.3 (Nabla Power Rule).
For , ,
for .
Proof.
We simply write
This completes the proof. □
Note that for ,
where is the gamma function (Definition 1.6). Motivated by this we next define the (generalized) rising function as follows.
Definition 3.4.
The (generalized) rising function is defined by
(3.2)
for those values of t and r so that the right-hand side of equation (3.2) is sensible. Also, we use the convention that if t is a nonpositive integer, but t + r is not a nonpositive integer, then .
We then get the following generalized power rules.
Theorem 3.5 (Generalized Nabla Power Rules).
The formulas
(3.3)
and
(3.4)
hold for those values of t, r, and α so that the expressions in equations (3.3) and (3.4) are sensible. In particular, .
Proof.
Consider that
Hence, (3.3) holds. Next we prove (3.4). To see this, note that
This completes the proof. □