情報科学 › 偏微分方程式の離散化 › 固有値問題の離散化

1 次元の区分 1 次要素の固有値

定理 4.3(「固有値問題の離散化」§4) ・ ✓公理まで証明済み

区間のモデル問題を、等間隔の分割(h=1/Mh = 1/M)の区分 1 次の有限要素空間 Vh⊂H01(0,1)V_h \subset H^1_0(0,1) で離散化する。θk=kπh\theta_k = k\pi h(k=1,…,M−1k = 1, \ldots, M-1)とおく。

  1. Ritz 値は λkh=6h2⋅1−cos⁡θk2+cos⁡θk(k=1,…,M−1)\lambda_k^h = \frac{6}{h^2}\cdot\frac{1 - \cos\theta_k}{2 + \cos\theta_k}\qquad(k = 1, \ldots, M-1) で、Ritz ベクトルは sin⁡kπx\sin k\pi x の節点補間である。
  2. 質量行列 GG を対角行列 hIhI に置き換える(集中化)と、一般化固有値問題は 3 点差分の固有値問題に一致し、固有値は 定理 3.1 の λkFD\lambda_k^{\mathrm{FD}} になる。
  3. kk を固定して h→0h \to 0 とすると λkh=λk+λk2h212+λk3h4360+O(h6),λkFD=λk−λk2h212+λk3h4360+O(h6)\lambda_k^h = \lambda_k + \frac{\lambda_k^2h^2}{12} + \frac{\lambda_k^3h^4}{360} + O(h^6),\qquad \lambda_k^{\mathrm{FD}} = \lambda_k - \frac{\lambda_k^2h^2}{12} + \frac{\lambda_k^3h^4}{360} + O(h^6) で、平均は 12(λkh+λkFD)=λk+λk3h4360+O(h6)\frac12(\lambda_k^h + \lambda_k^{\mathrm{FD}}) = \lambda_k + \dfrac{\lambda_k^3h^4}{360} + O(h^6) である。

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

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる 証明が使う定理・定義(直接 4 件)

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

これを使っている定理

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

関連するノック 3 問