Abstract:Let $E \subset \mathbb{R}^n$ be a compact set, and $f:E \to \mathbb{R}$. How can we tell if there exists a convex extension $F \in C^{1,1}(\mathbb{R}^n)$ of $f$, i.e. satisfying $F|_E = f|_E$? Assuming such an extension exists, how small can one take the Lipschitz constant $\text{Lip}(\nabla F): = \sup_{x,y \in \mathbb{R}^n, x \neq y} \frac{|\nabla F(x) - \nabla F(y)|}{|x-y|}$? We provide an answer to these questions for the class of strongly convex functions by proving that there exist constants $k^\# \in \mathbb{N}$ and $C>0$ depending only on the dimension $n$, such that if for every subset $S \subset E$, $\#S \leq k^\#$, there exists an $\eta$-strongly convex function $F^S \in C^{1,1}(\mathbb{R}^n)$ satisfying $F^S|_S=f|_S$ and $\text{Lip}(\nabla F^S) \leq M$, then there exists an ${\frac{\eta}{C}}$-strongly convex function $F \in C^{1,1}_c(\mathbb{R}^n)$ satisfying $F|_E = f|_E$, and $\text{Lip}(\nabla F) \leq C M^2/\eta$. Further, we prove a Finiteness Principle for the space of convex functions in $C^{1,1}(\mathbb{R})$ and that the sharp finiteness constant for this space is $k^\#=5$.

$\mathbf{C^2}$-Lusin approximation of strongly convex bodies

$\mathbf{C^2}$-Lusin approximation of strongly convex functions

-Lusin approximation of strongly convex functions

The Lp-Brunn-Minkowski Inequality for P < 1

Approximation of spherical convex bodies of constant width $π/2$

A geometric approach to second-order differentiability of convex functions

Approximation of Lipschitz functions preserving boundary values

Lusin spaces as images of locally compact Polish spaces

Lusin's Theorem and Bochner Integration

Strong stability of convexity with respect to the perimeter

Finiteness Principles for Smooth Convex Functions

Proof of Dudley's Convex Approximation

Hadwiger's problem for bodies with enough sub-Gaussian marginals

On an equichordal property of a pair of convex bodies

Exact Lipschitz Regularization of Convex Optimization Problems

Lipschitzness of the width and diameter functions of convex bodies in $\mathbb R^n$

Random approximation of convex bodies in Hausdorff metric

Reduced Spherical Convex Bodies

Lattice reduced and complete convex bodies

On Dimension-dependent concentration for convex Lipschitz functions in product spaces