Duality of convex relaxations for constrained variational problems
File(s)1906.12136v1.pdf (385.3 KB)
Working paper
Author(s)
Fantuzzi, Giovanni
Type
Working Paper
Abstract
We prove weak duality between two recent convex relaxation methods for
bounding the optimal value of a constrained variational problem in which the
objective is an integral functional. The first approach, proposed by Valmorbida
et al. (IEEE Trans. Automat. Control 61(6):1649--1654, 2016), replaces the
variational problem with a convex program over sufficiently smooth functions,
subject to pointwise non-negativity constraints. The second approach, discussed
by Korda et al. (arXiv:1804.07565v1 [math.OC]), relaxes the variational problem
into a convex program over scaled probability measures. We also prove that the
duality between these infinite-dimensional convex programs is strong, meaning
that their optimal values coincide, when the range and gradients of admissible
functions in the variational problem are constrained to bounded sets. For
variational problems with polynomial data, the optimal values of each convex
relaxation can be approximated by solving weakly dual hierarchies of
finite-dimensional semidefinite programs (SDPs). These are strongly dual under
standard constraint qualification conditions irrespective of whether strong
duality holds at the infinite-dimensional level. Thus, the two relaxation
approaches are equivalent for the purposes of computations.
bounding the optimal value of a constrained variational problem in which the
objective is an integral functional. The first approach, proposed by Valmorbida
et al. (IEEE Trans. Automat. Control 61(6):1649--1654, 2016), replaces the
variational problem with a convex program over sufficiently smooth functions,
subject to pointwise non-negativity constraints. The second approach, discussed
by Korda et al. (arXiv:1804.07565v1 [math.OC]), relaxes the variational problem
into a convex program over scaled probability measures. We also prove that the
duality between these infinite-dimensional convex programs is strong, meaning
that their optimal values coincide, when the range and gradients of admissible
functions in the variational problem are constrained to bounded sets. For
variational problems with polynomial data, the optimal values of each convex
relaxation can be approximated by solving weakly dual hierarchies of
finite-dimensional semidefinite programs (SDPs). These are strongly dual under
standard constraint qualification conditions irrespective of whether strong
duality holds at the infinite-dimensional level. Thus, the two relaxation
approaches are equivalent for the purposes of computations.
Date Issued
2019-06-28
Citation
2019
Publisher
arXiv
Copyright Statement
© 2019 The Authors.
Identifier
https://arxiv.org/abs/1906.12136v1
Subjects
math.OC
math.OC
math.AP
49N15, 49M20 (Primary), 35A15 (Secondary)
Notes
11 pages
Publication Status
In preparation