定理証明済み
古典的ルンゲ・クッタ法の精度の次数
内容
古典的な4次のルンゲ・クッタ法は、段k1=f(tn,yn)、k2=f(tn+2h,yn+2hk1)、k3=f(tn+2h,yn+2hk2)、k4=f(tn+h,yn+hk3)と更新式yn+1=yn+6h(k1+2k2+2k3+k4)で定義され、1ステップあたりの局所打ち切り誤差はO(h5)であり、前と同じリプシッツ条件のもとでnステップ後の大域誤差はO(h4)である。
なぜ正しいのか?
RK4は、1回ではなく巧妙に選ばれた中間点で1ステップあたり4回傾きを評価し、重み1,2,2,1を6分の1として平均する。この追加の手間により、オイラー法に比べて精度が3次高くなる。すなわち、1次の項で止めるのではなく、真の解のテイラー展開にh4の項まで一致させることができる。
証明の概略
各段を(tn,yn)のまわりでテイラー級数展開する。k1=f(tn,yn)=y′(tn)であり,k2,k3は前の段の方向に半ステップずらしたynを用いてfを中点で評価するので,y′=f、y′′=ft+fyf、y′′′=ftt+2ftyf+fyyf2+fy(ft+fyf)の連鎖律を各kiに代入すると,各段が捉えられる次数までy′(tn),y′′(tn),y′′′(tn)に一致するhの4つの多項式が得られる。
重み付き結合61(k1+2k2+2k3+k4)を作りhを掛けると,この和におけるh1,h2,h3とh4の係数は,テイラー展開y(tn+h)=y(tn)+hy′(tn)+2h2y′′(tn)+6h3y′′′(tn)+24h4y(4)(tn)+⋯のh4の項までの係数とちょうど一致する——これはまさに,RK4表の係数c=(0,21,21,1)とb=(61,31,31,61)が満たすように選ばれた古典的な次数条件そのものである。
2つの級数がh4まで一致するので,両者が異なりうる最初の項はO(h5)の項であり,したがって局所打ち切り誤差は1ステップあたりO(h5)である。オイラーの場合と同様に,固定時刻に到達するために必要なn≈(T−t0)/hステップにわたってこれらの局所誤差をfのリプシッツ条件を用いて積み重ねると,hのべきがちょうど1つ失われ,大域誤差はO(h4)となる。
ステップごとの証明
この定理のステップごとの証明はまだありません。