On the proofs of some statements concerning the theorems of Kantorovich, Moore, and Miranda

DOI10.1007/S11155-005-5944-6MaRDI QIDQ2484031zbMATH OpenOpenAlexFDO

Authors Marco Schnurr

Publication date 2 August 2005

Published in Reliable Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11155-005-5944-6

zbMATH Keywords

comparisonKantorovich's theoremMiranda's theoremMoore's theoremnonlinear equation

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10)

Review text

The theorems of Kantorovich, Miranda and Moore are amongst the most important results proving the existence of solutions of nonlinear equations (in \(\mathbb{R}^n\)). Because they are based on assumptions not similar or not directly comparable, it is of interest to establish a hierarchy of these theorems, in several contexts. The main aim of the paper under review is to show that the proof of such a comparison result of Moore's and Miranda's theorems presented by \textit{Z. Shen} and \textit{M. A. Wolfe} [Nonlinear Anal., Theory Methods Appl. 15, 229--232 (1990; Zbl 0727.65045)] is incorrect. This result essentially states that if the assumptions of Moore's theorem are fulfilled, then the assumptions of Miranda's theorem are satisfied, too. The author then provides a correct proof of this statement.

Recommendations

• scientific article; zbMATH DE number 1694899
• On the comparison of a Kantorovich-type and Moore theorems
• On the existence theorems of Kantorovich, Miranda and Borsuk
• A comparison of the Moore and Miranda existence tests
• scientific article; zbMATH DE number 3881783

Cites work

• A Comparison of the Existence Theorems of Kantorovich and Moore
• A note on the comparison of the Kantorovich and Moore theorems
• A Test for Existence of Solutions to Nonlinear Systems
• Affine Invariant Convergence Theorems for Newton’s Method and Extensions to Related Methods
• scientific article; zbMATH DE number 1694899 (Why is no real title available?)
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 3708703 (Why is no real title available?)
• scientific article; zbMATH DE number 54095 (Why is no real title available?)
• scientific article; zbMATH DE number 3381785 (Why is no real title available?)
• Interval forms of Newtons method
• The Krawczyk operator and Kantorovich's theorem

Cited in

(10)

• A framework for existence tests based on the topological degree and homotopy
• Slope enclosures for functions given by two or more branches
• On the comparison of a Kantorovich-type and Moore theorems
• On the comparison of a weak variant of the Newton--Kantorovich and Miranda theorems.
• On the existence theorems of Kantorovich, Miranda and Borsuk
• Computing slope enclosures by exploiting a unique point of inflection
• scientific article; zbMATH DE number 1694899 (Why is no real title available?)
• scientific article; zbMATH DE number 3881783 (Why is no real title available?)
• Proving the existence of zeros using the topological degree and interval arithmetic
• Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests

This page was built for publication: On the proofs of some statements concerning the theorems of Kantorovich, Moore, and Miranda

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2484031)