ラックスの等価定理 - Wikipedia

ラックスの等価定理（英: Lax equivalence theorem）またはラックス・リヒトマイヤーの定理とは、数値解析の分野で偏微分方程式を有限差分法で解くときに基本的な定理である。この定理は「well-posedな線形初期値問題との適合性を満たす有限差分法は、その解法が安定なとき，そしてそのときに限り収束する。」すなわち「安定性＋適合性が収束性の必要十分条件である」という定理である。この定理により、整合かつ安定な解法は格子幅→0で格子に依存しない解に収束することが保証される。この定理はピーター・ラックスによる[1]。ラックスの同等定理[2]、ラックスの等価原理[3]とも呼ばれる。 定理に出てくる用語はそれぞれ以下のように定義される。 適合性または整合性 (consistency) 空間および時間を離散化した時の格子幅を限りなく0に近づけたときに、離散化方程式と元の微分方程式の差が0