Related papers: The Area Formula for Lipschitz Mappings of Carnot-…
We prove the coarea formula for sufficiently smooth contact mappings of Carnot manifolds. In particular, we investigate level surfaces of these mappings, and compare Riemannian and sub-Riemannian measures on them. Our main tool is the sharp…
We prove a Rademacher-type theorem for Lipschitz mappings from a subset of a Carnot group to a Banach homogeneous group, equipped with a suitably weakened Radon-Nikodym property. We provide a metric area formula that applies to these…
We present the area and coarea formulas for Lipschitz maps, valid for general volume densities. As applications, we give a short, "euclidean" proof of the anisotropic Sobolev inequality and describe an anisotropic tube formula for…
A special type of coarea inequality is proved for compositions of intrinsically Lipschitz mappings of Carnot groups with projections along horizontal vector fields. It is proved that the equality is achieved for mappings with finite…
The aim of this article is to prove a Lipschitz extension theorem for partially defined Lipschitz maps to jet spaces endowed with a left-invariant sub-Riemannian Carnot-Carath\'eodory distance. The jet spaces give a model for a certain…
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…
We prove non-extendability results for Lipschitz maps with target space being jet spaces equipped with a left-invariant Riemannian distance, as well as jet spaces equipped with a left-invariant sub-Riemannian Carnot-Caratheodory distance.…
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We consider the…
We characterize uniformly perfect, complete, doubling metric spaces which embed bi- Lipschitzly into Euclidean space. Our result applies in particular to spaces of Grushin type equipped with Carnot-Carath\'eodory distance. Hence we obtain…
Let $M$ be a subset of $\mathbb{R}^n$. If $M$ is not porous, in particular if it has positive $n$-dimensional Lebesgue measure, we prove that the Lipschitz spaces $\mathrm{Lip}_0(M)$ and $\mathrm{Lip}_0(\mathbb{R}^n)$ are linearly…
The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/H\"older continuous mappings acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing…
We consider submanifolds of sub-Riemannian Carnot groups with intrinsic $C^1$ regularity ($C^1_H$). Our first main result is an area formula for $C^1_H$ intrinsic graphs; as an application, we deduce density properties for Hausdorff…
In this paper, we establish a three circles type theorem, involving the harmonic area function, for harmonic mappings. Also, we give bounds for length and area distortion for harmonic quasiconformal mappings. Finally, we will study certain…
We prove the local Lipschitz continuity of sub-elliptic harmonic maps between certain singular spaces, more specifically from the $n$-dimensional Heisenberg group into $CAT(0)$ spaces. Our main theorem establishes that these maps have the…
We investigate local and metric geometry of weighted Carnot-Carath\'eodory spaces which are a wide generalization of sub-Riemannian manifolds and arise in nonlinear control theory, subelliptic equations etc. For such spaces the intrinsic…
This paper deals with the problem of finding bi-Lipschitz behavior in non-degenerate Lipschitz maps between metric measure spaces. Specifically, we study maps from (subsets of) Ahlfors regular PI spaces into sub-Riemannian Carnot groups. We…
This note is a companion paper to arXiv:1608.01630 [math.CA]. Here we generalize some of the geometric results of arXiv:1608.01630 [math.CA] to the case of a $3\times 3$ matrix function $A(x)\approx \mathrm{diag}\{1,f(x_1), g(x_1)\}$. More…
We describe classes of coordinate systems in Carnot-Carath\'eodory spaces of low smoothness which allow for homogeneous approximations of quasimetrics and basis vector fields. We establish the minimal smoothness required for these classes…
We find a different approach to define convex functions in the sub-Riemannian setting. A function on a sub-Riemannian manifold is nonholonomically geodesic convex if its restriction to any nonholonomic (straightest) geodesic is convex. In…
We consider second order uniformly elliptic operators of divergence form in $\R^{d+1}$ whose coefficients are independent of one variable. Under the Lipschitz condition on the coefficients we characterize the domain of the Poisson operators…