Related papers: Uniform extension of definable $C^{m,\omega}$-Whit…

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…

We prove the computability of a version of Whitney Extension, when the input is suitably represented. More specifically, if $F \subseteq \mathbb{R}^n$ is a closed set represented so that the distance function $x \mapsto d(x,F)$ can be…

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…

We revisit Whitney's extension theorem in the ultradifferentiable Roumieu setting. Based on the description of ultradifferentiable classes by weight matrices, we extend results on how growth constraints on Whitney jets on arbitrary compact…

Whitney's extension problem, i.e., how one can tell whether a function $f : X \to \mathbb R$, $X \subseteq \mathbb R^n$, is the restriction of a $C^m$-function on $\mathbb R^n$, was solved in full generality by Charles Fefferman in 2006. In…

Let $L^m_p(R^n)$, $p\in [1,\infty]$, be the homogeneous Sobolev space, and let $E\subset R^n$ be a closed set. For each $p>n$ and each non-negative integer $m$ we give an intrinsic characterization of the restrictions to $E$ of $m$-jets…

Let $k\in\mathbb{N}_0\cup\{\infty\}$. According to Whitney's extension theorem, each real-valued Whitney $k$-Jet on a closed subset $A\subseteq\mathbb{R}^n$ can be extended to a $C^k$-function on $\mathbb{R}^n$. Based on Whitney's original…

Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…

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 establish a $C^m$ Whitney extension theorem for horizontal curves in free step~$2$ Carnot groups $\mathbb{G}_r$ for an arbitrary number of generators $r \geq 2$. This extends existing results in the Heisenberg group. New techniques…

For a domain $\Omega\subset\mathbb R^n$, we introduce the concept of a uniformly $C^m$ defining function. We characterize uniformly $C^m$ defining functions in terms of the signed distance function for the boundary and provide a large class…

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…

We prove a version of Whitney's extension theorem in the ultradifferentiable Beurling setting with controlled loss of regularity. As a by-product we show the existence of continuous linear extension operators on certain spaces of Whitney…

For a compact set, we characterize the existence of a linear extension operator E for the space of Whitney jets without loss of derivatives, that is, E satisfies the best possible continuity estimates: The supremum of all partial…

We prove a variant of the standard Whitney extension theorem for $\mathcal C^m(\mathbb R^n)$, in which the norm of the extension operator has polynomial growth in $n$ for fixed $m$.

We study a variant of the Whitney extension problem for the space $C^{k,\omega}(R^n)$. We identify this space with a space of Lipschitz mappings from $R^n$ into the space $P_k \times R^n$ of polynomial fields on $R^n$ equipped with a…

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…

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…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…

Domains in infinite jets present the simplest class of diffieties with boundary. In this note some basic elements of geometry of these domains are introduced and an analogue of the C-spectral sequence in this context is studied. This, in…