In this paper, starting from the definition of the Sumudu transform on a general time scale, we define the generalized discrete Sumudu transform and present some of its basic properties. We obtain the discrete Sumudu transform of Taylor monomials, fractional sums, and fractional differences. We apply this transform to solve some fractional difference initial value problems.
1. Introduction
The fractional calculus, which is as old as the usual calculus, deals with the generalization of the integration and differentiation of integer order to arbitrary order. It has recently received a lot of attention 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–12] and the references cited therein.
In the early 1990's, Watugala [13, 14] introduced the Sumudu transform and applied it to solve ordinary differential equations. The fundamental properties of this transform, which are thought to be an alternative to the Laplace transform were then established in many articles [15–19].
The Sumudu transform is defined over the set of functions
(1.1)A:={f(t)∣∃M,τ1,τ2>0,|f(t)|<Me|t|/τj,ift∈(-1)j×[0,∞)}
by
(1.2)F(u):=𝕊{f}(u):=1u∫0∞f(t)e-(t/u)dt,u∈(-τ1,τ2).
Although the Sumudu transform of a function has a deep connection to its Laplace transform, the main advantage of the Sumudu transform is the fact that 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 make it more advantageous than the Laplace transform. Some of these properties are
The Sumudu transform of a Heaviside step function is also a Heaviside step function in the transformed domain.
𝕊{tn}(u)=n!un.
limu→-τ1F(u)=limt→-∞f(t).
limu→τ2F(u)=limt→∞f(t).
limt→0∓f(t)=limu→0∓F(u).
Foranyrealorcomplexnumberc,𝕊{f(ct)}(u)=F(cu).
In particular, since constants are fixed by the Sumudu transform, choosing c=0, it gives F(0)=f(0).
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 G(u) can be treated as replicas of t and f(t), respectively [20].
Recently, an application of the Sumudu and Double Sumudu transforms to Caputo-fractional differential equations is given in [21]. In [22], the authors applied the Sumudu transform to fractional differential equations.
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 [23]. The theory of time scales was initiated by Hilger [24]. 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 dynamic process can be described with discrete or continuous models.
In this paper, starting from the definition of the Sumudu transform on a general time scale, we define the 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 discrete Sumudu transform and present some of its basic properties. Section 5 is devoted to an application.
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 𝕋=qℤ¯:={qn:n∈ℤ}⋃{0}, where q>1. The forward and backward jump operators are defined by
(2.1)σ(t):=inf{s∈𝕋:s>t},ρ(t):=sup{s∈𝕋:s<t},
respectively, where inf∅:=sup𝕋 and sup∅:=inf𝕋. A point t∈𝕋 is said to be left-dense if t>inf𝕋 and ρ(t)=t, right-dense if t<sup𝕋 and σ(t)=t, left-scattered if ρ(t)<t, and right-scattered if σ(t)>t. The graininess function μ:𝕋→[0,∞) is defined by μ(t):=σ(t)-t. For details, see the monographs [25, 26].
The following two concepts are introduced in order to describe classes of functions that are integrable.
Definition 2.1 (see [25]).
A function f:𝕋→ℝ 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 (see [25]).
A function f:𝕋→ℝ is called rd-continuous if it is continuous at right-dense points in 𝕋 and its left-sided limits exist at left-dense points in 𝕋.
The set 𝕋κ is derived from the time scale 𝕋 as follows: if 𝕋 has a left-scattered maximum m, then 𝕋κ:=𝕋-{m}. Otherwise, 𝕋κ:=𝕋.
Definition 2.3 (see [25]).
A function f:𝕋→ℝ is said to be delta differentiable at a point t∈𝕋κ if there exists a number fΔ(t) with the property that given any ε>0, there exists a neighborhood U of t such that
(2.2)|[f(σ(t))-f(s)]-fΔ(t)[σ(t)-s]|≤ε|σ(t)-s|∀s∈U.
We will also need the following definition in order to define the exponential function on an arbitrary time scale.
Definition 2.4 (see [25]).
A function p:𝕋→ℝ is called regressive provided 1+μ(t)p(t)≠0 for all t∈𝕋κ.
The set ℛ of all regressive and rd-continuous functions forms an Abelian group under the “circle plus” addition ⊕ defined by
(2.3)(p⊕q)(t):=p(t)+q(t)+μ(t)p(t)q(t)∀t∈𝕋κ.
The additive inverse ⊖p of p∈ℛ is defined by
(2.4)(⊖p)(t):=-p(t)1+μ(t)p(t)∀t∈𝕋κ.
Theorem 2.5 (see [25]).
Let p∈ℛ and t0∈𝕋 be a fixed point. Then the exponential function ep(·,t0) is the unique solution of the initial value problem
(2.5)yΔ=p(t)y,y(t0)=1.
3. An Introduction to Discrete Fractional Calculus
In this section, we introduce some basic definitions and a theorem concerning the discrete fractional calculus.
Throughout, we consider the discrete set
(3.1)ℕa:={a,a+1,a+2,…},wherea∈ℝisfixed.
Definition 3.1 (see [27]).
Let f:ℕa→ℝ and ν>0 be given. Then the νth-order fractional sum of f is given by
(3.2)Δa-νf(t):=1Γ(ν)∑s=at-ν(t-σ(s))ν-1_f(s)fort∈ℕa+ν.
Also, we define the trivial sum by
(3.3)Δa-0f(t):=f(t)fort∈Na.
Note that the fractional sum operator Δa-ν maps functions defined on ℕa to functions defined on ℕa+ν.
In the above equation the term (t-σ(s))ν-1_ is the generalized falling function defined by
(3.4)tν_:=Γ(t+1)Γ(t+1-ν)
for any t,ν∈ℝ for which the right-hand side is well defined. As usual, we use the convention that division by a pole yields zero.
Definition 3.2 (see [27]).
Let f:ℕa→ℝ and ν≥0 be given, and let N∈ℕ be chosen such that N-1<ν≤N. Then the νth-order Riemann-Liouville fractional difference of f is given by
(3.5)Δaνf(t):=ΔNΔa-(N-ν)f(t)fort∈ℕa+N-ν.
It is clear that, the fractional difference operator Δaν maps functions defined on ℕa to functions defined on ℕa+N-ν.
As stated in the following theorem, the composition of fractional operators behaves well if the inner operator is a fractional difference.
Theorem 3.3 (see [27]).
Let f:ℕa→ℝ be given and suppose ν,μ>0 with N-1<ν≤N. Then
(3.6)Δa+μνΔa-μf(t)=Δaν-μf(t)fort∈Na+μ+N-ν.
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 0<v<1, we have
(3.7)Δaνc=-c(t-a)-ν_Γ(1-ν).
In order to overcome this and to make the fractional difference behave like the usual difference, the Caputo fractional difference was introduced in [12].
Definition 3.4 (see [12]).
Let f:ℕa→ℝ and ν≥0 be given, and let N∈ℕ be chosen such that N-1<ν≤N. Then the νth-order Caputo fractional difference of f is given by
(3.8)CΔaνf(t):=Δa-(N-ν)ΔNf(t)fort∈ℕa+N-ν.
It is clear that the Caputo fractional difference operator CΔaν maps functions defined on ℕa to functions defined on ℕa+N-ν as well. And it follows from the definition of the Caputo fractional difference operator that
(3.9)CΔaνc=0.
4. The Discrete Sumudu Transform
The following definition is a slight generalization of the one introduced by Jarad et al. [28].
Definition 4.1.
The Sumudu transform of a regulated function f:𝕋a→ℝ is given by
(4.1)𝕊a{f}(u):=1u∫a∞e⊖(1/u)(σ(t),a)f(t)Δt∀u∈𝒟{f},
where a∈ℝ is fixed, 𝕋a is an unbounded time scale with infimum a and 𝒟{f} is the set of all nonzero complex constants u for which 1/u is regressive and the integral converges.
In the special case, when 𝕋a=ℕa, every function f:ℕa→ℝ is regulated and its discrete Sumudu transform can be written as
(4.2)𝕊a{f}(u)=1u∑k=0∞(uu+1)k+1f(k+a)
for each u∈ℂ∖{-1,0} for which the series converges. For the convergence of the Sumudu transform, we need the following definition.
Definition 4.2 (see [27]).
A function f:ℕa→ℝ is of exponential order r (r>0) if there exists a constant A>0 such that
(4.3)|f(t)|≤Artforsufficientlylarget.
The following lemma can be proved similarly as in Lemma 12 in [27].
Lemma 4.3.
Suppose f:ℕa→ℝ is of exponential order r>0. Then
(4.4)𝕊a{f}(u)existsforallu∈ℂ∖{-1,0}suchthat|u+1u|>r.
The following lemma relates the shifted Sumudu transform to the original.
Lemma 4.4.
Let m∈ℕ0 and f:ℕa-m→ℝ and g:ℕa→ℝ are of exponential order r>0. Then for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(4.5)𝕊a-m{f}(u)=(uu+1)m𝕊a{f}(u)+1u∑k=0m-1(uu+1)k+1f(k+a-m),(4.6)𝕊a+m{g}(u)=(u+1u)m𝕊a{g}(u)-1u∑k=0m-1(u+1u)m-1-kg(k+a).
Proof.
For all u∈ℂ∖{-1,0} such that |(u+1)/u|>r, we have
(4.7)𝕊a-m{f}(u)=1u∑k=0∞(uu+1)k+1f(k+a-m)=1u∑k=m∞(uu+1)k+1f(k+a-m)+1u∑k=0m-1(uu+1)k+1f(k+a-m)=1u∑k=0∞(uu+1)k+m+1f(k+a)+1u∑k=0m-1(uu+1)k+1f(k+a-m)=(uu+1)m𝕊a{f}(u)+1u∑k=0m-1(uu+1)k+1f(k+a-m),𝕊a+m{g}(u)=1u∑k=0∞(uu+1)k+1g(k+a+m)=1u∑k=m∞(uu+1)k-m+1g(k+a)=1u∑k=0∞(uu+1)k-m+1g(k+a)-1u∑k=0m-1(uu+1)k-m+1g(k+a)=(u+1u)m𝕊a{g}(u)-1u∑k=0m-1(u+1u)m-1-kg(k+a).
Taylor monomials are very useful for applying the Sumudu transform in discrete fractional calculus.
Definition 4.5 (see [27]).
For each μ∈ℝ∖(-ℕ), define the μth-Taylor monomial to be
(4.8)hμ(t,a):=(t-a)μ_Γ(μ+1)fort∈ℕa.
Lemma 4.6.
Let μ∈ℝ∖(-ℕ) and a,b∈ℝ such that b-a=μ. Then for all u∈ℂ∖{-1,0} such that |(u+1)/u|>1, one has
(4.9)𝕊b{hμ(·,a)}(u)=(u+1)μ.
Proof.
By the general binomial formula
(4.10)(x+y)ν=∑k=0∞(vk)xkyv-k
for ν,x,y∈ℝ such that |x|<|y|, where
(4.11)(vk):=νk_k!,
as in [27], it follows from (4.10) and
(4.12)(-vk)=(-1)k(k+v-1v-1),
where k∈ℕ0 that
(4.13)1(1-y)ν=((-y)+1)-ν=∑k=0∞(k+v-1v-1)yk
for ν∈ℝ and |y|<1.
And since b-a=μ, we have for all u∈ℂ∖{-1,0} such that |(u+1)/u|>1,
(4.14)(u+1)μ=1u+11(1-(u/(u+1)))μ+1=1u+1∑k=0∞(k+μμ)(uu+1)k=1u∑k=0∞(k+μμ)(uu+1)k+1=1u∑k=0∞(k+μ)μ_Γ(μ+1)(uu+1)k+1=1u∑k=0∞hμ(k+b,a)(uu+1)k+1=𝕊b{hμ(·,a)}(u).
Definition 4.7 (see [27]).
Define the convolution of two functions f,g:ℕa→ℝ by
(4.15)(f*g)(t):=∑r=atf(r)g(t-r+a)fort∈ℕa.
Lemma 4.8.
Let f,g:ℕa→ℝ be of exponential order r>0. Then for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(4.16)𝕊a{f*g}(u)=(u+1)𝕊a{f}(u)𝕊a{g}(u).
Proof.
Since
(4.17)𝕊a{f*g}(u)=1u∑k=0∞(uu+1)k+1(f*g)(k+a)=1u∑k=0∞(uu+1)k+1∑r=ak+af(r)g((k+a)-r+a)=1u∑k=0∞∑r=0k(uu+1)k+1f(r+a)g(k-r+a),
the substitution τ=k-r yields
(4.18)𝕊a{f*g}(u)=1u∑τ=0∞∑r=0∞(uu+1)τ+r+1f(r+a)g(τ+a)=(u+1)(1u∑r=0∞(uu+1)r+1f(r+a))(1u∑τ=0∞(uu+1)τ+1g(τ+a))=(u+1)𝕊a{f}(u)𝕊a{g}(u)
for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r.
Theorem 4.9.
Suppose f:ℕa→ℝ is of exponential order r≥1 and let ν>0 with N-1<ν≤N. Then for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(4.19)𝕊a+ν{Δa-νf}(u)=(u+1)ν𝕊a{f}(u),(4.20)𝕊a+ν-N{Δa-νf}(u)=uN(u+1)N-ν𝕊a{f}(u).
Proof.
First note that the shift formula (4.5) implies that for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(4.21)𝕊a+ν-N{Δa-νf}(u)=1u∑k=0∞(uu+1)k+1Δa-νf(k+a+ν-N)=(uu+1)N𝕊a+ν{Δa-νf}(u)+1u∑k=0N-1(uu+1)k+1Δa-νf(k+a+ν-N)=(uu+1)N𝕊a+ν{Δa-νf}(u),
taking N zeros of Δa-νf into account. Furthermore, by (4.9), (4.15), and (4.16),
(4.22)𝕊a+ν{Δa-νf}(u)=1u∑k=0∞(uu+1)k+1Δa-νf(k+a+ν)=1u∑k=0∞(uu+1)k+1∑r=ak+a(k+a+ν-σ(r))ν-1_Γ(ν)f(r)=1u∑k=0∞(uu+1)k+1∑r=ak+af(r)hν-1((k+a)-r+a,a-(ν-1))=1u∑k=0∞(uu+1)k+1(f*hν-1(·,a-(ν-1)))(k+a)=𝕊a{f*hν-1(·,a-(ν-1))}(u)=(u+1)𝕊a{f}(u)𝕊a{hν-1(·,a-(ν-1))}=(u+1)(u+1)ν-1𝕊a{f}(u)=(u+1)ν𝕊a{f}(u).
Then we obtain
(4.23)𝕊a+ν-N{Δa-νf}(u)=(uu+1)N𝕊a+ν{Δa-νf}(u)=uN(u+1)N-ν𝕊a{f}(u).
Theorem 4.10.
Suppose f:ℕa→ℝ is of exponential order r≥1 and let ν>0 with N-1<ν≤N. Then for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(4.24)𝕊a+N-ν{Δaνf}(u)=(u+1)N-νuN𝕊a{f}(u)-∑k=0N-1uk-NΔaν-N+kf(a+N-ν).
Proof.
Let f,r,ν, and N be as in the statement of the theorem. We already know from Theorem 3.8 in [28] that (4.24) holds when ν=N, that is,
(4.25)𝕊a{ΔNf}(u)=1uN𝕊a{f}(u)-∑k=0N-1uk-NΔkf(a).
If N-1<ν<N, then 0<N-ν<1 and hence it follows from (3.6), (4.19), and (4.25) that
(4.26)𝕊a+N-ν{Δaνf}(u)=𝕊a+N-ν{ΔNΔa-(N-ν)f}(u)=1uN𝕊a+N-ν{Δa-(N-ν)f}(u)-∑k=0N-1uk-NΔkΔa-(N-ν)f(a+N-ν)=(u+1)N-νuN𝕊a{f}(u)-∑k=0N-1uk-NΔaν-N+kf(a+N-ν).
In the following theorem the Sumudu transform of the Caputo fractional difference operator is presented.
Theorem 4.11.
Suppose f:ℕa→ℝ is of exponential order r≥1 and let ν>0 with N-1<ν≤N. Then for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(4.27)𝕊a+N-ν{ΔaνCf}(u)=(u+1)N-νuN[𝕊a{f}(u)-∑k=0N-1ukΔkf(a)].
Proof.
Let f,r,ν, and N be as in the statement of the theorem. We already know from (4.25) that v=N, (4.27) holds. If N-1<ν<N, then 0<N-ν<1 and hence it follows from (4.19) and (4.25) that
(4.28)𝕊a+N-ν{ΔCaνf}(u)=𝕊a+N-ν{Δa-(N-ν)ΔNf}(u)=(u+1)N-ν𝕊a{ΔNf}(u)=(u+1)N-νuN[𝕊a{f}(u)-∑k=0N-1ukΔkf(a)].
Lemma 4.12.
Let f:ℕa→ℝ be given. For any p∈ℕ0 and ν>0 with N-1<ν≤N, one has
(4.29)CΔaν+pf(t)=ΔaνCΔpf(t)fort∈ℕa+N-v.
Proof.
Let f, v, N, and p be given as in the statement of the lemma. Then
(4.30)Δaν+pCf(t)=Δa-(N+p-ν-p)ΔN+pf(t)=Δa-(N-ν)ΔNΔpf(t)=ΔCaνΔpf(t).
Corollary 4.13.
Suppose f:ℕa→ℝ is of exponential order r≥1, ν>0 with N-1<ν≤N and p∈ℕ0. Then for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(4.31)𝕊a+N-ν{ΔCaν+pf}(u)=(u+1)N-νuN+p[𝕊a{f}(u)-∑k=0N+p-1ukΔkf(a)].
Proof.
The proof follows from (4.25), (4.27), and (4.29).
5. Applications
In this section, we will illustrate the possible use of the discrete Sumudu transform by applying it to solve some initial value problems. The following initial value problem was solved in Theorem 23 in [27] by using the Laplace transforms.
Example 5.1.
Suppose f:ℕa→ℝ is of exponential order r≥1 and let ν>0 with N-1<ν≤N. The unique solution to the fractional initial value problem
(5.1)Δa+ν-Nνy(t)=f(t),t∈ℕaΔky(a+ν-N)=Ak,k∈{0,1,…,N-1},Ak∈ℝ
is given by
(5.2)y(t)=∑k=0N-1αk(t-a)ν+k-N_+Δa-νf(t),t∈ℕa+ν-N,
where
(5.3)αk=Δa+ν-Nν-N+ky(a)Γ(ν+k-N+1)=∑p=0k∑j=0k-p(-1)jk!(k-j)N-ν_(kp)(k-pj)Ap
for k∈{0,1,…,N-1}.
Proof.
Since f is of exponential order r, then 𝕊a{f}(u) exists for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r. So, applying the Sumudu transform to both sides of the fractional difference equation in (5.1), we have for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(5.4)𝕊a{Δa+ν-Nνy}(u)=𝕊a{f}(u).
Then from (4.24), it follows
(5.5)(u+1)N-νuN𝕊a+ν-N{y}(u)-∑k=0N-1uk-NΔa+ν-Nν-N+ky(a)=𝕊a{f}(u)
and hence
(5.6)𝕊a+ν-N{y}(u)=uN(u+1)N-ν𝕊a{f}(u)+∑k=0N-1uk(u+1)N-νΔa+ν-Nν-N+ky(a).
By (4.20), we have
(5.7)uN(u+1)N-ν𝕊a{f}(u)=𝕊a+ν-N{Δa-νf}(u).
Considering the terms in the summation, by using the shifting formula (4.5), we see that for each k∈{0,1,…,N-1},
(5.8)uk(u+1)N-νu+1=(uu+1)k(u+1)ν+k-Nu+1=(uu+1)k𝕊a+ν+k-N{hν+k-N(·,a)}(u)u+1=𝕊a+ν-N{hν+k-N(·,a)}(u)-1u∑i=0k-1(uu+1)i+1hν+k-N(i+a+ν-N,a)u+1=𝕊a+ν-N{hν+k-N(·,a)}(u)
since
(5.9)hν+k-N(i+a+ν-N,a)=(i+ν-N)ν+k-N_Γ(ν+k-N+1)=Γ(i+ν-N+1)Γ(i-k+1)Γ(ν+k-N+1)=0
for i∈{0,…k-1}.
Consequently, we have
(5.10)𝕊a+ν-N{y}(u)=𝕊a+ν-N{Δa-νf}(u)+∑k=0N-1Δa+ν-Nν-N+ky(a)𝕊a+ν-N{hν+k-N(·,a)}(u)=𝕊a+ν-N{∑k=0N-1Δa+ν-Nν-N+ky(a)hν+k-N(·,a)+Δa-νf}(u).
Since Sumudu transform is a one-to-one operator (see [28, Theorem 3.6]), we conclude that for t∈ℕa+ν-N,
(5.11)y(t)=∑k=0N-1Δa+ν-Nν-N+ky(a)hν+k-N(t,a)+Δa-νf(t)=∑k=0N-1(Δa+ν-Nν-N+ky(a)Γ(ν+k-N+1))(t-a)ν+k-N_+Δa-νf(t),
where
(5.12)Δa+ν-Nν-N+ky(a)Γ(ν+k-N+1)=∑p=0k∑j=0k-p(-1)jk!(k-j)N-ν_(kp)(k-pj)Δky(a+ν-N),
(see [27, Theorem 11]).
Example 5.2.
Consider the initial value problem (5.1) with the Riemann-Liouville fractional difference replaced by the Caputo fractional difference. (5.13)CΔa+ν-Nνy(t)=f(t),t∈ℕa,Δky(a+ν-N)=Ak,k∈{0,1,…,N-1},Ak∈ℝ.
Applying the Sumudu transform to both sides of the difference equation, we get for all u∈ℂ∖{-1,0} such that |(u+1)/u|>r,
(5.14)𝕊a{Δa+ν-NνCy}(u)=𝕊a{f}(u).
Then from (4.27), it follows
(5.15)(u+1)N-νuN[𝕊a+ν-N{y}(u)-∑k=0N-1ukAk]=𝕊a{f}(u).
By (4.20), we have
(5.16)𝕊a+ν-N{y}(u)=∑k=0N-1ukAk+uN(u+1)N-ν𝕊a{f}(u)=∑k=0N-1ukAk+𝕊a+ν-N{Δa-νf}(u).
Since from [28], we have
(5.17)𝕊0{tn_}(u)=n!un,n∈ℕ0,
hence
(5.18)y(t)=∑k=0N-1Ak(t-a-ν+N)k_k!+Δa-νf(t).
Remark 5.3.
The initial value problem (5.1) can also be solved by using Proposition 15 in [12].
Example 5.4.
Consider the initial value problem
(5.19)ΔCa+ν-1ν+1y(t)-Δa+ν-1νCy(t)=0,t∈ℕa,Δky(a+v-N)=Ak,k∈{0.1},Ak∈ℝ,
where 0<ν≤1. Applying the Sumudu transform to both sides of the equation and using (4.31) and (4.27), respectively, we get
(5.20)(u+1)1-νu2[𝕊a+ν-1{y}(u)-A0-uA1]-(u+1)1-νu[𝕊a+ν-1{y}(u)-A0]=0.
Hence we get
(5.21)𝕊a+ν-1{y}(u)=(A0-A1)+A11-u.
Since from [28], we have
(5.22)𝕊0{(1+λ)t}(u)=11-λufor|(1+λ)uu+1|<1,
then
(5.23)y(t)=(A0-A1)+A12t-a-ν+1.
KilbasA. A.SrivastavaH. M.TrujilloJ. J.2006204Amsterdam, The NetherlandsElsevier Sciencexvi+523North-Holland Mathematics Studies2218073SamkoS. G.KilbasA. A.MarichevO. I.1993Linghorne, Pa, USAGordon and Breach Science Publishersxxxvi+9761347689PodlubnyI.1999198San Diego, Calif, USAAcademic Pressxxiv+340Mathematics in Science and Engineering1658022MaginR. L.2006Redding, Conn, USABegell House PublisherWestB. J.BolognaM.GrigoliniP.2003New York, NY, USASpringerx+354Institute for Nonlinear Science10.1007/978-0-387-21746-81988873HeymansN.PodlubnyI.Physical interpretation of initial conditions for fractional differential equations with Riemann-Liouville fractional derivatives200645765771MillerK. S.RossB.Fractional difference calculusProceedings of the Univalent Functions, Fractional Calculus, and Their Applications1989Nihon University139152AticiF. M.EloeP. W.A transform method in discrete fractional calculus2007221651762493595AticiF. M.EloeP. W.Initial value problems in discrete fractional calculus2009137398198910.1090/S0002-9939-08-09626-32457438ZBL1166.39005AtıcıF. M.EloeP. W.Discrete fractional calculus with the nabla operator200931122558828ZBL1189.39004AbdeljawadT.BaleanuD.Fractional differences and integration by parts20111335745822752428ZBL1225.39008AbdeljawadT.On Riemann and Caputo fractional differences20116231602161110.1016/j.camwa.2011.03.0362824747ZBL1228.26008WatugalaG. K.Sumudu transform: a new integral transform to solve differential equations and control engineering problems1993241354310.1080/00207399302401051206847ZBL0768.44003WatugalaG. K.The Sumudu transform for functions of two variables2002842933021906944ZBL1025.44003AsiruM. A.Sumudu transform and the solution of integral equations of convolution type200132690691010.1080/0020739013171478701872543ZBL1008.45003AşiruM. A.Further properties of the Sumudu transform and its applications200233344144910.1080/0020739027600479401912446ZBL1013.44001BelgacemF. B. M.KaraballiA. A.KallaS. L.Analytical investigations of the Sumudu transform and applications to integral production equations20033-410311810.1155/S1024123X032070182032184BelgacemF. B. M.KarballiA. A.Sumudu transform fundemantal properties investigations and applications20062006239108310.1155/JAMSA/2006/91083KılıçmanA.EltayebH.On the applications of Laplace and Sumudu transforms2010347584886210.1016/j.jfranklin.2010.03.0082645395BelgacemF. B. M.Introducing and analysing deeper Sumudu properties200613123412212084ZBL1102.44001JaradF.TasK.Application of Sumudu and double Sumudu transforms to Caputo-Fractional dierential equations2012143475483KatatbehQ. D.BelgacemF. B. M.Applications of the Sumudu transform to fractional differential equations2011181991122814087ZBL1223.44001BohnerM.GuseinovG. Sh.The h-Laplace and q-Laplace transforms20103651759210.1016/j.jmaa.2009.09.0612585078HilgerS.Analysis on measure chains—a unified approach to continuous and discrete calculus1990181-218561066641ZBL0722.39001BohnerM.PetersonA.2001Boston, Mass, USABirkhäuserx+35810.1007/978-1-4612-0201-11843232BohnerM.PetersonA.2003Boston, Mass, USABirkhäuserxii+34810.1007/978-0-8176-8230-91962542HolmM. T.2011JaradF.BayramK.AbdeljawadT.BaleanuD.On the discrete sumudu transformRomanian Reports in Physics. In press