XLPack 7.0
XLPack 数値計算ライブラリ (C API) リファレンスマニュアル
読み取り中…
検索中…
一致する文字列を見つけられません

◆ dneupd()

void dneupd ( int  rvec,
char  howmny,
int  select[],
double  dr[],
double  di[],
int  ldz,
double  z[],
double  sigmar,
double  sigmai,
double  workev[],
char  bmat,
int  n,
const char *  which,
int  nev,
double  tol,
double  resid[],
int  ncv,
int  ldv,
double  v[],
int  iparam[],
int  ipntr[],
double  workd[],
double  workl[],
int  lworkl,
int *  info 
)

アーノルディ分解の近似固有値・固有ベクトル (一般疎行列)

目的
本ルーチンは固有値問題 A*z = λ*B*z の近似固有値および(必要であれば)対応する近似固有ベクトルを求める.

これらの値は dnaupd が返す線形演算子 OP および行列 B のアーノルディ分解(詳細は dnaupd のマニュアルの「目的」の項を参照)より計算される. 本ルーチン呼び出しの前に dnaupd を呼び出しておかなければならない.

近似固有値は昇順に格納される.

引数 bmat, n, which, nev, tol, resid, ncv, v, ldv, iparam, ipntr, workd, workl および lworkl は dnaupd の最後の呼び出し後, 変更することなく本ルーチンに渡さなければならない. これらのうち v, ipntr および workl は本ルーチンによって変更される.
引数
[in]rvec固有値問題 A*z = λ*B*z の近似リッツ値に対応する不変部分空間の基底を求めるかどうか指定する.
= false (0): リッツ値のみ求める.
= true (1): リッツベクトルまたはシュールベクトルも求める.
[in]howmny求めるリッツ値に対応する不変部分空間の基底の形式を指定する.
= 'A': nev 個のリッツベクトルを求める.
= 'P': nev 個のシュールベクトルを求める.
= 'S': 配列 select[] で指定されたリッツベクトルを求める.
[out]select[]配列 select[lselect] (lselect >= ncv)
howmny = 'S' の場合, select[] は求めるリッツベクトルを指定する. リッツ値 (dr[j], di[j]) に対応するリッツベクトルを選択するには, select[j] を true (1) に設定する必要がある. howmny = 'A' または 'P' の場合, select[] は内部ワークスペースとして使用される.
[out]dr[]配列 dr[ldr] (ldr >= nev + 1)
mode = 1 または 2, または, mode = 3 かつ sigmai = 0.0 であれば, A*z = λ*B*z の固有値のリッツ値による近似の実数部が入る.
mode = 3 または 4 で sigmai != 0.0 であれば, dnaupd により計算された OP のリッツ値の実数部が入る. dnaupd による OP のリッツ値をもとの方程式 A*z = λ*B*z のそれに変換するためにはユーザーがさらに計算を行う必要がある.
[out]di[]配列 di[ldi] (ldi >= nev + 1)
A*z = λ*B*z の固有値のリッツ値による近似の dr[] に対応する虚数部が入る.
[in]ldz配列 z の整合寸法 (リッツベクトルを求めるとき ldz >= n, そうでないとき ldz >= 1)
[out]z[]配列 z[ldz * lz] (lz >= nev + 1)
rvec = truw (1) かつ howmny = 'A' の場合, z[][] の列は 固有値問題 A*z = λ*B*z の nconv (iparam[4]) 個のリッツ値に対応する近似固有ベクトル(リッツベクトル)を表す.

虚数部が正のリッツ値に対応する複素リッツベクトルは連続する2列に格納される. 最初の列にはリッツベクトルの実数部, 2番目の列には虚数部が入る. 虚数部が負のリッツ値に対応するリッツベクトルは, 単に虚数部が正の場合に対応するリッツベクトルの複素共役になる.

rvec = false (0) または howmny = 'P' の場合, z[] は参照されない.
[in]sigmarmode = 3 または 4 の場合, シフトの実数部を表す. mode = 1 または 2 の場合, 参照されない.
[in]sigmaimode = 3 または 4 の場合, シフトの虚数部を表す. mode = 1 または 2 の場合, 参照されない.
[out]workev[]配列 workev[lworkev] (lworkev >= 3*ncv)
ワークスペース.
[in]bmatdnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in]ndnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in]whichdnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in]nevdnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in]toldnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in]resid[]配列 resid[lresid] (lresid >= n)
dnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in]ncvdnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in]ldvdnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in,out]v[]配列 v[ldv * lv] (lv >= ncv)
[in] dnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[out] rvec = true (1) であれば, はじめの nconv 列に求められる不変部分空間を張る近似シュールベクトルが入る.
[in]iparam[]配列 iparam[liparam] (liparam >= 11)
dnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in,out]ipntr[]配列 ipntr[lipntr] (lipntr >= 14)
[in] dnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[out] ipntr[8] 〜 ipntr[12] には workl へのポインターが入る.
ipntr[8]: 元の式の ncv 個のリッツ値の実数部へのポインター.
ipntr[9]: 元の式の ncv 個のリッツ値の虚数部へのポインター.
ipntr[10]: ncv 個のそれぞれの誤差限界へのポインター.
ipntr[11]: H の ncv x ncv 上疑三角シュール行列へのポインター.
ipntr[12]: 上ヘッセンベルグ行列 H の固有ベクトルからなる ncv x ncv 行列へのポインター. rvec = true (1) のときにのみ参照される.
[in]workd[]配列 workd[lworkd] (lworkd >= 3*n)
dnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[in,out]workl[]配列 workl[lworkl]
[in] dnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと. workl[0] 〜 workl[ncv^2 + 3*ncv - 1] には dnaupd で得られた情報が入っている. これらは dneupd によって変更されることはない.
[out] workl[ncv^2 + 3*ncv] 〜 workl[3*ncv^2 + 6*ncv - 1] には変換していないリッツ値, H の上疑三角行列, および H の関連する不変部分空間の行列表現の実数部および虚数部が入る.
[in]lworkldnaupd と同じ. dnaupd の最終呼び出し後変更せずに渡すこと.
[out]infoリターンコード.
= 0: 正常終了.
< 0: (-info)番目の入力パラメータの誤り.
= 11: LAPACK ルーチン DLAHQR によって求められたシュール形を LAPACK ルーチン DTRSEN によって並べ替えることができなかった.
= 12: dnaupd は十分な精度の固有値を得られなかった.
= 13: dneupd が得た変換後のリッツ値の数が dnaupd が得た数と異なる.
= 14: LAPACK ルーチンで実シュール形の計算に失敗した.
= 15: LAPACK ルーチンで固有ベクトルの計算に失敗した.
出典
ARPACK-NG (https://github.com/opencollab/arpack-ng)