Monotone maps of \(\mathbb{R}^n\) are quasiconformal (Q1027115)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Monotone maps of \(\mathbb{R}^n\) are quasiconformal
scientific article

    Statements

    Monotone maps of \(\mathbb{R}^n\) are quasiconformal (English)
    0 references
    0 references
    0 references
    0 references
    30 June 2009
    0 references
    L.V. Kovalev proved the interesting fact that a \(\delta\)-monotone mapping of \(\mathbb R^n\) is \(K\)-quasiconformal for some distortion constant \(K\) depending only on \(\delta\): {Theorem.} Let \(h :\Omega\subset\mathbb R^n\to\mathbb R^n\) be \(\delta\)-monotone. Then either \(h\) is constant or a quasiconformal homeomorphism with linear distortion bounded by \[ K =\frac{1+\sqrt{1-\delta^2}}{1-\sqrt{1-\delta^2}}. \] This bound on the linear distortion is sharp for every \(\delta\in (0, 1]\). In this paper the authors give a new proof of this result using methods which are rather more elementary than those employed by L.V. Kovalev, going through a compactness argument which is more or less standard in the theory of quasiconformal mappings. The authors give also the precise estimates relating the monotonicity constant \(\delta\) and the distortion constant \(K\). Let \(\Omega\subset\mathbb R^n\) be a domain containing the closed ball \({\overline B}\left(0,\frac{3}{\delta}\right)\) and let \(\alpha\in\mathbb S^{n-1}\). Define \(\mathcal F_\alpha = \{h :\Omega\to\mathbb R^n : h\) is \(\delta\)-monotone, \(h(0) = 0\), and \(|h(\alpha)| = 1\}.\) Then there is \(H = H(\delta) <\infty\) such that \(\sup_{h\in\mathcal F_\alpha} |h(z)| < H\) for all \(|z|\leq 1\). Let \(h : \Omega\to\mathbb R^n\) be a non-constant \(\delta\)-monotone mapping in a domain \(\Omega\subset\mathbb R^n\). Then \(h\) is a continuous injection whose linear distortion is bounded by \(H(\delta)\).
    0 references
    monotone mapping
    0 references
    linear distortion
    0 references
    weak quasisymmetry
    0 references
    compactness
    0 references
    quasiconformality
    0 references

    Identifiers