- Open Access
Power functions and essentials of fractional calculus on isolated time scales
© Kisela; licensee Springer. 2013
- Received: 1 March 2013
- Accepted: 29 July 2013
- Published: 23 August 2013
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.
- fractional calculus
- power functions
- time scales
- Laplace transform
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 γ.
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 h-calculus and -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 q-calculus, h-calculus, -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 . In , the authors introduced fractional calculus (and by extension also power functions) via the Laplace transform. However, this approach is limited to settings with the well-defined Laplace transform (see ) and suffers by some technical difficulties, connected to the inverse Laplace transform. Recently, in  and , 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 , and point out several interesting properties. In Section 4, we show that the suggested definition is well-posed 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 negative-order power functions implied by proposed axioms. Section 5 provides a link between our axiomatic definition and the Laplace transform approach developed in . 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.
A time scale is an arbitrary nonempty closed subset of real numbers, e.g., the reals ℝ, arithmetic sequence (), geometric sequence (, ) or their combinations denoted as (see ). If , we denote , otherwise . For any , we define the forward and backward jump operator and , respectively. If for all such that , we speak of an isolated time scale. We also recall the forward and backward graininess function and , respectively. For detailed information on the time scales theory, we refer to [19, 20]. In the sequel, we utilize a notation , where M is an arbitrary subset of reals (analogously for closed intervals).
for f being bounded on . 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].
where f, g and y are real functions such that the integrals exist and represents the derivative with respect to t (an omitted index implies the derivative with respect to the first variable).
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 .
where consists of all , for which the improper integral exists, and for which for all . The symbol denotes the nabla time scale exponential function (see ).
Remark 2.2 Clearly, a necessary condition for existence of is .
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  for the case of the delta calculus. We adapt this approach for the nabla calculus.
For all , the shift of , (, ) is , , respectively (see ).
Proof Analogous assertion was proved in  for the delta calculus. We utilize a similar technique with several adjustments better suiting our purposes.
Hence, substituting into (13), we obtain . □
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 (, , , ℝ). In general, the explicit formulas for monomials are not known, therefore, a different approach is required.
Further, the parameter β in is called the order of the power function .
Compared to the definition in , the key underlying ideas are basically the same. However, some additional conditions are prescribed in . The main difference lies in the condition , whenever for all . In our opinion, this assumption creates an inconsistence with the definition of time scales monomials ( for all ) and with the well-known power functions on ( is in general undefined for ). Thus, we prefer to leave the values of undefined for (they do not occur in fractional calculus anyway). The consequences for will be discussed later. We point out that for , our definition coincides with [, Definition 3.2] and with historically established power functions on ℝ, , , and their subintervals (see  and ). We note that condition (i) in Definition 3.1 first appeared without a deeper analysis or discussion in .
Remark 3.2 The well-posedness of Definition 3.1 was not discussed in  nor . 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.
Proof Let and . Then, utilizing Definition 3.1(i) and (7), we can write . The first part of the assertion now follows by the induction principle. The second part is a consequence of . □
where is the ceiling function . The presented approach does not allow to introduce power functions of negative integer orders.
Considering the well-defined 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]).
- (i)the fractional integral of order with the lower limit a as
- (ii)the Riemann-Liouville fractional derivative of order α with the lower limit a as
- (iii)and the Caputo fractional derivative of order α with the lower limit a () as
We can see a formal agreement of Definition 3.5(i) with (1)-(3) (for detailed information see ).
If , 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  and , the authors proved many time scales analogues of important properties of fractional operators known from continuous analysis, e.g., the index law (). One of the key relationships of the fractional calculus is a power rule, which can be written as
Proof For it follows by Definitions 3.5(i) and 3.1(i). For , we utilize also Lemma 3.3. □
By similar arguments, we can derive an analogous formula for Caputo fractional derivative, i.e.,
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 , the author presents examples of such functions on ℝ, , or , 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 rational-order 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 negative-order power functions, which are, to the author’s knowledge, quite new in the frame of isolated time scales.
which implies the assertion. □
Theorem 4.3 Let be an isolated time scale, and let . Then Definition 3.1 determines uniquely the power function for all such that .
Note, that only positive values of are allowed even for w being odd. Indeed, if we consider for , we get .
which, supplied with (15), determines uniquely for all , such that . □
Remark 4.5 Definition 3.1 prescribes nonnegative values of . Although so far known power functions fulfilling (15), (16) have this property (i.e., power functions on ℝ, , and , 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.
the value of is unbounded for .
Proof First, let . Then , as prescribed by Definition 3.1(ii). Let . For , the zero value is given by Definition 3.1(iii). For , the assertion follows by subsequent application of the relation , where the zero value is implied by (4). Finally, let . Since , we can write by Definition 3.1(i), (ii) . Considering (4) and (15), we conclude that the value of is unbounded. □
The power functions of order represent a new class of ‘singular’ functions on time scales. Besides continuous calculus, this phenomenon appeared, e.g., in , where the singular functions were introduced on with a singularity at the cluster point.
Considering Remark 3.4, power functions of orders have unbounded values and . It implies that such functions are not integrable, which agrees with the continuous analysis.
is unbounded for .
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.
where we utilize the well-known Vandermonde’s convolution [, formula (6:5:5)] twice. Note that similar technique can be utilized also for power functions on , and provided the corresponding version of Vandermonde’s convolution is employed.
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.,  and ). In this section, we deal with the Laplace transform of the power functions on isolated time scales (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.
which concludes the proof. □
Now, we can write the time scales analogues of some relations of continuous fractional calculus.
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., ). □
Remark 5.3 In , 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 with the approach utilized in .
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.
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).
holds, where and . However, its general proof is not available so far, therefore, it remains in a form of hypothesis.
TK is the only author of this paper. The author read and approved the final manuscript.
The research was supported by the project CZ.1.07/2.3.00/30.0039 of Brno University of Technology.
- Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
- Podlubny I: Fractional Differential Equations. Academic Press, New York; 1999.Google Scholar
- Agarwal RP: Certain fractional q -integrals and q -derivatives. Math. Proc. Camb. Philos. Soc. 1969, 66: 365–370. 10.1017/S0305004100045060View ArticleGoogle Scholar
- Diaz R, Osler TJ: Differences of fractional order. Math. Comput. 1974, 28: 185–202.MathSciNetView ArticleGoogle Scholar
- Čermák J, Nechvátal L:On -analogue of fractional calculus. J. Nonlinear Math. Phys. 2010, 17: 51–68. 10.1142/S1402925110000593MathSciNetView ArticleGoogle Scholar
- Williams PA: Fractional calculus on time scales with Taylor’s theorem. Fract. Calc. Appl. Anal. 2012, 15: 616–638.MathSciNetView ArticleGoogle Scholar
- Atici FM, Eloe PW: A transform method in discrete fractional calculus. Int. J. Differ. Equ. 2007, 2: 165–176.MathSciNetGoogle Scholar
- Atici FM, Eloe PW: Discrete fractional calculus with the nabla operator. Electron. J. Qual. Theory Differ. Equ. 2009., 2009: Article ID 3Google Scholar
- Mansour ZSI: Linear sequential q -difference equations of fractional order. Fract. Calc. Appl. Anal. 2009, 12: 159–178.MathSciNetGoogle Scholar
- Nagai A: On a certain fractional q -difference and its eigen function. J. Nonlinear Math. Phys. 2003, 10: 133–142.MathSciNetGoogle Scholar
- Rahmat MRS:On some -analogues of integral inequalities on discrete time scales. Comput. Math. Appl. 2011, 62: 1790–1797. 10.1016/j.camwa.2011.06.022MathSciNetView ArticleGoogle Scholar
- Čermák J, Kisela T, Nechvátal L: Discrete Mittag-Leffler functions in linear fractional difference equations. Abstr. Appl. Anal. 2011., 2011: Article ID 565067Google Scholar
- Č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 122Google Scholar
- Č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.019MathSciNetView ArticleGoogle Scholar
- 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.072MathSciNetView ArticleGoogle Scholar
- 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.MathSciNetGoogle Scholar
- Akin-Bohner E, Bohner M: Exponential functions and Laplace transforms for alpha derivatives. Proceedings of the Sixth International Conference on Difference Equations 2001, 231–238.Google Scholar
- Kisela, T: Basics of qualitative theory of linear fractional difference equations. PhD thesis, Brno University of Technology, Faculty of Mechanical Engineering (2012)Google Scholar
- Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston; 2001.View ArticleGoogle Scholar
- Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.View ArticleGoogle Scholar
- Bohner M, Peterson A: Laplace transform and Z-transform: unification and extension. Methods Appl. Anal. 2002, 9: 155–162.MathSciNetGoogle Scholar
- Bohner M, Guseinov GS: The convolution on time scales. Abstr. Appl. Anal. 2007., 2007: Article ID 58373Google Scholar
- Oldham KB, Myland J, Spanier J: An Atlas of Functions. Springer, New York; 2009.View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.