Semidefinite Relaxations for Lebesgue and Gaussian Measures of Unions of Basic Semialgebraic Sets - Archive ouverte HAL
Article Dans Une Revue Mathematics of Operations Research Année : 2019

Semidefinite Relaxations for Lebesgue and Gaussian Measures of Unions of Basic Semialgebraic Sets

Résumé

Given a finite Borel measure µ on R n and basic semi-algebraic sets Ω_i ⊂ R n , i = 1,. .. , p, we provide a systematic numerical scheme to approximate as closely as desired µ(\cup_i Ω_i), when all moments of µ are available (and finite). More precisely , we provide a hierarchy of semidefinite programs whose associated sequence of optimal values is monotone and converges to the desired value from above. The same methodology applied to the complement R n \ (\cup_i Ω_i) provides a monotone sequence that converges to the desired value from below. When µ is the Lebesgue measure we assume that Ω := \cup_i Ω_i is compact and contained in a known box B and in this case the complement is taken to be B \ Ω. In fact, not only µ(Ω) but also every finite vector of moments of µ_Ω (the restriction of µ on Ω) can be approximated as closely as desired, and so permits to approximate the integral on Ω of any given polynomial.
Fichier principal
Vignette du fichier
union.pdf (729.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01543361 , version 1 (20-06-2017)

Identifiants

Citer

Jean B Lasserre, Youssouf Emin. Semidefinite Relaxations for Lebesgue and Gaussian Measures of Unions of Basic Semialgebraic Sets. Mathematics of Operations Research, 2019, 44 (4), pp.1145-1509. ⟨10.1287/moor.2018.0980⟩. ⟨hal-01543361⟩
449 Consultations
278 Téléchargements

Altmetric

Partager

More