◆ Dgbtrf()

Sub Dgbtrf	(	M As	Long,
		N As	Long,
		Kl As	Long,
		Ku As	Long,
		Ab() As	Double,
		IPiv() As	Long,
		Info As	Long
	)

係数行列のLU分解 (一般帯行列)

目的: 本ルーチンは行交換によるピボットの部分選択を用いてm×n帯行列AのLU分解を計算する.
本ルーチンはLevel 3 BLASを呼び出すブロック版のアルゴリズムを使用している.

引数

[in]	M	方程式の行数. (M >= 0) (M = 0 の場合, 処理を行わずに戻る)
[in]	N	方程式の列数. (N >= 0) (N = 0 の場合, 処理を行わずに戻る)
[in]	Kl	Aの下帯幅. (Kl >= 0)
[in]	Ku	Aの上帯幅. (Ku >= 0)
[in,out]	Ab()	配列 Ab(LAb1 - 1, LAb2 - 1) (LAb1 >= 2Kl + Ku + 1, LAb2 >= N) [in] 帯行列形式の行列Aを第Kl+1〜2Kl+Ku+1行に与える. 第1〜Kl行は設定する必要がない. [out] 分解結果: Uは上帯幅Kl+Kuの上三角行列として第1〜Kl+Ku+1行に格納される. また, 分解中に使われた乗数が第Kl+Ku+2〜2Kl+Ku+1行に格納される. 詳細は下記を参照のこと.
[out]	IPiv()	配列 IPiv(LIPiv - 1) (LIPiv >= N) ピボットインデックス. 1 <= i <= min(M, N) に対して, 行列の第i行が第IPiv(i-1)行と交換されたことを表す.
[out]	info	= 0: 正常終了. = -1: パラメータ M の誤り. (M < 0) = -2: パラメータ N の誤り. (N < 0) = -3: パラメータ Kl の誤り. (Kl < 0) = -4: パラメータ Ku の誤り. (Ku < 0) = -5: パラメータ Ab() の誤り. = -6: パラメータ IPiv() の誤り. = i > 0: Uのi番目の対角要素が0である. 分解を完了したが, Uが特異であり連立方程式の解の計算に使用すると0による除算が発生する.

詳細

次の例は, M = N = 6, Kl = 2, Ku = 1 の場合の帯行列形式を表す.

入力:
   *    *    *    +    +    +
   *    *    +    +    +    +
   *   a12  a23  a34  a45  a56
  a11  a22  a33  a44  a55  a66
  a21  a32  a43  a54  a65   *
  a31  a42  a53  a64   *    *

出力:
   *    *    *   u14  u25  u36
   *    *   u13  u24  u35  u46
   *   u12  u23  u34  u45  u56
  u11  u22  u33  u44  u55  u66
  m21  m32  m43  m54  m65   *
  m31  m42  m53  m64   *    *

*で示された配列要素は使用されない. +で示された要素は入力不要であるが, 行交換の結果フィルインが生じるUの要素を格納するために必要である.

出典: LAPACK

使用例: 連立一次方程式 Ax = B を解き, 同時にAの条件数の逆数の推定値(RCond)を求める. ただし,
( 2.34 0.57 0 ) ( 0.7416 )

A = ( 0.65 1.98 -1.39 ), B = ( 0.7885 )

( 0 1.50 1.73 ) ( 1.0833 )

とする.
Sub Ex_Dgbtrf()

Const N = 3, Kl = 1, Ku = 1

Dim Ab(2 * Kl + Ku, N - 1) As Double, B(N - 1) As Double, IPiv(N - 1) As Long

Dim ANorm As Double, RCond As Double, Info As Long

Ab(1, 0) = 0: Ab(1, 1) = 0.57: Ab(1, 2) = -1.39

Ab(2, 0) = 2.34: Ab(2, 1) = 1.98: Ab(2, 2) = 1.73

Ab(3, 0) = 0.65: Ab(3, 1) = 1.5: Ab(3, 2) = 0

B(0) = 0.7416: B(1) = 0.7885: B(2) = 1.0833

ANorm = Dlangb("1", N, Kl, Ku, Ab(), , Kl)

Call Dgbtrf(N, N, Kl, Ku, Ab(), IPiv(), Info)

If Info = 0 Then Call Dgbtrs("N", N, Kl, Ku, Ab(), IPiv(), B(), Info)

If Info = 0 Then Call Dgbcon("1", N, Kl, Ku, Ab(), IPiv(), ANorm, RCond, Info)

Debug.Print "X =", B(0), B(1), B(2)

Debug.Print "RCond =", RCond

Debug.Print "Info =", Info

End Sub

Dlangb
Function Dlangb(Norm As String, N As Long, Kl As Long, Ku As Long, Ab() As Double, Optional Info As Long, Optional Offset As Long=0) As Double
行列の1ノルム, フロベニウスノルム, 無限ノルム, または, 要素の最大絶対値 (帯行列)

Dgbtrs
Sub Dgbtrs(Trans As String, N As Long, Kl As Long, Ku As Long, Ab() As Double, IPiv() As Long, B() As Double, Info As Long, Optional Nrhs As Long=1)
LU分解済の連立一次方程式 AX = B または ATX = B の解 (一般帯行列)

Dgbtrf
Sub Dgbtrf(M As Long, N As Long, Kl As Long, Ku As Long, Ab() As Double, IPiv() As Long, Info As Long)
係数行列のLU分解 (一般帯行列)

Dgbcon
Sub Dgbcon(Norm As String, N As Long, Kl As Long, Ku As Long, Ab() As Double, IPiv() As Long, ANorm As Double, RCond As Double, Info As Long)
行列の条件数 (一般帯行列)

実行結果: X = 0.2 0.48 0.21

RCond = 0.364187455306431

Info = 0