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

1 次元の逆不等式と質量行列の評価

補題 6.2(「有限要素法 I」§6) ・ ✓公理まで証明済み

vh∈Vhv_h \in V_h(区分 1 次)、c=(vh(xi))i=1N−1\boldsymbol{c} = (v_h(x_i))_{i=1}^{N-1}、hmin⁡=min⁡ihih_{\min} = \min_ih_i とする。

  1. 長さ ℓ\ell の要素 ee の上で ∥vh′∥e≤12ℓ∥vh∥e\|v_h'\|_e \le \dfrac{\sqrt{12}}{\ell}\|v_h\|_e。したがって ∥vh′∥≤12hmin⁡∥vh∥\|v_h'\| \le \dfrac{\sqrt{12}}{h_{\min}}\|v_h\|。
  2. hmin⁡3∣c∣2≤∥vh∥2=cTGc≤h∣c∣2\dfrac{h_{\min}}{3}|\boldsymbol{c}|^2 \le \|v_h\|^2 = \boldsymbol{c}^{\mathsf{T}}G\boldsymbol{c} \le h|\boldsymbol{c}|^2(∣⋅∣|\cdot| は Euclid ノルム)。

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

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。

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

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。

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