Related papers: Extension of Whitney jets of controlled growth

We show that definable Whitney jets of class $C^{m,\omega}$, where $m$ is a nonnegative integer and $\omega$ is a modulus of continuity, are the restrictions of definable $C^{m,\omega}$-functions; "definable" refers to an arbitrary given…

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…

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 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…

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…

We prove an extension theorem for ultraholomorphic classes defined by so-called Braun-Meise-Taylor weight functions and transfer the proofs from the single weight sequence case from V. Thilliez [28] to the weight function setting. We are…

Given a compact of ${\bf R}^n$, there is always a doubling measure having it as its support. We use this fact to construct an integral operator that extends differentiable functions defined on any compact set of ${\bf R}^n$ to the whole of…

In this article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the…

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…

The Whitney near extension problem for finite sets in $\mathbb R^d,\, d\geq 2$ asks the following: Let $\phi:E\to \mathbb R^d$ be a near distortion on a finite set $E\subset \mathbb R^d$ with certain geometry. How to decide whether $\phi$…

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…

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…

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 study a variant of the Whitney extension problem for the space $C^k\Lambda^m_{\omega}(R^n)$ of functions whose partial derivatives of order $k$ satisfy the generalized Zygmund condition. We identify $C^k\Lambda^m_{\omega}(R^n)$ with a…

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…

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…

The Whitney extension theorem is a classical result in analysis giving a necessary and sufficient condition for a function defined on a closed set to be extendable to the whole space with a given class of regularity. It has been adapted to…

We survey ultradifferentiable extension theorems, i.e., quantitative versions of Whitney's classical extension theorem, with special emphasis on the existence of continuous linear extension operators. The focus is on Denjoy-Carleman classes…

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…