NAG Library Routine Document
F02SDF
1 Purpose
F02SDF finds the eigenvector corresponding to a given real eigenvalue for the generalized problem Ax=λBx, or for the standard problem Ax=λx, where A and B are real band matrices.
2 Specification
SUBROUTINE F02SDF ( |
N, MA1, MB1, A, LDA, B, LDB, SYM, RELEP, RMU, VEC, D, IWORK, WORK, LWORK, IFAIL) |
INTEGER |
N, MA1, MB1, LDA, LDB, IWORK(N), LWORK, IFAIL |
REAL (KIND=nag_wp) |
A(LDA,N), B(LDB,N), RELEP, RMU, VEC(N), D(30), WORK(LWORK) |
LOGICAL |
SYM |
|
3 Description
Given an approximation μ to a real eigenvalue λ of the generalized eigenproblem Ax=λBx, F02SDF attempts to compute the corresponding eigenvector by inverse iteration.
F02SDF first computes lower and upper triangular factors, L and U, of A-μB, using Gaussian elimination with interchanges, and then solves the equation Ux=e, where e=1,1,1,…,1T – this is the first half iteration.
There are then three possible courses of action depending on the input value of
D1.
- D1=0.
This setting should be used if λ is an ill-conditioned eigenvalue (provided the matrix elements do not vary widely in order of magnitude). In this case it is essential to accept only a vector found after one half iteration, and μ must be a very good approximation to λ. If acceptable growth is achieved in the solution of Ux=e, then the normalized x is accepted as the eigenvector. If not, columns of an orthogonal matrix are tried in turn in place of e. If none of these give acceptable growth, the routine fails, indicating that μ was not a sufficiently good approximation to λ.
- D1>0.
This setting should be used if μ is moderately close to an eigenvalue which is not ill-conditioned (provided the matrix elements do not differ widely in order of magnitude). If acceptable growth is achieved in the solution of Ux=e, the normalized x is accepted as the eigenvector. If not, inverse iteration is performed. Up to 30 iterations are allowed to achieve a vector and a correction to μ which together give acceptably small residuals.
- D1<0.
This setting should be used if the elements of A and B vary widely in order of magnitude. Inverse iteration is performed, but a different convergence criterion is used.
See
Section 8.3 for further details.
Note that the bandwidth of the matrix A must not be less than the bandwidth of B. If this is not so, either A must be filled out with zeros, or matrices A and B may be reversed and 1/μ supplied as an approximation to the eigenvalue 1/λ. Also it is assumed that A and B each have the same number of subdiagonals as superdiagonals. If this is not so, they must be filled out with zeros. If A and B are both symmetric, only the upper triangles need be supplied.
4 References
Peters G and Wilkinson J H (1979) Inverse iteration, ill-conditioned equations and Newton's method
SIAM Rev. 21 339–360
Wilkinson J H (1965)
The Algebraic Eigenvalue Problem Oxford University Press, Oxford
Wilkinson J H (1972) Inverse iteration in theory and practice
Symposia Mathematica Volume X 361–379 Istituto Nazionale di Alta Matematica, Monograf, Bologna
Wilkinson J H (1974) Notes on inverse iteration and ill-conditioned eigensystems
Acta Univ. Carolin. Math. Phys. 1–2 173–177
Wilkinson J H (1979) Kronecker's canonical form and the
QZ algorithm
Linear Algebra Appl. 28 285–303
5 Parameters
- 1: N – INTEGERInput
On entry: n, the order of the matrices A and B.
Constraint:
N≥1.
- 2: MA1 – INTEGERInput
On entry: the value mA+1, where mA is the number of nonzero lines on each side of the diagonal of A. Thus the total bandwidth of A is 2mA+1.
Constraint:
1≤MA1≤N.
- 3: MB1 – INTEGERInput
On entry: if
MB1≤0,
B is assumed to be the unit matrix. Otherwise
MB1 must specify the value
mB+1, where
mB is the number of nonzero lines on each side of the diagonal of
B. Thus the total bandwidth of
B is
2mB+1.
Constraint:
MB1≤MA1.
- 4: A(LDA,N) – REAL (KIND=nag_wp) arrayInput/Output
On entry: the
n by
n band matrix
A. The
mA subdiagonals must be stored in the first
mA rows of the array; the diagonal in the (
mA+1)th row; and the
mA superdiagonals in rows
mA+2 to
2mA+1. Each row of the matrix must be stored in the corresponding column of the array. For example, if
n=6 and
mA=2 the storage scheme is:
Elements of the array marked
* need not be set. The following code assigns the matrix elements within the band to the correct elements of the array:
DO 20 J = 1, N DO 10 I = MAX(1,J-MA1+1), MIN(N,J+MA1-1) A(I-J+MA1,J) = matrix(J,I) 10 CONTINUE 20 CONTINUE
If
SYM=.TRUE. (i.e., both
A and
B are symmetric), only the lower triangle of
A need be stored in the first
MA1 rows of the array.
On exit: details of the factorization of A-λ-B, where λ- is an estimate of the eigenvalue.
- 5: LDA – INTEGERInput
On entry: the first dimension of the array
A as declared in the (sub)program from which F02SDF is called.
Constraint:
LDA≥2×MA1-1.
- 6: B(LDB,N) – REAL (KIND=nag_wp) arrayInput/Output
On entry: if
MB1>0,
B must contain the
n by
n band matrix
B, stored in the same way as
A. If
SYM=.TRUE., only the lower triangle of
B need be stored in the first
MB1 rows of the array.
If MB1≤0, the array is not used.
On exit: elements in the top-left corner, and in the bottom right corner if SYM=.FALSE., are set to zero; otherwise the array is unchanged.
- 7: LDB – INTEGERInput
On entry: the first dimension of the array
B as declared in the (sub)program from which F02SDF is called.
Constraints:
- if SYM=.FALSE., LDB≥2×MB1-1;
- if SYM=.TRUE., LDB≥MB1.
- 8: SYM – LOGICALInput
On entry: if
SYM=.TRUE., both
A and
B are assumed to be symmetric and only their upper triangles need be stored. Otherwise
SYM must be set to .FALSE..
- 9: RELEP – REAL (KIND=nag_wp)Input
On entry: the relative error of the coefficients of the given matrices
A and
B. If the value of
RELEP is less than the
machine precision, the
machine precision is used instead.
- 10: RMU – REAL (KIND=nag_wp)Input
On entry: μ, an approximation to the eigenvalue for which the corresponding eigenvector is required.
- 11: VEC(N) – REAL (KIND=nag_wp) arrayOutput
On exit: the eigenvector, normalized so that the largest element is unity, corresponding to the improved eigenvalue RMU+D30.
- 12: D(30) – REAL (KIND=nag_wp) arrayInput/Output
On entry:
D1 must be set to indicate the type of problem (see
Section 3):
- D1>0.0
- Indicates a well-conditioned eigenvalue.
- D1=0.0
- Indicates an ill-conditioned eigenvalue.
- D1<0.0
- Indicates that the matrices have elements varying widely in order of magnitude.
On exit: if
D1≠0.0 on entry, the successive corrections to
μ are given in
Di, for
i=1,2,…,k, where
k+1 is the total number of iterations performed. The final correction is also given in the last position,
D30, of the array. The remaining elements of
D are set to zero.
If D1=0.0 on entry, no corrections to μ are computed and
Di is set to 0.0, for i=1,2,…,30. Thus in all three cases the best available approximation to the eigenvalue is RMU+D30.
- 13: IWORK(N) – INTEGER arrayWorkspace
- 14: WORK(LWORK) – REAL (KIND=nag_wp) arrayWorkspace
- 15: LWORK – INTEGERInput
On entry: the dimension of the array
WORK as declared in the (sub)program from which F02SDF is called.
Constraints:
- if D1≠0.0, LWORK≥N×MA1+1;
- if D1=0.0, LWORK≥2×N.
- 16: IFAIL – INTEGERInput/Output
-
On entry:
IFAIL must be set to
0,
-1 or 1. 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
-1 or 1 is recommended. If the output of error messages is undesirable, then the value
1 is recommended. Otherwise, if you are not familiar with this parameter, the recommended value is
0.
When the value -1 or 1 is used it is essential to test the value of IFAIL on exit.
On exit:
IFAIL=0 unless the routine detects an error or a warning has been flagged (see
Section 6).
6 Error Indicators and Warnings
If on entry
IFAIL=0 or
-1, explanatory error messages are output on the current error message unit (as defined by
X04AAF).
Errors or warnings detected by the routine:
- IFAIL=1
On entry, | N<1, |
or | MA1<1, |
or | MA1>N, |
or | LDA<2×MA1-1, |
or | LDB<MB1 when SYM=.TRUE., |
or | LDB<2×MB1-1 when SYM=.FALSE. (LDB is not checked if MB1≤0). |
- IFAIL=2
On entry, | MA1<MB1. Either fill out A with zeros, or reverse the roles of A and B, and replace RMU by its reciprocal, i.e., solve Bx=λ-1Ax. |
- IFAIL=3
On entry, | LWORK<2×N when D1=0.0, |
or | LWORK<N×MA1+1 when D1≠0.0. |
- IFAIL=4
A is null. If
B is nonsingular, all the eigenvalues are zero and any set of
N orthogonal vectors forms the eigensolution.
- IFAIL=5
B is null. If A is nonsingular, all the eigenvalues are infinite, and the columns of the unit matrix are eigenvectors.
- IFAIL=6
On entry, | A and B are both null. The eigensolution is arbitrary. |
- IFAIL=7
D1≠0.0 on entry and convergence is not achieved in
30 iterations. Either the eigenvalue is ill-conditioned or
RMU is a poor approximation to the eigenvalue. See
Section 8.3.
- IFAIL=8
D1=0.0 on entry and no eigenvector has been found after
minN,5 back-substitutions.
RMU is not a sufficiently good approximation to the eigenvalue.
- IFAIL=9
D1<0.0 on entry and
RMU is too inaccurate for the solution to converge.
7 Accuracy
The eigensolution is exact for some problem
where
E,F are of the order of
ηA+μB, where
η is the value used for
RELEP.
8 Further Comments
8.1 Timing
The time taken by F02SDF is approximately proportional to n
2mA+1
2 for factorization, and to n2mA+1 for each iteration.
8.2 Storage
The storage of the matrices A and B is designed for efficiency on a paged machine.
F02SDF will work with full matrices but it will do so inefficiently, particularly in respect of storage requirements.
8.3 Algorithmic Details
Inverse iteration is performed according to the rule
where
αr+1 is the element of
yr+1 of largest magnitude.
Thus:
Hence the residual corresponding to
xr+1 is very small if
αr+1 is very large (see
Peters and Wilkinson (1979)). The first half iteration,
Uy1=e, corresponds to taking
L-1PBx0=e.
If
μ is a very accurate eigenvalue, then there should always be an initial vector
x0 such that one half iteration gives a small residual and thus a good eigenvector. If the eigenvalue is ill-conditioned, then second and subsequent iterated vectors may not be even remotely close to an eigenvector of a neighbouring problem (see pages 374–376 of
Wilkinson (1972) and
Wilkinson (1974)). In this case it is essential to accept only a vector obtained after one half iteration.
However, for well-conditioned eigenvalues, there is no loss in performing more than one iteration (see page 376 of
Wilkinson (1972)), and indeed it will be necessary to iterate if
μ is not such a good approximation to the eigenvalue. When the iteration has converged,
yr+1 will be some multiple of
xr,
yr+1=βr+1xr, say.
Therefore
giving
Thus
μ+
1βr+1
is a better approximation to the eigenvalue.
βr+1 is obtained as the element of
yr+1 which corresponds to the element of largest magnitude,
+1, in
xr. The routine terminates when
A-μ+
1
βr
B
xr
is of the order of the
machine precision relative to
A+μB.
If the elements of A and B vary widely in order of magnitude, then A and B are excessively large and a different convergence test is required. The routine terminates when the difference between successive corrections to μ is small relative to μ.
In practice one does not necessarily know if the given problem is well-conditioned or ill-conditioned. In order to provide some information on the condition of the eigenvalue or the accuracy of
μ in the event of failure, successive values of
1βr
are stored in the vector
D when
D1 is nonzero on input. If these values appear to be converging steadily, then it is likely that
μ was a poor approximation to the eigenvalue and it is worth trying again with
RMU+D30 as the initial approximation. If the values in
D vary considerably in magnitude, then the eigenvalue is ill-conditioned.
A discussion of the significance of the singularity of
A and/or
B is given in relation to the
QZ algorithm in
Wilkinson (1979).
9 Example
Given the generalized eigenproblem
Ax=λBx where
find the eigenvector corresponding to the approximate eigenvalue
-12.33.
Although
B is symmetric,
A is not, so
SYM must be set to .FALSE. and all the elements of
B in the band must be supplied to the routine.
A (as written above) has
1 subdiagonal and
2 superdiagonals, so
MA1 must be set to
3 and
A filled out with an additional subdiagonal of zeros. Each row of the matrices is read in as data in turn.
9.1 Program Text
Program Text (f02sdfe.f90)
9.2 Program Data
Program Data (f02sdfe.d)
9.3 Program Results
Program Results (f02sdfe.r)