##  [Lax-Richtmyer-Äquivalenzsatz](/de/node/59685) 

 Definition

Ergebnis der numerischen Analysis für lineare Anfangswertprobleme: Für eine konsistente lineare Diskretisierung eines wohlgestellten linearen PDE-Anfangswertproblems ist Stabilität des diskreten Schemas äquivalent zu Konvergenz: Konsistenz plus Stabilität impliziert Konvergenz, und für lineare Schemata impliziert Konvergenz Stabilität in der geeigneten Norm.

 

 

 

 

 

 





## Prinzip

Prinzip

Diskretisierungsfehler zerfallen in Konsistenzfehler und Verstärkung durch den diskreten Propagator; wenn das Schema Fehler nicht verstärkt (Stabilität), werden Konsistenzfehler ohne Wachstum übertragen, was Konvergenz liefert. Umgekehrt deutet Konvergenz für alle glatten Daten auf eine stabile Verstärkungscharakteristik hin.

 

 

 

 

 





## Demonstration

Demonstration

Finite-Differenzen-Diskretisierung der Wärmeleitungsgleichung: Wenn das Schema Zeit- und Raumableitungen konsistent approximiert und eine Stabilitätsbedingung erfüllt (z. B. eine CFL-artige Schranke oder beschränktes Wachstum des diskreten Evolutionsoperators), zeigen Fehlerabschätzungen, dass die diskrete Lösung gegen die stetige konvergiert, wenn die Gittergrößen gegen null gehen.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Den Satz auf nichtlineare Probleme ohne Anpassung, auf inkonsistente Schemata oder in der falschen Norm analysierte Schemata anzuwenden, kann irreführen; nur punktweise Konsistenz zu prüfen ohne uniforme Kontrolle der Stabilitätskonstanten oder die Diskretisierung der Randbedingungen zu vernachlässigen sind häufige Fehler.

 

 

 

 

 





## Konsequenz

Konsequenz

Lenkt die numerische Analyse darauf, Stabilität und Konsistenz nachzuweisen; bietet einen klaren Weg zur Konvergenzbeweisführung für lineare Schemata und motiviert Stabilitätsanalysen (Energieverfahren, von-Neumann-Analyse, Matrixnormabschätzungen), die in der Praxis verwendet werden.

 

 

 

 

## Umkehrung

Umkehrung

Die umgekehrte Erwartung — Stabilität ohne Prüfung der Konsistenz oder die Annahme, Konsistenz allein erzeuge Konvergenz — ist falsch: Konsistenz ohne Stabilität kann zu Nichtkonvergenz führen (Fehler können verstärkt werden); ebenso ersetzt beobachtete Konvergenz in Spezialfällen keinen allgemeinen Stabilitätsnachweis.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für lineare Probleme und lineare Schemata unter passenden Normen; erstreckt sich nicht automatisch auf nichtlineare PDEs oder adaptive/nichtlineare Diskretisierungen ohne zusätzliche Voraussetzungen. Die Wohlgestelltheit des kontinuierlichen Problems ist erforderlich, und die Stabilitätsbegriffs muss zur Messnorm des Fehlers passen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Wird oft mit CFL- oder von-Neumann-Kriterien verwechselt: diese liefern konkrete Stabilitätsprüfungen für spezifische lineare Schemata, während die Lax-Äquivalenz ein abstraktes Theorem über die Beziehung Konsistenz–Stabilität–Konvergenz ist; es ergänzt auch energiegestützte Stabilitätsargumente.

 

 

 

 

 





## Synthese

Synthese

Der Lax-Richtmyer-Äquivalenzsatz fasst die Konvergenzfrage für lineare diskrete Approximationen zusammen: Für eine konsistente lineare Diskretisierung eines wohlgestellten linearen IVP ist der Nachweis gleichmäßiger Stabilität notwendig und hinreichend für Konvergenz, weshalb die Kontrolle der numerischen Fehlerverstärkung zentral ist, um das richtige Grenzverhalten sicherzustellen.