情報科学 › 偏微分方程式の離散化 › 差分法の整合性・安定性・収束
局所打ち切り誤差・整合性・精度の次数
定義 3.3(「差分法の整合性・安定性・収束」§3)
初期値 u0∈X の解 u(t)=E(t)u0 に対し
τ(t,Δt)=Δtu(t+Δt)−C(Δt)u(t)(0≤t≤T−Δt)をスキームの局所打ち切り誤差という。X の稠密な部分空間 D があって、すべての u0∈D について
0≤t≤T−Δtsup∥τ(t,Δt)∥→0(Δt→0)となるとき、スキームは整合的であるという。初期値のあるクラスについて、定数 c(u0 による)があって supt∥τ(t,Δt)∥≤c(Δtp+hq) となるとき、スキームはそのクラスについて時間 p 次・空間 q 次の精度をもつという。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 1 問