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