Open Access

Caputo-type modification of the Hadamard fractional derivatives

Advances in Difference Equations20122012:142

https://doi.org/10.1186/1687-1847-2012-142

Received: 24 May 2012

Accepted: 9 July 2012

Published: 10 August 2012

Abstract

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.

Keywords

Hadamard fractional derivatives Caputo

1 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 30 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 [1, 2, 59, 12].

Several authors found interesting results when they used the fractional calculus in control theory [7, 10, 11].

Maybe the most well-known fractional integral is the one developed by Riemann and Liouville and based on the generalization of the usual Riemann integral a x f ( t ) d t .

The left Riemann-Liouville fractional integral and the right Riemann-Liouville fractional integral are defined respectively by
(1)
(2)

where α > 0 , n 1 < α < n . Here and in the following, Γ ( α ) represents the Gamma function.

The left Riemann-Liouville fractional derivative is defined by
D α a f ( x ) = 1 Γ ( n α ) ( d d x ) n a x ( x τ ) n α 1 f ( τ ) d τ .
(3)
The right Riemann-Liouville fractional derivative is defined by
D b α f ( x ) = 1 Γ ( n α ) ( d d x ) n x b ( τ x ) n α 1 f ( τ ) d τ .
(4)
The fractional derivative of a constant takes the form
D α a C = C ( x a ) α Γ ( 1 α )
(5)
and the fractional derivative of a power of t has the following form:
D α a ( x a ) β = Γ ( α + 1 ) ( x a ) β α Γ ( β α + 1 ) ,
(6)

for β > 1 , α 0 .

Although the definition of the Riemann-Liouville type (3) 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 ) , [4, 6]. To overcome such problems, Caputo proposed the following definitions of the left and right fractional derivatives respectively:
D α a C f ( x ) = 1 Γ ( n α ) a x ( x τ ) n α 1 ( d d τ ) n f ( τ ) d τ ,
(7)
and
D b α C f ( x ) = 1 Γ ( n α ) x b ( τ x ) n α 1 ( d d τ ) n f ( τ ) d τ ,
(8)

where α represents the order of the derivative such that n 1 < α < 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:
(9)
(10)
Riemann-Liouville fractional derivative is formally a fractional power ( d d x ) α of the differentiation d d x and is invariant with respect to translation on the whole axis [2]. Hadamard [3] suggested a fractional power of the form ( x d d x ) α . 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 n th integral
J n a ( x ) = a x d t 1 t 1 a t 1 d t 2 t 2 a t n 1 f ( t n ) d t n t n = 1 ( n 1 ) ! a t ( log x t ) n 1 f ( t ) d t t .
(11)
The left and right Hadamard fractional integrals of order α C , R ( α ) > 0 are respectively defined by
(12)
(13)
The corresponding left and right sided Hadamard fractional derivatives are
D α a y ( x ) = δ n ( a J n α y ) ( x ) = ( x d d x ) n 1 Γ ( n α ) a x ( log x t ) n α 1 y ( t ) d t t ,
(14)
and
D b α y ( x ) = ( δ ) n ( J b n α y ) ( x ) = ( x d d x ) n 1 Γ ( n α ) t b ( log t x ) n α 1 y ( t ) d t t ,
(15)

where δ = x d d x , δ 0 y ( x ) = y ( x ) , α C , R ( α ) 0 .

In [1317], the authors contributed to the development of the theory of Hadamard-type 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 0 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.

2 Caputo-type Hadamard fractional derivatives

Let R ( α ) 0 and n = [ R ( α ) ] + 1 . If y ( x ) A C δ n [ a , b ] , where 0 < a < b < and A C δ n [ a , b ] = { g : [ a , b ] C : δ n 1 g ( x ) A C [ a , b ] , δ = x d d x } . We define the Caputo-type modification of left- and right-sided Hadamard fractional derivatives respectively as follows:
D α a C y ( x ) = a D α [ y ( t ) k = 0 n 1 δ k y ( a ) k ! ( log t a ) k ] ( x ) ,
(16)
and
D b α C y ( x ) = D b α [ y ( t ) k = 0 n 1 ( 1 ) k δ k y ( b ) k ! ( log b t ) k ] ( x ) .
(17)
In particular, if 0 < R ( α ) < 1 , we have
D α a C y ( x ) = a D α [ y ( t ) y ( a ) ] ( x ) ,
(18)
and
D b α C y ( x ) = D b α [ y ( t ) y ( b ) ] ( x ) .
(19)
Theorem 2.1 Let R ( α ) 0 and n = [ R ( α ) ] + 1 . If y ( x ) A C δ n [ a , b ] , where 0 < a < b < . Then D α a C y ( x ) and D b α C y ( x ) exist everywhere on [ a , b ] and
  1. (i)
    if α N 0 , D α a C y ( x ) can be represented by
    D α a C y ( x ) = 1 Γ ( n α ) a x ( log x t ) n α 1 δ n y ( t ) d t t = a J n α δ n y ( x ) ,
    (20)
    and D b α C y ( x ) can be represented by
    D b α C y ( x ) = ( 1 ) n Γ ( n α ) x b ( log t x ) n α 1 δ n y ( t ) d t t = ( 1 ) n J b n α δ n y ( x ) ,
    (21)
     
  2. (ii)
    if α N , then
    D α a C y ( x ) = δ n y ( x ) , C D b α y ( x ) = ( 1 ) n δ n y ( x ) .
    (22)
     
In particular,
D 0 a C y ( x ) = C D b 0 y ( x ) = y ( x ) .
(23)
Proof Let α N 0 . Using the definition of left Hadamard fractional derivative (14) and applying integrating by parts formula u = y ( t ) k = 0 n 1 δ k y ( a ) k ! ( log t a ) k and d v = ( log x t ) n α 1 d t t in (16), one gets
D α a C y ( x ) = ( x d d x ) n { [ 1 n α ( log x t ) n α ( y ( t ) k = 0 n 1 δ k y ( a ) k ! ( log t a ) k ) ] | a x + 1 n α a x ( log x t ) n α [ δ y ( t ) k = 1 n 1 δ k y ( a ) k ! ( log t a ) k ] d t t } = ( x d d x ) n 1 a x ( log x t ) n α [ δ y ( t ) k = 1 n 1 δ k y ( a ) k ! ( log t a ) k ] d t t = = x d d x 1 Γ ( n α ) a x ( log x t ) n α 1 ( δ n 1 y ( t ) δ n 1 y ( a ) ) d t t .
Performing once more the integration by parts with the same choice of dv, one gets equation (20). (21) is proved in a similar way. Now, when α = n we have
D n a C y ( x ) = a D n [ y ( t ) k = 0 n 1 δ k y ( a ) k ! ( log t a ) k ] ( x ) .
That is
y ( x ) = J n a C a D n y ( x ) + k = 0 n 1 δ k y ( a ) k ! ( log x a ) k = 1 ( n 1 ) ! a x ( log x t ) n 1 a C D n y ( t ) d t t + k = 0 n 1 δ k y ( a ) k ! ( log x a ) k .

From Lemma 1.2 in [1], one derives D α a C y ( x ) = δ n y ( x ) . The second formula in (22) can be proved likewise. □

Theorem 2.2 Let R ( α ) 0 and n = [ R ( α ) ] + 1 . If y ( x ) C δ n [ a , b ] , where 0 < a < b < . Then D α a C y ( x ) and D b α C y ( x ) are continuous on [ a , b ] and
  1. (i)
    if α N 0 , D α a C y ( x ) and D b α C y ( x ) can be represented by (20) and (21) respectively and
    D α a C y ( a ) = 0 , C D b α y ( b ) = 0 ,
    (24)
     
  2. (ii)

    if α N , then the formulas in (22) hold.

     
Proof The representations (21) and (22) are proved like in Theorem 2.1. The continuity of D α a C y ( x ) and D b α C y ( x ) results from their representations and Lemma 2.36 in [1] with f ( t ) = δ n y ( t ) , γ = 0 and α replaced by n α . The identities in (24) hold since
(25)
(26)

When α N , the first formula in (22) holds as a result of Lemma 1.4 in [1]. The second formula can be proved likewise. □

Corollary 2.3 Let R ( α ) 0 and n = [ R ( α ) ] + 1 .
  1. (i)
    If α N 0 , then D α a C is bounded from the space C δ n [ a , b ] to the space C a [ a , b ] = { f C [ a , b ] s.t f ( a ) = 0 } and D b α C is bounded from the space C δ n [ a , b ] to the space C b [ a , b ] = { f C [ a , b ] s.t f ( b ) = 0 } and
    (27)
    (28)
     
  2. (ii)
    If α = n N 0 , then D n a C and D b n C are bounded from C δ n [ a , b ] to C [ a , b ] and
    a C D n y C y C δ n , C D b n y C y C δ n .
    (29)
     

Proof (27) and (28) follow from the estimates (25) and (26) keeping in mind that δ n y C y C δ n (see formula 1.1.28 in [1] when γ = 0 ). The estimates in (29) are straightforward. □

D α a C and D b α C provide operations inverse to J α a and J b α respectively for R ( α ) 0 or α N . But it is not the case for R ( α ) N and R ( α ) 0 .

Lemma 2.4 Let R ( α ) > 0 , n = [ R ( α ) ] + 1 and y C [ a , b ] .
  1. (i)
    If R ( α ) 0 or α N , then
    D α a C ( a J α y ) ( x ) = y ( x ) , C D b α ( J b α y ) ( x ) = y ( x ) .
    (30)
     
  2. (ii)
    If R ( α ) N and R ( α ) 0 then
    (31)
    (32)
     
Proof From (16), we have
D α a C ( a J α y ) ( x ) = a D α ( a J α y ) ( x ) k = 0 n 1 δ k ( a J α y ) ( a ) k ! ( log x a ) k .
(33)
From properties 2.28 and 2.27 in [1], we have D α a ( a J α y ) ( x ) = y ( x ) and δ k ( a J α y ) ( x ) = a J α k y ( x ) . It is easy to verify that
| a J α k y ( x ) | y C | Γ ( α k ) | ( R ( α ) k ) ( log x a ) R ( α ) k , k = 0 , 1 , , n 1 ,
(34)

from which we conclude that J α k a y ( a ) = 0 , and thus the first identity in (30) holds. The second identity is proved analogously.

If α = m + i β , m N , β 0 , then n = m + 1 2 and δ k ( a J α y ) ( x ) = a J α k y ( x ) , k = 0 , 1 , , m 1 and similar to (34) we have
| a J α k y ( x ) | y C | Γ ( α k ) | ( m k ) ( log x a ) m k , k = 0 , 1 , , m 1 .
(35)

Thus we have J α k a y ( a ) = 0 , k = 0 , 1 , , n 2 and hence (31) holds. (32) can be proved similarly. □

Lemma 2.5 Let y A C δ n [ a , b ] or C δ n [ a , b ] and α C . Then
(36)
(37)

Proof (36) and (37) follow from the identities D α a C y ( x ) = a J n α y ( x ) and D b α C y ( x ) = J b n α y ( x ) respectively. □

The Caputo modifications of the left and right Hadamard fractional derivatives have the same properties 2.7.16 and 2.7.18. in [1] but they are different from the ones in 2.7.19.

Property 2.6 Let R ( α ) 0 , n = [ R ( α ) ] + 1 and R ( β ) > 0 . Then
(38)
(39)
(40)
In particular, one has
D α a C 1 = 0 , C D b α 1 = 0 .
(41)
Caputo-Hadamard fractional derivatives can also be defined on the positive half axis R + by replacing a by 0 in formula (20) and b by ∞ in formula (21) provided that y ( x ) A C δ n ( R + ) (or C δ n ( R + ) ). Thus one has
(42)
(43)

The Mellin transforms of the Caputo modifications of the left and right Hadamard fractional derivatives are the same as Mellin transforms of the left and right Hadamard fractional derivatives 2.7.72 and 2.7.74 in [1].

Lemma 2.7 Let R ( α ) > 0 and y ( x ) be such that the Mellin transforms ( M y ) ( s ) , ( M δ n y ) ( s ) exist for s C .
  1. (i)
    If R ( s ) < 0 , then
    ( M C D 0 + α y ) ( s ) = ( s ) α ( M y ) ( s ) .
    (44)
     
  2. (ii)
    If R ( s ) > 0 , then
    ( M C D α y ) ( s ) = s α ( M y ) ( s ) .
    (45)
     
Proof (44) follows from Lemma 2.38 and formula 1.4.35 in [1]
( M C D 0 + α y ) ( s ) = ( M J 0 + n α δ n y ) ( s ) = ( s ) α n ( M δ n y ) = ( s ) α ( M y ) .
(46)

(45) can be proved similarly. □

Authors’ information

DB is on leave of absence from Institute of Space Sciences, P.O. Box MG-23, R 76900, Magurele-Bucharest, Romania.

Declarations

Acknowledgement

This work is partially supported by the Scientific and Technical Research Council of Turkey.

Authors’ Affiliations

(1)
Department of Mathematics and Computer Sciences, Faculty of Arts and Sciences, Çankaya University

References

  1. Kilbas AA, Srivastava HH, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
  2. Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives - Theory and Applications. Gordon & Breach, Langhorne; 1993.Google Scholar
  3. Hadamarad J: Essai sur l’etude des fonctions donnes par leur developpment de Taylor. J. Pure Appl. Math. 1892, 4(8):101–186.Google Scholar
  4. Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.Google Scholar
  5. Magin RL: Fractional Calculus in Bioengineering. Begell House Publishers, Redding; 2006.Google Scholar
  6. Heymans N, Podlubny I: Physical interpretation of initial conditions for fractional differential equations with Riemann-Liouville fractional derivatives. Rheol. Acta 2006, 45: 765–771. 10.1007/s00397-005-0043-5View ArticleGoogle Scholar
  7. Jesus IS, Machado JAT: Fractional control of heat diffusion system. Nonlinear Dyn. 2008, 54(3):263–282. 10.1007/s11071-007-9322-2MathSciNetView ArticleGoogle Scholar
  8. Mainardi F, Luchko Y, Pagnini G: The fundamental solution of the space-time fractional the space-time fractional diffusion equation. Fract. Calc. Appl. Anal. 2001, 4(2):153–192.MathSciNetGoogle Scholar
  9. Scalas E, Gorenflo R, Mainardi F: Uncoupled continuous-time random walks: solution and limiting behavior of the master equation. Phys. Rev. E 2004., 69: Article ID 011107Google Scholar
  10. Agrawal OP, Baleanu D: Hamiltonian formulation and a direct numerical scheme for fractional optimal control problems. J. Vib. Control 2007, 13(9–10):1269–1281. 10.1177/1077546307077467MathSciNetView ArticleGoogle Scholar
  11. Chen YQ, Vinagre BM, Podlubny I: Continued fraction expansion approaches to discretizing fractional order derivatives-an expository review. Nonlinear Dyn. 2004, 38(1–4):155–170. 10.1007/s11071-004-3752-xMathSciNetView ArticleGoogle Scholar
  12. Tarasov VE, Zaslavsky GM: Nonholonomic constraints with fractional derivatives. J. Phys. A, Math. Gen. 2006, 39(31):9797–9815. 10.1088/0305-4470/39/31/010MathSciNetView ArticleGoogle Scholar
  13. Kilbas AA: Hadamard-type fractional calculus. J. Korean Math. Soc. 2001, 38(6):1191–1204.MathSciNetGoogle Scholar
  14. Kilbas AA, Titjura AA: Hadamard-type fractional integrals and derivatives. Tr. Inst. Mat., Minsk 2002, 11: 79–87.Google Scholar
  15. Butzer PL, Kilbas AA, Trujillo JJ: Compositions of Hadamard-type fractional integration operators and the semigroup property. J. Math. Anal. Appl. 2002, 269(2):387–400. 10.1016/S0022-247X(02)00049-5MathSciNetView ArticleGoogle Scholar
  16. Butzer PL, Kilbas AA, Trujillo JJ: Fractional calculus in Mellin setting and Hadamard-type fractional integrals. J. Math. Anal. Appl. 2002, 269(1):1–27. 10.1016/S0022-247X(02)00001-XMathSciNetView ArticleGoogle Scholar
  17. Butzer PL, Kilbas AA, Trujillo JJ: Mellin transformation and integration by parts for Hadamard-type fractional integrals. J. Math. Anal. Appl. 2002, 270(1):1–15. 10.1016/S0022-247X(02)00066-5MathSciNetView ArticleGoogle Scholar

Copyright

© Jarad et al.; licensee Springer 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.