F07FUF (ZPOCON) estimates the condition number of a complex Hermitian positive definite matrix
$A$, where
$A$ has been factorized by
F07FRF (ZPOTRF).
F07FUF (ZPOCON) estimates the condition number (in the
$1$-norm) of a complex Hermitian positive definite matrix
$A$:
Since
$A$ is Hermitian,
${\kappa}_{1}\left(A\right)={\kappa}_{\infty}\left(A\right)={\Vert A\Vert}_{\infty}{\Vert {A}^{-1}\Vert}_{\infty}$.
The routine should be preceded by a call to
F06UCF to compute
${\Vert A\Vert}_{1}$ and a call to
F07FRF (ZPOTRF) to compute the Cholesky factorization of
$A$. The routine then uses Higham's implementation of Hager's method (see
Higham (1988)) to estimate
${\Vert {A}^{-1}\Vert}_{1}$.
Higham N J (1988) FORTRAN codes for estimating the one-norm of a real or complex matrix, with applications to condition estimation ACM Trans. Math. Software 14 381–396
The computed estimate
RCOND is never less than the true value
$\rho $, and in practice is nearly always less than
$10\rho $, although examples can be constructed where
RCOND is much larger.
A call to F07FUF (ZPOCON) involves solving a number of systems of linear equations of the form
$Ax=b$; the number is usually
$5$ and never more than
$11$. Each solution involves approximately
$8{n}^{2}$ real floating point operations but takes considerably longer than a call to
F07FSF (ZPOTRS) with one right-hand side, because extra care is taken to avoid overflow when
$A$ is approximately singular.
The real analogue of this routine is
F07FGF (DPOCON).
This example estimates the condition number in the
$1$-norm (or
$\infty $-norm) of the matrix
$A$, where
Here
$A$ is Hermitian positive definite and must first be factorized by
F07FRF (ZPOTRF). The true condition number in the
$1$-norm is
$201.92$.