情報科学 › 偏微分方程式の離散化 › 差分法の整合性・安定性・収束
1 段の線形差分スキーム
定義 3.2(「差分法の整合性・安定性・収束」§3)
Δt0>0 とする。各 0<Δt≤Δt0 に有界線形作用素 C(Δt)∈B(X) を対応させる族で、任意の 0<δ≤Δt0 について supδ≤Δt≤Δt0∥C(Δt)∥<∞ を満たすものを 1 段の線形差分スキームという。u0=u0、un+1=C(Δt)un、すなわち un=C(Δt)nu0 を、時刻 tn=nΔt での近似解とする。空間の格子幅 h は Δt の関数 h=h(Δt)(Δt→0 で h→0)として与えられているものとする。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件