English

Convexifying positive polynomials and sums of squares approximation

Algebraic Geometry 2015-07-23 v1

Abstract

We show that if a polynomial fR[x1,,xn]f\in \mathbb{R}[x_1,\ldots,x_n] is nonnegative on a closed basic semialgebraic set X={xRn:g1(x)0,,gr(x)0}X=\{x\in\mathbb{R}^n:g_1(x)\ge 0,\ldots,g_r (x)\ge 0\}, where g1,,grR[x1,,xn]g_1,\ldots,g_r\in\mathbb{R}[x_1,\ldots,x_n], then ff can be approximated uniformly on compact sets by polynomials of the form σ0+φ(g1)g1++φ(gr)gr\sigma_0+\varphi(g_1) g_1+\cdots +\varphi(g_r) g_r, where σ0R[x1,,xn]\sigma_0\in \mathbb{R}[x_1,\ldots,x_n] and φR[t]\varphi\in\mathbb{R}[t] are sums of squares of polynomials. In particular, if XX is compact, and h(x):=R2x2h(x):=R^2-|x|^2 is positive on XX, then f=σ0+σ1h+φ(g1)g1++φ(gr)grf=\sigma_{0}+\sigma_1 h+\varphi(g_1) g_1+\cdots +\varphi(g_r) g_r for some sums of squares σ0,σ1R[x1,,xn]\sigma_{0},\sigma_1\in \mathbb{R}[x_1,\ldots,x_n] and φR[t]\varphi\in\mathbb{R}[t], where x2=x12++xn2|x|^2={x_1^2+\cdots+x_n^2}. We apply a quantitative version of those results to semidefinite optimization methods. Let XX be a convex closed semialgebraic subset of Rn\mathbb{R}^n and let ff be a polynomial which is positive on XX. We give necessary and sufficient conditions for the existence of an exponent NNN\in\mathbb{N} such that (1+x2)Nf(x)(1+|x|^2)^Nf(x) is a convex function on XX. We apply this result to searching for lower critical points of polynomials on convex compact semialgebraic sets.

Keywords

Cite

@article{arxiv.1507.06191,
  title  = {Convexifying positive polynomials and sums of squares approximation},
  author = {Krzysztof Kurdyka and Stanisław Spodzieja},
  journal= {arXiv preprint arXiv:1507.06191},
  year   = {2015}
}

Comments

24 pages

R2 v1 2026-06-22T10:16:30.108Z