Consistance (mathématiques)

En analyse numérique, la consistance d’un schéma numérique aux différences finies est une propriété locale de l’algorithme qui en découle. Elle concerne essentiellement la capacité du schéma à représenter une solution régulière satisfaisant localement les équations aux dérivées partielles, ceci lorsque les pas de discrétisation (discrétisation en temps, en espace, , etc.) tendent tous vers 0. Plus précisément, si les données d’une étape du traitement algorithmique sont issues d’une solution exacte, les résultats de ce traitement tendent vers cette solution.

Pour les articles homonymes, voir Consistance.

Ne pas confondre avec la consistance en logique mathématique : voir par exemple Théorie des modèles ou Cohérence (logique).

La consistance est une propriété distincte de la convergence, cette dernière étant de portée globale. Sous certaines hypothèses (et en particulier celle de la consistance), le théorème de Lax montre que la stabilité est une condition nécessaire et suffisante pour assurer la convergence.

Définition pour une EDO

On considère une équation différentielle ordinaire de la forme : qu'on essaie de résoudre numériquement par un schéma de la forme avec t0,..., tN+1 une subdivision de [0 , T] et Δtn=tn+1-tn.

L’erreur de consistance relative à une solution exacte z de l'équation est donnée par :

La consistance dans le théorème de Lax

Considérons un problème supposé être bien posé qui modélise un système évolutif caractérisé par :

  • une condition initiale précisant son état d’origine (variables spatiales en t = 0, soit U (x,0) = U0(x)) ;
  • des équations aux dérivées partielles du type
D est un opérateur différentiel relatif aux variables spatiales ;
  • des conditions de bord auxquelles est soumis l’état du système au cours de son évolution.

Dans ce contexte, un schéma numérique procède de la manière suivante :

  • Discrétisation des variables spatiales (pas Δx) pour établir une approximation numérique de l’état d’origine.
  • Discrétisation de la variable temporelle (sur [0 , T] avec un pas Δt) pour entreprendre un processus se déroulant par étapes successives au cours desquelles l’état numérique se transforme.

Notons Ct) l’opérateur de modification de l’état discret au cours d’une étape, ceci en supposant une relation liant Δx à Δt qui contraint Δx à converger vers 0 lorsque Δt fait de même.

La consistance exige que, pour une fonction u(x) régulière, alors Ct)u – u soit une bonne approximation de Δt Du, ceci au sens de la définie par .

La consistance est définie par la propriété suivante [1] :

Pour toute solution régulière u(x,t), alors
et la convergence est uniforme sur .

Référence

  1. (en) P. D. Lax, R.D. Richtmyer, « Survey of the stability of linear finite difference equations », Comm. Pure Appl. Math., vol. 9, , p. 267-293 (DOI 10.1002/cpa.3160090206, lire en ligne)

Voir aussi

  • 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.