A sufficient condition for local nonnegativity

Jia Xu,Yong Yao

DOI: https://doi.org/10.48550/arXiv.1910.13815

2019-10-29

Abstract:A real polynomial $f$ is called local nonnegative at a point $p$, if it is nonnegative in a neighbourhood of $p$. In this paper, a sufficient condition for determining this property is constructed. Newton's principal part of $f$ (denoted as $f_N$) plays a key role in this process. We proved that if every $F$-face, $(f_N)_F$, of $f_N$ is strictly positive over $(\mathbb{R}\setminus 0)^n$, then $f$ is local nonnegative at the origin $O$.

Algebraic Geometry,Symbolic Computation