Related papers: The coarea formula for Sobolev mappings

Let $L^{m,p}(\R^n)$ be the Sobolev space of functions with $m^{th}$ derivatives lying in $L^p(\R^n)$. Assume that $n< p < \infty$. For $E \subset \R^n$, let $L^{m,p}(E)$ denote the space of restrictions to $E$ of functions in…

We establish the area formula for change-of-variable mappings in the Sobolev space $W^{k,p}_{\text{loc}}$. Our approach relies on constructing Lipschitz approximations of Sobolev functions that agree with the original functions outside a…

Let $L^{m,p}(\R^n)$ denote the Sobolev space of functions whose $m$-th derivatives lie in $L^p(\R^n)$, and assume that $p>n$. For $E \subset \R^n$, denote by $L^{m,p}(E)$ the space of restrictions to $E$ of functions $F \in L^{m,p}(\R^n)$.…

We construct explicit examples of Frostman-type measures concentrated on arbitrary planar rectifiable curves of positive length. Based on such constructions we obtain for each $p \in (1,\infty)$ an exact description of the trace space of…

We prove that given a sequence of homeomorphisms $f_k: \Omega \to \mathbb{R}^n$ convergent in $W^{1,p}(\Omega, \mathbb{R}^n)$, $p \geq 1$ for $n =2$ and $p > n-1$ for $n \geq 3$, to a homeomorphism $f$ which maps sets of measure zero onto…

We show that homeomorphisms $f$ in ${\Bbb R}^n$, $n\geqslant3$, of finite distortion in the Orlicz--Sobolev classes $W^{1,\varphi}_{\rm loc}$ with a condition on $\varphi$ of the Calderon type and, in particular, in the Sobolev classes…

We prove a monotone Sobolev extension theorem for maps to Jordan domains with rectifiable boundary in metric surfaces of locally finite Hausdorff 2-measure. This is then used to prove a uniformization result for compact metric surfaces by…

We introduce a generalized version of the local Lipschitz number $\textrm{lip}\,u$, and show that it can be used to characterize Sobolev functions $u\in W_{\textrm{loc}}^{1,p}(\mathbb R^n)$, $1\le p\le \infty$, as well as functions of…

We prove the coarea formula for Lipschitz maps from the subriemannian $n$th Heisenberg group $\mathbb H_n$ to $\mathbb R^{2n}$. Our result is new even when $n=1$ and provides the simplest vector-valued instance of the coarea formula in…

We exhibit an algorithm to solve the following extension problem: Given a finite set $E \subset \mathbb{R}^n$ and a function $f: E \rightarrow \mathbb{R}$, compute an extension $F$ in the Sobolev space $L^{m,p}(\mathbb{R}^n)$, $p>n$, with…

Let $d$ be a metric on $R^n$ and let $C^{m,(d)}(R^n)$ be the space of $C^m$-function on $R^n$ whose partial derivatives of order $m$ belong to the space $Lip(R^n;d)$. We show that the homogeneous Sobolev space $L^{m+1}_p(R^n),p>n,$ can be…

First of all, we establish compactness of continuous mappings of the Orlicz--Sobolev classes $W^{1,\varphi}_{\rm loc}$ with the Calderon type condition on $\varphi$ and, in particular, of the Sobolev classes $W^{1,p}_{\rm loc}$ for $p>n-1$…

We develop geometric versions of Rademacher and Calderon type differentiability theorems in two categories. A special case of our results is that for any Lipschitz or continuous $W^{1,p}$ Sobolev map $f$ from $[0,1]^n$ into a Euclidean…

Given a Sobolev homeomorphism $f\in W^{2,1}$ in the plane we find a piecewise quadratic homeomorphism that approximates it up to a set of $\epsilon$ measure. We show that this piecewise quadratic map can be approximated by diffeomorphisms…

We estimate the Hopf degree for smooth maps $f$ from $\mathbb{S}^{4n-1}$ to $\mathbb{S}^{2n}$ in the fractional Sobolev space. Namely we show that for $s \in [1 - \frac{1}{4n}, 1]$ \[ \left |{\rm deg}_H(f)\right | \lesssim…

We study mappings with bounded (p,q)-distortion associated to Sobolev spaces on Carnot groups. Mappings of such type have applications to the Sobolev type embedding theory and classification of manifolds. For this class of mappings, we…

Given $f:\partial (-1,1)^n\to{\mathbb R}$, consider its radial extension $Tf(X):=f(X/\|X\|_{\infty})$, $\forall\, X\in [-1,1]^n\setminus\{0\}$. In "On some questions of topology for $S^1$-valued fractional Sobolev spaces" (RACSAM 2001), the…

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…

In this short paper the discussion of the pointwise characterization of functions $f$ in the Sobolev space $W^{m,p}(\R^n)$ given in the recent paper (Bojarski) is supplemented in \SS1 by a direct, essentially geometric, proof of the novel…

We prove that planar homeomorphisms can be approximated by diffeomorphisms in the Sobolev space $W^{1,2}$ and in the Royden algebra. As an application, we show that every discrete and open planar mapping with a holomorphic Hopf differential…