Next Article in Journal / Special Issue
A Note on Hadamard Fractional Differential Equations with Varying Coefficients and Their Applications in Probability
Previous Article in Journal / Special Issue
An Iterative Method for Solving a Class of Fractional Functional Differential Equations with “Maxima”
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Letnikov vs. Marchaud: A Survey on Two Prominent Constructions of Fractional Derivatives

Department of Economics, Belarusian State University, 4, Nezavisimosti ave, 220030 Minsk, Belarus
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(1), 3; https://doi.org/10.3390/math6010003
Submission received: 22 November 2017 / Revised: 14 December 2017 / Accepted: 20 December 2017 / Published: 25 December 2017
(This article belongs to the Special Issue Fractional Calculus: Theory and Applications)

Abstract

:
In this survey paper, we analyze two constructions of fractional derivatives proposed by Aleksey Letnikov (1837–1888) and by André Marchaud (1887–1973), respectively. These derivatives play very important roles in Fractional Calculus and its applications.

1. Introduction

The aim of the paper is to present the essence of two important approaches in Fractional Calculus, namely, those developed by Letnikov (or by Grünwald–Letnikov) and by Marchaud. We collect here the most important results for the corresponding fractional derivatives, compare these constructions and highlight their role in Fractional Calculus and its applications.
In his master thesis (see [1], p. 37) Letnikov (When the thesiswas ready for defence, Letnikov discovered the paper by Grünwald [2] in which the same approach was realised.) defined the left-sided fractional derivative on the interval [ x 0 , x ] via the following limit:
y α ) ( x ) : = lim h + 0 k = 0 n ( 1 ) k α k y ( x k h ) h α ,
where n h = x x 0 . Similarly, the right-sided fractional derivative is defined:
y α ) ( x ) : = lim h + 0 k = 0 n ( 1 ) k α k y ( x + k h ) h α .
These definitions can be used at points on semi-axes [ x 0 , + ) (or ( , x 0 ] ) whenever the function y ( x ) is defined there. In this case, we formally have to replace the finite sum for an infinite one and remove any restriction on the increment h.
The aim of the work by Letnikov was to correct the definition of Liouville [3,4], who supposed that his construction of the fractional derivative is a general one. More exactly, Letnikov tried to overcome Liouville’s assumption that the general definition of fractional derivative can be applied only to functions represented in the form convergent Dirichlet type series (see Representation (6)). Detailed description of the difficulties that bring such an assumption is given in [5] (see also Section 2.1 below). (In [6], Letnikov transformed his fractional derivative to the form which coincides with the Riemann’s formula if one removes from the later so called “additional function”. Note that at that time Letnikov did not know the work by Riemann since it was published only later in the first edition of Riemann’s collected works in 1876 [7].)
The doctoral thesis by Marchaud was published in complete form in the Journal de Mathématiques Pures et Appliquées in 1927 [8] and reprinted in the series “Théses de L’Entre-Deux-Guerres” in 1965 [9]. His main idea was to generalize the Riemann–Liouville approach. Replacing positive parameter α in the Riemann–Liouville fractional integral:
I a α = 1 Γ ( α ) a x f ( τ ) d τ ( x τ ) 1 α = 1 Γ ( α ) 0 x a t α 1 f ( x t ) d t
by negative one, he considered the divergent integral:
1 Γ ( α ) 0 x a t α 1 f ( x t ) d t .
In order to regularize this definition, Marchaud made some transformations in the Riemann–Liouville fractional integral.
For arbitrary values of α , Re α > 0 , the definition of the Marchaud derivative reads ([10], Section 5.6)
D ± α f ( x ) = 1 Γ ( α ) A l ( α ) 0 ( Δ ± t l f ) ( x ) t 1 + α d t , l > Re α > 0 ,
where
A l ( α ) = k = 0 ( 1 ) k 1 l k k α , ( Δ ± t l f ) ( x ) = k = 0 ( 1 ) k l k f ( x k t ) .
If 0 < α < 1 , then the left- and right-sided are defined, respectively (see, e.g., [10], Section 5.4),
D + α f ( x ) = α Γ ( 1 α ) 0 f ( t ) f ( x t ) t 1 + α d t , D α f ( x ) = α Γ ( 1 α ) 0 f ( t ) f ( x + t ) t 1 + α d t .
Since the integral in the right-side formula (3) is in general diverging, then the Marchaud derivative can be defined via the limit of the truncated derivative (if it exists):
D ± α f ( x ) = lim ε + 0 D ± , ε α f ( x ) = lim ε + 0 1 Γ ( α ) A l ( α ) ε ( Δ ± t l f ) ( x ) t 1 + α d t .
It is seen from (1), (3) that there exists a formal relationship of the Grünwald–Letnikov and Marchaud derivatives. It will be discussed in more detail below. It should be noted that both constructions (by Letnikov and by Marchaud) are applicable to a much wider class of the functions than Liouville’s construction (though all of them coincide on “good functions”, see [10]).
Nowadays, both derivatives attract more attention among experts from different branches of Science. These derivatives are suitable for numerical analysis of the corresponding fractional models since they are defined based on discretization (see, e.g., [11,12]). Among applications of such derivatives, we have to mention those in different physical models (see, e.g., [13,14,15,16,17,18,19,20,21] and an extending survey in [22], Chapter 8), as well as in the study of certain problems of operator theory (see, e.g., [23,24,25]) and results describing interrelation between fractional calculus and fractal geometry (see, e.g., [26,27]). Since the Marchaud derivative is less known than Grünwald–Letnikov, Riemann–Liouville or Caputo derivatives, we have to mention some features of this construction that are important in application. First, Marchaud construction allows more freedom for the behavior at infinity (e.g., to the exogene variable X in the accelerator-multiplied model with memory as in [28]). Second, the Marchaud idea to regularize the Liouville fractional derivative by using finite differences met applications at the study of fractional differential equations as in [29]. Third, the Marchaud derivative possesses a simple and straightforward generalization to multi-dimensional case (see [10], Section 5.24), which is useful for models involving fractional powers of operators.
In this article, we analyze the construction and nature of the Grünwald–Letnikov and Marchaud derivatives starting from the original ideas of their creators. Section 2 is devoted to the Letnikov’s contribution and Section 3 deals with Marchaud’s approach. Some notes on common features and differences between these two constructions are presented in Section 4.

2. Letnikov Contribution to Fractional Calculus

Here, we describe the construction of so-called “general differentiation” (The words utilized by Letnikov for his derivative.) (or differentiation of arbitrary order) proposed by Alexej Vasil’evich Letnikov in the 1860s. It is based on certain results by Liouville that Letnikov considered as the most important results on fractional differentiation.

2.1. Preliminaries

Let us briefly describe some results of predecessors to the work by Letnikov. In spite of the fact that the idea of fractional derivative goes back to the end of the 17th century (see [30]), the real results in the area were made by Liouville [3,4].
Liouville applied his construction to the function representing in the form of the following (convergent!) series:
y ( x ) = k = 1 A k e m k x .
For such functions, he used Leibnitz’s idea of an arbitrary order differentiation of the exponential function:
d p y d x p : = k = 1 A k m k p e m k x .
Liouville considered definition (7) as only possible, stressing (see [1], p. 14): “…it is impossible to get an exact and complete understanding of the nature of the arbitrary order derivative without taken certain series representation of the function”.
Letnikov noted that Liouville’s construction being deeply justified has an essential drawback. It follows from the definition (7) that it can be used only for functions whose derivatives (of all positive integer orders) are vanishing at infinity. Liouville himself met the first difficulty trying to apply his definition to power function with positive exponent x m , m > 0 , which does not satisfy the above condition. To overcome this difficulty he started with the function y ( x ) = 1 x m , m > 0 . It follows from the definition of the Γ -function that the following relation holds:
1 x m = 1 Γ ( m ) 0 e z x z m 1 d z .
The right-hand side of this formula can be considered as an expansion of the type (6), namely, A n e n x with A n being sufficiently small as x . Thus, formula (7) applied in this case leads to the following result:
d p 1 x m d x p = 1 Γ ( m ) 0 e z x ( z ) p z m 1 d z = ( 1 ) p Γ ( m ) x m + p 0 e t t p + m 1 d z = ( 1 ) p Γ ( m + p ) Γ ( m ) x m + p ,
which coincides with the celebrated Euler formula for the arbitrary order derivative of the power function.
Note that Liouville considered only the case when m > 0 and m + p > 0 . (At this time, the Legendre-Gauss definition of Γ -function of the complex argument was not known.) For the remaining cases, he used the notion of so called additional functions in order to correct the above definition. These are the functions whose derivative of order ( p ) is equal to zero. Liouville gave a proof that additional functions should have the form:
A 0 + A 1 x + + A n x n ,
with certain finite power n and arbitrary constant coefficients A j . (This proof was not considered satisfactory by many mathematicians even in Liouville’s time.)
During the next 30 years, several attempts to correct Liouville’s construction were made (the most known results were due to Peacock, Kelland, Tardi, Roberts, see ([1], pp. 16–23), see also Chapter 1 by Butzer and Westphal in [18]). Anyway, only in 1867–1868, it was proposed by A.K. Grünwald [2] and by A.V. Letnikov [5] a really general definition of the fractional derivative. Both constructions (which differ only in few details) are based on the following formula for representation of the derivative of an arbitrary positive integer order via finite differences:
d p f ( x ) d x p = lim h + 0 f ( x ) p 1 f ( x h ) + p 2 f ( x 2 h ) + ( 1 ) n p n f ( x n h ) h p ,
where n is an arbitrary positive number, n p .

2.2. Letnikov’s Construction

In his construction [5] (see also [1] where the article [5] is reprinted practically without any changes.), Letnikov started with the now known formula (9) of the derivative of an integer order p = m . By assuming p being an arbitrary positive number and n arbitrary sufficiently large positive integer number, he supposed by definition:
f p ) ( x ) : = lim h 0 f ( x ) p 1 f ( x h ) + p 2 f ( x 2 h ) + ( 1 ) n p n f ( x n h ) h p ,
where k r = k ( k 1 ) ( k r + 1 ) 1 · 2 · · r . It was noted that if p is a positive integer, p n , then formula (10) leads to the derivative of p-th order.
Letnikov also considered an expression:
f p ) ( x ) : = lim h 0 h p f ( x ) + p 1 f ( x h ) + p 2 f ( x 2 h ) + + p n f ( x n h ) .
If p is a positive integer in the last formula, then f p ) ( x ) is vanishing whenever n is finite. Hence, it is interesting to consider the case when n tends to infinity as h 0 . Assuming h = ( x x 0 ) / n Letnikov defined the following object (called the derivative of a negative order in finite limits by him)
D p f ( x ) x 0 x : = lim h 0 f p ) ( x ) .
It was shown that, for p being a positive integer, the following relation holds whenever the integral on the right-hand side exists:
D p f ( x ) x 0 x = lim h 0 r = 0 n h p p r f ( x r h ) = 1 1 · 2 · · ( p 1 ) x 0 x ( x τ ) p 1 f ( τ ) d τ .
It follows from (12) that if this formula is valid for certain positive integer p, then it is valid for p + 1 too. Moreover, the above introduced object D p f ( x ) x 0 x means the function whose p-th derivative coincides with f ( x ) :
d p d x p D p f ( x ) x 0 x = f ( x ) ,
and
d j d x j D p f ( x ) x 0 x x = x 0 = 0 , j = 0 , 1 , , p 1 .
The above definition and its properties constitute the base for further generalizations. Thus, by using the properties of binomial coefficients, Letnikov proved that for any function f continuous on [ x 0 , x ] there exist the following limits:
lim n r = 0 n ( 1 ) r p r f ( x r h ) h p , lim n r = 0 n h p p r f ( x r h ) ,
where h = ( x x 0 ) / n and p C , Re p > 0 . The values of these limits denoted by him D p f ( x ) x 0 x and D p f ( x ) x 0 x , respectively, are formally equal in this case to:
D p f ( x ) x 0 x = 1 Γ ( p ) x 0 x f ( τ ) d τ ( x τ ) p + 1 ,
D p f ( x ) x 0 x = 1 Γ ( p ) x 0 x f ( τ ) d τ ( x τ ) 1 p .
Formula (13) gives the derivative of arbitrary order p C , Re p > 0 , and formula (14) gives the integral of arbitrary order p C , Re p > 0 . As it was already mentioned, the integral in (14) exists whenever f is continuous, though it is not the case for the integral in (13). To overcome this difficulty, Letnikov transformed the right-hand side of (13) to the form:
D p f ( x ) x 0 x = k = 0 m f ( k ) ( x 0 ) ( x x 0 ) p + k Γ ( p + k + 1 ) + 1 Γ ( p + m + 1 ) x 0 x f ( m + 1 ) ( τ ) d τ ( x τ ) p m .
Surely, an assumption of existence and continuity of all derivatives up to the order m + 1 is sufficient for this representation. It is suitable here to take m = [ Re p ] .
Integration by parts in (14) leads to an analogous formula for D p f ( x ) x 0 x , which is valid under the same conditions for any integer positive m:
D p f ( x ) x 0 x = k = 0 m f ( k ) ( x 0 ) ( x x 0 ) p + k Γ ( p + k + 1 ) + 1 Γ ( p + m + 1 ) x 0 x f ( m + 1 ) ( τ ) d τ ( x τ ) p 1 + m .
It can be considered also a special case when x 0 + . It follows from (14):
D p f ( x ) + x = ( 1 ) p Γ ( p ) 0 + τ p 1 f ( x + τ ) d τ ,
and from (15) we obtain:
D p f ( x ) + x = ( 1 ) m + 1 p Γ ( p + m + 1 ) 0 + τ m p f ( m + 1 ) ( x + τ ) d τ .
Letnikov noted that the integrals on the right-hand side of (18) and (17) converge in particular if lim x 0 + f ( k ) ( x 0 ) = 0 , k = 0 , , m . This is exactly the class of functions considered by Liouville and formulas (17) and (18) that coincide with the corresponding formulas presented in [3,4].

2.3. Further Results on Grünwald–Letnikov Fractional Derivative/Integral

After the death of Letnikov, his theory did not get a serious development neither in Russia nor abroad. We have to mention the work by Nekrasov [31] who tried to overcome additional assumptions by Letnikov ensuring existence of the integrals appeared after passing to a limit. In his work, Nekrasov used the technique of Complex Analysis, in particular, the behaviour of complex valued function in a neighbourhood of branch-points.
Only much later, the Grünwald–Letnikov approach was retranslated into the modern language. The most essential improvement was presented in the article by Butzer and Westphal [32] and by Bugrov [33]. Historical remarks describing this development is presented in ([10], §23). Here we present the most essential results on the Grünwald–Letnikov fractional derivative.
In [10], the Grünwald–Letnikov fractional derivative is defined via differences of arbitrary order for functions from the space X = X ( R 1 ) (it is either L p ( R 1 ) or C ( R 1 ) ) or for 2 π -periodic functions from the same type of spaces denoting X 2 π = X ( 0 , 2 π ) . Such differences of arbitrary order are defined as follows:
( Δ ± t α f ) ( x ) = k = 0 ( 1 ) k α k f ( x k t ) .
Left-sided/right-sided differences correspond to upper/lower signs. Letnikov proved convergence of differences (19) for any α > 0 and each bounded continuous function. In fact, absolute and uniform convergence follows already for any bounded function. If the function f belongs to one of the above spaces, then the convergence takes place in the norm of the corresponding space. Classical definition of the Grüwald–Letnikov fractional derivative remains the same as in original papers [2,5]:
f ± α ) ( x ) = lim h + 0 ( Δ ± t α f ) ( x ) h α , α > 0 .
If the convergence in (20) is understood in the norm of the corresponding space, then f ± α ) ( x ) is called the strong Grüwald–Letnikov fractional derivative.
Existence of the strong Grüwald–Letnikov fractional derivative in the periodic case gives the following:
Theorem 1.
(Theorem 20.1 [10]) Let f X 2 π . The strong Grüwald–Letnikov fractional derivative exists in the corresponding space iff there exists a function φ ± X 2 π such that the following representation holds
f ( x ) = I ± ( α ) φ ± + f 0 , f 0 = 1 2 π 0 2 π f ( x ) d x ,
where I ± ( α ) are the Liouville fractional integrals:
I + ( α ) ϕ ( x ) = 1 Γ ( α ) x ϕ ( τ ) d τ ( x τ ) 1 α , I ( α ) ϕ ( x ) = 1 Γ ( α ) x + ϕ ( τ ) d τ ( τ x ) 1 α .
If f ± α ) ( x ) exists, then φ ± ( x ) = f ± α ) ( x ) .
In a nonperiodic case, an existence (in sense of L p -norm, p > 1 ) of the strong Grünwald–Letnikov fractional derivative of the function f L r ( R 1 ) implies that f can be represented by the (Liouville) fractional integral of this fractional derivative.

2.4. Short Biography of A.V. Letnikov

Alexey Vasil’evich Letnikov was born in Moscow on 1 January 1837 in the family of a rather poor nobleman. His father died when Alexey was 8 years old. His mother tried to give an education to Alexey and his sister. His mother sent Alexey to grammar school in 1847. In spite of his evident abilities, he was not too successful in education. Therefore, he was moved to Konstantin’s land surveyors institute (full-time provisional military type institute). This was a second rank educational establishment. Anyway, the director of the Institute tried to do the best for good students. He discovered Alexey’s big interest in mathematics and supported his growth in the subject. The director decided to prepare him for a career of a teacher in mathematics in Konstantin’s land surveyors institute. To get the corresponding position, Letnikov was sent to Moscow University and studied mathematics there for two years (1856–1858) as an extern student. After graduation, he was sent to Paris in order to extend his knowledge at the most well-known mathematical center for two years and to study the structure and the content of the technical education in France.
In Paris, Letnikov attended the lectures of many well-known mathematicians (Liouville among them) in the Ecole Polytechnique, College de France and Sorbonne. Returning from Paris in December 1860, he was appointed as a teacher in the engineering class of Konstantin’s land surveyors institute and started to teach Probability Theory. Letnikov actively participated in mathematical life in Moscow. In particular, he was among the founders of Moscow Mathematical Society in 1864.
In 1863, a new Statute of Higher Education was approved. Among other regulations, it was supposed to enlarge a number of chairs at universities and to recruit new university teachers. To get a position in university, one had either to pass the graduation gymnasium’s exams or to receive the degree at a foreign university. Letnikov decided to use the second option. In 1867, he defended a Ph.D. “Über die Bedingungen der Integrabilitát einiger Differential-Gleichungen” at Leipzig university.
In 1868, Konstantin’s land surveyors institute moved from the military ministry to a civilian one and its teachers had to leave the military service. Therefore, Letnikov searched for another position as a teacher of mathematics. At that time, the Imperial Technical College (now Bauman’s Technical University) was reopened after being transformed from the Moscow Industrial School and Letnikov got a position there. He was working at this College up to 1883 when he moved to Alexandrov’s Commercial College sharing this job with a part-time teacher at Konstantin’s land surveyors institute and at the Imperial Technical College. It was an active time for him, and he was awarded the degree of a state councillor, received the order of Saint Stanislav and was appointed in 1884 as a corresponding member of St.-Petersburg Academy of Sciences (by recommendation of Imshenetsky, Bunyakovsky and Backlund).
Letnikov’s main scientific results were obtained during the 20 years starting from the middle of the 1860s. In 1866, he began to work on the theme “differentiation of arbitrary order”. When the work was almost ready (and he supposed to defend it as a Master’s thesis), he found the article by a professor from Prague university, A.K. Grünwald [2], who exploited the same idea. Only due to a professor Davidov from Moscow University (who knew the research of Letnikov and Grünwald and recommended to Letnikov to complete the presentation) was the Master’s thesis defended and published at Mathematical Sbornik in 1868 [5]. (This work as well as the work [34] was reprinted in [1].) Letnikov’s theory was not completely recognized at that time. Thus, in 1972, Sonin (future academician) published a paper [35] in which he criticized some statements of Letnikov’s theory. Letnikov answered [34] in the same year with an explanation of the basic results of his theory recovering mistakes made by Sonin. In 1874, Letnikov published a paper [6] in which he corrected the models taken by Liouville in his works [3] and showed how one can use the new theory of fractional differentiation to attack the problems arising. It should be noted that Letnikov published all his results in Russian at Mathematical Sbornik. This is why these works are not too familiar for mathematicians outside Russia.
The personal life of A.V. Letnikov was quite heavy. He married in 1863 and had a large family. Because of that, he had to work hard teaching at several institutions. At the end of the 1880s, Letnikov should have received a state pension and was supposed to leave teaching and concentrate on research. He was dreaming of getting a position at Moscow University, but it did not happen, since, at the opening ceremony of a new building of Alexandrov’s Commercial College, he caught a cold. He had no serious illness before and continued to deliver lectures. However, this time his disease was serious. Moreover, it was complicated by typhoid fever and he died on 27 February 1988.

3. Marchaud Contribution to Fractional Calculus

3.1. Main Constructions

In his thesis (published in 1927 [8] and reprinted in [9]), André Paul Marchaud (1887–1973) started from the Riemann–Liouville construction and tried to generalize it by using new knowledge on the properties of the functions of real variables. By examination of the main properties of the Riemann-Lioville integral I a + ( α ) f ( x ) = 1 α a x a τ α 1 f ( x τ ) d τ and derivative D a + ( α ) f ( x ) = d n d x n I a + n α f ( x ) , n > α , he noted that I a + ( α ) f is well-defined for any bounded function (respectively, bounded and integrable in the case of Liouville fractional integral with integration along semi-axes). As for the Riemann–Liouville fractional derivative, it can be unbounded at the lower end of integration as it follows, e.g., from the simple example:
D a + ( α ) ( 1 ) ( x ) = ( x a ) α Γ ( 1 α ) .
Marchaud studied such situation, taking into account the following consideration. If the function f admits a bounded derivative of an integer order r on the interval ( a , a 1 ) , then there exists the derivative D a + ( α ) ( f ) ( x ) of any order α < r . Such derivatives can be defined via formula:
D a + ( α ) ( f ) ( x ) = I a + ( r α ) f ( r ) ( x ) + j = 0 r 1 ( x a ) j α Γ ( j + 1 α ) f ( j ) ( x ) .
Any derivative D a + ( α ) ( f ) is unbounded at x = a , but it is bounded on each subinterval ( a , a 1 ) ( a , a 1 ) .
Marchaud proved the following relation (valid in the above conditions with noninteger α and r = [ α ] )
f ( x ) = I a + ( α ) D a + ( α ) f ( x ) + j = 1 r ( x a ) j + α r 1 Γ ( j + α r ) F ( j ) ( a ) + ( x a ) α r Γ ( α r ) Γ ( r + 1 α ) a a ( a t ) r α f ( t ) d t ( x t ) ,
where
F ( x ) : = I a + ( r + 1 α ) f ( x ) .
It gives, in particular, that if all derivatives D a + ( α ) f ( x ) ( α < α ) exist and are continuous on the interval ( a , a 1 ) , then there exists the derivative D a + ( α ) f ( x ) , which is bounded on ( a , a 1 ) . Such result was obtained by Montel (see [36]) under additional conditions that D a + ( α ) f ( x ) is bounded on the interval ( a , a 1 ) . Montel proved:
D a + ( α ) f ( x ) = I a + ( α α ) D a + ( α ) f ( x ) + j = 1 r ( x a ) j + α α r 1 Γ ( j + α α r ) F ( j ) ( a ) , α < α .
Thus, sufficient conditions for continuity of these derivatives at x = a is vanishing of all derivatives F ( j ) ( a ) and lim x a ( x a ) α + 1 f ( x ) = 0 .
Marchaud noted that relation (23) can not be taken for a definition of the derivative of a noninteger order since the function f remains in the last term on the right-hand side. Therefore, he tried to use another approach to the definition taking into account the above consideration on the behaviour of the function at the initial point x = a . The starting point for this definition was a formula obtained by the formal replacement of positive α in the definition of fractional integral for a negative parameter:
D a + ( α ) f ( x ) = 1 Γ ( α ) 0 x a f ( x t ) d t t α + 1 .
Since the integral on the right-hand side is divergent, this definition needs some transformation. For the function defined on the interval ( a , a 1 ) , it was proposed to extend it by zero on ( , a ] and to denote the corresponding fractional integral by f ( α ) and fractional derivative by f ( α ) .
In order to find a proper transformation, Marchaud started to regularize fractional integrals. In the following formula (valid, e.g., for exponential function):
f ( α ) ( x ) 0 t α 1 e t d t = 0 t α 1 f ( x t ) d t ,
he replaced t for k j t ( j = 0 , 1 , , p ) and made a linear combination of the obtained equalities with unknown coefficients C j , j = 0 , 1 , , p . It leads to the following formula:
f ( α ) ( x ) 0 t α 1 ψ ( t ) d t = 0 t α 1 φ ( x , t ) d t ,
where
ψ ( t ) = j = 0 p C j e k j t , φ ( x , t ) = j = 0 p C j f ( x k j t ) .
Then, replacing α for α , we arrive at the following formal relation, which needs some extra conditions for its validity:
f ( α ) ( x ) 0 t α 1 ψ ( t ) d t = 0 t α 1 φ ( x , t ) d t .
If the integral:
γ ( α ) = 0 t α 1 ψ ( t ) d t
has a sense for certain α = α 0 , then γ α is defined and continuous for all α α 0 .
Denoting r = [ α ] , one can see that γ ( α ) has a sense whenever ψ ( t ) has the order of infinitesimality equal to r + 1 . It is required:
j = 0 p k j s C j = 0 , s = 0 , 1 , , r .
r-times integration by parts gives:
γ ( α ) = Γ ( α ) j = 0 p k j α C j ( α r ) ; γ ( r ) = lim α r γ ( α ) = ( 1 ) r + 1 r ! j = 0 p k j r C j log k j .
The most simple function ψ ( t ) that has an order of infinitesimality equal to p is the following one:
ψ ( t ) = e t 1 e t p = e t p 1 e 2 t + p 2 e 3 t + .
In this case:
φ ( x , t ) = f ( x t ) p 1 f ( x 2 t ) + p 2 f ( x 3 t ) + .
The simple properties of the Marchaud derivatives are similar to that of the Liouville derivative, e.g., permutability with the operators of reflection, translation and scaling (see [10], Section 2.5), composition formulas with the singular integral operator S and relation between D α and D + α :
D α f = cos α π D + α f sin α π S D + α f .
Among characteristic properties, we have to point out the vanishing of the Marchaud derivative on the constant function:
D ± α c o n s t 0 .
For all α > 0 , the Marchaud derivative D ± α is defined on all bounded functions f C [ α ] ( R 1 ) satisfying the following condition:
| f ( [ α ] ) ( x + h ) f ( [ α ] ) ( x ) | A ( x ) | h | λ .

3.2. Condition on Convergence

In the case of “small” parameter α (see (4)), the Marchaud derivative is defined, for instance, in the class of the locally Hölder continuous bounded functions H l o c λ ( R ) with Hölder exponent λ > α . Further analysis of convergence was done by Marchaud himself (see [8], Chapter 2). He proposed to introduce the fractional derivative f ( α ) by formula (27) (with a proper choice of the constant γ ( α ) ). He gave the following condition for the existence of such derivative: the necessary and sufficient condition for a function f continuous on ( a , a 1 ) to admit the fractional derivative D a + α f of any order α α is the uniform convergence of the integral ε t α 1 φ ( x , t ) d t on any subinterval ( a , a 1 ) ( a , a 1 ) .
It was noted that the order of infinitesimality of:
Δ h n f ( x ) : = f ( x + n h ) n 1 f ( x + ( n 1 ) h ) + n 2 f ( x + ( n 2 ) h ) +
depends on the behaviour of the function f at a point x. For the function f defined and bounded on ( 0 , 1 ) , Marchaud (following [37]) considered the properties of the generalized modulus of continuity defined as:
ω n ( δ ) = ω n ( δ ; f ( x ) ) : = sup | h | δ 1 n Δ h n f ( x ) ( 0 x 1 , 0 x + n h 1 ) .
Then, the following statement is valid: letting the integral 0 t α 1 ω n ( t ) d t be convergent for certain α and n ( α < n ), then the function f admits the derivative of any order α given by formula (27).
For instance,
f ( x ) = 1 2 log 2 0 t 2 f ( x ) 2 f ( x t ) + f ( x + 2 t ) d t ,
and, for n = 1 , 0 < α < 1 ,
f ( α ) = α Γ ( 1 α ) 0 t α 1 f ( x ) f ( x t ) d t .
Finally, Marchaud made the following remark ([8], p. 396) concerning the differences of noninteger order (citing the paper by Liouville):
Δ h α f ( x ) : = f ( x + α h ) α 1 f ( x + ( α 1 ) h ) + α 2 f ( x + ( α 2 ) h ) +
He proved that if the following limit exists:
lim δ + 0 δ α Δ δ α f ( x ) = g ( x ) ,
for certain α > 0 , then the following relation holds (Thus, g ( x ) can be considered as a fractional derivative of the function f ( x ) of order α ):
f ( x ) = I ( α ) g ( x ) .

3.3. Further Results on the Marchaud Derivative

As it was already mentioned, the Marchaud derivative appeared due to a formal replacement of the positive parameter α for negative one α in the definition of the Liouville fractional integral. The appeared object is not well-defined. In order to give a sense to the integral in (3), one can use Hadamard’s finite part (p.f.) (see [10], Lemma 5.2):
D ± α f ( x ) = p . f . I ± ( α ) f ( x ) .
An application of this approach gives, in particular, the following result (see [10], Lemma 5.3): let f C l o c m , λ ( R ) , 0 λ < 1 , m = [ α ] , α > 0 , α 1 , 2 , . Then, the following representation holds:
p . f . 0 f ( x t ) d t t 1 + α = 0 f ( x t ) k = 0 m ( 1 ) k f ( k ) ( x ) k ! t 1 + α d t .
The Marchaud derivative is a suitable object for representation of the fractional powers of the operators. Thus, for instance,
d d x α = 1 Γ ( α ) 0 ϕ ( x t ) ϕ ( x ) t 1 + α d t = D + ( α ) ϕ ( x ) ,
where ϕ ϕ ( t ) : ϕ ( t ) L p , ω , ω > 0 , 0 < α < 1 .
Marchaud’s ideas is applied in the study of another constructions, such as the Hadamard type derivative in [29]:
D 0 + , μ ( α ) f = x 1 μ d d x 1 Γ ( 1 α ) 0 x log x t α f ( t ) d t t 1 μ ( 0 < α < 1 ) .
It was shown that, for any function f X c p ( R + ) = g : 0 | t c g ( t ) | p d t t 1 / p < + , the following relation holds: D 0 + , μ α f ( x ) = D 0 + , μ ( α ) f , 0 < α < 1 , where
D 0 + , μ α f ( x ) = α Γ ( 1 α ) 0 e μ t f ( x ) f ( x e t ) t 1 + α d t + μ α f ( x ) =
= α Γ ( 1 α ) 0 x t x μ log x t α 1 f ( x ) f ( t ) t d t + μ α f ( x ) .
The difference between the Marchaud derivatives on semi-axes and the Liouville derivatives (e.g., for small values of parameter α , 0 < α < 1 )
( D + α f ) ( x ) = 1 Γ ( 1 α ) d d x x f ( t ) d t ( x t ) α , ( D α f ) ( x ) = 1 Γ ( 1 α ) d d x x f ( t ) d t ( x t ) α
is related to invertibility of fractional integral. Thus, the identity:
D ± α I ± α f f
is valid only for f L 1 ( R 1 ) , but the identity:
D ± α I ± α f f
is valid for all f L p ( R 1 ) , 1 p < 1 / α . Analogous results are valid for the Marchaud derivatives on a finite interval and the Riemann–Liouville fractional derivative: if f = I a + α φ , φ L 1 ( a , b ) , then the Marchaud derivatives on the interval ( a , b ) and the Riemann–Liouville derivatives coincide almost everywhere (see [10], Theorem 13.1). In particular, these derivatives coincide (a.e.) for all functions f absolutely continuous on ( a , b ) .
Since the Marchaud fractional derivative is defined via finite differences, then it follows that sufficient conditions on a function f to have the Marchaud fractional derivative of any order α is the convergence of the integral (see [8]):
0 ω n ( t ) d t t α + 1 ,
where ω n is the finite difference of f of order n = [ α + 1 ] . Vice versa, if such integral diverges for certain α > 0 , then the function f does not have a bounded fractional Marchaud derivative of any order greater than α . One of the possible ways of using the Marchaud derivative in a discrete case is discussed in [28].
Marchaud fractional derivative has a form similar to Riesz fractional derivative (or hypersingular integral) and thus possesses multidimensional generalization (see [10], Section 26). One of the most prominent constructions for certain domains Ω R n is given in [38]:
D Ω α f ( x ) = c ( α ) a Ω ( x ) f ( x ) + Ω f ( x ) f ( y ) | x y | n + α d y , x Ω ,
where
a Ω ( x ) = R n \ Ω d y | x y | n + α , c ( α ) = 2 α Γ ( 1 + α / 2 ) Γ ( ( n + α ) / 2 ) sin ( π α ) / 2 π 1 + n / 2 .

3.4. Short Biography of A.P. Marchaud

André Paul Marchaud was born (Here, we follow the biographical paper [39].) in Saintes (Charente-Maritime) on 27 April 1887 in a religious family (Protestants). He received his primary education at Saintes and Paris, and then returned to secondary school in Saintes. At the age 17, he got ill with pleurisy. He obtained his Bachelor’s degree in 1906, and then studied in College Chaptal preparing for entering École normal supérieure or École polytechnique. Marchaud studied at the École normal supérieure from 1909–1912, got his Master’s degree in 1911. After graduating from École normal supérieure, he obtained an aggregation in mathematics in 1912. He was a teacher in mathematics at the high school in Montauban (from 1 October 1913 until 2 October 1919).
In 1914, Marchaud was mobilized as a second lieutenant of the 344 infantry regiment of Bordeaux. He was captured on 20 August 1914, and transferred to Germany. He was a prisoner for more than two years. In 1917, Marchaud became ill and was moved to Switzerland by the Red Cross. He returned to France on 6 July 1918.
In France, Marchaud continued his work as a teacher in mathematics at high schools (in Montauban and in Monpellier). In March, 1927, he defended a Doctor of Science thesis “On derivatives and differences of functions of real variables” (chairman of the committee Montel, examiners Denjoy and Chazy). In the period from October 1927 until October 1938, he occupied different positions at the mathematical faculty in Marseille. A.P. Marchaud was a rector of the Academy Clermont (1938–1944), Academy of Bordeaux (1944–1950) and a member of rectorate of the city University, Paris (1950–1957). He retired in August 1957 and passed away on 15 October 1973.

4. Conclusions

In this paper, we describe two approaches to the definition of fractional derivatives. The aim of both constructions is to define a fractional derivative that can be applied to a wide class of functions.
Letnikov’s (1) and Marchaud’s (3) derivatives are based on the use of differences. Thus, Letnikov studied the properties of differences of an arbitrary order and applied them to define his derivative. Marchaud proposed the regularization of the divergent integral by using finite differences of an integer order. The functions to which these constructions can be applied are not differentiable in general. One more common feature of these fractional derivatives is that both of them are started from the Riemann–Liouville fractional derivative, which needs to be simplified in order to be applied to a rather wide class of functions.
We also have to mention the following result on coincidence of Letnikov’s and Marchaud’s derivatives.
Theorem 2.
(Theorem 20.4 [10]) Let f L r ( R ) for certain 1 r < . Then, the following limits f ± α ) = lim h + 0 , ( L p ( R ) ) Δ ± h α f ( x ) h α and D ± α f ( x ) = lim ε + 0 , ( L p ( R ) ) D ± , ε α f ( x ) exist simultaneously and coincide (for the same choice of signs and 1 < p < 1 / α ).
Letnikov’s idea is briefly mentioned in the main paper by Marchaud in spite of the fact that Marchaud never read the paper by Letnikov or Grünwald. Since 50 years separate Letnikov’s and Marchaud’s proposals, we can see that Marchaud’s paper already explored the results from the theory functions, the theory of sets and the theory of integration developed at the beginning of the 20th century by French and Russian schools.
In conclusion, we can say that both constructions are prominent and we suppose that many mathematicians would apply them in their work.

Acknowledgments

The work has received funding from the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme FP7/2007–2013/ under the REAGrant Agreement PIRSES-GA-2013-610547—TAMER and supported by the Belarusian Fund for Fundamental Scientific Research through the grant F17MS-002.

Author Contributions

The authors made equal contributions in the article.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Letnikov, A.V.; Chernykh, V.A. The Foundation of Fractional Calculus (with Applications to the Theory of Oil and Gas Production, Underground Hydrodynamics and Dynamics of Biological Systems); Neftegaz: Moscow, Russia, 2011. (In Russian) [Google Scholar]
  2. Grünwald, A.K. Über “begrentze” Derivationen und deren Anwendung. Z. Angew. Math. Phys. 1867, 12, 441–480. [Google Scholar]
  3. Liouville, J. Mémoire sur quelques questiones de géométrie et de mécanique, et nouveau gendre de calcul pour résoudre ces questiones. J. Ecole Roy. Polytéchn. 1832, 13, 1–69. [Google Scholar]
  4. Liouville, J. Mémoire sur le calcul des différentielles a indices quelconques. J. Ecole Roy. Polytéchn. 1832, 13, 71–162. [Google Scholar]
  5. Letnikov, A.V. Theory of differentiation of an arbitrary order. Mat. Sb. 1868, 3, 1–68. (In Russian) [Google Scholar]
  6. Letnikov, A.V. An investigation related to the theory of integrals of the form a x ( x u ) p 1 f ( u ) d u . Mat. Sb. 1874, 7, 5–205. (In Russian) [Google Scholar]
  7. Riemann, B.; Weber, H. Gesammelte Mathematische Werke und Wissenschaflicher Nachlass; Teubner: Leipzig, Germany, 1876. [Google Scholar]
  8. Marchaud, A.P. Sur les dérivées et sur les différences des fonctions de variablr réelles. J. Math. Pure Appl. 1927, 6, 337–426. (In French) [Google Scholar]
  9. Marchaud, A.P. Sur les Dérivées et sur les Différences des Fonctions de Variablr Réelles; Thésis de Entre-Deux-Guerres; Numdam, The French Digital Mathematics Library: Paris, France, 1965. (In French) [Google Scholar]
  10. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives: Theory and Applications; Breach Science Publishers: London, UK, 1993. [Google Scholar]
  11. Baleanu, D.; Diethelm, K.; Scalas, E.; Trujillo, J.J. Fractional Calculus: Models and Numerical Methods, 2nd ed.; Series on Complexity, Nonlinearity and Chaos; World Scientific: Singapore, 2016. [Google Scholar]
  12. Almeida, R.; Pooseh, S.; Torres, D. Computational Methods in the Fractional Calculus of Variations; Imperial College Press and World Scientific: Singapore, 2015. [Google Scholar]
  13. Uchaikin, V. Fractional Derivatives for Physicists and Engineers; Springer: Berlin, Germany; Higher Education Press: Beijing, China, 2013. [Google Scholar]
  14. Atanackovic, T.; Philipović, S.; Stanković, B.; Zorica, D. Fractional Calculus with Applications in Mechanics: Vibrations and Diffusion Processes; Wiley: London, UK, 2014. [Google Scholar]
  15. Gorenflo, R.; Kilbas, A.; Mainardi, F.; Rogosin, S. Mittag-Leffler Functions, Related Topics and Applications; Springer: Berlin/Heidelberg, Germany, 2014. [Google Scholar]
  16. Podlubny, I. Fractional Differential Equations; Academic Press: New York, NY, USA, 1999. [Google Scholar]
  17. Caponetto, R.; Dongola, G.; Fortuna, L.; Petráš, I. Fractional Order Systems: Modeling and Control Applications; World Scientific: Singapore, 2010. [Google Scholar]
  18. Hilfer, R. (Ed.) Applications of Fractional Calculus in Physics; World Scientific: Singapore, 2000. [Google Scholar]
  19. Mainardi, F. Fractional Calculus and Waves in Linear Viscoelasticity; Imperial College Press and World Scientific: Singapore, 2010. [Google Scholar]
  20. Hille, E.; Tamarkin, J.D. On the theory of linear integral equations. Ann. Math. 1930, 31, 479–528. [Google Scholar] [CrossRef]
  21. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; John Wiley and Sons: New York, NY, USA, 1993. [Google Scholar]
  22. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
  23. Allen, M.; Caffarelli, L.; Vasseur, A. A parabolic problem with a fractional time derivative. Arch. Rat. Mech. Anal. 2016, 221, 603–630. [Google Scholar]
  24. Bergounioux, M.; Leaci, A.; Nardi, G.; Tomarelli, F. Fractional Sobolev spaces and functions of bounded variation of one variable. Frac. Calc. Appl. Anal. 2017, 20, 936–962. [Google Scholar] [CrossRef]
  25. Bucur, C.; Ferrari, F. An extesion problem for the fractional derivative defined by Marchaud. Frac. Calc. Appl. Anal. 2016, 19, 867–887. [Google Scholar]
  26. West, B.J.; Bologna, M.; Grigolini, P. Physics of Fractal Operators; Springer: New York, NY, USA, 2003. [Google Scholar]
  27. Yao, K.; Su, W.-Y.; Zhou, S.P. The fractional derivative of a fractal functions. Acta Math. Sinica. Engl. Ser. 2006, 22, 719–722. [Google Scholar]
  28. Tarasova, V.V.; Tarasov, V.E. Exact discretization of economic accelerator and multiplier with memory. Fractal Fract. 2017, 1, 6. [Google Scholar]
  29. Kilbas, A.A.; Titioura, A.A. Nonlinear differential equations with Marchaud-Hadamard-type fractional derivative in the weighted spaces of summable functions. Math. Model. Anal. 2007, 12, 343–356. [Google Scholar] [CrossRef]
  30. Tenreiro Machado, J.; Kiryakova, V.; Mainardi, F. A poster about the old history of fractional calculus. Frac. Calc. Appl. Anal. 2010, 13, 447–454. [Google Scholar]
  31. Nekrasov, P.A. General differentiation. Mat. Sb. 1888, 14, 45–168. (In Russian) [Google Scholar]
  32. Butzer, P.L.; Westphal, U. An access to fractional differentiation via fractional difference quotients. Lect. Notes Math. 1975, 457, 116–145. [Google Scholar]
  33. Bugrov, J.S. Fractional difference operators and classes of functions. Trudy Matematicheskogo Instituta imeni VA Steklova 1985, 172, 60–70. (In Russian) [Google Scholar]
  34. Letnikov, A.V. On explanation of the main provisions of the theory of differentiation of arbitrary order. Mat. Sb. 1872, 6, 413–445. (In Russian) [Google Scholar]
  35. Sonin, N.Y. On differentiation of arbitrary order. Mat. Sb. 1872, 6, 1–38. (In Russian) [Google Scholar]
  36. Montel, P. Sure les polynomes d’approximation. Bull. Soc. Math. Fr. 1918, 46, 151–192. [Google Scholar] [CrossRef]
  37. De la Vallee Poussin, C.-J. Over differentie quotienten en differential quotienten. K. Ak. Wetensch. Amsterdam 1908, 17, 38–45. [Google Scholar]
  38. Rafeiro, H.; Samko, S. On multidimensional analogue of Marchaud formula for fractional Riesz-type derivatives in domains in R n . Frac. Calc. Appl. Anal. 2005, 8, 393–401. [Google Scholar]
  39. Condette, J.-F. Marchaud André Paul. In Les Recteurs d’académie en France de 1808 à 1940; Tom II; Dictionnaire biographique; Institut National de Recherche Pédagogique: Paris, France, 2006; pp. 272–273. [Google Scholar]

Share and Cite

MDPI and ACS Style

Rogosin, S.; Dubatovskaya, M. Letnikov vs. Marchaud: A Survey on Two Prominent Constructions of Fractional Derivatives. Mathematics 2018, 6, 3. https://doi.org/10.3390/math6010003

AMA Style

Rogosin S, Dubatovskaya M. Letnikov vs. Marchaud: A Survey on Two Prominent Constructions of Fractional Derivatives. Mathematics. 2018; 6(1):3. https://doi.org/10.3390/math6010003

Chicago/Turabian Style

Rogosin, Sergei, and Maryna Dubatovskaya. 2018. "Letnikov vs. Marchaud: A Survey on Two Prominent Constructions of Fractional Derivatives" Mathematics 6, no. 1: 3. https://doi.org/10.3390/math6010003

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop