Abstract
For contractive interval functions [g] we show that \([g]([x]_\varepsilon ^{k_0 } ) \subseteq \operatorname{int} ([x]_\varepsilon ^{k_0 } )\) results from the iterative process \([x]^{k + 1} : = [g]([x]_\varepsilon ^k )\) after finitely many iterations if one uses the epsilon-inflated vector \([x]_\varepsilon ^k\) as input for [g] instead of the original output vector [x]k. Applying Brouwer's fixed point theorem, zeros of various mathematical problems can be verified in this way.
Similar content being viewed by others
References
G. Alefeld: Rigorous Error Bounds for Singular Values of a Matrix Using the Precise Scalar Product. Computerarithmetic (E. Kaucher, U. Kulisch and Ch. Ullrich, eds.). Teubner, Stuttgart, 1987, pp. 9–30.
G. Alefeld and J. Herzberger: Introduction to Interval Computations. Academic Press, New York, 1983.
G. Alefeld and H. Spreuer: Iterative improvement of componentwise error bounds for invariant subspaces belonging to a double or nearly double eigenvalue. Computing 36 (1986), 321–334.
O. Caprani and K. Madsen: Iterative methods for interval inclusion of fixed points. BIT 18 (1978), 42–51.
K. Grüner: Solving the Complex Algebraic Eigenvalue Problem with Verified High Accuracy. Accurate Numerical Algorithms, A Collection of Research Papers, Research Reports ESPRIT, Project 1072, DIAMOND, Vol. 1 (Ch. Ullrich and J. Wolff von Gudenberg, eds.). Springer, Berlin, 1989, pp. 59–78.
S. König: On the Inflation Parameter Used in Self-Validating Methods. Contributions to Computer Arithmetic and Self-Validating Numerical Methods (Ch. Ullrich, ed.). Baltzer, IMACS, Basel, 1990, pp. 127–132.
G. Mayer: Result Verification for Eigenvectors and Eigenvalues. Topics in Validated Computations (J. Herzberger, ed.). Elsevier, Amsterdam, 1994, pp. 209–276.
G. Mayer: Über ein Prinzip in der Verifikationsnumerik. Z. angew. Math. Mech. 75 (1995), S II, S 545–S 546.
G. Mayer: Epsilon-inflation in verification algorithms. J. Comp. Appl. Math. 60 (1995), 147–169.
G. Mayer: On a unified representation of some interval analytic algorithms. Rostock. Math. Kolloq. 49 (1995), 75–88.
G. Mayer: Success in Epsilon-Inflation. Scientific Computing and Validated Numerics (G. Alefeld, A. Frommer and B. Lang, eds.). Akademie Verlag, Berlin, 1996, pp. 98–104.
A. Neumaier: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, 1990.
S. M. Rump: Kleine Fehlerschranken bei Matrixproblemen. Thesis, Universität Karlsruhe, 1980.
S. M. Rump: Solving Algebraic Problems with High Accuracy. A New Approach to Scientific Computation (U. W. Kulisch and W. L. Miranker, eds.). Academic Press, New York, 1983, pp. 53–120.
S. M. Rump: New Results in Verified Inclusions. Accurate Scientific Computation, Lecture Notes in Computer Science Vol. 235 (W. L. Miranker and R. A. Toupin, eds.). Springer, Berlin, 1986, pp. 31–69.
S. M. Rump: On the solution of interval linear systems. Computing 47 (1992), 337–353.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mayer, G. Epsilon-inflation with contractive interval functions. Applications of Mathematics 43, 241–254 (1998). https://doi.org/10.1023/A:1023297204431
Issue Date:
DOI: https://doi.org/10.1023/A:1023297204431