arXiv Analytics

Sign in

arXiv:1811.03586 [math.AG]AbstractReferencesReviewsResources

A version of Putinar's Positivstellensatz for cylinders

Paula Escorcielo, Daniel Perrucci

Published 2018-11-08Version 1

We prove that, under some additional assumption, Putinar's Positivstellensatz holds on cylinders of type $S \times {\mathbb R}$ with $S = \{x \in {\mathbb R}^n | g_1(x) \ge 0, ..., g_s(x) \ge 0\}$ such that the quadratic module generated by $g_1, ..., g_s$ in ${\mathbb R}[X_1, ..., X_n]$ is archimedean, and we provide a degree bound for the representation of a polynomial $f \in {\mathbb R}[X_1, ..., X_n, Y]$ which is positive on $S \times {\mathbb R}$ as an explicit element of the quadratic module generated by $g_1, ..., g_s$ in ${\mathbb R}[X_1, ..., X_n, Y]$. We also include an example to show that an additional assumption is necessary for Putinar's Positivstellensatz to hold on cylinders of this type.

Related articles: Most relevant | Search more
arXiv:1910.04147 [math.AG] (Published 2019-10-09)
On sum of squares certificates of non-negativity on a strip
arXiv:1802.02752 [math.AG] (Published 2018-02-08)
Degree bound of Pólya Positivstellenstaz
arXiv:1004.4521 [math.AG] (Published 2010-04-26)
Positivstellensätze for real function algebras