Voir la source de Extrapolation de Richardson

En [[analyse numérique]], le '''procédé d'extrapolation de Richardson''' est une technique d'accélération de la convergence. Il est ainsi dénommé en l'honneur de [[Lewis Fry Richardson]]<ref>{{article|langue=en
 | nom1=Richardson | prénom=L. F. | lien auteur=Lewis Fry Richardson
 | titre=The approximate arithmetical solution by finite differences of physical problems including differential equations, with an application to the stresses in a masonry dam
 | journal=Philosophical Transactions of the Royal Society of London, Series A
 | année=1911 | volume=210 | pages=307–357
 | doi=10.1098/rsta.1911.0009
}}</ref>{{,}}<ref>{{article|langue=en
 | nom1=Richardson | prénom=L. F. | lien auteur=Lewis Fry Richardson
 | titre=The deferred approach to the limit
 | journal=Philosophical Transactions of the Royal Society of London, Series A
 | année=1927 | volume=226 | pages=299–349
 | doi=10.1098/rsta.1927.0008
}}</ref>, qui l'a popularisé au début du {{s-|XX}}. Les premières utilisations remontent à [[Christian Huygens|Huygens]] en 1654 et [[Takebe Kenkō]] en 1723<ref>{{article|langue=en
 | nom1= Walz | prénom= Guido
 | titre=The History of Extrapolation Methods in Numerical Analysis
 | journal= Mannheimer Manuskripte
 | année=1991 | volume=130 | pages=1–11 
}}</ref>, pour l'évaluation numérique de π.

Ce procédé est notamment utilisé pour définir une méthode numérique d'intégration : la [[méthode de Romberg]], accélération de la [[méthode des trapèzes]].

== Présentation du principe ==

On suppose que la quantité inconnue {{mvar|A}} peut être approchée par une fonction {{math|''A''(''h'')}} avec une convergence d'ordre {{mvar|n}} en {{mvar|h}}
:<math>A-A(h) = a_n h^n+O(h^m),~a_n\ne0,~m>n,</math>
expression dans laquelle le coefficient {{mvar|a<sub>n</sub>}} n'est pas connu. Le principe d'extrapolation consiste à supprimer le terme en {{mvar|h<sup>n</sup>}} par combinaison linéaire de deux valeurs de {{math|''A''(''h'')}}, calculés avec des {{mvar|h}} différents : par exemple {{math|''A''(''h'')}} et {{math|''A''(''h''/2)}}. On obtient :

:<math>R(h) = A(h/2) + \frac{A(h/2)-A(h)}{2^n-1} = \frac{2^n\,A(h/2)-A(h)}{2^n-1} </math>
{{math|''R''(''h'')}} est l'extrapolé de Richardson qui approche {{mvar|A}} à l'ordre ''m''>''n'' en ''h''. Le facteur 2 peut être remplacé par n'importe quel autre facteur. L'intérêt de la méthode est qu'il sera fréquemment plus aisé d'obtenir une précision donnée en calculant {{math|''R''(''h'')}} que {{math|''A''(''h{{'}}'')}} avec un {{math|''h{{'}}''}} beaucoup plus petit (risque d'erreur d'arrondi, grande quantité de calcul …).

== Formule générale ==

On suppose que l'on dispose d'une approximation de {{mvar|A}} avec une formule d'erreur de cette forme
:<math> A = A(h) + a_0h^{k_0} + a_1h^{k_1} + a_2h^{k_2} + \cdots a_zh^{k_z}+O(h^{k_{z+1}}),</math>
les coefficients étant inconnus. On se fixe un paramètre réel ''r''>1 et on forme une combinaison entre la relation précédente et cette même relation prise au point <math>h/r</math>
:<math>{(r^{k_0}-1)A = r^{k_0}A\left(\frac{h}{r}\right) - A(h) + 0+a_1\left(\frac{r^{k_0}}{r^{k_1}}-1\right)h^{k_1}+\dots+a_z\left(\frac{r^{k_0}}{r^{k_z}}-1\right)h^{k_z} +O(h^{k_{z+1}}).}</math>

Le terme en {{math|''h''<sup>''k''<sub>0</sub></sup>|§=''h''<sup>''k''<sub>0</sub></sup>}} a disparu. Cette formule peut être itérée pour augmenter l'ordre, en évaluant {{math|''A''(''h'')}} successivement aux points <math> h_n= \frac {h_0}{r^n}</math>.

Pour les formules d'erreur pouvant être exprimé sous la forme
:<math> A = A(h) + a_1{\phi(h)} + a_2{\phi(h)}^2 + a_3{\phi(h)}^3 + \cdots a_z{\phi(h)}^z+O({\phi(h)}^{z+1}),</math>
avec une fonction <math> \Phi(x)</math> connue telle que <math>\lim_{x \to 0} \phi(x)=0</math>, un algorithme d'interpolation polynomial (par exemple l'algorithme d'Aitken-Neville) peut être utilisé. Dans ce cas, la suite des subdivisions {{mvar|h<sub>n</sub>}} n'a pas nécessité d'être en progression géométrique.

Dans ce cas, le résultat de l'extrapolation de Richardson s'obtient en calculant la valeur en zéro du polynôme d'interpolation passant par les points <math>(\Phi(h_i),A(h_i))</math>, où les {{mvar|h<sub>i</sub>}} forment une suite décroissant vers 0. Une variante consiste à utiliser une interpolation par fraction rationnelle au lieu d'une interpolation polynomiale ({{Lien|trad=Bulirsch–Stoer algorithm|Algorithme de Bulirsch-Stoer|texte=Bulirsch et Stoer}}<ref>{{en}} R. Bulirsch et J. Stoer, §2.2 in ''Introduction to Numerical Analysis'', New York, Springer-Verlag, 1991.</ref> ou le [[rho algorithme|ρ-algorithme]] de P. Wynn).

Pour le cas encore plus général, où la formule d'erreur est de la forme :
:<math> A = A(h) + a_1 \phi_1(h) + a_2 \phi_2(h) + a_3 \phi_3(h) + \cdots </math>

avec les fonctions <math> \Phi_n(x)</math> connues et telles que <math>\lim_{x \to 0} \phi_n(x)=0</math>, l'algorithme d'interpolation linéaire généralisé de Mühlbach<ref>Mühlbach, G., ''The general Neville-Aitken algorithm and some applications''. Numer. Math. v31. 97-110</ref> peut être utilisé : On obtient dans ce cas un algorithme d'accélération de la convergence appelé E-algorithme, de Håvie<ref>Håvie, T., ''Generalized Neville type extrapolation schemes''. BIT. v19. 204-213</ref> et Brezinski<ref>Brezinski, C., « A general extrapolation algorithm ». Numer. Math. v25. 175-187</ref> (à ne pas confondre avec l'[[epsilon algorithme|ε-algorithme]] de P. Wynn).

== Algorithme ==

L'algorithme présenté est celui associé à la [[Algorithme de Neville|méthode d'Aitken Neville]], lorsque la formule d'erreur est de la forme :
:<math> A = A(h) + a_1{\phi(h)} + a_2{\phi(h)}^2 + a_3{\phi(h)}^3 + \cdots a_z{\phi(h)}^z+O({\phi(h)}^{z+1}),</math>

Pour ''N'' valeurs différentes calculés de {{mvar|A<sub>n</sub>}}, avec la suite auxiliaire {{mvar|h<sub>n</sub>}} correspondante, on initialise le tableau suivant :

:<math>R^{(n)}_0=A_n \quad n=0, 1, \dots, N-1</math>

Puis le reste du tableau (seulement une partie triangulaire) est calculé par les relations :

:<math>R_{k+1}^{(n)}=R_{k}^{(n+1)}+ \frac{R_{k}^{(n+1)}-R_{k}^{(n)} }{ \frac{\phi(h_n)}{\phi(h_{n+k+1})}-1} \quad \textrm{pour} \quad n < N-1-k</math>

Le résultat de l'extrapolation de Richardson est <math>R^{(0)}_{N-1}</math> (la pointe du triangle)

Le choix de la suite auxiliaire {{mvar|h<sub>n</sub>}} est un compromis entre une suite décroissant suffisamment rapidement pour obtenir un algorithme numériquement stable, et une suite décroissant lentement évitant les difficultés de calcul des {{mvar|A<sub>n</sub>}}. Pour des raisons de risque de divergence, on évitera d'utiliser une suite auxiliaire décroissant plus lentement que la suite harmonique (critère de Laurent).

D'autres algorithmes d'interpolation polynomiales peuvent être utilisés à la place de la méthode d'Aitken Neville, notamment la [[Interpolation lagrangienne|méthode de Lagrange]] (en particulier sa variante dite barycentrique). Dans ce cas précis, les polynômes formant la base de Lagrange peuvent être calculés une fois pour toutes (ceux-ci ne dépendant que de la suite {{mvar|h<sub>n</sub>}} choisie), ce qui rend l'algorithme compétitif. Ceci est d'autant plus vrai s'il y a à extrapoler à plusieurs reprises, par exemple pour la résolution des équations différentielles, ou l'extrapolation d'une suite vectorielle.

Les suites classiquement utilisés sont :
* la suite de Romberg <math> h_n= \frac {h_0}{2^n}</math>
* les suites de Bulirsch <math> h_1=h_0/2 ; h_2=h_0/3 ; h_{n+2}= \frac {h_n}{2}</math> ou bien <math> h_1=h_0/2 ; h_2=h_0/4 ;h_3=h_0/6 ; h_{n+2}= \frac {h_n}{2}</math>
* la suite de Deuflhard <math> h_n= \frac {h_0}{2n}</math>

Lorsque les exposants de la formule d'erreur de {{math|''A''(''h'')}} ne suivent pas une progression arithmétique, les algorithmes précédents doivent être adaptés, avec la contrainte d'utiliser une suite {{mvar|h<sub>n</sub>}} géométrique, du type {{math|''h<sub>n</sub>''{{=}}''h''<sub>0</sub>/''r<sup>n</sup>''}} (par exemple, celle de Romberg, de raison 2). D'autre part, les différents exposants de la formule d'erreur doivent être connus, car ils rentre dans la formule de calcul du tableau.

== Exemples d'application ==

=== Approximation numérique de la dérivée d'une fonction ===

Le point de départ est le développement de Taylor de la fonction à dériver :

:<math>f(x+h) = f(x) + f'(x)h + \frac{f''(x)}{2!}h^2 + \frac{f'''(x)}{3!}h^3 +\frac{f''''(x)}{4!}h^4 + \cdots</math>
la dérivée de {{math|''f''(''x'')}} est déduite
:<math>f'(x) = \frac{f(x+h) - f(x)}{h} - \frac{f''(x)}{2!}h - \frac{f'''(x)}{3!}h^2 - \frac{f''''(x)}{4!}h^3+ \cdots.</math>

en appelant <math>A(h) = \frac{f(x+h) - f(x)}{h}</math>, le terme d'erreur se présente sous une forme :

:<math> A(h) = f'(x) + a_1 h + a_2 h^2 + a_3 h^3 + \cdots </math>

forme convenable pour être accélérée à l'aide de l'extrapolation de Richardson. Il suffira de calculer {{math|''A''(''h'')}} pour différentes valeur de {{mvar|h}} (par exemple la suite de Romberg), et de s'en servir pour éliminer les termes en {{mvar|h}}, {{math|''h''{{2}}}}{{etc.}}

En soustrayant le développement de Taylor de {{math|''f'' (''x''+''h'')}} à celui de {{math|''f''(''x''–''h'')}}, on obtient :
:<math>f(x+h)- f(x-h) = 2 f'(x)h + 2 \frac{f'''(x)}{3!}h^3 +2 \frac{f^{(5)}(x)}{5!}h^5 + \cdots</math>

on en tire une autre approximation de la dérivée :
:<math>A(h)= \frac{f(x+h) - f(x-h)}{2h} = f'(x) + a_2 h^2 + a_4 h^4 + a_6 h^6+ \cdots.</math>

qui ne contient que des termes d'erreur de degré pair. L'utilisation de l'extrapolation de Richardson est dans ce cas beaucoup plus efficace, car à chaque étape, le degré d'approximation est augmenté de 2.

De la même manière, cette fois-ci en additionnant les développements de {{math|''f'' (''x''+''h'')}} et {{math|''f''(''x''–''h'')}}, on en tire une formule du même type servant à calculer la dérivée seconde :

:<math>A(h) = \frac{f(x+h) - 2f(x) + f(x-h)}{h^2}= f''(x) + a_2 h^2 + a_4 h^4 +a_6 h^6+ \cdots.</math>

Dans les deux cas précédents, on pourra utiliser la méthode de Aitken-Neville pour le calcul de l'extrapolation de Richardson, avec la fonction <math> \Phi(h)=h^2</math>.

=== Intégration numérique ===

La [[méthode des trapèzes]] possède un terme d'erreur n'ayant que des puissances paires de h, d'après la [[formule d'Euler-Maclaurin]]. Elle est donc très bien adaptée à l'utilisation de l'extrapolation de Richardson. La méthode résultante est appelée [[méthode de Romberg]].

La [[méthode du point médian]] possède aussi ce type de développement, et peut donc fournir une variante de la méthode de Romberg. Les deux méthodes peuvent être utilisées de concert pour fournir une estimation de l'erreur de l'intégrale résultante.

=== Intégration numérique des équations différentielles ===

La méthode d'intégration de base qui se prête le mieux à l'extrapolation de Richardson est la méthode du point milieu (où du point milieu modifié) de Gragg. Elle possède aussi un terme d'erreur où n'apparait que les puissances paires de {{mvar|h}} (lorsque les subdivisions sont paires). La méthode résultante est connue sous le nom de {{Lien|trad=Bulirsch–Stoer algorithm|Algorithme de Bulirsch-Stoer|texte=Gragg-Bulirsch-Stoer (GBS)}}. Il existe plusieurs variantes, dépendant du choix de la séquence des {{mvar|h<sub>i</sub>}}, du type d'extrapolation (polynomiale ou rationnelle), et du calcul de la taille du pas global.

== Notes ==
{{Références}}

== Voir aussi ==
===Bibliographie===
{{Ouvrage|auteur1=Claude Brezinski|titre=Algorithmes d'accélération de la convergence|sous-titre=étude numérique|éditeur=éditions Technip|lieu=Paris|année=1978|pages totales=392|isbn=2-7108-0341-0|lire en ligne=https://books.google.com/books?id=TxDghaunVjkC}}
=== Article connexe===
[[Delta-2]]

{{Portail|analyse}}

[[Catégorie:Analyse numérique]]