Constructive proofs of some positivstellensätze for compact semialgebraic subsets of ${\mathbb{R}}^d$

Abstract

In a broad sense, positivstellensätze are results about representations of polynomials which are strictly positive on a given set. We give constructive and, to a large extent, elementary proofs of some known positivstellensätze for compact semialgebraic subsets of ${\mathbb{R}}^d$. The presented proofs extend and simplify arguments of Berr, Wörmann (2001) and Schweighofer (2002, 2005).