Analyse fractionnaire

L'analyse fractionnaire est une branche de l'analyse mathématique qui étudie la possibilité de définir des puissances non entières des opérateurs de dérivation et d'intégration.

Ces dérivées ou intégrations fractionnaires entrent dans le cadre plus général des opérateurs pseudo-différentiels.

Par exemple, on peut se demander comment interpréter convenablement la racine carrée

de l'opérateur de dérivation, c'est-à-dire une expression d'un certain opérateur qui, lorsqu'elle est appliquée deux fois à une fonction, aura le même effet que la dérivation. Plus généralement, on peut examiner le problème de définir

pour des valeurs réelles de α, de telle sorte que lorsque α prend une valeur entière n, on récupère la dérivation n-ième usuelle pour n > 0 ou l'intégration itérée |n| fois pour n < 0. Le terme « fractionnaire » est utilisé de façon impropre : α n'est pas nécessairement un nombre rationnel, et l'on devrait donc plutôt parler de dérivation non entière. Cependant, le terme « analyse fractionnaire » est devenu traditionnel.

Les dérivées fractionnaires sont utilisées par exemple dans certains domaines de la physique faisant intervenir des phénomènes de diffusion comme l'électromagnétisme, l'acoustique ou la thermique, en définissant des opérateurs pseudo-différentiels diffusifs, avec conditions de bord à « géométrie fractale ».

Dérivée fractionnaire modifier

Les fondations de ce sujet ont été jetées par Liouville dans un article de 1832[1],[2],[3]. La dérivée fractionnaire d'ordre α d'une fonction en un point x est désormais souvent définie à partir de la transformée de Fourier ou de la transformée de Laplace.

Un point important est que la dérivée fractionnaire d'une fonction en un point x est une propriété locale seulement lorsque l'ordre α est entier ; dans les autres cas, on ne peut plus dire que la dérivée fractionnaire d'une fonction f en x ne dépend que du graphe de f au voisinage de x, comme c'est le cas en ce qui concerne les ordres de dérivation entiers.

Pour illustrer ceci, introduisons l'opérateur « de translation »   et l'opérateur identité  . La limite, lorsque h tend vers 0, de l'opérateur

 

correspond bien à l'opérateur de dérivation au premier ordre.

Grâce à la formule du binôme généralisée, on peut alors élever cet opérateur à une puissance non entière. On obtient ainsi une série infinie :

 ,

  désigne le coefficient binomial généralisé  .

Une telle définition induit un caractère non local de l'opération de dérivation à un ordre non entier.

Approche naturelle modifier

Une question naturelle qui se pose est : existe-t-il un opérateur linéaire H tel que

  ?

Il apparaît qu'il existe un tel opérateur et même, pour tout α > 0 rationnel, il existe un opérateur P tel que   (plus précisément, si α = p/q,  ) ou, pour le formuler autrement, que   est défini pour toutes valeurs réelles n > 0.

Un résultat similaire s'applique pour l'intégration. Considérant une fonction f définie pour x > 0, on peut former son intégrale définie de 0 à x :

 .

En répétant ce processus, on obtient

 ,

et ceci peut être répété arbitrairement.

La formule suivante, appelée formule de Cauchy pour l'intégration successive,

 

exprime par une seule intégrale une primitive n-ième d'une fonction f. Ceci mène tout droit à une généralisation pour tout réel α > 0 et même, pour tout nombre complexe de partie réelle strictement positive.

La fonction gamma Γ, qui étend la factorielle aux valeurs complexes, est définie de telle sorte que :

 .

En utilisant la fonction gamma pour se libérer de la nature discrète de la factorielle, on obtient un candidat naturel pour les puissances non entières de l'opérateur d'intégration :

 .
Exemple :

Si f est une fonction puissance, de la forme  , alors  .

La famille d'opérateurs intégraux   vérifie :

  (donc  ).

Malheureusement, le processus analogue pour l'opérateur de dérivation D est considérablement plus compliqué. La famille   n'est ni additive (on n'a pas en général  ), ni même commutative ( )[4].

Une définition élémentaire modifier

L'idée la plus simple est de partir de formules « régulières » pour la dérivée n-ième et de remplacer n par le réel α ; on obtient ainsi pour l'exponentielle   et pour la fonction sinus :   La même idée pour les fonctions puissances oblige comme précédemment à introduire la fonction gamma : puisque  , on aura  . Pour ces formules, on a bien l'additivité ( ), qui permet d'obtenir, par exemple, une « racine carrée » de la dérivation en prenant α = 1/2.

Mais cette approche élémentaire, non seulement n'est pas généralisable, mais contredit les définitions plus générales construites à partir d'opérateurs intégraux[5].

Définitions générales des dérivées fractionnaires modifier

 
Dérivées fractionnaires d'une fonction gaussienne, interpolant entre la fonction et sa dérivée usuelle.

Dérivée de Riemann-Liouville modifier

L'idée, pour définir une dérivée d'ordre   avec Re(α) ≥ 0, est ici de calculer la dérivée n-ième usuelle de l'intégrale fractionnaire d'ordre n − α, pour n = ⌊Re(α)⌋ + 1. Deux variantes de la définition existent :

  (pour  ) ;
  (pour  )[6].

Les familles d'opérateurs d'intégration   et   (avec Re(α) > 0) utilisées ici généralisent la famille   définie ci-dessus pour x > 0 :

  ;
 [7].
Exemple :

Reprenons l'exemple de la fonction puissance  , dont nous avions calculé l'image par  . Supposons Re(k) > −1 et Re(α) ≥ 0. Alors, pour x > 0,

 ,

donc la définition ad hoc ci-dessus de   est en fait un cas particulier de dérivée de Riemann-Liouville[8].

Dérivée de Liouville-Weyl modifier

Une variante naturelle de la dérivée de Riemann-Liouville, pour une fonction définie sur   tout entier, consiste à prendre   et  , donc à poser, pour tout   :

 ,
 

puis, comme précédemment,

  et  [9],[10].
Exemple :

Soit   avec Re(λ) > 0, et soit Re(α) ≥ 0. Alors,

  et
 [11],

donc la définition ad hoc ci-dessus de   est en fait un cas particulier de dérivée de Liouville-Weyl.

Dérivée de Caputo modifier

En 1967, Michele Caputo introduisit une nouvelle définition ne nécessitant pas de conditions aux bornes[12]. La définition de Caputo diffère de celle de Riemann-Liouville en ce qu'elle effectue la dérivation n fois avant l'intégrale fractionnaire d'ordre n − α :

 .

Elle a l'avantage d'être nulle pour f constante et d'avoir une transformée de Laplace exprimée à l'aide de celle de f et des valeurs initiales de f(k) pour 0 ≤ k < n.

Plus généralement[13], pour α complexe non entier tel que Re(α) ≥ 0 et pour f de classe Cn sur [a, b] avec n = ⌈Re(α)⌉, on définit

 ,

et l'on démontre que

 .

Dérivée de Grünwald-Letnikov modifier

On généralise d'abord la différence finie arrière d'ordre entier en posant, pour α > 0 :

 ,

puis

 [14].
Exemples :
  1. Soit   avec Re(λ) ≥ 0, et soit α > 0. Alors, [15],donc la définition ad hoc ci-dessus de   est en fait un cas particulier de dérivée (non seulement de Liouville-Weyl, mais aussi) de Grünwald-Letnikov.
  2. Soit   avec μ ∈ ℝ, et soit α > 0. Alors, d'après l'exemple 1, [16],donc la définition ad hoc ci-dessus de   est en fait un cas particulier de dérivée de Grünwald-Letnikov (ru).

Applications modifier

Ce champ des mathématiques trouve une application pratique en automatique via la commande CRONE (Commande Robuste d'Ordre Non Entier).

Notes et références modifier

(en) Cet article est partiellement ou en totalité issu des articles intitulés en anglais « Differintegral » (voir la liste des auteurs) et « Fractional calculus » (voir la liste des auteurs).
  1. Joseph Liouville, « Mémoire sur quelques questions de géométrie et de mécanique, et sur un nouveau genre de calcul pour résoudre ces questions », Journal de l'École polytechnique, vol. 13, section 21, 1832, p. 1-69.
  2. Joseph Liouville, « Mémoire sur le calcul des différentielles à indices quelconques », Journal de l'École polytechnique, vol. 13, section 21, 1832, p. 71-162.
  3. Pour une histoire du sujet, voir Stéphane Dugowson, Les différentielles métaphysiques (histoire et philosophie de la généralisation de l'ordre de dérivation), thèse, Université Paris XIII, 1994.
  4. (en) Anatoly A. Kilbas, Hari M. Srivastava et Juan J. Trujillo, Theory and Applications of Fractional Differential Equations, Amsterdam, Elsevier, (ISBN 0-444-51832-0, lire en ligne), p. 75, Propriété 2.4.
  5. (en) R. Garrappa, E. Kaslik et M. Popolizio, « Evaluation of Fractional Integrals and Derivatives of Elementary Functions: Overview and Tutorial », MDPI Mathematics,‎ , article no 407 (DOI 10.3390/math7050407).
  6. Kilbas, Srivastava et Trujillo 2006, p. 70.
  7. Kilbas, Srivastava et Trujillo 2006, p. 69.
  8. Kilbas, Srivastava et Trujillo 2006, p. 81, Propriété 2.5.
  9. Kilbas, Srivastava et Trujillo 2006, p. 87.
  10. (en) S. Umarov, M. Hahn et K. Kobayashi, Beyond The Triangle : Brownian Motion, Ito Calculus, And Fokker-planck Equation : Fractional Generalizations, World Scientific, (lire en ligne), p. 33-34.
  11. Kilbas, Srivastava et Trujillo 2006, p. 88, Propriété 2.11.
  12. (en) Michele Caputo, « Linear model of dissipation whose Q is almost frequency independent. II », Geophysical Journal International, vol. 13, no 5,‎ , p. 529-539 (DOI 10.1111/j.1365-246x.1967.tb02303.x, Bibcode 1967GeoJ...13..529C).
  13. Kilbas, Srivastava et Trujillo 2006, p. 91-92.
  14. Kilbas, Srivastava et Trujillo 2006, p. 121-122.
  15. Garrappa, Kaslik et Popolizio 2019, p. 13, Proposition 9.
  16. Garrappa, Kaslik et Popolizio 2019, p. 16, Proposition 11.

Voir aussi modifier

Articles connexes modifier

Liens externes modifier

Ouvrages modifier

Journaux spécialisés modifier