Theory and Modern Applications

Survey of the qualitative properties of fractional difference operators: monotonicity, convexity, and asymptotic behavior of solutions

Abstract

In this article we discuss some of the qualitative properties of fractional difference operators. We especially focus on the connections between the fractional difference operator and the monotonicity and convexity of functions. In the integer-order setting, these connections are elementary and well known. However, in the fractional-order setting the connections are very complicated and muddled. We survey some of the known results and suggest avenues for future research. In addition, we discuss the asymptotic behavior of solutions to fractional difference equations and how the nonlocal structure of the fractional difference can be used to deduce these asymptotic properties.

1 Introduction and preliminaries

1.1 The integer-order calculus

Consider a map $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$, where we put $$\mathbb{N}_{a}:=\{a,a+1,a+2,\dots\}$$. A well-known operation on f is the forward difference operator Î”, which is defined by

$$\Delta f(t):=f(t+1)-f(t),\quad t\in\mathbb{N}_{a}.$$
(1.1)

In some sense this can be thought of as a discrete form of the ordinary derivative of a function. In particular, (1.1) computes the amount of change in f as we move the time point from t to $$t+1$$. An important feature of the forward difference operator is its local structure. By this we mean that in (1.1) only the time points t and $$t+1$$ are considered. Thus, the behavior of f at earlier points or later points is ignored and plays no role whatsoever in the computation of $$\Delta f(t)$$.

This, of course, is similar to the ordinary derivative of a map $$f : X\subseteq\mathbb{R}\rightarrow\mathbb{R}$$, with X open. Given $$c\in X$$ at which $$f'$$ exists, we have

$$f'(c):=\lim_{x\to c}\frac{f(x)-f(c)}{x-c}.$$

So, again, $$f'(c)$$ really only considers the local behavior of f near the point $$x=c$$.

Although perhaps taken for granted, one very important consequence of this local nature of the preceding operators is that the operators possess a strong connection to the monotone behavior of f. In particular, as every first semester calculus student learns, given a differentiable function $$f : X\subset\mathbb{R}\rightarrow\mathbb {R}$$, it is geometrically obvious that if $$f'(x)>0$$ for all x in some open set $$U\Subset X$$, then it follows that f is increasing on UÌ…. More precisely, the mean value theorem establishes this connection rigorously. The situation in the discrete case is even more transparent, for if $$\Delta f(t)\ge0$$, say for $$t\in\mathbb{N}_{a}$$, then we immediately obtain $$f(t+1)\ge f(t)$$, for each $$t\in\mathbb{N}_{a}$$, whence f is increasing on $$\mathbb{N}_{a}$$. Hence, here we do not even need a deep result from analysis such as the mean value theorem.

Similarly, as one also learns in first semester calculus, there is a deep connection between whether a function may be classified as convex or concave and the associated behavior ofÂ $$f''$$. Thus, for example, we know that if $$f''(x)>0$$ for all x in the domain of f, then f is a convex mapping, whereas if $$f''(x)<0$$ on the domain of f, then f is a concave mapping. Convexity and concavity are very important ideas; it is well known that, for example, convex maps behave much more nicely than a â€˜typicalâ€™ function. Moreover, convex and concave maps obey important inequalities such as, for example, Jensenâ€™s inequality. As yet another example, if one has a map $$f : \Omega\times\mathbb {R}^{N}\times\mathbb{R}^{N\times n}$$ with $$\Omega\subseteq\mathbb {R}^{n}$$ open and bounded and one wishes to minimize the map

$$J[u;\Omega]:= \int_{\Omega}f(x,u,Du) \,dx$$

among all maps u in the Sobolev space $$W^{1,p}(\Omega)$$, then a typical assumption (among others) to ensure the existence of a minimizer is the convexity of the partial map $$\xi\mapsto f(\cdot,\cdot,\xi)$$. All in all, then, the connection between $$f''$$ and the convexity or concavity of f is an indispensable one in both pure and applied mathematics.

In the discrete case, as with monotonicity, the relationship is ever more transparent. Indeed, if we have $$\Delta^{2}y(t)>0$$, then obviously

$$\Delta^{2}y(t)=\Delta y(t+1)-\Delta y(t)>0,$$

which means that the map $$t\mapsto\Delta y(t)$$ is increasing. As such, by definition we recover immediately that y is a convex map. All in all, we thus recover a connection between convexity and the sign of the second-order difference map $$t\mapsto\Delta^{2}y(t)$$.

1.2 The fractional-order calculus: the delta difference case

Recently there has been much interest in a â€˜fractionalizedâ€™ version of (1.1). In this setting we allow for the order of the difference to be a real number that is not necessarily an integer. While our interest in this survey will mostly be confined to the pure mathematical interest in this generalization, suffice it to say there are applicative reasons to consider a fractional difference operator - for example, the reader may consult the article by Atici and ÅžengÃ¼l [1], which details some possible applications of discrete fractional differences to tumor modeling, wherein the authors use the order of the fractional difference to modulate their growth model so as to better align with collected data.

While there are many possible definitions of the discrete fractional difference in use, one of the more common ones is the so-called Riemann-Liouville forward fractional difference. It is defined by first defining a fractional sum. To accomplish this, we give the following definition.

Definition 1.1

We define

$$t^{\underline{r}}:=\frac{\Gamma(t+1)}{\Gamma(t+1-r)}$$

for all values of t and r for which the right-hand side above is well defined. Moreover, in the case where $$t+1-r$$ is a pole of the gamma function but $$t+1$$ is not, we declare $$t^{\underline{r}}:=0$$.

Example 1.2

Note that

$$\biggl(\frac{1}{2} \biggr)^{\underline{\frac{3}{4}}}=\frac{\Gamma (\frac{3}{2} )}{\Gamma (\frac{3}{4} )}= \frac{1}{2\sqrt {2\pi}}\Gamma \biggl(\frac{1}{4} \biggr).$$

Also note that by convention we have

$$\nu^{\underline{\nu+1}}:=0,$$

for any $$\nu\in\mathbb{R}\setminus\{\dots,-2,-1\}$$. Another useful identity, which is easy to establish, is

$$\nu^{\underline{\nu}}=\Gamma(\nu+1).$$

With DefinitionÂ 1.1 in hand, we then can define the fractional sum and difference. First we define the map $$h_{\nu}$$ by

$$h_{\nu}(t,s):=\frac{(t-s)^{\underline{\nu}}}{\Gamma(\nu+1)}.$$

We call this map the Î½th order fractional Taylor monomial based at s. The Î½th order fractional sum and difference are then defined as follows.

Definition 1.3

Assume that $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ and $$\nu>0$$. Then we define the Î½th order fractional sum (based at a) of f by

$$\Delta_{a}^{-\nu}f(t):= \int_{a}^{t-\nu+1}h_{\nu-1}(t,\tau+1)f(\tau) \Delta\tau=\sum_{\tau=a}^{t-\nu}h_{\nu-1}(t, \tau+1)f(\tau),$$
(1.2)

for each $$t\in\mathbb{N}_{a+\nu}$$.

Definition 1.4

Let $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ and $$\nu>0$$. Define $$N\in \mathbb{N}$$ to be the unique positive integer satisfying $$N-1<\nu<N$$. Then the Î½th fractional difference is defined by

$$\Delta_{a}^{\nu}f(t):=\Delta^{N} \Delta_{a}^{-(N-\nu)}f(t),$$
(1.3)

for each $$t\in\mathbb{N}_{a+N-\nu}$$.

A very important point regarding DefinitionÂ 1.4 is that the domain of the map $$t\mapsto\Delta_{a}^{\nu}f(t)$$ is different from the domain of the map $$t\mapsto f(t)$$. This is (to those familiar with the discrete fractional calculus) the well-known domain shifting peculiarity of the forward fractional difference. To emphasize this point going forward, let us make the following remark.

Remark 1.5

As DefinitionÂ 1.4 demonstrates, by definition, the fractional forward difference shifts the domain of f from $$\mathbb {N}_{a}$$ to $$\mathbb{N}_{a+N-\nu}$$. On the one hand, this is really just a minor irritation and causes little more than bookkeeping difficulties when analyzing fractional differences. On the other hand, as we shall see later the nabla (i.e., backward) fractional difference does not possess this peculiarity, and, as such, it is suggestive of some dissimilarities between the forward and backward fractional differences and their associated operational properties. We shall see this more fully later.

The key fact that we wish to emphasize at this juncture regarding (1.2) is the nonlocal nature of the fractional difference. Indeed, observe that since

\begin{aligned} \Delta_{a}^{-\nu}f(t)&=\sum _{\tau=a}^{t-\nu}h_{\nu-1}(t,\tau+1)f(\tau)\\ &=h_{\nu-1}(t,a+1)f(a)+h_{\nu-1}(t,a+2)f(a+1)+ \cdots+h_{\nu-1}(t,t-\nu +1)f(t-\nu), \end{aligned}

it follows that the value of the map $$t\mapsto\Delta_{a}^{-\nu}f(t)$$ at each $$t\in\mathbb{N}_{a+\nu}$$ is, in fact, a linear combination of the collection $$\{f(a),f(a+1),\dots,f(t-\nu) \}$$. In particular, the Î½th order difference of f at time t depends on the value of f at all previous times. This observation is why we often remark that the fractional difference has a â€˜memoryâ€™ property, for it, in some mathematical sense, recalls and weights the values of f at all previous time points when â€˜determiningâ€™ the value of the fractional difference at a fixed time.

We cannot emphasize enough in what bold relief this stands against the classical (i.e., integer-order) difference defined in (1.1). Indeed, this implicit nonlocal structure is responsible not only for the mathematical interest of the discrete fractional difference but also its tremendous complexity. In particular, because we take rather for granted the implication that $$\Delta y(t)\ge0$$ implies that y is increasing, it is all too easy to forget what a strong role the local nature of the integer-order operator plays in facilitating the proof of that result (or the analogous result regarding $$f'$$, for that matter). By introducing the nonlocal structure, it turns out that things are no longer so simple and straightforward. Indeed, as we shall quickly see in SectionÂ 2, the connection, for example, between the sign of $$\Delta_{a}^{\nu}f(t)$$, in the case $$1<\nu<2$$, and the monotone behavior of f is quite muddled, complex, and even, at times, unexpected. All of this is due to the nonlocal nature of the fractional difference.

1.3 The fractional-order calculus: the nabla difference case

Having provided some of the basics of the fractional delta difference in the preceding subsection, in this subsection we provide some basic details regarding the nabla or, if one prefers, backward fractional difference. While constructed in an evidently similar way with respect to the fractional delta difference, in the end we shall see some key, and, indeed, perhaps unexpected, dissimilarities between the two operators.

Therefore, to begin let us first recall the integer-order nabla difference. For a function $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ we define the nabla (or backward) difference map of f, denoted $$\nabla f(t)$$, by

$$\nabla f(t):=f(t)-f(t-1), \quad t\in\mathbb{N}_{a+1}.$$

Thus, in the integer-order setting we see that ostensibly there is little difference between the nabla and delta differences. As we shall see later in this survey, in the fractional-order setting things are not so simple.

The fractional-order nabla difference and sum are defined in a manner analogous with the delta fractional difference. In particular, we first introduce a suitable Taylor monomial, and then use this to construct the associated nabla difference and sum. In particular, let us make the following definition, which is analogous with DefinitionÂ 1.1.

Definition 1.6

The (generalized) rising function is defined by

$$t^{\overline{r}}:=\frac{\Gamma(t+r)}{\Gamma(t)}$$

for those values of t and r so that the right-hand side of this equation is sensible. Also, we use the convention that if t is a nonpositive integer, but $$t+r$$ is not a nonpositive integer, then $$t^{\overline{r}}:=0$$.

We then can define the nabla fractional Taylor monomial functions as follows.

Definition 1.7

The nabla Taylor monomials based at a, denoted $$H_{r}(t,a)$$, $$r\neq -1,-2, -3,\ldots$$â€‰, are defined by

$$H_{r}(t,a):=\frac{(t-a)^{\overline{r}}}{\Gamma(r+1)},$$

whenever the right-hand side of this equation makes sense.

Finally, using Definitions 1.6-1.7 we can define a fractional nabla difference and sum.

Definition 1.8

Let $$f : \mathbb{N}_{a+1}\rightarrow\mathbb{R}$$ be given and assume that $$\mu>0$$. Then we define the Î¼th order nabla fractional sum, denoted $$\nabla_{a}^{-\mu}f(t)$$, by

$$\nabla_{a}^{-\mu}f(t):= \int_{a}^{t}H_{\mu-1}(t,s-1)f(s) \nabla s,$$

for $$t\in\mathbb{N}_{a}$$. By convention we put

$$\nabla_{a}^{-\mu}f(a):=0.$$

Definition 1.9

Let $$f : \mathbb{N}_{a+1}\rightarrow\mathbb{R}$$ be given and assume that $$\nu\in\mathbb{R}^{+}$$. Select N to be the unique number such that $$N-1<\nu\le N$$. Then we define the Î½th order nabla fractional difference, denoted $$\nabla_{a}^{\nu}f(t)$$, by

$$\nabla_{a}^{\nu}f(t):=\nabla^{N} \nabla_{a}^{-(N-\nu)}f(t),$$

for $$t\in\mathbb{N}_{a+N}$$.

We would like to note, as this will be important later in SectionÂ 2.2, that Erbe et al. have noticed (see [2]) that the form of $$\nabla_{a}^{\nu}$$ in DefinitionÂ 1.9 can be written in a slightly different and sometimes more useful way. We state this result next as LemmaÂ 1.10.

Lemma 1.10

Assume that $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ and let $$\nu\in (0,+\infty)\setminus\mathbb{N}_{1}$$ be given. Choose $$N\in\mathbb{N}_{1}$$ such that $$N-1<\nu<N$$. Then

$$\nabla_{a}^{\nu}f(t)= \int_{a}^{t}H_{-\nu-1}(t,\tau-1)f(\tau) \nabla \tau ,$$

for $$t\in\mathbb{N}_{a+1}$$.

Once again, a cursory examination of Definitions 1.8-1.9 reveals that much like the fractional delta difference and sum, the fractional nabla difference and sum are nonlocal operators. In particular, we note that

$$\nabla_{a}^{-\mu}f(t)= \int_{a}^{t}H_{\mu-1}(t,s-1)f(s) \nabla s= \sum_{\tau =a+1}^{t}H_{\mu-1}(t,s-1)f(s).$$
(1.4)

Thus, (1.4) demonstrates that the nabla fractional sum $$\nabla _{a}^{-\mu}f(t)$$ involves the values of f from the collection $$\{ f(a+1),f(a+2),\dots,f(t) \}$$. Consequently, we again have a memory property since the operator in (1.4) weights all of the previous values of f and, in particular, weights these by means of the nabla Taylor monomials. As we shall see in Sections 2, 3, and 4, this nonlocal structure then greatly affects and complicates the analysis of these operators.

There is a second important point worth making regarding Definitions 1.8-1.9 as compared to Definitions 1.3-1.4. Notice that the fractional nabla sum and difference do not induce a domain shift in the way that the fractional delta sum and difference induce. Practically this means that if f is defined on $$\mathbb{N}_{a}$$, then so, too, is the map $$t\mapsto\nabla_{a}^{-\mu}f(t)$$. Thus, at least in this one sense, nabla fractional operators are somewhat easier to work with than their delta counterparts. As we go through the remainder of this survey we shall see some additional dissimilarities between these two operators, particularly as concerns their relationship to monotonicity and convexity.

1.4 Overview of the article

As suggested in the previous subsections, our goal in this article is to survey some recent results in the theory of the fractional difference calculus. Especially we are concerned with a couple of aspects of this theory - namely,

• the relationship between the sign of the fractional difference and monotonicity and convexity; and

• asymptotic behavior of solutions to fractional difference equations.

In particular, one of the chief goals of this survey is to illustrate how the nonlocal structure present in (1.2)-(1.3) seriously complicates and confounds the relationship between the sign of $$\Delta_{a}^{\nu}f(t)$$ and the monotonicity (in the case $$1<\nu<2$$) and convexity (in the case $$2<\nu<3$$) of f. As we shall see and as we have suggested to the reader earlier in this section, these relationships in the fractional setting are rather complicated and frankly nontrivial. And properties and relationships that we rather take for granted in the integer-order setting may fail to hold in the fractional-order setting.

All in all, then, the outline of the remainder of this survey is as follows. In SectionÂ 2 we provide an up-to-date treatment of the relationship between $$\Delta_{a}^{\nu}f(t)$$ and $$\nabla_{a}^{\nu}f(t)$$, in the case where $$1<\nu<2$$, and the associated monotone behavior of the map $$t\mapsto f(t)$$. We mention both the results in the delta case and the nabla case. In SectionÂ 3 we then conduct the same sort of study, but here we focus on the relationship between these operators and the convexity or concavity of the map f; thus, here we shall focus on the setting where $$2<\nu<3$$. Once again, we treat both the delta and the nabla cases. Finally, in SectionÂ 4 we demonstrate how these operators induce certain asymptotic properties in the solutions of fractional initial value problems.

For the most part in our discussion we eschew the proofs of the relevant results since we wish here to give the reader a broad overview of the current frontier of this area of research. Nonetheless, we do, at times, provide some of the proofs in order to illustrate, broadly speaking, the techniques that are utilized to establish the results; we hope this will be of interest to readers wishing to contribute to this area. In any case, for more details on the proofs of these results, the interested reader can consult either the relevant papers, which we cite, or ChapterÂ 7 of the textbook by Goodrich and Peterson [3].

Finally, we wish to conclude our introduction by highlighting some relevant articles for the interested reader, who wishes to go beyond the introduction provided by this survey. There are a great many articles nowadays on discrete fractional calculus; here we briefly recall a few of these, and we then direct the reader to the relevant references in these articles for additional reading.

First of all, for a general overview of the discrete fractional calculus, together with substantial background on the integer-order difference calculus, we direct the interested reader to the textbook by Goodrich and Peterson [3]. This book contains not only a treatment of the integer- and fractional-order discrete calculus on the time scale $$\mathbb{Z}$$ with both delta and nabla differences, but also contains a treatment of the well-known q-calculus as well as the so-called mixed time scales. Of particular relevance, a greatly expanded discussion of fractional Taylor monomials is contained in the book.

Second of all, regarding research articles, depending upon oneâ€™s interest there are a great many relevant articles that have appeared in the past five to ten years. After the initial work of Atici and Eloe [4â€“7], which served to pique mathematiciansâ€™ interest in discrete fractional calculus, a number of subsequent works have appeared. For example, if one wishes to delve further into the operational properties of the discrete fractional calculus, one can consult the papers by Anastassiou [8â€“16], Atici and Acar [17], Atici and Eloe [4â€“6, 18, 19], Atici and Uyanik [20], Baoguo et al. [21, 22], Jia et al. [2, 23, 24], ÄŒermÃ¡k and NechvÃ¡tal [25], ÄŒermÃ¡k et al. [26], Dahal and Goodrich [27, 28], Ferreira [29], Goodrich [30, 31], and Holm [32]. Ahrendt et al. [33] and Holm [34] have considered the Laplace transform and its application in various discrete fractional problems. On the other hand, for those interested in the development and analysis of boundary and initial value problems with fractional differences, one may consult, for example, the works by Agarwal et al. [35], Atici and Eloe [7, 36], Awasthi [37, 38], Aswathi et al. [39], Baleanu et al. [40], Dahal et al. [41], Ferreira [42], Ferreira and Goodrich [43, 44], Goodrich [45â€“54], He et al. [55], Holm [56], Lv et al. [57], and Sitthiwirattham et al. [58], and Sitthiwirattham [59]. There are also some papers detailing extensions of the fractional calculus on the time scale $$\mathbb{Z}$$ to other time scales, and one may consult Bastos et al. [60], Ferreira [61, 62], Ferreira and Torres [63], and Graef and Kong [64]. Consideration of various inequalities in the discrete fractional calculus (e.g., GrÃ¼ss- and Gronwall-type inequalities) have been considered by Akin et al. [65], GÃ¼venilir et al. [66], and Xu and Zhang [67]. Very recently Jia et al. have investigated asymptotic behavior of solutions to initial value problems in discrete fractional calculus [68â€“70]. Finally, there has recently been some interesting attempts to investigate the chaotic behavior of fractional discrete dynamical systems, and the paper by Wu and Baleanu [71] may be consulted to see the directions that this research has taken.

All in all, then, there is a wide and growing body of literature on discrete fractional calculus. In particular, the nonlocal structure of the fractional operators induce substantial difficulties in their analysis and significant dissimilarities in comparison with their integer-order counterparts. Therefore, we believe that this will continue to be a wellspring of interesting mathematics in the foreseeable future. We hope that this paper serves as an invitation for additional researchers to join us in investigating this surprisingly complex and subtle area of analysis.

2 Monotonicity

2.1 Results for the delta fractional difference

As mentioned in SectionÂ 1, the following is a well-known fact in the difference calculus, and indeed requires almost no effort to prove.

Proposition 2.1

Let $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$. Then $$\Delta y(t)\ge0$$ for each $$t\in\mathbb{N}_{a}$$ if and only if y is increasing on $$\mathbb{N}_{a}$$.

In light of this, a natural question is whether such a result holds in the discrete fractional setting. In particular, we might wonder whether the following statement is true: â€˜If $$1<\nu<2$$ and $$\Delta_{a}^{\nu }y(t)\ge0$$ for each $$t\in\mathbb{N}_{a+N-\nu}$$, then y is increasing on $$\mathbb{N}_{a}$$.â€™ As it turns out, the answer to this seemingly innocuous conjecture is rather complicated and subtle.

The first researchers to consider this question were Dahal and Goodrich. They obtained the following result, which can be seen as a partial affirmative answer to the preceding question. In order to illustrate to the reader the method of proof utilized by Dahal and Goodrich, we provide the proof in full. This will also illustrate the seriously complicating effect of the nonlocal structure of the fractional difference. We also point out that the statement and proof of this result may also be found in [27], TheoremÂ 2.2, and [3], TheoremÂ 7.2. Prior to stating and proving the monotonicity result, we need to recall a preliminary lemma, which is due to Holm [32] and is of independent interest.

Lemma 2.2

Let $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ and $$\nu>0$$. Assume that N is the unique positive integer such that $$N-1<\nu<N$$. Then

$$\Delta_{a}^{\nu}f(t)= \int_{a}^{t+\nu+1}h_{-\nu-1}(t,\tau+1)f(\tau) \Delta \tau$$

for each $$t\in\mathbb{N}_{a+N-\nu}$$.

Theorem 2.3

Let $$y : \mathbb{N}_{0}\rightarrow\mathbb{R}$$ be a nonnegative function satisfying $$y(0)=0$$. Fix $$\nu\in(1,2)$$ and suppose that $$\Delta _{0}^{\nu}y(t)\ge0$$ for each $$t\in\mathbb{N}_{2-\nu}$$. Then y is increasing on $$\mathbb{N}_{0}$$.

Proof

The manner in which Dahal and Goodrich proved this result was by the principle of strong induction. So, we follow the same method here.

First of all, it is easy to observe that the base case holds somewhat trivially since we calculate

$$y(1)-y(0)=y(1)\ge0,$$

due to the fact that $$y(0)=0$$, by assumption, and the fact that $$y(1)\ge 0$$, also by assumption. Therefore, it remains to complete the induction step.

To this end, fix $$k\in\mathbb{N}$$ and suppose that

$$y(i)-y(i-1)\ge0$$

for each $$i\in\mathbb{N}_{1}^{k-1}$$. By assumption we have $$\Delta _{0}^{\nu}y(t)\ge0$$ for each $$t\in\mathbb{N}_{2-\nu}$$. Combining this with LemmaÂ 2.2 we obtain, for fixed $$k\in\mathbb{N}$$, the following collection of estimates.

\begin{aligned} &{-}\Delta_{0}^{\nu}y(2- \nu)=\nu y(1)-y(2)\le0, \\ &{-}\Delta_{0}^{\nu}y(3-\nu)=\frac{1}{2}\nu(1-\nu)y(1)+ \nu y(2)-y(3)\le0, \\ &{-}\Delta_{0}^{\nu}y(4-\nu)=\frac{1}{6}\nu(1-\nu) (2- \nu)y(1)+\frac{1}{2}\nu (1-\nu)y(2)+\nu y(3)-y(4)\le0, \\ &\vdots \\ &{-}\Delta_{0}^{\nu}y(k-\nu)=\frac{1}{(k-1)!}\nu(1-\nu) \cdots(k-2-\nu )y(1)+\cdots+\nu y(k-1)-y(k)\le0. \end{aligned}
(2.1)

Note that in (2.1) we have used the assumption that $$y(0)=0$$ to rewrite $$\Delta_{0}^{\nu}y(j-\nu)$$ for each $$j\in\mathbb{N}_{2}^{k}$$. All in all, we see that (2.1) implies the inequality

$$y(k)\ge\frac{1}{(k-1)!}\nu(1-\nu)\cdots(k-2-\nu)y(1)+\cdots+\nu y(k-1),$$
(2.2)

for each fixed $$k\in\mathbb{N}$$. Inequality (2.2) shall be used repeatedly in the sequel.

We claim that for the value of k fixed at the beginning of the preceding paragraph

$$\Delta y(k-1)=y(k)-y(k-1)\ge0,$$
(2.3)

which evidently will complete the induction step. To prove (2.3) we first calculate

\begin{aligned} &y(k)-y(k-1) \\ &\quad =(\nu-1)y(k-1) \\ &\qquad{} + \biggl[ \biggl(\frac{1}{2}\nu(1-\nu)y(k-2)-\frac {1}{2}\nu(1- \nu)y(k-1) \biggr)+\frac{1}{2}\nu(1-\nu)y(k-1) \biggr] \\ &\qquad{} + \biggl[ \biggl(\frac{1}{6}\nu(1-\nu) (2-\nu )y(k-3)- \frac{1}{6}\nu(1-\nu) (2-\nu)y(k-1) \biggr) \\ &\qquad{} +\frac{1}{6}\nu(1-\nu) (2-\nu)y(k-1) \biggr] \\ &\qquad{} \vdots \\ &\qquad{} + \biggl[ \biggl(\frac{1}{(k-1)!}\nu(1-\nu) (2-\nu )\cdots(k-2-\nu)y(1) \\ &\qquad{} -\frac{1}{(k-1)!}\nu(1-\nu ) (2-\nu)\cdots(k-2-\nu)y(k-1) \biggr) \\ &\qquad{} +\frac{1}{(k-1)!}\nu(1-\nu) (2-\nu)\cdots (k-2-\nu)y(k-1) \biggr]. \end{aligned}
(2.4)

Here we have used the fact that inequality (2.2) holds. On the other hand, invoking the induction hypothesis yields the following $$k-2$$ estimates:

\begin{aligned} &\underbrace{\frac{1}{2}\nu(1- \nu)}_{< 0}\underbrace{ \bigl(-y(k-1)+y(k-2) \bigr)}_{\le0}\ge0, \\ &\underbrace{\frac{1}{6}\nu(1-\nu) (2-\nu)}_{< 0}\underbrace{ \bigl(-y(k-1)+y(k-3) \bigr)}_{\le0}\ge0, \\ &\vdots \\ &\underbrace{\frac{1}{(k-1)!}\nu(1-\nu) (2-\nu)\cdots(k-2-\nu )}_{< 0} \underbrace{ \bigl(-y(k-1)+y(1) \bigr)}_{\le0}\ge0. \end{aligned}
(2.5)

Notice that in (2.5) we utilize the observation that since $$y(k-1)\ge y(k-2)$$ it follows that $$y(k-1)-y(k-3)\ge y(k-2)-y(k-3)\ge 0$$, so that, in general,

$$y(k-1)-y(k-j)\ge y \bigl(k-(j-1) \bigr)-y(k-j)\ge0,$$

for each $$j\in\mathbb{N}_{2}^{k-1}$$. In any case, putting the inequalities in (2.5) into estimate (2.4) yields

\begin{aligned} &y(k)-y(k-1)\\ & \quad\ge \biggl[(\nu-1)+\frac{1}{2}\nu(1-\nu)+\frac{1}{6}\nu(1-\nu ) (2-\nu)+\cdots\\ &\qquad{} +\frac{1}{(k-1)!}\nu(1-\nu ) (2-\nu)\cdots(k-2-\nu) \biggr]y(k-1). \end{aligned}

Recalling that $$y(k-1)\ge0$$ by assumption, to complete the proof it suffices to show that

\begin{aligned} &(\nu-1)+\frac{1}{2}\nu(1-\nu)+\frac{1}{6} \nu(1-\nu) (2-\nu) +\cdots +\frac{1}{(k-1)!}\nu(1-\nu) (2-\nu )\cdots(k-2-\nu)\ge0, \end{aligned}

for each $$1<\nu<2$$.

To this end, let us define the $$(k-1)$$th degree polynomial function $$P_{k-1} : \mathbb{R}\rightarrow\mathbb{R}$$ by

\begin{aligned} P_{k-1}(\nu):={}&(\nu-1)+\frac{1}{2}\nu(1- \nu)+\frac{1}{6}\nu(1-\nu) (2-\nu )+\cdots\\ &{} +\frac {1}{(k-1)!}\nu(1-\nu) (2-\nu)\cdots(k-2-\nu). \end{aligned}

It can be shown (see [27]) that

$$P_{k-1}(\nu)=\frac{-1}{(k-1)!}(1-\nu) (2-\nu)\cdots(k-2-\nu) (k-1-\nu ),$$

from which it follows that

\begin{aligned} P_{k-1}(\nu)&=- \frac{1}{(k-1)!}(1-\nu) (2-\nu)\cdots(k-2-\nu) (k-1-\nu) \\ &=\frac{1}{(k-1)!}(-1)^{2}(\nu-1) (2-\nu)\cdots(k-2-\nu) (k-1-\nu) \\ &=\frac{1}{(k-1)!}(-1)^{3}(\nu-1) (\nu-2) (3-\nu)\cdots(k-2-\nu) (k-1-\nu) \\ &\vdots \\ &=\frac{1}{(k-1)!}(-1)^{k}(\nu-1) (\nu-2)\cdots(\nu-k+2) (\nu-k+1). \end{aligned}
(2.6)

The factorization of $$P_{k-1}$$ given by (2.6) implies that $$P_{k-1}$$ has $$k-1$$ distinct zeros and these zeros are, in particular, $$\nu=1,2,\dots,k-1$$. Carefully observing the distribution of these zeros implies that for each $$k\in\mathbb{N}$$ it follows that $$P_{k-1}(\nu)>0$$ whenever $$\nu\in(1,2)$$ is true. And this implies that (2.3) holds. By the arbitrariness of k, it follows that the proof is complete.â€ƒâ–¡

One may make a couple of observations regarding TheoremÂ 2.3 and its proof. First of all, we notice that the proof is vastly more complicated than that of PropositionÂ 2.1, and this is due precisely to the presence of the nonlocal elements in the definition of the fractional difference. Second of all, however, one may notice that the hypotheses of TheoremÂ 2.3 contain some unusual restrictions - namely, that $$y(0)=0$$ and that y be nonnegative. This is slightly surprising since such restrictions evidently are not required in the integer-order setting. Indeed, it makes no difference whether y is negative or positive in PropositionÂ 2.1, nor is it necessary that $$y(0)=0$$.

As such, in light of the statement of TheoremÂ 2.3 one may reasonably ask the following question: Is it possible to eliminate the condition $$\Delta y(0)\ge0$$, which implicitly occurs in the statement of this theorem? Note that this is because we assume that $$y(0)=0$$ and that y is also nonnegative. In some sense, the implicit requirement that $$\Delta y(0)\ge0$$ hold is odd, for it implies that $$\Delta_{a}^{\nu}f(t)\ge0$$ is, in isolation, insufficient to ensure the monotonicity of f, that, rather, we need a sort of â€˜initial increasingnessâ€™ as embodied by the condition $$\Delta y(0)\ge0$$. Certainly, this is not required in the integer-order setting - i.e., if $$\Delta y(t)\ge0$$ for $$t\in\mathbb{N}_{1}$$, then f is increasing on $$\mathbb{N}_{1}$$ by PropositionÂ 2.1; we do not need $$\Delta f(0)\ge0$$.

Perhaps surprisingly, the answer to the preceding query is that the condition $$\Delta y(0)\ge0$$ cannot be eliminated without replacing it with other suitable auxiliary condition. That is to say, the condition that the fractional difference be nonnegative is insufficient in isolation to guarantee the monotonicity of f. And it was Jia et al. who discovered this. To illustrate explicitly their discovery, we present next the original example that they provided - see [2, 3] for this example.

Example 2.4

Define the map $$f : \mathbb{N}_{0}\rightarrow\mathbb{R}$$ by $$f(t)=2^{-t}$$, and assume that

$$\frac{2+\sqrt{2}}{2}< \nu< 2.$$

We claim that the following collection of statements are true.

• $$\Delta_{0}^{\nu}f(t)\ge0$$ for $$t\in\mathbb{N}_{2-\nu}$$,

• $$f(t)\ge0$$ for $$t\in\mathbb{N}_{0}$$,

• f is nonincreasing on $$\mathbb{N}_{1}$$.

To prove the preceding claims, let us note that for $$t=2-\nu+k$$, with $$k\in\mathbb{N}_{0}$$, we have

\begin{aligned} \Delta_{0}^{\nu}f(t)&= \int^{3+k}_{0}h_{-\nu-1}(2-\nu+k,\tau+1)f(\tau) \Delta\tau =\sum^{k+2}_{i=0}h_{-\nu-1}(2- \nu+k,i+1)2^{-i}. \end{aligned}

Now, for $$0\leq i\leq k+2$$, with $$1<\nu<2$$, we observe that

\begin{aligned} h_{-\nu-1}(2-\nu+k,i+1)&= \frac{(1-\nu+k-i)^{\underline{-\nu-1}}}{\Gamma (-\nu)} \\ &=\frac{\Gamma(2-\nu+k-i)}{\Gamma(3+k-i)\Gamma(-\nu)} \\ &=\frac{(-\nu+1+k-i)\cdots(-\nu+1)(-\nu)}{(2+k-i)!}. \end{aligned}
(2.7)

From (2.7) we see that if $$k-i\geq1$$, then it follows that $$h_{-\nu-1}(2-\nu+k,i+1)>0$$. And when $$i=k,k+1,k+2$$, we compute

\begin{aligned} &h_{-\nu-1}(2-\nu+k,k+1)= \frac{\Gamma(2-\nu)}{2!\Gamma(-\nu)}=\frac {(-\nu+1)(-\nu)}{2},\\ &h_{-\nu-1}(2-\nu+k,k+2)=\frac{\Gamma(1-\nu)}{\Gamma(-\nu)}=-\nu,\quad\mbox{and}\\ &h_{-\nu-1}(2-\nu+k,k+3)=\frac{\Gamma(-\nu)}{\Gamma(-\nu)}=1, \end{aligned}
(2.8)

respectively. So from (2.8), together with the fact that $$\nu\in (\frac{2+\sqrt{2}}{2},2 )$$, we estimate

\begin{aligned} \Delta_{0}^{\nu}f(t)&\geq\sum ^{k+2}_{i=k}h_{-\nu-1}(2- \nu+k,i+1)2^{-i} \\ &=\frac{(-\nu+1)(-\nu)}{2}\cdot\frac{1}{2^{k}}-\frac{\nu}{2^{k+1}}+ \frac {1}{2^{k+2}} \\ &=\frac{2\nu^{2}-4\nu+1}{2^{k+2}} \\ &>0. \end{aligned}

Consequently, we conclude that $$\Delta_{0}^{\nu}f(t)\ge0$$, for each $$t\in \mathbb{N}_{2-\nu}$$. But since f is obviously nonincreasing, it follows that the some additional condition is necessary above and beyond the positivity of the fractional difference. Consequently, we are left with the following surprising conclusion: If $$1<\nu<2$$ and $$\Delta_{a}^{\nu}f(t)\ge0$$ for each $$t\in\mathbb{N}_{2-\nu}$$, one does not need to have f increasing. In particular, it is necessary that some additional condition be imposed beyond simply the nonnegativity of the fractional delta difference on $$\mathbb{N}_{2-\nu}$$.

Thus, ExampleÂ 2.4 definitively establishes that, in general, PropositionÂ 2.1 does not carry over to the discrete fractional setting with delta difference. On the one hand, this is surprising, for one might expect, at a minimum, the fractional difference to preserve this well-known property of the integer-order operator. However, upon more careful thought, due to the nonlocal structure of the fractional operator, this is perhaps less surprising.

It turns out that this is not quite the end of the story, however, for it is possible to generalize TheoremÂ 2.3 by introducing a suitable hypothesis. This generalization was accomplished by Jia et al. (see [2]), and their work represented the first significant extension and, more importantly, refinement of the original work by Dahal and Goodrich.

Corollary 2.5

Let $$y : \mathbb{N}_{0}\rightarrow\mathbb{R}$$ be a nonnegative function. Fix $$\nu\in(1,2)$$ and suppose that $$\Delta_{0}^{\nu}y(t)\ge0$$, for each $$t\in\mathbb{N}_{2-\nu}$$. If $$\Delta y(0)\ge0$$, then y is increasing on $$\mathbb{N}_{0}$$.

Thus, we see that the addition of the condition $$\Delta y(0)\ge0$$ allows the result to hold. Obviously, the statement of TheoremÂ 2.3 ensures that this is so since if y is nonnegative and satisfies $$y(0)=0$$, then $$\Delta y(0)\ge0$$.

It turns out that CorollaryÂ 2.5 is not even the last word on the subject. In fact, the condition $$\Delta y(0)\ge0$$ while sufficient is not necessary insofar as it can be replaced by a somewhat weaker condition. And this particular refinement was recently produced jointly by Baoguo et al. (see [22]). Before stating this most up-to-date monotonicity theorem, which is TheoremÂ 2.7, we first state a preliminary lemma, namely LemmaÂ 2.6. This lemma was originally proved by Jia et al. [2]. In fact, this was the key discovery necessary to upgrade the result of TheoremÂ 2.3 to the result of CorollaryÂ 2.5. Moreover, the lemma plays a key role in establishing TheoremÂ 2.7.

Lemma 2.6

Assume that $$\Delta^{\nu}_{a}f(t)\geq0$$, for each $$t\in\mathbb{N}_{a+2-\nu}$$, with $$1<\nu<2$$. Then

\begin{aligned} \Delta f(a+k+1)\ge{}&{-}h_{-\nu}(a+k+2- \nu,a)f(a) -\sum_{\tau=a}^{a+k}h_{-\nu}(a+k+2- \nu,\tau +1)\Delta f(\tau) \end{aligned}

for each $$k\in\mathbb{N}_{0}$$, where

$$h_{-\nu}(t,\tau+1)= \frac{(t-\tau)^{\underline{-\nu}}}{(t-\nu-\tau)! (a+k+2-\tau)!}< 0,$$

for $$t\in\mathbb{N}_{a+2-\nu}$$, $$a\le\tau+1\le t+\nu-1$$.

As can be seen, LemmaÂ 2.6 establishes a lower bound on $$\Delta f(a+k+1)$$ that must be observed whenever $$\Delta_{a}^{\nu}f(t)\ge0$$ holds. This lower control over the first-order difference of f is a truly important observation. Indeed, it facilitates all of the refined monotonicity results (e.g., CorollaryÂ 2.5 and TheoremÂ 2.7). It seems that without this lemma in hand, one must prove associated monotonicity results in the more technical manner that, say, TheoremÂ 2.3 is established. In any case, we now state and prove our next monotonicity result.

Theorem 2.7

Assume that $$f:\mathbb{N}_{a}\to\mathbb{R}$$ and that $$\Delta^{\nu}_{a}f(t)\geq 0$$, for each $$t\in\mathbb{N}_{a+2-\nu}$$, with $$1<\nu<2$$. If

$$f(a+1)\geq\frac{\nu}{k+2}f(a)$$

for each $$k\in\mathbb{N}_{0}$$, then $$\Delta f(t)\geq0$$, for $$t\in\mathbb {N}_{a+1}$$.

Proof

We argue that $$\Delta f(a+k+1)\ge0$$, for each $$k\ge0$$, by means of the principle of strong induction, much as was the case with the proof of TheoremÂ 2.3. To this end, from LemmaÂ 2.6, in the case $$k=0$$, together with the hypothesis $$f(a+1)\ge\frac{\nu }{2}f(a)$$, we are able to establish the following inequality:

\begin{aligned} \Delta f(a+1)&\geq -h_{-\nu}(a+2- \nu,a)f(a)-h_{-\nu}(a+2-\nu,a+1)\Delta f(a)\\ &=- \biggl[\frac{\Gamma(3-\nu)}{\Gamma(3)\Gamma(-\nu+1)}f(a)+\frac{\Gamma (2-\nu)}{\Gamma(2)\Gamma(-\nu+1)}\Delta f(a) \biggr]\\ &=-\frac{\Gamma(2-\nu)}{\Gamma(-\nu+1)} \biggl[\frac{1}{2}(2-\nu )f(a)+\Delta f(a) \biggr]\\ &\ge-\frac{\Gamma(2-\nu)}{\Gamma(-\nu+1)}\underbrace{ \biggl[\frac {1}{2}(2-\nu)+ \frac{\nu}{2}-1 \biggr]}_{=0}f(a)\\ &=0. \end{aligned}

Suppose next that $$k\ge1$$ and $$\Delta f(a+i)\ge0$$, for $$i\in\mathbb{N}_{1}^{k}$$. From LemmaÂ 2.6 together with the hypothesis $$f(a+1)\ge\frac{\nu }{k+2}f(a)$$ for each $$k\in\mathbb{N}_{0}$$, we can also establish the inequality

\begin{aligned} \Delta f(a+k+1)&\ge -f(a)h_{-\nu}(a+k+2-\nu,a)- \sum_{\tau=a}^{a+k}h_{-\nu}\bigl(a+k+2- \nu, \sigma(\tau)\bigr)\Delta f(\tau) \\ &\geq-f(a)h_{-\nu}(a+k+2-\nu,a)-h_{-\nu}(a+k+2-\nu, a+1)\Delta f(a) \\ &=-\frac{\Gamma(k+3-\nu)}{\Gamma(k+3)\Gamma(-\nu+1)}f(a)-\frac{\Gamma (k+2-\nu)}{\Gamma(k+2)\Gamma(-\nu+1)}\Delta f(a) \\ &=\underbrace{-\frac{\Gamma(k+2-\nu)}{\Gamma(k+2)\Gamma(-\nu +1)}}_{>0} \biggl[\frac{k+2-\nu}{k+2}f(a)+ \Delta f(a) \biggr] \\ &\ge-\frac{\Gamma(k+2-\nu)}{\Gamma(k+2)\Gamma(-\nu+1)}\underbrace{ \biggl[\frac{k+2-\nu}{k+2}+ \frac{\nu}{k+2}-1 \biggr]}_{=0}f(a) \\ &=0. \end{aligned}

But this inequality implies that f is monotone increasing. And so the proof is complete.â€ƒâ–¡

Example 2.8

Throughout this example, we shall assume that $$f : \mathbb {N}_{a}\rightarrow[0,+\infty)$$ - i.e., f is a nonnegative map. With this in mind, to illustrate the application of TheoremÂ 2.7 we first construct the following table, which illustrates the inequality in the statement of the theorem for some different choices of $$1<\nu<2$$ for $$k=1$$.

 Î½ 1.2 1.4 1.6 1.8 Condition: $$f(a+1)\ge\frac{3}{5}f(a)$$ $$f(a+1)\ge\frac {7}{10}f(a)$$ $$f(a+1)\ge\frac{4}{5}f(a)$$ $$f(a+1)\ge\frac{9}{10}f(a)$$

Note that since $$k\mapsto\frac{\nu}{k+2}$$ is a decreasing map in k, for each fixed Î½, it follows that if the conditions in the above table hold, then for each $$k\in\mathbb{N}_{0}$$ the inequality $$f(a+1)\ge\frac{\nu}{k+2}f(a)$$ is satisfied; here we use the nonnegativity assumption on f.

So, a cursory examination of the table reveals that as $$\nu\to1^{+}$$ the inequality in the statement of the theorem becomes a weaker restriction, whereas as $$\nu\to2^{-}$$ the inequality approaches the â€˜initial monotonicityâ€™ condition $$\Delta f(a)\ge0$$, which was required in the original monotonicity theorem, namely TheoremÂ 2.3. Nonetheless, for each $$\nu\in(1,2)$$, we observe that the hypotheses of TheoremÂ 2.7 do not require any â€˜initial monotonicityâ€™. For example, if we fix $$\nu=1.2$$, then we see from the table that the only condition required in TheoremÂ 2.7, other than that $$\Delta_{0}^{\frac{6}{5}}y(t)\ge0$$, is that

$$f(a+1)\ge\frac{3}{5}f(a).$$

Thus, it is possible that $$f(a+1)< f(a)$$ and, thus, that $$\Delta f(a)\ngtr0$$.

Remark 2.9

The statement of TheoremÂ 2.7 is the most general known result for monotonicity theorems when using the delta fractional difference. Obviously, the condition given in the statement of this theorem is sufficient. Whether it is also necessary, however, is, to the best of the authorsâ€™ knowledge still an open question. It would be interesting to establish whether this is the case, and, if it is not necessary, whether one can derive a sharp result.

Remark 2.10

Note also that TheoremÂ 2.7 does not require that f be a nonnegative map. This represents an improvement over TheoremÂ 2.3. However, if f happens to be nonnegative, as we assumed in ExampleÂ 2.8, for instance, then one can obtain more refined information from TheoremÂ 2.7. For refinements in this direction, we encourage the interested reader to consult the forthcoming paper [22].

2.2 Results for the nabla fractional difference

In this section we consider some additional monotonicity-type results but, crucially, when the nabla difference is utilized instead. One might reasonably suppose that the results would parallel the delta case. However, it turns out that this is not quite the case. Instead, as we shall see momentarily, there is a rather stronger connection between monotonicity and the sign of $$\nabla_{a}^{\nu}f(t)$$.

To begin, as we did in the previous subsection, let us recall the following, obvious result from the integer-order difference calculus.

Proposition 2.11

The map $$y : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ is increasing on $$\mathbb{N}_{a}$$ if and only if $$\nabla y(t)\ge0$$ for $$t\in\mathbb{N}_{a+1}$$.

As with the delta case, we see that PropositionÂ 2.11 is really a triviality. Passing to the fractional-order case, however, something very interesting happens. Before stating the monotonicity result we obtain in the nabla setting, we require a preliminary lemma. This particular lemma is the nabla analog of LemmaÂ 2.6, and it was similarly established by Jia et al. - see [2], SectionÂ 2; we omit its proof.

Lemma 2.12

Assume that $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ and that $$\nabla _{a}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+1}$$, where $$1<\nu<2$$. Then we have

$$\nabla f(t)\ge-f(a+1) \bigl[H_{-\nu-1}(t,a)+H_{-\nu}(t,a+1) \bigr]-\sum_{\tau=a+2}^{t-1}H_{-\nu}(t, \tau-1)\nabla f(\tau).$$

As with LemmaÂ 2.6 we see that LemmaÂ 2.12 establishes a lower bound on the nabla difference, and it does so in terms of the Taylor monomials. This is the key observation needed to establish a monotonicity result in the nabla setting. Indeed, with LemmaÂ 2.12 in hand, we can then easily obtain the following result, TheoremÂ 2.13, which was originally discovered by Jia et al. [2].

Theorem 2.13

Suppose that $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$. If $$\nabla _{a}^{\nu}f(t)\ge0$$ for each $$t\in\mathbb{N}_{a+1}$$, where $$1<\nu<2$$, then $$\nabla f(t)\ge0$$ for each $$t\in\mathbb{N}_{a+2}$$.

Proof

We argue that $$\nabla f(a+k)\ge0$$ for each $$k\in\mathbb{N}_{a}$$, and we do so by means of an induction argument. To this end, from LemmaÂ 1.10 we deduce that

\begin{aligned} \nabla_{a}^{\nu}f(a+1)&= \int_{a}^{a+1}H_{-\nu-1}(t,\tau-1)f(\tau) \nabla\tau \\ &=\sum_{\tau=a+1}^{a+1}H_{-\nu-1}(t, \tau-1)f(\tau) \\ &=f(a+1) \\ &\ge0, \end{aligned}
(2.9)

where the inequality follows by the hypotheses assumed in the statement of the theorem. Moreover, we have

\begin{aligned} \nabla_{a}^{\nu}f(a+2)&= \int_{a}^{a+2}H_{-\nu-1}(a+2,\tau-1)f(\tau) \nabla \tau \\ &=\sum_{\tau=a+1}^{a+2}H_{-\nu-1}(a+2, \tau-1)f(\tau) \\ &=f(a+2)-\nu f(a+1) \\ &=\nabla f(a+2)-(\nu-1)f(a+1). \end{aligned}
(2.10)

Recall that we are assuming that $$\nabla_{a}f(a+2)\ge0$$. Thus, combining estimates (2.9) and (2.10) we obtain

$$\nabla f(a+2)\ge(\nu-1)f(a+1)=(\nu-1)\nabla_{a}^{\nu}f(a+1) \ge0,$$

which establishes the basis for induction.

Now we complete the actual induction argument. Therefore, assume that $$\nabla f(t)\ge0$$ for each $$t\in\mathbb{N}_{a+2}^{a+k}$$ for some $$k\in \mathbb{N}_{2}$$ fixed. Then using LemmaÂ 2.12 we obtain

\begin{aligned} \nabla f(a+k+1)\ge{}&{-}f(a+1) \underbrace{\bigl[H_{-\nu-1}(a+k+1,a)+H_{-\nu }(a+k+1,a+1) \bigr]}_{< 0\ \mathrm{for\ each}\ k\in\mathbb{N}_{2}} \\ &{}-\sum_{\tau=a+2}^{t-1}\underbrace{H_{-\nu }(a+k+1, \tau-1)}_{< 0\ \mathrm{for\ each}\ k\in\mathbb{N}_{2}}\nabla f(\tau) \\ >{}&0. \end{aligned}
(2.11)

Note that in (2.11) we are using the fact that $$f(a+1)\ge0$$, which follows from the equality in inequality (2.9). Since this completes the induction step, the proof is complete, and we conclude that f is monotone increasing on its domain, as claimed.â€ƒâ–¡

As a comparison of TheoremÂ 2.3 to TheoremÂ 2.13 reveals, we observe immediately that there are substantial differences between the delta and nabla cases. For example, we notice that in TheoremÂ 2.3 we require the â€˜initial monotonicityâ€™ of the map f - i.e., we have $$f(a+1)\ge0$$ and $$f(a)=0$$. Even in the more refined results, namely CorollaryÂ 2.5 and TheoremÂ 2.7, we see that some sort of additional hypothesis is required above and beyond the nonnegativity of the fractional difference.

In great contrast, we see in TheoremÂ 2.13 that in the nabla setting the imposition of the condition $$\nabla_{a}^{\nu}f(t)\ge0$$, for $$t\in\mathbb{N}_{a+1}$$, is sufficient that f is increasing on $$\mathbb{N}_{a+2}$$. Thus, the nabla operator behaves differently in this case. And, in fact, the nabla operator behaves more naturally insofar TheoremÂ 2.13 is a more natural analog of PropositionÂ 2.1 than are the results in the delta difference setting.

3 Convexity

3.1 Results for the delta fractional difference

We now discuss the known connections between the delta fractional difference and the convexity of the map f. As with monotonicity the connections are not as straightforward as one might hope and certainly are more complicated than in the integer-order setting. To emphasize this fact going forward, let us first recall the following basic result.

Proposition 3.1

Let $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$. Then $$\Delta^{2}y(t)>0$$ for each $$t\in\mathbb{N}_{a}$$ if and only if y is a convex map on $$\mathbb{N}_{a}$$. Similarly, $$\Delta^{2}y(t)<0$$ for each $$t\in\mathbb{N}_{a}$$ if and only if y is a concave map on $$\mathbb{N}_{a}$$.

As was mentioned in SectionÂ 1 the proof of this result is essentially trivial. If we pass to the fractional-order setting, however, then the relationship is much more complicated. Goodrich [31] was the first to investigate this relationship, and his original result in this area was the following - see also Dahal and Goodrich [28]. (It should be noted that the original statement, i.e., in [31], omitted the hypothesis $$\Delta ^{N-1}f(0)\ge0$$. This was later pointed out by Jia et al. [23]. Thus, as a technical matter, the statement of TheoremÂ 3.2 provided here really is that given in [23].)

Theorem 3.2

Assume that $$\Delta_{a}^{\nu}f(t)\ge0$$ for each $$t\in\mathbb{N}_{N+a-\nu }$$ where $$N\in\mathbb{N}_{3}$$ is selected such that $$N-1<\nu<N$$. In addition, suppose that

1. (1)

$$(-1)^{N-i}\Delta^{i}f(a)\ge0$$, for each $$i\in\mathbb {N}_{0}^{N-2}$$; and

2. (2)

$$\Delta^{N-1}f(a)\ge0$$.

Then $$\Delta^{N-1}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a}$$.

We omit the proof, which can be found in [31], but, essentially, the result is proved by applying TheoremÂ 2.3 to the map $$w : \mathbb{N}_{0}\rightarrow\mathbb{R}$$ defined by $$w(t):=\Delta^{N-2}y(t)$$ to establish that w is an increasing map. An interesting corollary of this result is the following.

Corollary 3.3

Fix $$\mu\in(N-1,N)$$ with $$N\in\mathbb{N}_{3}$$. Let $$f : \mathbb {N}_{0}\rightarrow\mathbb{R}$$ be a function satisfying $$\Delta_{0}^{\mu }y(t)\ge0$$ for each $$t\in\mathbb{N}_{N-\mu}$$. In case N is odd, assume that

$$\textstyle\begin{cases} \Delta^{j}y(0)< 0, &j=0,2,\dots,N-3,\\ \Delta^{j}y(0)>0, &j=1,3,\dots,N-4, \end{cases}$$

whereas in the case N is even, assume that

$$\textstyle\begin{cases} \Delta^{j}y(0)>0, &j=0,2,\dots,N-4,\\ \Delta^{j}y(0)< 0, &j=1,3,\dots,N-3. \end{cases}$$

If in addition $$\Delta^{N-2}y(0)\ge0$$ and $$\Delta^{N-1}y(0)\ge0$$, then $$\Delta^{N-1}y(t)\ge0$$, for each $$t\in\mathbb{N}_{0}$$.

For the proof of this result, one may consult either Goodrich [31] or Goodrich and Peterson [3]. Here we wish to focus on some interesting examples that follow from CorollaryÂ 3.3.

Example 3.4

Suppose that $$N=3$$. Then CorollaryÂ 3.3 demonstrates that $$\Delta^{2}y(t)\ge0$$, for example, provided that

\begin{aligned}& y(0)< 0,\\& \Delta y(0)>0,\\& \Delta^{2}y(0)>0,\\& \Delta_{0}^{\mu}y(t)>0\quad\mbox{for some }\mu\in(2,3), t\in \mathbb{N}_{3-\nu}. \end{aligned}

On the other hand, suppose now that $$N=4$$. Then CorollaryÂ 3.3 implies that $$\Delta^{3}y(t)\ge0$$ if we have

\begin{aligned}& y(0)>0,\\& \Delta y(0)< 0,\\& \Delta^{2}y(0)>0,\\& \Delta^{3}y(0)>0,\\& \Delta_{0}^{\mu}y(t)>0\quad\mbox{for some }\mu\in(3,4), t\in \mathbb {N}_{4-\nu}. \end{aligned}

Let us focus on the case $$N=3$$ for a moment. Observe from the above application of CorollaryÂ 3.3 that we have a sort of unusual collection of conditions - namely, that y must be â€˜initiallyâ€™ negative, increasing, and convex. If all this is so and also $$\Delta_{0}^{\mu}y(t)$$ is nonnegative, then we may deduce that $$\Delta^{2}y(t)\ge0$$; in fact, if $$\Delta_{0}^{\mu}y(t)$$ is positive, then we can actually deduce that y is a convex map - i.e., that $$\Delta^{2}y(t)>0$$.

So, one perhaps unexpected aspect of this is that we require a certain â€˜initial convexityâ€™, roughly speaking, in order to obtain the result. We also have to require the auxiliary conditions on $$y(0)$$ and $$\Delta y(0)$$. All in all, this stands in bold relief to the integer-order case as embodied by PropositionÂ 3.1.

In light of ExampleÂ 3.4 we might wonder whether we can, for example, eliminate the condition $$\Delta^{2}y(0)\ge0$$. The following surprising example, constructed by Jia et al. [23], shows that this is not quite so. In other words, the collection of conditions

• $$f(a)\le0$$,

• $$\Delta f(a)\ge0$$,

• $$\Delta_{a}^{\mu}f(t)\ge0$$

is not sufficient to deduce that $$\Delta^{2}y(t)\ge0$$ holds for $$t\in\mathbb{N}_{a+1}$$. We note that this is the same example as is presented in [23].

Example 3.5

Define the map $$f : \mathbb{N}_{0}\rightarrow\mathbb{R}$$ by

$$f(t):= \biggl(t-\frac{1}{2} \biggr)^{\underline{0.5}}.$$

We compute the following:

\begin{aligned}& f(0)=0,\\& f(1)=\frac{1}{2}\sqrt{\pi},\\& f(2)=\frac{3}{4}\sqrt{\pi}. \end{aligned}

One can show both that $$\Delta f(t)>0$$ and $$\Delta^{2}f(t)<0$$, for each $$t\in\mathbb{N}_{0}$$. At the same time we have

$$\Delta_{0}^{2.6}f(t)= \int_{0}^{t+\nu+1}h_{-\nu-1}(t,\tau+1)f(\tau) \Delta \tau>0,$$

for each $$t\in\mathbb{N}_{3-\nu}$$. In other words, we conclude that

• $$f(0)\le0$$,

• $$\Delta f(0)\ge0$$,

• $$\Delta_{0}^{2.6}f(t)\ge0$$, $$t\in\mathbb{N}_{3+a-\nu}$$,

but yet $$\Delta^{2}f(t)<0$$ for each $$t\in\mathbb{N}_{0}$$. Hence, we conclude that the preceding collection of hypotheses is insufficient to guarantee the convexity of the map f.

Thus, in light of ExampleÂ 3.5 a natural question is in what way, if any way at all, can TheoremÂ 3.2 be ameliorated. As with the connection between delta fractional differences and monotonicity this answer is frankly complicated. And to the best of the authorsâ€™ knowledge, sharp results are not known at present. Nonetheless, we can improve TheoremÂ 3.2. The following theorem, which we state without proof, was recently proved by Goodrich in [72]. Associated to it are several corollaries, which we omit - see [72]. But we do provide an example here to illustrate the specific improvement it affords over TheoremÂ 3.2.

Theorem 3.6

Fix $$\nu\in(2,3)$$ and suppose that $$\Delta_{a}^{\nu}f(t)\ge0$$ for each $$t\in\mathbb{N}_{3+a-\nu}$$. If for each $$k\in\mathbb{N}_{-1}$$ we have

$$\frac{1}{-\nu+1}f(a+2)+\frac{\nu+2+k}{(\nu-1)(3+k)}f(a+1)- \frac{\nu }{(3+k)(4+k)}f(a)\le0,$$
(3.1)

then $$\Delta^{2}f(t)\ge0$$ for each $$t\in\mathbb{N}_{a+1}$$.

Example 3.7

Suppose that we put $$f(a):=0$$, $$f(a+1):=1$$, and $$f(a+2):=1.9$$. Let us also fix $$\nu=\frac{5}{2}$$. Then it is easy to show that inequality (3.1) holds. In spite of this, one finds that $$\Delta^{2}f(a)=-\frac{1}{10}<0$$. Thus, we see that TheoremÂ 3.6 does not require any â€˜initial convexityâ€™, and in this sense, then, TheoremÂ 3.6 can be seen as both a refinement and an improvement of TheoremÂ 3.2.

We end this subsection with the following remark.

Remark 3.8

As previously mentioned, it is not known if the results presented here are sharp. As with the monotonicity results of SectionÂ 2 for the delta fractional difference, it would be interesting to determine precisely the optimal convexity-type result one can obtain.

3.2 Results for the nabla fractional difference

We now look at some related convexity results in the nabla fractional setting. As with the monotonicity results, we shall see quickly that the results in the nabla setting are simpler, cleaner, and more natural than those in the delta setting. Also as with the delta setting the nabla results follow from the following inequality, which is of independent interest and was first discovered by Erbe et al. [23].

Lemma 3.9

Assume that $$\nabla_{a}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+1}$$, where $$2<\nu<3$$. Then for $$t=a+k$$, with $$k\in\mathbb{N}_{4}$$, we have

$$\nabla^{2}f(t)\ge-\sum_{i=a+2}^{a+k-2}H_{-\nu+1}(a+k,i) \nabla ^{2}f(a+i+1)+\frac{(a+k-2)\Gamma(-\nu+k)}{(k-1)!\Gamma(-\nu +1)}f(a+1).$$

With LemmaÂ 3.9 in hand, it is a simple matter to obtain the following convexity-type result for the nabla fractional difference.

Theorem 3.10

Assume that $$f : \mathbb{N}_{a+1}\rightarrow\mathbb{R}$$ satisfies $$\nabla_{a}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+1}$$, where $$2<\nu <3$$. Then $$\nabla^{2}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+3}$$.

Proof

As with the other results we have established, we shall provide an induction proof of this result. In particular, by means of LemmaÂ 1.10 we obtain

\begin{aligned} \nabla_{a}^{\nu}f(a+3)&= \int_{a}^{a+3}H_{-\nu-1}(a+3,\tau-1)f(\tau) \nabla \tau\\ &=\nabla^{2}f(a+3)-(\nu-2)f(a+2)-f(a+1)+\frac{\nu(\nu-1)}{2}f(a+1), \end{aligned}

from which it follows that

\begin{aligned} \nabla^{2}f(a+3)\ge(\nu-2)f(a+2)+f(a+1)-\frac{\nu(\nu-1)}{2}f(a+1)\ge \frac {(\nu-2)(\nu-1)}{2}f(a+1)\ge0, \end{aligned}

where we use the fact that the inequality $$f(a+2)\ge\nu f(a+1)$$ can be shown. Thus, the base case is established. Finally, by using LemmaÂ 3.9 the induction step can be established in a manner similar to, for example, the proof of TheoremÂ 2.13.â€ƒâ–¡

As with the monotonicity results presented in SectionÂ 2, a comparison of TheoremÂ 3.10 to either TheoremÂ 3.2 or 3.6 demonstrates that in the nabla setting we are able to obtain a convexity-type result that is a much more natural analog of PropositionÂ 3.1. In particular, we do not need to impose a number of extra conditions, which are not necessary in the integer-order setting, and so, TheoremÂ 3.10 is cleaner in this way. So, all in all, we see yet another dissimilarity between the delta and nabla fractional differences.

3.3 Further results

In this subsection we collect some further results on the relationship between fractional differences of a map f and associated properties of f itself. We state each of these results without proof. Our first collection of results provides a relationship between the nabla fractional difference and the sign of $$\nabla^{k}f(t)$$ for various choices of $$k\in\mathbb{N}$$. These results were proved by Baoguo et al. [21].

Theorem 3.11

Assume that $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ satisfies $$\nabla _{a}^{\nu}f(t)\ge0$$ for each $$t\in\mathbb{N}_{a+1}$$, where $$3<\nu<4$$. Then $$\nabla^{3}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+4}$$.

Theorem 3.12

Assume that $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ satisfies $$\nabla _{a}^{\nu}f(t)\ge0$$ for each $$t\in\mathbb{N}_{a+1}$$, where $$4<\nu<5$$. Then $$\nabla^{4}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+5}$$.

Theorem 3.13

Assume that $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ satisfies $$\nabla _{a}^{\nu}f(t)\ge0$$ for each $$t\in\mathbb{N}_{a+1}$$, where $$5<\nu<6$$. Then $$\nabla^{5}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+6}$$.

Notice that in each of Theorems 3.11, 3.12, and 3.13 we obtain the conclusion without the imposition of additional hypotheses. As before, this is typical when considering the nabla fractional difference.

Remark 3.14

It is possible to extend the preceding theorems to the case where $$\nu >6$$. The results are analogous to those stated above, and we leave it to the reader to state and prove such results - see the discussion in [21] for additional details.

To illustrate results of a different flavor, we can study the reversal of some of the relationships we have previously deduced. That is to say, we have thus far focused on what properties of f the sign of $$\Delta_{a}^{\nu}f(t)$$ or $$\nabla_{a}^{\nu}f(t)$$ imply. But this question can be reversed, and we can ask what, if anything, the sign of the integer-order differences imply about the fractional-order difference. As a particular case of this sort of result, we consider the following theorem, which was also recently proved by Baoguo et al. [22].

Theorem 3.15

Assume that $$f : \mathbb{N}_{a}\rightarrow\mathbb{R}$$ and that each of the following conditions holds:

1. (1)

$$\Delta^{N}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a}$$,

2. (2)

$$(-1)^{N-i}\Delta^{i}f(a)\le0$$, for each $$i\in\mathbb{N}_{0}^{N-1}$$.

Then $$\Delta_{a}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+N-\nu}$$, where $$N-1<\nu<N$$.

By specializing $$N\in\mathbb{N}_{1}$$ to various particular values, we can obtain a suite of corollaries that follow from TheoremÂ 3.15, one of which was earlier discovered independently as a special case. We identify certain of these special cases in the following examples.

Example 3.16

Suppose that we fix $$N=1$$ in TheoremÂ 3.15. We deduce that if

• $$\Delta f(t)\ge0$$, for each $$t\in\mathbb{N}_{a}$$,

• $$f(a)\ge0$$

then $$\Delta_{a}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+1-\nu}$$. Thus, if f is increasing and initially nonnegative, then its fractional difference must be nonnegative. We note that this particular result was originally discovered by Atici and Uyanik [20].

Example 3.17

Suppose that f satisfies the following collection of hypotheses.

• $$\Delta^{2}f(t)>0$$, for each $$t\in\mathbb{N}_{a}$$,

• $$\Delta f(a)>0$$,

• $$f(a)\le0$$.

Then by applying TheoremÂ 3.15 in the case $$N=2$$ we deduce that $$\Delta_{a}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+2-\nu}$$. Thus, we conclude that if f is initially nonpositive and, in addition, both â€˜initially increasingâ€™ and â€˜initially convexâ€™, then it follows that $$\Delta_{a}^{\nu}f(t)$$ is nonnegative whenever $$t\in\mathbb {N}_{a+2-\nu}$$.

Example 3.18

Suppose that f satisfies the following collection of hypotheses.

• $$\Delta^{3}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a}$$,

• $$\Delta^{2}f(t)\ge0$$,

• $$\Delta f(a)\le0$$,

• $$f(a)\ge0$$.

Then by applying TheoremÂ 3.15 in the case $$N=3$$ we deduce that $$\Delta_{a}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+3-\nu}$$.

As our final collection of examples in this subsection, we consider briefly the relationship between the so-called Caputo nabla fractional difference of a map $$t\mapsto f(t)$$ and the monotonicity or convexity of f. These sorts of results were recently investigated by Erbe et al. [24]; for a more thorough introduction to Caputo fractional differences than what we provide here, the reader is encouraged to consult the textbook by Goodrich and PetersonÂ [3].

First of all, the definition of the Caputo nabla fractional difference is as follows.

Definition 3.19

Assume that $$f : \mathbb{N}_{a-N+1}\rightarrow\mathbb{R}$$ and $$\mu >0$$. Then the Î¼th order Caputo nabla fractional difference of f, denoted $$\nabla_{a^{*}}^{\mu}f$$, is defined by

$$\nabla_{a^{*}}^{\mu}f(t):=\nabla_{a}^{-(N-\mu)} \nabla^{N}f(t),$$
(3.2)

for $$t\in\mathbb{N}_{a+1}$$, and where $$N-1<\mu<N$$.

At first glance, it may be difficult to see the difference between DefinitionÂ 1.9 and DefinitionÂ 3.19. But a careful inspection reveals that it lies in the order in which the integer-order nabla difference $$\nabla^{N}$$ is applied. In the Caputo-type difference it is the right-hand factor in the composition, whereas in the Riemann-Liouville-type difference (i.e., DefinitionÂ 1.9) it is the left-hand factor in the composition. This switch, while seemingly minor, does induce some interesting changes in the properties of the Caputo-type difference. One prominent alteration is that

\begin{aligned} \nabla_{a^{*}}^{\mu}[C](t)\equiv0, \end{aligned}

for C a constant. Thus, one advantage of the Caputo-type difference is that it preserves the well-known property that differences of constant polynomials are the zero polynomials.

Remark 3.20

As DefinitionÂ 3.19 demonstrates, the Caputo difference utilizes the â€˜originalâ€™ nabla sum. As such, when working with Caputo nabla differences we utilize DefinitionÂ 1.8 for our notion of a fractional sum. In other words, there is not, as such, a specialized â€˜Caputo-type fractional nabla sumâ€™.

Our interest in DefinitionÂ 3.19 in this paper is primarily that we can obtain the following inequality, which then leads, as a consequence, to an interesting monotonicity-type result. We omit the proofs of these results - see [3, 24].

Lemma 3.21

Assume that $$N-1<\nu<N$$ and $$f : \mathbb{N}_{a-N+1}\rightarrow\mathbb {R}$$. If we have

1. (1)

$$\nabla_{a^{*}}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+1}$$; and

2. (2)

$$\nabla^{N-1}f(a)\ge0$$;

then $$\nabla^{N-1}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a}$$.

Theorem 3.22

Assume that $$1<\nu<2$$ and that $$f : \mathbb{N}_{a-1}\rightarrow \mathbb{R}$$. If we have

1. (1)

$$\nabla_{a^{*}}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+1}$$; and

2. (2)

$$f(a)\ge f(a-1)$$;

then f is increasing on $$\mathbb{N}_{a-1}$$.

While it turns out that the converse of TheoremÂ 3.22 is not necessarily true, we can obtain a partial converse. This is the following theorem.

Theorem 3.23

Assume that $$0<\nu<1$$ and that $$f : \mathbb{N}_{a-1}\rightarrow \mathbb{R}$$. If f is increasing on $$\mathbb{N}_{a}$$, then $$\nabla _{a^{*}}^{\nu}f(t)\ge0$$, for each $$t\in\mathbb{N}_{a+1}$$.

We conclude with an example to demonstrate that the converse of TheoremÂ 3.22 is not true, in general. This example can also be found in the textbook by Goodrich and Peterson - see [3], ExampleÂ 3.135.

Example 3.24

Define the map $$f : \mathbb{N}_{1}\rightarrow\mathbb{R}$$ by $$f(t):=-\sqrt{t}$$; put $$a:=2$$. Observe that $$f''(t)\ge0$$ on $$[1,+\infty )$$. It can be argued by means of Taylorâ€™s theorem that if f is of class $$\mathcal{C}^{2}([a,+\infty))$$ and $$f''(t)\ge0$$ on $$[a,+\infty)$$, then it follows that $$\nabla_{a^{*}}^{\nu}f(t)\ge0$$ for each $$t\in\mathbb {N}_{a+1}$$, provided that $$1<\nu<2$$. An application of this result implies that $$\nabla_{a^{*}}^{\nu}f(t)\ge0$$. However, f is actually a decreasing map, as is easily seen. Thus, we conclude that the converse of TheoremÂ 3.22 is, in general, not true.

3.4 Results for the q-fractional difference

Most of the results in this section appear in the paper by Baoguo et al. [73]. First we introduce some notation used in the quantum calculus (q-calculus) (see [25]). For $$f:q^{\mathbb {N}_{0}}\to \mathbb {R}$$ the nabla q-difference operator is defined by

$$\nabla_{q}f(t):=\frac{f(t)-f(q^{-1}t)}{(1-q^{-1})t},\quad t\in q^{\mathbb {N}_{1}}.$$

For any real number Î± and $$q>0$$, $$q\neq1$$, we set $$[\alpha]_{q}:=\frac{q^{\alpha}-1}{q-1}$$. Then we have the q-analogy of n! in the form $$[n]_{q}!:=[n]_{q}[n-1]_{q}\cdots[1]_{q}$$ for $$n=1,2,\ldots$$â€‰, whereas for $$n=0$$ we put $$[0]_{q}!:=1$$. If $$q=1$$, then $$[\alpha]_{1}:=\alpha$$ and $$[n]_{1}!$$ becomes the standard factorial. Further, the q-binomial coefficients are defined by

\begin{aligned}& \left.\begin{bmatrix} \alpha \\ 0 \end{bmatrix} \right._{q}:=1,\\& \left.\begin{bmatrix} \alpha \\ n \end{bmatrix} \right._{q}:= \frac{[\alpha]_{q}[\alpha-1]_{q}\cdots[\alpha-n+1]_{q}}{[n]_{q}!}, \end{aligned}

where $$\alpha\in \mathbb {R}$$ and $$n\in \mathbb {N}_{0}$$. The extension of the q-binomial coefficient to non-integer values, n, is in terms of the $$\Gamma_{q}$$ function defined for $$0< q<1$$ as

$$\Gamma_{q}(t):=\frac{(q,q)_{\infty}(1-q)^{1-t}}{(q^{t},q)_{\infty}},$$
(3.3)

where $$(a,q)_{\infty}=\prod^{\infty}_{j=0}(1-aq^{j})$$ and $$t\in \mathbb {R}\setminus\{0,-1,-2,\ldots\}$$. It is easy to check that $$\Gamma_{q}$$ satisfies the functional relation $$\Gamma_{q}(t+1)=[t]_{q}\Gamma_{q}(t)$$. The q-analog of the power function is introduced as

$$(t-s)^{(\alpha)}_{q}:=t^{\alpha}\frac{(\frac{s}{t},q)_{\infty}}{(q^{\alpha}\frac{s}{t}, q)_{\infty}},\quad t\neq0, 0< q< 1, \alpha\in \mathbb {R}.$$
(3.4)

For $$\alpha=n$$, a positive integer, this expression reduces to

$$(t-s)^{(n)}_{q}=t^{n}\prod ^{n-1}_{j=0} \biggl(1-q^{j} \frac{s}{t} \biggr).$$

The following two definitions appear in [25].

Definition 3.25

(Nabla fractional sum)

Let $$f:q^{\mathbb {N}_{0}}\rightarrow \mathbb {R}$$ be given and $$q>1$$, $$\nu>0$$. Then

$$\nabla_{q,\rho(1)}^{-\nu}f(t):=\frac{1}{\Gamma_{q^{-1}}(\nu)} \int ^{t}_{\rho(1)} \bigl(t-q^{-1}\tau \bigr)^{(\nu-1)}_{q^{-1}}f(\tau)\nabla_{q} \tau,$$
(3.5)

for $$t\in q^{\mathbb {N}_{0}}$$, where $$\rho(1)=q^{-1}$$ and by convention $$\nabla_{q,\rho(1)}^{-\nu}f(\rho(1))=0$$.

Definition 3.26

Let $$\nu\in \mathbb {R}^{+}$$, $$f:q^{\mathbb {N}_{0}}\rightarrow \mathbb {R}$$, and let $$t\in q^{\mathbb {N}_{0}}$$. Then we define the nabla q-fractional difference of f at t by

$$\bigl(\nabla_{q,\rho(1)}^{\nu}f\bigr) (t):=\bigl( \nabla_{q}^{m}\nabla_{q,\rho(1)}^{-(m-\nu)}f\bigr) (t),$$

where $$m\in \mathbb {N}_{1}$$ satisfies $$m-1<\nu<m$$.

The power rules in the following lemma are very useful.

Lemma 3.27

For $$q>1$$,

1. (1)

the nabla q-difference of the q-factorial function $$(t-s)^{(\alpha)}_{q^{-1}}$$ with respect to t is

$$_{t}\nabla_{q}(t-s)_{q^{-1}}^{(\alpha)}= \frac{1-q^{-\alpha}}{1-q^{-1}}(t-s)_{ q^{-1}}^{(\alpha-1)},$$
2. (2)

the nabla q-difference of the q-factorial function $$(t-s)^{(\alpha)}_{q^{-1}}$$ with respect to s is

$$_{s}\nabla_{q}(t-s)_{q^{-1}}^{(\alpha)}=- \frac{1-q^{-\alpha}}{1-q^{-1}}\bigl(t-q^{ -1} s\bigr)_{q^{-1}}^{(\alpha-1)},$$

where $$\alpha\in \mathbb {R}$$.

The following lemma appears in [74].

Lemma 3.28

(Leibniz rule)

Assume $$f:q^{\mathbb {N}_{1}}\times q^{\mathbb {N}_{1}}\to \mathbb {R}$$. Then

$$_{t}\nabla_{q} \biggl[ \int^{t}_{1}f(t,s)\nabla_{q} s \biggr]= \int^{t}_{1} {_{t}}\nabla_{q}f(t,s) \nabla_{q} s+f\bigl(q^{-1}t,t\bigr)$$

for $$t\in q^{\mathbb {N}_{1}}$$.

With the preceding preliminary results in hand, it is then possible to state monotonicity- and convexity-type results associated to the q-fractional difference. Here we state a couple of representative results.

In particular, in [73] the following monotonicity result is given.

Theorem 3.29

Assume $$f:q^{\mathbb {N}_{0}}\rightarrow \mathbb {R}$$, $$\nabla_{q}^{\nu}f(t)\geq0$$ for each $$t\in q^{\mathbb {N}_{0}}$$, with $$1<\nu<2$$, then $$\nabla_{q} f(t)\geq0$$ for $$t\in q^{\mathbb {N}_{1}}$$.

Also in [73] the important convexity result is proved.

Theorem 3.30

Assume $$f:q^{\mathbb {N}_{0}}\rightarrow \mathbb {R}$$, $$\nabla_{q}^{\nu}f(t)\geq0$$ for each $$t\in q^{\mathbb {N}_{1}}$$, with $$2<\nu<3$$, then $$\nabla_{q}^{2} f(t)\geq0$$ for $$t\in q^{\mathbb {N}_{2}}$$.

4 Qualitative behavior of solutions to fractional difference equations

4.1 Results for the delta fractional difference

Many of the results in this subsection can be found in the paper by Baoguo et al. [75] and in the references given there. First we give a comparison theorem for certain delta fractional equations of order Î½, $$0<\nu<1$$.

Theorem 4.1

Assume $$c_{1}(t)\geq c_{2}(t)\geq-\nu$$, $$0<\nu<1$$, and $$x(t)$$, $$y(t)$$ are the solutions of the equations

$$\Delta^{\nu}_{a+\nu-1}x(t)=c_{1}(t)x(t+ \nu-1)$$
(4.1)

and

$$\Delta^{\nu}_{a+\nu-1}y(t)=c_{2}(t)y(t+ \nu-1),$$
(4.2)

respectively, for $$t\in \mathbb {N}_{a}$$ satisfying $$x(a+\nu-1)\geq y(a+\nu-1)>0$$. Then

$$x(t)\geq y(t),$$

for $$t\in \mathbb {N}_{a+\nu-1}$$.

Theorem 4.2

Assume $$0<\nu<1$$, b is a constant and $$a_{0}\in \mathbb {R}$$. Then the solution of the IVP

\begin{aligned}& \Delta^{\nu}_{a+\nu-1}y(t)=by(t+\nu-1),\quad t\in \mathbb {N}_{a}, \end{aligned}
(4.3)
\begin{aligned}& y(a+\nu-1)=\Delta^{\nu-1}_{a+\nu-1}y(t)|_{t=a}=a_{0}, \end{aligned}
(4.4)

is given by

$$y(t)=a_{0}\sum^{t-a-\nu+1}_{i=0}b^{i}h_{i\nu+\nu-1} \bigl(t,a-i(\nu-1)\bigr),\quad t\in \mathbb {N}_{a+\nu-1}.$$
(4.5)

Theorem 4.3

Assume $$0< b\le c(t)$$, $$0<\nu<1$$, and $$x(t)$$ is the solution of the fractional equation

\begin{aligned} \Delta^{\nu}_{a+\nu-1}x(t)=c(t)x(t+\nu-1),\quad t\in \mathbb {N}_{a}, \end{aligned}
(4.6)

satisfying $$x(a+\nu-1)>0$$. Then

$$\lim_{t\rightarrow\infty}x(t)=\infty.$$

Theorem 4.4

Assume $$-\nu< c(t)\leq0$$ and $$0<\nu<1$$. Then for all solutions $$x(t)$$ of the fractional equation

\begin{aligned} \Delta^{\nu}_{a+\nu-1}y(t)=c(t)y(t+\nu-1),\quad t\in \mathbb {N}_{a}, \end{aligned}
(4.7)

satisfying $$y(a+\nu-1)>0$$, we have

$$\lim_{t\rightarrow\infty}y(t)=0.$$

Theorems 4.3 and 4.4 give the following two results.

Theorem 4.5

Assume $$0<\nu<1$$ and there exists a constant b such that $$c(t)\geq b>0$$. Then the solutions of the equation (4.6) satisfying $$x(a+\nu-1)<0$$, satisfy

$$\lim_{t\rightarrow\infty}x(t)=-\infty.$$

Theorem 4.6

Assume $$0<\nu<1$$ and $$-\nu\leq c(t)<0$$. Then the solutions of equation (4.6), satisfying $$x(a+\nu-1)<0$$, satisfy

$$\lim_{t\rightarrow\infty}x(t)=0.$$

4.2 Results for the nabla fractional difference

Many of the results in this subsection can be found in the paper by Baoguo et al. [75] and in the references given therein. First we define the nabla Mittag-Leffler function.

Definition 4.7

For $$|p|<1$$, $$0<\alpha<1$$, we define the discrete Mittag-Leffler function by

$$E_{p,\alpha,\alpha-1}\bigl(t,\rho(a)\bigr):=\sum_{k=0}^{\infty}p^{k} H_{\alpha k+\alpha-1}\bigl(t,\rho(a)\bigr), \quad t\in \mathbb {N}_{a}.$$

The next two results give us some properties of the Mittag-Leffler function.

Theorem 4.8

Assume that $$0<\nu<1$$, $$|b|<1$$. Then

$$\nabla^{\nu}_{\rho(a)}E_{b,\nu,\nu-1}\bigl(t,\rho(a) \bigr)=E_{b,\nu,-1}\bigl(t,\rho(a)\bigr)$$

for $$t\in \mathbb {N}_{a}$$.

Theorem 4.9

Assume that $$0<\nu<1$$, $$|b|<1$$. Then $$E_{b,\nu,\nu-1}(t,\rho(a))$$ is the unique solution of the initial value problem

\begin{aligned} &\nabla^{\nu}_{\rho(a)}x(t)=b x(t),\quad t\in \mathbb {N}_{a+1},\\ & x(a)=\frac{1}{1-b}>0. \end{aligned}
(4.8)

The following result is an important comparison theorem for nabla fractional equations.

Theorem 4.10

Assume $$c_{2}(t)\leq c_{1}(t)< 1$$, $$0<\nu<1$$. If $$x(t)$$, $$y(t)$$ are the solutions of the equations

$$\nabla^{\nu}_{\rho(a)}x(t)=c_{1}(t)x(t)$$
(4.9)

and

$$\nabla^{\nu}_{\rho(a)}y(t)=c_{2}(t)y(t),$$
(4.10)

respectively, for $$t\in \mathbb {N}_{a+1}$$, satisfying $$x(a)\geq y(a)>0$$, then

$$x(t)\geq y(t),$$

for $$t\in \mathbb {N}_{a}$$.

TheoremÂ 4.10 gives us the following result.

Theorem 4.11

Assume $$c_{2}(t)\leq c_{1}(t)< 1$$, $$0<\nu<1$$. If $$x(t)$$, $$y(t)$$ are the solutions of the equations

$$\nabla^{\nu}_{\rho(a)}x(t)=c_{1}(t)x(t)$$
(4.11)

and

$$\nabla^{\nu}_{\rho(a)}y(t)=c_{2}(t)y(t),$$
(4.12)

respectively, for $$t\in \mathbb {N}_{a+1}$$, satisfying $$x(a)\geq y(a)>0$$, then

$$x(t)\geq y(t),$$

for $$t\in \mathbb {N}_{a}$$.

The following result follows from the comparison theorem (TheoremÂ 4.11).

Theorem 4.12

Assume $$0< b\leq c(t)< 1$$, $$0<\nu<1$$. Then for any solution $$x(t)$$ of

\begin{aligned} \nabla^{\nu}_{\rho(a)}x(t)=c(t)x(t),\quad t\in \mathbb {N}_{a+1}, \end{aligned}
(4.13)

satisfying $$x(a)>0$$ we have

$$x(t)\geq\frac{(1-b)x(a)}{2}E_{b,\nu,\nu-1}\bigl(t,\rho(a)\bigr),\quad t\in \mathbb {N}_{a}.$$

Using the result that for $$\Re(z)>0$$, we have

$$\Gamma(z)=\lim_{n\rightarrow\infty}\frac{n!n^{z}}{z(z+1)\cdots(z+n)},$$

one can then prove the following result giving interesting properties of certain nabla fractional Taylor monomials.

Theorem 4.13

Assume that $$0<\nu<1$$. Then we have

\begin{aligned} &\lim_{t\rightarrow\infty}H_{\nu k+\nu-1}\bigl(t, \rho(a)\bigr)=\infty, \quad\textit{for } k>\frac{1-\nu}{\nu}, \\ &\lim_{t\rightarrow\infty}H_{\nu k+\nu-1}\bigl(t,\rho(a)\bigr)= \frac{1}{\nu k+\nu },\quad \textit{for } k=\frac{1-\nu}{\nu}, \\ &\lim_{t\rightarrow\infty}H_{\nu k+\nu-1}\bigl(t,\rho(a)\bigr)=0, \quad\textit{for } k< \frac{1-\nu}{\nu}. \end{aligned}
(4.14)

Theorem 4.14

For $$0< b<1$$, we have

$$\lim_{t\rightarrow\infty}E_{b,\nu,\nu-1}\bigl(t,\rho(a)\bigr)=+\infty.$$

From TheoremÂ 4.12 and TheoremÂ 4.14, we get the following result, which can be regarded as an extension of a result which appears in Atici and Eloe [36].

Theorem 4.15

Assume $$0<\nu<1$$ and there exists a constant b such that $$0< b\leq c(t)<1$$. Then the solutions of the equation (4.13) satisfy

$$\lim_{t\rightarrow\infty}x(t)=\infty.$$

In the following theorem we get conditions under which the solutions of a nabla fractional equation tend to zero.

Theorem 4.16

Assume $$c(t)\leq0$$, $$0<\nu<1$$. Then for all solutions $$x(t)$$ of the fractional equation

\begin{aligned} \nabla^{\nu}_{\rho(a)}y(t)=c(t)y(t),\quad t\in \mathbb {N}_{a+1}, \end{aligned}
(4.15)

satisfying $$y(a)>0$$ we have

$$\lim_{t\rightarrow\infty}y(t)=0.$$

In particular

$$\lim_{t\to\infty}E_{-b,\nu,\nu-1}\bigl(t,\rho(a)\bigr)=0.$$

Theorems 4.15 and 4.16 give us the following result.

Theorem 4.17

Assume $$0<\nu<1$$. If there exists a constant b such that $$0< b\leq c(t)<1$$, then the solutions of the equation (4.13) satisfy

$$\lim_{t\rightarrow\infty}x(t)=-\infty.$$

If $$c(t)\leq0$$, then the solutions of equation (4.15) satisfy

$$\lim_{t\rightarrow\infty}x(t)=0.$$

For results similar to the results in these last two subsections for the q-calculus we refer the reader to the paper by Jia et al. [68].

References

1. Atici, FM, ÅžengÃ¼l, S: Modeling with fractional difference equations. J. Math. Anal. Appl. 369, 1-9 (2010)

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

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

4. Atici, FM, Eloe, PW: A transform method in discrete fractional calculus. Int. J. Difference Equ. 2, 165-176 (2007)

5. Atici, FM, Eloe, PW: Discrete fractional calculus with the nabla operator. Electron. J. Qual. Theory Differ. Equ. Special Edition I, 3 (2009)

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

7. Atici, FM, Eloe, PW: Two-point boundary value problems for finite fractional difference equations. J. Differ. Equ. Appl. 17, 445-456 (2011)

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

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

10. Anastassiou, GA: Nabla discrete fractional calculus and nabla inequalities. Math. Comput. Model. 51, 562-571 (2010)

11. Anastassiou, GA: Principles of delta fractional calculus on time scales and inequalities. Math. Comput. Model. 52, 556-566 (2010)

12. Anastassiou, GA: Foundations of nabla fractional calculus on time scales and inequalities. Comput. Math. Appl. 59, 3750-3762 (2010)

13. Anastassiou, GA: Right nabla discrete fractional calculus. Int. J. Difference Equ. 6, 91-104 (2011)

14. Anastassiou, GA: q-Fractional inequalities. CUBO 13, 61-71 (2011)

15. Anastassiou, GA: Elements of right delta fractional calculus on time scales. J. Concr. Appl. Math. 10, 159-167 (2012)

16. Anastassiou, GA: Nabla fractional calculus on time scales and inequalities. J. Concr. Appl. Math. 11, 96-111 (2013)

17. Atici, FM, Acar, N: Exponential functions of discrete fractional calculus. Appl. Anal. Discrete Math. 7, 343-353 (2013)

18. Atici, FM, Eloe, PW: Gronwallâ€™s inequality on discrete fractional calculus. Comput. Math. Appl. 64, 3193-3200 (2012)

19. Atici, FM, Eloe, PW: Linear forward fractional difference equations. Commun. Appl. Anal. 19, 31-42 (2015)

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

21. Baoguo, J, Erbe, L, Goodrich, CS, Peterson, A: The relation between nabla fractional differences and nabla integer differences. Filomat (to appear)

22. Baoguo, J, Erbe, L, Goodrich, CS, Peterson, A: Monotonicity results for delta fractional differences revisited. Math. Slovaca (to appear)

23. Jia, B, Erbe, L, Peterson, A: Convexity for nabla and delta fractional differences. J. Differ. Equ. Appl. 21, 360-373 (2015)

24. Jia, B, Erbe, L, Peterson, A: Some relations between the Caputo fractional difference operators and integer order differences. Electron. J. Differ. Equ. 2015, 163 (2015)

25. ÄŒermÃ¡k, J, NechvÃ¡tal, L: On $$(q,h)$$-analogue of fractional calculus. J. Nonlinear Math. Phys. 17, 51-68 (2010)

26. ÄŒermÃ¡k, J, Kisela, T, NechvÃ¡tal, L: Discrete Mittag-Leffler functions in linear fractional difference equations. Abstr. Appl. Anal. 2011, Article ID 565067 (2011)

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

28. Dahal, R, Goodrich, CS: Erratum to â€˜R. Dahal, C. S. Goodrich, A monotonicity result for discrete fractional difference operators, Arch. Math. (Basel) 102 (2014), 293-299â€™. Arch. Math. (Basel) 104, 599-600 (2015)

29. Ferreira, RAC: A discrete fractional Gronwall inequality. Proc. Am. Math. Soc. 140, 1605-1612 (2012)

30. Goodrich, CS: Continuity of solutions to discrete fractional initial value problems. Comput. Math. Appl. 59, 3489-3499 (2010)

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

32. Holm, M: Sum and difference compositions and applications in discrete fractional calculus. CUBO 13, 153-184 (2011)

33. Ahrendt, K, Castle, L, Holm, M, Yochman, K: Laplace transforms for the nabla-difference operator and a fractional variation of parameters formula. Commun. Appl. Anal. 16, 317-347 (2012)

34. Holm, M: The Laplace transform in discrete fractional calculus. Comput. Math. Appl. 62, 1591-1601 (2011)

35. Agarwal, RP, Ahmad, B, Alsaedi, A, Al-Hutami, H: Existence theory for q-antiperiodic boundary value problems of sequential q-fractional integrodifferential equations. Abstr. Appl. Anal. 2014, Article ID 207547 (2014)

36. Atici, FM, Eloe, PW: Linear systems of fractional nabla difference equations. Rocky Mt. J. Math. 41, 353-370 (2011)

37. Awasthi, P: Existence and uniqueness of solutions of a conjugate fractional boundary value problem. Commun. Appl. Anal. 16, 529-540 (2012)

38. Awasthi, P: Boundary value problems for a discrete self-adjoint equation. Panam. Math. J. 23, 13-34 (2013)

39. Awasthi, P, Erbe, L, Peterson, A: Existence and uniqueness results for positive solutions of a nonlinear fractional difference equation. Commun. Appl. Anal. 9, 61-78 (2015)

40. Baleanu, D, Rezapour, S, Salehi, S: On the existence of solution for a fractional finite difference inclusion via three points boundary conditions. Adv. Differ. Equ. 2015, Article ID 242 (2015)

41. Dahal, R, Duncan, D, Goodrich, CS: Systems of semipositone discrete fractional boundary value problems. J. Differ. Equ. Appl. 20, 473-491 (2014)

42. Ferreira, RAC: Existence and uniqueness of solution to some discrete fractional boundary value problems of order less than one. J. Differ. Equ. Appl. 19, 712-718 (2013)

43. Ferreira, RAC, Goodrich, CS: Positive solution for a discrete fractional periodic boundary value problem. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 19, 545-557 (2012)

44. Ferreira, RAC, Goodrich, CS: On positive solutions to fractional difference inclusions. Analysis 35, 73-83 (2015)

45. Goodrich, CS: Solutions to a discrete right-focal boundary value problem. Int. J. Difference Equ. 5, 195-216 (2010)

46. Goodrich, CS: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 61, 191-202 (2011)

47. Goodrich, CS: Existence of a positive solution to a system of discrete fractional boundary value problems. Appl. Math. Comput. 217, 4740-4753 (2011)

48. Goodrich, CS: On discrete sequential fractional boundary value problems. J. Math. Anal. Appl. 385, 111-124 (2012)

49. Goodrich, CS: On a discrete fractional three-point boundary value problem. J. Differ. Equ. Appl. 18, 397-415 (2012)

50. Goodrich, CS: On a fractional boundary value problem with fractional boundary conditions. Appl. Math. Lett. 25, 1101-1105 (2012)

51. Goodrich, CS: On discrete fractional boundary value problems with nonlocal, nonlinear boundary conditions. Commun. Appl. Anal. 16, 433-446 (2012)

52. Goodrich, CS: On a first-order semipositone discrete fractional boundary value problem. Arch. Math. (Basel) 99, 509-518 (2012)

53. Goodrich, CS: On semipositone discrete fractional boundary value problems with nonlocal boundary conditions. J.Â Differ. Equ. Appl. 19, 1758-1780 (2013)

54. Goodrich, CS: Systems of discrete fractional boundary value problems with nonlinearities satisfying no growth conditions. J. Differ. Equ. Appl. 21, 437-453 (2015)

55. He, Y, Sun, M, Hou, C: Multiple positive solutions of nonlinear boundary value problem for finite fractional difference. Abstr. Appl. Anal. 2014, Article ID 147975 (2014)

56. Holm, M: Solutions to a discrete, nonlinear, $$(N-1,1)$$ fractional boundary value problem. Int. J. Dyn. Syst. Differ. Equ. 3, 267-287 (2011)

57. Lv, Z, Gong, Y, Chen, Y: Multiplicity and uniqueness for a class of discrete fractional boundary value problems. Appl. Math. 59, 673-695 (2014)

58. Sitthiwirattham, T, Tariboon, J, Ntouyas, SK: Boundary value problems for fractional difference equations with three-point fractional sum boundary conditions. Adv. Differ. Equ. 2013, Article ID 296 (2013)

59. Sitthiwirattham, T: Existence and uniqueness of solutions of sequential nonlinear fractional difference equations with three-point fractional sum boundary conditions. Math. Methods Appl. Sci. 38, 2809-2815 (2015)

60. Bastos, NRO, Mozyrska, D, Torres, DFM: Fractional derivatives and integrals on time scales via the inverse generalized Laplace transform. Int. J. Math. Comput. 11, 1-9 (2011)

61. Ferreira, RAC: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 70 (2010)

62. Ferreira, RAC: Positive solutions for a class of boundary value problems with fractional q-differences. Comput. Math. Appl. 61, 367-373 (2011)

63. Ferreira, RAC, Torres, DFM: Fractional h-difference equations arising from the calculus of variations. Appl. Anal. Discrete Math. 5, 110-121 (2011)

64. Graef, J, Kong, L: Positive solutions for a class of higher order boundary value problems with fractional q-derivatives. Appl. Math. Comput. 218, 9682-9689 (2012)

65. Akin, E, AsliyÃ¼ce, S, GÃ¼venilir, A, KaymakÃ§alan, B: Discrete GrÃ¼ss type inequality on fractional calculus. J. Inequal. Appl. 2015, Article ID 174 (2015)

66. GÃ¼venilir, A, KaymakÃ§alan, B, Peterson, AC, TaÅŸ, K: Nabla discrete fractional GrÃ¼ss type inequality. J. Inequal. Appl. 2014, Article ID 86 (2014)

67. Xu, R, Zhang, Y: Generalized Gronwall fractional summation inequalities and their applications. J. Inequal. Appl. 2015, Article ID 242 (2015)

68. Jia, B, Erbe, L, Peterson, A: Asymptotic behavior of solutions of fractional nabla q-difference equations (submitted)

69. Jia, B, Erbe, L, Peterson, A: Comparison theorems and asymptotic behavior of solutions of discrete fractional equations (submitted)

70. Jia, B, Erbe, L, Peterson, A: Comparison theorems and asymptotic behavior of solutions of Caputo fractional equations (submitted)

71. Wu, G, Baleanu, D: Discrete fractional logistic map and its chaos. Nonlinear Dyn. 75, 283-287 (2014)

72. Goodrich, CS: A note on convexity, concavity, and growth conditions in discrete fractional calculus with delta difference. Math. Inequal. Appl. (to appear). doi:10.7153/mia-19-57

73. Baoguo, J, Erbe, L, Peterson, A: Monotonicity and convexity for nabla fractional q-differences. Dyn. Syst. Appl. (toÂ appear)

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

75. Baoguo, J, Erbe, L, Peterson, A: Comparison theorems and asymptotic behavior of solutions of discrete fractional equations. Electron. J. Qual. Theory Differ. Equ. 2015, 89 (2015)

Acknowledgements

The third author was supported by The National Science Foundation of China (No. 11271380) and Guangdong Province Key Laboratory of Computational Science.

Author information

Authors

Corresponding author

Correspondence to Allan Peterson.

Competing interests

The authors declare to have no competing interests.

Authorsâ€™ contributions

All four authors contributed equally in writing this survey paper. All authors read and approved the final manuscript.

Rights and permissions

Reprints and permissions

Erbe, L., Goodrich, C.S., Jia, B. et al. Survey of the qualitative properties of fractional difference operators: monotonicity, convexity, and asymptotic behavior of solutions. Adv Differ Equ 2016, 43 (2016). https://doi.org/10.1186/s13662-016-0760-3