About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 401596, 19 pages
http://dx.doi.org/10.1155/2013/401596
Research Article

Fractional Cauchy Problem with Riemann-Liouville Fractional Delta Derivative on Time Scales

School of Mathematics and Statistics, Jiangsu Normal University, Xuzhou 221116, China

Received 9 August 2013; Accepted 6 October 2013

Academic Editor: Ali H. Bhrawy

Copyright © 2013 Jiang Zhu and Ying Zhu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

The -power function and fractional -integrals and fractional -differential are defined, and then the definitions and properties of -Mittag-Leffler function are given. The properties of fractional -integrals and fractional -differential on time scales are discussed in detail. After that, the existence of the solution and the dependency of the solution upon the initial value for Cauchy type problem with fractional -derivative are studied. Also the explicit solutions to homogeneous fractional -differential equations and nonhomogeneous fractional -differential equations are derived by using Laplace transform method.

1. Introduction

The fractional differential equation theory is an important subject of mathematics, which includes continuous fractional differential equations and discrete fractional difference equations. The theory of fractional differential equations has gained considerable popularity and importance during the past three decades or so. Many applications in numerous seemingly diverse and widespread fields of science and engineering have been gained. It does indeed provide several potentially useful tools for solving differential and integral equations and various other problems involving special functions of mathematical physics as well as their extensions and generalizations in one and more variables. About these advances, one can refer to [1, 2], the books [3, 4], and the references of them. For the recent developments about continuous fractional differential equations and discrete fractional difference equations, one can refer to [511]. To unify differential equations and difference equations, Higer proposed firstly the time scale and built the relevant basic theories (see [1215]). Recently, some authors studied fractional calculus on time scales (see [16, 17]), where Williams [16] gives a definition of fractional -integral and -derivative on time scales to unify three cases of specific time scales. Bastos gives definitions of fractional -integral and -derivative on time scales by the inverse of Laplace transform in [17].

Inspired by these works, the aim of this paper is to give a new definition of fractional -integral and -derivative on general time scales and then study some fractional differential equations on time scales. To define the fractional -integral and fractional -derivative, we would need to obtain a definition of fractional order power functions on time scales to generalize the monomials. Different from definition of -power functions by axiomatization method in [16], we define fractional -power functions on general time scales by using inversion of time scale Laplace transform and shift transform in Section 3, and Riemann-Liouville fractional -integral and Riemann-Liouville fractional -derivative on general time scales are also given. In Section 4, we present the properties of fractional -integrals and fractional -differential on time scales. Then in Section 5, Cauchy type problem with Riemann-Liouville fractional -derivative is discussed. In Section 6, for the Riemann-Liouville fractional -differential initial value problem, we discuss the dependency of the solution upon the initial value. In Section 7, by applying the Laplace transform method, we derive explicit solutions to homogeneous fractional -differential equations with constant coefficients. In Section 8, we also use the Laplace transform method to find particular solutions and general solutions of the corresponding fractional -differential nonhomogeneous equations.

2. Preliminaries

First, we present some preliminaries about time scales in [12].

Definition 1 (see [12]). A time scale is a nonempty closed subset of the real numbers. Throughout this paper, or denotes a time scale.

Definition 2 (see [12]). Let be a time scale. For one defines the forward jump operator by , while the backward jump operator is defined by . If , one says that is right-scattered, while if , one says that is left-scattered. Points that are right-scattered and left-scattered at the same time are called isolated. Also, if and , then is called right-dense, and if and , then is called left-dense.

Definition 3 (see [12]). A function is called regulated provided that its right-sided limits exist (finite) at all right-dense points in and its left-sided limits exist (finite) at all left-dense points in .

Definition 4 (see [12]). Let , be defined by and then recursively by

Definition 5 (see [12]). One defines the Cauchy function for the linear dynamic equation to be for each fixed the solution of the initial value problem

Remark 6 (see [12]). Note that is the Cauchy function of .

Theorem 7 (variation of constants [12]). Let ; then the solution of the initial value problem is given by where is the Cauchy function for

Definition 8 (see [2]). The factorial polynomial is defined as For arbitrary , define where denotes gamma function (see [3]).

Definition 9 (see [12]). One says that a function is regressive provided that for all holds. The set of all regressive and rd-continuous functions will be denoted by

Theorem 10 (see [12]). If , then the function defined by is also an element of .

Definition 11 (see [12]). If , then one defines the -exponential function by

Definition 12 (see [12]). If , then the first order linear dynamic equation is called regressive.

Theorem 13 (see [12]). Suppose that (15) is regressive and fix . Then is a solution of the initial value problem on .

Theorem 14 (see [12]). If , then

Definition 15 (see [12]). Assume that is regulated. Then the -Laplace transform of is defined by for , where consists of all complex numbers for which the improper integral exists.

Definition 16 (uniqueness of the inverse [12]). If the functions and have the same Laplace transform, then .

In order to give fractional integral and derivative on a time scale, we need to define fractional power function which is derived by the inverse of Laplace transform and is introduced in the following section. Before this, we need definitions of shift and convolution and some properties about convolution, such as convolution theorem and associativity, which are introduced in [18].

Definition 17 (see [18]). Let be a time scale that and fix . For a given , the solution of the shifting problem is denoted by and is called the shift (or delay) of .

Example 18 (see [18]). Consider for all , independent of .

Definition 19 (see [18]). For given functions , their convolution is defined by where is the shift of introduced in Definition 17.

Theorem 20 (associativity of the convolution [18]). The convolution is associative; that is,

Theorem 21 (see [18]). If is delta differentiable, then and if is delta differentiable, then

Theorem 22 (see [18]). If and are infinitely often -differentiable, then for all

Theorem 23 (convolution theorem [18]). Suppose that are locally -integrable functions on and their convolution is defined by (20). Then,

Theorem 24 (see [12]). Assume that is a mapping, such that is regulated. Then

for those regressive satisfying

Theorem 25 (see [12]). Assume that , are defined as in Definition 4. Then for those regressive satisfying

3. -Power Function and Fractional Integral and Derivative on Time Scales

In this section, inspired by property of in Theorem 25 for , we define fractional -power functions for by using inversion of -Laplace transform and give definitions of fractional integral and derivative on time scales.

Definition 26. One defines fractional generalized -power function on time scales to those suitable regressive such that exist for , . Fractional generalized -power function on time scales is defined as the shift of ; that is,

Applying the initial value theorem of Laplace transform (see, e.g., [15, Theorem 1.3]), for , we have

Theorem 27. For , one has

Proof. According to convolution theorem, By the uniqueness of inverse transform for Laplace transform, we obtain

Moreover, if we take , then That is,

Now, we will give the definitions of fractional -integral and -derivative which are the main context in this section.

Definition 28. Let be a finite interval on a time scale , . For and for a function , the Riemann-Liouville fractional -integral of order is defined by and for , .
When , , according to Definition 17, satisfy
When , , according to Definition 17, satisfy
As an especial case of Definition 28, we have the following examples.

Example 29 (see [3]). When , the fractional -integral of order is defined by

Example 30. When , Consider the following.(1)The th integral of is defined by Here , .Note that power function vanishes at . So (2)The th fractional sum of is defined by

Definition 31. Let , , and . For with , the Riemann-Liouville fractional -derivative of order is defined by the expression if it exists.

Throughout this paper, we denote , , and, for ,   means and means .

Finally, we present the definition of -Mittag-Leffler function which is an important tool for solving fractional difference equation.

Definition 32. -Mittag-Leffler function is defined by provided that the right series is convergent, where , .

Example 33. When , for any ,  , we can obtain that the series is convergent.

Example 34. When , Since is convergent for any , is convergent. That is, is defined as .

As to the Laplace transform of -Mittag-Leffler function, we have the following theorem.

Theorem 35. The Laplace transform of -Mittag-Leffler function is

Proof. According to the definition of Laplace transform, it is obtained that

By differentiating times with respect to on both sides of the formula in Theorem 35, we get the following result:

4. Properties of Fractional -Integral and -Derivative on Time Scales

In this section, we mainly give the properties of fractional -integral and -derivative on time scales which are needed in the following sections.

Theorem 36. Let , , and . Then

Proof. (1) According to Definition 28 and Theorem 27, we have
(2) By Definition 31, it is obtained that Then

In particular, if , , then the Riemann-Liouville fractional -derivatives of a constant are, in general, not equal to zero:

On the other hand, for , In fact, From Theorem 36, we derive the following result in [3] when .

Corollary 37 (see [3]). If and , then In particular, if and , then the Riemann-Liouville fractional derivatives of a constant are, in general, not equal to zero: On the other hand, for ,

As to the fractional sum and difference, we have the following result, which is an improvement of Lemma 3.1 in [1].

Corollary 38. Let . Then

Lemma 39 (Taylor’s formula). Let . Suppose that the function is times differentiable on . Let , , and . Then one has

Proof. Let . Then solves the initial value problem
Note that the Cauchy function for is . By the variation of constants formula in Theorem 7, where solves the initial value problem To validate the claim that , set By the properties of , . We have moreover that so that for . We consequently have that also solves (66), whence by uniqueness.

Lemma 40. (1) For , , let be a function which is times -differentiable on with rd-continuous over , and it is valid that
(2) For , , let be a function which is times -differentiable on with rd-continuous over and exists almost on , and it is valid that

Proof. By Taylor’s formula we have Besides, where

When , there is the following corollary.

Corollary 41 (see [3]). Let and . If , then the fractional derivative exists almost everywhere on and can be represented in the form

Theorem 42. For and , then .

Proof. According to Definition 28, Theorems 20 and 27,

Theorem 43. For , is a positive integer; if is -differentiable and the highest order derivative is rd-continuous over , then it is valid that

Proof. (1) Suppose that is a function which is times -differentiable on with rd-continuous over . By Lemma 40(2), By a similar way, we can get .

When , we have the following corollary.

Corollary 44. Let be given. For any and with , one has

Theorem 45. For , is a positive integer; if is -differentiable and the highest order derivative is rd-continuous over , then it is valid that

Proof. (1) In the proof of Theorem 43, if we take , then we have As is times -differentiable on , we have By (82) and (83), if is at least times -differentiable with the highest order derivative rd-continuous over , then we have Thus is valid if and only if
(2) Similarly, we have Therefore Provided that is at least times -differentiable with the highest order derivative rd-continuous over .
Thus is valid if and only if

In particular, there are corollaries for and for .

Corollary 46 (see [3]). Let and be such that , and , and let and . Then one has the following index rule:

Corollary 47. Let be given. For any and ,

Theorem 48. Let be -differentiable and let its highest order derivative be rd-continuous over . When , , one has the following:

Proof. According to Theorem 42 and (24), we have In addition,

As a direct corollary of Theorem 48, we get Lemma 2.5 in [3].

Corollary 49 (see [3]). Let , , and let . If and , then holds almost everywhere on .

For fractional sum and difference, there is also the following theorem in [1].

It is different from Theorem 3.3 in [1], and from Theorem 48, we can get the following corollary.

Corollary 50. Let be given. For any and with ,

Next, we will give the Laplace transform of fractional integral and derivative on time scales.

Theorem 51. (1) Let and be locally -integrable. For with , one has
(2) Let and be locally -integrable. For with , one has

Proof. (1) According to Definition 28 and convolution theorem, we have
(2) By Definition 31 and (26) and taking the Laplace transform of fractional integral into account, we get

5. Cauchy Type Problem with Riemann-Liouville Fractional Derivative

In this section, we consider Cauchy type problem with Riemann-Liouville fractional derivative In the space defined for by Here is the space of -Lebesgue summable functions in a finite interval .

In the following, we prove that Cauchy type problem and nonlinear Volterra integral equation are equivalent in the sense that if satisfies one of these relations, then it also satisfies the other.

Theorem 52. Let , , , . Let be an open set in and let be a function such that for any . If , then Cauchy type problem (102) and (103) is equivalent to

Proof. First we prove the necessity. We apply to both sides of (102) and get by Theorem 48 Thus Now we prove the sufficiency. Applying the operator to both sides of (105) and by (57) and Theorem 48(1), we have Now we show that the relations in (103) also hold. For this, we apply the operators    to both sides of (105): Since

In the following, we bring in Lipschitzian-type condition: where does not depend on . We will derive a unique solution to the Cauchy problem (102)-(103).

Theorem 53. Let the condition of Theorem 52 be valid, let satisfy the Lipschitzian condition (111), and , is defined on , where is the Lipschitzian constant in (111). Then there exists a unique solution to initial value problem (102)-(103) in the space .

Proof. Since the Cauchy type problem (102)-(103) and the nonlinear Volterra integral equation (105) are equivalent, we only need to prove that there exists a unique solution to (105).
We define function sequences: where We obtain, by induction that, In fact, for , as , we have If then Let and we have
By Weierstrass discriminance, we obtain convergent uniformly. Next we will show the uniqueness. Assume that is another solution to (105); that is, As If then By mathematical induction, we have