The theory of sharp first-order univalence criteria
type: Item
instance of: scholarly article
title: The theory of sharp first-order univalence criteria
zbMATH Open document ID: 0826.30012
DOI: 10.1007/BF03008408
author: Julian Gevirtz
published in: Journal d'Analyse Mathématique
publication date: 1995-02-02T00:00:00Z
review text: Let \(D \subset \mathbb{C}\) be a Jordan domain such that the derivative of the Riemann mapping function from the unit disk \(\mathbb{D}\) onto \(D\) has a continuous and nonvanishing extension to \(\overline \mathbb{D}\) \((\partial D\) Dini-smooth e.g.). The case \(D = H\) where \(H\) is the upper half-plane also occurs as a certain limit case. Another domain \(R \subset \mathbb{C}\) is now called a domain of univalence for \(D\) if, for every function \(f\) analytic in \(D\), the condition \(f'(D) \subset R\) implies that \(f\) is univalent. A well-known simple example is the Noshiro-Warschawski univalence criterion where \(D\) is any convex domain and \(R\) is some halfplane \(e^{i \theta}H\). Another interesting example is obtained if \(D = \mathbb{D}\) and \(R = \{1 < |w |< \gamma\}\), where \(\gamma \geq e^{\pi/2}\) is the (unknown) John constant. Generalizing the last example the author considers doubly connected domains of univalence of the type \(R = S_1 \backslash \overline {S_2}\) where \(S_1\), \(S_2\) \((\overline {S_2} \subset S_1)\) are strictly starshaped domains with analytic boundary curves. The univalence criterion \(f'(D) \subset R\) is now called (strongly) sharp if, for every domain \(R' \subsetneqq R\) there exists a nonunivalent function \(f\) with \(f'(D) \subset R'\). It is shown that this sharpness condition is closely related to the existence of some extremal function \(f_0\) still satisfying \(f_0'(D) \subset R\) but such that there are points \(a,b \in \partial D\) with \(f_0(a) = f_0(b)\). In order to characterize such extremal functions an interesting variational method is developed from which it follows as a basic result that \(f_0'(D)\) covers the universal covering surface of \(R\) a finite number of times. More precisely it is shown that \(f_0'(z) = \Gamma (k(z))\) where \(k : D \to S = \{0 < \text{Re} \zeta < 1\}\) is analytic such that \(\text{Re} k\) is the harmonic measure of a finite number of arcs on \(\partial D\) and \(\G…
reviewed by: Jochen Becker
Mathematics Subject Classification ID: 30C55
zbMATH DE Number: 718519
MaRDI profile type: Publication
cites work: Extremal functions for functionals on some classes of analytic functions
cites work: THE MAIN RESULTS ON SUFFICIENT CONDITIONS FOR AN ANALYTIC FUNCTION TO BE SCHLICHT
cites work: Q3762580
cites work: Löwnersche Differentialgleichung und quasikonform fortsetzbare schlichte Funktionen.
cites work: Schlichtheitskriterien und Jordangebiete.
cites work: Extremal Problems for Certain Classes of Analytic Functions
cites work: Q5618011
cites work: Extremal problems in arbitrary domains
cites work: Q4722310
cites work: On the difference quotients of an analytic function
cites work: On Extremal Functions for John Constants
cites work: A note on the Noshiro-Warschawski theorem
cites work: A criterion for univalency brought up to date
cites work: Q4052427
cites work: On certain extremum problems for analytic functions
Recommended article: Q4722310
Recommended article: On some results concerning univalence criteria
Recommended article: Q3450420
Recommended article: Q3031066
Recommended article: Q3639589
Recommended article: Q3781326
Recommended article: Q4735372
Recommended article: On certain univalence criteria
Recommended article: Q4226002
Recommended article: Q3475522
description: scientific article; zbMATH DE number 718519