A theory of interval iteration

Rall, L. B.

doi:10.1090/S0002-9939-1982-0674094-1

A theory of interval iteration
HTML articles powered by AMS MathViewer

by L. B. Rall PDF

Proc. Amer. Math. Soc. 86 (1982), 625-631 Request permission

Abstract:

A theory of interval iteration, based on a few simple assumptions, is given for the fixed point problem for operators in partially ordered topological spaces. A comparison of interval with ordinary iteration is made which shows that their properties are converse in a certain sense with respect to existence or nonexistence of fixed points. The theory of interval iteration is shown to hold without modification if the computation is restricted to a finite set of points, as in actual practice. In this latter case, interval iteration is shown to converge or diverge in a finite number of steps, for which an upper bound is given. By the introduction of a suitable iteration operator, the method of interval iteration is extended to the problem of solution of equations in linear spaces.

References

Götz Alefeld, Intervallanalytische Methoden bei nichtlinearen Gleichungen, Jahrbuch Überblicke Mathematik, 1979, Bibliographisches Inst., Mannheim, 1979, pp. 63–78 (German). MR 554359
Garrett Birkhoff, Lattice Theory, Revised edition, American Mathematical Society Colloquium Publications, Vol. 25, American Mathematical Society, New York, N. Y., 1948. MR 0029876
O. Caprani and K. Madsen, Mean value forms in interval analysis, Computing 25 (1980), no. 2, 147–154 (English, with German summary). MR 620389, DOI 10.1007/BF02259640
R. Krawczyk, Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken, Computing (Arch. Elektron. Rechnen) 4 (1969), 187–201 (German, with English summary). MR 255046, DOI 10.1007/bf02234767
R. Krawczyk, Interval extensions and interval iterations, Computing 24 (1980), no. 2-3, 119–129 (English, with German summary). MR 620082, DOI 10.1007/BF02281718
Ramon E. Moore, Interval analysis, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1966. MR 0231516
R. E. Moore, A test for existence of solutions to nonlinear systems, SIAM J. Numer. Anal. 14 (1977), no. 4, 611–615. MR 657002, DOI 10.1137/0714040
Ramon E. Moore, Methods and applications of interval analysis, SIAM Studies in Applied Mathematics, vol. 2, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, Pa., 1979. MR 551212
R. E. Moore and S. T. Jones, Safe starting regions for iterative methods, SIAM J. Numer. Anal. 14 (1977), no. 6, 1051–1065. MR 468147, DOI 10.1137/0714072

On the Newton method in interval analysis

Karl L. Nickel, Stability and convergence of monotonic algorithms, J. Math. Anal. Appl. 54 (1976), no. 1, 157–172. MR 413480, DOI 10.1016/0022-247X(76)90242-0
J. M. Ortega and W. C. Rheinboldt, Iterative solution of nonlinear equations in several variables, Academic Press, New York-London, 1970. MR 0273810
L. B. Rall, A comparison of the existence theorems of Kantorovich and Moore, SIAM J. Numer. Anal. 17 (1980), no. 1, 148–161. MR 559469, DOI 10.1137/0717015
Waclaw Sierpinski, General topology, Mathematical Expositions, No. 7, University of Toronto Press, Toronto, 1952. Translated by C. Cecilia Krieger. MR 0050870