Rational certificates of non-negativity on semialgebraic subsets of cylinders

Abstract: Let

g_{1}, d o t s, g_{s} i n m a t h b b R [X_{1}, d o t s, X_{n}, Y]

and

be a non-empty, possibly unbounded, subset of a cylinder in

m a t h b b R^{n + 1}

. Let

f i n m a t h b b R [X_{1}, d o t s, X_{n}, Y]

be a polynomial which is positive on

S

. We prove that, under certain additional assumptions, for any non-constant polynomial

q i n m a t h b b R [Y]

which is positive on

m a t h b b R

, there is a certificate of the non-negativity of

f

on

S

given by a rational function having as numerator a polynomial in the quadratic module generated by

g_{1}, d o t s, g_{s}

and as denominator a power of

q

.

Cites Work

This page was built for publication: Rational certificates of non-negativity on semialgebraic subsets of cylinders