Related papers: Pushforward of currents under Sobolev maps

We generalize McCann's theorem of optimal transport to a submanifold setting and prove Michael-Simon-Sobolev inequalities for submanifolds in manifolds with lower bounds on intermediate Ricci curvatures. The results include a variant of the…

The aim of this paper is to prove isoperimetric inequalities on submanifolds of the Euclidean space using mass transportation methods. We obtain a sharp ?weighted isoperimetric inequality? and a nonsharp classical inequality similar to the…

In the paper we establish an optimal logarithmic Sobolev inequality for complete, non-compact, properly embedded self-shrinkers in the Euclidean space, which generalizes a recent result of Brendle \cite{Brendle22} for closed self-shrinkers.…

We develop the optimal transportation approach to modified log-Sobolev inequalities and to isoperimetric inequalities. Various sufficient conditions for such inequalities are given. Some of them are new even in the classical log-Sobolev…

We study completeness properties of Sobolev metrics on the space of immersed curves and on the shape space of unparametrized curves. We show that Sobolev metrics of order $n\geq 2$ are metrically complete on the space $\mathcal…

We survey a few trace theorems for Sobolev spaces on $N$-dimensional Euclidean domains. We include known results on linear subspaces, in particular hyperspaces, and smooth boundaries, as well as less known results for Lipschitz boundaries,…

The purpose of this paper is to explore conditions which guarantee Lipschitz-continuity of harmonic maps w.r.t. quasihyperbolic metrics. For instance, we prove that harmonic quasiconformal maps are Lipschitz w.r.t. quasihyperbolic metrics.

Many procedures in science, engineering and medicine produce data in the form of geometric shapes. Mathematically, a shape can be modeled as an un-parameterized immersed sub-manifold, which is the notion of shape used here. Endowing shape…

Let $(M,g)$ be a complete non-compact Riemannian manifold together with a function $e^h$, which weights the Hausdorff measures associated to the Riemannian metric. In this work we assume lower or upper radial bounds on some weighted or…

We prove new Sobolev type inequalities on compact K\"ahler manifolds with positive Ricci curvature. A proof of an already existing Sobolev inequality in the classical Bidaut-V\'eron and V\'eron approach is also discussed.

Inspired by the Gromov-Hausdorff distance, we define the intrinsic flat distance between oriented $m$ dimensional Riemannian manifolds with boundary by isometrically embedding the manifolds into a common metric space, measuring the flat…

Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to…

A method is presented for constructing closed surfaces out of Euclidean polygons with infinitely many segment identifications along the boundary. The metric on the quotient is identified. A sufficient condition is presented which guarantees…

Let $X$ be a noncomplete metric space satisfying the usual (local) assumptions of a doubling property and a Poincar\'e inequality. We study extensions of Newtonian Sobolev functions to the completion $\widehat{X}$ of $X$ and use them to…

We prove that every acyclic normal one-dimensional real Ambrosio-Kirchheim current in a Polish (i.e. complete separable metric) space can be decomposed in curves, thus generalizing the analogous classical result proven by S. Smirnov in…

In this note, our aim is to show that families of smooth hypersurfaces of $\mathbb R^{n+1}$ which are all $C^1$--close enough to a fixed compact, embedded one, have uniformly bounded constants in some relevant inequalities for mathematical…

There are at least two directions concerning the extension of classical sharp Hardy-Littlewood-Sobolev inequality: (1) Extending the sharp inequality on general manifolds; (2) Extending it for the negative exponent $\lambda=n-\alpha$ (that…

One can describe isomorphism of two compact hyperbolic Riemann surfaces of the same genus by a measure-theoretic property: a chosen isomorphism of their fundamental groups corresponds to a homeomorphism on the boundary of the Poincar\'e…

In this paper, we carry out in-depth research centering around the $(p, q)$-Sobolev inequality and Nash inequality on forward complete Finsler metric measure manifolds under the condition that ${\rm Ric}_{\infty} \geq -K$ for some $K \geq…

We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by…