Méthode de Romberg
En analyse numérique, la méthode d'intégration de Romberg est une méthode récursive de calcul numérique d'intégrale, fondée sur l'application du procédé d'extrapolation de Richardson à la méthode des trapèzes. Cette technique d'accélération permet d'améliorer l'ordre de convergence de la méthode des trapèzes, en appliquant cette dernière à des divisions dyadiques successives de l'intervalle d'étude et en formant une combinaison judicieuse.
Principe
On souhaite calculer l'intégrale d'une fonction f supposée régulière sur [a,b] en subdivisant [a,b] en n sous-intervalles identiques, du type pour et . La méthode des trapèzes, notée T(n), est définie à l'aide de cette grille régulière :
où les pondérations sont égales à 1 pour les points extrêmes, et à 2 pour les autres. La méthode est dite d’ordre 1, car donne un résultat exact pour un polynôme de degré 1. D'après la formule d'Euler-Maclaurin, l'erreur commise, notée , vérifie
où les coefficients ck ne dépendent pas du pas h choisi, et seules les puissances paires de h apparaissent. Cette propriété (qui est aussi partagée avec la méthode du point médian) sera avantageusement exploitée, pour supprimer, un à un les termes de l'erreur, à l'aide de l'extrapolation de Richardson.
Des manipulations algébriques fournissent une approximation de I en . Pour ce faire, il s'agit d'éliminer le terme en h2 dans le développement de l'erreur. On y parvient en considérant la quantité [4 T(n) – T(n/2)]/3, qui correspond précisément à la méthode de Simpson. Le même procédé peut être reconduit, permettant ainsi d'annuler successivement les termes en , conduisant ainsi à des approximations de I qui sont de plus en plus précises.
Algorithme
Formalisations de la technique précédente de réduction de l'erreur :
- Initialisations :
- soit le résultat de la méthode des trapèzes basée sur
- Récurrence :
On montre par récurrence que l'approximation à l’étape n, soit R(n,n), fournit une approximation de I qui est en , ceci à condition que la fonction soit de classe (ou ). Le calcul de R(n,n) est exact pour les polynômes de degré 2 n + 1 : elle est d’ordre 2n + 1.
L'algorithme peut être représenté sous la forme d'un tableau. La première diagonale R(n,n) fournit les approximations successives ; la première colonne R(n, 0) correspond (par définition) à la méthode du trapèze, la seconde R(1,n) reflète la méthode de Simpson, la troisième celle de Boole qui est la formule de Newton-Cotes à 5 points appliquée à une décomposition en sous-intervalles. Par contre, les colonnes suivantes correspondent à des formules de quadrature différentes de celles de Newton-Cotes d’ordre supérieur, évitant ainsi les problèmes d’instabilité.
Critère d’arrêt
Pour obtenir une approximation de I avec une précision donnée, le critère d'arrêt est satisfait lorsque . Ceci implique généralement .
Redondances
Lorsque l’évaluation de la fonction f (en un point) comporte un certain coût de traitement, il est préférable d’éviter d’appliquer brutalement la méthode du trapèze avec 2n subdivisions pour des valeurs croissantes de n.
D'après la formule suivante :
avec , l’initialisation est avantageusement remplacée par la relation récursive :
Ceci permet de réduire d’un facteur 2 le nombre total d’évaluations de f qui, pour déterminer , atteint ainsi .
Subdivision initiale
Décomposer [a,b] en p morceaux avant d’appliquer la méthode de Romberg sur chacun d’eux peut être utile lorsque la fonction n’est pas assez régulière (limitation de n), ou encore lorsqu’elle est régulière uniquement sur chacun des morceaux.
Dans le cas contraire, une subdivision initiale présente généralement peu d’intérêt. Il ne faut cependant pas s'attendre à une amélioration considérable de la précision par la seule augmentation du nombre d'itérations : en effet, bien que le terme diminue à chaque itération, le coefficient multiplicateur peut augmenter considérablement puisqu'il se réfère à des dérivées d'ordres plus élevés.
Exemple
On considère le calcul de l'intégrale
On trouve . La matrice de l'algorithme est
k=0 | 1 | 2 | 3 | 4 | |
p=0 | 0,7764705882 | ||||
1 | 1,8882352941 | 2,2588235294 | |||
2 | 2,3510141988 | 2,5052738337 | 2,5217038540 | ||
3 | 2,4235526286 | 2,4477321053 | 2,4438959900 | 2,4426609446 | |
4 | 2,4307735880 | 2,4331805744 | 2,4322104723 | 2,4320249879 | 2,4319832783 |
d'où l'on tire les approximations consécutives
k | R(k) |
---|---|
0 | 0,77647058823529 |
1 | 2,25882352941176 |
2 | 2,52170385395538 |
3 | 2,44266094457555 |
4 | 2,43198327829659 |