---
title: Measure-Based Convexification in Optimization
url: https://www.emergentmind.com/topics/measure-based-convexification
type: topic
---

# Measure-Based Convexification in Optimization

Measure-based convexification refers to a broad suite of mathematical and computational methods in which convexified objects, functions, or problems arise naturally via integration (or manipulation) with respect to suitably chosen measures. This class encompasses occupation-measure relaxations in variational and control theory, metronoid constructions in convex geometry, and volume-based quantification of convex relaxations in mixed-integer nonlinear optimization (MINLO). The framework provides a unifying lens for both analytic convexification (e.g., convex envelope, Young measures) and practical convex approximations (e.g., convex hulls, perspective relaxations), with deep implications for tractability, approximation quality, and connections to classical geometric analysis.

## 1. Occupation Measure Convexification in Calculus of Variations and Optimal Control

In the calculus of variations, occupation-measure convexification recasts function minimization problems as infinite-dimensional linear programs over measures on product spaces. Consider a classical variational problem:
\[
M := \inf_{y \in W^{1,p}(\Omega;Y)} \int_\Omega L(x, y(x), \nabla y(x)) \, dx
\]
subject to pointwise, boundary, and integral constraints involving (possibly uncountable) families of constraints indexed by $i \in I$, with $y: \Omega \to Y$, $\nabla y(x) \in Z \subset \mathbb{R}^{m\times n}$. The occupation-measure relaxation associates to each admissible function $y$ (and its gradient) a pair of nonnegative Radon measures $(\mu, \mu^a)$ on $\Omega \times Y \times Z$ and $\partial \Omega \times Y$, respectively, satisfying marginal and Liouville-type constraints for affine test functions. The convexified problem becomes:
\[
M_{\text{aff}} := \inf_{(\mu,\mu^a) \in \mathcal{O}_{\text{aff}}} \int_{\Omega \times Y \times Z} L(x, y, z)\, d\mu(x,y,z)
\]
with $\text{supp}(\mu)$ restricted by the original constraints, and similar for $\mu^a$ on the boundary [2303.02434].

Under joint convexity of the integrand and constraint sets, there is no relaxation gap; i.e., $M = M_{\text{aff}}$. The same approach extends to optimal control problems—once the running cost and constraint data are convex in the control variables and their reductions—by lifting to analogous measure spaces over control variables.

## 2. Equivalence to Convex Envelope and Young-Measure Relaxations

Occupation-measure convexification, when applied to nonconvex problems, is at least as strong as the classical convex-envelope (or relaxation via convexification) approach. For data $L$ and constraint sets $K(x)$ that are nonconvex, the framework considers the convex envelope $L_{\text{conv}}(x, y, z)$ over the convexified feasible set $\mathrm{conv}\, K(x)$. The convexified variational problem becomes:
\[
M_{\mathrm{conv}} := \inf_{y \in W^{1,\infty}(\Omega;\mathrm{conv}\,Y)} \int_\Omega L_{\mathrm{conv}}(x, y(x), \nabla y(x))\,dx
\]
subject to convexified constraints [2303.02434]. The equivalence $M_{\text{aff}} = M_{\mathrm{conv}}$ (when $x \mapsto K(x)$ is Hausdorff-continuous and $L$ is continuous) links measure-based occupation relaxations to both Young-measure and convex envelope methods.

Key implications include:
- Occupation-measure relaxations sandwich the original and convexified problem values: $M \ge M_r \ge M_{\rm aff} = M_{\mathrm{conv}} \le M$.
- In regimes where the convex envelope method is tight, measure-based relaxations are also tight, extending classical no-gap principles to broader problem classes, e.g., in magnetism or elasticity.

## 3. Measure-generated Convex Sets and the Metronoid Construction

The metronoid construction defines a convexified set $M(\mu)$ for a Borel measure $\mu$ on $\mathbb{R}^n$ as:
\[
M(\mu) := \bigcup_{0 \le f \le 1,\ \int f\,d\mu=1} \left\{ \int y f(y)\,d\mu(y) \right\}
\]
This set is always convex, closed (when $\mu$ has finite first moment), and recovers classical convex hulls for discrete measures. For symmetric $\mu$, $M(\mu)$ precisely describes the zonoid generated by $1/2\,\mu$. In particular, for uniform measures on convex bodies, $M(\mu)$ relates to floating bodies via centers of mass of caps of prescribed volume [1706.07112].

The support function of $M(\mu)$ is determined via a directional cutoff:
\[
h_{M(\mu)}(\theta) = \langle y_\theta, \theta \rangle,\ \text{with}\ y_\theta = \int x f_\theta(\langle x, \theta\rangle)d\mu(x)
\]
where $f_\theta$ is chosen so $\int f_\theta d\mu=1$ and $0\le f_\theta\le1$.

## 4. Quantitative Measures: Volume-based Comparison and Fractional Vertex Index

Measure-based convexification provides explicit quantitative metrics for relaxation quality. In MINLO models, the tightness of a given convex relaxation is measured by the Lebesgue volume of the corresponding region (e.g., epigraph). For the indicator disjunction
\[
(x,y,z)\!:\!z \in \{0,1\}; z = 0 \implies x = 0, y = 0;\ z=1 \implies x \in [l,u], y \geq f(x)
\]
the convex-hull (perspective) relaxation is given by $y \geq z f(x/z)$, and weaker relaxations are parameterized as $y z^q \geq x^p$ for $q \in [0,p-1]$ [2001.01435, 2404.07010].

The ratio of volumes (e.g., $gap_q$) explicitly quantifies the “distance” from a given relaxation to the convex hull:
\[
gap_q = \frac{\text{vol}(E_q)}{\text{vol}(E_{\text{hull}})} = \frac{p+2}{p+2-q}
\]
For multivariate domains (e.g., a box $Q_u$), the difference in volumes between naïve and perspective relaxations admits closed-form integrals in terms of the minimal concave upper bound $\mu$ (piecewise-linear or constant), and the ratio remains strictly positive for homogeneous convex $f$ (never vanishing as $u\to\infty$), but decays to zero for super-exponential $f$ [2404.07010].

In convex geometry, the cost of measure-based convexification is captured by $d_R^*(K)$ and $D_R^*(K)$, representing the minimal total mass or average gauge norm of a measure $\mu$ generating $K$ as a metronoid, linearly invariant analogues of Bezdek–Litvak’s vertex index. As $R \to \infty$, the fractional vertex index $vein^*(K)$ provides tight lower and upper bounds for symmetric and general convex bodies, matching up to $O(n)$ in dimension [1706.07112].

## 5. Algorithmic and Numerical Aspects

Occupation-measure LPs (and boundary-included variants) are amenable to numerical approximation via the Moment–Sum-of-Squares (SOS) hierarchy, converging to the relaxation value (and the true infimum under convexity) through a sequence of semidefinite programs [2303.02434]. In convexification frameworks for Mean Field Games, strong convexity is established via Carleman estimates, and the unique minimizer is computed by discretizing space and time, then solving a finite-dimensional convex program (e.g., using fmincon) [2512.08925].

In MINLO contexts, generalized power-cone constraints render measure-oriented relaxations tractable for a range of $q$-parameter relaxations, further enabling explicit volume computations and tightness analysis [2001.01435]. For box-shaped domains, triangulation (e.g., classical Kuhn triangulation) provides explicit piecewise-linear descriptions of concave envelopes and integrals thereof [2404.07010].

## 6. Applications, Extensions, and Connections

Measure-based convexification has critical consequences in several domains:
- In variational and optimal control problems, occupation-measure relaxations yield no-gap results under convexity and coincide with the classical relaxed (Young-measure) and convex envelope approaches under nonconvexity [2303.02434].
- In high-dimensional convex geometry, the metronoid framework extends classical convex hull-based approximation, enables fine-grained control over approximation costs, and leads to sharp bounds on average norms of centroid bodies for probability measures [1706.07112].
- In combinatorial and mean-variance optimization, measure-based metrics provide closed-form, predictive indicators of continuous relaxation strength and computational performance, as empirically validated on cardinality-constrained portfolio problems [2001.01435].

Furthermore, the notion of measure-generated convex sets unifies geometric and analytic convexification, offering a general framework for comparing and constructing convex approximations—both in function spaces (via convexifying variational integrals) and finite dimensions (via polytopal or zonotopic relaxation).

## 7. Summary Table: Measure-Based Convexification Paradigms

| Framework            | Measure Role                          | Main Quantitative Metric     |
|----------------------|--------------------------------------|-----------------------------|
| Occupation-measure   | Enforce PDE/variational constraints  | Relaxation gap ($M = M_{\text{aff}}$)     |
| Metronoid (geometry) | Generate convex bodies via integrals | Fractional vertex index ($vein^*(K)$)      |
| Volume-based MINLO   | Quantify relaxation via epigraph vol | Volume cut-off ratio ($gap_q$, $\Delta/\text{vol}$)  |

The table summarizes the central paradigms by highlighting the function of measures and the chief quantitative metrics of convexification quality in each setting.

---

Measure-based convexification thus connects advanced convex analysis, optimization, and geometric measure theory, providing both rigorous analytic underpinnings (no-gap theorems, explicit convex hull characterizations) and practical computational methodologies for convex relaxations in high-dimensional and infinite-dimensional spaces [2303.02434, 1706.07112, 2404.07010, 2001.01435, 2512.08925].

Source: https://www.emergentmind.com/topics/measure-based-convexification