Distortion of the boundary under conformal mapping
type: Item
instance of: scholarly article
title: Distortion of the boundary under conformal mapping
zbMATH Open document ID: 0538.30019
published in: Michigan Mathematical Journal
publication date: 1982-01-01T00:00:00Z
review text: In this paper the following question is studied: What are the relations between the harmonic measure \(\omega^ a_{\Omega}\) of a Jordan domain \(\Omega\) at the point \(a\in \Omega\) and the Hausdorff measure \(\Lambda_ h\) with respect to a given measure function h? The authors give a new and more constructive proof of a (slight extension of a) result due to \textit{L. Carleson} [Duke Math. J. 40, 547-559 (1973; Zbl 0273.30014)]: There exist \(\beta>frac{1}{2}\) such that \(\omega^ a_{\Omega}\ll m_{\beta},\) where \(m_{\beta}=\Lambda_ h\) for \(h(t)=t^{\beta}\) (i.e. \(m_{\beta}\) is \(\beta\)-dimensional Hausdorff measure) and - in the opposite direction - that if \(h(t)=t \exp \{A(\log 1/t)^{\frac{1}{2}}\}\) for some constant \(A>0\) there exist \(\Omega\) and \(F\subset \partial \Omega\) with \(\omega^ a_{\Omega}(F)=1\) and \(\Lambda_ h(F)=0\). In fact, \(\partial \Omega\) can be chosen to be a quasi-circle (Theorem 1). On the other hand, it was known that for any simply connected set \(\Omega\) and any \(K\subset \partial \Omega\) situated on some straight line L one has \(m_ 1(K)=0\Rightarrow \omega^ a_{\Omega}(K)=0\) [the reviewer, Aspects of contemporary complex analysis, Proc. inst., Conf., Durham/Engl. 179, 469-473 (1980; Zbl 0496.30014)]. The authors extend this result to the case where L is a quasi-smooth curve (Theorem 3). A crucial ingredient in the proof is a result due to \textit{Jerison} and \textit{Kenig} [''Boundary behaviour of harmonic functions in non-tangentially accessible domains'' (preprint)] about properties of harmonic measures in domains with quasi-smooth boundaries. Other interesting results are also obtained. Quite recently \textit{N. G. Makarov} [''On the distortion of boundary sets under conformal mappings'' (preprint)] has proved a result which implies that in Theorem 1 one has in fact \(\omega^ a_{\Omega}\ll m_{\beta}\) for any \(\beta<1\). This has been an open problem for a long time.
reviewed by: B. Øksendal
Mathematics Subject Classification ID: 30C85
Mathematics Subject Classification ID: 31A15
zbMATH DE Number: 3855444
zbMATH Keywords: starlike domains
zbMATH Keywords: harmonic measure
zbMATH Keywords: Jordan domain
zbMATH Keywords: Hausdorff measure
zbMATH Keywords: quasi-circle
zbMATH Keywords: quasi-smooth curve
zbMATH Keywords: domains with quasi-smooth boundaries
author: Robert Kaufman
author: Jang-Mei Wu
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1307/mmj/1029002725
OpenAlex ID: W2088949545
DOI: 10.1307/MMJ/1029002725
Recommended article: On the boundary distortion under conformal mapping
Recommended article: Q4018303
Recommended article: Conformal Distortion of Boundary Sets
Recommended article: On the Distortion of Boundary Sets Under Conformal Mappings
Recommended article: Q3766020
Recommended article: The boundary distortion of a quasiconformal mapping
Recommended article: On bounded distortion in conformal mapping
Recommended article: Boundary behavior of a conformal mapping
Recommended article: Q5385331
Recommended article: Q4000499
description: scientific article; zbMATH DE number 3855444