- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 401596, 19 pages
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.
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.
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 [5–11]. To unify differential equations and difference equations, Higer proposed firstly the time scale and built the relevant basic theories (see [12–15]). Recently, some authors studied fractional calculus on time scales (see [16, 17]), where Williams  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 .
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 , 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.
First, we present some preliminaries about time scales in .
Definition 1 (see ). A time scale is a nonempty closed subset of the real numbers. Throughout this paper, or denotes a time scale.
Definition 2 (see ). 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 ). 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 ). Let , be defined by and then recursively by
Definition 5 (see ). 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 ). Note that is the Cauchy function of .
Theorem 7 (variation of constants ). Let ; then the solution of the initial value problem is given by where is the Cauchy function for
Definition 9 (see ). 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 ). If , then the function defined by is also an element of .
Definition 11 (see ). If , then one defines the -exponential function by
Definition 12 (see ). If , then the first order linear dynamic equation is called regressive.
Theorem 14 (see ). If , then
Definition 15 (see ). 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 ). 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 .
Definition 17 (see ). 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 ). Consider for all , independent of .
Theorem 20 (associativity of the convolution ). The convolution is associative; that is,
Theorem 21 (see ). If is delta differentiable, then and if is delta differentiable, then
Theorem 22 (see ). If and are infinitely often -differentiable, then for all
Theorem 24 (see ). Assume that is a mapping, such that is regulated. 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 ). 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
In particular, if , , then the Riemann-Liouville fractional -derivatives of a constant are, in general, not equal to zero:
Corollary 37 (see ). 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 .
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 ). Let and . If , then the fractional derivative exists almost everywhere on and can be represented in the form
Theorem 42. For and , then .
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
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 ). 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:
Corollary 49 (see ). Let , , and let . If and , then holds almost everywhere on .
For fractional sum and difference, there is also the following theorem in .
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
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.
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
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