Related papers: Whitney-type extension theorems for jets generated…
For each $p>2$ we give intrinsic characterizations of the restriction of the homogeneous Sobolev space $L^1_p(R^2)$ to an arbitrary finite subset $E$ of $R^2$. The trace criterion is expressed in terms of certain weighted oscillations of…
Let $\Omega \subseteq \mathbb{R}^d$ be open and $D\subseteq \partial\Omega$ be a closed part of its boundary. Under very mild assumptions on $\Omega$, we construct a bounded Sobolev extension operator for the Sobolev space $\mathrm{W}^{k ,…
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…
Given a compact set $K\subset {\Bbb R}^d,$ let ${\mathcal E}(K)$ denote the space of Whitney jets on $K$. The compact set $K$ is said to have the extension property if there exists a continuous linear extension operator $W:{\mathcal E}(K)…
We prove that given any positive integer $k$, for each open set $\Omega$ and any closed subset $D$ of its closure such that $\Omega$ is locally an (epsilon,delta)-domain near points in the boundary of $\Omega$ not contained in $D$ there…
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 $\Omega\subset\mathbb{R}^n$ be a bounded $(\varepsilon,\infty)$-domain with $\varepsilon\in(0,1]$, $X(\mathbb{R}^n)$ a ball Banach function space satisfying some extra mild assumptions, and $\{\rho_\nu\}_{\nu\in(0,\nu_0)}$ with…
For a set $E\subset\mathbb{R}^n$ that contains the origin we consider $I^m(E)$ -- the set of all $m^{\text{th}}$ degree Taylor approximations (at the origin) of $C^m$ functions on $\mathbb{R}^n$ that vanish on $E$. This set is a proper…
The compact Riemannian manifolds $\mathcal{M}$ and $\mathcal{N}$ for which the trace operator from the first-order Sobolev space of mappings $\smash{\dot{W}}^{1, p} (\mathcal{M}, \mathcal{N})$ to the fractional Sobolev-Slobodecki\u{\i}…
We give direct proofs and constructions of the trace and extension theorems for Sobolev mappings in $W^{1, 1} (M, N)$, where $M$ is Riemannian manifold with compact boundary $\partial M$ and $N$ is a complete Riemannian manifold. The…
Wenger and Young proved that the pair $(\mathbb{R}^m,\mathbb{H}^n)$ has the Lipschitz extension property for $m \leq n$ where $\mathbb{H}^n$ is the sub-Riemannian Heisenberg group. That is, for some $C>0$, any $L$-Lipschitz map from a…
We focus on the Sobolev spaces of bounded subanalytic submanifolds of $\mathbb{R}^n$. We prove that if $M$ is such a manifold then the space $\mathscr{C}_0^\infty(M)$ is dense in $W^{1,p}(M,\partial M)$ (the kernel of the trace operator)…
We prove density of smooth functions in subspaces of Sobolev- and higher order $BV$-spaces of kind $W^{m,p}(\Omega)\cap L^q(\Omega-D)$ and $BV^m(\Omega)\cap L^q(\Omega-D)$, respectively, where $\Omega\subset\mathbb{R}^n$ ($n\in\mathbb{N}$)…
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 give a full characterization of embeddings of the unit circle that admit a Sobolev homeomorphic extension to the unit disk. As a direct corollary, we establish that for quasiconvex target domains $\mathbb Y$, any homeomorphism $\varphi…
A complete description of traces on $\mathbb{R}^{n}$ of functions from the weighted Sobolev space $W^{l}_{1}(\mathbb{R}^{n+1},\gamma)$, $l \in \mathbb{N}$, with weight $\gamma \in A^{\rm loc}_{1}(\mathbb{R}^{n+1})$ is obtained. In the case…
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…
We characterize the restrictions of first order Sobolev functions to regular subsets of a homogeneous metric space and prove the existence of the corresponding linear extension operator.
For a set $E\subset\mathbb{R}^n$ that contains the origin we consider $I^m(E)$ -- the set of all $m^{\text{th}}$ degree Taylor approximations (at the origin) of $C^m$ functions on $\mathbb{R}^n$ that vanish on $E$. This set is an ideal in…
Given a function $f : A \to \mathbb{R}^n$ of a certain regularity defined on some open subset $A \subseteq \mathbb{R}^m$, it is a classical problem of analysis to investigate whether the function can be extended to all of $\mathbb{R}^m$ in…