On the Sensitivity of Solution Components in Linear Systems of Equations

Expressions are presented for the errors in individual components of the solution to systems of linear equations and linear least squares problems. No assumptions about the structure or distribution of the perturbations are made. The resulting "componentwise condition numbers" measure the sensitivity of each solution component to perturbations. It is shown that any linear system has at least one solution component whose sensitivity to perturbations is proportional to the condition number of the matrix; but there may exist many components that are much better conditioned. Unless the perturbations are restricted, no norm-based relative error bound can predict the presence of well-conditioned components, so these componentwise condition numbers are essential. For the class of componentwise perturbations, necessary and sufficient conditions are given under which Skeel's condition numbers are informative, and it is shown that these conditions are similar to conditions where componentwise condition numbers are useful. Numerical experiments not only confirm that these circumstances do occur frequently, they also illustrate that for many classes of matrices the ill conditioning of the matrix is due to a few rows of the inverse only. This means that many of the solution components are computed more accurately than current analyses predict.

[1]  David E. Keyes,et al.  Flame sheet starting estimates for counterflow diffusion flame problems , 1987 .

[2]  Robert J. Plemmons,et al.  Nonnegative Matrices in the Mathematical Sciences , 1979, Classics in Applied Mathematics.

[3]  G. Stewart,et al.  A Stable Variant of the Secant Method for Solving Nonlinear Equations , 1976 .

[4]  Nicholas J. Higham,et al.  Algorithm 694: a collection of test matrices in MATLAB , 1991, TOMS.

[5]  Sven G. Bartels,et al.  The structured sensitivity of Vandermonde-like systems , 1992 .

[6]  L. Trefethen,et al.  Average-case stability of Gaussian elimination , 1990 .

[7]  A. J. Geurts,et al.  A contribution to the theory of condition , 1982 .

[8]  Nicholas J. Highham A survey of condition number estimation for triangular matrices , 1987 .

[10]  Ilse C. F. Ipsen,et al.  Uniform Stability of Markov Chains , 1994, SIAM J. Matrix Anal. Appl..

[11]  Å. Björck Component-wise perturbation analysis and error bounds for linear least squares solutions , 1991 .

[12]  Axel Ruhe Properties of a matrix with a very ill-conditioned eigenproblem , 1970 .

[13]  A. Sluis Condition, equilibration and pivoting in linear algebraic systems , 1970 .

[14]  Nicholas J. Higham,et al.  Error analysis of the Björck-Pereyra algorithms for solving Vandermonde systems , 1987 .

[15]  J. Gillis,et al.  Matrix Iterative Analysis , 1961 .

[16]  A. Sluis Stability of solutions of linear algebraic systems , 1970 .

[17]  G. Golub,et al.  Linear least squares solutions by householder transformations , 1965 .

[18]  T. Chan,et al.  Effectively Well-Conditioned Linear Systems , 1988 .

[19]  Nicholas J. Higham,et al.  Stability analysis of algorithms for solving confluent Vandermonde-like systems , 1990 .

[20]  L. Foster Rank and null space calculations using matrix decomposition without column interchanges , 1986 .

[21]  G. Stewart Collinearity and Least Squares Regression , 1987 .

[22]  Robert D. Skeel,et al.  Scaling for Numerical Stability in Gaussian Elimination , 1979, JACM.

[23]  A. Sluis Condition numbers and equilibration of matrices , 1969 .

[24]  Nicholas J. Higham,et al.  The accuracy of solutions to triangular systems , 1989 .

[25]  G. Stewart,et al.  Rank degeneracy and least squares problems , 1976 .

[26]  Ilse C. F. Ipsen,et al.  From Bareiss' Algorithm to the Stable Computation of Partial Correlations , 1989 .

[27]  J. L. Rigal,et al.  On the Compatibility of a Given Solution With the Data of a Linear System , 1967, JACM.

[28]  V. N. Bogaevski,et al.  Matrix Perturbation Theory , 1991 .