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

格子と格子関数

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

格子幅 h>0h > 0 に対し、xj=jhx_j = jh(j∈Zj \in \mathbb{Z})を格子点、集合 hZ={xj}h\mathbb{Z} = \{x_j\} を格子という。格子上の複素数値の関数 v=(vj)j∈Zv = (v_j)_{j\in\mathbb{Z}} を格子関数という。

∥v∥h=(h∑j∈Z∣vj∣2)1/2,∥v∥∞=sup⁡j∣vj∣\|v\|_h = \Bigl(h\sum_{j\in\mathbb{Z}}|v_j|^2\Bigr)^{1/2},\qquad \|v\|_\infty = \sup_{j}|v_j|

を離散 ℓ2\ell^2 ノルム、最大値ノルムといい、∥v∥h<∞\|v\|_h < \infty である格子関数の全体を ℓ2(hZ)\ell^2(h\mathbb{Z}) と書く。周期 11 の問題では h=1/Nh = 1/N(NN は正の整数)とし、vj+N=vjv_{j+N} = v_j を満たす格子関数を CN\mathbb{C}^N の元と同一視して、和を j=0,…,N−1j = 0, \ldots, N-1 でとる。時間の刻み Δt>0\Delta t > 0 に対し tn=nΔtt_n = n\Delta t とし、時刻 tnt_n の格子関数を un=(ujn)ju^n = (u^n_j)_j と書く。

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

閉包の状態

定義

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

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

これを使っている定理

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