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».
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:
Une telle définition induit un caractère non local de l'opération de dérivation à un ordre non entier.
Une question naturelle qui se pose est: existe-t-il un opérateur linéaireH 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:
exprime par une seule intégrale une primitiven-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.
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:
On définit une nouvelle variable r par t = s + (x − s)r et l'on obtient:
.
L'intégrale à l'intérieur est la fonction bêta, qui vérifie:
,
si bien que
.
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].
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].
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue! Comment faire?
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:
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 :
donc la définition ad hocci-dessus de est en fait un cas particulier de dérivée de Liouville-Weyl.
Dérivée de Caputo
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
Article détaillé: Dérivée de Grünwald-Letnikov(en).
On généralise d'abord la différence finiearrière d'ordre entier en posant, pour α > 0:
Soit avec Re(λ) ≥ 0, et soit α > 0. Alors,[15],donc la définition ad hocci-dessus de est en fait un cas particulier de dérivée (non seulement de Liouville-Weyl, mais aussi) de Grünwald-Letnikov.
Soit avec μ ∈ ℝ, et soit α > 0. Alors, d'après l'exemple 1,[16],donc la définition ad hocci-dessus de est en fait un cas particulier de dérivée de Grünwald-Letnikov(ru).
Ce champ des mathématiques trouve une application pratique en automatique via la commande CRONE (Commande Robuste d'Ordre Non Entier).
(en) Anatoly A. Kilbas, Hari M. Srivastava et Juan J. Trujillo, Theory and Applications of Fractional Differential Equations, Amsterdam, Elsevier, (ISBN0-444-51832-0, lire en ligne), p.75, Propriété 2.4.
(en) R. Garrappa, E. Kaslik et M. Popolizio, «Evaluation of Fractional Integrals and Derivatives of Elementary Functions: Overview and Tutorial», MDPI Mathematics, , article no407 (DOI10.3390/math7050407).
(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.
(en) F. Mainardi, Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models, Imperial College Press, , 368p. (lire en ligne)
(en) Kenneth S. Miller et Bertram Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, John Wiley & Sons, , 1reéd., 384p., relié (ISBN978-0-471-58884-9)
(en) Keith B. Oldham et Jerome Spanier, The Fractional Calculus; Theory and Applications of Differentiation and Integration to Arbitrary Order, New York, Academic Press, coll.«Mathematics in Science and Engineering» (no111), , relié (ISBN978-0-12-525550-9, lire en ligne)
(en) Igor Podlubny, Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, Academic Press, coll.«Mathematics in Science and Engineering» (no198), , 340p. (ISBN978-0-08-053198-4, lire en ligne)
(en) Vasily E. Tarasov, Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media, Springer, , 450p. (présentation en ligne, lire en ligne)
(en) Vladimir V. Uchaikin, Fractional Derivatives for Physicists and Engineers, Higher Education Press/Springer, , 385p. (présentation en ligne, lire en ligne)