Caputo-type modification of the Hadamard fractional derivatives

Generalization of fractional differential operators was subjected to an intense debate in the last few years in order to contribute to a deep understanding of the behavior of complex systems with memory effect. In this article, a Caputo-type modification of Hadamard fractional derivatives is introduced. The properties of the modified derivatives are studied.


Introduction
The fractional calculus which is as old as the usual calculus is the generalization of differentiation and integration of integer order to arbitrary ones.
In the last  years or so, there has been an important development of the field of fractional calculus as it has been applied to many fields of science. It was pointed out that fractional derivatives and integrals are more convenient for describing real materials, and some physical problems were treated by using derivatives of non-integer orders where α > , n - < α < n. Here and in the following, (α) represents the Gamma function.
The left Riemann-Liouville fractional derivative is defined by The right Riemann-Liouville fractional derivative is defined by The fractional derivative of a constant takes the form and the fractional derivative of a power of t has the following form: Although the definition of the Riemann-Liouville type () played a significant role in the development of the theory of fractional calculus, real world problems require fractional derivatives which contain physically interpretable initial conditions f (a), f (a), . . . [, ]. To overcome such problems, Caputo proposed the following definitions of the left and right fractional derivatives respectively: and where α represents the order of the derivative such that n - < α < n. By definition the Caputo fractional derivative of a constant is zero. The Riemann-Liouville fractional derivatives and Caputo fractional derivatives are connected with each other by the following relations: Riemann-Liouville fractional derivative is formally a fractional power ( d dx ) α of the differentiation d dx and is invariant with respect to translation on the whole axis []. Hadamard [] suggested a fractional power of the form (x d dx ) α . This fractional derivative is invariant with respect to dilation on the whole axis. The Hadamard approach to the fractional integral was based on the generalization of the nth integral ( ) http://www.advancesindifferenceequations.com/content/2012/1/142 The left and right Hadamard fractional integrals of order α ∈ C, R(α) >  are respectively defined by The corresponding left and right sided Hadamard fractional derivatives are , the authors contributed to the development of the theory of Hadamardtype fractional calculus. However, this calculus is still studied less than that of Riemann-Liouville.
The question arises here is whether we can modify the Hadamard fractional derivatives so that the derivatives of a constant is  and these derivatives contain physically interpretable initial conditions similar to the ones in Caputo fractional derivatives.
The main goal of this article is to define the Caputo-type modification of the Hadamard fractional derivatives and present properties of such derivatives.

Caputo-type Hadamard fractional derivatives
We define the Caputo-type modification of left-and right-sided Hadamard fractional derivatives respectively as follows: and In particular, if  < R(α) < , we have and and C D α b y(x) can be represented by In particular,

Using the definition of left Hadamard fractional derivative () and applying integrating by parts formula
Performing once more the integration by parts with the same choice of dv, one gets equation (). () is proved in a similar way. Now, when α = n we have That is From Lemma . in [], one derives C a D α y(x) = δ n y(x). The second formula in () can be proved likewise. continuous on [a, b] and

(   )
When α ∈ N, the first formula in () holds as a result of Lemma . in []. The second formula can be proved likewise.
Proof () and () follow from the estimates () and () keeping in mind that δ n y C ≤ y C n δ (see formula .. in [] when γ = ). The estimates in () are straightforward.
From properties . and . in [], we have a D α ( a J α y)(x) = y(x) and δ k ( a J α y)(x) = a J α-k y(x). It is easy to verify that from which we conclude that a J α-k y(a) = , and thus the first identity in () holds. The second identity is proved analogously. Lemma . Let y ∈ AC n δ [a, b] or C n δ [a, b] and α ∈ C. Then Proof () and () follow from the identities C a D α y(x) = a J n-α y(x) and C D α b y(x) =  Caputo-Hadamard fractional derivatives can also be defined on the positive half axis R + by replacing a by  in formula () and b by ∞ in formula () provided that y(x) ∈ AC n δ (R + ) (or C n δ (R + )). Thus one has http://www.advancesindifferenceequations.com/content/2012/1/142