actions

差分法


テンプレート:Differential equations 数値解析における有限差分法(ゆうげんさぶんほう、: finite-difference methods; FDM)あるいは単に差分法は、微分方程式を解くために微分有限差分近似(差分商)で置き換えて得られる差分方程式で近似するという離散化手法を用いる数値解法である。18世紀にオイラーが考案したと言われる[1]

今日ではFDMは偏微分方程式の数値解法として支配的な手法である[2]

精度と誤差

解の誤差とは、真の解析解と近似解との間の差として定義される。有限差分法における誤差の原因は丸め誤差および打ち切り誤差または離散化誤差である。

ファイル:Finite Differences.svg
有限差分法は函数の定義域を格子に離散化することに基づく

問題に対する解の近似に有限差分法を用いるためには、まず初めに問題の領域を離散化しなければならない。これは普通は、その領域を一様な格子に分ければよい。これは有限差分法がしばしば「時間刻み」な仕方で微分に対する離散的な数値近似の集合を提供することを意味することに注意。

[math]f(x_i)=f(x_0+i h)[/math].

一般に注目すべきは局所打ち切り誤差English版で、典型的にはこれを O-記法で表す。局所打ち切り誤差は、各点における誤差について言うもので、真値 fテンプレート:'(xテンプレート:Msub) と近似値 fテンプレート:'テンプレート:Msub との差

[math]f'(x_i) - f'_i[/math]

である。この誤差の評価には、テイラー展開の剰余項を見るのが簡便である。式 f(xテンプレート:Msub + h) に対するテイラー展開のラグランジュ型剰余項

[math]R_n(x_0 + h) = \frac{f^{(n+1)}(\xi)}{(n+1)!} (h)^{n+1}\quad (x_0 \lt \xi \lt x_0 + h)[/math]

から、局所打ち切り誤差の支配項が求められる。例えば、一階差分近似 (n = 1) を考えれば

[math] f(x_0 + i h) = f(x_0) + f'(x_0)i h + \frac{f''(\xi)}{2!} (i h)^{2}[/math]

である。この右辺は有限差分法で得られる近似値である。一方、0階差分近似(n=0)を考えれば

[math] f(x_0 + i h) = f(x_0) + f'(x_0)i h[/math]

よって、0階差分近似での支配的な誤差は

[math] \frac{f''(\xi)}{2!} (i h)^{2}[/math]

であり、この剰余項(n=1)が局所打ち切り誤差の支配項である。この場合、局所打ち切り誤差はほぼ刻み幅(h)の2乗に比例するということになる。有限差分法の近似解の精度と計算量は方程式の離散化の仕方や刻み幅の取り方に依存する。これらは刻み幅を小さくするにつれ著しく増加する[3]から、実用上は必要な精度と計算時間を天秤にかけて十分合理的な条件で近似を行う。時間の刻み幅が大きければ多くの場合に計算速度は早くなるが、大きくしすぎると不安定性を生じ、データの精度に問題がでる[4][5]

数値モデルの安定性を決定するために、フォン・ノイマンの安定性解析を用いるのが普通である[4][5][6][7]

簡単な例

最も簡単な例として、次の1階常微分方程式を考える:

[math] u'(x) = 3u(x) + 2 \, [/math]

これを解くには、差分商

[math]\frac{u(x+h) - u(x)}{h} \approx u'(x)\quad (h \to 0)[/math]

を用いて

[math] u(x+h) = u(x) + h(3u(x)+2) \, [/math]

と近似する。この方法をオイラー法という。この最後の方程式のように、微分方程式の微分を差分商に置き換えたものを、差分方程式(さぶんほうていしき、difference equation)と呼ぶ。

例 熱伝導方程式

偏微分方程式の例として、一様ディリクレ境界条件に従う1次元規格化熱伝導方程式を考える:

[math] U_t=U_{xx} \, [/math]

左辺は時刻[math] t [/math]による微分、右辺は座標[math] x [/math]による2階微分である。また、境界条件および初期条件は以下とする:

[math] U(0,t)=U(1,t)=0 \, [/math](境界条件)
[math] U(x,0) =U_0(x) \, [/math](初期条件)

これを数値的に解く1つの方法は、すべての微分を差分で近似することである。空間の領域をメッシュ[math] x_0, \dots , x_J [/math]で、時間の領域をメッシュ[math] t_0,\dots, t_N [/math]で分割しよう。どちらの分割も等間隔とし、空間点の間隔を[math] h [/math]、時刻の間隔を[math] k [/math]とする。[math] U(x_j, t_n) [/math]の数値的近似を[math] u_j^n [/math]で表す。

陽解法

時刻[math] t_n [/math]には前進差分を用い、空間点[math] x_j [/math]で2次微分に対して2次中央差分を用いれば、次の漸化式:

[math] \frac{u_j^{n+1} - u_j^{n}}{k} =\frac{u_{j+1}^n - 2u_j^n + u_{j-1}^n}{h^2} \, [/math]

が得られる。これを陽解法という。

[math] u_j^{n+1} [/math]の値は次のように得られる:

[math] u_{j}^{n+1} = (1-2r)u_{j}^{n} + ru_{j-1}^{n} + ru_{j+1}^{n}[/math]

ただしここで[math] r=k/h^2 [/math]拡散数と呼ばれる)である。

ゆえに、時刻[math] t_n [/math]での値がわかれば、対応する時刻[math] t_{n+1} [/math]での値も漸化式を用いて求められる。[math] u_0^n [/math][math] u_J^n [/math]には境界条件(この例ではどちらも0)を適用する。

この陽解法は、[math] r\le 1/2 [/math]であれば数値的に安定収束することが知られている。

誤差は時刻間隔[math] k [/math]の1乗と空間点間隔[math] h [/math]の2乗のオーダーである:

[math] \Delta u = O(k)+O(h^2) \, [/math]

陰解法

時刻[math]t_{n+1} [/math]に後退差分を用い、空間点[math] x_j [/math] で2階中央差分を用いれば、漸化式:

[math] \frac{u_{j}^{n+1} - u_{j}^{n}}{k} =\frac{u_{j+1}^{n+1} - 2u_{j}^{n+1} + u_{j-1}^{n+1}}{h^2} \, [/math]

が得られる。これを陰解法という。

線形方程式系:

[math] (1+2r)u_j^{n+1} - ru_{j-1}^{n+1} - ru_{j+1}^{n+1}= u_j^{n}[/math]

を解けば、[math] u_j^{n+1} [/math]が得られる。この方法は常に数値的に安定で収束するが、時刻ごとに方程式系を解く必要があるため、陽解法よりも繁雑である。誤差は時間ステップ数と空間ステップ数の4乗とに比例する。

クランク・ニコルソン法

さいごに、時刻[math] t_{n+1/2} [/math]で中央差分を、空間点[math] x_j [/math]での空間微分に2階中央差分を用いれば、漸化式:

[math] 2\left(\frac{u_j^{n+1} - u_j^{n}}{k}\right) =\frac{u_{j+1}^{n+1} - 2u_j^{n+1} + u_{j-1}^{n+1}}{h^2}+\frac{u_{j+1}^{n} - 2u_j^{n} + u_{j-1}^{n}}{h^2} \,[/math]

が得られる。これをクランク・ニコルソン法(Crank-Nicolson method)という。

線形方程式系:

[math] (2+2r)u_j^{n+1} - ru_{j-1}^{n+1} - ru_{j+1}^{n+1}= (2-2r)u_j^n + ru_{j-1}^n + ru_{j+1}^n [/math]

を解けば、[math] u_j^{n+1} [/math]が得られる。

この方法は常に数値的に安定で収束するが、各時刻で方程式系を解く必要があるので繁雑なことが多い。誤差は時間ステップ数の4乗と空間ステップ数の2乗とに比例する:

[math] \Delta u = O(k^2)+O(h^4) \, [/math]

しかし、境界付近では誤差はO(h4 ) でなくO(h2 ) となることが多い。

クランク・ニコルソン法は時間ステップ数が少なければたいてい最も正確な方法である。陽解法はそれより正確でなく不安定でもあるが、最も実行しやすく、繁雑さも最も少ない。陰解法は時間ステップ数が多い場合に最も優れている。

参考文献

  1. Joel H. Ferziger; Milovan Perić; 小林敏雄、谷口伸行、坪倉誠訳 『コンピュータによる流体力学』 シュプリンガー・フェアラーク東京、2003年、36頁。ISBN 4-431-70842-1 
  2. (2007) Numerical Treatment of Partial Differential Equations. Springer Science & Business Media. ISBN 978-3-540-71584-9. 
  3. (2008) A first course in the numerical analysis of differential equations. Cambridge University Press. ISBN 9780521734905. 
  4. 4.0 4.1 (2001) Numerical methods for engineers and scientists. CRC Press, Boca Raton. 
  5. 5.0 5.1 Jaluria Y; Atluri S (1994). “Computational heat transfer”. Computational Mechanics 14: 385–386. doi:10.1007/BF00377593. 
  6. (2005) Computational methods for heat and mass transfer, 1st, Taylor and Francis, New York. 
  7. (1985) Numerical solution of partial differential equations: finite difference methods, 3rd, Oxford University Press. 

関連項目

外部リンク

テンプレート:偏微分方程式の数値解法