|
|
◆ Dgsev()
| Sub Dgsev |
( |
Jobz As |
String, |
|
|
N As |
Long, |
|
|
Val() As |
Double, |
|
|
Ptr() As |
Long, |
|
|
Ind() As |
Long, |
|
|
Which As |
String, |
|
|
Nev As |
Long, |
|
|
Ncv As |
Long, |
|
|
Dr() As |
Double, |
|
|
Di() As |
Double, |
|
|
Z() As |
Double, |
|
|
Optional Info As |
Long, |
|
|
Optional Nconv As |
Long, |
|
|
Optional Niter As |
Long, |
|
|
Optional Base As |
Long = -1, |
|
|
Optional Format As |
Long = 0, |
|
|
Optional Mode As |
Long = 1, |
|
|
Optional Sigmar As |
Double = 0, |
|
|
Optional Sigmai As |
Double = 0, |
|
|
Optional Maxiter As |
Long = 300, |
|
|
Optional Tol As |
Double = 0 |
|
) |
| |
固有値・固有ベクトル (一般疎行列) (リスタート付きアーノルディ法 (IRAM)) (Arpack) (ドライバ)
- 目的
- 固有値問題 において, λは固有値, z はその固有ベクトルを表す. A は一般疎行列である.
本ルーチンは, Arpack ルーチン Dnaupd および Dneupd を使用して, リスタート付きアーノルディ法 (Implicitly restarted Arnoldi method (IRAM)) により上の問題の固有値 λ および固有ベクトル z を求める.
疎行列 A は CSC 形式または CSR 形式で格納されているものとする.
本ルーチンは以下の2つのモードで動作する.
(1) 通常モード
Mode = 1 であれば通常モードで計算を行う. 大きい方から, あるいは, 小さい方から数個の固有値およびその固有ベクトルを求めることができる. Sigmar および Sigmai は参照されない.
(2) シフト&インバートモード
Mode = 3 であればシフト&インバートモードで計算を行う. 指定した σ (シフト) の近くの固有値を求めることができる.
OP = (A - σ*I)^(-1) として, 別の固有値問題 の固有値 ν を求めたとすると, 元の問題の固有値 λ は ν = 1/(λ - σ) より求めることができる. すなわち, 最大の ν を求めれば σ に最も近い λ を求められる. パラメータ Which は求める固有値 ν を指定する. 一般的には, "LM"とすれば σ の最も近くの固有値 λ を求めることができる.
- 引数
-
| [in] | Jobz | = 'N': 固有値のみ求める.
= 'V': 固有値と固有ベクトルを求める. |
| [in] | N | 行列の行および列数. (N >= 0) (N = 0 の場合, 処理を行わずに戻る) |
| [in] | Val() | 配列 Val(LVal - 1) (LVal >= Nnz)
入力行列の非ゼロ要素の値. (Nnz は非ゼロ要素数) |
| [in] | Ptr() | 配列 Ptr(LPtr - 1) (LPtr >= N + 1
入力行列の列ポインタ(CSC形式の場合)または行ポインタ(CSR形式の場合). |
| [in] | Ind() | 配列 Ind(LInd - 1) (LInd >= Nnz)
入力行列の行インデクス(CSC形式の場合)または列インデクス(CSR形式の場合). (Nnz は非ゼロ要素数) |
| [in] | Which | = "LM": 絶対値最大のものから Nev 個の固有値を求める.
= "SM": 絶対値最小のものから Nev 個の固有値を求める.
= "LR": 実数部が最大のものから Nev 個の固有値を求める.
= "SR": 実数部が最小のものから Nev 個の固有値を求める.
= "LI": 虚数部が最大のものから Nev 個の固有値を求める.
= "SI": 虚数部が最小のものから Nev 個の固有値を求める. |
| [in] | Nev | 求める固有値の数. (0 < Nev < N - 1) |
| [in] | Ncv | 行列 V の列数. (Nev + 1 < Ncv <= N)
各反復において生成されるアーノルディ基底ベクトルの数 (Ncv >= 2*Nev が推奨される). |
| [out] | Dr() | 配列 Dr(LDr - 1) (LDr >= Nev + 1)
A*z = λ*z の固有値を近似するリッツ値の実数部を返す. |
| [out] | Di() | 配列 Di(LDi - 1) (LDi >= Nev + 1)
A*z = λ*z の固有値を近似するリッツ値の Dr() に対応する虚数部を返す. |
| [out] | Z() | 配列 Z(Ldz - 1, LZ - 1) (Ldz >= N, LZ >= Nev + 1)
固有値問題 A*z = λ*z のリッツ値に対応するリッツベクトル(近似固有ベクトル)を返す.
リッツ値が共役な虚数ペアの場合, 対応する複素リッツベクトルが連続する2列に入る. 虚数部が正のリッツ値に対応する列にリッツベクトルの実数部が入り, 次の列に虚数部が入る. 虚数部が負のリッツ値に対応するリッツベクトルはそれに複素共役なベクトルである.
Jobz = "N" の場合, Z() は参照されない. |
| [out] | Info | リターンコード.
= 0: 正常終了.
< 0: (-Info)番目の入力パラメータの誤り.
= 1: 最大反復回数に達した. iparam[4] に収束したリッツ値の数を返す.
= 3: リスタート付きアーノルディ反復中にシフト値が適用できなかった. Ncv を Nev に比較して大きくすると改善するかもしれない (Ncv >= 2*Nev が推奨される).
= 11: 初期残差ベクトルが 0 である.
= 12: アーノルディ分解に失敗した.
= 13: LAPACK ルーチンで固有値の計算に失敗した.
= 14: Dnaupd は十分な精度の固有値を得られなかった.
= 15 〜 19: 内部処理エラー. |
| [out] | Nconv | (省略可)
収束条件を満たしたリッツ値の数. |
| [out] | Niter | (省略可)
アーノルディ反復回数. |
| [in] | Base | (省略可)
Ptr() および Ind() のインデクス形式.
= 0: 0-ベース(C形式): 開始インデクス値が 0.
= 1: 1-ベース(Fortran形式): 開始インデクス値が 1.
(省略時: Ptr(0) = 1 であれば 1, そうでなければ 0 とみなす) |
| [in] | Format | (省略可)
行列の格納形式. (省略時 = 0)
= 0: CSR 形式.
= 1: CSC 形式. |
| [in] | Mode | (省略可)
動作モード. (省略時 = 1)
= 1: 通常モード.
= 3: シフト&インバートモード. |
| [in] | Sigmar | (省略可)
シフト(σ)の実数部. Mode = 1 のときには参照されない. (省略時 = 0) |
| [in] | Sigmai | (省略可)
シフト(σ)の虚数部. Mode = 1 のときには参照されない. (省略時 = 0) |
| [in] | Maxiter | (省略可)
ランチョス反復の最大回数. (MaxIter > 0) (省略時 = 300) |
| [in] | Tol | (省略可)
停止基準: リッツ値の最大相対誤差. (省略時 = 0)
Tol <= 0 の場合, マシン精度とみなす. |
- 使用例
- 行列 A について最大の固有値とその固有ベクトルを求める. ただし,
( 0.2 -0.11 -0.93 )
A = ( -0.32 0.81 0.37 )
( -0.8 -0.92 -0.29 )
とする. Sub Ex_Dgsev()
Const N = 3, Nnz = 9, Ncv = N, Nev = Ncv - 2
Dim A(Nnz - 1) As Double, Ia(N) As Long, Ja(Nnz - 1) As Long
Dim Dr(Nev) As Double, Di(Nev) As Double, Z(N - 1, Nev) As Double
Dim Nconv As Long, Info As Long, I As Long
A(0) = 0.2: A(1) = -0.11: A(2) = -0.93: A(3) = -0.32: A(4) = 0.81: A(5) = 0.37: A(6) = -0.8: A(7) = -0.92: A(8) = -0.29
Ia(0) = 0: Ia(1) = 3: Ia(2) = 6: Ia(3) = 9
Ja(0) = 0: Ja(1) = 1: Ja(2) = 2: Ja(3) = 0: Ja(4) = 1: Ja(5) = 2: Ja(6) = 0: Ja(7) = 1: Ja(8) = 2
Call Dgsev("V", N, A(), Ia(), Ja(), "LM", Nev, Ncv, Dr(), Di(), Z(), Info, Nconv)
Debug.Print "D =", Dr(0), Di(0)
Debug.Print "Z ="
Debug.Print Z(0, 0), Z(0, 1)
Debug.Print Z(1, 0), Z(1, 1)
Debug.Print Z(2, 0), Z(2, 1)
Debug.Print "Nconv =" + Str(Nconv) + ", Info =" + Str(Info)
End Sub
Sub Dgsev(Jobz As String, N As Long, Val() As Double, Ptr() As Long, Ind() As Long, Which As String, Nev As Long, Ncv As Long, Dr() As Double, Di() As Double, Z() As Double, Optional Info As Long, Optional Nconv As Long, Optional Niter As Long, Optional Base As Long=-1, Optional Format As Long=0, Optional Mode As Long=1, Optional Sigmar As Double=0, Optional Sigmai As Double=0, Optional Maxiter As Long=300, Optional Tol As Double=0) 固有値・固有ベクトル (一般疎行列) (リスタート付きアーノルディ法 (IRAM)) (Arpack) (ドライバ)
- 実行結果
D = 0.812065011925673 0.48915757543818
Z =
-0.365053973674333 -0.416255621362224
0.64300369896322 -0.194693188992647
-5.47400351005566E-02 0.488989966998924
Nconv = 2, Info = 0
|