arXiv Analytics

Sign in

arXiv:1910.04147 [math.AG]AbstractReferencesReviewsResources

On sum of squares certificates of non-negativity on a strip

Paula Escorcielo, Daniel Perrucci

Published 2019-10-09Version 1

A well-known result of Murray Marshall states that for every $f \in \mathbb{R} [X,Y]$ non-negative on the strip $[0,1] \times \mathbb{R}$ can be written as $f= \sigma_0 + \sigma_1 X(1-X)$ with $\sigma_0, \sigma_1$ sums of squares in $\mathbb{R} [X,Y]$. In this work, we present a few results concerning this representation in particular cases. First, under the assumption ${\rm deg}_Y f \leq 2$, by characterizing the extreme rays of a suitable cone, we obtain a degree bound for each term. Then, we consider the case of $f$ positive on $[0,1] \times \mathbb{R}$ and non-vanishing at infinity, and we show again a degree bound for each term, coming from a constructive method to obtain the sum of squares representation. Finally, we show that this constructive method also works in the case of $f$ having only a finite number of zeros, all of them lying on the boundary of the strip, and such that $\frac{\partial f}{\partial X}$ does not vanish at any of them.

Related articles: Most relevant | Search more
arXiv:1811.03586 [math.AG] (Published 2018-11-08)
A version of Putinar's Positivstellensatz for cylinders
arXiv:math/0511617 [math.AG] (Published 2005-11-24, updated 2006-05-17)
Global optimization of polynomials using gradient tentacles and sums of squares
arXiv:0805.4181 [math.AG] (Published 2008-05-27)
A degree bound for globally generated vector bundles