Résultat en analyse numérique pour problèmes aux valeurs initiales linéaires affirmant que, pour une discrétisation linéaire consistante d'un problème d'EDP linéaire bien posé, la stabilité du schéma discret est équivalente à la convergence : consistance plus stabilité implique convergence, et pour les schémas linéaires la convergence implique stabilité dans le cadre normé approprié.

Principe

Les erreurs de discrétisation se décomposent en erreur de consistance et en amplification par le propagateur discret ; si le schéma n'amplifie pas les erreurs (stabilité), l'erreur de consistance est transmise sans croissance, produisant la convergence. Réciproquement, la convergence observée pour toutes les données lisses signale un comportement d'amplification stable.

Démonstration

Discrétisation par différences finies de l'équation de la chaleur : si le schéma approxime les dérivées en temps et en espace de manière consistante et satisfait une condition de stabilité (par exemple une borne de type CFL ou croissance bornée de l'opérateur d'évolution discret), alors des estimations d'erreur montrent que la solution discrète converge vers la continue lorsque les mailles tendent vers zéro.

Mauvaise application

Appliquer le théorème à des problèmes non linéaires sans adaptation, à des schémas inconsistants ou à des schémas analysés dans une norme inappropriée peut induire en erreur ; ne vérifier que la consistance ponctuelle sans contrôle uniforme des constantes de stabilité ou négliger la discrétisation des conditions au bord sont des erreurs fréquentes.

Conséquence

Oriente l'analyse numérique vers l'établissement de la stabilité et de la consistance ; fournit une voie claire pour prouver la convergence des schémas linéaires et motive l'analyse de stabilité (méthodes d'énergie, analyse de von Neumann, bornes par normes de matrices) employée en pratique.

Inversion

La vue inverse — attendre la stabilité sans vérifier la consistance ou supposer que la consistance seule entraîne la convergence — est fausse : la consistance sans stabilité peut ne pas produire de convergence (les erreurs peuvent être amplifiées) ; de même, une convergence apparente dans des cas particuliers ne remplace pas une preuve générale de stabilité.

Limite

S'applique aux problèmes linéaires et aux schémas linéaires dans des normes appropriées ; ne s'étend pas automatiquement aux EDP non linéaires ni aux discrétisations adaptatives/non linéaires sans hypothèses supplémentaires. La bien-posedness du problème continu est requise et la notion de stabilité doit correspondre à la norme de mesure d'erreur.

Tension sémantique

Souvent confondu avec la condition CFL ou l'analyse de von Neumann : celles-ci donnent des contrôles concrets de stabilité pour schémas linéaires spécifiques, tandis que l'équivalence de Lax est un théorème abstrait sur la relation consistance-stabilité-convergence ; il complète aussi les arguments d'énergie.

Synthèse

Le Théorème d'Équivalence de Lax encadre la question de convergence pour approximations discrètes linéaires : pour une discrétisation linéaire consistante d'un IVP linéaire bien posé, démontrer la stabilité uniforme est à la fois nécessaire et suffisant pour la convergence, focalisant l'attention sur le contrôle de l'amplification numérique des erreurs pour garantir la limite correcte.