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$.

A note on successive coefficients of convex functions

A study of convex convex-composite functions via infimal convolution with applications

Stable and Total Fenchel Duality for Convex Optimization Problems in Locally Convex Spaces

Convergence analysis of the Gauss–Newton method for convex inclusion and convex-composite optimization problems

A note on convex solutions to an equation on open intervals

Subdifferential Calculus Rules for Supremum Functions in Convex Analysis

Minkowski's successive minima in convex and discrete geometry

Majorizing Functions and Convergence of the Gauss-Newton Method for Convex Composite Optimization

A Note on Ordinally Concave Functions

On certain analytic functions defined by differential inequality

Sufficiency Conditions for a Class of Convex Functions Connected with Tangent Functions Associated with the Combination of Babalola Operators and Binomial Series

Further results on the concavity of operator means

Finiteness Principles for Smooth Convex Functions

Optimality conditions and subdifferential calculus for infinite sums of functions

Note on the second derivative of bounded analytic functions

Construction of the log-convex minorant of a sequence $\{M_α\}_{α\in\mathbb{N}_0^d}$

A note on Jörgens-Calabi-Pogorelov theorem

Around Strongly Operator Convex Functions

On functional successive minima

Revisited convexity notions for $L^\infty$ variational problems

A Note on Duality in Reverse Convex Optimization