Existence Test for Asynchronous Interval Iteration

Abstract

In the search for regions that contain fixed points of a real function of several variables, tests based on interval calculations can be used to establish existence or non-existence of fixed points in regions that are examined in the course of the search. The search can e.g. be performed as a synchronous (sequential) interval iteration: In each iteration step all components of the iterate are calculated based on the previous iterate. In this case it is straight forward to base simple interval existence and non-existence tests on the calculations done in each step of the iteration. The search can also be performed as an asynchronous (parallel) iteration: Only a few components are changed in each step and this calculation is in general based on components from different previous iterates. For the asynchronous iteration it turns out that simple tests of existence and non-existence can be based on the component wise calculations done in the course of the iteration. These component wise tests are useful for parallel implementation of the search, since the tests can then be performed local to each processor and only when a test is successful does a processor communicate this result to other processors.