A verification method for enclosing solutions of absolute value equations

From MaRDI portal





The authors consider the absolue value equations (AVE), \(Ax-|x| =b\), where \(A \in \mathbb{R}^{n \times n}\), and \(b \in \mathbb{R}^{n}\). Determining the existence of a solution is a NP-hard problem. The authors give a sufficient condition to guarantee that a given interval vector contains an exact solution of AVE. Their results are based on the use of interval arithmetic. Given an initial enclosure of a solution, they propose two new interval iterations that converge to that solution under mild assumptions. They also give some methods to compute an initial interval that contains a solution when the matrix \(A\) has some special properties. They also present some numerical experiments that confirm the power of their methods.











This page was built for publication: A verification method for enclosing solutions of absolute value equations

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