予測子修正子法

予測子修正子法（よそくししゅうせいしほう、テンプレート:Lang-en-short）とは、常微分方程式の初期値問題に対する数値解法の一つである。

線形多段法に分類され、予測子によって近似計算を行い、修正子によりその近似値を修正する方法が一般的。

代表的な予測子修正子法としてHeunの中点法、Milne-Simpson法、Adams-Moulton法がある。Milne-Simpson法は弱安定で、時には不安定現象を起こすことがある。また、4次のAdams-Moulton法は安定な線形3段解法のうちで最高の次数を持つことが知られている。

概要

常微分方程式の初期値問題は以下である。

$\frac{du}{dt}=f(t,u)$

$u(t_0)=u_0$

この厳密解は以下の積分方程式を満足する。

$u(t_N)-u(t_M)=\underset{t_M}{\overset{t_N}{\int }}f(t,u(t))dt$

ここで、右辺の積分区間を単にきざみの一単位$h$にとった公式を一般にアダムス型公式という。

$v_{n+1}-v_n=\underset{t_n}{\overset{t_{n+1}}{\int }}{g}_p(t)dt$

被積分関数$g_p(t)$は$p$個の標本点において値$f_i=f(t_j,v_j)$をとるラグランジュ補間公式であって、たかだか$p-1$次の多項式である。

標本点として$t_{n-p+1},t_{n-p+2},\cdots ,t_n$をとったときこれを$p$次のアダムス・バシュフォース（Adams-Bashforth）公式（ルンゲ＝クッタ法と同様に強安定な公式であり、1次の場合はオイラー法と同じ）といい、標本点として$t_{n-p+2},t_{n-p+3},\cdots ,t_n,t_{n+1}$をとったとき$p$次のアダムス・ムルトン（Adams-Moulton）公式という。

前者は$v_{n-p+1},\cdots ,v_n$から直接$v_{n+1}$の値を計算できるのでこれを陽公式という。

対して、後者は$v_{n+1}$の値を計算するのに$v_{n+1}$自身の値を必要とする形式をとっており、このような公式を陰公式という。

陰公式では、その形から考えられるように、未知数$v_{n+1}$は反復法によって求めうる場合がある。

陽公式によって$v_{n+1}$の値を近似的に計算し、陰公式でその近似値を修正するというアルゴリズムがしばしば採用される。

このとき、陽公式のほうを予測子（predictor）、対応する陰公式のほうを修正子（correcter）と呼び、その解法を予測子修正子法という。

参考文献

• テンプレート:Cite book

関連項目

• 数値解析
• 常微分方程式
• 線形多段法