S.o.s. approximation of polynomials nonnegative on a real algebraic set
| dc.creator | Lasserre, Jean B. | |
| dc.date | 2004-12-20 | |
| dc.date.accessioned | 2026-07-07T05:15:29Z | |
| dc.date.available | 2026-07-07T05:15:29Z | |
| dc.description | With every real polynomial $f$, we associate a family $\{f_{εr}\}_{ε, r}$ of real polynomials, in explicit form in terms of $f$ and the parameters $ε>0,r\in N$, and such that $\Vert f-f_{εr}\Vert_1\to 0$ as $ε\to 0$. Let $V\subset R^n$ be a real algebraic set described by finitely many polynomials equations $g_j(x)=0,j\in J$, and let $f$ be a real polynomial, nonnegative on $V$. We show that for every $ε>0$, there exist nonnegative scalars $\{λ_j(ε)\}_{j\in J}$ such that, for all $r$ sufficiently large, $$f_{εr}+\sum_{j\in J} λ_j(ε) g_j^2,\quad is a sum of squares.$$ This representation is an obvious certificate of nonnegativity of $f_{εr}$ on $V$, and very specific in terms of the $g_j$ that define the set $V$. In particular, it is valid with {\it no} assumption on $V$. In addition, this representation is also useful from a computation point of view, as we can define semidefinite programing relaxations to approximate the global minimum of $f$ on a real algebraic set $V$, or a semi-algebraic set $K$, and again, with {\it no} assumption on $V$ or $K$. | |
| dc.identifier | https://arxiv.org/abs/math/0412400 | |
| dc.identifier | http://arxiv.org/abs/math/0412400 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/73644 | |
| dc.subject | Algebraic Geometry | |
| dc.subject | 11E25; 12D15; 13P05; 12Y05; 90C22; 90C25 | |
| dc.title | S.o.s. approximation of polynomials nonnegative on a real algebraic set | |
| dc.type | text |