Solving Underdetermined Systems with Interval Methods

Zhang Danqing,Li Weiguo,Shen Zuhe
DOI: https://doi.org/10.1023/A:1026489507711
1999-01-01
Reliable Computing
Abstract:In this paper, we use the concepts of 1 - and 2 -inverse of a matrix to construct such a Krawczyk-like operator as K (X) = x - Yf(x) + (YA - YF'(X))(X - x),x ∈ X, where Y ∈ Rnxm, and A ∈ Rmxn satisfies YAY = Y. We also construct a generalized Krawczyk-Moore algorithm using this operator. Our main result is that, under the conditions K (X) ⊆ X and r(K (X)) < r(X), there is a unique solution of Yf(x) = 0 on X ∩ x + R(Y) , and the generalized Krawczyk-Moore algorithm converges to this solution at least linearly.
What problem does this paper attempt to address?