Theorems of the Alternative for Inequality Systems of Real Polynomials.

In this paper, we establish theorems of the alternative for inequality systems of real polynomials. For the real quadratic inequality system, we present two new results on the matrix decomposition, by which we establish two theorems of the alternative for the inequality system of three quadratic polynomials under an assumption that at least one of the involved forms be negative semidefinite. We also extend a theorem of the alternative to the case with a regular cone. For the inequality system of higher degree real polynomials, defined by even order tensors, a theorem of the alternative for the inequality system of two higher degree polynomials is established under suitable assumptions. As a byproduct, we give an equivalence result between two statements involving two higher degree polynomials. Based on this result, we investigate the optimality condition of a class of polynomial optimization problems under suitable assumptions. [ABSTRACT FROM AUTHOR]