Borel measures with a density on a compact semi-algebraic set - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Archiv der Mathematik Année : 2013

Borel measures with a density on a compact semi-algebraic set

Résumé

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure absolutely continuous w.r.t. the Lebesgue measure on $K$, and with a density in $\cap_{p=1}^\infty L_p(K)$. With an additional condition involving a bounding parameter, the condition is necessary and sufficient for existence of a density in $L_\infty(K)$. Moreover, nonexistence of such a density can be detected by solving finitely many of a hierarchy of semidefinite programs. In particular, if the semidefinite program at step $d$ of the hierarchy has no solution then the sequence cannot have a representing measure on $K$ with a density in $L_p(K)$ for any $p\geq 2d$.
Fichier principal
Vignette du fichier
L-density-revised2.pdf (152.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00808538 , version 1 (05-04-2013)
hal-00808538 , version 2 (29-07-2013)

Identifiants

Citer

Jean-Bernard Lasserre. Borel measures with a density on a compact semi-algebraic set. Archiv der Mathematik, 2013, 101, pp.361--371. ⟨10.1007/s00013-013-0557-5⟩. ⟨hal-00808538v2⟩
206 Consultations
287 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More