情報科学 › 偏微分方程式の離散化 › 固有値問題の離散化
固有値問題の Galerkin 近似
定義 2.2(「固有値問題の離散化」§2)
Vh⊂V を n 次元の部分空間とする。uh∈Vh、uh=0 と実数 λh が
a(uh,v)=λh⟨uh,v⟩(すべての v∈Vh)を満たすとき、λh を Ritz 値、uh を Ritz ベクトルという。Vh の基底 φ1,…,φn について、剛性行列 K=(a(φj,φi)) と質量行列 G=(⟨φj,φi⟩) をとると、uh=∑jxjφj について上の式は一般化固有値問題 Kx=λhGx である。Vh⊂V であるとき近似は適合であるといい、そうでないとき(差分法、質量行列の集中化、不連続な試験関数など)非適合であるという。a(w−Phw,v)=0(すべての v∈Vh)で定まる Ph:V→Vh を Ritz 射影(a についての直交射影)という。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。