情報科学 › 偏微分方程式の離散化 › 差分法の整合性・安定性・収束

1 段の線形差分スキーム

定義 3.2(「差分法の整合性・安定性・収束」§3)

Δt0>0\Delta t_0 > 0 とする。各 0<Δt≤Δt00 < \Delta t \le \Delta t_0 に有界線形作用素 C(Δt)∈B(X)C(\Delta t) \in \mathcal{B}(X) を対応させる族で、任意の 0<δ≤Δt00 < \delta \le \Delta t_0 について sup⁡δ≤Δt≤Δt0∥C(Δt)∥<∞\sup_{\delta \le \Delta t \le \Delta t_0}\|C(\Delta t)\| < \infty を満たすものを 1 段の線形差分スキームという。u0=u0u^0 = u_0、un+1=C(Δt)unu^{n+1} = C(\Delta t)u^n、すなわち un=C(Δt)nu0u^n = C(\Delta t)^nu_0 を、時刻 tn=nΔtt_n = n\Delta t での近似解とする。空間の格子幅 hh は Δt\Delta t の関数 h=h(Δt)h = h(\Delta t)(Δt→0\Delta t \to 0 で h→0h \to 0)として与えられているものとする。

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

閉包の状態

定義

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

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

これを使っている定理 証明で参照している 1 件