[go: up one dir, main page]

Aller au contenu

« Analyse fractionnaire » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Contenu supprimé Contenu ajouté
Anne Bauval (discuter | contributions)
mep + autre doute un § apparemment inventé par Flo en sept. 2007 (cf. pdd)
m Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation)
Ligne 67 : Ligne 67 :
{{bloc emphase|<math>(\mathrm I^\alpha f) ( x ) = \frac1{ \Gamma ( \alpha ) } \int_0^x (x-t)^{\alpha-1} f(t) \; \mathrm dt\quad(\operatorname{Re}(\alpha)>0)</math>.}}
{{bloc emphase|<math>(\mathrm I^\alpha f) ( x ) = \frac1{ \Gamma ( \alpha ) } \int_0^x (x-t)^{\alpha-1} f(t) \; \mathrm dt\quad(\operatorname{Re}(\alpha)>0)</math>.}}


{{Exemple|Si {{mvar|f}} est une [[fonction puissance]], de la forme <math>f(x)=x^k\quad(k\in\C,\;x>0)</math>, alors <math>(\mathrm I^\alpha f)(x)=\frac{\Gamma(k+1)}{\Gamma(\alpha+k+1)}x^{\alpha+k}</math>.
{{Exemple|Si {{mvar|f}} est une [[fonction puissance]], de la forme <math>f(x)=x^k\quad(k\in\Complex,\;x>0)</math>, alors <math>(\mathrm I^\alpha f)(x)=\frac{\Gamma(k+1)}{\Gamma(\alpha+k+1)}x^{\alpha+k}</math>.
{{Démonstration|<math>\int_0^x(x-t)^{\alpha-1}t^k\;\mathrm dt=x^{\alpha+k}\int_0^1(1-u)^{\alpha-1}u^k\;\mathrm du=x^{\alpha+k}\mathrm B(\alpha,k+1)=x^{\alpha+k}\frac{\Gamma(\alpha)\,\Gamma(k+1)}{\Gamma(\alpha+k+1)}</math>, où {{math|B}} est la [[fonction bêta]].
{{Démonstration|<math>\int_0^x(x-t)^{\alpha-1}t^k\;\mathrm dt=x^{\alpha+k}\int_0^1(1-u)^{\alpha-1}u^k\;\mathrm du=x^{\alpha+k}\mathrm B(\alpha,k+1)=x^{\alpha+k}\frac{\Gamma(\alpha)\,\Gamma(k+1)}{\Gamma(\alpha+k+1)}</math>, où {{math|B}} est la [[fonction bêta]].
}}
}}
Ligne 111 : Ligne 111 :
=== Dérivée de [[Bernhard Riemann|Riemann]]-Liouville ===
=== Dérivée de [[Bernhard Riemann|Riemann]]-Liouville ===
{{Voir|contenu=Article détaillé : {{Lien|trad=Riemann–Liouville integral|Intégrale de Riemann-Liouville}}.}}
{{Voir|contenu=Article détaillé : {{Lien|trad=Riemann–Liouville integral|Intégrale de Riemann-Liouville}}.}}
L'idée, pour définir une dérivée d'ordre <math>\alpha\in\C</math> avec {{math|Re(''α'') ≥ 0}}, est ici de calculer la dérivée {{mvar|n}}-ième usuelle de l'intégrale fractionnaire d'ordre {{mvar|n − α}}, pour {{math|''n'' {{=}} [[Partie entière et partie fractionnaire|⌊Re(''α'')⌋]] + 1}}. Deux variantes de la définition existent :
L'idée, pour définir une dérivée d'ordre <math>\alpha\in\Complex</math> avec {{math|Re(''α'') ≥ 0}}, est ici de calculer la dérivée {{mvar|n}}-ième usuelle de l'intégrale fractionnaire d'ordre {{mvar|n − α}}, pour {{math|''n'' {{=}} [[Partie entière et partie fractionnaire|⌊Re(''α'')⌋]] + 1}}. Deux variantes de la définition existent :
:<math>\mathrm D_{a+}^\alpha f(x)=\frac{\mathrm d^n}{\mathrm dx^n}\mathrm D_{a+}^{-(n-\alpha)}f(x)=\frac{\mathrm d^n}{\mathrm dx^n}\mathrm I_{a+}^{n-\alpha}f(x)</math> (pour <math>x>a</math>) ;
:<math>\mathrm D_{a+}^\alpha f(x)=\frac{\mathrm d^n}{\mathrm dx^n}\mathrm D_{a+}^{-(n-\alpha)}f(x)=\frac{\mathrm d^n}{\mathrm dx^n}\mathrm I_{a+}^{n-\alpha}f(x)</math> (pour <math>x>a</math>) ;
:<math>\mathrm D_{b-}^\alpha f(x)=\left(-\frac{\mathrm d}{\mathrm dx}\right)^n\mathrm D_{b-}^{-(n-\alpha)}f(x)=\left(-\frac{\mathrm d}{\mathrm dx}\right)^n\mathrm I_{b-}^{n-\alpha}f(x)</math> (pour <math>x<b</math>){{sfn|Kilbas|Srivastava|Trujillo|2006|p=70}}.
:<math>\mathrm D_{b-}^\alpha f(x)=\left(-\frac{\mathrm d}{\mathrm dx}\right)^n\mathrm D_{b-}^{-(n-\alpha)}f(x)=\left(-\frac{\mathrm d}{\mathrm dx}\right)^n\mathrm I_{b-}^{n-\alpha}f(x)</math> (pour <math>x<b</math>){{sfn|Kilbas|Srivastava|Trujillo|2006|p=70}}.

Version du 21 novembre 2020 à 22:40

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 rentrent 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

Les fondations de ce sujet ont été jetées par Liouville dans un article de 1832[1],[2]. 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 :

[Information douteuse],

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

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, nous pouvons 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, nous obtenons 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 ()[3].

Une définition élémentaire

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[4].

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

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

Dérivée de Riemann-Liouville

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 )[5].

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 :

 ;
[6].
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[7].

Dérivée de Liouville-Weyl

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 [8],[9].
Exemple :

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

et
[10],

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

En 1967, Michele Caputo introduisit une nouvelle définition ne nécessitant pas de conditions aux bornes[11]. 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[12], 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

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

,

puis

[13].
Exemples :
  1. Soit avec Re(λ) ≥ 0, et soit α > 0. Alors,[14],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,[15],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

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

(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 le calcul des différentielles à indices quelconques », Journal de l'École polytechnique, vol. 13, section 21, 1832, p. 71-162.
  2. 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.
  3. (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.
  4. (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).
  5. Kilbas, Srivastava et Trujillo 2006, p. 70.
  6. Kilbas, Srivastava et Trujillo 2006, p. 69.
  7. Kilbas, Srivastava et Trujillo 2006, p. 81, Propriété 2.5.
  8. Kilbas, Srivastava et Trujillo 2006, p. 87.
  9. (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.
  10. Kilbas, Srivastava et Trujillo 2006, p. 88, Propriété 2.11.
  11. (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).
  12. Kilbas, Srivastava et Trujillo 2006, p. 91-92.
  13. Kilbas, Srivastava et Trujillo 2006, p. 121-122.
  14. Garrappa, Kaslik et Popolizio 2019, p. 13, Proposition 9.
  15. Garrappa, Kaslik et Popolizio 2019, p. 16, Proposition 11.

Voir aussi

Articles connexes

Liens externes

Ouvrages

Journaux spécialisés