NAG C Library Function Document
nag_real_cholesky_skyline (f01mcc)
1
Purpose
nag_real_cholesky_skyline (f01mcc) computes the Cholesky factorization of a real symmetric positive definite variable-bandwidth matrix.
2
Specification
#include <nag.h> |
#include <nagf01.h> |
void |
nag_real_cholesky_skyline (Integer n,
const double a[],
Integer lal,
Integer row[],
double al[],
double d[],
NagError *fail) |
|
3
Description
nag_real_cholesky_skyline (f01mcc) determines the unit lower triangular matrix and the diagonal matrix in the Cholesky factorization of a symmetric positive definite variable-bandwidth matrix of order . (Such a matrix is sometimes called a ‘sky-line’ matrix.)
The matrix
is represented by the elements lying within the
envelope of its lower triangular part, that is, between the first nonzero of each row and the diagonal (see
Section 10 for an example). The width
of the
th row is the number of elements between the first nonzero element and the element on the diagonal, inclusive. Although, of course, any matrix possesses an envelope as defined, this function is primarily intended for the factorization of symmetric positive definite matrices with an
average bandwidth which is small compared with
(also see
Section 9).
The method is based on the property that during Cholesky factorization there is no fill-in outside the envelope.
The determination of
and
is normally the first of two steps in the solution of the system of equations
. The remaining step, viz. the solution of
may be carried out using
nag_real_cholesky_skyline_solve (f04mcc).
4
References
Jennings A (1966) A compact storage scheme for the solution of symmetric linear simultaneous equations Comput. J. 9 281–285
Wilkinson J H and Reinsch C (1971) Handbook for Automatic Computation II, Linear Algebra Springer–Verlag
5
Arguments
- 1:
– IntegerInput
-
On entry: , the order of the matrix .
Constraint:
.
- 2:
– const doubleInput
-
On entry: the elements within the envelope of the lower triangle of the positive definite symmetric matrix
, taken in row by row order. The following code assigns the matrix elements within the envelope to the correct elements of the array
k=0;
for(i=0; i<n; ++i)
for(j=i-row[i]+1; j<=i; ++j)
a[k++]=matrix[i][j];
See also
Section 9
- 3:
– IntegerInput
-
On entry: the smaller of the dimensions of the arrays
a and
al as declared in the function from which
nag_real_cholesky_skyline (f01mcc) is called.
Constraint:
.
- 4:
– IntegerInput
-
On entry: must contain the width of row of the matrix , i.e., the number of elements between the first (left-most) nonzero element and the element on the diagonal, inclusive.
Constraint:
, for .
- 5:
– doubleOutput
-
On exit: the elements within the envelope of the lower triangular matrix
, taken in row by row order. The envelope of
is identical to that of the lower triangle of
. The unit diagonal elements of
are stored explicitly. See also
Section 9
- 6:
– doubleOutput
-
On exit: the diagonal elements of the diagonal matrix . Note that the determinant of is equal to the product of these diagonal elements. If the value of the determinant is required it should not be determined by forming the product explicitly, because of the possibility of overflow or underflow. The logarithm of the determinant may safely be formed from the sum of the logarithms of the diagonal elements.
- 7:
– NagError *Input/Output
-
The NAG error argument (see
Section 3.7 in How to Use the NAG Library and its Documentation).
6
Error Indicators and Warnings
- NE_2_INT_ARG_GT
-
On entry, while . These arguments must satisfy .
- NE_2_INT_ARG_LT
-
On entry, while . These arguments must satisfy .
- NE_INT_ARG_LT
-
On entry, .
Constraint: .
On entry, must not be less than 1: .
- NE_NOT_POS_DEF
-
The matrix is not positive definite, possibly due to rounding errors.
- NE_NOT_POS_DEF_FACT
-
The matrix is not positive definite, possibly due to rounding errors. The factorization has been completed but may be very inaccurate.
7
Accuracy
On successful exit then the
computed and
satisfy the relation
, where
and
where
is a constant of order unity,
is the largest value of
, and
is the
machine precision. See pages 25–27 and 54–55 or
Wilkinson and Reinsch (1971). If the error
NE_NOT_POS_DEF_FACT is reported then the factorization has been completed although the matrix was not positive definite. However the factorization may be very inaccurate and should be used only with great caution. For instance, if it is used to solve a set of equations
using
nag_real_cholesky_skyline_solve (f04mcc), the residual vector
should be checked.
8
Parallelism and Performance
nag_real_cholesky_skyline (f01mcc) is not threaded in any implementation.
The time taken by nag_real_cholesky_skyline (f01mcc) is approximately proportional to the sum of squares of the values of .
The distribution of row widths may be very non-uniform without undue loss of efficiency. Moreover, the function has been designed to be as competitive as possible in speed with functions designed for full or uniformly banded matrices, when applied to such matrices.
The function may be called with the same actual array supplied for arguments
a and
al, in which case
overwrites the lower triangle of
.
10
Example
To obtain the Cholesky factorization of the symmetric matrix, whose lower triangle is
For this matrix, the elements of
row must be set to
,
,
,
,
,
, and the elements within the envelope must be supplied in row order as
10.1
Program Text
Program Text (f01mcce.c)
10.2
Program Data
Program Data (f01mcce.d)
10.3
Program Results
Program Results (f01mcce.r)