NAG Library Routine Document
F01EJF
1 Purpose
F01EJF computes the principal matrix logarithm, , of a real by matrix , with no eigenvalues on the closed negative real line.
2 Specification
INTEGER |
N, LDA, IFAIL |
REAL (KIND=nag_wp) |
A(LDA,*), IMNORM |
|
3 Description
Any nonsingular matrix has infinitely many logarithms. For a matrix with no eigenvalues on the closed negative real line, the principal logarithm is the unique logarithm whose spectrum lies in the strip .
is computed using the Schur–Parlett algorithm for the matrix logarithm described in
Higham (2008) and
Davies and Higham (2003).
4 References
Davies P I and Higham N J (2003) A Schur–Parlett algorithm for computing matrix functions. SIAM J. Matrix Anal. Appl. 25(2) 464–485
Higham N J (2008) Functions of Matrices: Theory and Computation SIAM, Philadelphia, PA, USA
5 Parameters
- 1: N – INTEGERInput
On entry: , the order of the matrix .
Constraint:
.
- 2: A(LDA,) – REAL (KIND=nag_wp) arrayInput/Output
-
Note: the second dimension of the array
A
must be at least
.
On entry: the by matrix .
On exit: the by principal matrix logarithm, .
- 3: LDA – INTEGERInput
On entry: the first dimension of the array
A as declared in the (sub)program from which F01EJF is called.
Constraint:
.
- 4: IMNORM – REAL (KIND=nag_wp)Output
On exit: if
has complex eigenvalues, F01EJF will use complex arithmetic to compute
. The imaginary part is discarded at the end of the computation, because it will theoretically vanish.
IMNORM contains the
-norm of the imaginary part, which should be used to check that the routine has given a reliable answer.
If has real eigenvalues, F01EJF uses real arithmetic and .
- 5: IFAIL – INTEGERInput/Output
-
On entry:
IFAIL must be set to
,
. If you are unfamiliar with this parameter you should refer to
Section 3.3 in the Essential Introduction for details.
For environments where it might be inappropriate to halt program execution when an error is detected, the value
is recommended. If the output of error messages is undesirable, then the value
is recommended. Otherwise, if you are not familiar with this parameter, the recommended value is
.
When the value is used it is essential to test the value of IFAIL on exit.
On exit:
unless the routine detects an error or a warning has been flagged (see
Section 6).
6 Error Indicators and Warnings
If on entry
or
, explanatory error messages are output on the current error message unit (as defined by
X04AAF).
Errors or warnings detected by the routine:
-
is singular so the logarithm cannot be computed.
-
was found to have eigenvalues on the negative real line.
The principal logarithm is not defined in this case,
F01FJF can be used to find a complex non-principal logarithm.
-
The arithmetic precision is higher than that used for the Padé approximant computed matrix logarithm.
-
An unexpected internal error occurred.
Please contact
NAG.
-
On entry, .
Constraint: .
-
On entry, and .
Constraint: .
-
Allocation of memory failed.
The real allocatable memory required is approximately .
7 Accuracy
For a normal matrix
(for which
), the Schur decomposition is diagonal and the algorithm reduces to evaluating the logarithm of the eigenvalues of
and then constructing
using the Schur vectors. This should give a very accurate result. In general, however, no error bounds are available for the algorithm. See Section 9.4 of
Higham (2008) for details and further discussion.
For discussion of the condition of the matrix logarithm see Section 11.2 of
Higham (2008). In particular, the condition number of the matrix logarithm at
,
, which is a measure of the sensitivity of the computed logarithm to perturbations in the matrix
, satisfies
where
is the condition number of
. Further, the sensitivity of the computation of
is worst when
has an eigenvalue of very small modulus, or has a complex conjugate pair of eigenvalues lying close to the negative real axis.
If has real eigenvalues then up to of real allocatable memory may be required. Otherwise up to of
complex
allocatable memory may be required.
The cost of the algorithm is
floating point operations. The exact cost depends on the eigenvalue distribution of
; see Algorithm 11.11 of
Higham (2008).
If estimates of the condition number of the matrix logarithm are required then
F01JAF should be used.
F01FJF can be used to find the principal logarithm of a complex matrix. It can also be used to return a complex, non-principal logarithm if a real matrix has no principal logarithm due to the presence of negative eigenvalues.
9 Example
This example finds the principal matrix logarithm of the matrix
9.1 Program Text
Program Text (f01ejfe.f90)
9.2 Program Data
Program Data (f01ejfe.d)
9.3 Program Results
Program Results (f01ejfe.r)