f07hd computes the Cholesky factorization of a real symmetric positive definite band matrix.

Syntax

C#
public static void f07hd(
	string uplo,
	int n,
	int kd,
	double[,] ab,
	out int info
)
Visual Basic
Public Shared Sub f07hd ( _
	uplo As String, _
	n As Integer, _
	kd As Integer, _
	ab As Double(,), _
	<OutAttribute> ByRef info As Integer _
)
Visual C++
public:
static void f07hd(
	String^ uplo, 
	int n, 
	int kd, 
	array<double,2>^ ab, 
	[OutAttribute] int% info
)
F#
static member f07hd : 
        uplo : string * 
        n : int * 
        kd : int * 
        ab : float[,] * 
        info : int byref -> unit 

Parameters

uplo
Type: System..::..String
On entry: specifies whether the upper or lower triangular part of A is stored and how A is to be factorized.
uplo="U"
The upper triangular part of A is stored and A is factorized as UTU, where U is upper triangular.
uplo="L"
The lower triangular part of A is stored and A is factorized as LLT, where L is lower triangular.
Constraint: uplo="U" or "L".
n
Type: System..::..Int32
On entry: n, the order of the matrix A.
Constraint: n0.
kd
Type: System..::..Int32
On entry: kd, the number of superdiagonals or subdiagonals of the matrix A.
Constraint: kd0.
ab
Type: array<System..::..Double,2>[,](,)[,][,]
An array of size [dim1, dim2]
Note: dim1 must satisfy the constraint: dim1kd+1
Note: the second dimension of the array ab must be at least max1,n.
On entry: the n by n symmetric positive definite band matrix A.
The matrix is stored in rows 1 to kd+1, more precisely,
  • if uplo="U", the elements of the upper triangle of A within the band must be stored with element Aij in ab[kd+1+i-j,j]​ for ​max1,j-kdij;
  • if uplo="L", the elements of the lower triangle of A within the band must be stored with element Aij in ab[1+i-j,j]​ for ​jiminn,j+kd.
On exit: the upper or lower triangle of A is overwritten by the Cholesky factor U or L as specified by uplo, using the same storage format as described above.
info
Type: System..::..Int32%
On exit: info=0 unless the method detects an error (see [Error Indicators and Warnings]).

Description

f07hd forms the Cholesky factorization of a real symmetric positive definite band matrix A either as A=UTU if uplo="U" or A=LLT if uplo="L", where U (or L) is an upper (or lower) triangular band matrix with the same number of superdiagonals (or subdiagonals) as A.

References

Demmel J W (1989) On floating-point errors in Cholesky LAPACK Working Note No. 14 University of Tennessee, Knoxville
Golub G H and Van Loan C F (1996) Matrix Computations (3rd Edition) Johns Hopkins University Press, Baltimore

Error Indicators and Warnings

Some error messages may refer to parameters that are dropped from this interface (LDAB) In these cases, an error in another parameter has usually caused an incorrect value to be inferred.
info<0
If info=-i, argument i had an illegal value. An explanatory message is output, and execution of the program is terminated.
info>0
The leading minor of order value is not positive definite and the factorization could not be completed. Hence A itself is not positive definite. This may indicate an error in forming the matrix A. There is no method specifically designed to factorize a symmetric band matrix which is not positive definite; the matrix must be treated either as a nonsymmetric band matrix, by calling f07bd or as a full symmetric matrix, by calling f07md.
ifail=-9000
An error occured, see message report.
ifail=-6000
Invalid Parameters value
ifail=-4000
Invalid dimension for array value
ifail=-8000
Negative dimension for array value
ifail=-6000
Invalid Parameters value
ifail=-6000
Invalid Parameters value

Accuracy

If uplo="U", the computed factor U is the exact factor of a perturbed matrix A+E, where
Eck+1εUTU,
ck+1 is a modest linear function of k+1, and ε is the machine precision.
If uplo="L", a similar statement holds for the computed factor L. It follows that eijck+1εaiiajj.

Parallelism and Performance

None.

Further Comments

The total number of floating-point operations is approximately nk+12, assuming nk.
A call to f07hd may be followed by calls to the methods:
  • f07he to solve AX=B;
  • (F07HGF not in this release) to estimate the condition number of A.
The complex analogue of this method is (F07HRF not in this release).

Example

This example computes the Cholesky factorization of the matrix A, where
A=5.492.680.000.002.685.63-2.390.000.00-2.392.60-2.220.000.00-2.225.17.

Example program (C#): f07hde.cs

Example program data: f07hde.d

Example program results: f07hde.r

See Also