数学 › 数値線形代数 › Krylov 部分空間法 I

Arnoldi の過程

定義 3.1(「Krylov 部分空間法 I」§3)

q1=b/∥b∥\boldsymbol{q}_1 = \boldsymbol{b}/\|\boldsymbol{b}\| とし、j=1,2,…j = 1, 2, \ldots について

hij=qi∗Aqj (i≤j),wj=Aqj−∑i=1jhijqi,hj+1,j=∥wj∥h_{ij} = \boldsymbol{q}_i^{*}A\boldsymbol{q}_j\ (i \le j),\qquad \boldsymbol{w}_j = A\boldsymbol{q}_j - \sum_{i=1}^{j}h_{ij}\boldsymbol{q}_i,\qquad h_{j+1,j} = \|\boldsymbol{w}_j\|

を計算し、hj+1,j≠0h_{j+1,j} \ne 0 なら qj+1=wj/hj+1,j\boldsymbol{q}_{j+1} = \boldsymbol{w}_j/h_{j+1,j} とする。hj+1,j=0h_{j+1,j} = 0 なら停止する。Qk=(q1 ⋯ qk)Q_k = (\boldsymbol{q}_1\ \cdots\ \boldsymbol{q}_k)、Hk=(hij)1≤i,j≤kH_k = (h_{ij})_{1\le i,j\le k}(i>j+1i > j + 1 では hij=0h_{ij} = 0)、H~k\tilde{H}_k を HkH_k の下に行 (0,…,0,hk+1,k)(0, \ldots, 0, h_{k+1,k}) を足した (k+1)×k(k+1)\times k 行列とする。

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

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

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

これを使っている定理

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