Abstract
Richardson splitting applied to a consistent system of linear equations Cx = b with a singular matrix C yields to an iterative method xk+1 = Axk + b where A has the eigenvalue one. It is known that each sequence of iterates is convergent to a vector x* = x* (x0) if and only if A is semi-convergent. In order to enclose such vectors we consider the corresponding interval iteration \([x]^{k+1} = [A][x]^k+[b]\) with ρ(|[A]|) = 1 where |[A]| denotes the absolute value of the interval matrix [A]. If |[A]| is irreducible we derive a necessary and sufficient criterion for the existence of a limit \([x]^* = [x]^*([x]^0)\) of each sequence of interval iterates. We describe the shape of \([x]^*\) and give a connection between the convergence of (\([x]^k\)) and the convergence of the powers \([A]^k\) of [A].
Similar content being viewed by others
References
Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983.
Berman, A. and Plemmons, R. J.: Nonnegative Matrices in the Mathematical Sciences, Classics in Applied Mathematics 9, SIAM, Philadelphia, 1994.
Horn, R. A. and Johnson, C. R.: Matrix Analysis, Cambridge University Press, Cambridge, 1994.
Maeß, G.: Iterative Lösung linearer Gleichungssysteme, Nova Acta Leopoldina, Neue Folge 238, Band 52, Deutsche Akademie der Naturforscher Leopoldina, Halle (Saale), 1979.
Mayer, G.: On the Convergence of Powers of Interval Matrices, Linear Algebra Appl. 58 (1984), pp. 201–216.
Mayer, G.: On the Convergence of Powers of Interval Matrices (2), Numer. Math. 46 (1985), pp. 69–83.
Mayer, G. and Warnke, I.: On the Shape of the Fixed Points of [A]([x])=[A][x]+[b], in: Alefeld, G., Rohn, J., Rump, S. M., and Yamamoto, T.(eds.), Symbolic Algebraic Methods and Verification Methods—Theory and Applications, Springer, Wien, 2001, pp. 11–20.
Mayer, G. and Warnke, I.: On the Limit of the Total Step Method in Interval Analysis, in: Kulisch, U., Lohner, R., and Facius, A.(eds.), Perspectives on Enclosure Methods, Springer, Wien, 2001, pp. 157–172.
Mayer, G. and Warnke, I.: On the Fixed Points of the Interval Function [A]([x])=[A][x]+[b], Linear Algebra Appl. 363 (2003), pp. 201–216.
Mayer, O.: Über die in der Intervallrechnung auftretenden Räume und einige Anwendungen, Ph. D.Thesis, Universität Karlsruhe, Karlsruhe, 1968.
Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990.
Pang, C.-T., Lur, Y.-Y., and Guu, S.-M.: A New Proof of Mayer’s Theorem, Linear Algebra Appl. 350 (2002), pp. 273–278.
Rump, S. M.: INTLAB—INTerval LABoratory, in: Csendes, T.(ed.), Developements in Reliable Computing, Kluwer Academic Publishers, Dordrecht, 1999, pp. 77–104.
Varga, R. S.: Matrix Iterative Analysis, 2nd ed., Springer, Berlin, 2000.
Young, D. M.: Iterative Solution of Large Linear Systems, Academic Press, New York, 1971.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor G. Maeβ on the occasion of his 65th birthday
Rights and permissions
About this article
Cite this article
Alefeld, G., Mayer, G. Enclosing Solutions of Singular Interval Systems Iteratively. Reliable Comput 11, 165–190 (2005). https://doi.org/10.1007/s11155-005-3614-3
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11155-005-3614-3