LA DERIVATION FRACTIONNAIRE pp.1-6 THE FRACTIONNAL DERIVATION pp.
7-12
Essai de vulgarisation, d'aprs : Use of Fractional Derivatives to express the Properties of Energy Storage in Electrical Networks (1982) Rapport dit par les Laboratoires de Marcoussis, route de Nozay, 91460, Marcoussis, France.
Les pages 2-6 ont t publies dans le magazine QUADRATURE n40, pp.10-12, octobre 2000 Edit par EDP Sciences, 17 av. du Hoggar, PA de Courtaboeuf, 91944 Les ULIS, France http://www.edpsciences.org/quadrature/
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
LA DERIVATION FRACTIONNAIRE
Jean Jacquelin
1. Un vieux paradoxe !
Croyez-vous que les mathmaticiens se contenteraient de faire subir une brave et df d2 f dn f honnte fonction f(x) des drivations successives , , ..., , ... ? dx dx 2 dx n Ce serait bien mal les connatre ! De mme que "la Nature a horreur du vide", "le Mathmaticien a horreur du discontinu". dn f d n +1 f Alors, n'existe-t-il vraiment rien entre et ? dx n dx n +1 Il faut remonter 1695 pour trouver dans une lettre de G. W. Leibniz G. A. L'Hospital la mention d'une diffrentielle fractionnaire d1/2x , qualifie de "paradoxe apparent", d'o le titre de cette prface. Ds le 18ime sicle, les prmices du concept de drivation fractionnaire, c'est--dire d'un oprateur de drivation de degr non entier, apparaissent dans des crits de L. Euler, de J.L. Lagrange et, au dbut du 19ime sicle, avec P. S. Laplace et N. H. Abel. Les avances les plus marquantes sont celles de J. Liouville dans ses multiples mmoires l'Ecole Polytechnique entre 1832 et 1835, puis la contribution de B. Riemann en 1847, faisant que les noms de ces deux mathmaticiens restent attach la fameuse transformation que nous rappellerons plus loin. Les dveloppements ont t nombreux depuis lors. La trs intressante compilation ralise par le Pr. Ross et publie dans [1], outre sa valeur historique, montre la diversit et l'importance des applications rcentes. La prsente et trop succincte introduction doit beaucoup cette bibliographie.
2. La transformation de Riemann-Liouville
Sous sa forme gnralise, la transformation de Riemann-Liouville [2], [3], que nous identifions l'oprateur de drivation fractionnaire de degr (), s'exprime par :
d 1 f ( x) = ( ) dx
x f ( ) d
( x ) +1 a
(1)
Nous donnerons plus loin un "aperu" de la justification de cette formule. Comme nous allons le voir maintenant, l'oprateur (1) s'tend aux drivations de degr ngatif, ce qui l'identifie alors une intgration fractionnaire de degr = -.
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
3. L'intgration fractionnaire
Considrons (m) intgrations successives d'une fonction f(x). La formule de Cauchy [4] donne le rsultat sous la forme d'une unique intgrale :
m =0
m =x
m 1 = m
...
m 1 = 0
2 =0
2 = 3
1 = 2
f ( 1 ) d 1 d 2 ...d m1 d m =
1 =0
1 (m 1) !
=x
( x ) m 1 f ( ) d
=0
Sachant que (m 1) ! = (m) , de l remplacer m, entier, par , rel, il n'y a qu'un pas que nous franchirons allgrement, sans plus nous proccuper de bien des contingences ! Ainsi donc, l'intgrale de degr se prsenterait sous la forme suivante:
x ( ) 1 f ( ) ( d ) = ( ) 0
x 0 1 ( x ) 1 f ( ) d = ( )
x 0 f ( ) d ( x ) +1
Oh, merveille ! nous retrouvons l'oprateur de drivation fractionnaire (1) avec le degr (- ) au lieu de (). C'est dire que l'intgration n'est autre que la drivation avec un degr de signe contraire et rciproquement. Ceci fait que le nom de "differintgration" est parfois, et juste titre, employ.
4. Justification sommaire
Les premires justifications de l'identification l'oprateur de drivation fractionnaire la transformation de Riemann-Liouville ont t apportes en travaillant sur le dveloppement en srie de Taylor de f(x). C'est un exercice dlicat de passage aux limites dans le cas >-1, plus ais dans le cas le l'intgration fractionnaire proprement dite. Contentons nous d'une "vrification" formelle et triviale, dans le cas le plus simple, soit >1 : La drivation, au sens habituel, de (1) par rapport x donne (avec =-) :
x f ( ) d 1 x d 1 1 2 1 ( ) a ( x ) +1 = ( ) a ( x ) f ( ) d + ( ) ( x x ) f ( x) d dx x f ( ) d x f ( ) d d 1 1 a (x ) +1 = ( 1)) a (x ) +2 dx ( )
(2)
En effet, la fonction Gamma a la proprit suivante: ( ) = ( 1) ( 1) et il n'y a aucune ambigut sur ( x x) 1 = 0 pour >1. Ainsi, on voit dans (2) que la drivation simple ne modifie pas la forme de l'expression et remplace simplement par (-1), ce qui montre la rcursivit de l'opration.
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
5. Une bien dconcertante borne infrieure
N'avez-vous pas remarqu dans ce qui prcde, ho! lecteur vigilant!, qu'une question embarrassante a t lude ? Voyez-vous, cette petite lettre (a), en bas du signe somme, dans l'quation (1) : C'est bel et bien une borne infrieure, arbitraire, d'intgration. Cela ne surprendra personne dans le cas d'intgrations successives, voire d'intgration fractionnaire. Mais, quid de la drivation ? Et bien, oui, il va falloir s'y habituer : la drivation fractionnaire dpend aussi d'une constante arbitraire, tout comme l'intgration. Gnralement et conventionnellement, on fixe a=0, ce qui est parfois sous-entendu lorsque la notation ne le prcise pas. Mais il ne faudrait pas voir l une rgle absolue. Par exemple, l'utilisation de la transformation de Weyl [5], pour laquelle a = , permet d'importantes simplifications, en particulier dans le cas de fonctions priodiques. d f ( x) est ambigu puisqu'elle ne prcise pas de On constate donc que la notation dx x ( ) paramtre (a). Au contraire, la notation f ( ) (d ) est sans ambigut, mais a elle est lourde et rarement employe. Notons la peu "mdiatique" mais concise notation a D x
Quand aux notations avec des points ou des apostrophes, du genre f ou f ' ' , il n'en est plus question, n'en dplaise aux partisans du moindre effort ! Pour eux, nous proposons f ((a)) ( x) .
6. Exemples
On trouve des listes tendues de fonctions avec leurs transformes de RiemannLiouville dans [1], [6], plus rarement dans les handbooks de fonctions spciales, par exemple dans [7]. Le lecteur pourra lui-mme retrouver les rsultats suivants (a=0): d (b + 1) c xb = c x b (b + 1 ) dx ( , bx) bx d e c e bx = c b 1 ( ) dx dans laquelle (-,bx) est la fonction gamma incomplte [9]
Les transformes des fonctions sinusodales comportent des termes dans lesquels figurent les fonctions de Fresnel gnralises [9], [10]. Ceci est en relation avec le choix de la constante d'intgration (a). Ces termes compliqus s'vanouissent lorsque a . Ainsi, dans le cas de la transformation de Weyl ( a = ), on trouve plus simplement b ebx transforme de ebx, ou encore b Sin(bx+/2) transforme de Sin(bx).
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
7. Applications
La drivation fractionnaire non seulement a des applications importantes en mathmatiques pures (citons Erdlyi et Higgings, parmi nombre d'auteurs), mais galement intresse de vastes domaines des sciences physiques. Heaviside fut un prcurseur gnial qui , ds 1920, l'utilisa dans ses recherches sur la propagation lectromagntique [11]. De nombreux exemples sont cits dans [1], concernant rhologie, diffusion, hydrodynamique, thermodynamique et rcemment l'lectrochimie. Sans s'appesantir sur ces sujets (ici quelque peu hors de sujet ! ), les tudiants concerns par des notions de base sur les circuits lectriques peuvent tre intresss par une amusante gnralisation [10], grce la drivation fractionnaire, telle qu'apparaissant sur le tableau suivant. Il s'en dduit des consquences remarquables sur les rseaux constitus par des sries de ces composants, et sur les calculs de circuits quivalents.
CAS GENERAL Cas du courant sinusodal I = f(t) I=Ip Sin(t) ; V=Vp Sin(t+) Lois physiques Degr de Coefficient Angle de Impdance fondamentales drivation dphasage complexe dI =+ INDUCTANCE V = L P = L Z=Li = +1 dt 2 (L)
Types de composants fondamentaux
RESISTANCE (R) CAPACITE (C)
Gnralisation :
V =RI V = 1 C
=0 = -1
P = R P = 1 C
=0 =
2
Z=R
I dt
Z=
1 C i
"PHASANCE" ( P )
d I V = P dt
Z = P (i ) 2 /
Et comme dernire touche cette description, certes trs provisoire, voici que la toute nouvelle gomtrie fractale ( nouvelle l'chelle des sicles) n'a pas chapp la tentation d'utiliser la drivation fractionnaire ! (notez bien : drivation fractionnaire et non encore fractale, Dieu merci ! ).
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
REFERENCES :
[1] Keith B.Oldham, Jerome Spanier, The Fractional Calculus, Academic Press, New York, 1974. Joseph Liouville, Sur le calcul des diffrentielles indices quelconques, J. Ecole Polytech., v.13, p.71, 1832. Bernhard Riemann, Versuch einer allgemeinen auffasung der integration und differentiation, 1847, Re-dit.: The Collected Works of Bernhard Riemann, Ed. H. Weber, Dover, New York, 1953 Augustin L. Cauchy, uvres compltes, 1823, cit par R. Courant, D. Hilbert, Methods of Mathematical Physics, Ed. J.Wiley & Sons, New York, 1962. Hermann Weyl, Bemerkungen zum begriff des differentialquotienten gebrocherer ordnung, Viertelschr. Naturforsh. Gesellsch., Zrich, v.62, p.296, 1917. Harry Bateman, Tables of Integral Transforms, Fractional Integrals, Chapt.XIII, Ed. Mc.Graw-Hill, New-York, 1954. Jerome Spanier, Keith B.Oldham, An Atlas of Functions, Ed. Harper & Row, New York, 1987. Milton Abramowitz, Irene A. Stegun, Handbook of Mathematical Functions, Ed. Dover Pub., New York, 1970. Jean Jacquelin, Use of Fractional Derivatives to express the properties of Energy Storage Phenomena in electrical networks, Laboratoires de Marcoussis, Route de Nozay, 91460, Marcoussis, 1982. Oliver Heaviside, Electromagnetic Theory, 1920, re-dit.: Dover Pub., New York, 1950.
[2]
[3]
[4]
[5]
[6]
[8]
[9]
[10]
[11]
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
THE FRACTIONNAL DERIVATION
( provisional translation ) General-public essay, issued from : Use of Fractional Derivatives to express the Properties of Energy Storage in Electrical Networks (1982), technical report edited by "Les Laboratoires de Marcoussis", route de Nozay, 91460, Marcoussis, France.
The French version was published in the magazine QUADRATURE n40, pp.10-12, october 2000, Edited by EDP Sciences, 17 av. du Hoggar, PA de Courtaboeuf, 91944 Les ULIS, France http://www.edpsciences.org/quadrature/
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
THE FRACTIONNAL DERIVATION
Jean Jacquelin
1. An old paradox!
Do you believe that the mathematicians would content with subject to successive df d2 f dn f derivations , , ..., , ... of a nice and fair function f(x) ? It would be not well dx dx 2 dx n knowing them! Just as Nature abhors a vacuum, the Mathematician abhors the discontinuity. dn f d n+1 f and ? Then, does nothing exists between dx n dx n +1 It is necessary to go back up to 1695 to find a letter of G.W.Leibniz to G.A.LHospital in which a fractional differential d1/2x is mentioned and qualified as apparently paradoxical. Hence, the title of this preamble. From the 18th century, the beginning of the concept of fractional derivation, that is an operator of derivation of not integer degree, appears in papers of L.Euler, of J.L.Lagrange and, early in the 19th century, of P.S.Laplace and of N.H.Abel. The most striking advances are the ones of J.Liouville in several of its reports to the Ecole polytechnique in Paris, between 1832 and 1835, then the contribution of B.Riemann in 1847, making that the names of these two mathematicians remain attached to the famous transform which we shall remind farther. The developments were extensive since then. Besides its historic value, the very interesting compilation by Pr. Ross and published in [1] shows the diversity and the importance of the recent applications. The present and too brief preamble owes to this bibliography a lot.
2. The Riemann-Liouville transform
Under its generalized form, the expression of the Riemann-Liouville transform [ 2, 3 ], which we identify to the operator of fractional derivation of degree (), is :
d 1 f ( x) = ( ) dx
x f ( ) d
( x ) +1 a
(1)
We shall give farther a "outline" of the justification of this formula. How we are now going to see, the operator ( 1 ) extends to the derivations of negative degree, what identifies it then with a fractional integration of degree = -.
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
3. The fractionnal integration :
Let us consider ( m ) successive integrations of a function f (x). The Cauchys formula [ 4 ] gives the result on the form of only one complete integral :
m =0
m =x
m 1 = m
...
m 1 =0
2 =0
2 = 3
1 = 2
1 f ( 1 ) d 1 d 2 ...d m 1 d m = (m 1) !
1 =0
=x
( x ) m 1 f ( ) d
=0
Knowing that (m 1) ! = ( m) , from there is only a step to replace the integer m, by the real so that we make the leap cheerfully, without worrying us more about many contingencies! So, the integral of degree would appear under the following form:
x ( ) 1 f ( ) ( d ) = ( ) 0
x ( x ) 1 0 1 f ( ) d = ( )
x 0 f ( ) d ( x ) +1
Oh, marvel we find again the fractionnal derivation operator (1) with degree (-) instead of (). It is to say that the integration is nothing else that the integration with opposite degree and reciprocally. This is why the name of " differintgration " is sometimes, and rightly, used.
4. Summary rationales
The first justifications of the identification of the fractional derivation operator with the Riemann-Liouville operator were brought by working on the Taylors series development of f(x). It is a tricky exercise of passage in the limits in the case >-1, easier in the case the fractional integration itself. Let us satisfy ourselves with only a formal and trivial "checking", in the simplest case, i.e. > 1: In the usual sense, the derivative of (1) relatively to x, with =, leads to :
x f ( ) d 1 x d 1 1 2 1 ( ) a ( x ) +1 = ( ) a ( x ) f ( ) d + ( ) ( x x ) f ( x) d dx x f ( ) d x f ( ) d d 1 1 ( ) a ( x ) +1 = ( 1)) a ( x ) + 2 dx
(2)
Indeed, the function Gamma has the following property: ( ) = ( 1) ( 1) and there is not any ambiguity on ( x x) 1 = 0 in case of > 1. So, we see in (2) that the usual derivation does not modify the pattern of the expression and only replaces by (-1), what shows the recursion of the operation.
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
5. A very disconcerting lower limit of integration
In what precedes, didnt you notice, ho! watchful reader!, that an awkward question was evaded? See this small letter (a), at the bottom of the integral symbol, in the equation (1): Indeed, it is an arbitrary lower limit of integration. This will surprise nobody in the case of successive integrations, even fractional integration. But, what about the derivation? And well, yes, this is going to need to become used to it: the fractional derivation also depends on an arbitrary constant, quite as the integration. Generally and formally, we set a = 0, what is sometimes implicit when the notation does not specify it. But one shouldnt see an absolute rule there. For example, the use of the Weyls transform [5], in which a = , allows important simplifications in the particular case of periodic functions. d We thus notice that the notation f (x) is ambiguous because she does not specify dx x ( ) f ( ) (d ) is without ambiguity, parameter (a). On the contrary, the notation a but it is heavy and so, does not get used. Let us note the few media but concise notation a D . About the notations with points or x
apostrophes, of kind
f ou f ' ' , it is now out of the question, displeases the very lazy
persons there! For them, we propose f ((a)) ( x) .
6. Examples
We find extended lists of functions with their Riemann-Liouville transforms in [1, 6], more rarely in the handbooks of special functions, for example in [7]. The reader can himself find the following results (a = 0): d (b + 1) c xb = c x b (b + 1 ) dx ( , bx) bx d e c e bx = c b 1 ( ) dx in which (-, bx) is the Incomplete Gamma function [9]
The transforms of the sinusoidal functions include terms in which the Generalized Fresnel functions [ 9, 10 ] appear. This is in connection with the choice of the lower limit of integration (a). These complicated terms faint when a . So, in the case of the Weyl transform ( a = ), we find more simple terms : The transform of ebx is b ebx and the transform of sin(bx) is b sin(bx+/2)
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
10
7. Applications
The fractional derivation not only has important applications in pure mathematics (let us quote Erdlyi and Higgings, among number of authors), but also interests vast domains of the physical sciences. Heaviside was a brilliant precursor who, from 1920, used fractional calculus in the researches on the electromagnetic propagation [ 11 ]. Numerous examples are quoted in [1], concerning rheology, diffusion, hydrodynamics, thermodynamics and recently the electrochemistry. Without dwelling on these subjects (here a little outside subject!), the students concerned by basic notions on electric networks can be interested in a generalization [10], thanks to the fractional derivation, such as appearing on the following table. It had remarkable consequences on networks made of associations of these components, and on calculations of equivalent circuits.
GENERAL CASE I = f(t) Fondamentales physical laws Case of sinusodal curent I=Ip Sin(t) ; V=Vp Sin(t+) Phase Complex angle impdance
Kind of basic components
drivation degree = +1
Coefficient
INDUCTANCE (L) RESISTANCE (R) CAPACITE (C) Generalization : "PHASANCE" ( P )
V =L
dI dt
P = L
=+
=0
Z=Li
V =RI
=0
P = R
Z=R
V =
1 C
I dt
= -1
P =
1 C
Z=
1 C i
V = P
d I dt
Z = P (i ) 2 /
And as last touch in this description, certainly very provisional, now the quite new fractal geometry (new on the scale of centuries) did not escape the temptation to use the fractional derivation! (Note, please: fractional derivation and not yet fractal derivation, thank goodness!).
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
11
REFERENCES :
[1] Keith B.Oldham, Jerome Spanier, The Fractional Calculus, Academic Press, New York, 1974. Joseph Liouville, Sur le calcul des diffrentielles indices quelconques, J. Ecole Polytech., v.13, p.71, 1832. Bernhard Riemann, Versuch einer allgemeinen auffasung der integration und differentiation, 1847, Re-dit.: The Collected Works of Bernhard Riemann, Ed. H. Weber, Dover, New York, 1953 Augustin L. Cauchy, uvres compltes, 1823, cit par R. Courant, D. Hilbert, Methods of Mathematical Physics, Ed. J.Wiley & Sons, New York, 1962. Hermann Weyl, Bemerkungen zum begriff des differentialquotienten gebrocherer ordnung, Viertelschr. Naturforsh. Gesellsch., Zrich, v.62, p.296, 1917. Harry Bateman, Tables of Integral Transforms, Fractional Integrals, Chapt.XIII, Ed. Mc.Graw-Hill, New-York, 1954. Jerome Spanier, Keith B.Oldham, An Atlas of Functions, Ed. Harper & Row, New York, 1987. Milton Abramowitz, Irene A. Stegun, Handbook of Mathematical Functions, Ed. Dover Pub., New York, 1970. Jean Jacquelin, Use of Fractional Derivatives to express the properties of Energy Storage Phenomena in electrical networks, Laboratoires de Marcoussis, Route de Nozay, 91460, Marcoussis, 1982. (Out of print) Oliver Heaviside, Electromagnetic Theory, 1920, re-dit.: Dover Pub., New York, 1950.
[2]
[3]
[4]
[5]
[6]
[8]
[9]
[10]
[11]
Jean Jacquelin, "LA DERIVATION FRACTIONNAIRE", 24 mai 2000. Provisional English translation : February 05-2013
12
