Dirichlet Forms, Poincaré Inequalities, and the Sobolev Spaces of Korevaar and Schoen

We answer a question of Jost on the validity of Poincare inequalities for metric space-valued functions in a Dirichlet domain. We also investigate the relationship between Dirichlet domains and the Sobolev-type spaces introduced by Korevaar and Schoen.

An introduction to Cheeger's differentiation theory

Heisenberg quasiregular ellipticity

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…

Quasihyperbolic boundary conditions and capacity: Hölder continuity of quasiconformal mappings

We prove that quasiconformal maps onto domains which satisfy a suitable growth condition on the quasihyperbolic metric are uniformly continuous when the source domain is equipped with the internal metric. The obtained modulus of continuity and the growth assumption on the quasihyperbolic metric are shown to be essentially sharp. As a tool, we prove a new capacity estimate.

Gromov–Hausdorff convergence and Poincaré inequalities

Other definitions of Sobolev-type spaces

Sobolev classes of Banach space-valued functions and quasiconformal mappings

We give a definition for the class of Sobolev functions from a metric measure space into a Banach space. We give various characterizations of Sobolev classes and study the absolute continuity in measure of Sobolev mappings in the “borderline case”. We show under rather weak assumptions on the source space that quasisymmetric homeomorphisms belong to a Sobolev space of borderline degree; in particular, they are absolutely continuous. This leads to an analytic characterization of quasiconformal mappings between Ahlfors regular Loewner spaces akin to the classical Euclidean situation. As a consequence, we deduce that quasisymmetric maps respect the Cheeger differentials of Lipschitz functions …

Quasihyperbolic boundary conditions and Poincaré domains

We prove that a domain in ${\Bbb R}^n$ whose quasihyperbolic metric satisfies a logarithmic growth condition with coefficient $\beta\le 1$ is a (q,p)-\Poincare domain for all p and q satisfying $p\in[1,\infty)\cap(n-n\beta,n)$ and $q\in[p,\beta p^*)$ , where $p^*=np/(n-p)$ denotes the Sobolev conjugate exponent. An elementary example shows that the given ranges for p and q are sharp. The proof makes use of estimates for a variational capacity. When p=2 we give an application to the solvability of the Neumann problem on domains with irregular boundaries. We also discuss the relationship between this growth condition on the quasihyperbolic metric and the s-John condition.