 Research
 Open Access
 Published:
Power functions and essentials of fractional calculus on isolated time scales
Advances in Difference Equations volume 2013, Article number: 259 (2013)
Abstract
This paper is concerned about a recently suggested axiomatic definition of power functions on a general time scale and its consequences to fractional calculus. Besides a discussion of the existence and uniqueness of such functions, we derive an efficient formula for the computation of power functions of rational orders on an arbitrary isolated time scale. It can be utilized in the introduction and evaluation of fractional sums and differences. We also deal with the Laplace transform of such fractional operators, which, apart from solving of fractional difference equations, enables a more detailed comparison of our results with those in the relevant literature. Some illustrating examples (including special fractional initial value problems) are presented as well.
MSC:26E70, 39A12, 26A33, 44A10.
1 Introduction
In the last decades, continuous fractional calculus, i.e., a calculus dealing with integrals and derivatives of noninteger orders, evolved in a respected mathematical discipline with a number of physical and technical applications (for more information we refer to monographs, e.g., [1, 2]). Its key notion can be represented by the formula for the fractional integral of a real function f
where γ is an order of integration. Note that the term ‘fractional’ is used due to a tradition, because (1) allows to utilize not only rational, but also real and, in principle, even complex values of γ.
Contrary to the continuous fractional calculus, which has been studied for more than 300 years, its discrete counterpart is a rather new topic. It started by the pioneering works [3, 4], where fractional operators were introduced for the qcalculus and the difference calculus, respectively. Utilizing a current notation, corresponding fractional sums of an appropriate function f can be written as
($q>0$, $q\ne 1$, $a>0$) and
For more information on definitions of discrete power functions ${(\cdot )}_{q}^{(\gamma )}$ and ${(\cdot )}^{(\gamma )}$ we refer, e.g., to [5, 6].
In the last decade, many authors proceeded with these ideas and studied properties of corresponding fractional difference equations as well as further generalizations of this theory, e.g., to hcalculus and $(q,h)$calculus (see, e.g., [5, 7–11] and [12–14]). In these papers, the authors often preferred the notation based on the time scales theory, which easily exposes similarities among the results derived in qcalculus, hcalculus, $(q,h)$calculus and the continuous case. However, this notation was employed only formally, since there was no general time scale definition of the power function occurring in (1)(3), therefore, the achieved results could not be generally applied to other time scales.
On this account, some ideas regarding fundamental properties which should be met by power functions on time scales were outlined in [15]. In [16], the authors introduced fractional calculus (and by extension also power functions) via the Laplace transform. However, this approach is limited to settings with the welldefined Laplace transform (see [17]) and suffers by some technical difficulties, connected to the inverse Laplace transform. Recently, in [6] and [18], the authors independently suggested an axiomatic definition of power functions on an arbitrary time scale.
It this paper, we are going to continue in this research and discuss this definition and some of its consequences. In Section 2, we recall basics of the time scales theory and present some advanced results concerning a convolution and Laplace transform on time scales. Section 3 is devoted to fractional calculus on time scales. In particular, we state the definition of power functions and fractional operators, comment on their relations to approaches in [6, 15] and [18], and point out several interesting properties. In Section 4, we show that the suggested definition is wellposed on every isolated time scale and provides an effective formula for computing values of power functions of rational orders. We also discuss a singular behaviour of negativeorder power functions implied by proposed axioms. Section 5 provides a link between our axiomatic definition and the Laplace transform approach developed in [16]. We also present a few examples involving special fractional difference equations, considered on various time scales. The paper is concluded by Section 6, summarizing the obtained results and discussing some induced open problems.
2 Time scales preliminaries
A time scale is an arbitrary nonempty closed subset of real numbers, e.g., the reals ℝ, arithmetic sequence $h\mathbb{Z}=\{nh;n\in \mathbb{Z}\}$ ($h>0$), geometric sequence $\overline{{q}^{\mathbb{Z}}}=cl\{{q}^{n};n\in \mathbb{Z}\}$ ($q>0$, $q\ne 1$) or their combinations denoted as ${\mathbb{T}}_{(q,h)}$ (see [5]). If $inf\mathbb{T}=a>\mathrm{\infty}$, we denote ${\mathbb{T}}_{\kappa}=\mathbb{T}\setminus a$, otherwise ${\mathbb{T}}_{\kappa}=\mathbb{T}$. For any $t\in \mathbb{T}$, we define the forward and backward jump operator $\sigma (t)=inf\{\tau \in \mathbb{T};\tau >t\}$ and $\rho (t)=sup\{\tau \in \mathbb{T};\tau <t\}$, respectively. If $\rho (t)<t<\sigma (t)$ for all $t\in \mathbb{T}$ such that $inf\mathbb{T}<t<sup\mathbb{T}$, we speak of an isolated time scale. We also recall the forward and backward graininess function $\mu (t)=\sigma (t)t$ and $\nu (t)=t\rho (t)$, respectively. For detailed information on the time scales theory, we refer to [19, 20]. In the sequel, we utilize a notation ${(a,b)}_{M}=(a,b)\cap M$, where M is an arbitrary subset of reals (analogously for closed intervals).
The symbol $\mathrm{\nabla}f(t)$ is the nabla derivative of $f:\mathbb{T}\to \mathbb{R}$ at $t\in {\mathbb{T}}_{\kappa}$. For our purposes, it is sufficient to recall its form on isolated time scales when
and ${\mathrm{\nabla}}^{m}f(t)=\mathrm{\nabla}({\mathrm{\nabla}}^{m1}f(t))$ ($m\in \mathbb{Z}$, $m>1$). Similarly, we omit a general definition of nabla integral and specify only its isolated time scale version
for f being bounded on ${[a,b]}_{\mathbb{T}}$. Of course, it is possible to consider also the delta derivatives and integrals. However, the nabla version seems to be more suitable for fractional calculus as outlined, e.g., in [5, 14].
Time scale derivatives and integrals are related by several useful rules (see, e.g., [20]), e.g.,
where f, g and y are real functions such that the integrals exist and ${\mathrm{\nabla}}_{t}$ represents the derivative with respect to t (an omitted index implies the derivative with respect to the first variable).
To utilize the time scales theory as a unification of continuous and discrete fractional calculus, we have to introduce reasonable extensions of standard definitions of some related notions (see, e.g., [20]). In this connection, we recall the family of monomials ${\stackrel{\u02c6}{h}}_{m}$ defined for integers m via the recursion
Now, we present some advanced results, related to the Laplace transform and convolution on time scales. We start with the definition of nabla Laplace transform introduced in [17].
Definition 2.1 Let $a\in {\mathbb{T}}_{\mathcal{L}}$, where ${\mathbb{T}}_{\mathcal{L}}$ is a time scale such that $sup{\mathbb{T}}_{\mathcal{L}}=\mathrm{\infty}$ and $sup\{\nu (t);t\in {\mathbb{T}}_{\mathcal{L}}\}<\mathrm{\infty}$. The Laplace transform of $f:{(a,\mathrm{\infty})}_{{\mathbb{T}}_{\mathcal{L}}}\to \mathbb{R}$ is defined by
where ${\mathcal{D}}_{\mathcal{L}}(f)$ consists of all $z\in \mathbb{C}$, for which the improper integral exists, and for which $1z\nu (t)\ne 0$ for all $t\in {(a,\mathrm{\infty})}_{{\mathbb{T}}_{\mathcal{L}}}$. The symbol ${\stackrel{\u02c6}{e}}_{z}$ denotes the nabla time scale exponential function (see [20]).
Remark 2.2 Clearly, a necessary condition for existence of ${\mathcal{L}}_{a}\{f\}(z)$ is ${lim}_{\tau \to \mathrm{\infty}}f(\tau ){e}_{z}(a,\rho (\tau ))=0$.
By a modification of the proofs presented in [17, 21], we can prove analogues of many important properties of the Laplace transform known from continuous analysis. For our purposes, we recall
Regarding one of key results connected to the Laplace transform, the convolution theorem, we first have to introduce a convolution on time scales. This issue was solved in [22] for the case of the delta calculus. We adapt this approach for the nabla calculus.
Definition 2.3 Let $a\in \mathbb{T}$. The shift of $f:{(a,\mathrm{\infty})}_{\mathbb{T}}\to \mathbb{R}$ is defined as the solution of the shifting problem
Remark 2.4 (i) If the graininess is constant, the shifting problem has a unique solution $u(t,s)=f(ts)$.

(ii)
For all $\xi \in \mathbb{T}$, the shift of ${\stackrel{\u02c6}{h}}_{m}(t,\xi )$, ${\stackrel{\u02c6}{e}}_{\lambda}(t,\xi )$ ($m\in {\mathbb{Z}}_{0}^{+}$, $\lambda \in \mathbb{R}$) is ${\stackrel{\u02c6}{h}}_{m}(t,s)$, ${\stackrel{\u02c6}{e}}_{\lambda}(t,s)$, respectively (see [22]).
Definition 2.5 Let $s,t\in \mathbb{T}$ be such that $t\ge s$. The convolution of $f,g:\mathbb{T}\to \mathbb{R}$ is defined by
Theorem 2.6 Let f, g be functions such that ${\mathcal{L}}_{a}\{f\}(z)$, ${\mathcal{L}}_{a}\{g\}(z)$ exist. Then
Proof Analogous assertion was proved in [22] for the delta calculus. We utilize a similar technique with several adjustments better suiting our purposes.
Utilizing the formulas ${\int}_{a}^{T}{\int}_{a}^{t}f(t,\tau )\mathrm{\nabla}\tau \mathrm{\nabla}t={\int}_{a}^{T}{\int}_{\rho (\tau )}^{T}f(t,\tau )\mathrm{\nabla}t\mathrm{\nabla}\tau $ and ${\stackrel{\u02c6}{e}}_{z}(t,s)={\stackrel{\u02c6}{e}}_{z}(t,\xi ){e}_{z}(\xi ,s)$ (see [20]), we can write
where $\mathrm{\Psi}(s)={\int}_{s}^{\mathrm{\infty}}{\stackrel{\u02c6}{e}}_{z}(s,\rho (t))\stackrel{\u02c6}{f}(t,s)\mathrm{\nabla}t$. We show that $\mathrm{\Psi}(s)$ is constant, i.e., its derivative is zero. Indeed, employing (8), (5), Definition 2.3, Remark 2.4(ii), (6) and Remark 2.2, yields
Hence, substituting $\mathrm{\Psi}(\rho (\tau ))=\mathrm{\Psi}(a)$ into (13), we obtain ${\mathcal{L}}_{a}\{(f\ast g)(\cdot ,a)\}(z)={\mathcal{L}}_{a}\{g\}(z)\cdot {\mathcal{L}}_{a}\{f\}(z)$. □
3 Foundations of fractional calculus on time scales
As indicated by (1)(3), the issue of fractional calculus in the time scales theory is connected to the problem of defining appropriate power functions. A standard method, based on a generalization of explicit formulas for monomials to noninteger values of m, is effective only in special cases ($h\mathbb{Z}$, $\overline{{q}^{\mathbb{Z}}}$, ${\mathbb{T}}_{(q,h)}$, ℝ). In general, the explicit formulas for monomials are not known, therefore, a different approach is required.
Recently, in [6] and [18], there were independently suggested quite similar axiomatic definitions of time scales power functions. We develop the one presented in [18].
Definition 3.1 Let $s,t\in \mathbb{T}$, and let $\beta ,\gamma \in (1,\mathrm{\infty})$. The time scales power functions ${\stackrel{\u02c6}{h}}_{\beta}(t,s)$ are defined as a family of nonnegative functions satisfying

(i)
${\int}_{s}^{t}{\stackrel{\u02c6}{h}}_{\beta}(t,\rho (\tau )){\stackrel{\u02c6}{h}}_{\gamma}(\tau ,s)\mathrm{\nabla}\tau ={\stackrel{\u02c6}{h}}_{\beta +\gamma +1}(t,s)$ for $t\ge s$,

(ii)
${\stackrel{\u02c6}{h}}_{0}(t,s)=1$ for $t\ge s$,

(iii)
${\stackrel{\u02c6}{h}}_{\beta}(t,t)=0$ for $0<\beta <1$.
Further, the parameter β in ${\stackrel{\u02c6}{h}}_{\beta}(t,s)$ is called the order of the power function ${\stackrel{\u02c6}{h}}_{\beta}(t,s)$.
Compared to the definition in [6], the key underlying ideas are basically the same. However, some additional conditions are prescribed in [6]. The main difference lies in the condition ${\stackrel{\u02c6}{h}}_{\beta}(t,s)=0$, whenever $t\le s$ for all $\beta >1$. In our opinion, this assumption creates an inconsistence with the definition of time scales monomials (${\stackrel{\u02c6}{h}}_{0}(t,s)=1$ for all $s,t\in \mathbb{T}$) and with the wellknown power functions on $\mathbb{T}=\mathbb{R}$ (${\stackrel{\u02c6}{h}}_{\beta}(t,s)=\frac{{(ts)}^{\beta}}{\mathrm{\Gamma}(\beta +1)}$ is in general undefined for $t<s$). Thus, we prefer to leave the values of ${\stackrel{\u02c6}{h}}_{\beta}(t,s)$ undefined for $t<s$ (they do not occur in fractional calculus anyway). The consequences for $t=s$ will be discussed later. We point out that for $t>s$, our definition coincides with [[6], Definition 3.2] and with historically established power functions on ℝ, $h\mathbb{Z}$, $\overline{{q}^{\mathbb{Z}}}$, ${\mathbb{T}}_{(q,h)}$ and their subintervals (see [6] and [18]). We note that condition (i) in Definition 3.1 first appeared without a deeper analysis or discussion in [15].
Remark 3.2 The wellposedness of Definition 3.1 was not discussed in [6] nor [18]. In Section 4, we show that it determines uniquely at least the power functions of rational orders on isolated time scales. In the remaining part of the current section, we assume that the power functions on corresponding time scales exist.
Lemma 3.3 Let $m\in {\mathbb{Z}}^{+}$, $\beta \in (1,\mathrm{\infty})$, $s,t\in \mathbb{T}$ be such that $t>s$. Then
Proof Let $m=1$ and $\beta >0$. Then, utilizing Definition 3.1(i) and (7), we can write $\mathrm{\nabla}{\stackrel{\u02c6}{h}}_{\beta}(t,s)=\mathrm{\nabla}{\int}_{s}^{t}{\stackrel{\u02c6}{h}}_{\beta 1}(\tau ,s)\mathrm{\nabla}\tau ={\stackrel{\u02c6}{h}}_{\beta 1}(t,s)$. The first part of the assertion now follows by the induction principle. The second part is a consequence of $\mathrm{\nabla}{\stackrel{\u02c6}{h}}_{0}(t,s)=0$. □
Remark 3.4 Lemma 3.3 does not discuss the case $\beta \in (1,m1]\setminus \{0,1,\dots ,m1\}$ due to an occurrence of power functions of order less than −1. Since such functions cannot be included in Definition 3.1 (e.g., due to unintegrability in real analysis), the extension of Lemma 3.3 can serve as their definition, e.g.,
where $\lceil \beta \rceil $ is the ceiling function $\lceil \beta \rceil =min\{m\in \mathbb{Z};m\ge \beta \}$. The presented approach does not allow to introduce power functions of negative integer orders.
Considering the welldefined power functions, we can introduce fractional operators in the frame of the time scales theory (see [6, 15] and [12, 18]) following the continuous paradigm (see, e.g., [1, 2]).
Definition 3.5 Let $\gamma \ge 0$, $\alpha >0$, $\tilde{a},a,b\in \mathbb{T}$ be such that $\tilde{a}\le a<b$. Then for a function $f:{(\tilde{a},b]}_{\mathbb{T}}\to \mathbb{R}$ we define

(i)
the fractional integral of order $\gamma >0$ with the lower limit a as
$${}_{a}\mathrm{\nabla}^{\gamma}f(t)={\int}_{a}^{t}{\stackrel{\u02c6}{h}}_{\gamma 1}(t,\rho (\tau ))f(\tau )\mathrm{\nabla}\tau ,\phantom{\rule{1em}{0ex}}t\in {[a,b]}_{\mathbb{T}}\cap {(\tilde{a},b]}_{\mathbb{T}}$$
and for $\gamma =0$, we put ${}_{a}\mathrm{\nabla}^{0}f(t)=f(t)$,

(ii)
the RiemannLiouville fractional derivative of order α with the lower limit a as
$${}_{a}\mathrm{\nabla}^{\alpha}f(t)=\mathrm{\nabla}^{\lceil \alpha \rceil}{}_{a}{\mathrm{\nabla}}^{\alpha \lceil \alpha \rceil}f(t),\phantom{\rule{1em}{0ex}}t\in {[\sigma (a),b]}_{\mathbb{T}}\cap {(\sigma (\tilde{a}),b]}_{\mathbb{T}},$$ 
(iii)
and the Caputo fractional derivative of order α with the lower limit a ($a>\tilde{a}$) as
$${}_{a}{}^{\mathrm{C}}\mathrm{\nabla}^{\alpha}f(t){=}_{a}{\mathrm{\nabla}}^{\alpha \lceil \alpha \rceil}{\mathrm{\nabla}}^{\lceil \alpha \rceil}f(t),\phantom{\rule{1em}{0ex}}t\in {[\sigma (a),b]}_{\mathbb{T}}.$$
Remark 3.6 (i) For $\gamma =1$, Definition 3.5(i) reduces to a formula for the antiderivative ${}_{a}\mathrm{\nabla}^{1}f(t)={\int}_{a}^{t}f(\tau )\mathrm{\nabla}\tau $ known from the time scales theory (see [20]).

(ii)
We can see a formal agreement of Definition 3.5(i) with (1)(3) (for detailed information see [6]).
Remark 3.7 (i) If $a>\tilde{a}$, we obtain a usual definitions of the difference calculus, qcalculus and $(q,h)$calculus. In this case, it holds ${}_{a}\mathrm{\nabla}^{\gamma}f(t){}_{t=a}=0$ on every time scale.

(ii)
If $a=\tilde{a}$, the integrated function is undefined at the lower limit of the integral. Such functions play an important role in continuous fractional calculus and, as we demonstrate in the following sections, can appear also on isolated time scales.
In [6] and [18], the authors proved many time scales analogues of important properties of fractional operators known from continuous analysis, e.g., the index law ${}_{a}\mathrm{\nabla}^{\gamma}{}_{a}{\mathrm{\nabla}}^{\beta}f(t){=}_{a}{\mathrm{\nabla}}^{(\gamma +\beta )}f(t)$ ($\gamma ,\beta >0$). One of the key relationships of the fractional calculus is a power rule, which can be written as
Theorem 3.8 Let $\alpha \in \mathbb{R}$, $\beta \in (1,\mathrm{\infty})$ and $s,t\in \mathbb{T}$ be such that $t>s$. Then it holds
Proof For $\alpha <0$ it follows by Definitions 3.5(i) and 3.1(i). For $\alpha >0$, we utilize also Lemma 3.3. □
By similar arguments, we can derive an analogous formula for Caputo fractional derivative, i.e.,
Theorem 3.9 Let $\alpha >0$, $\beta \in (1,\mathrm{\infty})$ and $s,t\in \mathbb{T}$ be such that $t>s$. Then it holds
4 Power functions on isolated time scales
Although the axiomatic definition of power functions has been proposed, its feasibility, i.e., the question of existence and uniqueness, has not been discussed yet. In [6], the author presents examples of such functions on ℝ, $h\mathbb{Z}$, ${q}^{\mathbb{Z}}$ or ${\mathbb{T}}_{(q,h)}$, but those functions are known historically, they are not originally based on the proposed axiomatic definition.
In this section, we analyze Definition 3.1 on an arbitrary isolated time scale. We constructively prove the existence and uniqueness of rationalorder power functions, which enables us to present graphs of power functions on some chosen time scales for the first time. Further, we discuss some properties of negativeorder power functions, which are, to the author’s knowledge, quite new in the frame of isolated time scales.
Lemma 4.1 Let $\beta \in (1,\mathrm{\infty})$, $s,t\in {\mathbb{T}}_{\kappa}$ be such that $t>s$. Then ${\stackrel{\u02c6}{h}}_{\beta}$ solves the shifting problem, i.e.,
Proof For $\beta \in {\mathbb{Z}}_{0}^{+}$, the result is known (see Remark 2.4(ii)). Thus, for $\beta \in (1,\mathrm{\infty})\setminus {\mathbb{Z}}_{0}^{+}$, we can write
where we employ (7) and (8). Utilizing (6) and (5), we have
Substituting this into (14), we get
Now, using (7) and (8), we evaluate the derivatives of ${\stackrel{\u02c6}{h}}_{\lceil \beta \rceil \beta}$, i.e.,
Thus, we arrive at
which implies the assertion. □
Remark 4.2 Lemma 4.1 enables us to write Definition 3.1(i) via the convolution. Indeed, setting $f(t)={\stackrel{\u02c6}{h}}_{\beta}(t,s)$ and $g(t)={\stackrel{\u02c6}{h}}_{\gamma}(t,s)$, Definition 2.5 yields
Theorem 4.3 Let be an isolated time scale, and let $r\in {(1,\mathrm{\infty})}_{\mathbb{Q}}$. Then Definition 3.1 determines uniquely the power function ${\stackrel{\u02c6}{h}}_{r}(t,s)$ for all $s,t\in \mathbb{T}$ such that $t>s$.
Proof We prove this assertion constructively. Due to Definition 3.1(ii), the power functions for $r\in {\mathbb{Z}}_{0}^{+}$ reduce to monomials uniquely given by (9), (10). Now, let $r=\frac{u}{w+1}$ ($u\in \mathbb{Z}$, $w\in {\mathbb{Z}}^{+}$, $u\le w$) be the order of the power function and $a,t\in \mathbb{T}$ be such that $t>a$. Subsequent application of Definition 3.1(i) yields
Setting $t={\sigma}^{n}(a)$, we expand the lefthand side of the equation (see Definition 2.5 and (4)) and get
It turns out that the key parameter in solving of this equation is k. For $k=1$, we obtain a simple form ${\nu}^{w}({\sigma}^{n}(a)){({\stackrel{\u02c6}{h}}_{r}({\sigma}^{n}(a),{\sigma}^{n1}(a)))}^{w+1}={\stackrel{\u02c6}{h}}_{u+w}({\sigma}^{n}(a),{\sigma}^{nk}(a))$. Utilizing the property of monomials ${\stackrel{\u02c6}{h}}_{m}(t,\rho (t))={\nu}^{m}(t)$ ($m\in {\mathbb{Z}}_{0}^{+}$), we can write
Note, that only positive values of ${\stackrel{\u02c6}{h}}_{r}(t,\rho (t))$ are allowed even for w being odd. Indeed, if we consider ${\stackrel{\u02c6}{h}}_{r}(t,s)=({\stackrel{\u02c6}{h}}_{\frac{r1}{2}}\ast {\stackrel{\u02c6}{h}}_{\frac{r1}{2}})(t,s)$ for $s=\rho (t)$, we get ${\stackrel{\u02c6}{h}}_{r}(t,\rho (t))=\nu (t){({\stackrel{\u02c6}{h}}_{\frac{r1}{2}}(t,\rho (t)))}^{2}>0$.
Now let $k>1$. For the sake of brevity we introduce the symbol ${\phi}_{n}^{k}={\stackrel{\u02c6}{h}}_{r}({\sigma}^{n}(a),{\sigma}^{nk}(a))$. By shifting all indices by $nk+1$ and rearranging the sums, we get
Further, we perform the transformation ${i}_{1}\to k1{i}_{1}$, ${i}_{2}\to k1{i}_{1}{i}_{2}$ etc. to obtain
For an easier work, we introduce the multiindex notation, namely,
Then we can write shortly
Now, we extract the summands involving ${\phi}_{n}^{k}$, which are characterized by $i=0$ or $\overline{i}=k1$, i.e.,
Evaluating the terms ${\phi}_{\cdot}^{1}$ by (15), we can express ${\stackrel{\u02c6}{h}}_{r}(t,{\rho}^{k}(t))={\phi}_{n}^{k}$ ($t={\sigma}^{n}(a)$) and arrive at recursion
which, supplied with (15), determines uniquely ${\stackrel{\u02c6}{h}}_{r}(t,s)$ for all $r\in {(1,\mathrm{\infty})}_{\mathbb{Q}}$, $s,t\in \mathbb{T}$ such that $t>s$. □
Remark 4.4 As a byproduct of the proof of Theorem 4.3, we have obtained the recursive formula (16). Hence, employing (15), (16), there can be created an effective algorithm evaluating numerically the power functions of rational orders on a given isolated time scale. Note that for special isolated time scales such that $\nu (t)\ne \nu (s)$ for all $s,t\in {\mathbb{T}}_{\kappa}$, Lemma 4.1 yields a more simple formula
Remark 4.5 Definition 3.1 prescribes nonnegative values of ${\stackrel{\u02c6}{h}}_{\beta}(t,s)$. Although so far known power functions fulfilling (15), (16) have this property (i.e., power functions on ℝ, $h\mathbb{Z}$, $\overline{{q}^{\mathbb{Z}}}$ and ${\mathbb{T}}_{(q,h)}$, as well as the ones obtained numerically), a general proof of nonnegativity of solutions of (15), (16) is still an open problem. However, since (15), (16) represent the unique functions satisfying Definition 3.1, an occurrence of a negative value of a power function on some time scale would imply a reevaluation of the nonnegativity condition.
Theorem 4.6 Let be an isolated time scale, let $t\in \mathbb{T}$, and let $r\in {(1,\mathrm{\infty})}_{\mathbb{Q}}$. Then

(i)
${\stackrel{\u02c6}{h}}_{r}(t,t)=0$ for $r>0$,

(ii)
${\stackrel{\u02c6}{h}}_{r}(t,t)=1$ for $r=0$,

(iii)
the value of ${\stackrel{\u02c6}{h}}_{r}(t,t)$ is unbounded for $1<r<0$.
Proof First, let $r=0$. Then ${\stackrel{\u02c6}{h}}_{0}(t,t)=1$, as prescribed by Definition 3.1(ii). Let $r>0$. For $0<r<1$, the zero value is given by Definition 3.1(iii). For $r\ge 1$, the assertion follows by subsequent application of the relation ${\stackrel{\u02c6}{h}}_{r}(t,t)={\int}_{t}^{t}{\stackrel{\u02c6}{h}}_{r1}(\tau ,t)\mathrm{\nabla}\tau =0$, where the zero value is implied by (4). Finally, let $1<r<0$. Since $r1>1$, we can write by Definition 3.1(i), (ii) ${\int}_{t}^{t}{\stackrel{\u02c6}{h}}_{r1}(t,\rho (\tau )){\stackrel{\u02c6}{h}}_{r}(\tau ,t)\mathrm{\nabla}\tau ={\stackrel{\u02c6}{h}}_{0}(t,t)=1$. Considering (4) and (15), we conclude that the value of ${\stackrel{\u02c6}{h}}_{r}(t,t)$ is unbounded. □
Remark 4.7 (i) Theorem 4.6 corresponds with the continuous case, where power functions $\frac{{(ts)}^{r}}{\mathrm{\Gamma}(r+1)}$, $r\in (1,0)$ are unbounded in a neighborhood of $t=s$. It is known that in the continuous case, we can utilize an improper integration to calculate ${\int}_{t}^{t}\frac{{(\tau t)}^{r}}{\mathrm{\Gamma}(r+1)}\phantom{\rule{0.2em}{0ex}}\mathrm{d}\tau =0$. On isolated time scales, it follows by Definition 3.1(iii).

(ii)
The power functions of order $r\in {(1,0)}_{\mathbb{Q}}$ represent a new class of ‘singular’ functions on time scales. Besides continuous calculus, this phenomenon appeared, e.g., in [9], where the singular functions were introduced on $\overline{{q}^{\mathbb{Z}}}$ with a singularity at the cluster point.

(iii)
Considering Remark 3.4, power functions of orders $r\in (2,1)$ have unbounded values ${\stackrel{\u02c6}{h}}_{r}(t,t)$ and ${\stackrel{\u02c6}{h}}_{r}(t,\rho (t))$. It implies that such functions are not integrable, which agrees with the continuous analysis.
Corollary 4.8 Let $\gamma >0$, $r\in {(1,0)}_{\mathbb{Q}}$, $a\in \mathbb{T}$ and be an isolated time scale. Then it holds

(i)
${}_{a}\mathrm{\nabla}^{\gamma}{\stackrel{\u02c6}{h}}_{r}(t,a){}_{t=a}=0$ for $\gamma >r$,

(ii)
${}_{a}\mathrm{\nabla}^{\gamma}{\stackrel{\u02c6}{h}}_{r}(t,a){}_{t=a}=1$ for $\gamma =r$,

(iii)
${}_{a}\mathrm{\nabla}^{\gamma}{\stackrel{\u02c6}{h}}_{r}(t,a){}_{t=a}$ is unbounded for $\gamma <r$.
Proof The assertion follows by Theorems 3.8 and 4.6. □
To illustrate and clarify the notion of the power functions on time scales, we conclude this section by the following examples.
Example 4.9 It can be proved that Definition 3.1 (and also recursive formulas (15), (16)) is satisfied by the power functions ${\stackrel{\u02c6}{h}}_{r}(t,s)$, historically established on ℝ, $h\mathbb{Z}$, $\overline{{q}^{\mathbb{Z}}}$ and ${\mathbb{T}}_{(q,h)}$ provided $t>s$ (this matter was discussed, e.g., in [6]). We demonstrate this on the case $\mathbb{T}=\mathbb{Z}$, when Definition 3.1 yields
Indeed, properties (17)_{2} and (17)_{3} are directly implied by Theorem 4.6(i) and Definition 3.1, respectively. For $r\in {\mathbb{Z}}^{+}$, the property (17)_{1} is reduced into the classical result known from the theory of time scales monomials. To confirm the validity of (17)_{1} also for rational values of r, we employ the induction principle. Applying (15), we can easily verify the case $k=1$. Now, denote $r=\frac{u}{w+1}$ ($u,w\in {\mathbb{Z}}^{+}$) and assume that (17)_{1} holds for $k1$. Thus, (16) yields
Treating the occurring summation ${\sum}_{0<i\le k1}^{\overline{i}\ne k1}$ is in general technically quite difficult. Hence, for the sake of simplicity, we perform the calculations only for $w=2$. We get
where we utilize the wellknown Vandermonde’s convolution [[23], formula (6:5:5)] twice. Note that similar technique can be utilized also for power functions on $h\mathbb{Z}$, $\overline{{q}^{\mathbb{Z}}}$ and ${\mathbb{T}}_{(q,h)}$ provided the corresponding version of Vandermonde’s convolution is employed.
Example 4.10 We consider isolated time scales
For these time scales, we depict the power functions of orders $\frac{1}{2}$ and $\frac{1}{3}$. For a better comparison, we plot at Figures 14 also their differences with respect to power function in ℝ. We can observe a trend of tending to the values of continuous power functions with decreasing values of graininess and increasing t.
5 Laplace transform
The Laplace transform is a tool of a key importance regarding solving and analyzing of fractional differential equations in the continuous (see, e.g., [1, 2]), as well as in the discrete case (see, e.g., [7] and [14]). In this section, we deal with the Laplace transform of the power functions on isolated time scales ${\mathbb{T}}_{\mathcal{L}}$ (see Definition 2.1), which implies also the Laplace transforms of fractional operators. We demonstrate a usage of the Laplace transform method for solving of initial value problems by a simple example.
Theorem 5.1 Let $a\in {\mathbb{T}}_{\mathcal{L}}$, and let $r\in {(1,\mathrm{\infty})}_{\mathbb{Q}}$. Then it holds
Proof Let $r=\frac{u}{w+1}$ ($u\in \mathbb{Z}$, $w\in {\mathbb{Z}}^{+}$, $u\le w$). It is known that ${\mathcal{L}}_{a}\{{\stackrel{\u02c6}{h}}_{u+w}(\cdot ,a)\}(z)={z}^{uw1}$ (see (11)). Assume that g is a function such that ${\mathcal{L}}_{a}\{g\}(z)={z}^{r1}$. Then Theorem 2.6 implies
On the other hand, a subsequent application of Definition 3.1(i) (see Remark 4.2) yields
Theorem 4.3 guarantees the uniqueness of ${\stackrel{\u02c6}{h}}_{r}$, therefore, it follows
which concludes the proof. □
Now, we can write the time scales analogues of some relations of continuous fractional calculus.
Corollary 5.2 Let $\gamma ,\alpha \in {(0,\mathrm{\infty})}_{\mathbb{Q}}$, $a\in {\mathbb{T}}_{\mathcal{L}}$ and $f:{\mathbb{T}}_{\mathcal{L}}\to \mathbb{R}$ be such that ${\mathcal{L}}_{a}\{f\}(z)$ exists. Then it holds

(i)
${\mathcal{L}}_{a}{\{}_{a}{\mathrm{\nabla}}^{\gamma}f\}(z)={z}^{\gamma}{\mathcal{L}}_{a}\{f\}(z)$,

(ii)
${\mathcal{L}}_{a}{\{}_{a}{\mathrm{\nabla}}^{\alpha}f\}(z)={z}^{\alpha}{\mathcal{L}}_{a}\{f\}(z){\sum}_{j=0}^{\lceil \alpha \rceil 1}z^{j}{}_{a}{\mathrm{\nabla}}^{\alpha j1}f(t){}_{t=a}$,

(iii)
${\mathcal{L}}_{a}{\{}_{a}^{\mathrm{C}}{\mathrm{\nabla}}^{\alpha}f\}(z)={z}^{\alpha}{\mathcal{L}}_{a}\{f\}(z){\sum}_{j=0}^{\lceil \alpha \rceil 1}z^{\alpha \lceil \alpha \rceil +j}{}_{a}{\mathrm{\nabla}}^{\lceil \alpha \rceil j1}f(t){}_{t=a}$.
Proof All three formulas are direct consequences of Theorem 5.1, supplied with (11), (12), Theorems 2.6 and 5.1. The proofs are analogous to the continuous paradigm (see, e.g., [2]). □
Remark 5.3 In [16], the authors introduce the fractional operators via the Laplace transform in the frame of the delta calculus. Note that this idea is transferable also to the nabla case. In this sense, Corollary 5.2 shows that Definition 3.1 is consistent for special time scales ${\mathbb{T}}_{\mathcal{L}}$ with the approach utilized in [16].
Corollary 5.2 enables us to utilize the Laplace transform method for an effective solving of some initial value problems. We point out that such results are not only symbolical, but due to (15), (16), they have a solid meaning, and it is possible to plot the solutions on every isolated time scale. We demonstrate this method by the following example.
Example 5.4 Let $\alpha \in {(0,1]}_{\mathbb{Q}}$, $a\in {\mathbb{T}}_{\mathcal{L}}$. Consider the pair of initial value problems with RiemannLiouville and Caputo fractional operators
where ${y}_{\alpha 1},{y}_{0}\in \mathbb{R}$. Note that the initial condition ${}_{a}\mathrm{\nabla}^{\alpha 1}y(t){}_{t=a}={y}_{\alpha 1}$ can be interpreted via Corollary 4.8 (see also [14]). Utilizing the Laplace transform, namely Corollary 5.2 and (11), we arrive at
Applying Theorem 5.1, we obtain the solutions
We point out that we would get the same results also for $\mathbb{T}=\mathbb{R}$. In Figures 5 and 6, we plot the solutions on time scales ${\mathbb{T}}_{1}$, ${\mathbb{T}}_{2}$ and ${\mathbb{T}}_{5}$ introduced in Example 4.10.
6 Conclusions and open problems
Fractional calculus on time scales is a new topic providing many directions for further research. In this paper, we have discussed relations of the axiomatic approach, represented by Definitions 3.1 and 3.5 to the work of the other authors, namely, [6, 16]. The key assertion, i.e., Theorem 4.3 concerning existence and uniqueness of power functions, was derived under the assumption of rational orders and isolated time scales. This result has many important consequences, e.g., Theorem 5.1, therefore, its extension for time scales, involving dense points or for irrational orders of power functions, seems to be very desirable.
Regarding the values of the power functions, we have introduced the recursive formulas (15), (16). Besides the question of the nonnegativity (see Remark 4.5), it remains an open problem if a corresponding relation exists also in a closed form. Considering the power functions of negative orders, we have also mentioned a notion of singular time scales functions, a matter which is quite unexplored so far (see Remark 4.7).
A solving of more advanced fractional differential equations on time scales requires an introduction of analogues of various special functions utilized in the continuous fractional calculus, e.g., a dynamic MittagLeffler function ${E}_{\eta ,\beta}^{\lambda}(t,s)={\sum}_{j=0}^{\mathrm{\infty}}{\lambda}^{j}{\stackrel{\u02c6}{h}}_{\eta j+\beta 1}(t,s)$ (see, e.g., [2, 10] and [12]). A question of convergence of the related infinite series, as well as many other topics such as stability analysis, is closely connected to an issue of asymptotic properties of the general dynamic power functions. We conjecture that the estimate
holds, where ${\nu}_{\mathrm{max}}(t)=max\{\nu (\tau );\tau \in {(s,t]}_{\mathbb{T}}\}$ and ${\nu}_{\mathrm{min}}(t)=min\{\nu (\tau );\tau \in {(s,t]}_{\mathbb{T}}\}$. However, its general proof is not available so far, therefore, it remains in a form of hypothesis.
Author’s contributions
TK is the only author of this paper. The author read and approved the final manuscript.
References
 1.
Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
 2.
Podlubny I: Fractional Differential Equations. Academic Press, New York; 1999.
 3.
Agarwal RP: Certain fractional q integrals and q derivatives. Math. Proc. Camb. Philos. Soc. 1969, 66: 365–370. 10.1017/S0305004100045060
 4.
Diaz R, Osler TJ: Differences of fractional order. Math. Comput. 1974, 28: 185–202.
 5.
Čermák J, Nechvátal L:On $(q,h)$analogue of fractional calculus. J. Nonlinear Math. Phys. 2010, 17: 51–68. 10.1142/S1402925110000593
 6.
Williams PA: Fractional calculus on time scales with Taylor’s theorem. Fract. Calc. Appl. Anal. 2012, 15: 616–638.
 7.
Atici FM, Eloe PW: A transform method in discrete fractional calculus. Int. J. Differ. Equ. 2007, 2: 165–176.
 8.
Atici FM, Eloe PW: Discrete fractional calculus with the nabla operator. Electron. J. Qual. Theory Differ. Equ. 2009., 2009: Article ID 3
 9.
Mansour ZSI: Linear sequential q difference equations of fractional order. Fract. Calc. Appl. Anal. 2009, 12: 159–178.
 10.
Nagai A: On a certain fractional q difference and its eigen function. J. Nonlinear Math. Phys. 2003, 10: 133–142.
 11.
Rahmat MRS:On some $(q,h)$analogues of integral inequalities on discrete time scales. Comput. Math. Appl. 2011, 62: 1790–1797. 10.1016/j.camwa.2011.06.022
 12.
Čermák J, Kisela T, Nechvátal L: Discrete MittagLeffler functions in linear fractional difference equations. Abstr. Appl. Anal. 2011., 2011: Article ID 565067
 13.
Čermák J, Kisela T, Nechvátal L: Stability and asymptotic properties of a linear fractional difference equation. Adv. Differ. Equ. 2012., 2012: Article ID 122
 14.
Čermák J, Kisela T, Nechvátal L: Stability regions for linear fractional differential systems and their discretizations. Appl. Math. Comput. 2013, 219: 7012–7022. 10.1016/j.amc.2012.12.019
 15.
Anastassiou GA: Foundations of nabla fractional calculus on time scales and inequalities. Comput. Math. Appl. 2010, 59: 3750–3762. 10.1016/j.camwa.2010.03.072
 16.
Bastos NRO, Mozyrska D, Torres DFM: Fractional derivatives and integrals on time scales via the inverse generalized Laplace transform. Int. J. Math. Comput. 2011, 11: 1–9.
 17.
AkinBohner E, Bohner M: Exponential functions and Laplace transforms for alpha derivatives. Proceedings of the Sixth International Conference on Difference Equations 2001, 231–238.
 18.
Kisela, T: Basics of qualitative theory of linear fractional difference equations. PhD thesis, Brno University of Technology, Faculty of Mechanical Engineering (2012)
 19.
Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston; 2001.
 20.
Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.
 21.
Bohner M, Peterson A: Laplace transform and Ztransform: unification and extension. Methods Appl. Anal. 2002, 9: 155–162.
 22.
Bohner M, Guseinov GS: The convolution on time scales. Abstr. Appl. Anal. 2007., 2007: Article ID 58373
 23.
Oldham KB, Myland J, Spanier J: An Atlas of Functions. Springer, New York; 2009.
Acknowledgements
The research was supported by the project CZ.1.07/2.3.00/30.0039 of Brno University of Technology.
Author information
Additional information
Competing interests
The author declares that he has no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 fractional calculus
 power functions
 time scales
 convolution
 Laplace transform