Skip to main content
SpringerLink
Log in

On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda

  • Published:
Reliable Computing

Abstract

In this paper we discuss the proofs of some results comparing existence statements for the solutions of nonlinear equations. In one important case we correct a proof already published.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alefeld, G., Frommer, A., Heindl, G., and Mayer, J.: On the Existence Theorems of Kantorovich, Miranda, and Borsuk, Electronic Transactions of Numerical Analysis, accepted.

  2. Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983.

    Google Scholar 

  3. Alefeld, G., Potra, F. A., and Shen, Z.: On the Existence Theorems of Kantorovich, Moore, and Miranda, in: Alefeld G. and Chen X. (eds), Topics in Numerical Analysis, Computing Supplementum 15, Springer Verlag, 2001, pp. 21–28.

  4. Alefeld, G. and Shen, Z.: Miranda’s Theorem and the Verification of Linear Complementarity Problems, Preprint Nr. 01/05, Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, University of Karlsruhe, 2001.

  5. Deuflhard, P. and Heindl, G.: Affine Invariant Convergence Theorems for Newton’s Method and Extensions to Related Methods, SIAM J. Numer. Analysis 16 (1979), pp. 1–10.

    Google Scholar 

  6. Frommer, A.: A Hierarchy of Existence Theorems for Nonlinear Equations, Talk presented at Dagstuhl Seminar on Numerical Software with Result Verification, 2003, http://www.cs.utep.edu/interval-comp/dagstuhl.03/from.pdf.

  7. Hansen, E. R.: Interval Forms of Newton’s Method, Computing 20 (1978), pp. 153–163.

    Google Scholar 

  8. Hansen, E. R.: Global Optimization Using Interval Analysis, Marcel Dekker, New York, 1992.

    Google Scholar 

  9. Heuser, H.: Lehrbuch der Analysis Teil 2, B.G. Teubner Verlag, Stuttgart, 9. Auflage, 1995.

  10. Miranda, C.: Un’osservatione su un theorema di Brouwer, Bolletino Unione Mathematica Italiana (1940), pp. 5–7.

  11. Moore, R. E.: A Test for Existence of Solutions to Nonlinear Systems, SIAM J. Numer. Analysis (1977), pp. 611–615.

  12. Neumaier, A. and Shen, Z.: The Krawczyk Operator and Kantorovich’s Theorem, Journal of Math. Anal. and Appl. 149 (1990), pp. 437–443.

    Google Scholar 

  13. Ortega, J. M. and Rheinboldt, W. C.: Iterative Solution of Nonlinear Equations in Several Variables, Academic Press, New York and London, 1970.

    Google Scholar 

  14. Rall, L. B.: A Comparison of the Existence Theorems of Kantorovich and Moore, SIAM J. Numer. Anal. 17 (1980), pp. 148–161.

    Google Scholar 

  15. Schnurr, M.: Die Sätze von Kantorovich, Moore und Miranda, Diploma thesis, University of Karlsruhe, 2002.

  16. Shen, Z. and Wolfe, M. A.: A Note on the Comparison of the Kantorovich and Moore Theorems, Nonlinear Analysis, Theory, Methods and Appl. 15 (1990), pp. 229–232.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Angewandte Mathematik, University of Karlsruhe, D-76128, Karlsruhe, Germany

    Marco Schnurr

Authors
  1. Marco Schnurr
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marco Schnurr.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schnurr, M. On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda. Reliable Comput 11, 77–85 (2005). https://doi.org/10.1007/s11155-005-5944-6

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11155-005-5944-6

Keywords

Search

Navigation