Convexifying positive polynomials and sums of squares approximation

preprint2015arXivOpen access

Abstract

We show that if a polynomial f∈R[x1,…,xn]f\in \mathbb{R}[x_1,\ldots,x_n] is nonnegative on a closed basic semialgebraic set X={x∈Rn: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,…,gr∈R[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σ_0+φ(g_1) g_1+\cdots +φ(g_r) g_r, where σ0∈R[x1,…,xn]σ_0\in \mathbb{R}[x_1,\ldots,x_n] and φ∈R[t]φ\in\mathbb{R}[t] are sums of squares of polynomials. In particular, if XX is compact, and h(x):=R2−∣x∣2h(x):=R^2-|x|^2 is positive on XX, then f=σ0+σ1h+φ(g1)g1+⋯+φ(gr)grf=σ_{0}+σ_1 h+φ(g_1) g_1+\cdots +φ(g_r) g_r for some sums of squares σ0,σ1∈R[x1,…,xn]σ_{0},σ_1\in \mathbb{R}[x_1,\ldots,x_n] and φ∈R[t]φ\in\mathbb{R}[t], where ∣x∣2=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 N∈NN\in\mathbb{N} such that (1+∣x∣2)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.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.