A well-known result of Murray Marshall states that every $f \in [X,Y][0,1] \times f= \sigma_0 + \sigma_1 X(1-X)\sigma_0, \sigma_1 [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 positive on 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 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本