Search results for " Metric Geometry"
showing 10 items of 104 documents
Notions of Dirichlet problem for functions of least gradient in metric measure spaces
2019
We study two notions of Dirichlet problem associated with BV energy minimizers (also called functions of least gradient) in bounded domains in metric measure spaces whose measure is doubling and supports a (1, 1)-Poincaré inequality. Since one of the two notions is not amenable to the direct method of the calculus of variations, we construct, based on an approach of Juutinen and Mazón-Rossi–De León, solutions by considering the Dirichlet problem for p-harmonic functions, p>1, and letting p→1. Tools developed and used in this paper include the inner perimeter measure of a domain. Peer reviewed
Heisenberg quasiregular ellipticity
2016
Following the Euclidean results of Varopoulos and Pankka--Rajala, we provide a necessary topological condition for a sub-Riemannian 3-manifold $M$ to admit a nonconstant quasiregular mapping from the sub-Riemannian Heisenberg group $\mathbb{H}$. As an application, we show that a link complement $S^3\backslash L$ has a sub-Riemannian metric admitting such a mapping only if $L$ is empty, the unknot or Hopf link. In the converse direction, if $L$ is empty, a specific unknot or Hopf link, we construct a quasiregular mapping from $\mathbb{H}$ to $S^3\backslash L$. The main result is obtained by translating a growth condition on $\pi_1(M)$ into the existence of a supersolution to the $4$-harmonic…
A metric characterization of Carnot groups
2013
We give a short axiomatic introduction to Carnot groups and their subRiemannian and subFinsler geometry. We explain how such spaces can be metrically described as exactly those proper geodesic spaces that admit dilations and are isometrically homogeneous.
Improved Bounds for Hermite–Hadamard Inequalities in Higher Dimensions
2019
Let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $\Delta f \geq 0$). Then $$ \frac{1}{|\Omega|} \int_{\Omega}{f dx} \leq \frac{c_n}{ |\partial \Omega| } \int_{\partial \Omega}{ f d\sigma},$$ where $c_n \leq 2n^{3/2}$. This inequality was previously only known for convex functions with a much larger constant. We also show that the optimal constant satisfies $c_n \geq n-1$. As a byproduct, we establish a sharp geometric inequality for two convex domains where one contains the other $ \Omega_2 \subset \Omega_1 \subset \mathbb{R}^n$: $$ \frac{|\partial \Omega_1|}{|\Omega_1|} \frac{| \Omega_2|}{|\partial \Ome…
Tangent lines and Lipschitz differentiability spaces
2015
We study the existence of tangent lines, i.e. subsets of the tangent space isometric to the real line, in tangent spaces of metric spaces. We first revisit the almost everywhere metric differentiability of Lipschitz continuous curves. We then show that any blow-up done at a point of metric differentiability and of density one for the domain of the curve gives a tangent line. Metric differentiability enjoys a Borel measurability property and this will permit us to use it in the framework of Lipschitz differentiability spaces. We show that any tangent space of a Lipschitz differentiability space contains at least $n$ distinct tangent lines, obtained as the blow-up of $n$ Lipschitz curves, whe…
Sharp estimate on the inner distance in planar domains
2020
We show that the inner distance inside a bounded planar domain is at most the one-dimensional Hausdorff measure of the boundary of the domain. We prove this sharp result by establishing an improved Painlev\'e length estimate for connected sets and by using the metric removability of totally disconnected sets, proven by Kalmykov, Kovalev, and Rajala. We also give a totally disconnected example showing that for general sets the Painlev\'e length bound $\kappa(E) \le\pi \mathcal{H}^1(E)$ is sharp.
Abstract and concrete tangent modules on Lipschitz differentiability spaces
2020
We construct an isometric embedding from Gigli's abstract tangent module into the concrete tangent module of a space admitting a (weak) Lipschitz differentiable structure, and give two equivalent conditions which characterize when the embedding is an isomorphism. Together with arguments from a recent article by Bate--Kangasniemi--Orponen, this equivalence is used to show that the ${\rm Lip}-{\rm lip}$ -type condition ${\rm lip} f\le C|Df|$ implies the existence of a Lipschitz differentiable structure, and moreover self-improves to ${\rm lip} f =|Df|$. We also provide a direct proof of a result by Gigli and the second author that, for a space with a strongly rectifiable decomposition, Gigli'…
On BLD-mappings with small distortion
2021
We show that every $$L$$ -BLD-mapping in a domain of $$\mathbb {R}^{n}$$ is a local homeomorphism if $$L < \sqrt{2}$$ or $$K_I(f) < 2$$ . These bounds are sharp as shown by a winding map.
Approximation by uniform domains in doubling quasiconvex metric spaces
2020
We show that any bounded domain in a doubling quasiconvex metric space can be approximated from inside and outside by uniform domains.
The Choquet and Kellogg properties for the fine topology when $p=1$ in metric spaces
2017
In the setting of a complete metric space that is equipped with a doubling measure and supports a Poincar´e inequality, we prove the fine Kellogg property, the quasi-Lindel¨of principle, and the Choquet property for the fine topology in the case p = 1. Dans un contexte d’espace m´etrique complet muni d’une mesure doublante et supportant une in´egalit´e de Poincar´e, nous d´emontrons la propri´et´e fine de Kellogg, le quasi-principe de Lindel¨of, et la propri´et´e de Choquet pour la topologie fine dans le cas p = 1. peerReviewed