Strong duality in Lasserre's hierarchy for polynomial optimization - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2014

Strong duality in Lasserre's hierarchy for polynomial optimization

Résumé

A polynomial optimization problem (POP) consists of minimizing a multivariate real polynomial on a semi-algebraic set $K$ described by polynomial inequalities and equations. In its full generality it is a non-convex, multi-extremal, difficult global optimization problem. More than an decade ago, J.~B.~Lasserre proposed to solve POPs by a hierarchy of convex semidefinite programming (SDP) relaxations of increasing size. Each problem in the hierarchy has a primal SDP formulation (a relaxation of a moment problem) and a dual SDP formulation (a sum-of-squares representation of a polynomial Lagrangian of the POP). In this note, when the POP feasibility set $K$ is compact, we show that there is no duality gap between each primal and dual SDP problem in Lasserre's hierarchy, provided a redundant ball constraint is added to the description of set $K$. Our proof uses elementary results on SDP duality, and it does not assume that $K$ has an interior point.
Fichier principal
Vignette du fichier
nogap.pdf (85.22 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00997726 , version 1 (28-05-2014)
hal-00997726 , version 2 (01-12-2014)

Identifiants

Citer

Cédric Josz, Didier Henrion. Strong duality in Lasserre's hierarchy for polynomial optimization. 2014. ⟨hal-00997726v1⟩
358 Consultations
403 Téléchargements

Altmetric

Partager

More