Stabilité de Von Neumann

En analyse numérique, l'analyse de stabilité de von Neumann est un procédé permettant de vérifier la stabilité numérique de schémas utilisant la méthode des différences finies pour des équations aux dérivées partielles[1]. Cette analyse est basée sur la décomposition de l'erreur numérique en série de Fourier et fut développée au Laboratoire national de Los Alamos après avoir été brièvement décrite dans un article de Crank et Nicolson[2]. Plus tard, la méthode fut traitée de manière plus rigoureuse dans un article[3] coécrit par von Neumann.

Stabilité numérique

La stabilité d'un schéma numérique est intimement liée à l'erreur numérique. Un schéma de différences finies est dit stable si les erreurs commises en un pas de temps ne font pas augmenter les erreurs au fil des itérations. Si les erreurs diminuent et finissent par s'estomper, le schéma numérique est dit stable. Si au contraire, l'erreur croît à chaque itération, le schéma est dit instable. La stabilité d'un schéma peut être déterminée grâce à l'analyse de von Neumann. Pour des problèmes dépendants du temps, la stabilité garantit qu'une méthode numérique produise une solution bornée lorsque la solution de l'équation différentielle exacte est bornée. La stabilité d'un schéma peut être ardue, surtout lorsque l'équation considérée est non linéaire.

Dans certains cas, la stabilité de von Neumann est suffisante et nécessaire pour la stabilité au sens de Lax–Richtmyer (comme utilisée dans le théorème de Lax): l'EDP et le schéma aux différences finies sont linéaires ; l'EDP est à coefficients constants avec des conditions de bord périodiques et dépend de deux variables indépendantes ; et le schéma n'utilise pas plus de deux niveaux de temps[4]. La stabilité de von Neumann est nécessaire dans une bien plus vaste variété de cas. La relative simplicité de cette méthode implique qu'elle est souvent utilisée à la place d'une analyse de stabilité plus détaillée afin de donner une bonne idée des restrictions sur les tailles des pas.

Illustration de la méthode

La méthode de von Neumann est basée sur la décomposition de l'erreur en séries de Fourier. Afin d'illustrer cette procédure, considérons l'équation de la chaleur uni-dimensionnelle

définie sur , qui peut dans ce cas être discretisée de la manière suivante

et la solution de l'équation discrète approxime la solution analytique de l'EDP sur les points de grille.

Définissons l'erreur d'arrondi par

est la solution de l'équation discrétisée (1) qui serait implémentée en l'absence d'erreurs d'arrondi, et est la solution numérique obtenue par précision arithmétique finie. Comme la solution exacte doit vérifier la solution discrétisée, l'erreur doit elle aussi vérifier l'équation discrétisée[5]. Ainsi

est une relation de récurrence pour l'erreur. Les équations (1) et (2) montrent que l'erreur et la solution numérique ont le même comportement en fonction du temps. Pour des équations différentielles linéaires avec des conditions de bord périodiques, la variation spatiale de l'erreur peut être décomposée en une série de Fourier finie sur l'intervalle , par

où le nombre d'onde avec et . La dépendance du temps de l'erreur est incluse en supposant que l'amplitude de l'erreur est une fonction du temps. Sachant que l'erreur tend à croître ou décroître de manière exponentielle avec le temps, il est raisonnable de supposer que l'amplitude varie exponentiellement avec le temps ; d'où

est une constante.

Comme l'équation des différences de l'erreur est linéaire, il est suffisant de considérer la croissance de l'erreur pour un terme choisi:

Les caractéristiques de stabilité peuvent être étudiées en utilisant cette forme de l'erreur, sans perte de généralité. Pour trouver la variation de l'erreur en fonction du temps, on substitue l'équation (5) dans l'équation (2), après avoir noté que

pour arriver à (après simplification)

En utilisant les identités suivantes

on peut réécrire (6) comme

Définissons le facteur d'amplitude

La condition nécessaire et suffisante pour que l'erreur reste bornée est Cependant,

Ainsi, des équations (7) et (8) on tire que la condition de stabilité est donnée par

Afin que la condition ci-dessus soit vraie pour tout , on a

L'équation (10) donne la condition de stabilité pour le schéma FTCS appliqué à l'équation de la chaleur uni-dimensionnelle. Elle dit que pour un donné, la valeur de doit être assez petite pour vérifier l'équation (10).

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Von Neumann stability analysis » (voir la liste des auteurs).
  1. (en) Eugene Isaacson et Herbert Bishop Keller (en), Analysis of numerical methods, Dover, , 576 p. (ISBN 978-0-486-13798-8, lire en ligne), p. 523-530
  2. (en) J. Crank et P. Nicolson, « A Practical Method for Numerical Evaluation of Solutions of Partial Differential Equations of Heat Conduction Type », Proc. Camb. Phil. Soc., vol. 43, , p. 50-67 (DOI 10.1007/BF02127704)
  3. (en) J. G. Charney, R. Fjørtoft et J. von Neumann, « Numerical Integration of the Barotropic Vorticity Equation », Tellus, vol. 2, , p. 237-254 (DOI 10.1111/j.2153-3490.1950.tb00336.x)
  4. (en) G. D. Smith, Numerical Solution of Partial Differential Equations : Finite Difference Methods, , 3e éd., p. 67-68
  5. (en) Anderson, J. D., Jr. (en), Computational Fluid Dynamics : The Basics with Applications, McGraw-Hill,
  • Portail de l'analyse
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.