情報科学 › 偏微分方程式の離散化 › 有限要素法 I
1 次元の逆不等式と質量行列の評価
補題 6.2(「有限要素法 I」§6) ・ ✓公理まで証明済み
vh∈Vh(区分 1 次)、c=(vh(xi))i=1N−1、hmin=minihi とする。
- 長さ ℓ の要素 e の上で ∥vh′∥e≤ℓ12∥vh∥e。したがって ∥vh′∥≤hmin12∥vh∥。
- 3hmin∣c∣2≤∥vh∥2=cTGc≤h∣c∣2(∣⋅∣ は Euclid ノルム)。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理 証明で参照している 1 件