Related papers: The coarea formula for Sobolev mappings

Let \Sigma be a minimal submanifold of \R^{n+m} that can be represented as the graph of a smooth map f:\R^n-->\R^m. We apply a formula we derived in the study of mean curvature flow to obtain conditions under which \Sigma must be an affine…

We extend the validity of a Gromov's dimension comparison estimate for topological hypersurfaces to sufficiently large classes of rectifiable sets, arising from Sobolev mappings. Our tools are a suitably weak exterior differentiation for…

The approximation of Sobolev homeomorphisms by smooth diffeomorphisms is well understood in first-order spaces $W^{1,p}$, but remains largely open in the second-order space $W^{2,1}$ due to a fundamental tension between curvature control…

Let $q>1$, $(1-\frac{1}{q})a\geq 1$ and let $\Omega\subset \mathbb{R}^2$ be Lipschitz domain. We show that planar mappings in the second order Sobolev space $f\in W^{2,q}(\Omega,\mathbb{R}^2)$ with $|J_f|^{-a}\in L^1(\Omega)$ are…

First of all, we prove that open mappings in Orlicz-Sobolev classes $W^{1,\phi}_{\rm loc}$ under the Calderon type condition on $\phi$ have the total differential a.e. that is a generalization of the well-known theorems of…

Let $F : H^q \to H^q$ be a $C^k$-map between Sobolev spaces, either on $\mathbb R^d$ or on a compact manifold. We show that equivariance of $F$ under the diffeomorphism group allows to trade regularity of $F$ as a nonlinear map for…

Every homeomorphism h : X -> Y between planar open sets that belongs to the Sobolev class W^{1,p}(X,Y), 1<p<\infty, can be approximated in the Sobolev norm by diffeomorphisms.

Let $\Omega\subseteq\mathcal{R}^2$ be a domain, let $X$ be a rearrangement invariant space and let $f\in W^{1}X(\Omega,\mathcal{R}^2)$ be a homeomorphism between $\Omega$ and $f(\Omega)$. Then there exists a sequence of diffeomorphisms…

We show that there exists a planar Jordan domains $\Omega$ with boundary of Hausdorff dimension $1$ such that, for any conformal maps $\varphi \colon \mathbb D \to \Omega$, any homeomorphic extension of $\varphi$ or $\varphi^{-1}$ to the…

We study extrinsic geometry of a codimension-one foliation ${\cal F}$ of a closed Finsler space $(M,F)$, in particular, of a Randers space $(M,\alpha+\beta)$. Using a unit vector field $\nu$ orthogonal (in the Finsler sense) to the leaves…

We prove that for $p\ge 2$ solutions of equations modeled by the fractional $p$-Laplacian improve their regularity on the scale of fractional Sobolev spaces. Moreover, under certain precise conditions, they are in $W^{1,p}_{loc}$ and their…

Let f(x,y)=0 be an equation of plane analytic curve defined in the neighborhood of the origin and let $\pi:M\to(\Cn^2,0)$ be a local toric modification. We give a formula which connects a number of double points \delta_0(f)$ with a sum…

In this paper we give an estimate for the Hausdorff dimension of the set of two-sided points of the boundary of bounded simply connected Sobolev $W^{1,p}$-extension domain for $1<p<2$. Sharpness of the estimate is shown by examples. We also…

The classical Besicovitch-Federer projection theorem implies that the d-dimensional Hausdorff measure of a set in Euclidean space with non-negligible d-unrectifiable part will strictly decrease under orthogonal projection onto almost every…

We resolve a long-standing open problem posed by Federer concerning the rectifiability of the integral geometric measure with exponent p >1, thereby settling a question that has persisted since its formulation. While the main theorem is…

We prove lifting theorems for complex representations $V$ of finite groups $G$. Let $\sigma=(\sigma_1,\dots,\sigma_n)$ be a minimal system of homogeneous basic invariants and let $d$ be their maximal degree. We prove that any continuous map…

Integral formulae for foliated Riemannian manifolds provide obstructions for existence of foliations or compact leaves of them with given geometric properties. Recently, we associated a new Riemannian metric to a codimension-one foliated…

The configuration space of $k \geq 3$ ordered points in the Riemann sphere $\widehat{\mathbb C}$ is the Torelli space ${\mathcal U}_{0,k}$; a complex manifold of dimension $k-3$. If $m,n \geq 4$ and $F:{\mathcal U}_{0,m} \to {\mathcal…

We study a modified version of Lerman-Whitehouse Menger-like curvature defined for m+2 points in an n-dimensional Euclidean space. For 1 <= l <= m+2 and an m-dimensional subset S of R^n we also introduce global versions of this discrete…

Statistical shape analysis can be done in a Riemannian framework by endowing the set of shapes with a Riemannian metric. Sobolev metrics of order two and higher on shape spaces of parametrized or unparametrized curves have several desirable…