Mappings of BMO-bounded distortion

DOI10.1007/PL00004420MaRDI QIDQ1581825zbMATH OpenOpenAlexWikidataFDO

Authors Kari Astala, Tadeusz Iwaniec, Pekka Koskela, Gaven J. Martin

Publication date 30 January 2001

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/pl00004420

zbMATH Keywords

BMO-bounded distortion Hardy-Orlicz space quasiconformal mapping quasiregular removable singularity

Mathematics Subject Classification ID

Quasiconformal mappings in (mathbb{R}^n), other generalizations (30C65)

Review text

In this paper the authors continue developing the theme of mappings of \(BMO\)-bounded distortion, refining and extending previous work, as well as obtaining new results. Let \(\Omega\) be an open subset of \(\mathbb{R}^n\). A function \(f:\Omega\rightarrow\mathbb{R}^n\) is said to have finite distortion if \(f\in W_{\text{loc}}^{1,\phi}(\Omega,\mathbb{R}^n)\) for the Orlicz function \(\phi(t)=t^n\log^{-1}(t+e)\), and there is a function \(K(x), 1\leq K(x) <\infty\) defined a.e. in \(\Omega\) such that \[ |Df(x)|^n = K(x)J(x,f) \] a.e. in \(\Omega\). Here \(|Df(x)|\) stands for the norm of the differential of \(f\) and \(J(x,f)\) is the jacobian. If \(K(x)\) is uniformly bounded then one arrives at the usual class of quasiregular mappings if in addition \(f\in W_{\text{loc}}^{1,n}(\Omega,\mathbb{R}^n)\). A function \(f\in W_{\text{loc}}^{1,\phi}(\Omega,\mathbb{R}^n)\) is said to be of \(BMO\)-bounded distortion if there is \(M\in BMO(\mathbb{R}^n)\) such that \[ |Df(x)|^n \leq M(x)J(x,f) \] a.e. in \(\Omega\). The function \(M\) is called a \(BMO\)-distortion function for \(f\). The authors obtain sharp estimates for the modulus of continuity of a monotone mapping in various Sobolev-Orlicz classes. Briefly, a mapping \(f:\Omega\rightarrow\mathbb{R}^n\) is said to be \textit{monotone} if for each compact \(G\subset\Omega\) and each \(x,y\in G\) one has \[ |f(x)-f(y)|\leq\max \{|f(z)-f(w)|:z,w\in\partial\Omega \}. \] Mappings of small \(BMO\)-distortion are open and discrete hence monotone. The authors also study the distortion of Hausdorff dimension under mappings of \(BMO\)-bounded distortion. In contrast to the fact that quasiconformal mappings distort the Hausdorff dimension by bounded amounts, no such estimate holds for this wider class, and they need to look at finer measures of dimension, obtained by logarithmic weight functions. This is used in the final section of the paper to prove a theorem analogous to the Painlevé theorem for analytic functions in the plane concerning removable singularities. The results here are qualitatively optimal. In particular, they show that some sets of Hausdorff dimension zero are not removable for bounded mappings of \(BMO\)-bounded distortion, although they are removable for every bounded quasiregular mapping. Finally, they show that there are domains in the plane which admit bounded mappings of \(BMO\)-bounded distortion but no nonconstant bounded quasiregular mapping.

Recommendations

Cited in

(59)

This page was built for publication: Mappings of \(BMO\)-bounded distortion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1581825)