zbMATH — the first resource for mathematics

Exclusion regions for systems of equations. (English) Zbl 1080.65041
Authors’ abstract: Branch and bound methods for finding all zeros of a system of nonlinear equations in a box frequently have the difficulty that subboxes containing no solution cannot be easily eliminated if there is a nearby zero outside the box. This has the effect that near each zero many small boxes are created by repeated splitting, whose processing may dominate the total work spent on the global search.
This paper discusses the reasons for the occurrence of this so-called cluster effect and how to reduce the cluster effect by defining exclusion regions around each zero found that are guaranteed to contain no other zero and hence can safely be discarded.
Such exclusion regions are traditionally constructed using uniqueness tests based on the Krawczyk operator or the Kantorovich theorem. These results are reviewed; moreover, refinements are proved that significantly enlarge the size of the exclusion region. Existence and uniqueness tests are also given.

65H10 Numerical computation of solutions to systems of equations
65G30 Interval and finite arithmetic
Full Text: DOI