Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove existence of solutions for systems of equations. It is well known that the Krawczyk operator existence test is less powerful that the Hansen-Sengupta operator existence test, the latter being less powerful than the interval Newton operator existence test. In 2004, Frommer et al. proposed an existence test based on the Poincaré-Miranda theorem and proved that it is more powerful than the Krawczyk existence test. In this paper, we complete the classification of these four existence tests showing that, in practice, the Hansen-Sengupta existence test is actually more powerful than the existence test proposed by Frommer et al.
AMS Subject Classifications65H10 65G20 65G40
KeywordsNonlinear systems of equations existence test interval analysis
Unable to display preview. Download preview PDF.
- Alefeld, G., Potra, F. A., Shen, Z.: On the existence theorems of Kantorovich, Moore and Miranda. In: Topics in Numerical Analysis with Special Emphasis on Nonlinear Problems (Alefeld, G., Chen, X., eds.), pp. 21–28. Computing Suppl. 2001Google Scholar
- Poincaré, H. 1883Sur certaines solutions particulières du problème des trois corpsComptes rendus de l'Académie des sciences97251252Google Scholar