Quasilines and conformal mappings
type: Item
instance of: scholarly article
title: Quasilines and conformal mappings
zbMATH Open document ID: 0677.30012
DOI: 10.1007/BF02820475
author: Juha Heinonen
author: J. L. Fernández
author: O. Martio
published in: Journal d'Analyse Mathématique
publication date: 1989-01-01T00:00:00Z
review text: Let \(\Omega\) be a simply connected plane domain and f a conformal mapping of \(\Omega\) onto the unit disk. A notable theorem of Hayman and Wu (1982) asserts the existence of an absolute constant C such that \[ (1)\quad \int_{L\cap \Omega}| f'(x)| dx\leq C \] for every line or circle L. The paper under review contains a number of related results. For instance, the authors use symmetrization and hyperbolic convexity considerations to show that \(C=4\pi^ 2\) is permissible in (1). They also offer a conjecture for the sharp value of C. Hayman and Wu had obtained \(C\leq 10^{35}.\) The authors also consider the \(L^ p\) case of (1), and show that there exists \(\epsilon >0\) such that \(f'\in L^{1+\epsilon}(L\cap \Omega)\) for every L. It had been conjectured that \(f'\in L^ p(L\cap \Omega)\) for every \(p\in (1,2)\), but this has been disproved by the reviewer [J. Anal. Math. 53, 253-268 (1989)]. Other results assert that if D is a quasidisk contained in \(\Omega\) then f(D) is also a quasidisk, and if L is a K- quasicircle then \(f(L_ i)\) is a ``quasiarc'' for each component \(L_ i\) of \(L\cap \Omega\). Moreover, \[ (2)\quad \sum_{i}(diam f(L_ i))^ K<\infty. \] The authors call this the quasiconformal analogue of the Hayman-Wu theorem. They leave open the question of whether the series in (2) converges when K is replaced by 1. In the past few months two further results inspired by the Hayman-Wu theorem have been proved. \textit{C. Bishop} and \textit{P. Jones} [Ann. Math., to appear] have characterized plane curves L with the ``Hayman-Wu property'' as precisely those which are ``Ahlfors-regular'', thereby settling a conjecture discussed in the paper under review. Also, J.-M. Wu has proved a version of (1) when L is a hyperplane in \({\mathbb{R}}^ n\), \(\Omega\) satisfies a suitable thickness condition at the boundary, and \(f'\) is replaced by the gradient of the Green's function of \(\Omega\).
Mathematics Subject Classification ID: 30C62
Mathematics Subject Classification ID: 30C20
zbMATH DE Number: 4109082
zbMATH Keywords: quasidisk
reviewed by: Albert Baernstein II
MaRDI profile type: Publication
cites work: Q5512337
cites work: Integral means, univalent functions and circular symmetrization
cites work: Q3961729
cites work: Weighted norm inequalities for maximal functions and singular integrals
cites work: Opérateurs intégraux singuliers sur certaines courbes du plan complexe
cites work: Length of curves under conformal mappings
cites work: Q3764399
cites work: Q3922907
cites work: Q3328781
cites work: Q3958719
cites work: Quasiextremal distance domains and extension of quasiconformal mappings
cites work: Q3897249
cites work: Hardy spaces, $A_\infty$, and singular integrals on chord-arc domains
cites work: Level sets of univalent functions
cites work: Q5685358
cites work: Q4773955
cites work: Q5597066
cites work: Q3952356
cites work: Q4052427
description: scientific article; zbMATH DE number 4109082