Abstract

We introduce nabla type Laplace transform and Sumudu transform on general time scale. We investigate the properties and the applicability of these integral transforms and their efficiency in solving fractional dynamic equations on time scales.

1. Introduction

It is known that the methods connected to the employment of integral transforms are very useful in mathematical analysis. Those methods are successfully applied to solve differential and integral equations, to study special functions, and to compute integrals. One of the more widely used integral transforms is the Laplace transform defined by the following formula: The function of a complex variable is called the Laplace transform of the function . Watugala [1] introduced a new integral transform called Sumudu transform defined by the following formula: and applied to the solution of ordinary differential equations in the control engineering problems (see also [2]). It appeared like the modification of the Laplace transform. The Sumudu transform rivals the Laplace transform in problem solving. Its main advantage is the fact that it may be used to solve problems without resorting to a new frequency domain, because it preserves scale and unit properties.

The theory of time scale calculus was initiated by Hilger [3] (see also [4]). This theory is a tool that unifies the theories of continuous and discrete time system. It is a subject of recent studies in many different fields in which a dynamic process can be described with continuous and discrete models. For the detailed information on theory of time scale calculus, we refer to [5, 6]. The delta Laplace transform on arbitrary time scale () is introduced by Bohner and Peterson in [7] (see also [8]) by the following formula: where consists of all complex numbers for which the improper integral exists and for which for all . In a similar fashion, Agwa et al. in [9] introduce the Sumudu transform on arbitrary time scale , by the following formula: for , where consists of all complex numbers for which the improper integral exists and for which for all . Note that if (for real analysis), (3) (1) and (4) (2) at . In the case of (for discrete analysis), we have where is the classical -transform, which will be used to solve higher order linear forward difference equations (see [7]). Similarly, formula (3) can also be extended to other particular discrete settings such as , (which has important applications in quantum theory), (in -calculus) (see [10]), and also (in -calculus) (see [11]). Likewise, the delta Sumudu transform on time scales not only can be applied on ordinary differential equations when and on forward difference equations when ā€‰ā€‰ but also can be applied for -difference equations when and on different types of time scales like and ; for the space of the harmonic numbers, see [9].

Continuous fractional calculus is a field of mathematic study that grows out of the traditional definitions of the calculus integral and derivative operators. Fractional differentiation has played an important role in various areas ranging from mechanics to image processing. Their fundamental results have been surveyed, for example, in the monographs [12, 13]. On the other hand, discrete fractional calculus is a very new area for scientists. Foundation of this theory were formulated in pioneering works by Agarwal [14] and DĆ­az and Osler [15, 16], where basic approach, definitions, and properties of the theory of fractional sums and differences were reported (see also [17, 18]). Recently, a series of papers continuing this research has appeared (see e.g., [19ā€“26] and the references cited therein).

The extension of basic notions of fractional calculus to other discrete settings was performed in [27, 28]. In these papers, the authors often preferred the power function notation based on the time scales theory, which easily exposes similarities among the results in -calculus, -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 and therefore the achieved results could not be generalized 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 [29]. In [30], the authors introduced fractional derivatives and integrals on time scales via the generalized Laplace transform. However, this approach suffers by some technical difficulties, connected to the inverse Laplace transform (see [8]). Recently, in [31, 32] (see also [33]), the authors independently suggested an axiomatic definition of power functions on arbitrary time scale.

The aim of this paper is to introduce the nabla type Laplace transform and Sumudu transform, their properties, and applicability and its efficiency in solving fractional dynamic equations on arbitrary time scale. Of course, it is possible to consider also the delta type Laplace and Sumudu transforms (3) and (4), respectively; however, the nabla version seems be more suitable for fractional calculus as outlined, for example, in [27, 28, 34].

This paper is organized as follows. In Section 2, we recall basics of the time scale theory and the foundation of fractional calculus on time scales. Section 3 is devoted to nabla Laplace transform, its properties, convolution theorem, and examples of solution of fractional dynamic equations on time scales in terms of Mittag-Leffler function. Finally, in Section 4, we introduce nabla Sumudu transform and its properties on arbitrary time scales. A close relationship between nabla Sumudu transform and nabla Laplace transform and several important results were obtained. This section ended up with solving some fractional dynamic equation with nabla Sumudu transform method.

2. Preliminaries

A time scale is an arbitrary nonempty closed subset of the real numbers . The most well-known examples are , , and , where . Let have a right-scattered minimum and define ; otherwise, set . If with , we denote by the closed interval .

The backward jump operator is defined by and the backward graininess function is defined by . For details and advancement on time scales, see the monographs [3, 5, 7, 35ā€“37].

For and , the nabla-derivative (briefly, the -derivative) [21] of at , denoted by , is the number (provided it exists) with the property that, given any , there exists a neighborhood of such that For , is the usual derivative; for , the -derivative is the backward difference operator, .

A function is left-dense continuous or ld-continuous provided it is continuous at left-dense points in and its right-sided limits exist (finite) at right-dense points in . If , then is ld-continuous if and only if is continuous.

The set of ld-continuous functions will be denoted by and the set of functions that are -differentiable and whose derivatives are ld-continuous is denoted by .

It is known from [5] that if , then there exists a function such that . In this case, we define the Cauchy integral by

Let and . If , then where the right-hand side integral is the Riemann integral from calculus and if , then

For and , the integration by parts formula is given by

A function is called -regressive if on and positively -regressive if it is real valued and on . The set of -regressive functions and the set of positively -regressive functions are denoted by and , respectively, and is defined similarly. For simplicity, we denote by the set of complex -regressive constants and, similarly, we define the sets and .

Let . The the nabla exponential function is defined to be the unique solution of the following initial value problem: for some fixed . Let ; set and . For , the Hilger real part and imaginary part of a complex number are given by respectively, where Arg denotes the principle argument function; that is, , and let and . For any fixed complex number , the Hilger real part is a nondecreasing function of (see [38]).

For , we define the -cylinder transformation by for . Then, the nabla exponential function can also be written in the following form: It is known that the nabla exponential function is strictly positive on , provided (see Theorem 3.18 [6]). For , the -circul plus and the -circle minus are defined by respectively. For further details on nabla exponential function, we refer to [5].

We recall the notion of Taylor monomials introduced in [39] (see also [7]). These monomials , , are defined recursively as follows: and, given for , we have

Example 1. For the case , we have For the case , we have where .
For the time scale for some , we have

Lemma 2 (nabla Cauchy formula [37]). Let , , and let be -integrable on . If , then

The formula (24) is a corner stone in the introduction of the nabla fractional integral for . However, it requires a reasonable and natural extension of a discrete system of monomials to a continuous system . However, the calculation of for is a difficult task which seems to be answerable only in some particular cases (see Example 1).

Recently, [31, 32] independently suggested quite similar axiomatic definitions of time scales power functions. In [40], the author have considered the power functions and essentials of fractional calculus on isolated time scales. The definitions below follow from [31].

Definition 3. Let and . The time scales power functions are defined as a family of nonnegative functions satisfying(i); (ii) for ;(iii) for .

Further, we have the following.

Definition 4. Let , , and . Then for one defines the following.
(i) The fractional integral of order with the lower limit as and for one puts .
(ii) The Riemann-Liouville fractional derivative of order with lower limit as where .
(iii) The Caputo fractional derivative ā€‰ā€‰ on is defined via the Riemann-Liouville fractional derivative by where .

3. Nabla Laplace Transform

Note that below we assume that ; then and therefore is well defined on . From now on we assume that is unbounded above.

The following theorem is concerning the asymptotic nature of the nabla exponential function. To this end, we define the minimal graininess function by and for and , we define

Theorem 5 (decay of the nabla exponential function). Let Then, for any , we have the following properties:(i) for all ,(ii),(iii).

Proof. The proof is similar to Theorem 3.4 of [38].

Definition 6 (exponential order). Let . A function has exponential order on , if(i),(ii)there exists , such that for all .

Lemma 7. Let and be a function of exponential order . Then, where .

Proof. It follows that for all and some . By Theorem 5(iii) and letting in (32), we get (31). This completes the proof.

Definition 8. Let be a function. Then, the -Laplace transform about the point of the function is defined by where consists of all complex numbers for which the improper integral exists.

Theorem 9. Let be of exponential order . Then, the -Laplace transform exists on and converges absolutely.

Proof. The proof is similar to Theorem 5.1 in [38].

Theorem 10 (linearity of the transform). Let be of exponential order , respectively. Then, for any , we have for all .

Proof. The proof follows from the linearity property of the -integral (see Theorem 8.47(i) in [5]).

Theorem 11 (transform of derivative). Let be a function of exponential order . Then, one has for all , where denotes .

Proof. By using integration by parts formula (11), we get for all . This completes the proof.

By induction, we have the following result.

Corollary 12. Let be a function of exponential order . Then for any , one has for all .

Definition 13 (see [41]). For a given , the solution of the shifting problem is denoted by and is called the shift (or delay) of .

In this section, we will assume that the problem (38) has a unique solution for a given initial function and that the functions , , and the complex number are such that the operations fulfilled are valid.

Definition 14 (see [41]). For given functions , their convolution is defined by where is the shift of introduced in Definition 8.

We state the following results without proof, since the proofs of them are similar to those in [6].

Theorem 15. The convolution is associative; that is,

Theorem 16. If is -differentiable, then and if is nabla-differentiable, then

Corollary 17. The following formula holds:

Theorem 18 (convolution theorem). Suppose are locally -integrable functions on and their convolution is defined by (39). Then,

Let . Then, by means of convolution, the nabla operators in Definition 4 can be restated as

It is known [5, 7] that, for all and ,

In general, we have

Theorem 19. For and , holds.

Proof. First, we write Definition 3(i) in convolution form; that is, Then, obviously We show that (47) satisfies the Laplace transform of (49). Let . Taking Laplace transform to the left-hand side followed by applying convolution theorem (39) yields But, from the right side of (50), we have Hence the result follow from (50) and (51). This completes the proof.

From (45), knowing we have (by taking ) the following result.

Theorem 20. For ,

For the Riemann-Liouville fractional derivative derivative (26), we have the following result.

Theorem 21. For and ,

Proof. Write (26) as
From (53), we have
Thus, by (37) and (56), we have

The Laplace transform (54) is equivalent to the following one:

The nabla Laplace transform of Caputo fractional derivative of order is given as follows.

Theorem 22. For and ,

Proof. Write (27) as
By following (53) and (37), we get

Now, let us consider the generalized Mittag-Leffler function on time scales (see [28, 42]).

Definition 23. Let and . The time scales Mittag-Leffler function, , is defined by the following series expansion:

In the following theorem, we give the Laplace transform of generalized Mittag-Leffler function on time scales.

Theorem 24. For and , it holds that provided .

Proof. By using Theorem 10 and the relation (47), we obtain

Example 25. Consider the following initial value problem: By taking Laplace transform of both sides of (65) and using (58), we get Thus, we have

The above example coincides with the case (see [43]).

Now, we consider the Cauchy problem for dynamic equations with the nabla type Caputo fractional derivatives.

Example 26. Consider the following initial value problem: By taking Laplace transform of both sides of (69) and using (59), we get Thus, we have

The last example clearly coincides with the real counter part; see [43].

4. Nabla Sumudu Transform

In [9], the authors introduced and studied the (delta) Sumudu transform on time scales. Many important results were produced and applied on dynamic equation on time scales. In this section, we will consider the nabla Sumudu transform. Most of the results were coated from [9, 44, 45] without proof since their proofs are similar.

Definition 27. Let be a function. Then, the -Sumudu transform about the the point of the function is defined by where consists of all complex numbers for which the improper integral exists.

Let us define the set We notice that, following Lemma 7, if is a function of exponential order , then where . Hence, we have the following.

Theorem 28. Let be of exponential order . Then, the -Sumudu transform exists on and converges absolutely.

In the special case , fixed (see [44]), we have for each for which the series converges.

The following theorem states the close relationship between nabla Sumudu transform and nabla Laplace transform.

Theorem 29. Let be a function. Then

The following theorem can be easily verified using induction.

Theorem 30. Let be of exponential order . Then, where .

The following theorem presents the nabla-Sumudu transformation of convolution of two functions on time scales.

Theorem 31. Let . Then

Proof. The proof is a direct consequence of relation (77) and Theorem 18.

Now, we consider the -Sumudu transform on time scale fractional calculus. We begin with -Sumudu transform of power function on .

Theorem 32. Let . For , one has

Proof. Using Theorem 28 and the result (41), we have This completes the proof.

In particular, and hence the -Sumudu transform of is given as follows.

Corollary 33. The -Sumudu transform of is given by

In the following theorem, we give the Sumudu transform of generalized Mittag-Leffler function on time scales.

Theorem 34. For and , it holds that provided .

Proof. Using the relation (77) and the result (63), we get

The nabla Sumudu transform of fractional integral and fractional derivatives are as follows.

Theorem 35. (i) For ,
(ii) For and ,
(iii) For and ,

Proof. The proof to each part follows immediately after applying (77) and the respective Laplace transforms (53), (54), and (59).

As in the case of Laplace transform (see relation (58)), the -Sumudu transform in Theorem 35(ii) is equivalent to

In the following example we will illustrate the use of the -Sumudu transform by applying it to solve initial value problems.

Example 36. Consider the following initial value problem:
We begin by taking the -Sumudu transform of both sides of (89). By using Theorem 35(ii) for , we get Hence, Thus, we have

Example 37. Consider the following Caputo type initial value problem: By taking the -Sumudu transform of both sides of (94) and using Theorem 35(iii), we get Thus, we have

In particular, when , the initial value problem has a solution of the following form:

Example 38. Consider the following Caputo type initial value problem: By taking the -Sumudu transform of both sides of (100) and using Theorem 35(iii) for , we get Hence, Thus, we have

Remark 39. Following Theorem 29 and the examples on solving fractional dynamic equations, one can conclude that(a)if the solution of fractional dynamic equation exists by -Sumudud transform, then the solution exists by -Laplace transform, and vise versa;(b)if the solution of fractional dynamic equation exists by -Sumudud transform, then the solution exists by Sumudu and Laplace transform (here ).

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The author is very grateful to the referees for their helpful suggestions.