On quasiregular mappings and domains with a complete conformal metric (Q1077578): Difference between revisions

Quasiregular (qr) mappings in Euclidean n-space \(R^ n\), \(n\geq 2\), constitute a wide class of mappings which contains both quasiconformal (qc) mappings in \(R^ n\) and analytic functions of one complex variable as a particular case. Extending his earlier work [(*) J. Anal. Math. (to appear)] the author proves a number of distortion theorems for qr mappings of the unit ball \(B^ n=\{x\in R^ n:\) \(| x| <1\}\) onto a domain D. If also \(D=B^ n\), the situation is well known (the qr version of the Schwarz lemma) and throughout this review D will be a proper subdomain of \(B^ n\). Denote by \(k_ D\) the quasihyperbolic metric of D. As shown in (*) a qr map \(f: B^ n\to D\) need not be uniformly continuous as a mapping between metric spaces \(f: (B^ n,k_{B^ n})\to (D,k_ D).\) A counterexample is the exponential function of \(B^ 2\) onto \(B^ 2\setminus \{0\}\). On the other hand a uniform continuity result in the above sense was obtained by \textit{F. W. Gehring} and \textit{B. G. Osgood} for qc maps [J. Anal. Math. 36, 50-74 (1979; Zbl 0449.30012)]. In this paper the author introduces a metric thickness condition which makes use of conformal capacity densities and is somewhat similar to the Wiener criterion. If this metric condition holds at every point of \(\partial D\), then the author proves that every qr map of \(B^ n\) onto D will be uniformly continuous in the above sense. The metric condition is closely related to some recent results of \textit{Ch. Pommerenke} on uniformly perfect sets [Analysis 4, 299-321 (1984; Zbl 0501.30036)]. The metric condition also implies that a conformal metric on D is complete. The main results of the paper seem to be new even for \(n=2\).