Abstract
Starting from the definition of the Sumudu transform on a general nabla time scale, we define the generalized nabla discrete Sumudu transform. We obtain the nabla discrete Sumudu transform of Taylor monomials, fractional sums, and differences. We apply this transform to solve some fractional difference equations with initial value problems.
MSC:44A15, 44A55.
Similar content being viewed by others
1 Introduction
The fractional calculus deals with integrals and derivatives of arbitrary orders. Many scientists have paid a lot of attention to this calculus because of its interesting applications in various fields of science, such as viscoelasticity, diffusion, neurology, control theory, and statistics; see [1–6].
The analogous theory for discrete fractional calculus was initiated by Miller and Ross [7], where basic approaches, definitions, and properties of the theory of fractional sums and differences were reported. Recently, a series of papers continuing this research has appeared. We refer the reader to the papers [8–16] and the references cited therein.
In the early 1990s, Watugala [17, 18] introduced the Sumudu transform and applied it to solve ordinary differential equations. The fundamental properties of this transform, which is thought to be an alternative to the Laplace transform, were then established in many articles [19–23].
The Sumudu transform is defined over the set of functions
by
Without doubt, the Sumudu transform of a function has a deep connection to its Laplace transform. However, the Sumudu transform is a bit superior as it may be used to solve problems without resorting to a new frequency domain because it preserves scales and unit properties. By these properties, the Sumudu transform may be used to solve intricate problems in engineering and applied sciences that can hardly be solved when the Laplace transform is used. Moreover, some properties of the Sumudu transform makes it more advantageous than the Laplace transform. Some of these properties are as follows.
-
(1)
.
-
(2)
.
-
(3)
.
-
(4)
.
-
(5)
For any real or complex number c, .
Particularly, since constants are fixed by the Sumudu transform, choosing , it gives .
In dealing with physical applications, this aspect becomes a major advantage, especially in instances where keeping track of units and dimensional factor groups of constants is relevant. This means that in problem solving, u and can be treated as replicas of t and , respectively [24].
Recently, an application of the Sumudu and double Sumudu transforms to Caputo fractional differential equations is given in [25]. In [26], the authors applied the Sumudu transform to fractional differential equations.
In [27], the authors obtained the discrete Sumudu transform of Taylor monomials, fractional sums, and fractional differences and applied this transform to solve a fractional difference initial value problem.
Starting with a general definition of the Laplace transform on an arbitrary time scale, the concepts of the h-Laplace and consequently the discrete Laplace transform were specified in [28]. The theory of time scales was initiated by Stefan Hilger [29]. This theory is a tool that unifies the theories of continuous and discrete time systems. It is a subject of recent studies in many different fields in which a dynamic process can be described with discrete or continuous models.
In this paper, starting from the definition of the Sumudu transform on a general nabla time scale, we define the nabla discrete Sumudu transform and present some of its basic properties.
The paper is organized as follows. In Sections 2 and 3, we introduce some basic concepts concerning the calculus of time scales and discrete fractional calculus, respectively. In Section 4, we define the nabla discrete Sumudu transform and present some of its basic properties. Section 5 is devoted to some applications.
2 Preliminaries on time scales
A time scale is an arbitrary nonempty closed subset of the real numbers ℝ. The most well-known examples are , , and , where . The forward and backward jump operators are defined by
respectively, where and . A point is said to be left-dense if and , right-dense if and , left-scattered if , and right-scattered if . The backwards graininess function is defined by . For details, see the monographs [30, 31].
The following two concepts are introduced in order to describe the classes of functions that are integrable.
Definition 2.1 [30]
A function is called regulated if its right-sided limits exist at all right-dense points in and its left-sided limits exist at all left-dense points in .
Definition 2.2 [30]
A function is called ld-continuous if it is continuous at left-dense points in and its right-sided limits exist at right-dense points in .
The set is derived from the time scale as follows: If has a right-scattered minimum m, then . Otherwise, .
Definition 2.3 [30]
A function is said to be nabla differentiable at a point if there exists a number with the property that given any , there exists a neighborhood U of t such that
We shall also need the following definition in order to define the nabla exponential function on an arbitrary time scale.
Definition 2.4 [30]
A function is called ν-regressive provided for all .
The set of all ν-regressive and ld-continuous functions forms an Abelian group under the ‘circle plus’ addition ⊕ defined by
The additive inverse ⊖p of is defined by
Theorem 2.5 [30]
Let and be a fixed point. Then the nabla exponential function is the unique solution of the initial value problem
We next define the nabla Taylor monomials and later generalize them for noninteger orders.
Definition 2.6 [31]
The Taylor monomials are the functions , , and are defined recursively as follows:
and for ,
Throughout, we shall consider the discrete time scale
In this case, when , where and , it is easy to see that
and for all nonnegative integers n,
3 An introduction to nabla discrete fractional calculus
For any function , we define the backwards difference, or nabla operator, ∇, by for . In this paper, we use the convention that . We then define higher order differences recursively by for , . In addition, we take as the identity operator.
Definition 3.1 [16]
Let and be given. Then the α th-order nabla fractional sum of f is given by
Also, we define the trivial sum by for .
The term in the above definition is the so-called generalized rising function defined by
for any for which the right-hand side is well defined. As usual, we use the convention that if and , then .
Definition 3.2 [16]
Let and be given, and let be chosen such that . Then the α th-order Riemann-Liouville nabla fractional difference of f is given by
For , we set for .
As stated in the following two theorems, the composition of fractional operators behaves well if the inner operator is a fractional difference.
Theorem 3.3 [14]
Let . Then
Theorem 3.4 [14]
For ,
Theorem 3.5 Let and be given. Then
Proof Let be given and suppose . We first state the following identity which follows from the product rule for the nabla operator:
Then we have
Continuing in this manner and summing by parts more times yields
Now assume that . From (3.1), (3.2), and the previous case, we have
with allowance for the convention for . This completes the proof. □
A disadvantage of the Riemann-Liouville fractional difference operator is that when applied to a constant c, it does not yield 0. For example, for , we have
In order to overcome this and to make the fractional differences behave like the usual differences, we define the Caputo nabla fractional difference operator, different from the definitions given in [10] and [32], as follows.
Definition 3.6 Let and be given, and let be chosen such that . Then the α th-order Caputo nabla fractional difference of f is given by
For , we set for .
Now it follows from the definition of the Caputo nabla fractional difference operator that for , we have
Corollary 3.7 Let and be given, and let be chosen such that . Then
Proof
By using Theorem 3.5, we see that
□
Corollary 3.8 Let and be given, and let be chosen such that . Then
Proof
□
4 The discrete nabla Sumudu transform
Definition 4.1 The nabla Sumudu transform of a regulated function is given by
where is fixed, is an unbounded time scale with infimum a, and is the set of all nonzero complex constants u for which is ν-regressive and the integral converges.
In the special case, when , every function is regulated and its discrete nabla Sumudu transform can be written as
for each for which the series converges. For the convergence of the Sumudu transform, we need the following definition.
Definition 4.2 [16]
A function is of exponential order if there exists a constant such that
Lemma 4.3 Suppose is of exponential order . Then
Proof Let for . Then we have
and therefore we obtain
□
The proof of the following lemma is obvious.
Lemma 4.4 Let be of exponential order with and for large t. Then for , we have
Remark 4.5 Let . Then one of the following cases holds:
-
(i)
If , then the series in the definition of the nabla Sumudu converges for all u such that and diverges elsewhere;
-
(ii)
If , the series converges for all u;
-
(iii)
If , the series diverges everywhere, except perhaps when .
The following lemma of uniform convergence can be proved easily.
Lemma 4.6 If , the series in the definition of Sumudu is convergent for all u such that .
Lemma 4.7 (Initial value)
Suppose that the nabla discrete Sumudu transform of exists, then
Proof The proof can be done by taking term by term limit as . □
Lemma 4.8 (Final value)
Suppose that the nabla discrete Sumudu transform of exists, then
Proof
Consider
By shifting property, we have
On the other side, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1847-2012-190/MediaObjects/13662_2012_Article_380_Equal_HTML.gif)
Thus, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1847-2012-190/MediaObjects/13662_2012_Article_380_Equam_HTML.gif)
Since the series converges uniformly, we can interchange the order of the limits on the right-hand side of the above equality. Thus, we have
Hence,
□
Theorem 4.9 (Uniqueness theorem)
Let be a function. Then if and only if , .
Proof If , , then clearly, by the definition of the Sumudu transform, . Suppose that . Then we have
Since the series converges uniformly, taking the limit of the left side as , we get .
Dividing (4.1) by and taking the limit as , we get . Continuing this, we obtain
□
Corollary 4.10 Let be such that and exist and , then , .
Proof By the linearity it is obvious. □
Below we state the definition of the Taylor monomials which are very useful for applying the Sumudu transform in discrete fractional calculus.
Definition 4.11 [16]
For each , define the α th-Taylor monomial to be
The following lemma is crucial for finding the Sumudu transform of fractional order nabla Taylor monomials.
Lemma 4.12 [16]
For and , we have that
Theorem 4.13 For , we have
Proof By Lemma 4.12, we have for
where the last equality follows from the generalized binomial theorem.
Now, when , the proof follows by induction on n. For , we have
Suppose for that . Then by using the integration by parts formula for nabla time scale, we have
Because , one has . Moreover, it can be easily observed that for . Hence,
The proof is now complete. □
Definition 4.14 [16]
Define the convolution of two functions by
Theorem 4.15 [16]
Let and then
Theorem 4.16 Let be of exponential order . Then for all such that ,
Proof Let f, g, and r be as in the statement of the lemma. Then
for all such that . □
Theorem 4.17 Suppose is of exponential order and let . Then for all such that , we have
Proof
□
Theorem 4.18 For , we have
for all satisfying
Proof
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1847-2012-190/MediaObjects/13662_2012_Article_380_Equba_HTML.gif)
provided (4.6) holds. □
We can now generalize this result for an arbitrary positive integer n as follows.
Theorem 4.19 For , we have
for all satisfying
Proof The proof follows from Theorem 4.18 by applying induction. □
Theorem 4.20 For , we have
Proof
□
The following theorem presents the Sumudu transform of the nabla fractional difference of a function.
Theorem 4.21 For , we have
for all satisfying
Proof The proof can be done by replacing f by in Theorem 4.19 and then using Theorem 4.17. □
In the following theorem, the Sumudu transform of the Caputo nabla fractional difference is given.
Theorem 4.22 For , we have
for all satisfying
Proof
□
The discrete Mittag-Leffler function was defined in [16] by
where , and .
In the following theorem, we establish the Sumudu transform of the Mittag-Leffler function.
Theorem 4.23 For , , and , we have
Proof
□
5 Application
In this section, we will illustrate the possible use of the discrete Sumudu transform by applying it to solve some initial value problems.
Example 5.1
Consider the initial value problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1847-2012-190/MediaObjects/13662_2012_Article_380_Equbm_HTML.gif)
where and .
We begin by taking the Sumudu transform of both sides of the equation, starting at . Keeping in mind that , by using Theorem 4.20 and Theorem 4.21, we get
Thus, we have
Example 5.2
Consider the initial value problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1847-2012-190/MediaObjects/13662_2012_Article_380_Equbp_HTML.gif)
where and .
Taking the Sumudu transform of both sides of the equation, starting at , and using Theorem 4.20 and Theorem 4.22, we get
Therefore, we have
References
Heymans N, Podlubny I: Physical interpretation of initial conditions for fractional differential equations with Riemann-Liouville fractional derivatives. Rheol. Acta 2006, 45: 765–771. 10.1007/s00397-005-0043-5
Kilbas AA, Srivastava HH, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Magin RL: Fractional Calculus in Bioengineering. Begell House Publisher, Connecticut; 2006.
Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.
Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives - Theory and Applications. Gordon & Breach, Linghorne; 1993.
West BJ, Bologna M, Grigolini P: Physics of Fractal Operators. Springer, New York; 2003.
Miller KS, Ross B: Fractional difference calculus. Proceedings of the International Symposium on Univalent Functions, Fractional Calculus and Their Applications 1989, 139–152.
Abdeljawad T, Baleanu D: Fractional differences and integration by parts. J. Comput. Anal. Appl. 2011, 13(3):574–582.
Abdeljawad T: On Riemann and Caputo fractional differences. Comput. Math. Appl. 2011, 62(3):1602–1611. 10.1016/j.camwa.2011.03.036
Abdeljawad, T: Principles of delta and nabla fractional differences. arXiv:1112.5795v1 (2011)
Atici FM, Eloe PW: A transform method in discrete fractional calculus. Int. J. Differ. Equ. Appl. 2007, 2(2):165–176.
Atici FM, Eloe PW: Initial value problems in discrete fractional calculus. Proc. Am. Math. Soc. 2009, 137(3):981–989.
Atici FM, Eloe PW: Discrete fractional calculus with the nabla operator. Electron. J. Qual. Theory Differ. Equ. 2009, 2009(3):1–12.
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. (to appear)
Holm, MT: The theory of discrete fractional calculus: development and application. PhD thesis, University of Nebraska (2011)
Hein J, McCarthy Z, Gaswick N, McKain B, Speer K: Laplace transforms for the nabla-difference operator. Panam. Math. J. 2011, 21(3):79–97.
Watugala GK: Sumudu transform: a new integral transform to solve differential equations and control engineering problems. Int. J. Math. Educ. Sci. Technol. 1993, 24(1):35–43. 10.1080/0020739930240105
Watugala GK: The Sumudu transform of functions of two variables. Math. Eng. Ind. 1998, 8(4):293–302.
Asiru MA: Sumudu transform and the solution of integral equations of convolution type. Int. J. Math. Educ. Sci. Technol. 2001, 32(6):906–910. 10.1080/002073901317147870
Asiru MA: Further properties of the Sumudu transform and its applications. Int. J. Math. Educ. Sci. Technol. 2001, 33(2):441–449.
Belgacem FBM, Karballi AA, Kalla LS: Analytic investigations of the Sumudu transform and applications to integral production equations. Math. Probl. Eng. 2003, 3: 103–118.
Belgacem FBM, Karballi AA: Sumudu transform fundamental properties investigations and applications. J. Appl. Math. Stoch. Anal. 2006, 2006: 1–23.
Kılıçman A, Eltayeb H: On the applications of Laplace and Sumudu transforms. J. Franklin Inst. 2010, 347(5):848–862. 10.1016/j.jfranklin.2010.03.008
Belgacem FBM: Introducing and analysing deeper Sumudu properties. Nonlinear Stud. 2006, 13(1):23–41.
Jarad F, Tas K: Application of Sumudu and double Sumudu transforms to Caputo-fractional differential equations. J. Comput. Anal. Appl. 2012, 14(3):475–483.
Katatbeh QD, Belgacem FBM: Applications of the Sumudu transform to fractional differential equations. Nonlinear Stud. 2011, 18(1):99–112.
Jarad F, Tas K: On Sumudu transform method in discrete fractional calculus. Abstr. Appl. Anal. 2012., 2012: Article ID 270106. doi:10.1155/2012/270106
Bohner M, Guseinov GS: The h -Laplace and q -Laplace transforms. J. Math. Anal. Appl. 2010, 365: 75–92. 10.1016/j.jmaa.2009.09.061
Hilger S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 1990, 18: 18–56.
Bohner M, Peterson A: Dynamic Equations on Time Scales. Birkhäuser, Boston; 2001.
Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.
Anastassiou G: Nabla discrete fractional calculus and nabla inequalities. Math. Comput. Model. 2010, 51: 562–571. 10.1016/j.mcm.2009.11.006
Acknowledgements
The authors would like to thank the reviewers for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper.
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
Cite this article
Jarad, F., Kaymakçalan, B. & Taş, K. A new transform method in nabla discrete fractional calculus. Adv Differ Equ 2012, 190 (2012). https://doi.org/10.1186/1687-1847-2012-190
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2012-190