常微分方程式の数値解法 1
今回の講義は常微分方程式(の初期値問題) ddty(t)=f(y(t)),y(0)=y0∈Rd の数値計算についてです.(常微分方程式の境界値問題というものもありますが,これはむしろ偏微分方程式の特殊ケースとみなす方が見通しがよく,本講義では扱いません). ここで,f:Rd→Rd は与えられた(滑らかな)関数,y0 は与えられたベクトル(これを初期値と言います)です. 常微分方程式の厳密解は形式的には y(t)=y0+∫t0f(y(s))ds と書けますが,非常に特殊な場合を除いて右辺の積分を解析的に求めることはできません. 解を具体的に書くことができなくても,数学的には,解の存在・定性的性質など考えるべきことはたくさんあります. 一方で,物理など現代科学の多くの分野では,微分方程式の解を具体的に数値として構成する必要があります.そこで,常微分方程式の近似(数値)解を構成する手法が必要になります. 特に,離散化した時刻 0=t0<t1<t2<⋯における近似解を組織的に生成する方法を「離散変数法」といいます.
一言で離散変数法(離散変分法と書いていたのを修正しました;「離散変分法」は偏微分方程式の数値解法の一つで,阪大の降籏大介先生が創始したものです)といっても実に多様な方法がありますが,一つのアイデアは,(1)の右辺の積分を近似するというものです.時間刻み幅をhと表すことにして,y(h),y(2h),y(3h),…の近似解を構成することを考えましょう.以後, y(nh) の近似解を yn と表します.
例えば,数値積分を扱った以前の講義の Algorithm1 を用いると y(h)=y0+∫h0f(y(s))ds≈y0+hf(y0) ですから,y(h) の近似 y1 を y1=y0+hf(y0) によって構成することが考えられます.この方法は y1−y0h=f(y0) とみれば,もとの常微分方程式そのものの近似と解釈することもできます. さらに,y(nh) の近似 yn は y0 と y1 をそれぞれ yn と yn+1 に置き換えて yn+1=yn+hf(yn),n=0,1,2,… によって構成することにしましょう.この方法を陽的 Euler (オイラー) 法といいます.
積分の近似を変えると,例えば y1=y0+hf(y1) といった解法が考えられます.これを陰的 Euler 法といいます.f の中が y1 になっていますから,y0 から y1 を計算するときに, 陽的 Euler 法とは異なり,方程式を解かなければなりません. このように,先の時間の近似解を構成するために方程式を解かなければならない解法を 「陰的」な解法といい,その必要がない解法を「陽的」な解法といいます. f が線形でかつ d=1 の場合は,陰的であってもただの(一変数の)1次方程式ですから,それを解くのは極めて簡単ですが, d>2 の場合は,連立1次方程式になり,連立1次方程式の数値解法(アルゴリズム)は自明ではありません(クラメールの公式は d に対して計算量が指数的に増えるので実用上は使えません.また,「逆行列を使えばよいのでは?」と思うかもしれませんが,一回生のときの線形代数を思い出してもらうと分かるように,逆行列は複数の連立一次方程式を解いてはじめて求められるので,通常,連立一次方程式を解くために逆行列を用いることはありません.).f が非線形の場合はさらに大変で,陽的な解法と比べて非常に大きな計算コストがかかることがあります.
天下り的ですが, Y1=y0Y2=y0+h2f(Y1)Y3=y0+h2f(Y2)Y4=y0+hf(Y3)y1=y0+h6(f(Y1)+2f(Y2)+2f(Y3)+f(Y4)) という解法も有名で,これを(4 段 4 次の)陽的 Runge–Kutta (ルンゲ・クッタ;以下 RK) 法といいます. 4 つの中間変数 Y1,Y2,Y3,Y4 用いることから 4 段の解法といいます(陽解法の場合,全体の計算コストはおおよそ関数 f の評価回数に比例します. その意味で RK 法は陽的 Euler 法のおおよそ 4 倍のコストがかかります).「4 次」の意味については後述します.
解法を暗記する必要は全くありませんが,陽的 Euler 法,陰的 Euler 法,RK 法は(前回の Fourier 級数と同様に)現代科学のリテラシーとして(少なくともその存在は)知っておくべき解法です.
(どのような解法の場合も)一般に y1≠y(h) ですが,y1 がより y(h) に近い解法ほど精度のよい解法と言ってよいでしょう. ここで y(h) を形式的に Taylor 展開してみます: y(h)=y(0)+h˙y(0)+h22¨y(0)+⋯=y0+hf(y0)+h22f′(y0)f(y0)⋯. これと陽的 Euler 法を比べてみると,h に関して 1 次の項まで一致していることが分かります. 一般に,厳密解 y(h) の Taylor 展開と近似解 y1 の Taylor 展開(y1 を h の関数とみなして h に関して Taylor 展開)が h の p 次の項まで一致しているとき,その解法を「 p 次精度の解法」といいます. p が大きいほど, h を小さくしたときにより早く厳密解に収束しますし,ある固定の h で異なる解法を比較したとき, p が大きい方がより厳密解に近い数値解になることが多いです. しかし,陽的 Euler 法と RK 法の比較から分かるように,通常, p を大きくするにはより大きな計算コストが必要になり,その意味で,精度とコストの間にはトレードオフがあります. 実際の応用で適切な数値解法を選択するためには,解きたい微分方程式の数学的性質と数値解法の様々な性質をよく理解しておくことが重要です. 陽的 Euler 法と陰的 Euler 法は 1 次精度解法で,RK 法は 4 次精度解法です.
詳細は述べませんが,計算コストと精度の他にも,例えば「安定性」といった概念があり,一般に陽解法に比べて陰解法の方が安定に計算できることが多いです.ただし,この講義では,プログラムを書く際には,(簡単に解ける場合を除いて)陰解法は扱いません(連立一次方程式などの解き方も理解する必要があるため...).
例題として,d=1 の場合の次の微分方程式を考えましょう(d>1 の場合は来週扱います): ddty=−y,y(0)=1 (この方程式の厳密解は簡単に書けて, y(t)=e−t です).
では,プログラムを見て課題を行っていきましょう.
課題
サンプルプログラムの中のRK法の関数を完成させ,CLEで提出してください. CLEで提出する際は,「テキスト情報の入力」欄に,自分で書いた関数の部分をコピーし,さらに,必要に応じて(添付した)図を参照しながら陽的Euler法との違いについての考察を書き,「ファイルの添付」から「ipynb ファイル」(名前は,ODE1_miyatake.ipynb のように自分の名前を入れてください)を添付してください.サンプルファイルはこちら