2015/08/25 by Lasserre, Jean-Bernard
#FOS: Mathematics #Optimization and Control (math.OC)
paper · doi:10.48550/arxiv.1508.06132
We provide a numerical scheme to approximate as closely as desired the Gaussian or exponential measure μ(\om) of (not necessarily compact) basic semi-algebraic sets\om⊂\Rn. We obtain two monotone (non increasing and non decreasing) sequences of upper and lower bounds (ω_d), (\underlineω_d), d∈\N, each converging to μ(\om) as d→∞. For each d, computing ω_d or \underlineω_dreduces to solving a semidefinite program whose size increases with d. Some preliminary (small dimension) computational experiments are encouraging and illustrate thepotential of the method. The method also works for any measure whose moments are known and which satisfies Carleman's condition.