Skip to main content

Advertisement

Monotonicity results for fractional difference operators with discrete exponential kernels

Article metrics

  • 896 Accesses

  • 22 Citations

Abstract

We prove that if the Caputo-Fabrizio nabla fractional difference operator \(({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}y)(t)\) of order \(0<\alpha\leq1\) and starting at \(a-1\) is positive for \(t=a,a+1,\ldots\) , then \(y(t)\) is α-increasing. Conversely, if \(y(t)\) is increasing and \(y(a)\geq0\), then \(({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}y)(t)\geq0\). A monotonicity result for the Caputo-type fractional difference operator is proved as well. As an application, we prove a fractional difference version of the mean-value theorem and make a comparison to the classical discrete fractional case.

Introduction

The fractional calculus was successfully used during the last few years in many branches of engineering and science [15]. The core ideas of this type of nonlocal calculus were applied successfully to the so-called discrete fractional calculus (DFC) [618]. This new direction initiated about a decade ago is in continuous evolution, and it started recently to be considered as a powerful tool to extract new insides of the dynamics of complex discrete dynamical systems. The discrete diffusion equation within discrete Riesz derivative is one of the new results reported very recently [19, 20]. Therefore, the DFC is a natural generalization of the classical discrete ones. Very recently, Caputo and Fabrizio [21] introduced a new fractional derivative based on a nonsingular kernel. The discrete version of this operator was reported in [22]. In our opinion, the existence of various types of memory kernels increases the chances to formulate adequately different types of models where different types of memory appear. Very recently, some authors investigated the monotonicity properties of discrete functions via their discrete fractional operators. Some authors studied the monotonicity analysis of delta- or nabla-type fractional difference operators of order \(0<\alpha<1\) (see [23]), whereas others studied fractional difference operators of order \(\alpha>1\) [2427]. These new results motivate us to discuss in this paper the monotonicity results for this nabla discrete fractional operator with discrete exponential kernel and compare them to the discrete classical ones. The fractional differences under consideration in this paper have kernels different from classical nabla fractional differences with kernels depending on the rising factorial powers, and we believe that they bring new kernels with new memories, which may be of different interest for applications.

Preliminaries

For two real numbers \(a< b\) with \(a\equiv b\) (mod 1), we denote \(\mathbb{N}_{a}=\{a,a+1,\ldots\}\), \({}_{b}\mathbb{N}= \{b,b-1,\ldots\}\), and \(\mathbb{N}_{a,b}=\mathbb{N}_{a} \cap{}_{b}\mathbb{N}=\{a,a+1,\ldots ,b\}\). For details about concepts of discrete fractional calculus, we refer the reader to the nice text book [28].

Using the time scale notation, the nabla discrete exponential kernel can be expressed as \(\widehat{e}_{\lambda}(t,\rho(s))=(\frac{1}{1-\lambda })^{t-\rho(s)}=(1-\alpha)^{t-\rho(s)}\) [29], where \(\lambda= \frac{-\alpha}{1-\alpha}\). The following discrete versions were proposed in [22]:

Definition 1

[22]

For \(\alpha\in(0,1)\) and f defined on \(\mathbb{N}_{a}\), or \({}_{b}\mathbb{N}\) in right case, we have the following definitions:

  • The left (nabla) new Caputo fractional difference is given by

    $$\begin{aligned} \bigl({}^{\mathrm{CFC}}_{a}\nabla^{\alpha}f\bigr) (t) =& \frac{B(\alpha)}{1-\alpha}\sum_{s=a+1}^{t}( \nabla_{s} f) (s) (1-\alpha)^{t-\rho(s)} \\ =& B(\alpha)\sum_{s=a+1}^{t}( \nabla_{s} f) (s) (1-\alpha)^{t-s}. \end{aligned}$$
    (1)
  • The right (nabla) new Caputo fractional difference is given by

    $$\begin{aligned} \bigl({}^{\mathrm{CFC}}\nabla^{\alpha}_{b} f\bigr) (t) =& \frac{B(\alpha)}{1-\alpha}\sum_{s=t}^{b-1}(- \Delta_{s} f) (s) (1-\alpha)^{s-\rho(t)} \\ =& B(\alpha)\sum_{s=t}^{b-1}(- \Delta_{s} f) (s) (1-\alpha)^{s-t}. \end{aligned}$$
    (2)
  • The left (nabla) new Riemann fractional difference is given by

    $$\begin{aligned} \bigl({}^{\mathrm{CFR}} _{a}\nabla^{\alpha}f\bigr) (t) =& \frac{B(\alpha)}{1-\alpha}\nabla _{t}\sum_{s=a+1}^{t} f(s) (1-\alpha)^{t-\rho(s)} \\ =& B(\alpha)\nabla_{t} \sum_{s=a+1}^{t} f(s) (1-\alpha)^{t-s}. \end{aligned}$$
    (3)
  • The right (nabla) new Riemann fractional difference is given by

    $$\begin{aligned} \bigl({}^{\mathrm{CFR}}\nabla^{\alpha}_{b} f\bigr) (t) =& \frac{B(\alpha)}{1-\alpha}(-\Delta _{t})\sum_{s=t}^{b-1} f(s) (1-\alpha)^{s-\rho(t)} \\ =& B(\alpha) (-\Delta_{t})\sum_{s=t}^{b-1}f(s) (1-\alpha)^{s-t}, \end{aligned}$$
    (4)

where \(B(\alpha)\) is a normalizing positive constant depending on α and satisfying \(B(0)= B(1)=1\).

Remark 1

[22]

In the limiting cases \(\alpha\rightarrow 0\) and \(\alpha\rightarrow1\), we remark the following:

  • $$\bigl({}^{\mathrm{CFC}} _{a}\nabla^{\alpha}f\bigr) (t) \rightarrow f(t)-f(a)\quad \mbox{as } \alpha\rightarrow0, $$

    and

    $$\bigl({}^{\mathrm{CFC}} _{a}\nabla^{\alpha}f\bigr) (t) \rightarrow\nabla f(t) \quad\mbox{as } \alpha\rightarrow1. $$
  • $$\bigl({}^{\mathrm{CFC}}\nabla^{\alpha}_{b} f\bigr) (t) \rightarrow f(t)-f(b) \quad\mbox{as } \alpha \rightarrow0, $$

    and

    $$\bigl({}^{\mathrm{CFC}}\nabla^{\alpha}_{b} f\bigr) (t) \rightarrow-\Delta f(t) \quad\mbox{as } \alpha\rightarrow1. $$
  • $$\bigl({}^{\mathrm{CFR}} _{a}\nabla^{\alpha}f\bigr) (t) \rightarrow f(t)\quad \mbox{as } \alpha \rightarrow0, $$

    and

    $$\bigl({}^{\mathrm{CFR}} _{a}\nabla^{\alpha}f\bigr) (t) \rightarrow\nabla f(t)\quad \mbox{as } \alpha\rightarrow1. $$
  • $$\bigl({}^{\mathrm{CFR}}\nabla^{\alpha}_{b} f\bigr) (t) \rightarrow f(t) \quad\mbox{as } \alpha \rightarrow0, $$

    and

    $$\bigl({}^{\mathrm{CFR}}\nabla^{\alpha}_{b} f\bigr) (t) \rightarrow-\Delta f(t) \quad\mbox{as } \alpha\rightarrow1. $$

Remark 2

[22] (the action of the discrete Q-operator)

The Q-operator acts regularly between left and right new fractional differences as follows:

  • \((Q{}^{\mathrm{CFR}} _{a}\nabla^{\alpha}f)(t)= ({}^{\mathrm{CFR}}\nabla^{\alpha}_{b} Qf)(t)\),

  • \((Q{}^{\mathrm{CFC}} _{a}\nabla^{\alpha}f)(t)= ({}^{\mathrm{CFC}}\nabla^{\alpha}_{b} Qf)(t)\),

where \((Qf)(t)=f(a+b-t)\).

Definition 2

[22]

For \(0<\alpha<1\) and \(u:\mathbb {N}_{a}\rightarrow\mathbb{R}\), \(a< b\), \(a\equiv b\) (mod 1), we define:

  • the corresponding left fractional sum by

    $$ \bigl({}^{\mathrm{CF}} _{a}\nabla^{-\alpha} u \bigr) (t)=\frac{1-\alpha}{B(\alpha)}u(t)+\frac {\alpha}{B(\alpha)}\sum _{s=a+1}^{t}u(s)\,ds; $$
    (5)
  • the right fractional sum by

    $$ \bigl({}^{\mathrm{CF}}\nabla^{-\alpha}_{b} u\bigr) (t)=\frac{1-\alpha}{B(\alpha)}u(t)+\frac {\alpha}{B(\alpha)}\sum_{s=t}^{b-1}u(s)\,ds. $$
    (6)

In [22], it was shown that \(({}^{\mathrm{CF}} _{a}\nabla^{-\alpha }{}^{\mathrm{CF}} _{a}\nabla^{\alpha}f)(t)=f(t)\) and \(({}^{\mathrm{CF}}\nabla^{-\alpha }_{b}{}^{\mathrm{CF}}\nabla_{b}^{\alpha}f)(t)=f(t)\). Also, it was shown that \(({}^{\mathrm{CF}} _{a}\nabla^{\alpha}{}^{\mathrm{CF}} _{a}\nabla^{-\alpha}f)(t)=f(t)\) and \(({}^{\mathrm{CF}}\nabla_{b}^{\alpha}{}^{\mathrm{CF}}\nabla^{-\alpha}_{b}f)(t)=f(t)\).

Proposition 1

[22] (the relation between Riemann- and Caputo-type fractional differences with exponential kernels)

  • \(({}^{\mathrm{CFC}}_{a}\nabla^{\alpha}f)(t)=({}^{\mathrm{CFR}}_{a}\nabla^{\alpha}f)(t)-\frac{B(\alpha)}{1-\alpha} f(a)(1-\alpha)^{t-a}\);

  • \(({}^{\mathrm{CFC}}\nabla_{b}^{\alpha}f)(t)=({}^{\mathrm{CFR}}\nabla_{b}^{\alpha}f)(t)-\frac {B(\alpha)}{1-\alpha} f(b)(1-\alpha)^{b-t}\).

Some parts of the following lemma are essential to proceed.

Lemma 1

For \(0<\alpha<1\) and g defined on \(\mathbb{N}_{a}\), we have:

  1. (i)
    $$ \bigl({}^{\mathrm{CF}}_{a}\nabla^{-\alpha} (1- \alpha)^{t}\bigr) (t)=\frac{(1-\alpha )^{a+1}}{B(\alpha)}; $$
    (7)
  2. (ii)

    \(\nabla_{s} (1-\alpha)^{t-s}=\alpha(1-\alpha)^{t-s}\);

  3. (iii)

    \(({}^{\mathrm{CF}} _{a}\nabla^{-\alpha} \nabla g)(t)=(\nabla {}^{\mathrm{CF}}_{a}\nabla^{-\alpha} g)(t)-\frac{\alpha}{B(\alpha)} g(a)\);

  4. (iv)

    \(\nabla(1-\alpha)^{t} =-\alpha(1-\alpha)^{t-1}\);

  5. (v)

    \(({}^{\mathrm{CFR}} _{a}\nabla^{\alpha} (1-\alpha)^{t})(t)=B(\alpha )(1-\alpha)^{t-1}[1-\alpha(t-a)]\);

  6. (vi)

    \(({}^{\mathrm{CFR}} _{a}\nabla^{\alpha} 1)(t)=B(\alpha) (1-\alpha )^{t-a-1}\).

Proof

We just give the proof of (i), (iii), (v), and (vi). The other parts are direct and easy.

  • The proof of (i):

    $$\begin{aligned} \bigl({}^{\mathrm{CF}}_{a}\nabla^{-\alpha} (1- \alpha)^{t}\bigr) (t) =& \frac{1-\alpha }{B(\alpha)}(1-\alpha)^{t}+ \frac{\alpha}{B(\alpha)}\sum_{s=a+1}^{t} (1- \alpha)^{s} \\ =&\frac{1-\alpha}{B(\alpha)}(1-\alpha)^{t}+ \frac{\alpha}{B(\alpha )}(1- \alpha)^{a+1} \frac{1- (1-\alpha)^{t-a}}{1-(1-\alpha)} \\ =& \frac{1}{B(\alpha)} \bigl[(1-\alpha)^{t+1}+(1- \alpha)^{a+1}-(1-\alpha )^{t+1}\bigr] \\ =&\frac{(1-\alpha)^{a+1}}{B(\alpha)}. \end{aligned}$$
    (8)
  • The proof of (iii):

    $$\begin{aligned} \bigl({}^{\mathrm{CF}} _{a}\nabla^{-\alpha} \nabla g \bigr) (t) =& \frac{1-\alpha}{B(\alpha )} \nabla g(t)+\frac{\alpha}{B(\alpha)}\sum _{s=a+1}^{t} \nabla g(s) \\ =& \frac{1-\alpha}{B(\alpha)} \nabla g(t)+ \frac{\alpha}{B(\alpha)} \bigl[g(t)-g(a) \bigr] \\ =& \nabla\Biggl[\frac{1-\alpha}{B(\alpha)} g(t)+\frac{\alpha}{B(\alpha)} \sum _{s=a+1}^{t} g(s)\Biggr]-\frac{\alpha}{B(\alpha)}g(a) \\ =& \bigl(\nabla{}^{\mathrm{CF}}_{a}\nabla^{-\alpha} g\bigr) (t)-\frac{\alpha}{B(\alpha)} g(a). \end{aligned}$$
  • The proof of (v): By (iv) we have

    $$\begin{aligned} \bigl({}^{\mathrm{CFR}} _{a}\nabla^{\alpha} (1- \alpha)^{t}\bigr) (t) =& B(\alpha) \nabla\sum _{s=a+1}^{t} (1-\alpha)^{t-s}(1- \alpha)^{s} \\ =& B(\alpha) \nabla\bigl[(t-a) (1-\alpha)^{t}\bigr]\\ =&B( \alpha)\bigl[(1-\alpha )^{t-1}-\alpha(t-a) (1-\alpha)^{t-1} \bigr] \\ =& B(\alpha) (1-\alpha)^{t-1}\bigl[1-\alpha(t-a)\bigr]. \end{aligned}$$
    (9)
  • The proof of (vi):

    $$\begin{aligned} \bigl({}^{\mathrm{CFR}} _{a}\nabla^{\alpha} 1\bigr) (t) =& B(\alpha)\nabla_{t} \sum_{s+a+1}^{t} (1-\alpha)^{t-s} \\ =& B(\alpha) \Biggl[1+ \sum_{s=a+1}^{t-1} \nabla_{t} (1-\alpha)^{t-s}\Biggr] \\ =& B(\alpha) \Biggl[1-\alpha\sum_{s=a+1}^{t-1} (1-\alpha)^{t-1-s}\Biggr] =B(\alpha) \Biggl[1-\alpha\sum _{i=0}^{t-a-2}(1-\alpha)^{i}\Biggr] \\ =& B(\alpha) \biggl[1-\alpha\frac{1-(1-\alpha)^{t-a-1}}{1-(1-\alpha)}\biggr]\\ =& B(\alpha) (1- \alpha)^{t-a-1}. \end{aligned}$$
    (10)

 □

Definition 3

See also [23]

Let \(y:\mathbb{N}_{a}\rightarrow\mathbb{R}\) be a function satisfying \(y(a) \geq0\). Then y is called an α-increasing function on \(\mathbb{N}_{a}\) if

$$y(t+1)\geq\alpha y(t) \quad\mbox{for all } t \in\mathbb{N}_{a}. $$

Note that if y is increasing on \(\mathbb{N}_{a}\), then y is an α-increasing function on \(\mathbb{N}_{a}\), and if \(\alpha=1\), then the increasing and α-increasing concepts coincide.

Definition 4

See also [23]

Let \(y:\mathbb{N}_{a}\rightarrow\mathbb{R}\) be a function satisfying \(y(a) \leq0\). Then y is called an α-decreasing function on \(\mathbb{N}_{a}\), if

$$y(t+1)\leq\alpha y(t) \quad\mbox{for all } t \in\mathbb{N}_{a}. $$

Note that if y is decreasing on \(\mathbb{N}_{a}\), then y is an α-decreasing function on \(\mathbb{N}_{a}\), and if \(\alpha=1\), then the decreasing and α-decreasing concepts coincide.

The monotonicity results

Theorem 1

Let \(y:\mathbb{N}_{a-1}\rightarrow\mathbb{R}\). Suppose that, for \(0<\alpha\leq1\),

$$\bigl({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}y\bigr) (t)\geq0, \quad t \in\mathbb{N}_{a-1}. $$

Then \(y(t)\) is α-increasing.

Proof

Rewrite \(({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}y)(t)=B(\alpha) \nabla S(t)\), where \(S(t)= \sum_{s=a}^{t} y(s)(1-\alpha)^{t-s}\). By the assumption we have

$$ S(t)-S(t-1)=y(t)-\frac{\alpha}{1-\alpha}\sum _{s=a}^{t-1} y(s) (1-\alpha )^{t-s}\geq0. $$
(11)

Substituting \(t=a\) into (11), we see that \(y(a)\geq0\). Substituting \(t=a+1\) into (11), we get

$$y(a+1)-\frac{\alpha}{1-\alpha}y(a) (1-\alpha)=y(a+1)-\alpha y(a)\geq0, $$

and hence \(y(a+1)\geq\alpha y(a)\geq0\). We shall proceed by induction on \(t \in\mathbb{N}_{a}\). Assume that \(y(i+1)\geq\alpha y(i)\geq0\) for all \(i< t\). Let us show that \(y(t+1)\geq\alpha y(t)\). Replacing t with \(t+1\) in (11), we have

$$y(t+1) \geq\frac{\alpha}{1-\alpha}\bigl[(1-\alpha)^{t+1-a}y(a)+ (1-\alpha )^{t-a}y(a+1)+\cdots+(1-\alpha)y(t)\bigr], $$

or

$$y(t+1) \geq\bigl[\alpha(1-\alpha)^{t-a}y(a)+\alpha(1-\alpha )^{t-a-1}y(a+1)+\cdots+ \alpha y(t)\bigr]\geq\alpha y(t), $$

which completes the proof. □

Using Proposition 1 and Theorem 1, we can state the following Caputo fractional difference monotonicity result.

Theorem 2

Let a function \(y:\mathbb{N}_{a-1}\rightarrow\mathbb{R}\) satisfy \(y(a) \geq0\). Suppose that, for \(0<\alpha\leq1\),

$$\bigl({}^{\mathrm{CFC}}_{a-1}\nabla^{\alpha}y\bigr) (t)\geq \frac{-B(\alpha)}{1-\alpha} f(a-1) (1-\alpha)^{t-a+1},\quad t\in\mathbb{N}_{a-1}. $$

Then \(y(t)\) is α-increasing.

Theorem 3

Let a function \(y:\mathbb{N}_{a-1}\rightarrow\mathbb{R}\) satisfy \(y(a) \geq0\) and be increasing on \(\mathbb{N}_{a}\). Then, for \(0<\alpha \leq1\),

$$\bigl({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}y\bigr) (t)\geq0,\quad t \in\mathbb{N}_{a-1}. $$

Proof

Again, rewriting \(({}^{\mathrm{CFR}} _{a-1}\nabla^{\alpha}y)(t)=B(\alpha) \nabla S(t)\), where \(S(t)= \sum_{s=a}^{t} y(s)(1-\alpha)^{t-s}\), it suffices to show that \(S(t)\) is increasing on \(\mathbb{N}_{a}\). Substituting \(t=a\) into (11) implies that \(S(a)- S(a-1)=y(a)\geq0\) by assumption. Assume that \(S(i)-S(i-1)\geq0\) for all \(i< t\). We shall show that \(S(t)-S(t-1)\geq0\). By the assumption that y is increasing we conclude that \(y(t)\geq y(t-1)\geq y(a)\geq0\) for all \(t =a+k\in \mathbb{N}_{a}\). Now, we have

$$\begin{aligned} S(t)-S(t-1) =& y(t)-\frac{\alpha}{1-\alpha}\sum _{s=a}^{t-1}y(s) (1-\alpha)^{t-s} \\ =& y(t)-\alpha y(t-1)-\frac{\alpha}{1-\alpha}\sum _{s=a}^{t-2}y(s) (1-\alpha)^{t-s} \\ =& y(t)-\alpha y(t-1) \\ &{}-\frac{\alpha}{1-\alpha} \Biggl[\sum_{s=a}^{t-2} \bigl(y(s)-y(t-1)\bigr) (1-\alpha)^{t-s} +\sum _{s=a}^{t-2}y(t-1) (1-\alpha)^{t-s} \Biggr] \\ \geq& y(t)-\alpha y(t-1)-\frac{\alpha}{1-\alpha}\sum _{s=a}^{t-2}y(t-1) (1-\alpha)^{t-s} \\ =& y(t)- y(t-1) +y(t-1)-\frac{\alpha}{1-\alpha}y(t-1)\sum _{s=a}^{t-1}(1-\alpha)^{t-s} \\ \geq& y(t-1) \Biggl[1-\frac{\alpha}{1=\alpha}\sum _{s=a}^{t-1}(1-\alpha )^{t-s} \Biggr] \\ =& y(t-1) \Biggl[1-\alpha(1-\alpha)^{k}\sum _{s=1}^{k}(1-\alpha )^{-s} \Biggr] \\ =& y(t-1) (1-\alpha)^{k}\geq0, \end{aligned}$$
(12)

which completes the proof. □

Similarly, can prove the following result.

Theorem 4

Let a function \(y:\mathbb{N}_{a-1}\rightarrow\mathbb{R}\) satisfy \(y(a)>0\) and be strictly increasing on \(\mathbb{N}_{a}\). Then, for \(0<\alpha\leq1\),

$$\bigl({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}y\bigr) (t)> 0,\quad t\in \mathbb{N}_{a-1}. $$

The following results can also be proved in a similar way.

Theorem 5

Let a function \(y:\mathbb{N}_{a-1}\rightarrow\mathbb{R}\) satisfy \(y(a) \leq0\). Suppose that, for \(0<\alpha\leq1\),

$$\bigl({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}y\bigr) (t)\leq0,\quad t \in\mathbb{N}_{a-1}. $$

Then \(y(t)\) is α-decresing.

Theorem 6

Let a function \(y:\mathbb{N}_{a-1}\rightarrow\mathbb{R}\) satisfy \(y(a) \leq0\) and be decreasing on \(\mathbb{N}_{a}\). Then, for \(0<\alpha \leq1\),

$$\bigl({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}y\bigr) (t)\leq0,\quad t \in\mathbb{N}_{a-1}. $$

Application: mean value theorem

We know that \(({}^{\mathrm{CF}}_{a}\nabla^{-\alpha}{}^{\mathrm{CFR}}_{a}\nabla^{\alpha}y)(t)=y(t)\). However, the next result, which provides an initial condition \(y(a)\), will be a tool to prove our fractional difference mean value theorem.

Theorem 7

For \(0<\alpha\leq1\), we have

$$ \bigl({}^{\mathrm{CF}}_{a}\nabla^{-\alpha}{}^{\mathrm{CFR}}_{a-1} \nabla^{\alpha}y\bigr) (t)=y(t)-\alpha y(a). $$
(13)

Proof

By definition and Lemma 1 we have

$$\begin{aligned} \bigl({}^{\mathrm{CF}}_{a}\nabla^{-\alpha}{}^{\mathrm{CFR}} _{a-1}\nabla^{\alpha}y\bigr) (t) =& {}^{\mathrm{CF}}_{a} \nabla^{-\alpha}\Biggl[B(\alpha) \nabla_{t} \sum _{s=a}^{t} y(s) (1-\alpha)^{t-s} \Biggr] \\ =& B(\alpha){}^{\mathrm{CF}}_{a}\nabla^{-\alpha} \nabla_{t}\Biggl[y(a) (1-\alpha )^{t-a}+\sum _{s=a+1}^{t} f(s) (1-\alpha)^{t-s} \Biggr] \\ =& B(\alpha) y(a) (1-\alpha)^{-a}{}^{\mathrm{CF}}_{a} \nabla^{-\alpha} \nabla (1-\alpha)^{t}+{}^{\mathrm{CF}}_{a} \nabla^{-\alpha}{}^{\mathrm{CF}}_{a}\nabla^{\alpha}y(t) \\ =& -\alpha B(\alpha) y(a) (1-\alpha)^{-a}{}^{\mathrm{CF}} _{a}\nabla^{-\alpha} (1-\alpha)^{t-1}+y(t) \\ =& y(t)-\alpha y(a). \end{aligned}$$

The proof is completed. □

Theorem 8

The fractional difference MVT

Let f and g be functions defined on \(\mathbb{N}_{a,b}\), where \(a \equiv b\) (mod 1). Assume that g is strictly increasing and \(\alpha\in(0,1)\). Then, there exist \(s_{1},s_{2} \in\mathbb {N}_{a,b}\) such that

$$ \frac{({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}f)(s_{1})}{({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}g)(s_{1})}\leq\frac{f(b)-\alpha f(a)}{g(b)-\alpha g(a)}\leq\frac {({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}f)(s_{2})}{({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}g)(s_{2})}. $$
(14)

Proof

We follow by contradiction. Suppose (14) is not true. Then, either

$$ \frac{f(b)-\alpha f(a)}{g(b)-\alpha g(a)}> \frac{({}^{\mathrm{CFR}}_{a-1}\nabla ^{\alpha}f)(t)}{({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}g)(t)}\quad \mbox{for all } t \in \mathbb{N}_{a,b}, $$
(15)

or

$$ \frac{f(b)-\alpha f(a)}{g(b)-\alpha g(a)}< \frac{({}^{\mathrm{CFR}}_{a-1}\nabla ^{\alpha}f)(t)}{({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}g)(t)}\quad \mbox{for all } t \in \mathbb{N}_{a,b}. $$
(16)

Since g is strictly increasing, by Theorem 4 we conclude that \(({}^{\mathrm{CFR}}_{a}\nabla^{\alpha}g)(t)>0\). Hence, (15) becomes

$$\frac{f(b)-\alpha f(a)}{g(b)-\alpha g(a)}\bigl({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}g \bigr) (t) > \bigl({}^{\mathrm{CFR}}_{a-1}\nabla^{\alpha}f\bigr) (t). $$

Applying the fractional sum operator evaluated at \(t=b\) to both sides of the last inequality and using (13) in Theorem 7 lead to

$$f(b)-\alpha f(a)> f(b)-\alpha f(a), $$

which is a contradiction. In a similar way, we can show that (16) leads to a contradiction. This completes the proof. □

Remark 3

  • Since \(\alpha<1\) and g is strictly increasing, clearly, the quantity \(g(b)-\alpha g(a)\) in Theorem 8 is not equal to zero.

  • The corresponding coefficient of \(g(b)-\alpha g(a)\) in the classical discrete fractional calculus in case of delta analysis is of the form \(g(b)-\frac{\Gamma(b-a+\alpha)}{\Gamma(\alpha)\Gamma (b-a+1)}g(a)\) [23], where both \(\frac{\Gamma(b-a+\alpha )}{\Gamma(\alpha)\Gamma(b-a+1)}\) and α tend to 1 as \(\alpha \rightarrow1\). The coefficient in this paper for discrete fractional differences with discrete exponential kernels is simpler, free of \(\Gamma(\alpha)\), and does not depend on the end points a and b. This reflects the absence of the memory in the corresponding fractional sum.

  • The results in this paper can be carried over the right fractional case by using the action of the Q-operator.

References

  1. 1.

    Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)

  2. 2.

    Samko, G, Kilbas, AA, Marichev, S: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach, Yverdon (1993)

  3. 3.

    Kilbas, AA, Srivastava, MH, Trujillo, JJ: Theory and Application of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. North-Holland, Amsterdam (2006)

  4. 4.

    Magin, RL: Fractional Calculus in Bioengineering. Begell House Publishers, Danbury (2006)

  5. 5.

    Bozkurt, F, Abdeljawad, T, Hajji, MA: Stability analysis of a fractional order differential equation model of a brain tumor growth depending on the density. Appl. Comput. Math. 14(1), 50-62 (2015)

  6. 6.

    Abdeljawad, T: On Riemann and Caputo fractional differences. Comput. Math. Appl. 62(3), 1602-1611 (2011)

  7. 7.

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

  8. 8.

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

  9. 9.

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

  10. 10.

    Atıcı, FM, Şengül, S: Modelling with fractional difference equations. J. Math. Anal. Appl. 369, 1-9 (2010)

  11. 11.

    Miller, KS, Ross, B: Fractional difference calculus. In: Proceedings of the International Symposium on Univalent Functions, Fractional Calculus and Their Applications, pp. 139-152 (1989)

  12. 12.

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

  13. 13.

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

  14. 14.

    Gray, HL, Zhang, NF: On a new definition of the fractional difference. Math. Comput. 50(182), 513-529 (1988)

  15. 15.

    Abdeljawad, T, Atici, F: On the definitions of nabla fractional differences. Abstr. Appl. Anal. 2012, Article ID 406757 (2012). doi:10.1155/2012/406757

  16. 16.

    Abdeljawad, T: On delta and nabla Caputo fractional differences and dual identities. Discrete Dyn. Nat. Soc. 2013, Article ID 406910 (2013)

  17. 17.

    Abdeljawad, T: Dual identities in fractional difference calculus within Riemann. Adv. Differ. Equ. 2013, Article ID 36 (2013)

  18. 18.

    Abdeljawad, T, Jarad, F, Baleanu, D: A semigroup-like property for discrete Mittag-Leffler functions. Adv. Differ. Equ. 2012, Article ID 72 (2012)

  19. 19.

    Wu, GC, Baleanu, D, Zeng, SD, Deng, ZG: Discrete fractional diffusion equation. Nonlinear Dyn. 80, 281-286 (2015)

  20. 20.

    Wu, GC, Baleanu, D, Zeng, SD: Several fractional differences and their applications to discrete maps. J. Appl. Nonlinear Dyn. 4, 339-348 (2015)

  21. 21.

    Caputo, M, Fabrizio, M: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73-85 (2015)

  22. 22.

    Abdeljawad, T, Baleanu, D: On fractional derivatives with exponential kernel and their discrete versions. arXiv:1606.07958 (2016). To appear in Rep. Math. Phys.

  23. 23.

    Atıcı, FM, Uyanik, M: Analysis of discrete fractional operators. Appl. Anal. Discrete Math. 9, 139-149 (2015)

  24. 24.

    Dahal, R, Goodrich, CS: A monotonicity result for discerete fractional difference operators. Arch. Math. (Basel) 102, 293-299 (2014)

  25. 25.

    Jia, B, Erbe, L, Peterson, A: Two monotonicity results for nabla and delta fractional differences. Arch. Math. (Basel) 104(6), 589-597 (2015). doi:10.1007/s00013-015-0765-2

  26. 26.

    Erbe, L, Goodrich, CS, Jia, B, Peterson, A: Survey of the qualitative properties of fractional difference operators: monotonicity, convexity, and asymptotic behavior of solutions. Adv. Differ. Equ. 2016, Article ID 43 (2016). doi:10.1186/s13662-016-0760-3

  27. 27.

    Goodrich, CS: A convexity result for fractional differences. Appl. Math. Lett. 35, 58-62 (2014)

  28. 28.

    Goodrich, C, Peterson, AC: Discrete Fractional Calculus. Springer, Berlin (2015). doi:10.1007/978-3-319-25562-0

  29. 29.

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

Download references

Author information

Correspondence to Dumitru Baleanu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors have equal contributions. Both authors read and approved the final form of the manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Keywords

  • discrete exponential kernel
  • Caputo fractional difference
  • Riemann fractional difference
  • discrete fractional mean value theorem