An algorithm for semi-infinite polynomial optimization

AbstractWe consider the semi-infinite optimization problem: $$f^*:=\min_{\mathbf{x}\in\mathbf{X}} \bigl\{f(\mathbf{x}):g(\mathbf{x},\mathbf{y}) \leq 0, \forall\mathbf{y}\in\mathbf {Y}_\mathbf{x}\bigr\},$$ where f,g are polynomials and X⊂ℝn as well as Yx⊂ℝp, x∈X, are compact basic semi-algebraic sets. To approximate f∗ we proceed in two steps. First, we use the “joint+marginal” approach of Lasserre (SIAM J. Optim. 20:1995–2022, 2010) to approximate from above the function x↦Φ(x)=sup {g(x,y):y∈Yx} by a polynomial Φd≥Φ, of degree at most 2d, with the strong property that Φd converges to Φ for the L1-norm, as d→∞ (and in particular, almost uniformly for some subsequence (dℓ), ℓ∈ℕ). Therefore, to approximate f∗ one may wish to solve the polynomial optimization problem $f^{0}_{d}=\min_{\mathbf{x}\in\mathbf{X}} \{f(\mathbf{x}): \varPhi _{d}(\mathbf{x})\leq0\}$ via a (by now standard) hierarchy of semidefinite relaxations, and for increasing values of d. In practice d is fixed, small, and one relaxes the constraint Φd≤0 to Φd(x)≤ε with ε>0, allowing us to change ε dynamically. As d increases, the limit of the optimal value $f^{\epsilon}_{d}$ is bounded above by f∗+ε.

[1]  Berç Rustem,et al.  An Algorithm for the Global Optimization of a Class of Continuous Minimax Problems , 2009 .

[2]  M. Kojima,et al.  B-411 Sums of Squares and Semidefinite Programming Relaxations for Polynomial Optimization Problems with Structured Sparsity , 2004 .

[3]  Jean B. Lasserre,et al.  Global Optimization with Polynomials and the Problem of Moments , 2000, SIAM J. Optim..

[4]  Jean B. Lasserre,et al.  Convergent SDP-Relaxations in Polynomial Optimization with Sparsity , 2006, SIAM J. Optim..

[5]  Paul I. Barton,et al.  Interval Methods for Semi-Infinite Programs , 2005, Comput. Optim. Appl..

[6]  Didier Henrion,et al.  GloptiPoly 3: moments, optimization and semidefinite programming , 2007, Optim. Methods Softw..

[7]  Paul I. Barton,et al.  Relaxation-Based Bounds for Semi-Infinite Programs , 2008, SIAM J. Optim..

[8]  J. Lasserre Moments, Positive Polynomials And Their Applications , 2009 .

[9]  Jean B. Lasserre,et al.  A "Joint+Marginal" Approach to Parametric Polynomial Optimization , 2009, SIAM J. Optim..

[10]  Masakazu Muramatsu,et al.  Sums of Squares and Semidefinite Programming Relaxations for Polynomial Optimization Problems with Structured Sparsity , 2004 .

[11]  R. Ash,et al.  Real analysis and probability , 1975 .

[12]  Giuseppe Carlo Calafiore,et al.  A probabilistic analytic center cutting plane method for feasibility of uncertain LMIs , 2007, Autom..

[13]  Stephen P. Boyd,et al.  Extending Scope of Robust Optimization: Comprehensive Robust Counterparts of Uncertain Problems , 2006, Math. Program..