予測子修正子法(よそくししゅうせいしほう、英: Predictor‐Corrector Method)とは、常微分方程式の初期値問題に対する数値解法の一つである[1]。
線形多段法に分類され、予測子によって近似計算を行い、修正子によりその近似値を修正する方法が一般的[1]。
代表的な予測子修正子法としてHeunの中点法、Milne-Simpson法、Adams-Moulton法がある。Milne-Simpson法は弱安定で、時には不安定現象を起こすことがある[1]。また、4次のAdams-Moulton法は安定な線形3段解法のうちで最高の次数を持つことが知られている[1]。
概要
常微分方程式の初期値問題は以下である。
- 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「http://localhost:6011/ja.wikipedia.org/v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \dfrac{d u}{d t}=f(t,u) }
![{\displaystyle u(t_{0})=u_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03134779e04592655068c0e8ddeb31ca9e3699ba)
この厳密解は以下の積分方程式を満足する。
ここで、右辺の積分区間を単にきざみの一単位
にとった公式を一般にアダムス型公式という。
被積分関数
は
個の標本点において値
をとるラグランジュ補間公式であって、たかだか
次の多項式である。
標本点として
をとったときこれを
次のアダムス・バシュフォース(Adams-Bashforth)公式(ルンゲ=クッタ法と同様に強安定な公式であり、1次の場合はオイラー法と同じ[1])といい、標本点として
をとったとき
次のアダムス・ムルトン(Adams-Moulton)公式という。
前者は
から直接
の値を計算できるのでこれを陽公式という。
対して、後者は
の値を計算するのに
自身の値を必要とする形式をとっており、このような公式を陰公式という。
陰公式では、その形から考えられるように、未知数
は反復法によって求めうる場合がある。
陽公式によって
の値を近似的に計算し、陰公式でその近似値を修正するというアルゴリズムがしばしば採用される。
このとき、陽公式のほうを予測子(predictor)、対応する陰公式のほうを修正子(correcter)と呼び、その解法を予測子修正子法という。
脚注
- ^ a b c d e 山本哲朗『数値解析入門』(増訂版)サイエンス社〈サイエンスライブラリ 現代数学への入門 14〉、2003年6月。ISBN 4-7819-1038-6。
参考文献
- 森正武『数値解析』共立出版、2002年2月。ISBN 4-320-01701-3。
関連項目