Related papers: Whitney Extension Theorems for convex functions of…

For an arbitrary set $E \subset \mathbb{R}^n$, and functions $f:E \to \mathbb{R}$, $G: E\to \mathbb{R}^n$ with $G$ bounded, we construct $C^1(\mathbb{R}^n)$ convex extensions $(F, \nabla F)$ of $(f,G)$ with the sharp Lipschitz constant $$…

Let $\mathbb{H}$ be a Hilbert space, $E \subset \mathbb{H}$ be an arbitrary subset and $f: E \rightarrow \mathbb{R}, \: G: E \rightarrow \mathbb{H}$ be two functions. We give a necessary and sufficient condition on the pair $(f,G)$ for the…

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…

Let $C$ be a compact convex subset of $\mathbb{R}^n$, $f:C\to\mathbb{R}$ be a convex function, and $m\in\{1, 2, ..., \infty\}$. Assume that, along with $f$, we are given a family of polynomials satisfying Whitney's extension condition for…

Let $E$ be an arbitrary subset of $\mathbb{R}^n$, and $f:E\to\mathbb{R}$, $G:E\to\mathbb{R}^n$ be given functions. We provide necessary and sufficient conditions for the existence of a convex function $F\in…

Given $X$ a Hilbert space, $\omega$ a modulus of continuity, $E$ an arbitrary subset of $X$, and functions $f:E\to\mathbb{R}$, $G:E\to X$, we provide necessary and sufficient conditions for the jet $(f,G)$ to admit an extension $(F, \nabla…

Let $E$ be an arbitrary subset of $\mathbb{R}^n$ (not necessarily bounded), and $f:E\to\mathbb{R}$, $G:E\to\mathbb{R}^n$ be functions. We provide necessary and sufficient conditions for the $1$-jet $(f,G)$ to have an extension $(F, \nabla…

Our note is a complement to recent articles \cite{JS1} (2011) and \cite{JS2} (2013) by M. Jim\'enez-Sevilla and L. S\'anchez-Gonz\'alez which generalise (the basic statement of) the classical Whitney extension theorem for $C^1$-smooth real…

Let $X$ denote a Hilbert space. Given a compact subset $K$ of $X$ and two continuous functions $f:K\to\mathbb{R}$, $G:K\to X$, we show that a necessary and sufficient condition for the existence of a convex function $F\in C^1(X)$ such that…

Our paper is a complement to a recent article by D. Azagra and C. Mudarra (2021). We show how older results on semiconvex functions with modulus $\omega$ easily imply extension theorems for $C^{1,\omega}$-smooth functions on super-reflexive…

For a real valued function defined on a compact set $K \subset \mathbb{R}^m$, the classical Whitney Extension Theorem from 1934 gives necessary and sufficient conditions for the existence of a $C^k$ extension to $\mathbb{R}^m$. In this…

Let $ f $ be a real-valued function on a compact subset in $ \mathbb{R}^n $. We show how to decide if $ f $ extends to a nonnegative and $ C^1 $ function on $ \mathbb{R}^n $. There has been no known result for nonnegative $ C^m $ extension…

We study continuity and regularity of convex extensions of functions from a compact set $C$ to its convex hull $K$. We show that if $C$ contains the relative boundary of $K$, and $f$ is a continuous convex function on $C$, then $f$ extends…

We consider a global, nonlinear version of the Whitney extension problem for manifold-valued smooth functions on closed domains $C$, with non-smooth boundary, in possibly non-compact manifolds. Assuming $C$ is a submanifold with corners, or…

We provide necessary and sufficient conditions for a $1$-jet $(f, G):E\rightarrow \mathbb{R} \times X$ to admit an extension $(F, \nabla F)$ for some $F\in C^{1, \omega}(X)$. Here $E$ stands for an arbitrary subset of a Hilbert space $X$…

We characterize which mappings from a compact subset of $\mathbb{R}$ into the Heisenberg group can be extended to a $C^{m,\omega}$ horizontal curve for a given modulus of continuity $\omega$. We motivate our characterization by showing that…

The purpose of this paper is to address a manifold-based version of Whitney's extension problem: Given a compact set $E\subset\mathbb{R}^n$, how can we tell if there exists a $d$-dimensional, $C^m$-smooth manifold $\mathcal{M}\supset E$? We…

Let $G \subset {\mathbb R}^{n}$ be an open convex set which is either bounded or contains a translation of a convex cone with nonempty interior. It is known that then, for every modulus $\omega$, every function on $G$ which is both…

Let $E$ be an arbitrary subset of a Banach space $X$, $f: E \rightarrow \mathbb{R}$ be a function, and $G:E \rightrightarrows X^*$ be a set-valued mapping. We give necessary and sufficient conditions on $f, G$ for the existence of a…

Given a superreflexive Banach space $X$, and a set $E \subset X$, we characterise the $1$-jets $(f,G)$ on $E$ that admit $C^{1,\omega}$ convex extensions $(F,DF)$ to all of $X$; where $\omega$ is any admissible modulus of continuity…