情報科学 › 偏微分方程式の離散化 › 楕円型・放物型方程式の差分法

θ 法

定義 4.1(「楕円型・放物型方程式の差分法」§4)

0≤θ≤10 \le \theta \le 1、Δt>0\Delta t > 0 とする。un∈Rmu^n \in \mathbb{R}^m から un+1u^{n+1} を

un+1−unΔt=−A(θun+1+(1−θ)un),すなわち(I+θΔtA)un+1=(I−(1−θ)ΔtA)un\frac{u^{n+1} - u^n}{\Delta t} = -A\bigl(\theta u^{n+1} + (1-\theta)u^n\bigr),\qquad\text{すなわち}\qquad(I + \theta\Delta tA)u^{n+1} = \bigl(I - (1-\theta)\Delta tA\bigr)u^n

で定める方法を θ 法という。θ=0\theta = 0 を陽的 Euler 法、θ=1\theta = 1 を陰的 Euler 法、θ=1/2\theta = 1/2 を Crank–Nicolson 法という。μ=Δt/h2\mu = \Delta t/h^2 を格子比という。Bθ=I+θΔtAB_\theta = I + \theta\Delta tA、Eθ=I−(1−θ)ΔtAE_\theta = I - (1-\theta)\Delta tA、Cθ=Bθ−1EθC_\theta = B_\theta^{-1}E_\theta と書く。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 3 問