Application of topological degree theory to semi-definite complementarity problem (Q4494401)

The authors study sufficient conditions for the solvability of semi-definite complementarity problems. This class of problems is defined as to find a matrix \(X\) such that: \(X \in S_{+}^{n}\), \(F(X) \in S_{+}^{n}\) and \(\langle X,F(X)\rangle=0\). Here \(S_{+}^{n} \subset S^{n \times n}\) states for the cone of positive semidefinite symmetrical real matrices and \(F:S_{+}^{n} \rightarrow S^{n \times n}\) is a continuous mapping. The notion of a (regular) exceptional family of matrices with respect to \(S_{+}^{n}\) for the mapping \(F\) is introduced. It is then proved that for each continuous \(F\) there exists either a solution to the semi-definite complementary problem associated or a (regular) exceptional family of matrices. Based upon this alternative the authors prove well-known and some new sufficient conditions for solvability of semi-definite complementarity problems. The mapping \(F\) is not assummed to be monotone or coercive. The given proofs base strongly on well-known results of the topological degree theory. For the entire collection see [Zbl 0937.00057].