フォン・ノイマンの安定性解析

フォン・ノイマンの安定性解析（フォン・ノイマンのあんていせいかいせき、）とは、数値解析において、線形偏微分方程式を有限差分法で解く際の数値的安定性を調べるのに使われる手法である。この手法は数値的誤差のフーリエ展開に基づいており、と (1947) によって簡潔に述べられた後、ロスアラモス国立研究所によって発展された。後に、この方法はフォン・ノイマンとの共著により、より厳密に取り扱われた。

この手法は厳密には、等間隔格子上の線形の連立方程式に対する初期値問題にのみ適用できる。これは一見厳しい制限に見えるが、経験的にはこの解析は信頼できる結果を示し、より一般的な問題に対する指針となっている。

数値的安定性 

数値計算手法の安定性は数値誤差に密接にかかわっている。計算中のある時間ステップで生じた誤差が計算を続けるにあたって増大しないならば、有限差分法は安定である。計算を続けていくと誤差が一定のまま残るときは中立安定と言われる。誤差が減衰し、最終的に消失するなら、その計算手法は安定と呼ばれる。逆に、誤差が時間ステップとともに増大した場合、数値スキームは不安定であると言われる。数値スキームの安定性は、フォン・ノイマンの安定性解析によって調べることができる。時間依存の問題に対してスキームが安定であることは、厳密な微分方程式の解が有界であるならば、数値計算法も有界な解を生成することを保証する。一般に、非線形偏微分方程式である場合は特に、安定性を調べることが困難になる。

以下に挙げる特定のケースでは、フォン・ノイマンの安定性はラックス・リヒトマイヤーの意味での安定性（ラックスの等価定理で用いられる）の必要十分条件である：
 偏微分方程式および有限差分スキームモデルが線形である
 偏微分方程式は定数係数で周期的境界条件および 2 つの独立変数（時間と空間）を持っている
 スキームは 2 つより多くの時間ステップを用いない。
フォン・ノイマンの安定性は例より多くの種類のケースで必要である。比較的単純であるために、それはしばしば、スキームで使用されるステップサイズの制限（もしあれば）についての良い推測をするために、より詳細な安定性解析の代わりに使用される。

解析手法 
フォン・ノイマンの安定性解析は誤差のフーリエ分解に基づいている。ここでは1次元の熱伝導方程式：

をを用い離散化した次の式の安定性を考える。
　・・・(1)
ただしr は拡散数

で、区間の長さをL とする。差分方程式の解  は格子上で偏微分方程式の解析解  を近似する。

丸め誤差  を

と定義する。ただし  は差分方程式(1)を丸め誤差なしで計算したときの解で、 は有限精度計算で得られた数値解である。厳密解  は差分方程式を厳密に満たすから、誤差  もまた差分方程式を厳密に満たす。したがって誤差は次の漸化式を満たす。
　・・・(2)
式(1), (2)は、誤差と数値解の両方が時間ステップに応じて同じように成長または減衰することを示す。周期境界条件を持つ線形微分方程式に対し、誤差の空間的変動は区間L で次のようにフーリエ級数に展開できる：

ここで
  ：波数
  ：分割数
である。誤差の時間依存性は誤差の振幅  が時間ステップの関数である仮定することによって考慮されている。誤差の成長・減衰は指数関数的になる傾向があるので、振幅が時間とともに指数関数的に変化すると仮定するのは妥当である。ゆえに

と仮定する。ただしa は定数である。

誤差が従う差分方程式は線形なので（級数の各項の挙動は級数自体と同じである）、次の典型的な項の誤差の成長を考察すれば十分である：
　・・・(3) 
誤差に対するこの形式を使用して安定特性を調べても一般性を失わない。誤差が時間ステップを進めるごとにどのように変化するかを調べるため、式(3)を(2)に代入し整理すると
　・・・(4)
を得る。

振幅係数G を
　・・・(5)
と定義する。誤差が有界であるための必要十分条件は  である。したがって式(4), (5)より、安定性の条件は

と与えられる。この条件が任意の  について成り立たなければならないから、
　・・・(6) 
を得る。式(6)は1次元熱伝導方程式をFTCS法で解くときの、安定性の必要条件を与える。与えられた空間ステップ幅 に対して、時間ステップ幅 は式(6)を満たすように十分に小さく取らなければならないことが分かる。

脚注

参考文献 
 

数値解析
ジョン・フォン・ノイマン
数学に関する記事
数学のエポニム