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

等間隔の区分 1 次要素と 3 点差分

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

等間隔の分割(hi=h=1/Nh_i = h = 1/N)で、a(u,v)=∫01u′v′ dxa(u,v) = \int_0^1u'v'\,dx とする。

  1. 剛性行列は K=1h tridiag(−1,2,−1)K = \frac{1}{h}\,\mathrm{tridiag}(-1, 2, -1)、質量行列は G=h6 tridiag(1,4,1)G = \frac{h}{6}\,\mathrm{tridiag}(1, 4, 1) である。KK は 3 点差分の行列 A=1h2tridiag(−1,2,−1)A = \frac{1}{h^2}\mathrm{tridiag}(-1,2,-1) の hh 倍である。
  2. 荷重ベクトルは bi=∫01fφi dx=hfˉib_i = \int_0^1f\varphi_i\,dx = h\bar f_i で、fˉi=1h∫fφi dx\bar f_i = \frac1h\int f\varphi_i\,dx は重み φi/h\varphi_i/h(積分が 11)による ff の平均である。
  3. bib_i を hf(xi)hf(x_i) で置き換える(質量行列の各行の和を対角に集める集中化にあたる)と、Kc=bK\boldsymbol{c} = \boldsymbol{b} は 3 点差分の方程式 −ci+1−2ci+ci−1h2=f(xi)-\frac{c_{i+1} - 2c_i + c_{i-1}}{h^2} = f(x_i) に一致する。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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

関連するノック 2 問