The gap between a variational problem and its occupation measure relaxation

Recent works have proposed linear programming relaxations of variational optimization problems subject to nonlinear PDE constraints based on the occupation measure formalism. The main appeal of these methods is the fact that they rely on convex optimization, typically semidefinite programming. In this work we close an open question related to this approach. We prove that the classical and relaxed minima coincide when the dimension of the codomain of the unknown function equals one, both for calculus of variations and for optimal control problems, thereby complementing analogous results that existed for the case when the dimension of the domain equals one. In order to do so, we prove a generalization of the Hardt--Pitts decomposition of normal currents applicable in our setting, which is specific to the case where the dimension of the codomain equals one. We also show by means of a counterexample that, if both the dimensions of the domain and of the codomain are greater than one, there may be a positive gap. Finally, we show that in the presence of integral constraints, a positive gap may occur at any dimension of the domain and of the codomain.