# A Review of Definitions for Fractional Derivatives and Integral

Authors: Edmundo Capelas de Oliveira; José António Tenreiro Machado
Journal: Mathematical Problems in Engineering
 (2014)

---

## Abstract

This paper presents a review of definitions of fractional order derivatives and integrals that appear in mathematics, physics, and engineering.


---

## Body

## 1. Introduction

In 1695, l’Hôpital sent a letter to Leibniz. In his message, an important question about the order of the derivative emerged: What might be a derivative of order1/2? In a prophetic answer, Leibniz foresees the beginning of the area that nowadays is named fractional calculus (FC). In fact, FC is as old as the traditional calculus proposed independently by Newton and Leibniz [1–4].In the classical calculus, the derivative has an important geometric interpretation; namely, it is associated with the concept of tangent, in opposition to what occurs in the case of FC. This difference can be seen as a problem for the slow progress of FC up to 1900. After Leibniz, it was Euler (1738) [3] that noticed the problem for a derivative of noninteger order. Fourier (1822) [3, 5] suggested an integral representation in order to define the derivative, and his version can be considered the first definition for the derivative of arbitrary (positive) order. Abel (1826) [3, 5] solved an integral equation associated with the tautochrone problem, which is considered to be the first application of FC. Liouville (1832) [3, 5] suggested a definition based on the formula for differentiating the exponential function. This expression is known as the first Liouville definition. The second definition formulated by Liouville is presented in terms of an integral and is now called the version by Liouville for the integration of noninteger order. After a series of works by Liouville, the most important paper was published by Riemann [6], ten years after his death. We also note that both Liouville and Riemann formulations carry with them the so-called complementary function, a problem to be solved. Grünwald [7] and Letnikov [8], independently, developed an approach to noninteger order derivatives in terms of a convenient convergent series, conversely to the Riemann-Liouville approach, that is given by an integral. Letnikov showed that his definition coincides with the versions formulated by Liouville, for particular values of the order, and by Riemann, under a convenient interpretation of the so-called noninteger order difference. Hadamard (1892) [5] published a paper where the noninteger order derivative of an analytical function must be done in terms of its Taylor series.After 1900, the FC experiences a fast development and, in an attempt to formulate particular problems, other definitions were proposed. We mention some of them. Weyl [9] introduced a derivative in order to circumvent a problem involving a particular class of functions, the periodic functions. Riesz [10, 11] proved the mean value theorem for fractional integrals and introduced another formulation that is associated with the Fourier transform. Marchaud (1927) [3, 5] introduced a new definition for noninteger order of derivatives. This definition coincides with the Liouville version for “sufficiently good” functions. Erdélyi-Kober (1940) [3, 5] presented a distinct definition for noninteger order of integration that is useful in applications involving integral and differential equations. Caputo (1967) [12] formulated a definition, more restrictive than the Riemann-Liouville but more appropriate to discuss problems involving a fractional differential equation with initial conditions [13–21].Due to the importance of the Caputo version, we will compare this approach with the Riemann-Liouville formulation. The definition as proposed by Caputo inverts the order of integral and derivative operators with the noninteger order derivative of the Riemann-Liouville. We summarize the difference between these two formulations. In the Caputo: first the calculate derivative of integer order and after calculate the integral of noninteger order. In the Riemann-Liouville: first calculate the integral of noninteger order and after calculate the derivative of integer order. It is important to cite that the Caputo derivative is useful to affront problems where initial conditions are done in the function and in the respective derivatives of integer order.After the first congress at the University of New Haven, in 1974, FC has developed and several applications emerged in many areas of scientific knowledge. As a consequence, distinct approaches to solve problems involving the derivative were proposed and distinct definitions of the fractional derivative are available in the literature. This paper presents in a systematic form the existing formulations of fractional derivatives and integrals. We should mention also that we can have several alternative expressions for the same definition. Therefore, we present only those more representative and we cite particular papers [22–32] and books [33–40] that we believe are the most relevant. Furthermore, the paper does not focus on the pros and cons of each definition and does not address the support of the function that is to be differentiated or integrated.The paper is organized as follows. Section2 presents the adopted notation. Sections 3 and 4 list the proposed definitions of fractional derivatives and integrals, respectively. Finally, Section 5 outlines some brief remarks.


## 2. Notation

The following remarks clarify the notation used in the sequel in Sections3 and 4.(i)
Letα∈C:R(α)∈(n-1,n], n∈N, where R(·) denotes the real part of complex number.(ii)
Let[a,b] be a finite interval in R, k∈N, ν>0, and f(0)≡f(0+)-f(0-).(iii)
The floor function, denoted by⌊·⌋, is defined as ⌊x⌋=max⁡{z∈Z:z≤x}.(iv)
[α] is the integer part of number α and {α} the fractional part, 0≤{α}<1, so that α=[α]+{α}.(v)
Δα[f(x)-f(x0)]≃Γ(1+α)Δ[f(x)-f(x0)].(vi)
α(·,·) is the variable fractional order with 0<α(x,t)<1 and (x,t)∈[a,b]. α(x) is a continuous function on (0,1].(vii)
C(a,z+) is a closed contour, in the complex plane, starting at ξ=a, encircling ξ=z once in the positive sense, and returning to ξ=a. μ,ν∈R/0, with 0<μ<1 and 0≤ν≤1.(viii)
Considerz∈C and k∈R. The so-called k-gamma function, denoted by Γk(z), is related to the classical gamma function by means of Γk(z)=kz/k-1Γ(z/k).(ix)
The so-calledk-Pochhammer symbol yields (z)n,k=Γk(x+nk)/Γk(x).(x)
Thek-fractional Hilfer derivative recovers, as particular cases, the fractional Riemann-Liouville derivative if ν=0 and k=1 and the fractional Caputo derivative if ν=1=k [41].


## 3. Definitions of Fractional Derivatives

Liouville derivative:(1)Dα[f(x)]=1Γ(1-α)ddx∫-∞x‍(x-ξ)-αf(ξ)dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii-∞<x<+∞.Liouville left-sided derivative:(2)D0+α[f(x)]=1Γ(n-α)dndxn∫0x‍(x-ξ)-α+n-1f(ξ)dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiix>0.Liouville right-sided derivative:(3)D-α[f(x)]=(-1)nΓ(n-α)dndxn∫x∞‍(x-ξ)-α+n-1f(ξ)dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiix<∞.Riemann-Liouville left-sided derivative:(4)DRLa+α[f(x)]=1Γ(n-α)dndxn∫ax‍(x-ξ)n-α-1f(ξ)dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiix≥a.Riemann-Liouville right-sided derivative:(5)DRLb-α[f(x)]=(-1)nΓ(n-α)dndxn∫xb‍(ξ-x)n-α-1f(ξ)dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiix≤b.Caputo left-sided derivative:(6)D*a+α[f(x)]=1Γ(n-α)∫ax‍(x-ξ)n-α-1dndξn[f(ξ)]dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiix≥a.Caputo right-sided derivative:(7)D*b-α[f(x)]=(-1)nΓ(n-α)∫xb‍(ξ-x)n-α-1dndξn[f(ξ)]dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiix≤b.Grünwald-Letnikov left-sided derivative:(8)DGLa+α[f(x)]=lim⁡h→01hα∑k=0⌊n⌋‍(-1)kΓ(α+1)f(x-kh)Γ(k+1)Γ(α-k+1),iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiinh=x-a.Grünwald-Letnikov right-sided derivative:(9)DGLb-α[f(x)]=lim⁡h→01hα∑k=0⌊n⌋‍(-1)kΓ(α+1)f(x+kh)Γ(k+1)Γ(α-k+1),iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiinh=b-x.Weyl derivative:(10)Dx∞α[f(x)]=D-α[f(x)]=(-1)m(ddξ)n[Wx∞α[f(x)]].Marchaud derivative:(11)D+α[f(x)]=αΓ(1-α)∫-∞x‍f(x)-f(ξ)(x-ξ)1+αdξ.Marchaud left-sided derivative:(12)D+α[f(x)]=αΓ(1-α)∫0∞‍f(x)-f(x-ξ)ξ1+αdξ.Marchaud right-sided derivative:(13)D-α[f(x)]=αΓ(1-α)∫0∞‍f(x)-f(x+ξ)ξ1+αdξ.Hadamard derivative [42]:
(14)D+α[f(x)]=αΓ(1-α)∫0x‍f(x)-f(ξ)[ln⁡(x/ξ)]1+αdξξ.Chen left-sided derivative:(15)Dcα[f(x)]=1Γ(1-α)ddx∫cx‍(x-ξ)-αf(ξ)dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiix>c.Chen right-sided derivative:(16)Dcα[f(x)]=-1Γ(1-α)ddx∫xc‍(ξ-x)-αf(ξ)dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiix<c.Davidson-Essex derivative [15]:
(17)D0α[f(x)]=1Γ(1-α)dn+1-kdxn+1-k×∫0x‍(x-ξ)-αdkdξk[f(ξ)]dξ.Coimbra derivative [43–45]:
(18)D0α(x)[f(x)]=1Γ(1-α(x))×{∫0x‍(x-ξ)-α(x)ddξ[f(ξ)]dξ+f(0)x-α(x)}.Canavati derivative:(19)Daxν[f(x)]=1Γ(1-μ)ddx∫0x‍(x-ξ)μdndξn[f(ξ)]dξ,iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiin=⌊ν⌋,μ=n-ν.Jumarie derivative,n=1:
(20)Dxα[f(x)]=1Γ(n-α)dndxn×∫0x‍(x-ξ)n-α-1[f(ξ)-f(0)]dξ.Riesz derivative:(21)Dxα[f(x)]=-12cos⁡(απ/2)1Γ(α)dndxn·{∫-∞x‍(x-ξ)n-α-1f(ξ)dξ+∫x∞‍(ξ-x)n-α-1f(ξ)dξ}.Cossar derivative:(22)D-α[f(x)]=-1Γ(1-α)lim⁡N→∞ddx∫xN‍(ξ-x)-αf(ξ)dξ.Local fractional Yang derivative [40]:
(23)D-α[f(x)]|x=x0=lim⁡x→x0Δα[f(x)-f(x0)](x-x0)α.Left Riemann-Liouville derivative of variable fractional order:(24)Daxα(·,·)[f(x)]=ddx∫ax‍(x-ξ)-α(ξ,x)f(ξ)dξΓ[1-α(ξ,x)].Right Riemann-Liouville derivative of variable fractional order:(25)Dxbα(·,·)[f(x)]=ddx∫xb‍(ξ-x)-α(ξ,x)f(ξ)dξΓ[1-α(ξ,x)].Left Caputo derivative of variable fractional order:(26)Daxα(·,·)[f(x)]=∫ax‍(x-ξ)-α(ξ,x)ddξf(ξ)dξΓ[1-α(ξ,x)].Right Caputo derivative of variable fractional order:(27)Dxbα(·,·)[f(x)]=∫xb‍(ξ-x)-α(ξ,x)ddξf(ξ)dξΓ[1-α(ξ,x)].Caputo derivative of variable fractional order:(28)D*xα(x)[f(x)]=1Γ(1-α(x))∫0x‍(x-ξ)-α(ξ,x)ddξf(ξ)dξ.Modified Riemann-Liouville fractional derivative:(29)Dα[f(x)]=1Γ(1-α)ddx∫0x‍(x-ξ)-α[f(ξ)-f(0)]dξ.Osler fractional derivative [46]:
(30)Dazαf(z)=Γ(α+1)2πi∫C(a,z+)‍f(ξ)(ξ-z)1+αdξ.k-fractional Hilfer derivative [41]:
(31)Dkμ,νf(x)=Ikν(1-μ)ddxIk(1-μ)(1-ν)f(x).


## 4. Definitions of Fractional Integrals

Riemann-Liouville left-sided integral:(32)IRLa+α[f(x)]=1Γ(α)∫ax‍(x-ξ)α-1f(ξ)dξ,x≥a.Riemann-Liouville right-sided integral:(33)IRLb-α[f(x)]=1Γ(α)∫xb‍(ξ-x)α-1f(ξ)dξ,x≤b.Hadamard integral:(34)I+α[f(x)]=1Γ(α)∫0x‍f(ξ)[ln⁡(ξ/x)]1-α·dξξ,x>0,α>0.Weyl integral:(35)Wx∞α[f(x)]=1Γ(α)∫x∞‍(ξ-x)α-1f(ξ)dξ.Chen left-sided integral:(36)Icα[f(x)]=1Γ(α)∫cx‍(x-ξ)α-1f(ξ)dξ,x>c.Chen right-sided integral:(37)Icα[f(x)]=1Γ(α)∫xc‍(ξ-x)α-1f(ξ)dξ,x<c.Cossar integral [47]:
(38)Icα[f(x)]=1Γ(α)∫cx‍(x-ξ)α-1f(ξ)dξ,x>c.Erdélyi (left-sided) integral:(39)Iσ,ηα[f(x)]=σx-σ(α+η)Γ(α)∫0x‍(xσ-ξσ)α-1ξση+σ-1f(ξ)dξ.Erdélyi (right-sided) integral:(40)Iσ,ηα[f(x)]=σxσαΓ(α)∫x∞‍(ξσ-xσ)α-1ξσ(1-α-η)-1f(ξ)dξ.Kober (left-sided) integral:(41)I1,ηα[f(x)]=x-α-ηΓ(α)∫0x‍(x-ξ)α-1ξηf(ξ)dξ.Kober (right-sided) integral:(42)I1,ηα[f(x)]=xηΓ(α)∫x∞‍(ξ-x)α-1ξ-α-ηf(ξ)dξ.Local fractional Yang integral:(43)Iabα[f(x)]=1Γ(1+α)∫ab‍f(ξ)(dξ)α.Left Riemann-Liouville integral of variable fractional order:(44)Iaxα(·,·)[f(x)]=∫ax‍(ξ-x)α(ξ,x)-1f(ξ)dξΓ[α(ξ,x)].Right Riemann-Liouville integral of variable fractional order:(45)Ixbα(·,·)[f(x)]=∫xb‍(x-ξ)α(ξ,x)-1f(ξ)dξΓ[α(ξ,x)].k-fractional Hilfer integral:
(46)Ikαf(x)=1kΓk(α)∫0x‍(x-ξ)α/k-1f(ξ)dξ.


## 5. Some Remarks

Remark 1.
IfDα is any fractional derivative, the Miller-Ross sequential derivative of order kα,k∈Z, is given by [3]
(47)Dα=Dα,Dkα=DαD(k-1)α.Remark 2.
Whatever the definition employed,I0f(x)=D0f(x)=f(x).Remark 3.
Some authors do not distinguish the definition employed by means of a superscript (GL, RL, C, and L) but use different fonts for the operator instead (D, D, D, D, and D). The particular correspondence between fonts and definitions varies. Very often no indication at all is given, save perhaps in the accompanying text, and the reader is presumed to understand from the context which particular definition is intended.Remark 4.
In the literature, several alternative notations for operatorD may be found:
(48)Da+αf(x)=(Da+αf)(x)=Daxαf(x)=Iax-αf(x)=Dx-aαf(x)=dαf(x)d(x-a)α,Db-αf(x)=(Db-αf)(x)=Dxbαf(x)=Ixb-αf(x)=Db-xαf(x)=dαf(x)d(b-x)α.
Only one of the two operators I and D needs to be used, since it is all a matter of changing the sign of α. In practice, D is the one more often used.Remark 5.
In the expressions for the right and left Liouville fractional derivatives (2) and (3), respectively, some authors have a slight distinct expression, instead of 0+ just + and at the lower limit -∞.Remark 6.
We can mention the “difference of fractional order,” discussed by Bosanquet [48], and the “Ruscheweyh Derivative,” presented in [42, 49–51].Remark 7.
The authors’ intention is not to discuss pros and cons of the list of definitions of fractional derivatives and integrals in Sections3 and 4. Having in mind that the reader can find benefits in applying the correct definition for his/her specific research interest, it can be said that the most used definitions are the Riemann-Liouville (e.g., in calculus), the Caputo (e.g., in physics and numerical integration), and the Grünwald-Letnikov (e.g., in signal processing, engineering, and control). The problem of initialization plays an important role in applied sciences and, consequently, various definitions are occasionally adopted within the scope of specific topics, but the overall problem remains to be clarified.Remark 8.
The paper does not focus on particular relations involving explicit parameters, intervals, or constants, associated with the distinct derivatives. For example, we can mention that, forR(α)=0, with α≠0, the Liouville fractional derivatives are of purely imaginary order. Also, for α=n∈N, we recover the derivative of integer order. For example, D+n[f(x)]=f(n)(x) and D-n[f(x)]=(-1)nf(n)(x).



---

*Source: 238459-2014-06-10.xml*