next up previous contents
Next: 4.6 後退オイラー法 Up: 第4章 数値解法の基本: Euler method Previous: 4.4 丸め誤差のある場合の収束性

4.5 オイラー法の収束性と打ち切り誤差

線形方程式の場合に、ステップサイズ0の極限で真の解に収束するということ を前に示したわけだが、計算機が実際に計算するときにはもちろん有限のステッ プサイズである。また、上に述べたように丸めの影響があって、どうせ収束は しない。そうすると、どの程度のステップサイズの時に計算精度がどうなるか ということを知る必要がある。

もちろん、プログラムを書いて、真の解との誤差を調べればいいが、もともと 数値解を計算するのは真の解がわからないからなので、そうはいかないわけで ある。

以下、一般の微分方程式に対してオイラー法がどのように収束するかというこ とを考えてみる。先週やった存在定理と同じように、常微分方程式の初期値問題

での解を考える。今、 関数f が領域 で連続であり、最大値、最小値をもつと しよう。絶対値が M でおさえられ、 という関係がなりた つとする。さらに、上の範囲の任意の t, x についてリプシッツ条件

を満たすものとする。さらに、n, h を、 を満たすように とる(nは整数)。

このとき、オイラー法が一様に一次収束する、すなわち、ある定数Cが存在し、

となることを示すことができる。

こんなのは当たり前と思う人もいるかもしれないが、なかなかそうでもない。 証明の方針としては、例によって具体的に を構成しておく:

今、真の解との差が欲しいので、こちらも書いておくと

差をとれば

絶対値をとれば

ここで A は定数である。今、

とおいて、さらにリプシッツ条件から変形して

ここで、明らかに なので、容易に(!)わかるように

ここで、 であったことを思い出すと

結局、

となる。

というわけで、一応、誤差の上限が存在して、それが hに比例するというこ とが示された。なお、上限の形をみるとなかなか嫌な格好をしていることがわ かる。つまり、時刻依存性が の形をしているので、積分を先に進め ていくと、 かならず誤差が指数関数的に増大していくことになる。これは、 言い換えれば、長時間積分した場合の精度については理論的にはなかなか難し い問題があるということである。この問題については、より詳しくはまたあと で扱うことにしよう。

なお、このような、ある時間範囲で積分したあとの誤差のことを「大域誤差」 という。これに対し、1ステップだけ積分したあとの誤差を局所誤差、あるい は局所離散化誤差という。



Jun Makino
Thu Aug 13 14:18:16 JST 1998