Theory and Modern Applications

# Dual identities in fractional difference calculus within Riemann

## Abstract

We investigate two types of dual identities for Riemann fractional sums and differences. The first type relates nabla- and delta-type fractional sums and differences. The second type represented by the Q-operator relates left and right fractional sums and differences. These dual identities insist that in the definition of right fractional differences, we have to use both nabla and delta operators. The solution representation for a higher-order Riemann fractional difference equation is obtained as well.

## 1 Introduction

During the last two decades, due to its widespread applications in different fields of science and engineering, fractional calculus has attracted the attention of many researchers .

Starting from the idea of discretizing the Cauchy integral formula, Miller and Ross  and Gray and Zhang  obtained discrete versions of left-type fractional integrals and derivatives, called fractional sums and differences. Fifteen years later, several authors started to deal with discrete fractional calculus , benefiting from the theory of time scales originated by Hilger in 1988 (see ).

In this article, we summarize some of the results mentioned in the above references and add more in the right-type and higher order fractional cases. Throughout the article, we almost agree with the previously presented definitions except for the definition of right fractional difference. We will figure out that these definitions seem to be more convenient than the previously presented ones by proving some dual identities. These identities fall into two kinds. The first kind relates nabla-type fractional differences and sums to delta ones. The second kind represented by the Q-operator relates left and right fractional sums and differences. This setting enables us to get identities resembling better the ordinary fractional case. Along with the previously mentioned points, we are able to fit a reasonable nabla integration by parts formula which remains in accordance with the one obtained in  but different from those obtained in  and . The obtained dual identities are also used to obtain a delta integration by parts formula from the nabla one. The solution representation for the higher-order Riemann fractional difference equation is obtained as well and thus the result in  is generalized. We will see that the higher-order Riemann fractional difference initial value problem of non-integer order needs only one initial condition which is not the case for the higher-order difference equation (i.e., of positive integer order).

The article is organized as follows. The remaining part of this section contains summary to some of the basic notations and definitions in delta and nabla calculus. Section 2 contains the definitions in the frame of delta and nabla fractional sums and differences in the Riemann sense. Moreover, some essential lemmas about the commutativity of the different fractional sum operators with the usual difference operators are established. These lemmas are vital to proceeding in the next sections. The third section contains some dual identities relating nabla and delta fractional sums and differences in the left and right cases. Using these dual identities, power formulas for nabla left and right fractional sums and a commutative law for nabla left and right sums are obtained. In Section 4 the integration by parts formula for nabla fractional sums and differences obtained in  is used by the help of the dual identities to obtain delta integration by parts formulas. Section 5 is devoted to higher-order initial fractional difference value problems into Riemann. Finally, in Section 6 the Q-operator is used to relate left and right fractional sums in nabla and delta case and hence relates delta and nabla Riemann fractional differences. The Q-dual identities obtained in this section expose the validity of the definition of delta and nabla right fractional differences where delta and nabla operators are used in each of the definitions of delta and nabla right fractional differences.

For a natural number n, the fractional polynomial is defined by

${t}^{\left(n\right)}=\prod _{j=0}^{n-1}\left(t-j\right)=\frac{\mathrm{\Gamma }\left(t+1\right)}{\mathrm{\Gamma }\left(t+1-n\right)},$
(1)

where Γ denotes the special gamma function, and the product is zero when $t+1-j=0$ for some j. More generally, for arbitrary α, define

${t}^{\left(\alpha \right)}=\frac{\mathrm{\Gamma }\left(t+1\right)}{\mathrm{\Gamma }\left(t+1-\alpha \right)},$
(2)

where we have the convention that division at pole yields zero. Given that the forward and backward difference operators are defined by

$\mathrm{\Delta }f\left(t\right)=f\left(t+1\right)-f\left(t\right),\phantom{\rule{2em}{0ex}}\mathrm{\nabla }f\left(t\right)=f\left(t\right)-f\left(t-1\right)$
(3)

respectively, we define iteratively the operators ${\mathrm{\Delta }}^{m}=\mathrm{\Delta }\left({\mathrm{\Delta }}^{m-1}\right)$ and ${\mathrm{\nabla }}^{m}=\mathrm{\nabla }\left({\mathrm{\nabla }}^{m-1}\right)$, where m is a natural number.

Here are some properties of the factorial function.

Lemma 1.1 

Assume the following factorial functions are well defined.

(i) $\mathrm{\Delta }{t}^{\left(\alpha \right)}=\alpha {t}^{\left(\alpha -1\right)}$.

(ii) $\left(t-\mu \right){t}^{\left(\mu \right)}={t}^{\left(\mu +1\right)}$, where $\mu \in \mathbb{R}$.

(iii) ${\mu }^{\left(\mu \right)}=\mathrm{\Gamma }\left(\mu +1\right)$.

(iv) If $t\le r$, then ${t}^{\left(\alpha \right)}\le {r}^{\left(\alpha \right)}$ for any $\alpha >r$.

(v) If $0<\alpha <1$, then ${t}^{\left(\alpha \nu \right)}\ge {\left({t}^{\left(\nu \right)}\right)}^{\alpha }$.

(vi) ${t}^{\left(\alpha +\beta \right)}={\left(t-\beta \right)}^{\left(\alpha \right)}{t}^{\left(\beta \right)}$.

Also, for our purposes, we list down the following two properties, the proofs of which are straightforward. (4) (5)

For the sake of the nabla fractional calculus, we have the following definition.

Definition 1.1 [19, 2123]

(i) For a natural number m, the m rising (ascending) factorial of t is defined by

${t}^{\overline{m}}=\prod _{k=0}^{m-1}\left(t+k\right),\phantom{\rule{2em}{0ex}}{t}^{\overline{0}}=1.$
(6)

(ii) For any real number, the α rising function is defined by

${t}^{\overline{\alpha }}=\frac{\mathrm{\Gamma }\left(t+\alpha \right)}{\mathrm{\Gamma }\left(t\right)},\phantom{\rule{1em}{0ex}}t\in \mathbb{R}-\left\{\dots ,-2,-1,0\right\},\phantom{\rule{2em}{0ex}}{0}^{\alpha }=0.$
(7)

Regarding the rising factorial function, we observe the following:

(i)

$\mathrm{\nabla }\left({t}^{\overline{\alpha }}\right)=\alpha {t}^{\overline{\alpha -1}}.$
(8)

(ii)

$\left({t}^{\overline{\alpha }}\right)={\left(t+\alpha -1\right)}^{\left(\alpha \right)}.$
(9)

(iii)

${\mathrm{\Delta }}_{t}{\left(s-\rho \left(t\right)\right)}^{\overline{\alpha }}=-\alpha {\left(s-\rho \left(t\right)\right)}^{\overline{\alpha -1}}.$
(10)

Notation

(i) For a real $\alpha >0$, we set $n=\left[\alpha \right]+1$, where $\left[\alpha \right]$ is the greatest integer less than α.

(ii) For real numbers a and b, we denote ${\mathbb{N}}_{a}=\left\{a,a+1,\dots \right\}$ and ${}_{b}\mathbb{N}=\left\{b,b-1,\dots \right\}$.

(iii) For $n\in \mathbb{N}$ and real a, we denote

${}_{⊝}\mathrm{\Delta }^{n}f\left(t\right)\triangleq {\left(-1\right)}^{n}{\mathrm{\Delta }}^{n}f\left(t\right).$

(iv) For $n\in \mathbb{N}$ and real b, we denote

${\mathrm{\nabla }}_{⊝}^{n}f\left(t\right)\triangleq {\left(-1\right)}^{n}{\mathrm{\nabla }}^{n}f\left(t\right).$

## 2 Definitions and essential lemmas

Definition 2.1 Let $\sigma \left(t\right)=t+1$ and $\rho \left(t\right)=t-1$ be forward and backward jumping operators, respectively. Then

(i) The (delta) left fractional sum of order $\alpha >0$ (starting from a) is defined by

${\mathrm{\Delta }}_{a}^{-\alpha }f\left(t\right)=\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=a}^{t-\alpha }{\left(t-\sigma \left(s\right)\right)}^{\left(\alpha -1\right)}f\left(s\right),\phantom{\rule{1em}{0ex}}t\in {\mathbb{N}}_{a+\alpha }.$
(11)

(ii) The (delta) right fractional sum of order $\alpha >0$ (ending at b) is defined by

$\begin{array}{rcl}{}_{b}\mathrm{\Delta }^{-\alpha }f\left(t\right)& =& \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=t+\alpha }^{b}{\left(s-\sigma \left(t\right)\right)}^{\left(\alpha -1\right)}f\left(s\right)\\ =& \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=t+\alpha }^{b}{\left(\rho \left(s\right)-t\right)}^{\left(\alpha -1\right)}f\left(s\right),\phantom{\rule{1em}{0ex}}t{\in }_{b-\alpha }\mathbb{N}.\end{array}$
(12)

(iii) The (nabla) left fractional sum of order $\alpha >0$ (starting from a) is defined by

${\mathrm{\nabla }}_{a}^{-\alpha }f\left(t\right)=\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=a+1}^{t}{\left(t-\rho \left(s\right)\right)}^{\overline{\alpha -1}}f\left(s\right),\phantom{\rule{1em}{0ex}}t\in {\mathbb{N}}_{a+1}.$
(13)

(iv) The (nabla) right fractional sum of order $\alpha >0$ (ending at b) is defined by:

$\begin{array}{rcl}{}_{b}\mathrm{\nabla }^{-\alpha }f\left(t\right)& =& \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=t}^{b-1}{\left(s-\rho \left(t\right)\right)}^{\overline{\alpha -1}}f\left(s\right)\\ =& \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=t}^{b-1}{\left(\sigma \left(s\right)-t\right)}^{\overline{\alpha -1}}f\left(s\right),\phantom{\rule{1em}{0ex}}t{\in }_{b-1}\mathbb{N}.\end{array}$
(14)

Regarding the delta left fractional sum, we observe the following:

(i) ${\mathrm{\Delta }}_{a}^{-\alpha }$ maps functions defined on ${\mathbb{N}}_{a}$ to functions defined on ${\mathbb{N}}_{a+\alpha }$.

(ii) $u\left(t\right)={\mathrm{\Delta }}_{a}^{-n}f\left(t\right)$, $n\in \mathbb{N}$, satisfies the initial value problem

${\mathrm{\Delta }}^{n}u\left(t\right)=f\left(t\right),\phantom{\rule{1em}{0ex}}t\in {\mathbb{N}}_{a},\phantom{\rule{2em}{0ex}}u\left(a+j-1\right)=0,\phantom{\rule{1em}{0ex}}j=1,2,\dots ,n.$
(15)

(iii) The Cauchy function $\frac{{\left(t-\sigma \left(s\right)\right)}^{\left(n-1\right)}}{\left(n-1\right)!}$ vanishes at $s=t-\left(n-1\right),\dots ,t-1$.

Regarding the delta right fractional sum, we observe the following:

(i) ${}_{b}\mathrm{\Delta }^{-\alpha }$ maps functions defined on ${}_{b}\mathbb{N}$ to functions defined on ${}_{b-\alpha }\mathbb{N}$.

(ii) $u\left(t\right){=}_{b}{\mathrm{\Delta }}^{-n}f\left(t\right)$, $n\in \mathbb{N}$, satisfies the initial value problem

${\mathrm{\nabla }}_{\ominus }^{n}u\left(t\right)=f\left(t\right),\phantom{\rule{1em}{0ex}}t{\in }_{b}\mathbb{N},\phantom{\rule{2em}{0ex}}u\left(b-j+1\right)=0,\phantom{\rule{1em}{0ex}}j=1,2,\dots ,n.$
(16)

(iii) The Cauchy function $\frac{{\left(\rho \left(s\right)-t\right)}^{\left(n-1\right)}}{\left(n-1\right)!}$ vanishes at $s=t+1,t+2,\dots ,t+\left(n-1\right)$.

Regarding the nabla left fractional sum, we observe the following:

(i) ${\mathrm{\nabla }}_{a}^{-\alpha }$ maps functions defined on ${\mathbb{N}}_{a}$ to functions defined on ${\mathbb{N}}_{a}$.

(ii) ${\mathrm{\nabla }}_{a}^{-n}f\left(t\right)$ satisfies the n th order discrete initial value problem

${\mathrm{\nabla }}^{n}y\left(t\right)=f\left(t\right),\phantom{\rule{2em}{0ex}}{\mathrm{\nabla }}^{i}y\left(a\right)=0,\phantom{\rule{1em}{0ex}}i=0,1,\dots ,n-1.$
(17)

(iii) The Cauchy function $\frac{{\left(t-\rho \left(s\right)\right)}^{\overline{n-1}}}{\mathrm{\Gamma }\left(n\right)}$ satisfies ${\mathrm{\nabla }}^{n}y\left(t\right)=0$.

Regarding the nabla right fractional sum, we observe the following:

(i) ${}_{b}\mathrm{\nabla }^{-\alpha }$ maps functions defined on ${}_{b}\mathbb{N}$ to functions defined on ${}_{b}\mathbb{N}$.

(ii) ${}_{b}\mathrm{\nabla }^{-n}f\left(t\right)$ satisfies the n th order discrete initial value problem

${}_{\ominus }\mathrm{\Delta }^{n}y\left(t\right)=f\left(t\right),{\phantom{\rule{2em}{0ex}}}_{\ominus }{\mathrm{\Delta }}^{i}y\left(b\right)=0,\phantom{\rule{1em}{0ex}}i=0,1,\dots ,n-1.$
(18)

The proof can be done inductively. Namely, assuming it is true for n, we have

${}_{\ominus }\mathrm{\Delta }^{n+1}{}_{b}{\mathrm{\nabla }}^{-\left(n+1\right)}f\left(t\right){=}_{\ominus }{\mathrm{\Delta }}^{n}\left[-{\mathrm{\Delta }}_{b}{\mathrm{\nabla }}^{-\left(n+1\right)}f\left(t\right)\right].$
(19)

By the help of (10), it follows that

${}_{\ominus }\mathrm{\Delta }^{n+1}{}_{b}{\mathrm{\nabla }}^{-\left(n+1\right)}f\left(t\right){=}_{\ominus }\mathrm{\Delta }^{n}{}_{b}{\mathrm{\nabla }}^{-n}f\left(t\right)=f\left(t\right).$
(20)

The other part is clear by using the convention that empty sums are taken to be 0.

(iii) The Cauchy function $\frac{{\left(s-\rho \left(t\right)\right)}^{\overline{n-1}}}{\mathrm{\Gamma }\left(n\right)}$ satisfies ${}_{\ominus }\mathrm{\Delta }^{n}y\left(t\right)=0$.

Definition 2.2 (i)  The (delta) left fractional difference of order $\alpha >0$ (starting from a) is defined by

${\mathrm{\Delta }}_{a}^{\alpha }f\left(t\right)={\mathrm{\Delta }}^{n}{\mathrm{\Delta }}_{a}^{-\left(n-\alpha \right)}f\left(t\right)=\frac{{\mathrm{\Delta }}^{n}}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=a}^{t-\left(n-\alpha \right)}{\left(t-\sigma \left(s\right)\right)}^{\left(n-\alpha -1\right)}f\left(s\right),\phantom{\rule{1em}{0ex}}t\in {\mathbb{N}}_{a+\left(n-\alpha \right)}.$
(21)

(ii)  The (delta) right fractional difference of order $\alpha >0$ (ending at b) is defined by

${}_{b}\mathrm{\Delta }^{\alpha }f\left(t\right)={{\mathrm{\nabla }}_{⊝}^{n}}_{b}{\mathrm{\Delta }}^{-\left(n-\alpha \right)}f\left(t\right)=\frac{{\left(-1\right)}^{n}{\mathrm{\nabla }}^{n}}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t+\left(n-\alpha \right)}^{b}{\left(s-\sigma \left(t\right)\right)}^{\left(n-\alpha -1\right)}f\left(s\right),\phantom{\rule{1em}{0ex}}t{\in }_{b-\left(n-\alpha \right)}\mathbb{N}.$
(22)

(iii) The (nabla) left fractional difference of order $\alpha >0$ (starting from a) is defined by

${\mathrm{\nabla }}_{a}^{\alpha }f\left(t\right)={\mathrm{\nabla }}^{n}{\mathrm{\nabla }}_{a}^{-\left(n-\alpha \right)}f\left(t\right)=\frac{{\mathrm{\nabla }}^{n}}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=a+1}^{t}{\left(t-\rho \left(s\right)\right)}^{\overline{n-\alpha -1}}f\left(s\right),\phantom{\rule{1em}{0ex}}t\in {\mathbb{N}}_{a+1}.$
(23)

(iv) The (nabla) right fractional difference of order $\alpha >0$ (ending at b) is defined by

${}_{b}\mathrm{\nabla }^{\alpha }f\left(t\right){=}_{⊝}\mathrm{\Delta }^{n}{}_{b}{\mathrm{\nabla }}^{-\left(n-\alpha \right)}f\left(t\right)=\frac{{\left(-1\right)}^{n}{\mathrm{\Delta }}^{n}}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t}^{b-1}{\left(s-\rho \left(t\right)\right)}^{\overline{n-\alpha -1}}f\left(s\right),\phantom{\rule{1em}{0ex}}t{\in }_{b-1}\mathbb{N}.$
(24)

Regarding the domains of the fractional type differences, we observe that

(i) The delta left fractional difference ${\mathrm{\Delta }}_{a}^{\alpha }$ maps functions defined on ${\mathbb{N}}_{a}$ to functions defined on ${\mathbb{N}}_{a+\left(n-\alpha \right)}$.

(ii) The delta right fractional difference ${}_{b}\mathrm{\Delta }^{\alpha }$ maps functions defined on ${}_{b}\mathbb{N}$ to functions defined on ${}_{b-\left(n-\alpha \right)}\mathbb{N}$.

(iii) The nabla left fractional difference ${\mathrm{\nabla }}_{a}^{\alpha }$ maps functions defined on ${\mathbb{N}}_{a}$ to functions defined on ${\mathbb{N}}_{a+n}$.

(iv) The nabla right fractional difference ${}_{b}\mathrm{\nabla }^{\alpha }$ maps functions defined on ${}_{b}\mathbb{N}$ to functions defined on ${}_{b-n}\mathbb{N}$.

Lemma 2.1 

For any $\alpha >0$, the following equality holds:

${\mathrm{\Delta }}_{a}^{-\alpha }\mathrm{\Delta }f\left(t\right)=\mathrm{\Delta }{\mathrm{\Delta }}_{a}^{-\alpha }f\left(t\right)-\frac{{\left(t-a\right)}^{\overline{\alpha -1}}}{\mathrm{\Gamma }\left(\alpha \right)}f\left(a\right).$

Lemma 2.2 

For any $\alpha >0$, the following equality holds:

${}_{b}\mathrm{\Delta }^{-\alpha }{\mathrm{\nabla }}_{⊝}f\left(t\right)=\mathrm{\nabla }_{⊝}{}_{b}{\mathrm{\Delta }}^{-\alpha }f\left(t\right)-\frac{{\left(b-t\right)}^{\overline{\alpha -1}}}{\mathrm{\Gamma }\left(\alpha \right)}f\left(b\right).$

Lemma 2.3 

For any $\alpha >0$, the following equality holds:

${\mathrm{\nabla }}_{a+1}^{-\alpha }\mathrm{\nabla }f\left(t\right)=\mathrm{\nabla }{\mathrm{\nabla }}_{a}^{-\alpha }f\left(t\right)-\frac{{\left(t-a+1\right)}^{\overline{\alpha -1}}}{\mathrm{\Gamma }\left(\alpha \right)}f\left(a\right).$
(25)

The result of Lemma 2.3 was obtained in  by applying the nabla left fractional sum starting from a, not from $a+1$. Next, we will provide the version of Lemma 2.3 by applying the definition in this article. Actually, the nabla fractional sums defined in this article and those in  are related. For more details, we refer to .

Lemma 2.4 For any $\alpha >0$, the following equality holds:

${\mathrm{\nabla }}_{a}^{-\alpha }\mathrm{\nabla }f\left(t\right)=\mathrm{\nabla }{\mathrm{\nabla }}_{a}^{-\alpha }f\left(t\right)-\frac{{\left(t-a\right)}^{\overline{\alpha -1}}}{\mathrm{\Gamma }\left(\alpha \right)}f\left(a\right).$
(26)

Proof

By the help of the following by parts identity:

$\begin{array}{rcl}{\mathrm{\nabla }}_{s}\left[{\left(t-s\right)}^{\overline{\alpha -1}}f\left(s\right)\right]& =& {\mathrm{\nabla }}_{s}{\left(t-s\right)}^{\overline{\alpha -1}}f\left(s\right)+{\left(t-\rho \left(s\right)\right)}^{\overline{\alpha -1}}{\mathrm{\nabla }}_{s}f\left(s\right)\\ =& -\left(\alpha -1\right){\left(t-\rho \left(s\right)\right)}^{\overline{\alpha -2}}f\left(s\right)+{\left(t-\rho \left(s\right)\right)}^{\overline{\alpha -1}}{\mathrm{\nabla }}_{s}f\left(s\right),\end{array}$
(27)

we have

$\begin{array}{rcl}{\mathrm{\nabla }}_{a}^{-\alpha }\mathrm{\nabla }f\left(t\right)& =& \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=a+1}^{t}{\left(t-\rho \left(s\right)\right)}^{\overline{\alpha -1}}{\mathrm{\nabla }}_{s}f\left(s\right)\\ =& \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\left[{\left(t-s\right)}^{\overline{\alpha -1}}f\left(s\right){|}_{a}^{t}+\left(\alpha -1\right)\sum _{s=a+1}^{t}{\left(t-\rho \left(s\right)\right)}^{\overline{\alpha -2}}f\left(s\right)\right]\end{array}$
(28)
$=-\frac{{\left(t-a\right)}^{\overline{\alpha -1}}}{\mathrm{\Gamma }\left(\alpha \right)}f\left(a\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha -1\right)}\sum _{s=a+1}^{t}{\left(t-\rho \left(s\right)\right)}^{\overline{\alpha -2}}f\left(s\right).$
(29)

On the other hand, (30)

□

Remark 2.1 Let $\alpha >0$ and $n=\left[\alpha \right]+1$. Then, by the help of Lemma 2.4, we have

$\mathrm{\nabla }{\mathrm{\nabla }}_{a}^{\alpha }f\left(t\right)=\mathrm{\nabla }{\mathrm{\nabla }}^{n}\left({\mathrm{\nabla }}_{a}^{-\left(n-\alpha \right)}f\left(t\right)\right)={\mathrm{\nabla }}^{n}\left(\mathrm{\nabla }{\mathrm{\nabla }}_{a}^{-\left(n-\alpha \right)}f\left(t\right)\right)$
(31)

or

$\mathrm{\nabla }{\mathrm{\nabla }}_{a}^{\alpha }f\left(t\right)={\mathrm{\nabla }}^{n}\left[{\mathrm{\nabla }}_{a}^{-\left(n-\alpha \right)}\mathrm{\nabla }f\left(t\right)+\frac{{\left(t-a\right)}^{\overline{n-\alpha -1}}}{\mathrm{\Gamma }\left(n-\alpha \right)}f\left(a\right)\right].$
(32)

Then, using the identity

${\mathrm{\nabla }}^{n}\frac{{\left(t-a\right)}^{\overline{n-\alpha -1}}}{\mathrm{\Gamma }\left(n-\alpha \right)}=\frac{{\left(t-a\right)}^{\overline{-\alpha -1}}}{\mathrm{\Gamma }\left(-\alpha \right)},$
(33)

we infer that (26) is valid for any real α.

By the help of Lemma 2.4, Remark 2.1 and the identity $\mathrm{\nabla }{\left(t-a\right)}^{\overline{\alpha -1}}=\left(\alpha -1\right){\left(t-a\right)}^{\overline{\alpha -2}}$, we arrive inductively at the following generalization.

Theorem 2.5 For any real number α and any positive integer p, the following equality holds:

${\mathrm{\nabla }}_{a}^{-\alpha }{\mathrm{\nabla }}^{p}f\left(t\right)={\mathrm{\nabla }}^{p}{\mathrm{\nabla }}_{a}^{-\alpha }f\left(t\right)-\sum _{k=0}^{p-1}\frac{{\left(t-a\right)}^{\overline{\alpha -p+k}}}{\mathrm{\Gamma }\left(\alpha +k-p+1\right)}{\mathrm{\nabla }}^{k}f\left(a\right),$
(34)

where f is defined on ${\mathbb{N}}_{a}$ and some points before a.

Lemma 2.6 For any $\alpha >0$, the following equality holds:

${}_{b}\mathrm{\nabla }^{-\alpha }{}_{⊝}\mathrm{\Delta }f\left(t\right){=}_{⊝}{\mathrm{\Delta }}_{b}{\mathrm{\nabla }}^{-\alpha }f\left(t\right)-\frac{{\left(b-t\right)}^{\overline{\alpha -1}}}{\mathrm{\Gamma }\left(\alpha \right)}f\left(b\right).$
(35)

Proof

By the help of the following discrete by parts formula: (36)

we have (37) (38)

On the other hand, (39)

where the identity

${\mathrm{\Delta }}_{t}{\left(s-\rho \left(t\right)\right)}^{\overline{\alpha -1}}=-\left(\alpha -1\right){\left(s-\rho \left(t\right)\right)}^{\overline{\alpha -2}}$

and the convention that ${\left(0\right)}^{\overline{\alpha -1}}=0$ are used. □

Remark 2.2 Let $\alpha >0$ and $n=\left[\alpha \right]+1$. Then, by the help of Lemma 2.6, we can have

${}_{a}\mathrm{\Delta }_{b}{\mathrm{\nabla }}^{\alpha }f\left(t\right){=}_{a}{\mathrm{\Delta }}_{⊝}{\mathrm{\Delta }}^{n}{\left(}_{b}{\mathrm{\nabla }}^{-\left(n-\alpha \right)}f\left(t\right)\right){=}_{⊝}{\mathrm{\Delta }}^{n}{\left(}_{⊝}{\mathrm{\Delta }}_{b}{\mathrm{\nabla }}^{-\left(n-\alpha \right)}f\left(t\right)\right)$
(40)

or

${}_{⊝}\mathrm{\Delta }_{b}{\mathrm{\nabla }}^{\alpha }f\left(t\right){=}_{⊝}{\mathrm{\Delta }}^{n}{\left[}_{b}\mathrm{\nabla }^{-\left(n-\alpha \right)}{}_{⊝}\mathrm{\Delta }f\left(t\right)+\frac{{\left(b-t\right)}^{\overline{n-\alpha -1}}}{\mathrm{\Gamma }\left(n-\alpha \right)}f\left(b\right)\right].$
(41)

Then, using the identity

${}_{⊝}\mathrm{\Delta }^{n}\frac{{\left(b-t\right)}^{\overline{n-\alpha -1}}}{\mathrm{\Gamma }\left(n-\alpha \right)}=\frac{{\left(b-t\right)}^{\overline{-\alpha -1}}}{\mathrm{\Gamma }\left(-\alpha \right)},$
(42)

we infer that (35) is valid for any real α.

By the help of Lemma 2.6, Remark 2.2 and the identity $\mathrm{\Delta }{\left(b-t\right)}^{\overline{\alpha -1}}=-\left(\alpha -1\right){\left(b-t\right)}^{\overline{\alpha -2}}$, if we follow inductively, we arrive at the following generalization.

Theorem 2.7 For any real number α and any positive integer p, the following equality holds:

${}_{b}\mathrm{\nabla }^{-\alpha }{}_{⊝}{\mathrm{\Delta }}^{p}f\left(t\right){=}_{⊝}\mathrm{\Delta }^{p}{}_{b}{\mathrm{\nabla }}^{-\alpha }f\left(t\right)-\sum _{k=0}^{p-1}{\frac{{\left(b-t\right)}^{\overline{\alpha -p+k}}}{\mathrm{\Gamma }\left(\alpha +k-p+1\right)}}_{\ominus }{\mathrm{\Delta }}^{k}f\left(b\right),$
(43)

where f is defined on ${}_{b}\mathbb{N}$ and some points after b.

The following theorem modifies Theorem 2.5 when f is only defined at ${\mathbb{N}}_{a}$.

Theorem 2.8 For any real number α and any positive integer p, the following equality holds:

${\mathrm{\nabla }}_{a+p-1}^{-\alpha }{\mathrm{\nabla }}^{p}f\left(t\right)={\mathrm{\nabla }}^{p}{\mathrm{\nabla }}_{a+p-1}^{-\alpha }f\left(t\right)-\sum _{k=0}^{p-1}\frac{{\left(t-\left(a+p-1\right)\right)}^{\overline{\alpha -p+k}}}{\mathrm{\Gamma }\left(\alpha +k-p+1\right)}{\mathrm{\nabla }}^{k}f\left(a+p-1\right),$
(44)

where f is defined on only ${\mathbb{N}}_{a}$.

The proof follows by applying Remark 2.1 inductively.

Similarly, in the right case we have the following theorem.

Theorem 2.9 For any real number α and any positive integer p, the following equality holds:

${}_{b-p+1}\mathrm{\nabla }^{-\alpha }{}_{⊝}{\mathrm{\Delta }}^{p}f\left(t\right){=}_{⊝}\mathrm{\Delta }^{p}{}_{b-p+1}{\mathrm{\nabla }}^{-\alpha }f\left(t\right)-\sum _{k=0}^{p-1}{\frac{{\left(b-p+1-t\right)}^{\overline{\alpha -p+k}}}{\mathrm{\Gamma }\left(\alpha +k-p+1\right)}}_{\ominus }{\mathrm{\Delta }}^{k}f\left(b-p+1\right),$
(45)

where f is defined on ${}_{b}\mathbb{N}$ only.

## 3 Dual identities for right fractional sums and differences

The dual relations for left fractional sums and differences were investigated in . Indeed, the following two lemmas are dual relations between the delta left fractional sums (differences) and the nabla left fractional sums (differences).

Lemma 3.1 

Let $0\le n-1<\alpha \le n$ and let $y\left(t\right)$ be defined on ${\mathbb{N}}_{a}$. Then the following statements are valid.

(i) $\left({\mathrm{\Delta }}_{a}^{\alpha }\right)y\left(t-\alpha \right)={\mathrm{\nabla }}_{a}^{\alpha }y\left(t\right)$ for $t\in {\mathbb{N}}_{n+a}$.

(ii) $\left({\mathrm{\Delta }}_{a}^{-\alpha }\right)y\left(t+\alpha \right)={\mathrm{\nabla }}_{a}^{-\alpha }y\left(t\right)$ for $t\in {\mathbb{N}}_{a}$.

Lemma 3.2 

Let $0\le n-1<\alpha \le n$ and let $y\left(t\right)$ be defined on ${\mathbb{N}}_{\alpha -n}$. Then the following statements are valid.

(i) ${\mathrm{\Delta }}_{\alpha -n}^{\alpha }y\left(t\right)=\left({\mathrm{\nabla }}_{\alpha -n}^{\alpha }y\right)\left(t+\alpha \right)$ for $t\in {\mathbb{N}}_{-n}$.

(ii) ${\mathrm{\Delta }}_{\alpha -n}^{-\left(n-\alpha \right)}y\left(t\right)=\left({\mathrm{\nabla }}_{\alpha -n}^{-\left(n-\alpha \right)}y\right)\left(t-n+\alpha \right)$ for $t\in {\mathbb{N}}_{0}$.

We remind that the above two dual lemmas for left fractional sums and differences were obtained when the nabla left fractional sum was defined by

${\mathrm{\nabla }}_{a}^{-\alpha }f\left(t\right)=\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=a}^{t}{\left(t-\rho \left(s\right)\right)}^{\overline{\alpha -1}}f\left(s\right),\phantom{\rule{1em}{0ex}}t\in {\mathbb{N}}_{a}.$
(46)

Now, in a way analogous to Lemma 3.1 and Lemma 3.2, for the right fractional summations and differences, we obtain the following lemmas.

Lemma 3.3 Let $y\left(t\right)$ be defined on ${}_{b+1}\mathbb{N}$. Then the following statements are valid.

(i) ${\left(}_{b}{\mathrm{\Delta }}^{\alpha }\right)y\left(t+\alpha \right){=}_{b+1}{\mathrm{\nabla }}^{\alpha }y\left(t\right)$ for $t{\in }_{b-n}\mathbb{N}$.

(ii) ${\left(}_{b}{\mathrm{\Delta }}^{-\alpha }\right)y\left(t-\alpha \right){=}_{b+1}{\mathrm{\nabla }}^{-\alpha }y\left(t\right)$ for $t{\in }_{b}\mathbb{N}$.

Proof

We prove only (i). The proof of (ii) is similar and easier.

$\begin{array}{rcl}{\left(}_{b}{\mathrm{\Delta }}^{\alpha }\right)y\left(t+\alpha \right)& =& {\left(-1\right)}^{n}\mathrm{\nabla }^{n}{}_{b}{\mathrm{\Delta }}^{-\left(n-\alpha \right)}y\left(t+\alpha \right)\\ =& \frac{{\left(-1\right)}^{n}{\mathrm{\nabla }}^{n}}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t+n}^{b}{\left(s-t-1-\alpha \right)}^{\left(n-\alpha -1\right)}y\left(s\right)\\ =& \frac{{\left(-1\right)}^{n}{\mathrm{\Delta }}^{n}}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t}^{b}{\left(s-t-1+n-\alpha \right)}^{\left(n-\alpha -1\right)}y\left(s\right).\end{array}$
(47)

Using the identity ${t}^{\overline{\alpha }}={\left(t+\alpha -1\right)}^{\left(\alpha \right)}$, we arrive at

$\begin{array}{rcl}{\left(}_{b}{\mathrm{\Delta }}^{\alpha }\right)y\left(t+\alpha \right)& =& \frac{{\left(-1\right)}^{n}{\mathrm{\Delta }}^{n}}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t}^{b}{\left(s-\rho \left(t\right)\right)}^{\overline{n-\alpha -1}}y\left(s\right)\\ =& {\left(-1\right)}^{n}\mathrm{\Delta }^{n}{}_{b+1}{\mathrm{\nabla }}^{-\left(n-\alpha \right)}y\left(t\right){=}_{b+1}{\mathrm{\nabla }}^{\alpha }y\left(t\right).\end{array}$
(48)

□

Lemma 3.4 Let $0\le n-1<\alpha \le n$ and let $y\left(t\right)$ be defined on ${}_{n-\alpha }\mathbb{N}$. Then the following statements are valid.

(i)

${}_{n-\alpha }\mathrm{\Delta }^{\alpha }y\left(t\right){=}_{n-\alpha +1}{\mathrm{\nabla }}^{\alpha }y\left(t-\alpha \right),\phantom{\rule{1em}{0ex}}t{\in }_{n}\mathbb{N}.$

(ii)

${}_{n-\alpha }\mathrm{\Delta }^{-\left(n-\alpha \right)}y\left(t\right){=}_{n-\alpha +1}{\mathrm{\nabla }}^{-\left(n-\alpha \right)}y\left(t+n-\alpha \right),\phantom{\rule{1em}{0ex}}t{\in }_{0}\mathbb{N}.$

Proof

We prove (i), the proof of (ii) is similar. By the definition of right nabla difference, we have

$\begin{array}{rcl}{}_{n-\alpha +1}\mathrm{\nabla }^{\alpha }y\left(t-\alpha \right)& =& {}_{a}\mathrm{\Delta }^{n}\frac{1}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t-\alpha }^{n-\alpha }{\left(s-\rho \left(t-\alpha \right)\right)}^{\overline{n-\alpha -1}}y\left(s\right)\\ =& {}_{a}\mathrm{\Delta }^{n}\frac{1}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t-\alpha }^{n-\alpha }{\left(s-\rho \left(t-\alpha \right)\right)}^{\overline{n-\alpha -1}}y\left(s\right)\\ =& {\mathrm{\nabla }}_{b}^{n}\frac{1}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t+n-\alpha }^{n-\alpha }{\left(s-\rho \left(t+n-\alpha \right)\right)}^{\overline{n-\alpha -1}}y\left(s\right).\end{array}$
(49)

By using (9), it follows that

${}_{n-\alpha +1}\mathrm{\nabla }^{\alpha }y\left(t-\alpha \right)={\mathrm{\nabla }}_{b}^{n}\frac{1}{\mathrm{\Gamma }\left(n-\alpha \right)}\sum _{s=t+n-\alpha }^{n-\alpha }{\left(s-\sigma \left(t\right)\right)}^{\left(n-\alpha -1\right)}y\left(s\right){=}_{n-\alpha }{\mathrm{\Delta }}^{\alpha }y\left(t\right).$
(50)

□

Note that the above two dual lemmas for right fractional differences cannot be obtained if we apply the definition of the delta right fractional difference introduced in  and .

Lemma 3.5 

Let $\alpha >0$, $\mu >0$. Then

${}_{b-\mu }\mathrm{\Delta }^{-\alpha }{\left(b-t\right)}^{\left(\mu \right)}=\frac{\mathrm{\Gamma }\left(\mu +1\right)}{\mathrm{\Gamma }\left(\mu +\alpha +1\right)}{\left(b-t\right)}^{\left(\mu +\alpha \right)}.$
(51)

The following commutative property for delta right fractional sums is Theorem 9 in .

Theorem 3.6 Let $\alpha >0$, $\mu >0$. Then, for all t such that $t\equiv b-\left(\mu +\alpha \right)\phantom{\rule{0.25em}{0ex}}\left(mod1\right)$, we have

${}_{b}\mathrm{\Delta }^{-\alpha }{\left[}_{b}{\mathrm{\Delta }}^{-\mu }f\left(t\right)\right]{=}_{b}{\mathrm{\Delta }}^{-\left(\mu +\alpha \right)}f\left(t\right){=}_{b}{\mathrm{\Delta }}^{-\mu }{\left[}_{b}{\mathrm{\Delta }}^{-\alpha }f\left(t\right)\right],$
(52)

where f is defined on ${}_{b}\mathbb{N}$.

Proposition 3.7 Let f be a real-valued function defined on ${}_{b}\mathbb{N}$, and let $\alpha ,\beta >0$. Then

${}_{b}\mathrm{\nabla }^{-\alpha }{\left[}_{b}{\mathrm{\nabla }}^{-\beta }f\left(t\right)\right]{=}_{b}{\mathrm{\nabla }}^{-\left(\alpha +\beta \right)}f\left(t\right){=}_{b}{\mathrm{\nabla }}^{-\beta }{\left[}_{b}{\mathrm{\nabla }}^{-\alpha }f\left(t\right)\right].$
(53)

Proof

The proof follows by applying Lemma 3.3(ii) and Theorem 3.6 above. Indeed,

$\begin{array}{rcl}{}_{b}\mathrm{\nabla }^{-\alpha }{\left[}_{b}{\mathrm{\nabla }}^{-\beta }f\left(t\right)\right]& =& {}_{b}\mathrm{\nabla }^{-\alpha }{}_{b-1}{\mathrm{\Delta }}^{-\beta }f\left(t-\beta \right)\\ =& {}_{b-1}\mathrm{\Delta }^{-\alpha }{}_{b-1}{\mathrm{\Delta }}^{-\beta }f\left(t-\left(\alpha +\beta \right)\right)\\ =& {}_{b-1}\mathrm{\Delta }^{-\left(\alpha +\beta \right)}f\left(t-\left(\alpha +\mu \right)\right){=}_{b}{\mathrm{\nabla }}^{-\left(\alpha +\beta \right)}y\left(t\right).\end{array}$
(54)

□

The following power rule for nabla right fractional differences plays an important role.

Proposition 3.8 Let $\alpha >0$, $\mu >-1$. Then, for $t{\in }_{b}\mathbb{N}$, we have

${}_{b}\mathrm{\nabla }^{-\alpha }{\left(b-t\right)}^{\overline{\mu }}=\frac{\mathrm{\Gamma }\left(\mu +1\right)}{\mathrm{\Gamma }\left(\alpha +\mu +1\right)}{\left(b-t\right)}^{\overline{\alpha +\mu }}.$
(55)

Proof

By the dual formula (ii) of Lemma 3.3, we have

${}_{b}\mathrm{\nabla }^{-\alpha }{\left(b-t\right)}^{\overline{\mu }}{=}_{b-1}{\mathrm{\Delta }}^{-\alpha }{\left(b-r\right)}^{\overline{\mu }}{|}_{r=t-\alpha }=\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=t}^{b-1}{\left(s-t+\alpha -1\right)}^{\left(\alpha -1\right)}{\left(b-s\right)}^{\overline{\mu }}.$
(56)

Then, by the identity ${t}^{\overline{\alpha }}={\left(t+\alpha -1\right)}^{\left(\alpha -1\right)}$ and using the change of variable $r=s-\mu +1$, it follows that

$\begin{array}{rcl}{}_{b}\mathrm{\nabla }^{-\alpha }{\left(b-t\right)}^{\overline{\mu }}& =& \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{r=t-\mu +1}^{b-\mu }{\left(r-\sigma \left(t-\alpha -\mu +1\right)\right)}^{\left(\alpha -1\right)}{\left(b-r\right)}^{\overline{\mu }}\\ =& {\left(}_{b-\mu }{\mathrm{\Delta }}^{-\alpha }{\left(b-u\right)}^{\overline{\mu }}\right){|}_{u=-\alpha -\mu +1+t},\end{array}$
(57)

which, by Lemma 3.5, leads to

$\begin{array}{rcl}{}_{b}\mathrm{\nabla }^{-\alpha }{\left(b-t\right)}^{\overline{\mu }}& =& \frac{\mathrm{\Gamma }\left(\mu +1\right)}{\mathrm{\Gamma }\left(\alpha +\mu +1\right)}{\left(b-t+\alpha +\mu -1\right)}^{\left(\alpha +\mu \right)}\\ =& \frac{\mathrm{\Gamma }\left(\mu +1\right)}{\mathrm{\Gamma }\left(\alpha +\mu +1\right)}{\left(b-t\right)}^{\overline{\alpha +\mu }}.\end{array}$
(58)

□

Similarly, for the nabla left fractional sum, we can have the following power formula and exponent law.

Proposition 3.9 Let $\alpha >0$, $\mu >-1$. Then, for $t\in {\mathbb{N}}_{a}$, we have

${\mathrm{\nabla }}_{a}^{-\alpha }{\left(t-a\right)}^{\overline{\mu }}=\frac{\mathrm{\Gamma }\left(\mu +1\right)}{\mathrm{\Gamma }\left(\alpha +\mu +1\right)}{\left(t-a\right)}^{\overline{\alpha +\mu }}.$
(59)

Proposition 3.10 Let f be a real-valued function defined on ${\mathbb{N}}_{a}$, and let $\alpha ,\beta >0$. Then

${\mathrm{\nabla }}_{a}^{-\alpha }\left[{\mathrm{\nabla }}_{a}^{-\beta }f\left(t\right)\right]={\mathrm{\nabla }}_{a}^{-\left(\alpha +\beta \right)}f\left(t\right)={\mathrm{\nabla }}_{a}^{-\beta }\left[{\mathrm{\nabla }}_{a}^{-\alpha }f\left(t\right)\right].$
(60)

Proof The proof can be achieved as in Theorem 2.1 , by expressing the left-hand side of (60), interchanging the order of summation and using the power formula (59). Alternatively, the proof can be done by following the proof of Proposition 3.7 with the help of the dual formula for left fractional sum in Lemma 3.1 after its arrangement according to our definitions. □

## 4 Integration by parts for fractional sums and differences

In this section we state the integration by parts formulas for nabla fractional sums and differences obtained in , then use the dual identities to obtain delta integration by part formulas.

Proposition 4.1 

For $\alpha >0$, $a,b\in \mathbb{R}$, f defined on ${\mathbb{N}}_{a}$ and g defined on ${}_{b}\mathbb{N}$, we have

$\sum _{s=a+1}^{b-1}g\left(s\right){\mathrm{\nabla }}_{a}^{-\alpha }f\left(s\right)=\sum _{s=a+1}^{b-1}f{\left(s\right)}_{b}{\mathrm{\nabla }}^{-\alpha }g\left(s\right).$
(61)

Proof

By the definition of the nabla left fractional sum, we have

$\sum _{s=a+1}^{b-1}g\left(s\right){\mathrm{\nabla }}_{a}^{-\alpha }f\left(s\right)=\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{s=a+1}^{b-1}g\left(s\right)\sum _{r=a+1}^{s}{\left(s-\rho \left(r\right)\right)}^{\overline{\alpha -1}}f\left(r\right).$
(62)

If we interchange the order of summation, we reach (61). □

By the help of Theorem 2.5, Proposition 3.10, (17) and that ${\mathrm{\nabla }}_{a}^{-\left(n-\alpha \right)}f\left(a\right)=0$, the authors in  obtained the following left important tools which led to a nabla integration by parts formula for fractional differences.

Proposition 4.2 

For $\alpha >0$ and f defined in a suitable domain ${\mathbb{N}}_{a}$, we have (63) (64)

and

(65)

By the help of Theorem 2.7, Proposition 3.7, (18) and that ${}_{b}\mathrm{\nabla }^{-\left(n-\alpha \right)}f\left(b\right)=0$, the authors in  also obtained the following right important tool.

Proposition 4.3 

For $\alpha >0$ and f defined in a suitable domain ${}_{b}\mathbb{N}$, we have (66) (67)

and

(68)

Proposition 4.4 

Let $\alpha >0$ be non-integer and $a,b\in \mathbb{R}$ such that $a and $b\equiv a\phantom{\rule{0.25em}{0ex}}\left(mod1\right)$. If f is defined on ${}_{b}\mathbb{N}$ and g is defined on ${\mathbb{N}}_{a}$, then

$\sum _{s=a+1}^{b-1}f\left(s\right){\mathrm{\nabla }}_{a}^{\alpha }g\left(s\right)=\sum _{s=a+1}^{b-1}g{\left(s\right)}_{b}{\mathrm{\nabla }}^{\alpha }f\left(s\right).$
(69)

The proof was achieved by making use of Proposition 4.1 and the tools of Proposition 4.2 and Proposition 4.3.

Now, by the above nabla integration by parts formulas and the dual identities in Lemma 3.1 adjusted to our definitions and Lemma 3.3, we can obtain delta integration by parts formulas.

Proposition 4.5 Let $\alpha >0$, $a,b\in \mathbb{R}$ such that $a and $b\equiv a\phantom{\rule{0.25em}{0ex}}\left(mod1\right)$. If f is defined on ${\mathbb{N}}_{a}$ and g is defined on ${}_{b}\mathbb{N}$, then we have

$\sum _{s=a+1}^{b-1}g\left(s\right)\left({\mathrm{\Delta }}_{a+1}^{-\alpha }f\right)\left(s+\alpha \right)=\sum _{s=a+1}^{b-1}f{\left(s\right)}_{b-1}{\mathrm{\Delta }}^{-\alpha }g\left(s-\alpha \right).$
(70)

Proposition 4.6 Let $\alpha >0$ be non-integer and assume that $b\equiv a\phantom{\rule{0.25em}{0ex}}\left(mod1\right)$. If f is defined on ${}_{b}\mathbb{N}$ and g is defined on ${\mathbb{N}}_{a}$, then

$\sum _{s=a+1}^{b-1}f\left(s\right){\mathrm{\Delta }}_{a+1}^{\alpha }g\left(s-\alpha \right)=\sum _{s=a+1}^{b-1}g{\left(s\right)}_{b-1}{\mathrm{\Delta }}^{\alpha }f\left(s+\alpha \right).$
(71)

## 5 Higher-order fractional difference initial value problem within Riemann

Let $\alpha >0$ be non-integer, $n=\left[\alpha \right]+1$ and $a\left(\alpha \right)=a+n-1$. Consider the fractional initial difference equation

$\begin{array}{r}{\mathrm{\nabla }}_{a\left(\alpha \right)-1}^{\alpha }y\left(t\right)=f\left(t,y\left(t\right)\right),\phantom{\rule{1em}{0ex}}t=a\left(\alpha \right)+1,a\left(\alpha \right)+2,\dots ,\\ {\mathrm{\nabla }}_{a\left(\alpha \right)-1}^{-\left(n-\alpha \right)}y\left(t\right){|}_{t=a\left(\alpha \right)}=y\left(a\left(\alpha \right)\right)=c.\end{array}$
(72)

Apply the sum operator ${\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }$ to both sides of (72) to get

${\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }\left\{{\mathrm{\nabla }}_{a\left(\alpha \right)}^{\alpha }y\left(t\right)+{\mathrm{\nabla }}^{n}\frac{{\left(t-a\left(\alpha \right)+1\right)}^{\overline{n-\alpha -1}}}{\mathrm{\Gamma }\left(n-\alpha \right)}y\left(a\left(\alpha \right)\right)\right\}={\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }f\left(t,y\left(t\right)\right).$
(73)

Applying (64), we reach

$y\left(t\right)+{\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }{\mathrm{\nabla }}^{n}\frac{{\left(t-a\left(\alpha \right)+1\right)}^{\overline{n-\alpha -1}}}{\mathrm{\Gamma }\left(n-\alpha \right)}y\left(a\left(\alpha \right)\right)={\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }f\left(t,y\left(t\right)\right).$
(74)

Now, set ${g}_{\alpha }\left(t\right)=\frac{{\left(t-a\left(\alpha \right)+1\right)}^{\overline{n-\alpha -1}}}{\mathrm{\Gamma }\left(n-\alpha \right)}y\left(a\left(\alpha \right)\right)$, then by Theorem 2.8 with $p=n$ and $f\left(t\right)={g}_{\alpha }\left(t\right)$, we have

${\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }{\mathrm{\nabla }}^{n}{g}_{\alpha }\left(t\right)={\mathrm{\nabla }}^{n}{\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }{g}_{\alpha }\left(t\right)-\sum _{k=0}^{n-1}\frac{{\left(t-a\left(\alpha \right)\right)}^{\overline{\alpha -n+k}}}{\mathrm{\Gamma }\left(\alpha +k-n+1\right)}{\mathrm{\nabla }}^{k}{g}_{\alpha }\left(a\left(\alpha \right)\right).$
(75)

Noting that ${\mathrm{\nabla }}^{k}{g}_{\alpha }\left(a\left(\alpha \right)\right)=y\left(a\left(\alpha \right)\right)$ for $k=0,1,\dots ,n-1$, by the power formula (59), we conclude that

${\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }{\mathrm{\nabla }}^{n}{g}_{\alpha }\left(t\right)=0-{\mathrm{\nabla }}^{n}\frac{{\left(t-a\left(\alpha \right)+1\right)}^{\overline{\alpha -1}}y\left(a\left(\alpha \right)\right)}{\mathrm{\Gamma }\left(\alpha \right)}-\sum _{k=0}^{n-1}\frac{{\left(t-a\left(\alpha \right)\right)}^{\overline{\alpha -n+k}}}{\mathrm{\Gamma }\left(\alpha +k-n+1\right)}y\left(a\left(\alpha \right)\right).$
(76)

Then the substitution in (74) will lead to the following solution representation:

$y\left(t\right)={\mathrm{\nabla }}^{n}\frac{{\left(t-a\left(\alpha \right)+1\right)}^{\overline{\alpha -1}}y\left(a\left(\alpha \right)\right)}{\mathrm{\Gamma }\left(\alpha \right)}+\sum _{k=0}^{n-1}\frac{{\left(t-a\left(\alpha \right)\right)}^{\overline{\alpha -n+k}}}{\mathrm{\Gamma }\left(\alpha +k-n+1\right)}c+{\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }f\left(t,y\left(t\right)\right).$
(77)

As a particular case, if $0<\alpha <1$, then $a\left(\alpha \right)=a$ and hence

$y\left(t\right)=\frac{{\left(t-a+1\right)}^{\overline{\alpha -1}}}{\mathrm{\Gamma }\left(\alpha \right)}y\left(a\right)+{\mathrm{\nabla }}_{a}^{-\alpha }f\left(t,y\left(t\right)\right),$
(78)

which is the result obtained in .

If $1<\alpha <2$, then $n=2$ and $a\left(\alpha \right)=a+1$ and the initial value problem (72) becomes

$\begin{array}{r}{\mathrm{\nabla }}_{a}^{\alpha }y\left(t\right)=f\left(t,y\left(t\right)\right),\phantom{\rule{1em}{0ex}}t=a+2,a+3,\dots ,\\ {\mathrm{\nabla }}_{a}^{-\left(2-\alpha \right)}y\left(t\right){|}_{t=a+1}=y\left(a+1\right)=c.\end{array}$
(79)

From (77), the solution is

$y\left(t\right)=\frac{{\left(t-a\right)}^{\overline{\alpha -3}}c}{\mathrm{\Gamma }\left(\alpha -2\right)}+\frac{{\left(t-a-1\right)}^{\overline{\alpha -2}}c}{\mathrm{\Gamma }\left(\alpha -1\right)}+\frac{{\left(t-a-1\right)}^{\overline{\alpha -1}}c}{\mathrm{\Gamma }\left(\alpha \right)}+{\mathrm{\nabla }}_{a+1}^{-\alpha }f\left(t,y\left(t\right)\right).$
(80)

Combining the first two terms then

$y\left(t\right)=\frac{{\left(t-a\right)}^{\overline{\alpha -2}}c}{\mathrm{\Gamma }\left(\alpha -1\right)}+\frac{{\left(t-a-1\right)}^{\overline{\alpha -1}}c}{\mathrm{\Gamma }\left(\alpha \right)}+{\mathrm{\nabla }}_{a+1}^{-\alpha }f\left(t,y\left(t\right)\right).$
(81)

Again combining, we reach

$y\left(t\right)=\frac{{\left(t-a\right)}^{\overline{\alpha -1}}c}{\mathrm{\Gamma }\left(\alpha \right)}+{\mathrm{\nabla }}_{a+1}^{-\alpha }f\left(t,y\left(t\right)\right).$
(82)

If we proceed inductively, we can state the following.

Theorem 5.1 Let $\alpha >0$ be non-integer, $n=\left[\alpha \right]+1$ and $a\left(\alpha \right)=a+n-1$. Then the solution of the fractional initial difference equation

$\begin{array}{r}{\mathrm{\nabla }}_{a\left(\alpha \right)-1}^{\alpha }y\left(t\right)=f\left(t,y\left(t\right)\right),\phantom{\rule{1em}{0ex}}t=a\left(\alpha \right)+1,a\left(\alpha \right)+2,\dots ,\\ {\mathrm{\nabla }}_{a\left(\alpha \right)-1}^{-\left(n-\alpha \right)}y\left(t\right){|}_{t=a\left(\alpha \right)}=y\left(a\left(\alpha \right)\right)=c,\end{array}$
(83)

is given by

$y\left(t\right)=\frac{{\left(t-a\left(\alpha \right)+1\right)}^{\overline{\alpha -1}}c}{\mathrm{\Gamma }\left(\alpha \right)}+{\mathrm{\nabla }}_{a\left(\alpha \right)}^{-\alpha }f\left(t,y\left(t\right)\right).$
(84)

The surprise in Theorem 5.1 is that the higher-order Riemann fractional difference initial value problem of non-integer order needs only one initial condition which is not the case for the higher-order difference equation (i.e., of positive integer order). Also, the solution consists of two terms, which is not the case for fractional Cauchy problems into Riemann.

## 6 The Q-operator and fractional difference equations

If $f\left(s\right)$ is defined on ${\mathbb{N}}_{a}{\cap }_{b}\mathbb{N}$ and $a\equiv b\phantom{\rule{0.25em}{0ex}}\left(mod1\right)$, then $\left(Qf\right)\left(s\right)=f\left(a+b-s\right)$. The Q-operator generates a dual identity by which the left-type and the right-type fractional sums and differences are related. Using the change of variable $u=a+b-s$, in  it was shown that

${\mathrm{\Delta }}_{a}^{-\alpha }Qf\left(t\right)={Q}_{b}{\mathrm{\Delta }}^{-\alpha }f\left(t\right),$
(85)

and hence

${\mathrm{\Delta }}_{a}^{\alpha }Qf\left(t\right)=\left({Q}_{b}{\mathrm{\Delta }}^{\alpha }f\right)\left(t\right).$
(86)

The proof of (86) follows by the definition, (85) and by noting that

$-Q\mathrm{\nabla }f\left(t\right)=\mathrm{\Delta }Qf\left(t\right).$

Similarly, in the nabla case, we have

${\mathrm{\nabla }}_{a}^{-\alpha }Qf\left(t\right)={Q}_{b}{\mathrm{\nabla }}^{-\alpha }f\left(t\right),$
(87)

and hence

${\mathrm{\nabla }}_{a}^{\alpha }Qf\left(t\right)=\left({Q}_{b}{\mathrm{\nabla }}^{\alpha }f\right)\left(t\right).$
(88)

The proof of (88) follows by the definition, (87) and that

$-Q\mathrm{\Delta }f\left(t\right)=\mathrm{\nabla }Qf\left(t\right).$

It is remarkable to mention that the Q-dual identity (86) cannot be obtained if the definition of the delta right fractional difference introduced by Bastos et al. in  or by Atıcı et al. in  is used. Thus, the definition introduced in  and  is more convenient. Analogously, the Q-dual identity (88) indicates that the nabla right Riemann fractional differences presented in this article are also more convenient.

It is clear from the above argument that the Q-operator agrees with its continuous counterpart when applied to left and right fractional Riemann integrals Riemann derivatives. More generally, this discrete version of the Q-operator can be used to transform the discrete delay-type fractional functional difference dynamic equations to advanced ones. For details in the continuous counterparts, see .

## References

1. Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.

2. Samko G, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon; 1993.

3. Kilbas A, Srivastava MH, Trujillo JJ North Holland Mathematics Studies 204. Theory and Application of Fractional Differential Equations 2006.

4. Agrawal OP, Baleanu D: A Hamiltonian formulation and a direct numerical scheme for fractional optimal control problems. J. Vib. Control 2007, 13(9-10):1269-1281. 10.1177/1077546307077467

5. Scalas E: Mixtures of compound Poisson processes as models of tick-by-tick financial data. Chaos Solitons Fractals 2007, 34(1):33-40. 10.1016/j.chaos.2007.01.047

6. Baleanu D, Trujillo JJ: On exact solutions of a class of fractional Euler-Lagrange equations. Nonlinear Dyn. 2008, 52(4):331-335. 10.1007/s11071-007-9281-7

7. Miller KS, Ross B: Fractional difference calculus. Proceedings of the International Symposium on Univalent Functions, Fractional Calculus and Their Applications, Nihon University, Koriyama, Japan 1989, 139-152.

8. Gray HL, Zhang NF: On a new definition of the fractional difference. Math. Comput. 1988, 50(182):513-529. 10.1090/S0025-5718-1988-0929549-2

9. Abdeljawad T: On Riemann and Caputo fractional differences. Comput. Math. Appl. 2011, 62(3):1602-1611. 10.1016/j.camwa.2011.03.036

10. Atıcı FM, Eloe PW: A transform method in discrete fractional calculus. Int. J. Differ. Equ. 2007, 2(2):165-176.

11. Atıcı FM, Eloe PW: Initial value problems in discrete fractional calculus. Proc. Am. Math. Soc. 2009, 137: 981-989.

12. Atıcı FM, Eloe PW: Discrete fractional calculus with the nabla operator. Electron. J. Qual. Theory Differ. Equ. 2009., 2009: Article ID 3 (Spec. Ed. I)

13. Atıcı FM, Şengül S: Modelling with fractional difference equations. J. Math. Anal. Appl. 2010, 369: 1-9. 10.1016/j.jmaa.2010.02.009

14. Bastos NRO, Ferreira RAC, Torres DFM: Discrete-time fractional variational problems. Signal Process. 2011, 91(3):513-524. 10.1016/j.sigpro.2010.05.001

15. Abdeljawad T, Baleanu D: Fractional differences and integration by parts. J. Comput. Anal. Appl. 2011, 13(3):574-582.

16. Anastassiou GA: Principles of delta fractional calculus on time scales and inequalities. Math. Comput. Model. 2010, 52: 556-566. 10.1016/j.mcm.2010.03.055

17. Anastassiou GA: Nabla discrete calculus and nabla inequalities. Math. Comput. Model. 2010, 51: 562-571. 10.1016/j.mcm.2009.11.006

18. Anastassiou GA: Foundations of nabla fractional calculus on time scales and inequalities. Comput. Math. Appl. 2010, 59: 3750-3762. 10.1016/j.camwa.2010.03.072

19. Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.

20. Abdeljawad T, Atıcı F: On the definitions of nabla fractional operators. Abstr. Appl. Anal. 2012., 2012: Article ID 406757. doi:10.1155/2012/406757

21. Boros G, Moll V: Irresistible Integrals: Symbols, Analysis and Experiments in the Evaluation of Integrals. Cambridge University Press, Cambridge; 2004.

22. Graham RL, Knuth DE, Patashnik O: Concrete Mathematics. A Foundation for Computer Science. 2nd edition. Addison-Wesley, Reading; 1994.

23. Spanier J, Oldham KB: The Pochhammer Polynomials \$(x)_{n}\$(x)n. An Atlas of Functions. Hemisphere, Washington; 1987:149-156.

24. Atıcı FM, Eloe PW: Gronwall’s inequality on discrete fractional calculus. Comput. Math. Appl. 2012, 64(10):3193-3200. doi:10.1016/j.camwa.2011.11.029 10.1016/j.camwa.2011.11.029

25. Abdeljawad Maraaba T, Baleanu D, Jarad F: Existence and uniqueness theorem for a class of delay differential equations with left and right Caputo fractional derivatives. J. Math. Phys. 2008., 49: Article ID 083507

## Author information

Authors

### Competing interests

The author declares that he has no competing interests.

## Rights and permissions

Reprints and Permissions

Abdeljawad, T. Dual identities in fractional difference calculus within Riemann. Adv Differ Equ 2013, 36 (2013). https://doi.org/10.1186/1687-1847-2013-36

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1847-2013-36

### Keywords

• right (left) delta and nabla fractional sums
• right (left) delta and nabla Riemann
• Q-operator
• dual identity 