予測子修正子法

予測子修正子法（よそくししゅうせいしほう、）とは、常微分方程式の初期値問題に対する数値解法の一つである。
線形多段法に分類され、予測子によって近似計算を行い、修正子によりその近似値を修正する方法が一般的。
代表的な予測子修正子法としてHeunの中点法、Milne-Simpson法、Adams-Moulton法がある。Milne-Simpson法は弱安定で、時には不安定現象を起こすことがある。また、4次のAdams-Moulton法は安定な線形3段解法のうちで最高の次数を持つことが知られている。
概要.
常微分方程式の初期値問題は以下である。
この厳密解は以下の積分方程式を満足する。
formula_3
ここで、右辺の積分区間を単にきざみの一単位formula_4にとった公式を一般にアダムス型公式という。
formula_5
被積分関数formula_6はformula_7個の標本点において値formula_8をとるラグランジュ補間公式であって、たかだかformula_9次の多項式である。
標本点としてformula_10をとったときこれをformula_7次のアダムス・バシュフォース（Adams-Bashforth）公式（ルンゲ＝クッタ法と同様に強安定な公式であり、1次の場合はオイラー法と同じ）といい、標本点としてformula_12をとったときformula_7次のアダムス・ムルトン（Adams-Moulton）公式という。
前者はformula_14から直接formula_15の値を計算できるのでこれを陽公式という。
対して、後者はformula_15の値を計算するのにformula_15自身の値を必要とする形式をとっており、このような公式を陰公式という。
陰公式では、その形から考えられるように、未知数formula_15は反復法によって求めうる場合がある。
陽公式によってformula_15の値を近似的に計算し、陰公式でその近似値を修正するというアルゴリズムがしばしば採用される。
このとき、陽公式のほうを予測子(predictor)、対応する陰公式のほうを修正子(correcter)と呼び、その解法を予測子修正子法という。