情報科学 › 偏微分方程式の離散化 › 有限要素法 I

1 次元の分割と有限要素空間

定義 3.4(「有限要素法 I」§3)

0=x0<x1<⋯<xN=10 = x_0 < x_1 < \cdots < x_N = 1 を [0,1][0,1] の分割、ei=[xi−1,xi]e_i = [x_{i-1}, x_i] を要素、xix_i を節点、hi=xi−xi−1h_i = x_i - x_{i-1}、h=max⁡ihih = \max_ih_i とする。k=1,2k = 1, 2 について

Vhk={v∈C[0,1]:v∣ei は k 次以下の多項式 (1≤i≤N), v(0)=v(1)=0}V_h^k = \{v \in C[0,1] : v|_{e_i}\ \text{は}\ k\ \text{次以下の多項式}\ (1 \le i \le N),\ v(0) = v(1) = 0\}

を区分 kk 次の(連続な)有限要素空間という。Vh=Vh1V_h = V_h^1 と書く。φi∈Vh\varphi_i \in V_h(1≤i≤N−11 \le i \le N-1)を φi(xj)=δij\varphi_i(x_j) = \delta_{ij} で定め、節点基底(帽子関数)という。連続関数 uu(u(0)=u(1)=0u(0) = u(1) = 0)に対し

Ihu=∑i=1N−1u(xi)φiI_hu = \sum_{i=1}^{N-1}u(x_i)\varphi_i

を節点補間という。Vh2V_h^2 では、節点に各要素の中点を加えた点で同じように節点基底と補間 Ih(2)I_h^{(2)} を定める。G=(⟨φj,φi⟩)i,jG = (\langle\varphi_j, \varphi_i\rangle)_{i,j} を質量行列という(基底の Gram 行列。有界性の定数 MM と区別するため GG と書く)。定数 γ≥1\gamma \ge 1 について min⁡ihi≥h/γ\min_ih_i \ge h/\gamma となる分割を(定数 γ\gamma で)準一様という。

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

閉包の状態

定義

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

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

これを使っている定理

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

関連するノック 1 問