Академический Документы
Профессиональный Документы
Культура Документы
HERAUSGEGEBEN VON
L.V.AHLFORS · R.BAER· R.COURANT· J.L.DOOB· S.EILENBERG
P.R. HALMOS · M. KNESER · T. NAKAYAMA· H. RADEMACHER
F. K. SCHMIDT· B. SEG RE· E. SPERNER
======NEUE FOLGE· HEFT 18 ======
REIHE:
MODERNE
FUNKTIONENTHEORIE
BESORGT
VON
L.V.AHLFORS
BY
JAMES A.JENKINS
WITH 6 FIGURES
Introduction
1.1 The study of univalent functions to-day consists of the investi-
gation of certain families of functions regular ~r meromorphic and
univalent in prescribed domains which may be simply- or multiply-
connected especially from the aspects of the values which they assume
and extremal problems for their coefficients in power series expansions,
function values and derivatives. These problems are often closely
connected with questions in conformal mapping and indeed in many
cases have arisen from them. For the sake of definiteness we give first
Definition 1.1. Let the lunction I (z) be regular or meromorphic in the
domain D on the z-sphere. Then I (z) is called univalent il lor zv z 2 E D,
z1 i= z2 , we have
I (zl) i= I (z2) .
Some authors use the termschlicht for this concept. We restriet the
use of the latter term to domains (to emphasize the distinction from
RIEMANN domains).
In most of our work no generality is lost in imposing certain normali-
zations on the functions to be treated. Thus we will in general confine
our attention to the following families of functions.
Definition 1.2. Let S denote the lamily ol lunctions I (z) regular and
univalent lor lzl < 1 with I (0) = 0, f' (0) = 1.
Definition 1.3. Let D be a domain on the z-sphere containing the point
at inlinity. Let 1: (D) denote the lamily ol lunctions I (z) meromorphic and
univalent in D with Laurent expansion in the neighborhood ol inlinity
given by
I (z) = z + a0 + ~
a
+ ···+ ~
1 an
+ ···. (
1.1
)
Let };' (D) denote the subclass ol I:(D) consisting ol those lunctions lor
which a0 = 0 in the expansion (1.1). Il D further contains the origin, let
1:0 (D) denote the subclass ol }; (D) consisting ol those lunctions I (z) which
satisly 1(0) = 0. 11 D is in particular the simply-connected domain
lzl > 1 we denote the lirst two clasess simply by }; and I:'.
1.2 What may be regarded as the first actual result in the theory of
univalent functions was obtained in 1907 by KoEBE when he proved the
result [120, p. 204]
I. There exists an absolute positive constant x such that lor I E S the
lunction values w =I (z) for lzl < 1 lill the circle lwl < n where x is the
Zargest value lor which this is true.
Ergebn. d. Mathem. N. F. H. 18, Jenkins
2 I. Introduction
.E n lanl 2 ;;;; 1 .
n=l
In the same year BIEBERBACH [16, 17] proved that the true value
of x in I is 1 / 4 , the extremal functions being z(l + ei"'z)- 2 , oc real. From
this the best possible bounds in II and IV are readily deduced. He
proved also the following results on coefficients of functions in 5.
Classical results 3
(1.2)
then
equality being possible only lor the lunctions z + c + e2 irJ.jz, ()(real, c constant.
Both BIEBERBACH and F ABER used the area principle. I t should be
remarked that BrEBERBACH had used similar considerations earlier in
another connection [15].
In 1919 LöWNER [137] obtained results analogaus to II and IV (in
their sharp forms) for the functions of 1:' and discussed other problems
for this dass.
The same year BIEBERBACH [18] proved the rotation theorem.
IX. 11 I E S then lor JzJ = r
I+r
Jarg f' (z)J ~ 2log -1 - r
where the branch ol arg f' (z) is that taking the value zero at the origin.
However this inequality is not best possible.
SzEGÖ [184, 185] extended the result I by proving
X. Let f E S and let c, c' be values not assumed by I (z) for JzJ < 1 with
arg c' =arg c + n, then
max (JcJ, Jc'J) ~ 1 / 2 ,
equality occurring only lor the functions z (1 + eiO z 2 ) -l, () real.
Various authors gave explicit sequences of numbers admissible as
bounds in VII (although certainly not the best possible) but LrTTLE-
WOOD [134] was the first to give a sequence of bounds having the correct
order of magnitude.
!*
4 I. Introduction
XI. II I E 5 and has the power series expansion (1.2) at the origin then
---k
lim __r:_ < -
n
(1 + -:n1) e .
2
n-..oo
!a2! ~ 2 /a
equality occurring only for the functions z (1 + ei 8 z-3)"+ c, c constant,
2
() real.
If f E };' and its inverse function (jj (w) has expansion in the neighborhood
of injinity
b1
w + -w
bn
(jj (w) = + · · · + ---
wn + · · ·
then
lbal ~ 1
equality occurring only for the functions I (z) = z + eiajz, oc real.
Chronologically the first of the deeper methods to be applied in the
theory of univalent functions was the parametric method due to Löw-
NER [138]. The first person to treat the theory of univalent functions
in a unified manner by a single method was GRÖTZSCH [61-78] who used
the method of the extremal metric. Several years later GRUNSKY [79]
treated a number of the same problems by the method of contour
integration. Finally ScHIFFER [167-170] developed a variational method
for treating extremal problems for univalent functions. These four
methods are so important that we will give abrief sketch of each in the
following sections.
6 I. Introduction
equality occurring only for the lunctions f(z) = z(l + ei"z)- 2 , oc real.
No distinct proof of XVII was found for about twenty years but since
that time there have been a nurober [48, 99, 162]. All of them; however,
are on the non-elementary level.
Some years after LöwNER's paper, GoLUsiN [41, 42] took up the
parametric method and used it to provide a unified derivation of the
basic results for univalent functions. He also obtained some new results
most notable of which was the sharp form of the rotation theorem.
XIX. 11 f ES then lor lzl = r
Iarg f' (z) I :;; 4 sin-1 r, r:;; 2 2
_l
r2 _.!_
~ 71: + log l-r 22 ,
2 < r < 1
where tlie branch ol arg f' (z) is that taking the value zero at the origin and
sin-1 r denotes the principal value.
About the sametime PESCHL [144] resumed the general study of the
coefficient problem, i. e., the problern of determining the region of
possible values of the point (A 2 , A 3 , ••• , An) corresponding to expan-
sions (1.2) for functions in 5. He used a slightly extended form of
LöwNER's method and, together with certain qualitative results, obtained
explicitly a partial characterization for the region of values of (A 2, A3).
Method of the extremal metric 7
present time, working with the best tools now available, to rediscover
his results, obtained twenty-five years ago and more.
Not long after GRÖTZSCH began his work AHLFORS [1] made a striking
application of tbe metbod of the extremal metric, proving tbe DENJOY
conjecture on integral functions. Tbe use oftbis method was suggested
to him by tbe book of HURWITZ-COURANT [91, p. 351]. Wbile bis
approach is also an improvement over tbe primitive length-area proofs,
it is actually, as be states [3], not as sopbisticated as that of GRÖTZSCH.
However it drew much attention to tbis method. It is an interesting
fact that the two principal lines of development of the metbod of tbe
extremal metric bad their beginning in tbe problern of boundary
correspondence.
In 1933 RENGEL [156] used the metbad to solve and extend a problern
of SzEGÖ. BEURLING [14] used a form of tbe method of tbe extremal
metric in treating quasi-analytic functions. GoLUSIN [43, 45] used it
in the form of GRöTzscH's method of strips to prove the n-segment
theorem.
XX. Let f E 5, then in the image of lzl < 1 under f there exists a set
of n open rectilinear segments issuing from the origin at equal angles of
2 n/n the sum of whose lengths is at least n.
This result was extended by BERMANT [10, 11] (using tbe metbod of
contour integration, see § 1.7) and put in a more or less definitive form
by SPENCER [176, 95] again by means of tbe method of tbe extremal
metric. SPENCER also used this method in bis work on generalizations of
multivalent functions.
Some of tbe most fundamental forward steps in the development
of the method of tbe extremal metric were taken by TEICHMÜLLER [186
to 189]. On tbe one band he made explicit tbe close relationship oftbis
method witb Differential Geometry. (However this idea is present
implicitly and in some places even explicitly in the work of GRÖTZSCH,
see especially [75, 77].) Even more important was his discovery, based
on his study of GRöTzscH's results and his own work on quasiconformal
mapping, of tbe essential role played by quadratic differentials. In tbis
connection be formulated a notable principle giving the manner in
which quadratic differentials are associated witb the solutions of extremal
problems particularly in so far as the singularities of the quadratic dif-
ferential correspond to given data of the extremal problem. However
he did not prove any general result realizing this principle in concrete
form. As far as explicit results on univalent functions go bis cbief
contribution was tbe proving of certain important general inequalities
bearing on tbe coefficients of functions in S and E [187]. Since these
results are treated in detail in Chapter VI we do not state them bere.
In 1946 AHLFORS and BEURLING [4] gave an important new formula-
tion of the metbod of the extremal metric. Their approach Ieads to
Method of contour integration 9
Chapter Two
e(z) Idz* I·
I dz I
e* (z*) =
e2*(z) = el*(z)
apart at most lrom a set of measure zero on 'n.
16 II. Modules and Extremal Lengths
so that
1J1*(z) = IJ2*(z)
apart from a set of measure zero.
2.3 We will now determine the modules of certain specific curve
families.
Definition 2.5. The configuration consisting of a simply-connected
domain D of hyperbolic type with four assigned distinct boundary elements
is called a quadrangle. These boundary elements, called vertices, divide the
remaining boundary elements in the natural sense of boundary cor-
respondence into four sets, called sides. An open curve in D is said to join
two sides of the quadrangle if it tends at its respective ends to boundary
elements belanging to those sides.
Theorem 2.3. Let Q be a quadrangle with vertices denoted by 1, 2, 3, 4
r
taken in the natural order on the boundary of Q. Let be the class of locally
rectifiable curves in Q joining the sides 12 and 34. The quadrangle can be
mapped conformally onto a reetangle R with vertices A 1 , A 2 , A 3 , A 4 so that
1, 2, 3, 4 correspond respectively to these vertices. Let A 1 A 2 have length a,
A 2 A 3 length b. Then F has module m (F) equal to ajb.
Performing a magnification if necessary we may suppose that A1 A2
has length l = ajb, A 2A 3 length I and choose coordinates in the z-plane
(z = x + i y) so that R is given by
0<x<l,O<y<1
with A 1 at the origin. By Theorem 2.1 it is enough to find the module
of the dass of locally rectifiable curves joining the horizontal sides of R.
We take this problern in the L-normalization. Clearly the Euclidean
metric ldzl is admissible and
AdR) = l.
Now let e (z) ldzl be any admissible metric for this problern and
let y., be the intercept made by R on the ordinate at x. By hypothesis
f (! dy ~ 1.
Hence l is the minimal value of Ae (R) for (! E PL· Thus m (I) = ajb and
in R an extremal metric is given by the Euclidean metric. By Theorem 2.2
any other extremal metric differs from it at most on a set of measure
zero. If z = C/J (w) maps Q onto R in the manner given above the (essential-
ly unique) extremal metric in Qis given by lW' (w) lldwl.
Corollary 2.1. Let Q be as in Theorem 2.3. Let T' be the class oflocally
rectijiable curves in Q foining the sides 23 and 41. Then F' has module
m (F') equal to bja. Thus m (F) m (F') = 1.
This result is immediate.
It is well known that either m (F) or m (F') provides a characteristic
conformal invariant for Q. Thus m(F) may be called the module of Q
for the dass of curves r and similarly for m (F') and F'.
Corollary 2.2. Let the quadrangle Q lie in the z-plane. In the Euclidean
r
metric let every curve in have length at least d, let every curve in F' have
length at least J and let Q have area A. Then
ö d~A.
Indeed in the module problern for F d-1 ldzi provides an admissible
metric. Thus
Similarly
m(F') ~ J- 2 A.
Multiplying these inequalities and using Corollary 2.1 the result follows.
It is not hard to see that equality can occur only when Q is a reetangle
with vertices those given geometrically.
Corollary 2.2 is due to TEICHMÜLLER [186]. Recently a proof without
use of conformal mapping has been given by BESICOVITCH [12]. Analysis
of his proof, however, shows it to be basically a length-area proof of
primitive type.
Theorem 2.4. Let D be a doubly-connected domain lying in the w-plane
for which neither boundary component reduces to a point. Let F be the
class of rectifiable Jordan curves lying in D and separating its boundary
components. The domain D can be mapped conformally onto the circular
Ergebn. d. Mathem. N. F. H. 18, Jenkins 2
18 II. Modulesand Extremal Lengths
Now let e (z) jdzj be any admissible metric for this problern and let Yr
be the circle jzj = r, r1 < r < r 2. Then by hypothesis
Je rdrp?;; I
Yr
or
1 1 r, 1 r, d r 1 r
-!Je
2n 0 drdrp=-
2n fdrf ndm?-
<:: T - 2n J -=-log_!_.
r 2n r 1
r1 Yr r1
Now
0~ JJ (e- -}---) rdrdq;
C nr
2
= JCJ e2 rdrdrp- 2-/--
n C
JJe drdrp
(2.4)
1
+ ff420rdrdq;
0 n r
or
1
Hence-
2 log
n r1
~is the minimal value of A"(C)
"
for e E PL. Thus m(r)
= -21 log ~and in C an extremal metric is given by the logarithmic
n r1
Some special mod ules 19
z
rl
Agairr it is enough to solve the similar problern in C. In this rnodule
problern the rnetric (izflog :: \dz\ is adrnissible. Indeed Setting
= reüp we have for a locally rectifiable curve y in C joining \z\ = r 1 and
t t
[z[ = r2
J (lz\log
y
:: 1
[dzf = J (r log
y
:: 1
(dr 2 + r2 d 1p2l
r2 )-1 J ldrl
;s ( 1og ---:;;- -r-
)-1 J
1 y
r2 r, dr
;s ( log -;; -r-
;sl.
The corresponding area is
r2
ff ( r log- )-2 r d r d ({! =
r
2 njlog- . 2
c ~ ~
Now let e (z) \dz\ be any admissible rnetric for this problern and let
y"' be the segrnent intercepted by C on the ray of argument ({!· By
hypothesis
J e dr ;s 1 .
y<p
As before we can integrate this with respect to ({! over (0, 2 n) and obtain
(
r2
log-
rl
)-1 JJ C
edrd([J~
~
2njlog-.
rl
Now
0~ ff r
[ (!- ( r log- 2)-1]2 r d r d ({!
C r1 (2.5)
= f J e2 r dr d ({!- 2 (log
c
2)- Jcf
~
1
(! dr d ({! + f f(r log2)-2 r dr d ({!
c ~
or
0 ~ff
c
e2 rdrd!p-2njlog :·. 1
2*
20 li. Modules and Extremal Lengths
and let y" be the intercept by R on the ordinate at x (0 < x < a). Let the
function e
EV (R) be such that
J e ay ~ c (2.6)
Yx
for almost all x in (0, a) except for x in (/, g) where 0 ~ f < g;;;; a. Let
(2.7)
Indeed integrating (2.7) with respect to x over the interval (/, g),
(2.6) over the remainder of (0, a) and adding we obtain
ff (! dX dY ~ C [a - (g- j) J + d (g - j) .
R
JJ e 2 dxdy~l+2k(g-f)
R
giving the excess of this area over the module of R for the dass of curves
joining its horizontal sides.
Lemma 2.2. Let the circular ring C in the z-plane (z = reiq;) be given by
for almost alt r in (r1 , r 2 ) except for r in (!, g) where r 1 ;::;; f < g ;::;; r 2 • Let
(2.9)
JedfP~~
Yr
and integrating with respect to r over the remainder of (rv r 2) and adding
we have
JJ edrdfP~ (d-c) logL
1 + c log~.
c ~
giving the excess of this area over the module of C for the dass of curves
separating its boundary cornponents.
Lemma 2.3. Let the circular ring C in the z-plane (z = rei'P) be given by
for almostalt directions except those given by f{! in(!, g) where f < g ;::;; I + 2 n.
Let
Je dr ~ d (2.11)
Yq;
f f e 2 r dr d fP
c
~2n (2c-I) (log 2)-
~
1
+ 2 (d- c) (g- f) (log 2)-
~
1
•
22 II. Modules and Extremal Lengths
giving the excess of this area over the module of C for the dass of curves
joining its boundary components.
2.5 Let D1 , D 2 be two doubly-connected domains 1n-J., m2 their
modules (each for the dass of curves separating their boundary com-
ponents). Evidently D1 and D 2 are conformally equivalent if and only if
m1 = m 2 • However these modules give informationalso about conformal
mappings of one domain into the other. On the one hand if 1n]_ ;;;;,_ m2
it is clearly possible to map D 2 conformally into D 1 so that it separates
the boundary components of D 1 • This much can be seen using as con-
formal invariant the ratio of the radii of a conformally equivalent circular
ring. However the present method makes it easy to prove the converse
of this result. Indeed we can do even better.
Theorem 2.6. Let D be a doubly-connected domain with module M for
the class of curves separating its boundary components. Let D 1, j = 1, ... ,
n, be non-overlapping doubly-connected domains lying in D and each
separating the boundary components of D. Let D 1 have module M 1 for the
class of curves separating its boundary components. Then
n
(2.12)
If I; carries every circle centre the origin into such, D; is a circular ring
concentric with D. If not the image of some such circle has length
greater than 1 in the logarithmic metric. Thus for some interval I:;; r:;; g,
r;~ I < g ~ Rj and the metric
without using the geometric notion of module and then made them the
basis of his method of strips.
2.6 Let Q be a simply-connected domain of hyperbolic type in the
z-plane containing the point z0 • If r > 0 is small enough the set
Q n {z \iz-z0 i > r}
is a doubly-connected domain Q (r). Let Q (r) have module m (r) for
the dass of curves separating its boundary components. If 0 < r' < r
then by Theorem 2.6
I r
m (r) + Zn log 7 ~m (r')
or
m (r) + -2I-log
:n - m (r') + -2
r S:
I
'lt
log r'.
Thus m (r) + 2~ log r is increasing as r tends to zero and there exists the
limit
lim (m (r)
,___,. 0
+ 2In log r).
This limit is called the reduced module of Q with respect to z0 [186, 5].
Theorem 2.8. Let the simply-connected domain Q ol hyperbolic type
in the z-plane have inner conlorm radius R with respect to the point z0 E Q.
Then Q has reduced module ZI:n log R with respect to z0 •
Let the function w = I (z) map Q conformally onto Iw I < R with
I (z0 ) = 0, f' (z0) = 1. The image of the circle iz- z0 1 = r willlie between
circles
lwl = r (1 + ~(r))
lwl = r (1- ~(r))
where lim () (r) = 0. The image of Q (r) under f willlie in the circular ring
r (1- CJ(r)) < lwl <R
separating its boundary components and contain the circular ring
r (1 + Cl (r)) < lwl <R
which separates its boundary components. Thus by Theorem 2.6
I R I R
2;;log r(1+o(r)) ;;;;m(r)~-z-nlog r(I--o(r))
and
I 1 1 1
Zn log R-2n log (1 +Cl (r)) ~ m (r) + --z-n log r;;;;; log --z;· R
1
- 2 :n log (1 - ~ (r)) .
Letting r tend to zero the result of Theorem 2.8 follows.
Generalizations 25
is called the module for this problem. A metric in P (av ... , an) is called
an admissible metric for the problem. I f a metric e* (z) [dz[ exists in
P (av ... , an) for which
ff (e*(z)) 2 dxdy = M (av ... , an)
~
to give one example of this method. For this purpose we choose the
KoEBE 1 I 4 - Theorem.
Theorem 2.9. F or I E S the image ol \z\ < 1 under the mapping w =I (z)
covers the circle Jw\ < 1 / 4 . It omits a point with Jw\ = 1 / 4 only il I (z)
= z (1 + ei" z)- 2, rt. real.
The extremal functions indicated are all obtained by elementary
operations from the function i (z) = z (1 + z)-2 which maps \z\ < 1 onto
the domain D consisting of the w-plane (w = u + i v) slit along the half-
infinite segment w ~ 1h. Lettheinverse mapping defined in D be given
by z = ffJ (w). Suppose now that the image of \z\ < 1 under I omits
a point on Jwl = 1 f4 • Then the image of Jz\ < 1 under eiß I for a suitable
real ß will omit the point w = 1 / 4 .
In D we regard the metric
e(w) Jdw\ = (2 n fP (w)J)-1 1 q/ (w) 1\dw\
1
f e ldz\ ~ 1+k
)'
r
where Yr is the circle \z\ = r, k is a constant greater than zero. Of course
for all r, 0 < r < 1
f e\dzl ~ 1.
Yr
On the other hand the image of \z\ = (J under eiß I will contain
C (o (1- c; (fJ))) where lim c; (o) = 0. Hence
ll---;.0
or
k h 1 1
n log g;;;, --z-n log 1-.e (o) .
oc real, or
I (z) = e-iß j (ei"' z) .
Since f' (0) = 1 this implies rx = ß and I (z) = z (1 + ei" z)- 2 •
2.9 In addition to the extensions of the definition of the concept of
module given in § 2.7 it is possible to modify Definition 2.3 for module
and extremallength in various ways. Eight or nine years ago it occurred
to the author that the definition could be modified by dropping the
r
conditions of rectifiability on the curves of and of square integrability
Oll the functions (! and replacing the line integrals involved by suitable
lower integrals, the area integrals by suitable upper integrals. While
this provides an a priori more general definition the author could find
no situation in which it proved an effective advantage whereas it involved
a certain loss of intuitive content and naturalness and so did not follow
the matter up. Recently HERSCH [87] has proposed such a definition
and redeveloped the basic AHLFORS-BEURLING results starting with it.
Despite HERSCH's assertions to the contrary the author still finds no
effective advantage in this approach. Indeed in most function theoretic
applications it is sufficient to work with piecewise analytic curves.
Actually these ideas may be traced back to GRoss [59, 60] who used
upper and lower integrals in his applications of the length-area principle.
Chapter Three
Quadratic Differentials
3.1 We concern ourselves first with quadratic differentials and the
local structure of certain important curves associated with them.
Definition 3.1. Let sn be an ( oriented) Riemann surface ( open or
closed). By a quadratic differential defined on sn we mean an entity which
assigns to every local unilormizing parameter z ol sn a function Q (z) mero-
morphic in the neighborhood for z and satisfying the following condition.
If z* is a second local uniformizing parameter of 9\ and Q* (z*) is the
corresponding lunction associated with z* and if the neighborhood on sn
28 III. Quadratic Differentials
for each choice of the root. Set Z = X + i Y. Let the ([l- 2)-fold
branch element exterior to /Z/ = ß be denoted by B and let the branch
point on B covering Z = oo be denoted by T. Then on an integral curve
of (3.3) on B we have
(3.4)
B* over ';>\ Z ~ 0, the fact that it has slope of absolute value less than
one shows that in the sense in which X increases the curve cannot reach
a point over IZI = ß thus must tend to T. Similarly an integral curve
of (3.3) through a point of B* over 9\ Z :;:;: 0 must tend to T in the sense
in which X decreases.
In particular an integral curve of (3.3) through a point of B* over the
imaginary Z-axis must tend to T in either sense. Such curves through
the 2 f l - 4 points of B* over ± 2'/, ßi andin the { l - 2 sheets of B* have
in turn each possible pair of limiting directions adjacent in cyclic
description about T as respective limiting directions in their two senses.
All the preceding statements translate back to give information about
the integral curves of (3.2) in a circle Isl < oc'/, (oc'/, ~ R). To each portion
of an image of a trajectory of Q (z) dz 2 in lzl < oc correspond two such
integral curves symmetric ins = 0. Translating the preceding statements
back into the z-plane and the neighborhood N on 9\ corresponding to
lzl < oc we then have all statements of Theorem 3.3 but the final one
under (iii).
To prove this statement we call upon the following lemma.
Lemma 3.1. In a simply-connected domain containing no critical
point of Q (z) dz 2 an arc of a trajectory and an arc of an orthogonal trajectory
can have at most one point of intersection.
This lemma is a special case of a general result for regular curve
families [115, 116]. Indeed in such a domain the trajectories form a
regular curve family and the orthogonal trajectories are transversals for
this family. In the present instance the result is an immediate conse-
quence of the manner in which the function J (Q(z)) '!, d z maps the domain.
Now let A be a trajectory as in (iii), D the corresponding domain.
Then an orthogonal trajectory entering D at a point of A must tend in
that sense to P meeting each trajectory in D once and once only (as we
see from the representation on the brauch element). From this the final
statement is immediate.
Theorem 3.4. Let the point P E H be a pole of order 2. Let z be a local
uniformizing parameter in terms of which Pis represented by the point z = 0.
Let (Q (z))-'/, have (for one choice of theroot) the expansion aboutz = 0
so that in the z-plane the trajectory images are integral curves of the
differential equation
~~ = (a + i b) z {1 + b z + 1 b2 z2 + · · ·}
in a suitably chosen circle J zl < R in which the series is convergent.
Substituting z = eZ the differential equation becomes
dZ
d-r:
= a + i b + c1 eZ + c2 e2Z + · · · (3.6)
I~~ I
;:;MeX
in X < log IX. As a consequence the variation of V on the portion of an
integral curve of (3.6) to the left of the ordinate X = t tends to zero
as t approaches - oo. Hence the curve in question has as asymptote
a line with slope bja.
Translating these results back to the z-plane we obtain the statements
of Theorem 3.4 in Case I.
Case I I. We can choose IX sufficiently small so that for ~ Z ;:; log IX
~~~\ >Jt.
Thus, on such a curve in X < log IX, X varies monotonically with T and,
as before, in the one sense the curve must tend to Z = oo, in the other
sense it must leave X < log IX.
For a suitable positive constant K
(i) ?\- iP consists of a finite number of end, strip, circle and ring
domains,
(ii) each such domain is bounded by a finite number of trajectories
tagether with the points at which the latter meet; every boundary component
of such a domain contains a point of C exept that a boundary component
of a circle or ring domain may coincide with a boundary component of 9\;
for a strip domain the two boundary elements arising from points of H
divide the boundary into two parts on each of which is a point of C,
(iii) every pole of Q (z) dz 2 of order m greater than two has a neighbor-
hood covered by the inner closure of m- 2 end domains and a finite number
( possibly zero) of strip domains,
(iv) every pole of Q (z) dz 2 of order two has a neighborhood covered by the
inner closure of a finite number of strip domains or has a neighborhood
contained in a circle domain,
(v) the inner closure iJ of cfJ is an F-set consisting of a finite number
of domains on 9\ each with a finite number ( possibly zero) of boundary
components,
(vi) each boundary component of such a domain is a piecewise analytic
curve composed of trajectories and their limiting e'!_d points in C.
Explicit examples [117] readily show that cfJ need not be empty and
indeed may contain any finite number of components.
The function C= f (Q (z)) '/, dz maps 9\- H in general in a one-
many fashion onto a RIEMANN surface U lying above the C-plane. This
mapping, denoted by 5', is locally univalent apart from the points of C.
From the fact that ~ is compact and the local structure of the tra jectories
of Q (z) dz 2 in the neighborhoods of points of ?\ follows that starting
at a point on U other than a branch point and moving horizontally we
either proceed indefinitely or reach the image of a point of C.
Any two determinations C1 and C2 of Cin the neighborhood of a point
of ?\- (C v H) are related by an equation of the form
points the horizontal straight line through that point and lies simply
above the C-plane. It thus covers simply one of the following
(a) a horizontal strip, a < 8' C< b (a, b finite real numbers a < b),
(b) a half-plane, a < 8' Cor a > 8' C(a a finite real number),
(c) the entire 2,"-plane.
(a) Let a component 5 of U ~ TJl cover the strip a < 8' C < b. Let P
be a point on the centreline of s(which covers \} 2," a;b ). Let P=fJ (p),
=
However the combined ma pping .f) 5' will carry a domain E on 9\- (C u H)
in a (1,1) manner onto the punctured circle (309)0 Since this domain has
a degenerate boundary component the latter must consist of a point A
of 9\0 At this point w will be an admissible local uniformizing parameter.
In terms of this
by <ro Since the mapping .f) 5' carries trajectories in <r into concentric
circles it follows that <r is a circle domain in the sense of Definition 3.9.
Suppose now that for P on E, P = rr
(p), p E 9\, p has no other image
in Eo Then E is the (1,1) image of a simply-connected domain G: in
9\- (C V H). As in alternative (a) it follows that all trajectories in G:
tend in the one sense to a point A in H in the other sense to a point B
in H, possibly coincident with Ao However from Theorem 303 (iv)
follows that if a set of trajectories tend to distinct elements in Hin their
respective senses and their union contains a segment of an orthogonal
trajectory the latter has bounded length in the metric JQ (z)j'/, jdz/0
Hence the trajectories in ~ tend to the same point of H in both their
senses and G: is an end domain in the sense of Definition 3070
(c) If a component of lt- P covers the whole finite C-plane it must
comprise all of ll so that P and thus ifJ and C are empty. If PE ll is
then the image by 5' of p in 9\ and p has no other image in ll it follows
as before that ll is a (1, 1) image of 9\- Ho The set H must consist of a
Global structure of the trajectories 41
Then as before it follows that the same is true for every point in U.
The mapping ~ given by the function w = exp ( -~:~- C) is then suchthat
~fr maps 9\- H in a (1,1) manner on the w-sphere with the points
w = 0 and w = oo deleted. The set H then consists of two points and 9\
is conformally equivalent to a sphere. In terms of the parameter w
h2 dw 2
Q (z) dz 2 = d "'?" 2 = ----- =
4n 2 w2
K ei" dw 2 fw 2
for suitable real 'X and positive K. The configuration is thus conformally
equivalent to the excluded possibility II.
If PE 1l satisfies P = rr
(p), p E 9\, and p has other images in U
beyond those obtained under a group of transformations generated by a
single translation it follows as in the theory of doubly-periodic func-
tions [91 J that these points are the set of points of the form
(3.10)
where n, m take allintegral values and w 1 , w 2 are complex numbers with
S _f'l2_ > 0. The same conclusion follows at once for all points of U and
w,
9\- H is thus conformally equivalent to the surface obtained by
identifying the sets of points given by (3.1 0). This surface is a torus and
thus H must be empty. The quadratic differential Q (z) dz 2 is then
regular and non-zero on 9\. It is seen at once that the ratio of two such
quadratic differentials is constant. This configuration is thus conformally
equivalent to excluded possibility III.
Since alternative (c) leads only to the excluded possibilities while
alternatives (a) and (b) provide end, strip, circle or ring domains state-
ment (i) of Theorem 3.5 is proved. Note that every point of His in i/5
apart from a double pole in a circle domain.
To prove statement (ii) we observe that a domain on 1l such as E or S
is bounded on U by trajectory images possibly meeting at images of
points of C which are isolated. If the corresponding domain D on 9\ is a
circle or ring domain there can clearly be at most a finite number of
trajectory images in a portion of the boundary of E or S representing the
42 III. Quadratic Differentials
Q (z) dz 2 = d C2 •
Thus the boundary point is a regular boundary point of QLI (z) d z2 •
At a boundary point of LI which isasimple pole of Q (z) dz 2 the same
mapping defines a boundary uniformizing parameter thus again we have
a regular boundary point of QLI (z) dz 2•
At a boundary point P of LI at a zero of Q (z) dz 2 of ordern suchthat
locally m trajectory arcs with limiting end point at P are contained
in LI a boundary uniformizing parameter is provided (for suitable choice
1
Q (z) dz 2 = A Q (z, z0 ) dz 2 •
onto the w-plane slit along segments on the positive real axis (possibly
including the origin). Agairr the line of symmetry of ~ goes into the
z
remainder of the real axis and into the point at infinity. The origin
in the w-plane is the image of a zero z** of Q (z) dz 2 which lies on the
z
same component of the line of symmetry as and, in particular, may
coincide with z*. As before it follows that
Next suppose that Q (z) dz 2 has two poles P 1 and P 2 of order greater
than one. Each of P 1 and P 2 has a neighborhood covered by the inner
closure of a finite nurober of end, strip or circle domains. Removing the
closures of these domains from 9Z we have left at most a doubly-connected
domain bounded by piecewise analytic curves composed of a finite
number of trajectories and their end points in C (simply-connected
domains are excluded by the argument of the preceding paragraph).
The positive quadratic differential induced by Q (z) dz 2 on such a domain
is either regular or has one simple pole. We thus have the situation
either of Lemma 3.5 or of Lemma 3.6 and Theorem 3.6 is proved in this
case.
Finally let Q (z) dz 2 have three poles P 1 , P 2 and P 3 of order greater
than one. Each of these has a neighborhood covered by the inner
closure of a finite nurober of end, strip or circle domains. Removing the
closures of these domains from 9Z we have left at most a doubly-connected
domain or a triply-connected domain bounded by piecewise analytic
curves composed of a finite number of trajectories and their end points
in C. The positive quadratic differential induced by Q (z) dz 2 on such
a domain is regular. The result of Theorem 3.6 then follows from
Lemma 3.5 or Lemma 3.7.
Corollary 3.2. Let 9Z be a finite oriented Riemann surface and Q (z) dz 2
be a positive quadratic differential on 9\ coming zmder one of the following
possibilities.
1. 9Z a simply-connected domain of hyperbolic type, Q (z) dz 2 with not
more than two distinct poles,
2. 9Z a doubly-connected domain ( of planar type with non-degenerate
boundary components), Q (z) dz 2 with not more than one pole,
3. 9Z a triply-connected domain ( of planar type with non-degenerate
boundary components), Q (z) dz 2 regular.~
Then in the notation of Theorem 3.5, c{J is empty.
It can readily be shown that the conditions of Theorem 3.6 and
Corollary 3.2 are the only conditior:_s on genus, connectivity and number
of distinct pol es which assure that c{J is empty (compare [117]).
Chapter Four
The General Coefficient Theorem
4.1 TEICHMÜLLER [188] enunciated the principle that the solution
of a certain type of extremal problern in Geometrie Function Theory
is in general associated with a quadratic differential. If in the problern
a point is assumed to be fixed without further requirement the quadratic
differential will have a simple pole there. If in addition the functions
treated in the problern are required to have at the point, in terms of
Definitions 49
(vi) the family {/} admits an admissible homotopy F into the identity,
(vii) the homotopy F can be chosen so that ij A is a pole of order m greater
than two of Q (z) dz 2 on the boundary of a strip domain then
d(F,A)=O.
For our purposes it is more convenient to use a parameterz conditioned
as in (iv) or (v) rather than the conventionallocal uniformizing parameter.
In these representations it is understood that f; (z) and z are both
evaluated in terms of the same local parameter. Then it is readily seen
that in terms of any other similarly conditioned local parameter we
have an expansion of the same form as (4.1) or (4.2) although possibly
with different numerical values for the coefficients.
Theorem 4.1. (General Coefficient Theorem). Let m be a finite
oriented Riemann surface, Q (z) dz 2 a positive quadratic differential on ~.
{LI} an admissible jamily of domains Li;, i = 1, ... , k, on m relative to
Q (z) dz 2 and {/} an admissible family of functions /;. i = 1, ... , k,
associated with {Li}. Let Q (z) dz 2 have double poles P 1 , . . . , Pr and poles
Pr+v ... , P n of order greater than two. W e allow either of these sets to be
void but not both. Let P;, i <;: r, lie in the domain L1l andin terms of a local
parameterz representing P; as the point at infinity let fl have the expansion
(j)
Let P;. j > r, a pole of order m; greater than two, lie in the domain L1 1 and
in terms of a local parameter z representing P; as the point at injinity let
f 1 have the expansion
(i)
thus
Q* (Z) = (;2 + regular terms in Z 2 ) 4 Z 2
and Q*(Z) is regularatZ = 0. Similarly if <R* is branched above a point
of H the corresponding point on <R* is seen to be a pole of order two
at least. Thus Q* (z) dz 2 has no simple poles on <R*.
Every domain of the family {Ll} is covered on 9\* by one or two
domains and the totality of these domains clearly makes up an admissible
family {LI*} of domains on 9\* relative to Q* (z) dz 2 • The family {/} of
functions is then seen to induce an admissible family of functions {/*}
associated with {LI*}. Conditions (i), (ii), (iii), (vi) and (vii) ofDefinition4.4
are verified immediately.
Let now A be an element of H, z a local parameter in terms of which
A is represented by the point at infinity and the appropriate function
in{/} and Q (z) have the expansions (4.3), (4.4) or (4.5), (4.6) according
as A isapole of Q (z) dz 2 of order equal to or greater than two. Suppose
first that 9\* is not branched above A. Then there are on 9\* two points
covering A and at each we can use the local parameter induced by z.
In terms of it the corresponding function in {/*} and Q* (z) will have
the same expansions as before. Thus at such points whichever is
appropriate of conditions (iv) and (v) of Definition 4.4 is satisfied.
Further the contribution to the sum similar to that on the left hand side
of (4.7) from these points Oll <R* will be just twice that from A Oll cn.
Next let A be an element of H above which 9\* is branched. Then
there is on <R* a single point B covering A and at it we can use a local
parameter Z given by Z 2 = z in terms of which B is represented by the
point at infinity. If we have the expansions (4.5), (4.6) at A the cor-
responding function in {/*} has expansion
a(j) }'/,
Z { 1 + ____"';_-_~ + high er powers of Z - 1
z2(m;-3)
while
Q* (Z) = (rxUl Z 2 (m;- 4 ) + decreasing powers of Z) 4 Z 2
= 4 rx (j) Z 2 m;- a + decreasing powers of Z .
Thus Q* (Z) has a pole of order 2m;- 2 at B and condition (v) of
Definition 4.4 is satisfied at this point. Moreover the contribution to
the sum similar to that on the left band side of (4.7) is 2 ocUla~.-a that
J
54 IV. The General Coefficient Theorem
is, just twice the contribution from A on <n. If we have the expansions
(4.3), (4.4) at A the corresponding function in{/*} has the expansion
Thus Q* (Z) has a double pole at B and condition (iv) of Definition 4.4
is satisfied at this point. Moreover the contribution to the sum similar
to tha t on the left band side of (4. 7) is
4 ot(j) log (aU>)'I'= 2 IX(i) log aU)
just twice the contribution from A on 'n, it being verified at once that the
determination of the logarithm is the same as before.
Thus on 'n* all conditions of Theorem 4.1 obtain and the sum on the
left band side of (4.7) is replaced by one of just twice its value. This
shows it is enough to prove the inequality (4.7) under the assumption
that the quadratic differential has no simple poles on the RIEMANN
surface.
From this point on in the proof of inequality (4. 7) we will assume that
this condition is satisfied for Q (z) dz 2 itself on 9\.
Definition 4.5. By a geodesie on 'n- H we understand a eurve such
that every sufficiently short subare of it is the shortest join of its end points
in the Q-metric.
Lemma 4.3. A curve on 9\- H is a geodesie if and only if every point
of it not in C lies on a subare on which is satisfied
arg Q (z) dz 2 = constant (4.8)
while a point of it at an m-fold zero of Q (z) dz 2 is the eommon end point
of two subarcs on each of whieh (4.8) is satisfied and forming two angles
eaeh at least 2 nf(m + 2).
This follows at once from Definition 4.5 and the local structure of the
Q-metric.
In speaking of homotopy classes of curves in 9\- H j oining two points
A and B we understand that only those deformations are allowed under
which the images of A and B remain fixed throughout.
Lemma 4.4. Given points A and Bin 'n- H there is in every homotopy
class of eurves in 'n- H joining A and B a unique geodesie which is the
shortest join of A and B among curves of this homotopy class.
This lemma and its proof are closely related to a result of TEICH-
MÜLLER [188, § 138], seealso [175].
On the universal covering surface 'rl of 'n- H there is by the covering
a metric induced by the Q-metric in which 'rl is a differential geometric
surface. The existence of a geodesie in this metric joining any pair of
given points of 'rl and forming the shortest join of these points then
Differential-geometrie Iemmas 55
Similarly
A
J ld Cl ~ J /d Cl
A'
+M
from which inequality (4.10) follows at once.
For closed geodesics an even stronger result is true.
Lemma 4.6. ll A is a closed geodesie an 9Z- H and A' is any c/osed
curve homotapic ta A an <;.>\ - H then
! ld Cl ~f ld Cl . (4.11)
A A'
that is
'/,L
ff f l/'(5(t,P))IdtdA(P)=Lff/f'(5)ldA(5). (4.13)
'm -'/,L 9l1
Now given r:: positive let K, be a compact subset of 'm of measure not
less than
ff dA-r::
"n
bounded say by a finite nurober of piecewise analytic curves. Then for P
in a subset '?11, of 011 of measure at least
ffdA-2r::
m
both points S (1f2 L, P) and 5 (- 1 / 2 L, P) willlie in K,. Let M, be the
constant associated with K, by Lemma 4.5. (Note that 011 is bounded
from H.) Then since any trajectory arc is a geodesic, for P in 011,
lj2L
f 1!'(5 (t, P))l dt ~ L- M,.
-'/,L
Integrating this over 'm, with respect to area in the Q-metric we obtain
'I,L
ff f 1/'(5 (t, P))l dtdA(P):;;; (L-M,) (Jf dA -2r::).
m, -'/,L m
Combining this with equation (4.13) we have
Lff 1!'(5)1 dA(5) ~ (L-M,) (Jf dA-2s).
~n m
Dividing by Land letting it approach infinity we obtain
under the functions of {/}. On the one band we obtain an estimate from
above using the beha viour of the functions of {/} on the boundaries of the
neighborhoods removed. On the other hand we obtain an estimate from
below using the method of the extremal metric. Combining these
estimates provieles the proof of inequality (4.7).
Our first step is to describe the neighborhoods to be removed. In
proving Theorem 4.1 it is convenient to use terminology applicable only
when we exclude possibilities I and II of Theorem 3.5 for ~ and Q (z) dz 2
(possibility III is automatically excluded). The actual arguments are
readily modified to prove the result in these cases but to avoid unneces-
sary complication we will not mention these special cases in individual
considerations but will use always the terminology corresponding to
those configurations to which the Basic Structure Theorem applies.
First let P; E H, i > r, be a pole of Q (z) dz 2 of order m; greater than
two. Let U be a simply-connected neighborhood of P; covered by the
inner closure of the m;- 2 end domains and possible strip domains
associated with P;. We slit this neighborhood along a trajectory A
running in the one sense to the point P; andin the other sense leaving U,
say a trajectory on the boundary of one of the end domains. In the set
U- A, C= J (Q (z))'f, dz is single-valued (choosing any particular
cletermination) and it maps this set on a portion of RrEMANN surface
over the (-plane. We regard in the (-plane a square of siele 2 L, centre
at the origin and with sides parallel to the real and imaginary axes.
We take the trace of this square on the RIEMANN surface and its inverse
image on ~. For L sufficiently large the latter is a sequence of arcs as
follows. First there is an arc of an orthogonal trajectory with initial
point on A. Then there is an arc of a trajectory lying entirely in an
acljacent end clomain. Next there is an arc of an orthogonal trajectory.
They alternate in this manner, there being m;- 2 trajectory arcs in all,
until we reach an arc of an orthogonal trajectory ending on A. Its
terminal point will not in general coincide with the initial point of the
first arc above. ] oining these points with an arc of A if necessary we
obtain a simple closecl curve which we derrote by y (P;, L). This curve
divides ~ into two components and the one which contains P; is the
neighborhoocl tobe removed. It will be clenotecl by U (P;, L).
Next let P; EH, f:::; r, be a pole of Q (z) dz 2 of order two lying in a
circle domain. Let U be a simply-connectecl neighborhood of P; lying
in the circle domain. We slit U along an orthogonal trajectory N which
runs in the one sense to P; andin the other sense leaves U. In the set
U- N, C= J (Q (z)) '/, dz is single-valuecl (again any particular cleter-
mination) ancl it maps this set on a vertical half-strip in the C-plane.
We may suppose the cletermination chosen so that SC becomes positively
infinite in the half-strip. Then for L large enough we take the inter-
section of the half-strip with the line SC= L. This will be a segment
60 IV. The General Coefficient Theorem
We observe that except in cases where LI;(L) coincides with LI; the
former domain will depend not only on the parameter L but also on the
various choices of the determination of!;, = J (Q (z))'l•dz in the various
sets associated with the points of H. However we shall keep one fixed
determination for each point of Hand thus LI; (L) will be a well defined
domain for given L. In the sequel we will always suppose L so large
that no boundary component of a domain LI;(L) meets any y (P1, L) or
penetrates into the interior of any U (P1, L).
4.4 Let us now denote /; (LI;(L)) by Lli (L). We will estimate the
k
area of u LI~ (L) in the Q-metric from above in terms of the area of
k i~ 1
u LI; (L) again in the Q-metric. From the form of the domains LI; (L)
;~ 1
and the properties of the functions of the family {/} it is clear that each
k
of these is finite. We observe that the area of u Lli (L) is bounded above
i = 1
by the area of the domain on 9\ having as boundaries the image curves
k
of the curves y (P1, L). Since the area of u LI; (L) is equal to the area of
i~1
t
observe
(; = IX'/, ( ~ m -1 1
z'!,m- 1 + decreasing powers of z'l,
where we have written IX, m for IXU>, mi and for m even there may be a
logarithmic term in the expansion. The choice of roots appearing depends
on the determination of (;. Then
w = (; + (IX'!,z'l,m-2 + .. ·) ( ::=: + .. ·)
or
(4.14)
where k 2/(m- 2) and we have written am_ 3 for a~>_ 3 • Thus the
=
J
change in area arising from the effect of the mapping on the half-
boundary of a square is
where we have written rx. for rx.<i>. The choice of determination previously
made implies that this root rx.'/, has positive imaginary part. (It is pure
imaginary.) Let w denote the point corresponding to Cunder the mapping
induced by / 1• Then
w = C+ rx.''•log a + 0 (e-L) (4.15)
on the above horizontal segment, where we have written a for a<iJ, The
image domain has side boundaries corresponding to arcs on N which
are obtained from one another by a translation of 2 n lrxl' 1•. Thus the
change in area arising from the effect of f 1 on y (P 3, L) in this case is
lfi (P) I the distortion produced at the point P by the mapping /i relative
k
to the Q-metric. We now define the metric e ld (Ion u LI; by
i=1
For each type of basic domain associated with the trajectory structure
of Q (z) dz 2 on ~ as in Theorem 3.5 we now take the intersection with
k
u LI i (L) and estima te the area of this in tersection in the metric e Id (I·
i=l ~
Suppose first that ([J is non void. By Theorem 3.5 (iii) and (iv) and
the choice of the neighborhoods U (Pi, L) in § 4.3
A k k
ifJn u LI; C v LI;(L).
A k
We will denote ([J r\ v LI; by ifJ*. Then
i~1
k
JJ e2 dA = I (J e2 dA.
q;,* i=l ;p r~Ai
By Lemma 4.7
ffe2dA~ ffdA.
$n LJi ~ r'\.di
64 IV. The General Coefficient Theorem
Thus
ff
<P*
1ldA ~Jf dA. (4.17)
C/J*
A
f e ld 'I = A'f ld Cl~ 1 ld Cl .
A
Performin g the mapping of Definition 3.10 (iii) and using Lemma 2.2
we then have at once
ff (! 2 dA~ .fJ dA , (4.18)
~· <D*
Next let <r be a circle domain in the trajectory structure of Q (z) dz2 •
k
Wederrot e by <r (L) the intersectio n of <r with V LI;(L). Then, by the
preceding argument, also i ~ 1
ff e2 dA ~ JI dA . (4.19)
ri(L) rr(L)
where the first two summations are each taken over the totality of end
domains.
Finally let 6 be a strip domain which has boundary elements arising
from poles Pi and P 1 which may be distinct or coincident and of any
order greater than or equal to two. By Definition 4.1 they must lie in the
same domain LI; of the family {LI} and 6 can meet no domain in {ß}
other than LI;. We derrote 6 nLI; (I) by 6 (L). A suitable determina-
tion of C= f (Q (z)J''' dz maps 6 onto a strip S given by
0 < IH< I.
(A. positive) where the boundary element of6 arising from Pi corresponds
to the boundary point of S at infinity in whose neighborhood 'n Cbecomes
positively infinite and the boundary element of 0 arising from P 1
corresponds to the boundary point of S at infinity in whose neighbor-
hood 9\ C becomes negatively infinite. If Pi is a pole of order greater
than two the limiting direction for the trajectories in E5 at Pi lies in an
end domain 0 for- Q (z) dz 2 • If pj is a pole of order two let mbe a
simply-connected neighborhood of Pi on (9\- H) U Pi bounded by a
(closed) trajectory of - (oc(il)-1 Q (z) dz 2 • The given determination of
f (Q (z))'!,dz, extended into 0 in the first case will map it onto a right
hand half-plane. Extended into m in the second case it will map a
logarithmic branch element about Pi onto a half-plane
9\ [(ocUl)-'/, Cl > c
where c isareal constant and the root (a.U>)-'f, is chosen so that this half-
plane contains a right hand half-strip of S. The same construction per-
formed at P 1 will give as complete image under this determination of
Estimation of area of the image from below 67
Analogously to the case of the end domain let a (17) denote the
horizontal segment of length 2 L + a - b lying in 5 (L) on the line
8' ( = r; which exists for all but perhaps a finite nurnber of r; in 0 < r; < A.
Let A (r;), B (r;) be the end points of 0' (r;) on the lines 9Z ( = L + a,
9Z ( = - L + b respectively. Let s (r;) be the antecedent of a (r;) on 9\
and let t (r;) be the image of s (r;) under /;. Let us denote by cp; the
rnapping induced on 5* by /; as in § 4.4. The rnapping w = cp; (() is
represented at the point A (r;) for L sufficiently large when Pi is a pole of
order greater than two by the expansion
(4.27)
where (aU))'f,= laU) I'/, ei'Pj is the root with positive real part and log aU>
has the determination given in the statement of Theorem 4.1. At the
point B (r;) for L sufficiently large the mapping has the expansion (4.27)
for P! a pole of order greater than two and the expansion
f.( e dA
2 ~ 2 I.f e dA- J.f dA . (4.33)
6(L) 6(L) 6(L)
]; f J e2 dA ~
i=lLI;(L)
.t
i=1LI;(L)
Jf dA + 4 n~ { i;
i=s+l
ioc:Ull eiV'i cos 'ljJ; log a(i)}
n } (4.35)
+ 2 n~ { }; oeU> a~l __ 3 + o (1)
i=r+1 '
i=1
L JI dA
LI~ (L)
=
i
I;
=
.rJ e dA
1 LI ;(L)
2
Discussion of the possibility of equality 69
-2nm{.i:ccU>logau>}+2nm{.
1~1
i;
1~s+1
JccU>Jloga(i)}+o(1)
:;:;;4nmf. f
L~s+ 1
JccU>Jei"'icos 1f!ilogaU>}+2nm{.
1
i.; oc(i)a~)_ 3 }+o(1).
~r+1 3
rential Q (z) dz 2 has on 9\ at least one pole of order greater than one.
Thus there is at least one end, strip or circle domain in the trajectory
structure of Q (z) dz 2 and one domain in {LI} such that the trajectories
in it are mapped into trajectories. This property then extends to all the
domains in {LJ}. Allthese conditions must then apply also to the problern
in its original form, i. e., even if there are simple poles of Q (z) dz 2 on m.
If there is in the domain LJ; a pole Pi of Q (z) dz 2 , j > r, of order
greater than two, the prescribed form (4.5) of the mapping /; there
combined with the above conditions implies immediately that /; is the
identical mapping in a neighborhood of Pi and thus everywhere in LI;.
A similar remark applies if there is in LI; a pole P 1 of Q (z) dz 2 , j:::;; r,
of order two for which the corresponding coefficient aU> is equal to one.
If a pole of order one exists interior to LI; it must be mapped into
itself by /; and the remairring conditions imply at once that /; is the
identical mapping in a neighborhood of this point and so everywhere
in LJ i·
Suppose that a pole P of order one exists on a slit boundary com-
ponent of LJ; but that part of the trajectory bearing the slit is interior
70 IV. The General Coefficient Theorem
which is maximal among such entities, then Ii and F (P, t) are to admit
r
continuous extensions to F which carry into N.
Then in the same notation as in Theorem 4.1 inequality (4.7) holds as do
the same conclusions as to the consequences ol equality in this inequality.
It follows at once that Ii is actually a homeomorphism into on the
above arcs and boundaries and that Ii is regular thereon in terms of
boundary ~niformizers. Theorem 4.2 is most easily proved by forming
the double 9\ of 9\ across those maximal open boundary arcs and boundary
components of 9\ on which Q (z) dz 2 :;::; 0. In this way we obtain a finite
oriented RIEMANN surface which may have boundary components
arising from boundary arcs and boundary components of 9\ on which
Q (z) dz 2 ;;::: 0.
~s a SCHOTTKY differential Q (z) di 2 extends to a quadratic differential
on ~ which we verify at once to be positive. From the families {LI}, {/}
and the deformation E we obtain in a natural manner similar entities
on ~ which are found to satisfy the conditions of Theorem 4.1 on the
latter surface. Relative to §Z the left band side of (4.7) is rep~aced by a
quantity just twice as large. Thus Theorem 4.1 applied to 9\ gives at
once the corresponding inequality for 9\. The results relative to equality
extend immediately.
4.9 The exact status of condition (vii) in Definition 4.4 is not clear,
that is, whether it is essential for the truth of Theorem 4.1 or merely
for the success of the method used in its proof. It intervenes only in the
evaluation of § 4.5 in the case of a strip domain. However the corres-
ponding considerations for double poles, in particular the choice of the
determination of log aU), are unavoidable. It will be recalled that
RoYDEN [161] has recently stated a lemma [161, Lemma 1] which, if
correct, would enable us to drop condition (vii) in Definition 4.4. It is a
simple matter, however, to give counter examples to this lemma and
an error is readily detected in its purported proof.
Chapter Five
Canonical Conformal Mappings
5.1 In this chapter we develop a number of standard canonical
conformal mappings for domains of planar type and finite connectivity,
giving at the end also some indications in the case of infinite connectivity.
The method employs certain extremal properties of the canonical
configurations tagether with compactness properties of the families of
functions considered. Essentially the same approach has been earlier
used by GRÖTZSCH [65, 70] and RENGEL [157] but here the use of the
General Coefficient Theorem provides considerable unification and
simplification.
72 V. Canonical Conformal Mappings
To prove Theorem 5,1 we consider the least upper bound of I/' (O)I
for f E .E0 (D) which we derrote by fl· The compactness of .E0 (D) (which
follows from a standard normal families argument) implies that fl is
finite and that there is a function <P E ..E0 (D) with I([)' (0) I = fl· If any
boundary component of ([) (D) were not a slit on a circle centred at the
origin let a (w) be the mapping of Lemma 5.1 for its complement. If
r (z) = a (rp (z)), r E .E0 (D) and Lemma 5.2 implies
Ir' (0) I > fl
which is impossible. Thus w = <P (z) provides a circular slit mapping
w
of D. If = (f> (z) were a second such mapping and = k (w), w = k (w)w
derrote the compound mappings then Lemma 5.2 implies
lk' (0) I ~ 1 I lk' (0) I ~ 1
and thus
([) (z) o= iP (z)
proving uniqueness of the circular slit mapping and completing the
proof of Theorem 5.1.
Theorem 5.2. Let the domain D in the z-sphere be of finite connectivity
and contain the origin and the point at infinity. Then there exists a unique
function P (z) in .E0 (D) mapping D conformally onto a domain bounded by
slits on half-rays emanating from the origin.
The proof of Theorem 5.2 differs from that of Theorem 5.1 only in
that we use instead of the explicit mapping g (z) of Lemma 5.1 the
mapping
h (z) = z+ z1 + e + e1 '
that in applying the General Coefficient Theorem we use the quadratic
differential dz 2 jz 2 , the inequality (5,1) being replaced by l/'(0)1 ~ 1 and
that we take the greatest lower bound of II' (0) I for f E .E0 (D) rather
than the least upper bound.
Theorem 5.3. Let the domain D in the z-sphere be of finite connectivity
and contain the origin and the point at infinity. Then for every real() there
exists a function f 0 (z) in .E0 (D) mapping D conformally onto a domain
bounded by slits on trajectories of the quadratic differential e- 2 i 0 dz 2 jz 2 •
For ()not an integral multiple of ~ the trajectories of this quadratic
differential are logarithmic spirals making the angle () with half-rays
emanating from the origin. The present proof is essentially due to
GRÖTZSCH [69].
Consider the function
exp {eiB (cos ()log P(z)- i sin ()log <P(z))}
where ([), P are the functions of Theorems 5.1, 5.2. This function is
verified at once to be regular and single-valued in D- {0, oo }. It can
74 V. Canonical Conforrnal Mappings
to lwl = 1 and
(/>1 (0) = 0, cp~ (0) > 0 .
a (w) = w +~
w
+ higher powers of w- 1 •
By Lemma 5.6, ~ b1 > 0. On the other hand a (g0 (z)) is in 1:' (D) and
has expansion at infinity
a(O) + b
+ -'-z-- + high er powers of z- 1
1
a (g0 (z)) = z
while
~ (ai0 >+ b1 ) = ~ a~o) + ~ b1 > 9\ ai0 >
contradicting the maximal property of the latter quantity. Thus
w = g0 (z) provides a horizontal slit mapping as indicated in Theorem 5.8.
The uniqueness statement follows at once from Lemma 5.6.
Corollary 5.2. In the notation of Theorem 5.8
g0 (z) = ei 0 (cos () g0 (z)- i sin () g,., (z)) (5.5)
for () real, 0 ;;:; () < n.
The function on the right hand side of (5.5) is evidently regular in D
apart from the point at infinity with expansion
z + terms in z- 1
at that point. Further it carries the boundary components of D into
rectilinear slits in the direction 8. It follows that it is a function of
1:' (D). The uniqueness result in Theorem 5.8 then shows it tobe identical
with g8 (z).
5.4 Theorem 5.9. Let the domain D in the z-sphere be of finite con-
nectivity and contain the origin and the point at infinity. Then for each
real (), 0 ;;:; () < 2 n there exists a unique function piJ (z) in 1:0 (D) mapping
D onto a domain bounded by slits on trajectories of the quadratic differential
e-iO dw 2 jw.
The results of the next seven theorems are due to GRÖTZSCH [64, 68].
The method used here is essentially one which was suggested to GRöTZSCH
by KoEBE.
Let D be the image of a two-sheeted covering surface of D branched
Parabolic, elliptic and hyperbolic slit mappings 79
at zero and infinity under the root transformation z'!,o Then, with g 012
denoting the function of Theorem 508 for D, it is readily verfied that
Pa (z)
(g 0/2 (z'l ')) 2 =
provides a function with the properties stated in Theorem 5090 If there
were a second distinct such function reversing the process would give a
contradiction to the uniqueness result in Theorem 5080
The trajectories in this case are confocal parabolas with the origin
as focus and axis in the direction with argument (), together with this
axiso
Theorem 50100 Let the domain D in thc z-sphere have a finite number
of boundary continua Cv C2 , o, Cn, n;;:;: 1, and contain the point at
0 0
infinityo Then for each real (), 0 ~ () < 2 n, there is a unique function
n 0 (z) in .E (D) under which C1 corresponds to a rectilinear segment from
the origin to a point Rei0 , R > 0, and the remaining boundary components
of D correspond to slits on trajectories of the qttadratic differential e-iO dw 2 jwo
Let a be a given point of C1 and let D be the image of a two-sheeted
covering surface of D branched at a and infinity under the root trans-
for~ation (z- a) '/,0 Then, with ga; 2 denoting the function of Theorem 508
for D, it is readily verified that
no (z)
(gatz ((z- a)'1')) 2
=
( lfJ (:) r
shows that (/) (D) is rnapped conformally onto itself by the function
W- 1 Thus if we set
0
w = W + (lfJ ( ~-) ) 2
/W + 2 (/) ( ~-)
80 V. Canonical Conformal Mappings
where L is Zarge enough that the boundary of g8 (D) lies in this sqttare. Let
F(L, 0) be the class oflocally rectifiable curves in S (L, 0) joining the pair
of sides of the square in the direction of argument () + T.
Then the module
r
of S (L, 0) for the class of curves (L, 0) is one.
The f~tnction g8 (z) is also characterized by the property that among
functions f (z) in };' (D) with the expansion at infinity
f (z) = z + !!_
z
+ higher powers of z- 1 (5.7)
Let g~n) (z) be the function of Theorem 5.8 for Dn. Then there exists a
subsequence of {g~n) (z) };_"' converging uniformly on every compact subdomain
Ergebn. d. Mathem. N. F. H. 18, Jenkins 6
82 V. Canonical Conformal Mappings
where {nk} is the index sequence for the above subsequence. On the
other hand for any function I (z) in .E' (D) with the expansion (5.7) at
infinity we have by Lemma 5.6
~~ ~ !iRatn)
thus
~a1 ~!;Ra~.
The final statement of Lemma 5. 7 also follows from Lemma 5.6 as in the
proof of Theorem 5.8.
For any domain D as in Theorem 5.16 there exists a sequence of
domains Dn conditioned as in Lemma 5.7 which we may suppose further
chosen so that the sequence {gh~) (z)};"' itself converges. Let us denote
the corresponding limit function by g0 (z).
Lemma 5.8. The domain g0 (D) possesses property (P0 ).
r
Let S (L, 0) have module fl for the dass of curves (L, 0). Let the
function defined in g0 (D.,.) by performing the inverse of g0 (z) followed
by g~n) (z) be denoted by ln (w). Then given 8 with 0 < 8 < L, for n large
enough, we have I~ fn (w) I < L + 8 on the vertical sides of S (L,O),
l51.,.(w)l >L-8 on the horizontal sides. Let e (w) ldwJ be a metric
admissible in the above module problern and let e' (W) ldWI be the
metric in !.. (S (L,O) rlg0 (Dn)) associated with e (w) ldwJ under the
mapping W = f.,.(w). Let R be the reetangle
- (L + e) < ~W < L + e, - (L- s) < 5 W < L- 8.
W e define the function e (W) in R n g~n) (D n) by
Q(W) = e' (W) in Rn ln(S (L,O) ng0 (Dn))
e(W) = 0 in (R ng~nl(D,.))- j,.(S (L,O) rlg0 (D.,.)).
Domains of infinite connectivity 83
4 V+ 4 A cos <X + 0 ( +) .
6*
84 V. Canonical Conformal Mappings
As in§ 4.4
JJ e2 d x d y ~ 4 v + o ( ~ ) .
S(L)
Thus we have for the module of S (L) for the given dass of curves the
estimate from above
( 4 L 2 + 0 ( ~ ) ) ( 4 L 2 + 4 A cos a - 16 A s + 0 ( ~ )) - 1
which equals
1- A coscx-4Ae
L 2 + o(-1-)
L 3 •
~ a~ ~ 2ln S
Chapter Six
that I (E) does not cover the point 1/ 4 e-ia., cx real. Then eirx I (e-ia. z) is in S
and eirxl (e-ia.E) does not cover the point 1/ 4 • Then the function
P (w) = eirx I (e-ia.I[J (w))
is seen to be an admissible function associated with LI (Definition 4.4 and
Lemma6.1).
The quadratic differential has a single double pole P 1 at the origin.
The corresponding coefficients are
oc<1>= - 4 , a<1>= I .
Thus equality occurs in inequality (4.7) (the determination of log a<1l
being inessential). By equality condition (ii) in Theorem 4.1
eia.l (e-irx.(j) (w)) =w, w E (E). J
Setting (j) (w) = eia.z we obtain
I (z) '='= z (1 + eia.z)- 2, JzJ < 1
as stated.
Theorem 6.2. Let I ES. Then
By equality condition (iii) in Theorem 4.1 equality can occur here only if
d
--;I (ei 0 (j) (w))-= w, w EI- (E). (6.1)
Classical results and extensions 87
Setting C/J (w) = e-i8 z and observing that the identity (6.1) implies
c = dei 8 we have
f (z) ~z (1 + e-i8 z)- 2 , lzl < 1
as stated.
To prove the upper bound we use the same 'R and L1, set
d = - r (1- r)- 2 , c = f (rei 8 ), choose
dw 2
Q(w) dw 2 = -w2(w-d)
----
and take
g (w) = ~ f (- eiOfjJ (w)).
Again we verify that L1 and g are admissible in the appropriate senses.
The quadratic differential has a single double pole P 1 at the origin.
The corresponding coefficients are
o:;(IJ = - d-l ' a(I) = - cfdeiB.
Inequality (4.7) becomes
'R {- d- 1 log (- cjdei 8 )};;;; 0
which easily reduces to
I/ (reiB) I~ (1 __:_r)• .
By the same argument as before we see that equality occurs only for
f (z) """z (1 - e-io z)- 2 , lzl < I .
Theorem 6.3. Let f (z) be meromorphic and univalent for lzl < 1 with
I (0) = 0, f' (0)
= 1. Then
I/' (r eiO) I ; : :; 1 r• r• lf (r eiB)I2
when II (r ei 0 ) I is finite, equality occurring only for the functions f (z) =
z (I + cz + e2 i0 z2 )-I, () real, c an arbitrary constant.
This result appears to have been stated in this form first by Ro-
BINSON [158, p. 444] (in the special case of regular functions). However
it is very closely related to an earlier result of LöwNER [I37].
We apply the General Coefficient Theorem with 'R the w-sphere and
dw 2
Q (w) = w 2 (w-d) 2
where we take E to be lzl < 1, f(z) = z (1 + z)- 2 , LI= {(E), C/J the
inverse of {on Ll, d = r (I+ r)- 2 , c = f (rei 8 ), ()real, and
~ {d- 2 log (cfdei 6 ) + d- 2 log [c (11+ ~· (dei 0 f' (rei 6 ))- 1 ]}:;;;; 0
which easily reduces to
1-r
II' (reiB) I;;;;: -,.~-lf(reiB)I2.
2
equality occurring only lor the lunctions I (z) = z (1 + ei"' z)- 2 , 0! real.
This follows at once from Theorem 6.2 and Theorem 6.3.
Corollary 6.2. Let I E 5. Then
1-r
II' (z) I ;;;;: (1 + r)• , lzl = r,
equality occurring only lor the lunctions I (z) = z (1 + ei"' z)- 2 , 0! real.
This also follows from Theorem 6.2 and Theorem 6.3. The inequality
evidently holds for lzl ~ r.
Theorem 6.4. Let I E 5. Then lor ()real
[f'(reiO) ~~ (/~~ 3 ~ (1-r);f(reiO) \"
where
1 +r 2
,u = 2(1+---;r·
Equality occurs only lor the lunctions I (z) = z (1 + ei"'z)- 2, cx real.
This result seems to have been first stated by KuNG SuN [130] (with
a slightly different formal expression).
We take ~tobe the w-sphere,
Q( )d 2_ (w-lf~d 2
W W - w"(w-d)" w '
E to be lzl < 1, f (z) = z (1 + z)- 2 , LI = f(E), (/) the inverse of Ton LI,
d = - r (1- r)- 2, c =I (rei 8 ), 0 real and
9\ {- 1h d- 2 log (- cjdei 0 )
+ (d - 1 / 4 )d-2log [- c (Il~;)• (deiO f'(rei0))- 1]} ~ 0
which easily reduces to
lf'(reiO) I~ (11 + ~·~ (1-r):f(reiO) II'
Theorem 6.6. Let the domain D in the z-sphere contain the point at
infinity and be bounded by a finite number of boundary components
Cv C2 , ••• , Cn, n ~ 2. Let f E E(D) and under the mapping w = f(z) let
there correspond to Cv C2 continua Fv F 2 • Then the distance between
a point of F 1 and a point of F 2 attains its greatest possible value uniquely
for the functions e2 (z) + c, c constant.
Diameter theorems 91
By equality condition (iii) in Theorem 4.1 equality can occur here only if
that is
I (z) = e2 (z) +a.
Theorem 6.7. Let the domain D in the z-sphere be of finite connectivity
and contain the origin and the point at infinity. Let b be a further inferior
point of D. Let f E .E(D). Then if(b)- /(0)1 attains its maximum uniquely
for the functions e1 (z) + c, c constant.
This result is due to GRÖTZSCH [64].
The function e1 (z) is of course that of Theorem 5.11. The proof of
this result is not essentially different from that of Theorem 6.6.
Corollary 6.5. Let f E E. Then
with b = - 2 reiB.
Theorem 6.8. Let the domain D in the z-sphere contain the point at
infinity and be bounded by a finite number of boundary components
Cv C2 , • • • , Cn, n ~ 2. Let f E E(D) and under the mapping w = f(z)
let there correspond to Cv C2 continua Tv T 2 • Then the minimal distance
between rl and r2 is attained uniquely for the functions h2(z) + c, c constant.
This result is due to GRÖTZSCH [64].
92 VI. Applications of the General Coefficient Theorem
By equality condition (iii) in Theorem 4.1 equality can occur here only if
that is
/(z) = h2 (z) + a.
Theorem 6.9. Let the domain D in the z-sphere be of finite connectivity
and contain the origin and the point at infinity. Let b be a further interior
point of D. Let I E .E(D). Then II (b)- f(O)i attains its minimum uniquely
for the functions h1 (z) + c, c constant.
This result is due to GRÖTZSCH [64].
The function h1 (z) is of coursethat of Theorem 5.14. The proof of
this result is not essentially different from that of Theorem 6.8.
Corollary 6.6. Let f E E. Then
I/(zz)-/(z
1
-z
I2)
;;;;;
1
1- ~, lz1l = lz2l = (!, (! > 1, Z1 =l= z2 • (6.2)
1 2
Equality can occur in (6.2) only for the functions f(z) = z + c + e2 i"'fz,
c constant, q; = 1/ 2 (arg z1 + arg z2).
This result and that of Corollary 6.7 are due to GoLUSIN [49], see
also [94].
From Theorem 6.9 we deduce at once that z + e2i"'fz is a function
in E for which I/ (z1) -I (z2) I attains its minimum. Thus
I'f(z )-f(z
1
z 1 ~z 2
2) I 1-r•
~ - -r .-ll(zl) l(z2) 1. lz1l = lz2l = r, 0 < r < I, Z1 =I= Z2 . (6.5)
l(z) = z+ a 0 + ~
z
+ higher powers of z- 1 •
Then the region of possible values ol a 1 is given by
la1- c1l ~ rl (6.6)
where
]"(
c1= /2 a1.o+a1,; ) , r1--1'(
/2 ai,o-ai,; )
and the lunction g0 (z) ol Theorem 5.8 has development in the neighborhood
ol the point at inlinity
g 0 (z) = z +~
z
+ higher powers of z- 1 .
The value
lf2( ai,o+ai, ;)+ lf2(ai,o-ai,i-) e2iO
()real, O;;;;;O<:n, LI the domain g6 (D). Let <P8 (w) be the inverse of
g0 (z) defined in g0 (D). Then the function
P(w) = f(!/> 0 (w))
is an admissible function associated with LI.
The quadratic differential has a single pole of order four at the point
at infinity. The corresponding coefficients are
oc<I> = e- 2to , all) = ~ _ ~.o .
Inequality (4.7) then gives
~ {e-2iO (~- ai,o)};;;;; 0. (6.7)
Since by Corollary 5.2
the locus of these points is a circle. Since for all these points
mal, Tt ~ m ~. 0 :;;;;:; <;]t al, 0
2
we must have r1 real and positive. Inserting now these formulae into
inequality (6.7) we find
that is
~~- '1.1;;;;; Y1.
The final statement in Theorem 6.10 follows at once from equality
condition (i) in Theorem 4.1.
It remains to prove that every value in the circular disc (6.6) is
assumed for some function in E (D). This follows by an argument first
employed by GRÖTZSCH [68]. Indeed we can find a parametric farnily
of domains D (t), 0 :;;;;:; t ;;;;; 1, such that
(i) D(O) = D,
(ii) D (1) is bounded by a finite number of points (equal in number
to the boundary components of D),
(iii) D (t1) C D (t2) for t1 < t 2 ,
(iv) D (t) varies continuously with t in the sense of domain con-
vergence.
This is easily seen if we take D given in a canonical form, say as a
circular slit domain. It isasimple consequence of the theory of compact
families that the coefficient ~.o for the domain D (t) with () fixed varies
continuously with t. Fort= 0 these values fill out the circumference of
the disc (6.6). Fort= 1 they all coincide with a point. On the other hand
E(D(t)) C E(D), 0;:;;:; t;;;;; 1.
Regions of values results for functions in I: and I: (D) 95
Thus as t varies from 0 to I the circle formed by the values av 0 (0;:;;;; () < n)
sweeps out the disc (6.6). Hence every value of a1 in this disc occurs for
some function in L:(D).
Corollary 6.8. Let I E E and have development in the neighborhood of
the point at inlinity
I (z) = z + a0 + ~
z
+ higher powers of z- 1 .
Then the region ol possible values ol a1 is given by
la1 1;:; ; 1 0
The value e2 i0 is assumed only lor the lunctions z + c + e2i 0 jz, c constant.
Indeed in this case g0 (z) = z + Ifz, g"' (z) = z-Ifzo Thus c1 = 0, r 1 = I.
T
Corollary 6o9o Let I E S and have development at the origin
l(z) = z + A2 z2 + A3 z3 + higher powers of z o (6oS)
Then the region ol possible values ol A~- A3 is
IA~-A 3 I;:;;;; 10
The value e2 i 0 , fJ real, is assumed by A~- A 3 only lor the lunctions
z(I + aei 0 z + e2i 0 z2 )-I,- 2;;:;; a;;:;; 2o
Indeed (/(z- 1))- 1 is in 1: and has development in the neighborhood
of the point at infinity
z - A 2+ A§-A3
z + h'1gh er powers of z- 1 0 (609)
Further suppose that f (DR) does not contain the origino Then the region
ol possible values ol a 0 is given by
laol;:;;;; 2R o
The quadratic differential has a single pole of order three at the point
at infinity. The corresponding coefficients are
Equality can occur in (6.1 0) only for the function s 0 (z) as follows from
equality condition (i) in Theorem 4.1. That the closed disc Ja 0 J ;;:::; 2R
is the precise region of possible values of a 0 follows by GRÖTZSCH's
argument.
There is a result similar to Theorem 6.11 for general domains of finite
connectivity but we do not go into this here.
Corollary 6.10. Let I E S and have the development (6.8) at the origin.
Then the region of possible values of A 2 is
The value -2eia, a real, is assumed only for the lunction z(1 + eiaz)- 2 •
Indeed for R equal to one the function (f(z- 1))- 1 is admissible in
Theorem 6.11. Since the latter function has the development (6.9) the
present results follow at once.
Theorem 6.12. Let the domain D in the z-sphere be of finite connectivity
and contain the point at infinity. Let z1 be a finite inferior point of D.
Let Po be the function of Theorem 5.9 for the domain D- z1 and let Po (z)
have expansion in the neighborhood of the point at infinity
Pe(z) = z + a0 , 0 + terms in z- 1 •
Let
:rco (z) = Po (z- zl) + Z1- ao,o ·
Let I E I' (D). Then the region ol possible values ol I (z1 ) is given by
The value
()real, 0 ~ () < 2n, L1 the domain n 0 (D). Let W0 (w) be the inverse of
n 0 (z) defined in n 0 (D). Then the function
(6.12)
(z )
n IJl = ei 0 12 cos !.__
201
n (z ) - ei 012 i sin !!_
2"1
n (z ) = c2- r2
ei 0•
Thus the locus of these points is a circle. Since for all these points
we must have r 2 real and positive. Inserting now these formulae into
inequality (6.12) we find
that is
That this circular disc is the exact region of possible values of I (z1)
follows by GRÖTZSCH's argument. The final statement of Theorem 6.12
follows at once from equality condition (i) in Theorem 4.1.
Corollary 6.11. Let I E E'. Then the region of possible values ol
f(reiO), 0 < r < 1, () real, is given by
The explicit values in this special case of Theorem 6.12 are due to
GOLUSIN [44].
Here E and K denote of course the standard complete elliptic integrals.
We first find the region of possible values of /(- r). Forthis case the
function :n:0 (z) is simply z + 1/z. To find the function :n:"(z) we must
use the construction of Theorem 5.9. First let
Z = z + 1/z + r + 1/r.
This maps JzJ > 1 conformally onto D1 which is the Z-plane slit recti-
linearly from r-1 (r- 1) 2 to r- 1 (r + 1) 2 with - r going into the origin.
We form a two-sheeted covering surface of D 1 branched at the origin
and the point at infinity and map it by
W=Z'f,
where the root is to be positive on the real axis near the origin and ß
(real and positive) is determined by the condition
,-'f•(r + 1)
f (W2- ß) [(W2 - r-1 (r- 1) 2) (W2- r-1 (r + 1) 2) ]-'l•dW = 0 .
,-'f, (r-1)
A standard reduction shows that
u = w + ( ß- -r2+ 1)
r - w-l+ higher powers of w-l.
Finally let
V= U2 •
V= Z r + 1) + termsinZ-1.
+ 2 ( ß--r- 2
Thus
r +
:n:n(-r) =-2 ( ß--r- -r---;-
2
1) 1
Regions of values results for functions in E(D) and E 99
while
1
n 0 (-r) =- r--.
r
In the notation of Theorem 6.12
C2=- ß
+I r2
r2=-r--ß.
1/(-r) + ßl
r2
~-r--ß.
+I
where the integral on the left is taken along 1, that on the right along A..
This lemma and the preceding are due to GRÖTZSCH [69].
Indeed ·
j'd log f(z)- f(z,)
co z~zl
= log f' (z)
1
or
~ ~
the portion J.(P"~ P') of A. from P" toP', finally YP' the curve F(P'~ t)~
1 ~ t ~ 0 [sensed from P' to f (P')]. Clearly A is homotopic to zero on
the z-sphere with z1 and oo deleted. Thus
J d arg (z- z1) = 0.
A
Regions of values results for functions in E(D) and 2: 101
Letting P' tend to zv P" tend to the point at infinity and combining the
result with equation (6.14) we have
(6.15)
where
c3 = 1/ 2 (log lo(O) +log f'" (O)),r3 = 1/ 2 (log f'" (0) -log 10(0)).
2 2
The value
(logl0(0) +log(" (0))- 1 / 2 (log/" (0)-log/0(0)) e2 i 8 ,
1/ 2
2 2
is assumed only lor the lunctions f 8 (z- z 1 ) + c, c constant.
This result is due to GRÖTZSCH [69].
We apply the General Coefficient Theorem with ~ the w-sphere,
Q(w) dw2= e-2iBdz2jz2'
0 real, L1 the domain I 8 (D-z 1). Let l/J 0 (w) be the inverse of l 0 (z) defined
in lo (D- z1 ). Then the function
lJI(w) = f (W0 (w) + z1) -I (z1)
is an admissible function associated with L1.
The quadratic differential has two double poles: P 1 at the origin
and P 2 at the point at infinity. The corresponding coefficients are
oc(I) = e-2iO , a(1) = 1~ (0)/f' (z1) ,
log I~ (0) = eiO cos e log~~ (0) - eiB i sin elogt'" (0)
2
Thus the locus of these points is a circle. Since for all these points
we must have r 3 real and positive. Inserting now these formulae into
inequality (6.16) we find
<R {e-zie (c3 -logf'(z1))};;;; r 3
that is
That this circular disc is the exact region of possible values of logf'(z1 )
follows by GRöTzscH's argument. The final statement in Theorem 6.13
follows at once from equality condition (ii) in Theorem 4.1.
Corollary 6.12. Let f E X:. Then the region of possible values of
logf'(rei 0 ), r > 1, e real, is given by
r•
llogf'(rei 0 )1 :;:;; log r•-I . (6.17)
The value
r•
-e2irxlog~~
r 2- l
so
' r•
log/_"__ (0) =log r•- 1 .
2
r•
r 3 = log --- .
r2
-1
finite and distinct lrom the origin, and elsewhere regular. Let D be an
admissible domain with respect to Q(z) dz 2 containing the origin and z1 •
Let I E E 0 (D). Then z1 1 (z)/1 (z1) is admissible with respect to D. Let F be a
corresponding admissible homotopy. Then
log (/(z1 )/z1 ) =log ll(z1)/z1 1+ i d(F, =).
Let J. be a simple curve in D with continuously turning tangent
joining z1 and oo, not meeting the origin, and having a limiting tangential
direction at infinity. Let I be the image of }. under the mapping
w = z1 1 (z)/f (z1). Let P be a point on J. near infinity, P* its image under
the above mapping. We consider the following sensed closed curve A.
First we take the portion fP of I from z1 to P*, then yp the curve
F(P, t), 0 ~ t ~ 1 (sensed from P* toP), then the portion J.'z, of J. from P
to z1 • Clearly Ais homotopic to zero on the z-sphere with the origin and
the point at infinity deleted. Thus
J dargz = 0.
A
In the notation of Lemma 4.1
J dargz = b(F, P)
'Yp
c4 = 1/ 2 (log (a 0(b)Jb) +log (a-"- (b)fb)), r 4 = 1/ 2 (log (a-"- (b)fb) -log (a 0 (b)fb)) .
2 2
The value
1/ 2 (log(a0 (b)jb) + log(a__,._ (b)fb)) - 1/ 2 (log(a,. (b)/b) -log(a0 (b)fb)) e2iB,
2 2
Regions of values results for functions in I:(D) andl: 105
() real, 0 ~ 0 < n, is assumed only for the function a0 (z) which is the
function of Theorem 6.14 for the domain D.
This result is due to GRÖTZSCH [71].
We apply the General Coefficient Theorem with !R the w-sphere,
Q(w) dw 2 = e- 2i 0 [w(w- a 0 (b))]- 1 dw 2 ,
0 real, 0 ~ 0 < n, L1 the domain a0 (D). Let C/J0 (w) be the inverse of Go (z)
defined in Go (D). Then the function
P(w) = G0 (b) f(C/J 0 (w))/f(b)
is an admissible function associated with L1.
The quadratic differential has a singledouble pole P 1 at the point at
infinity. The corresponding coefficients are
a<Il = e-2io , a<Il = a0 (b)ff (b) .
Inequality (4.7) then becomes
!R {e- 2i0 log (Go (b)jf (b))} ~ 0
or
?\ {e-2iO [log (a 0 (b)jb) -log (f(b)jb) ]} ~ 0. (6.19)
From the construction of Theorem 6.14 follows
log(Gd(b)jb) = ei 0 cos () log(G0 (b)jb)- ei 0 i sin () log(a,. (b)jb)
2
Thus the locus of these points is a circle. Since for all these points
()real, 0;;;;: 0 < 2n, LI the domain t8 (D-z 1). Let W8 (w) be the inverse
of t 0 (z) defined in t8 (D- z1 ). Then the function
P(w) = [f(W 0 (w) +z1)-/(z1 )]//'(z1 )
is an admissible function associated with LI.
The quadratic differential has a single pole P 1 of order three at the
origin. The corresponding coefficients are
oc(O= e-io, ab0 = 1/ 2 [t~'(O)- (/"(z1)//'(zl))].
Inequality (4.7) then gives
9\ {e-w 1/ 2 [t 0' (O)- (!" (z1)/f' (z1 ))J} ~ o. (6.21)
From Theorem 6.16 follows
t'o' (0) = eiO 12 cos ~ tO' (0) - ei 612 i sin ~ t',; (0)
= Cs- rseiO
Thus the locus of these points is a circle. Since for all these points
0\ tij' (0) ~ 0\ t'r/ (0) ~ 9\ t',; (0)
we must have r5 real and positive. Inserting now these formulae into
inequality (6.21) we find
0\ {e-i 0 [c 5 - f"(z 1)/f'(z1)]} ~ r5
that is
Regions of values results for functions in 5 107
That this circular disc is the exact region of possible values of f" (z1 ) I f' (z1)
follows by GRöTzscH's argument. The final statement in Theorem 6.17
follows at once from equality condition (i) in Theorem 4.1.
Corollary 6.14. Let f(z) be meromorphic and univalent for izi > 1
with f(oo) = oo. Then the region of possible values of f"(reiO)If'(reiO),
0 < r < 1, ()real, is given by
I
reiO r: (re::)
f(re)
+ ~- 2
r-1
r+ 1 E(2r>1 +r)- 1 )
r-1 K( 2 ri'(I+r)- 1)
I
Equality can occur here only for the functions corresponding to those given
in Theorem 6.17.
The formula given by GOLUSIN [47] differs from the present one
to the extent that a Gauss transformation has been applied in the
complete elliptic integrals.
This corollary is derived from Theorem 6.17 in the same wa y that
Corollary 6.11 is derived from Theorem 6.12.
6.7 There are results corresponding to the preceding for functions
regular and univalent in a domain not containing the point at infinity.
We confine ourselves here to giving several examples for the family 5.
Lemma 6.7. Let D be a simply-connected domain in the z-sphere
containing the origin but not the point at infinity. Let f be regular and
univalent in D with f (0) = 0. Then any branch of log (f (z) Iz) can be
extended to a single-valued regular function in D.
Definition 6.3. Let D be a simply-connected domain in the z-sphere
containing the origin but not the point at infinity. Let z1 be an interior point
of D distinct from the origin. Let f be regular and univalent in D with
f(O) = 0, f' (0) = 1. In the present sequence we will always understand by
log (f (z1)lz1 ) the value at z1 of that branch of log (f (z)jz) which tends to zero
at the origin and by arg (f (z1) / z1 ) the imaginary part of this quantity.
Lemma 6.8. Let Q(z) dz 2 be a quadratic differential an the z-sphere
with a double pole at the origin, simple poles at infinity and b, b finite and
distinct from the origin, and elsewhere regular. Let D be an admissible
domain with respect to Q (z) dz 2 containing b but not the point at infinity.
Let f be regular and univalent in D with f (0) = 0, f' (0) = 1. Then
b f(z)/f(b) is an admissible function associated with D. Let F be a cor-
responding admissible homotopy. Then
log(f(b)fb) =log if(b)Jbl- i d(F, 0).
The proofs of these results differ Iittle from those in § 6.6.
Theorem 6.18. Given a real, 0 ~ oc < n and r, 0 < r < 1, there is a
unique function u"" (z) in S mapping the unit circle E: lzl < 1 onto an
108 VI. Applications of the General Coefficient Theorem
This result is due to GRUNSKY [79]. A similar result for more general
domains was later proved by GRÖTZSCH [72].
Firstset f{z) = z(l + z)- 2 and let D = f(E). Let $(w) be the inverse
of f defined in D. Let b = r (1 + r)- 2 • The function
qw) = f w(wd~b)'/,
b
maps the w-plane slit along the semi-infinite segments w < 0 and w > b
onto a vertical half-strip. Here (w- b)'f, is the root with negative
imaginary part for 0 < w < b and
1 b'/,- (b- w)'/,
'(w) = -,
1 log ,1 ,1
ib ' b '+(b-w)'
1 1 1
= - ,1
- logw + -,-1 log -4 b + powers of w.
ib ' ib '
Here (b- w)'f, is the root positive for 0 < w < b, b'f, and log 41b are
positive, logw is the principal branch and the expansion is valid near
W=Ü.
Let also
Then
1 1 ( 1-r )" 1 1
'*(w) = ib'/, logw + ib'/, 1 r + + ib'f, log 4b
+ powers ofw
with determinations given as above, the expansion being valid near
w = 0. We set
CCJ.(w) = ei« (cosoc C(w)- isinoc C*(w))
Regions of values results for functions in S 109
and take wa (w) as the composition of (;IX (w) with the inverse of the
(many-valued) continuation of C(w). Then w/Z(w) maps D onto a domain
Da. admissible with respect to the quadratic differential
e- •irx. dw 2
Q"'(w) dw 2 = --=-~~
w2 (w- b) ·
Wehave near w = 0 the expansion
a;(l> = - e- 2irxjb, a(I) = b-1 f (r) exp (- i eirt. sin cdog ( 11 ~rr )") •
':R {- b-le-2iiZ log [b-1 I (r) exp (- i eirt. sin IX log ( 11 ~rr n]} ~ 0
which reduces to
. [ log -r•
<;)\ { e-2t!Z 1
1 -log (f (r) fr) ]} ~ log 11+
~rr
so that
1 +r
!log (f (r)fr) + log (1 - r 2 ) I ~ log 1~r .
That this circular disc is the exact region of possible values of log (f (r)fr)
follows by GRÖTZSCH's argument.
Now for any real 8, defining
I* (z) = e-iB f (eiB z)
we obtain a function in S suchthat
l*(r)jr = f(reiO)jreiO
thus the exact region of possible values of log [f(reiB)jreiBJ is given by the
closed disc defined by inequality (6.22). From equality condition (iii) in
Theorem 4.1 follows that the value
is assumed by log [I (r ei 8 ) jr ei8 ] only for 1 (z) the function ei8 ucx (e-iO z).
In the same way follows the uniqueness of the mapping ucx(z).
Lemma 6.9. Let D be a simply-connected domain in the z-sphere
containing the origin but not the point at infinity. Let I be regular and
univalent in D with f (0) = 0. Then any branch of log [z f' (z)/f (z)] can be
extended to a single-valued regular function in D.
Definition 6.4. Let D be a simply-connected domain in the z-sphere
containing the origin but not the point at infinity. Let z1 be an inferior
point of D distinct from the origin. Let f be regular and univalent in D
with f (0) = 0, f' (0) = 1. In the present sequence we will always understand
by log [zd' (z1 )/f (z1) J the value at z1 of that branch of log [z f' (z)/1 (z)] which
tends to zero at the origin.
Lemma 6.10. Let Q(z) dz 2 be a quadratic differential on the z-sphere
with a double pole at the finite point b which is distinct from the origin,
simple poles at the origin and infinity and elsewhere regular. Let D be an
admissible domain with respect to Q(z) dz 2 containing the origin but not the
point at infinity. Let f be regular and univalent in D with f (0) = 0, f' (0) = 1.
Then b f(z)ff(b) is an admissible function associated with D. Let F be a
corresponding admissible homotopy. Then
log(bf'(b)ff(b)) =log lbf'(b)ff(b)i + id(F, b).
Theorem 6.19. Given IX real, 0 ~IX< n, and r, 0 < r < 1, there is
a unique function vcx (z) in 5 mapping the unit circle E onto an admissible
domain with respect to the quadratic differential
e-•icx dw"
Q(w) d w2 = -----c-~-,
w(w-vcx(r)) 2 •
Let fE 5. Then the region of possible values of log[rei 8 j'(rei 0 )ff(rei0 )],
() real, is given by
/log [reiO f' (rei 0 )ff(rei0 )]/ ~log 1 :; •
1 (6.23)
The value
-e2'•cx 1og I+r
I-r
The results of this theorem are due to GRUNSKY [79]. They are
proved similarly to those of Theorem 6.18 or can be derived from them.
Theorem 6.18 and Theorem 6.19 include in particular the results of
Theorem 6.2, Corollary 6.1, Corollary 6.2, Corollary 6.3 and Corollary6.4.
6.8 Lemma 6.11. Let D be a simply-connected domain in the z-sphere
containing the origin but not the point at infinity. Let f be regular and
univalent in D with f (0) = 0. Then any branch of log f' (z) can be extended
to a single-valued regular function in D.
Regions of values results for functions in S 111
The result of Lemma 6.12 follows at once from Lemma 6.8 and
Lemma 6.10.
Theorem 6.20. Given rx real, 0 :;;;; cc < :n: and r, 0 < r < 1, there exists
a function 11. (z) in S mapping the unit circle E: [z[ < 1 onto an admissible
domain with respect to the quadratic differential
For 0 < r :;;;; 2-'/, there is a unique such function lrJ; (z) for each rx, 0 ~ cc < 'lf.
Forz-'/,< r< 1 there is a unique S11Ch f1tnction lrJ; (z) for with 0 :;;;; < : ' Q( Q(
n 3n 3n n 3n .
4 < rx < 4 , - 4- < rx < n b11t for rx = 4 , - 4- there are respectwe
continuo11s one-parameter families m 1 (z, t), m 2 (z, t), 0 ~ t ~ 1 of such
functions which have the properlies
Let f ES. Then the region of passible values of logf' (rei 0 ), () real,
is the convex regian L (r) defined by the inequalities
W e have jar 0 < IX < :7l ij 0 < r < 2-'/,, 0 < IX < : 1:j 2-'/, :;;; r < 1
e+a 1-re-i'l'
log 2i log--+
l~(r)=
e-a 2log-
1--r 2
(6.26)
+e-i(q;+"'>{Iog(I-e. e-[[a[[•]+2arg I+a)-n
I+e e+a• 1-a
where each lagarithm and the argument an the right hand side have principal
values and cp, 1p, e are Parameters depending continuously an IX and
satisfying the relatians
C= 2 J
1
(w-1)'/,
w (w~-2)dw
Q ( )d 2= 4 (w-l) dw'
e-•i<>.
a; w w w'(w-2)'
The trajectory of Q""(w) dw 2 which has a limiting end point at the point
at infinity must either have a limiting end point at I or tend to 0 or 2 in
the opposite sense (Theorem 3.6). Thus if the former possibility does not
occur we can slit the w-sphere along an arc on the closure of this trajectory
to obtain a domain Da which is the image of E under the mapping
w = na (z) where n"" (z) is regular and univalent for jzJ < 1 with n"" (0) = 0,
n"(r) = 2. We see that this trajectory can have a limiting end point at 1
only if cx is equal to ~ or 3n .
4 If in this case 0 < r <::; z-'/, we can still
perform the preceding construction and define n" (z) as before. If r > 2-'/,
as cx tends to ~ from below na (z) tends to a function q1 (z, 0) which
maps E onto the w-sphere slit from the point at infinity to 1 along the
half-infinite segment 9\w = I, 6 w < 0 and along an arc cx 0 on the closure
of the trajectory of Q!'__ (w) dw 2 with limiting end point at 1 on which
4
9\w > 1. Also q1 (0, 0) = 0, q1 (r, 0) = 2. Similarly
where the mapping w = q1 (z, 1) carries E onto the w-sphere slit from the
point at infinity to 1 along the half-infinite segment 9\w = 1, 8'w < 0
and along an arc oc1 on the closure of the trajectory of Q!'_ (w) dw 2 with
4
limiting end point at 1 on which 9\w < 1. Also q1 (0, I) = 0, q1 (r, 1) = 2.
It is readily seen that cx0 and oc1 are interchanged by reflection in the
line 9\w = 1. From these functions we obtain a continuous one-para-
meter family of functions by following the mapping w = q1 (z, 0) by
translation of each point in q1 (E, 0)- {0, 2} along a trajectory of
Q" (w) dw 2 by a given distance in the metric JQ" (w)J'f, JdwJ. When this
4 4
distance reaches the length of oc 0 or oc1 in this metric we obtain the
function q1 (z, 1). We call these functions q1 (z, t) where t may be taken to
Ergebn. d. Mathem. N. F. H. 18, Jenkins 8
114 VI. Applications of the General Coefficient Theorem
vary linearly with the distance. These functions are regular and univalent
in lzl < 1 with q1 (0, t) = 0, q1 (r, t) = 2. In an analogous manner we
obtain a continuous one-parameter family of functions q2 (z, t) associated
with the value IX = 3n such that
4
. , n 3n h
N ow for all IX cons1dered when 0 < r < 2- 1' or for IX =!= 4, 4 w en
2-'/, ~ r < I the quadratic differential
Since
dw
- -
dz
Iz~O
l.mw
=1 -
z
Z-7 0
we find
Moreover
where, on the segment 0 < w < I, (w- 1)'/ is taken as i Jw- IJ'i on its
2 2,
where the root is the continuous extension of that root which for ac
equal to zero has negative imaginary part (it is then pure imaginary).
It is readily seenunder the prescribed conditions on ac that a 2 cannot be
positive so that a will always have negative imaginary part. We derrote
by r the quantity
[(r e2eirp_ e) (reirp_ e)-1]'/2
where the root is the continuous extension of that root which for ac
equal to zero has negative imaginary part (it is then pure imaginary).
Making these substitutions the right hand side of equation (6.28) becomes
2 i e-i"' r (I-e·)·
(eirp_ er)(rei'P-e)
I ,. [(eirp _ e ei"')
(1 2 -1)
,.+
(e ei"' _ e•ei'P)]
(t'-e") (t 2 -a2 ) (1 2 - T 2 ) d t. (6.29)
0
!{
0
2ie-i<rp+lp)
t•-I -
_ 2ie
t•-e• +
~
t 2 -a2 +e
-i('P+'I'l 2r l
t•-r• J d t ·
where on the left hand side for 0 < w < 1 we start with the positive root
of (1 - w)'l• and the principal value of the logarithms and on the right
hand side t, a, T have the determinations given above and the logarithms
are defined by taking the principal values when cx is equal to zero for z
on the segment 0 < z < (! and extending continuously. This can be done
for all Q( in 0 ~IX< 7t when 0 < r < 2-'/, and for 0 ~IX< ~ when
2-'/,~ r < 1.
The left hand side of equation (6.30) has at w = 0 the expansion
I-12"
logz +log-.-- e-i('l'+'l' log--+
l I-12 a-e
i log--
412 e• 'I' I + 12 a + !?
. . [ 12(I-12")ei'~' J 12-a
2 log (r- z) + t log - 4 (12"ei'l'-12r) (ei'~'-er) + log 12 + a
-2(1og 1/ 2 + ~).
N ow we define
Regions of values results for functions in S 117
Evidently la E S and
' [ e(.I-e•)ei"' ) 1-e• ·. e-a
log lrx (r) = log - 4 (e•ei'l'-=(}-r}(ei'P-er) -log 4eei'l' - z log e + a
z"log--
- a-e + ze- - - z e. - 1·< "' + 1JI >Io g
. 1·<m+"')log -1-a y y
T-e
--
a+e 1 +a T+e
1-e
+ e-i('P + 'I') log--+ T-a
e-i(<JJ+'I') log--
1 +e T+a
. a-e . e-a 1-re-i'l'
= - z log~+a (! - z log-+ e a + 2 log 1-r2
+ i e-i('l'+'l') (log 1-a -log T-(!)
1+a T+f.!
1
+ e-i('l'+'l') (log -e_ +log T-!!.__).
1+e T+a
so that to find the value of the former we will determine this limit.
If we had "P = ± n for 0 < oc < : this would by (6.27) imply
y2e-2i<p_ (e + e-1) re-i "'+ 2- 2r + r2= 0
from which follows sin cp = 0 and thus e-i"' = 1. Since -oc = 1 / 2 ( cp + 1p)
this is impossible. From the form of the domain q1 (E, 0) it follows that
:n
as oc tends to 4 from below cp and "P approach limits cp*, "P* with
1p* > cp*. We can thus write
118 VI. Applications of the General Coefficient Theorem
15 = 1- )
cos-1 (-,-
2 ;,r
a= 1- 1 _;e-i'~' +0(s 2) .
a = : + O(s'l,)
thus
e-i('P+'I'l= i + O(s'l•).
Substituting these expressions into formula (6.26) and letting s tend to
zero we find
r•
li~ argl~(r) =-n-log 1 -r•
<X---+--
4
so that
r•
arg m~ (r, 0) = - n -log -1- -•
- r2
Let now f E S. Let (/> a (w) be the inverse of the function na (z) defined
in na (E). We apply the General Coefficient Theorem with <;]\ the w-sphere,
the quadratic differential Qa (w) dw 2, the domain n"' (E) admissible with
respect to Q" (w) dw 2 and the admissible function
g (w) = 2/((/Jcx (w))// (r)
associated with n" (E). The quadratic differential has two double poles:
P 1 at w = 0 and P 2 at w = 2. The corresponding coefficients are
m{- e- 2 irt.log [f (r) n~ (0)/2] + e- 2 i"log [f (r) n~ (r)/2 I' (r)]} ;;;; 0
Regions of values results for functions in S 119
or
~ {e- 2i"' log f' (r)} ~ ~ { e-2iiX log l~ (r)} .
This holds for all cx, 0 ~ IX < n, when 0 < r ~ 2-'/, and for oc distinct
:rt 3:rt .,
from 4 and - 4- when 2- '< r < 1. In the cases excluded here we have
similarly
~ {- i log/' (r)} ~ ~ {- i logm~ (r, t)}, 0~t ~ 1,
~ {i logf' (r)} ~~ {i logm 2 (r, t)}, O~t~1
and
f~ (r) = f' (reiO) .
Thus the region of possible values of log f' (r ei&), () real, is in any case
given by L (r). The equality statements of Theorem 6.20 follow in the
usual way from Theorem 4.1.
Finally we observe that the uniqueness of the mapping la (z) follows
from equality condition (iii) of Theorem 4.1.
Corollary 6.15. For f ES, () real,
Jargf' (reiB)J ~ 4sin-1 r, 0< Y ~ 2-'/,
r•
~ n +log 1 _r 2 , 2-'/,< r < 1 .
In the first case equality occurs only for the functions l" (z) and la"' (z),
4 -4
in the second case only for the functions m1 (z, t), m 2 (z, t), 0 ~ t ~ 1.
This sharp form of the rotation theorem is due to GoLUSIN [42]
without the complete analysis of the equality possibilities.
The bound for 0 < r ~ 2-'/, follows most easily from the explicit
determination of the functions l" (z), la", (z) which can be done in
4 -4-
an elementary manner. The bound for 2-'/,< r < 1 follows from inequa-
lity (6.25). The equality statements follow as in Theorem 6.20.
120 VI. Applications of the General Coefficient Theorem
I (z) = z + c0 + : + · · · + ;: + · · ·
1
where
c3 = a3 , i= 0, I, ... , n.
Then
m{a:cn+l} ~ ~ {a:an+l}
equaü"ty occurring only lor I (z) == I* (z).
Let f/> (w) be the inverse of the function f* (z) defined on D. We apply
the General Coefficient Theorem with ~ the w-sphere, the quadratic
differential Q(w) dw 2 and the admissible domain D. The function
l(if>(w)) has expansion at the point at infinity
w + Cn+l-an+l
wn+l + h1gher
.
powers of w-1 .
/*(z) = z + a2 z2 + · · · + akzk+ · · ·.
Let f E S and have expansion at the origin
where
Then
~ {o:c,;} ;;;; 9\ {o:an}
Chapter Seven
rx<i>
Q (w) dw 2= ( W' + · · · ) dw 2
at P 1• Let F1 (z), j = 1, ... , r, be functions such that F 1 maps the unit
circle E: lzl < 1 conformally onto <r1 with F 1 (0) = P;. Let f 1 (z), j = 1, .. ., r
be functions such that
(a) /; maps E conformally into ~
(b) /; (0) = P;
(c) /;(E)nfk(E)=O, f=t=k, j,k=1, ... ,r
(d) Qd/;(E), k=l, ... ,s, f=1, ... ,r.
Then
r r
lllfJ (0) l-aU) ~ IJ IFJ (0) l-aU> (7.1)
i =1 i~l
satisfy the conditions of Definition 4.4 since the domains CF; 1 are simply-
connected andin virtue of hypotheses (a), (b), (c), (d). Thus they form
an admissible family of functions associated with the admissible family
of domains. The coefficients oc<iJ for the quadratic differential Q(w) dw 2
are all real and negative by Theorem 3.4. The quadratic differential has
double poles Pv P 2 , ••• , Pr, the corresponding coefficients being
z+z 1
/1 (z) = g ( I+z,z
)
I2 (z) h ( z + z, )
1 + z,z
=
1+z
F1 (z) = 1/ 2 (g(z1 ) -h(z 2)) 1_z + 1 / 2 (g(z1) + h(z2))
1+z
F 2 (z) = 1/ 2 (h(z 2 ) - g(z1 )) 1_z + 1 / 2 (g(z1 ) + h(z2 )).
For regular functions we have more generally the result given by
KoLBINA [125, 126].
Corollary 7.2. Let av a 2 be given distinct finite values, IX, ß given
distinct positive numbers, / 1 (z), f 2 (z) functions regular and univalent in
the unit circle E : lzl < 1 satisfying the conditions
/ 1 (0) = a1 , j = 1, 2
/1(E) nf2 (E) = 0.
Then
4<X+/J "'ßP
l/1 (0) I" l/2 (O)IP :;;; Ia _ ~a+ß
I ''•-ß'/,
:'/,+ ß'/,
\2"'' ·l'· la1- a2l" +P. (7.3)
where the sign is + or- according as IX> ßor oc < ß. To get the explicit
bound (7.3) it is necessary to determine directly the quantities IF! (0) I,
IF2 (0) I which appear in Theorem 7.1 [1 02]. One can also give the only
functions for which equality can occur in inequality (7 .3). It is a trivial
matter to extend this result to apply to derivatives at points other than
the origin. A similar inequality was given by KoLBINA for sets of three
functions meromorphic and univalent in the unit circle. This can be
treated analogously [102]. Also one can obtain in this way a result of
KUFAREV and FALES [129].
7.2 Analogously to Corollary 7.1 we obtain at once
Corollary 7.3. Let f (z) be regular and univalent in E : lz\::;. 1 with
I (0) = 0, f' (0) = a. Let g (z) be meromorphic and univalent in E : lzl > 1
with expansion at the point at injinity
II' (O) I ~ 1
equality occurring only lor
l(z) = eiOz
() real.
For I univalent this follows by applying Corollary 7.3 to the functions
l(z),- (f(-z 1 ))-1 defined respectively for lzl < 1, lzl > 1. For general
I tbe result follows by the principle of subordination.
Many other deeper and more complicated results follow for the
family K from the General Coefficient Theorem but we confine ourselves
here to giving a rather simple application of the method of the extremal
metric which does not strictly come under the General Coefficient
Theorem.
Theorem 7.2. Let I EK, 0 < r < 1, ()real. Then
ll(rei 6)1 ~ r(1- r 2)-'f,
126 VII. Applications of the General Coefficient Theorem
for r = s(s 2 + I)'l•, s = r(I- r 2)-''• maps lzl < 1 conformally onto the
domain bounded by the above circle with
Ir (r) = r (I - r2 )-'1•.
Let us derrote the unit circle lzl < I slit rectilinearly from 0 to r by D,
the module of D for the dass of curves separating its boundary components
by m. Let F be the homotopy dass of rectifiable JORDAN curves on the
w-sphere separating 0 and s from -s-1 and oo and containing such curves
symmetric with respect to the real w-axis. Clearly the module of r is
2m and the metric k IQ(w) I''• ldwl is the extremal metric for suitable
positive k.
Suppose now that I E K and univalent with II (r eiiJ) I ~ r (I - r2 )-'f,.
Then for a suitable real oc the domains eirt. l(ei9D) and-eirt.(/(eiiJ D))-1 are
non-overlapping and in the module problems for each for the class of
curves separating the boundary components the metric k IQ(w)l''•ldwl
is admissible. Since each of these domains has module m it follows from
Lemma 2.2 that this is possible only if
eia. I (eiiJ z) =Ir (z) .
Then
ll(reiiJ)I = r(I-r2)-'f,.
From this the statements of Theorem 7.2 follow for univalent functions.
For general functions in K they follow by the principle of subordination.
7.3 The selection of special RIEMANN surfaces and quadratic dif-
ferentials in the General Coefficient Theorem gives rise to whole new
dasses of problems for univalent functions. Some of these problems are
very natural intuitively and admit explicit solutions of considerable
interest. We give here the solution of just one such problem.
Theorem 7.3. Let us denote by Ql'(w) dw 2 the quadratic differential
(w-ft)dw 2
w•
--------------------------------------------~---------
where f-l > 0. Let T" be the trajectory of Q"(w) dw 2 which runs from w = f-l
~~ there exists a function f" E E such that
back to that point. Then for f-l ;;:;;
the mapping w = !" (z) carries izl > 1 onto a domain bounded by T~' and
a possible slit on the real axis to the right of f-l· For f-l > ~ there exists
n
a function /"E E suchthat the mapping w = /p(z) carries izl > 1 onto a
domain bounded by a closed trajectory of Qfl (w) dw 2 which separates T 11
from the origin. Let f EI: besuchthat it maps izl > I onto a domain whose
complement contains a domain with inner conform radius with respect to
the origin at least r (0 < r < I). Let f (z) have expansion at the point at
infinity
z + a0 + terms in z-1 •
Then the region of possible values of a 0 is given by
laol ~ Pr
where
(7.4)
64
for r :S.::
- - n .e-. and
(7.5)
with
16
f-l = n• k" E2 (k) , r = 4ft exp {- 2 - n K' (k)/K (k) + n 2/2 K (k) E (k)}
for r > ~4
n e2
• The value PreiO is attained by a0 only for the function
the roots being as above and the principal determination of the logarithm
being chosen at ft on top of the positive real axis.
Next we take
C= J z-'l•(z-1) dz (7.6)
1
128 VII. Applications of the General Coefficient Theorem
in izi > 1 slit along the positive real axis, the root being positive for z
on top of the positive real axis. This mapping is given explicitly by
C= 2z''•+ 2z-'!,_ 4
the roots being as above. The respective images of the point z = 1 are
C= 0 and C= - 8. If
on setting
w + np''· = C+ 4
the induced mapping from izi > 1 into the w-plane will provide just the
mapping ftt of Theorem 7.3. Its expansion at the point at infinity is
Thus the circle izi < 1 is mapped conformally onto the domain bounded
by T"' and containing the origin so that z = 0 goes into w = 0 by the
mapping induced by setting
i p,''•logz = w .
We denote the function so obtained by g"' (z). Then the logarithm of the
inner conform radius r of the above domain with respect to the origin
is given by
log 4 p,-2
that is
r = 4 p, e- 2 •
in izi > 1 slit along the positive real axis where Ä. > 1 and the roots are
positive for z on top öf the positive real axis to the right of J.. Making
the substitutions Z = z''•, W = 1 / 2 (Z + Z-1) we obtain
_ _!_ / ( 1-k2W2)'/,
C- k I-ws dW
1
where the mapping is defined for 6 W ;;;:;; 0, the root is positive for W
real and greater than k-1 and
v.''·
k= HA.
New classes of problems 129
Then when
setting
the induced mapping from [z[ > 1 into the w-plane will provide just the
mapping I" of Theorem 7.3. Its expansion at the point at infinity is
Wederrote the function so obtained by g" (z). Then the logarithm of the
inner conform radius r of the above domain with respect to the origin
is given by
log 4 fl- 2- 4k-1 fl-'f, (K' (k)- E' (k))
that is
r = 4 fl exp {- 2- TC (K' (k)- E' (k))/E (k)}
f(z) = z + a0 + terms in z- 1 .
For E: [z[ < 1:__, E: [z[ > I let tP" (w), P" (w) be the inverses of Iw .§_ß
defined on I" (E), g1, (E). Further suppose that the complement of I (E)
contains a domain with inner conform radius at least r with respect to the
origin where r and fl are related as above in the respective cases. Then
there will exist a function g (z) mapping E conformally into this domain
and satisfying g (0) = 0, g' (0) = r. For given real (}, 0 ~ (} < TC, we apply
the General Coefficient Theorem with ?\ the w-sphere, the quadratic
differential
w-p,eie
Q (w) dw 2 = e-io --------;;)2~ dw 2 ,
the admissible family of domains eiO I" (E), ei0gß (E) and the admissible
family of functions f(eiOij)ß(e-iOw)), g(eie P"(e-iOw)).
Ergebn. d. Mathem. N. F. H. 18, Jenkins 9
130 VIII. Symmetrization. Multivalent Functions
or
that is
That the value PreiO can be attained only for the function ei 0 II' (e-i 0 z)
follows from equality condition (i) in Theorem 4.1. That the circular
disc is the exact region of possible values of a 0 follows by GRöTzscH's
argument.
Chapter Eight
of centre P and radius R consists of that circle if the latter lies in D and
otherwise consists of an open arc meeting A., symmetric with respect to A. and
subtending at P an angle equal to the angular Lebesgue measure of the
intersection ofthat circle with D.
It is immediately verified that with this definition D* is actually
a simply-connected domain.
Lemma 8.1. In the notation of Definition 8.1 the domains D and D*
have equal area (which may of course be infinite).
Definition 8.2. Let D be a doubly-connected domain in the w-sphere,
P a point and A. a ray with end point at P. Let K 1 and K 2 be the com-
plementary continua of D, both of which we assume to be non-degenerate.
Let the respective intersections of K 1 and K 2 with the circle of centre P and
radius R have angular Lebesgue measures l 1 (R) and l 2 (R). Let R, ([> be the
polar coordinates with pole P and initial ray A.. Let K:
be the set
- 1 /211 (R) ~ ([> ~ 1 /2l1 (R)
for those values of R for which the circle Iw- PI = R meets K 1 plus either
of the origin and the point at infinity which is in K 1 . Let be the set K;
n - 1 / 2 l 2 (R) ~ ([> ~ n + 1 / 2 12 (R)
for those values of R for which the circle Iw- PI = R meets K 2 plus either
of the origin and the point at infinity which is in K 2• Then the complement
of Ki V Ki is a doubly-connected domain D* which is called the circular
symmetrization of D determined by P and A.
The verification that D* is a doubly-connected domain is immediate.
The domain D* evidently depends on the order of choice of K 1 and K 2
but interchanging them simply results in reflection of this domain in the
point P.
Definition 8.3. Let Q be a quadrangle in the w-sphere lying exterior
to the circle Iw- PI = R 0 and with a pair of opposite sides lying on this
circle. Let Q' be the reflection of Q in this circle and let D be the union of
Q, Q' and the open arcs corresponding to the pair of opposite sides indicated.
This domain is seen at once to be doubly-connected. Let A. be a ray with end
point at P. Let D* be the domain associated with D under the circular
symmetrization determined by PandA.. Let Q* be the quadrangle determined
by the portion of D* exterior to Iw- PI = R 0 , a pair of opposite sides being
given by the two open arcs of intersection of D* with this circle. Then Q*
is called the circular symmetrization of Q determined by P and A..
Definition 8.4. Let K be an open set in three dimensional Euclidean
space. Let H be a half-plane and A the line giving its edge. Then the set K*
associated with K by the circular symmetrization determined by A and H
is defined to be an open set characterized by the fact that its intersection
with a circle with centre on A in a plane perpendicular to A consists of
that circle if the latter lies in K and otherwise consists of an open arc
9*
132 VIII. Symmetrization. Multivalent Functions
meeting H and symmetric with respect to it and of length equal to the total
measure of the intersection ofthat circle with D.
It is easily verified that the set K* is open. For our purposes the
interest of symmetrization in three dimensions comes in through an
important result on the area of the surfaces bounding K and K* when
these surfaces are sufficiently smooth.
Theorem 8.1. Let H be a half-plane in three dimensional Euclidean
space, A the line giving its edge. Let there be given a system of cylindrical
Coordinates (r, (), z) in terms of which H is given by () = 0, A by r = 0.
Let K be an open set in this space whose boundary S is homeomorphic to a
sphere and consists of a finite number of pieces, bounded by simple regular
closed curves and each of which is either
(a) in a plane z = constant,
(b) on a surface of revolution z = z (r) where z (r) has a continuous
derivative with respect to r,
(c) representable by an equation
() = () (r, z)
where the function () (r, z) possesses continuous first partial derivatives
with respect to r and z.
Then S has area. lf K* denotes the set associated with K by the circular
symmetrization determined by A and H then its boundary surface S* has an
area not greater than that of S.
Evidently the pieces of S lying in planes z = constant and on surfaces
of revolution z = z (r) give rise to similar pieces of S* of not larger area.
Thus it is enough to prove the given result for the remairring boundary
pieces. The set of values of r', z' for which the circle r = r', z = z' meets
these pieces of S is a domain which breaks into a finite nurober of sub-
domains Uv ... , U n such that for (r', z') in U k this circle meets S a t
points whose () coordinates are respectively
k
n
~ 2 u !! [ + ((-ar
1(}(}*)" + (----a;-
r2 ()(}*)•)]'/, dr dz.
k
Now
JJ (!'; + f~)
D
du dv ~ JJ ((1!) 2 +
D*
u:) 2) du dv. (8.1)
1 /2 e2 JJ (!'; + nl du dv + 0
D
(e 4) ~ 1/2 e2
~
JJ ((1!) 2 + u:) 2) du dv +0 (e4) •
Then
m =2M
m*= 2M*
M~M*
Thus by Theorem 2.6 J must be the image F* (r) of lzl = r under the
mapping w = f* (z). Also
M(D1 ) = M(Di), M(D 2) = M (Di).
Hence we may assume in our proofthat f(z), f*(z) are each regular for
r1 ~ lzl ;;:; r2 since this condition could be obtained by restricting ourselves
to a subdomain of D bounded by F(r'), F(r") with r 1 < r' < r" < r2•
Also we assume without loss of generality that C1 is interior to C2 and
that the complementary continuum of D which contains C1 plays the
role of K 1 in Definition 8.2.
Let M (r) and m (r) denote the maximum and minimum of I/ (z) I for
lzl = r, r 1 ;;:; r;;:; r 2 • Therc will be at most one value of r in this interval
for which M (r) = m (r) unless f (z) has the form f (z) ~ }.z, A constant,
in which case the result of Theorem 8.4 is evident. We may thus assume
111 (r) > m (r) for r 1 ~ r ~ r 2 • In addition M (r) is a strictly increasing
function of r. The maximum and minimum of II* (z) I for lzl = r are
clearly again M (r) and m (r). The former is attaincd only at points where
f* (z) is real and positive. We will suppose f* so normalized that this
occurs only forzreal and positive.
We consider now the loci of points r ei'P at which I/ (r ei'P) I = M (r).
Forthis we set
u (r eilfl) = log I/ (r eiq') I .
~orp
0~9\ logf(rei'P) = 0
or
au
Now on the curve cp = cp; (r) we have --a;p = 0 thus
du au + a u dq.>;
dr =a, ~dr
dlogM(r)
dr
Also on the same curve
d ou IJ'u o2 u dq.>;
0 = Tr8(p = ararp + oq.>' ~'
d2 u o•u o2 u drp; d 2 log M (r)
Tr• = or 2 + or orp ---a:;- = dr 2
Since u is harmonic
I o2 u I ou d 2 log M (r)
--------~-
r• arp 2 r ar dr2
= __ a•u _ _!_ dlogM(r) d 2 1ogM (r)
r• orp• r dr dr 2
Thus we have
Under our assumption that f (z) is not of the form .Ä.z the right hand
side of (8.3) can vanish only for isolated values of r thus we may assume
it non-zero for r 1 :;:;; r ~ r 2 •
Setting analogously to the above
Since the right hand sides of (8.3), (8.4) are non zero for r1 :;:;; r :;:;; r 2
we have
Uniqueness results for modules 139
JG(R)dW= fG(R)dlfJ.
F(r) F*(r)
and supposing G (and hence g) such that this integral exists we have
Now suppose that g (R) """0 for R ;;:;;: M (r1 ), which is certainly compatible
with our earlier assumptions. Then
for r1 ~ r ~ r 2 •
Derrote now by e(f, r, a), e(f*, r, a) the sets of values cp, 0 ~ cp < 2n,
at which respectively ll(rei'~') I ~ a, II* (rei'~') I ~ a, a > 0. Further derrote
the (LEBESGUE) measure of e(f, r, a), e(f*, r, a) respectively by W(f,r,a),
lfJ(f*, r, a). From (8.6) it follows immediately that
u(rei'~')-u(rei'~'o) =
n~l
j; -~~
-
(~n~) _ (f{J-f{Jo)n.
rp 'P- 'Po
Setting lf(rei'~')l = a, lf(rei'~'o)l = a 0 we have
(8.8)
f{J- fPo = 2'/, M (r)-'f, (- ( ~~~) 'P ~ 'P,) - 1; 2 (M (r) - a)'f, P ( (M (r) - a)'lz) ,
r,r
f{J> f!Jo
f[Jo- fP = 2'/, M(r)-'f, (- ( ~~~ )'~' ~ 1• (M(r)- a)'i•P(-(M(r)- a)'l•),
f{J< f!Jo
where P derrotes a power series with P (0) = 1. Combining these results
for f!Jo = cp; (r), i = 1, ... , k we find for r1 < r :;:;; r 2 , a less than M (r) but
sufficiently near M (r)
-(~~~)tp~tp;(r):;:;;-c;;:t=o' i= 1, .. . ,k.
Thus there can be at most one term on the left hand side of (8.9),
i. e., k = 1, and the equality in (8.9) is possible only if d~1}r) = 0 for the
values of r in question. This means that the various maximum values
Uniqueness results for modules 141
of J/(z)j for jzj = r, r 1 :;;;; r:;;;; r 2 occur for z on a radial segment. Thus for
a suitable real constant ß the maximum modulus of fdz) = f(eißz),
jzj = r, r1 ~ r ~ r 2 , occurs for z on the positive real axis.
Let
u1 (z) = log l/1 (z) I .
Then setting
U (z) = u 1 (z) - u* (z)
we have
U = o au = 0
, acp
holding for rp = 0, r 1 :;;;; r:;;;; r 2 . The first equality is a consequence of the
fad that
a real.
In particular equality of the modules occurs only if Q* is obtained
from Q by a rotation about the point w = 0.
Indeed if D, D* are the doubly-connected domains associated with
Q, Q* as in Definition 8.3 and f(z), f* (z) are the functions for D, D* as
in Theorem 8.4, since m = m*, we have
M(D) = M(D*)
142 VIII. Symmetrization. Multivalent Functions
8.4 For our applications we need certain limiting forms of the results
of § 8.3.
Theorem 8.5. Let G be a simply-connected domain in the w-plane of
hyperbolic type containing the origin. Let c (t) denote the level lines of the
Green' s function of G with pole at the point w = 0 continuously para-
metrized in terms of the positive real parameter t in such a way that c (t)
shrinks down to the origin as t tends to zero. Let D (t) be the doubly-connected
domain bounded by c (t) and the boundary B of G. Let D* (t) be the doubly-
connected domain obtained from D (t) by the circular symmetrization
determined by the origin and the positive real axis, the complementary
continuum of D (t) containing c (t) being taken first in the order of choice of
Definition 8.2. Let D* (t) have boundary components c* (t) and B* cor-
responding to c (t) and B respectively. Let G* be the simply-connected
domain bottnded by B* and containing the origin. lf G* is not obtained
from G by a rotation about the point w = 0, there exists a positive constant k
such that for t sufficiently small, 0 < t ~ t0 ,
M(D(t)) + k ~ M(D*(t))
k being independent of the values of t in question.
Let LI (t) be the doubly-connected domain bounded by c (t 0) and c (t)
where t 0 is a fixed positive value and 0 < t < t 0 • Let LI* (t) be the doubly-
connected domain bounded by c* (t 0) and c* (t). I t is clearly the domain
obtained from LI (t) under the given circular symmetrization. By
Theorem 8.4
M (D (t0 )) < M (D* (t0 ))
and by Theorem 8.3
M (LI (t)) ~ M (LI* (t)) .
Evidently
M(D(t)) = M(D(t 0)) + M(LI (t))
while by Theorem 2.6
M(D*(t));;:;; M(D*(t 0)) + M(LI*(t)).
Thus setting
k = M(D*(t0))-M(D(t0))
we have
M(D*(t)) ~M(D(t)) +k
for 0 < t ~ t0 •
Uniqueness results for modules 143
for every locally rectifiable curve c lying in Q' (sv s 2 ) and joining its
boundary arcs on ~w =-Sv ~w = s2 • Thus
(s1+ s 2) 2 m (Q' (sl> s2)) ~ s1+ s 2- q
where
q = si0l + s~0 >- JJ (!~ d s d t .
Q'o
_+to
sl Sz
~---/+•
sl
* + o((sl+
s2
s2)-2) + o((sf+ sri)-2)
or
Thus
m(Q(p)) ~ : 0 m(Q*(p))
0
+ o((sf + s:)- 2).
Since m(Q(p)), m(Q*(p)) tend to zero as p tends to zero this is much
stronger than the statement of Theorem 8.6.
Suppose, on the other hand, there is a curve c' (t0) not coinciding
with any curve c*(r). Let c(t0 ) divide Q(p) into quadrangles Q1 (p),
Q2 (p) as before. Then c' (t 0 ) divides Q* (p) into corresponding symme-
trized quadrangles Qi (p), Qri (p). Let r
be a continuum Oll c' (to) not
lying on a curve c* ('r), 0 < T < 1. For p small enough Twilllie in Q* (p).
Let then Q' (p) be the domain obtained from Q* (P) by deleting the
continuum r.
Let m(Q'(P)) be the module of this domain for the dass
of curves lying in it and joining its two boundary arcs on /w/ = p.
Let Q(sv s 2 ), Q(si, sri) be rectangles corresponding to Q(p), Q*(p) as
before. Let Q1 (sv s 2 ), Q2 (s 1 , s 2) be the rectangles corresponding to
Q1 (p), Q2 (P) into which Q(sv s2) is divided by the line t = t 0 • F or p small
enough "P* (F) willlie in Q(s{, s:). Let Q' (si, sri) be the domain obtained
from Q(sf, s~) by deleting 1p*(T) and let m(Q'(si, stl) be the module of
Ergebn. d. Mathem. N. F. H. 18, Jenkins 10
146 VIII. Symmetrization. Multivalent Functions
this domain for the dass of curves lying in it and joining its boundary
segments Oll 9\w = - s~, mw = s:, We verify directly (in our usual
notation for the various modules)
m(Q'(p)) ;s m(Q{(P)) + m(Qi(p))
m(Qi(P)) ;s m(Qt(p))
m(Q: (p)) ;s m(Q 2 (P))
m(Q1 (P)) = m(Q1 (sv s2)) + o((s1+ s 2)- 2)
m(Q 2 (P)) = + o ((s1 + s 2)- 2 )
m(Q 2 (sv s 2))
m (Q (p)) = m (Q (sv s2)) + o ((s1 + s 2)- 2 )
= m(Qt(P)) + m(Q 2 (P)) + o((s1 + s2)- 2)
m(Q' (p)) = m(Q'(s{, sri)) + o((si + si)- 2)
while by Lemma 8.3 for a suitable positive q and sj', si !arge enough
m(Q'(sj', si)) + qm2 (Q'(s{, si));;;; m(Q(sj', si)).
Since finally
m(Q*(p)) = m(Q(s{, s:J) + o((si' + s~)- 2 )
and m(Q(sv s2)) = (s1 + s 2)-1 , m(Q(sf, s~)) = (st + s;:J- 1 we
deduce the
existence of a constant k (k > 0, independent of p) suchthat
m(Q(p)) + km 2 (Q(p)) ~ m(Q*(p))
for p in a sufficiently small range, 0 < p ~ p0 • This completes the proof
of Theorem 8.6.
8.5 The results we have given on symmetrization have dealt so far
with domains in the ordinary sense, i. e., schlicht domains. However
they extend almost immediately to certain classes of RIEMANN domains.
We begirr by defining the classes with which we will be concerned.
Definition 8.5. Let SB1 denote the class of simply-connected Riemann
domains lying above the w-sphere and covering neither the origin nor the
point at infinity.
Definition 8.6. Let SB 2 denote the class of doubly-connected Riemann
domains each of which is obtained from a domain of class ~1 of hyperbolic
type by removing a continuum.
Definition 8.7. Let .fj1 denote the class of simply-connected Riemann
domains lying above the w-sphere and such that the total angular measure of
open arcs in the surface lying above a circle JzvJ = R (R an arbitrary
positive number) never exceeds 2n.
Evidently such a surface either covers simply the w-sphere or the
w-sphere punctured in one point or is of hyperbolic type.
Definition 8.8. Let .f) 2 denote the class of doubly-connected Riemann
domains each of which is obtained from a domain of class .f)1 of hyperbolic
type by removing a continuum.
Extension to RIEMANN domains 147
on the circles or open arcs sweeping out 9\* lying above those circles Jw\ = R
above which lies a point of K1 where l1 (R) is the total angular Lebesgtte
measure of points of K 1 lying above Jw\ = R. Removing Kf from 0\* we
obtain a doubly-connected (Riemann) domain D* which will be called the
circular symmetrization of D (with respect to the origin and the positive
real axis).
Lemma 8.5. Definition 8.3 extends to quadrangles of class Q by
replacing the symmetrization of Definition 8.2 by that of Definition 8.10
for the doubly-connected domain obtained by the reflection process.
Theorem 8.7. For circular symmetrization with respect to the origin
and the positive real axis Theorem 8.3 and Theorem 8.4 remain valid for
doubly-connected domains of classes SB 2 and f> 2 . Corollary 8.1 and Corol-
lary 8.2 remain valid for quadrangles of class Q. Theorem 8.5 remains
valid for domains of class ~1 which are of hyperbolic type and cover ( simply)
a neighborhood of the origin.
We notice first that Theorem 8.1 extends in a natural way to surfaces
with self-intersections. Using the corresponding extension of Theorem8.2
we obtain the result of Theorem 8.3 for doubly-connected domains in the
classes ~ 2 and f> 2 and so Corollary 8.1 for quadrangles in Q. The uni-
valence of the functions f (z), f* (z) is not used essentially in the proof of
Theorem 8.4 thus this proof extends to the present circumstances for
domains in SB 2 and f> 2 • Corollary 8.2 then follows for quadrangles in Q.
In Theorem 8.5 we must now understand that the pole of the GREEN's
10*
148 VIII. Symmetrization. Multivalent Functions
function is at the point covering the origin. lts proof is then as before.
lt should be noted that in some of these results the symmetrized doubly-
connected domain might be degenerate, i. e., have infinite module.
Corollary 8.3. Let ] be a simply-connected Riemann domain which
satisfies all conditions of Theorem 8.6 except that instead of being schlicht it
belongs to class ß1 . Let every quadrangle Q(p) constructed from it as in
that theorem belang to class .Q. Then with a suitable interpretation of the
symmetrization of J the conclusion of Theorem 8.6 obtains.
The symmetrization of J is to be taken as generalizing that of
Theorem 8.6 in the same way as Definition 8.10 generalizes Definition 8.2.
8.6 A natural generalization of the concept of univalent function
is that of a function multivalent of a given order, say p (an integer).
This means that the function, defined in some domain, there assumes
no value more than p times (counted with proper multiplicity). In
treating certain classes of multivalent functions by the methods of the
extremal metric and symmetrization it is not more difficult to deal
with more general classes defined as follows.
Definition 8.11. Let us denote by F P' p a positive integer, the class of
functions regular in the unit circle, J zj < 1, which have power series expansion
about z = 0 of the form
f(z) = zP+ aP+lzP+l+ aP+ 2 zP+ 2 + · · ·
and which are circumferentially mean p-valent. By the latter term we mean
that if the mapping w = I (z) carries JzJ < 1 onto a Riemann domain 'R lying
over the w-plane the total angular measure of open arcs on ?\ lying over the
circle JwJ = R, alt R > 0, is at most 2n p.
Lemma8.6. If /EFP then (f(z))'lp is in F 1 where we choose the root
whose expansion about z = 0 is
z+ ~ ap+1 z2 + [ ~ aP+ 2 + 1
2p ( ~ -1) a! +I] z2+ · · ·. (8.12)
Since f (z) cannot vanish in jz[ < 1 except at the point z = 0 any
brauch of (/(z))''Pwill be regular in [z[ < 1. The remaining conditions for
membership in F 1 are automatically satisfied by this function. The
expansion (8.12) is verified directly.
Theorem 8.8. For f E F 1 the image of the unit circle E: [zj < 1 under
the mapping w = I (z) covers the circle [w[ < 1/ 4 • It leaves uneavered a point
with JwJ = 1/ 4 only if f(z) = z(1 + ei"'z)- 2, cc real.
Consider the quadratic differential
dw 2
Q(w) dw2=- w•(4w +I)
Let I EF 1 and suppose that I (E), the RIEMANN image of E under f, does
not cover the point w = be-üx, (J ~ 1 / 4. Let D(r) be the RIEMANN image
of R (r) und er the mapping w = -410 I (z). Evidently R (r) E ß 2 • Let D*(r)
be the circular symmetrization of D (r) as in Definition S.I 0. Then
2~ IQ (w)J'i,JdwJ is an admissible metric in the moduleproblern in D* (r)
for the dass of curves separating its boundary components. For a
function s (r) tending to zero with r, D* (r) will be contained in
/(R (r(I- e (r)))) andin the latter domain 21n IQ(w)J'i, JdwJ is the extrem-
al metric for the analogaus module problem. If the symmetrization of
I(E) (Lemma 8.4) does not coincide with /(E) we have [where M(D')
again derrotes the module of a doubly-connected domain D' for the dass
of curves separating its boundary components]
M(D*(r)) + k1 ~ M(/(R(r(I-s(r)))))
for r sufficiently small and a constant k 11 k1 > 0, independent of r
(Lemma 2.2). If the symmetrization of I (E) is not obtained from I (E)
by rotation about the point w = 0 we have
M (D (r)) + k2 ~ M (D* (r))
(Theorem 8.5, Theorem 8.7) for r sufficiently small and a constant k2 ,
k2 > 0, independent of r. Thus if either fo the preceding eventualities
fails we have
1 1
-2 -log-
n r
+k= M(D(r)) + k
• I 1
~ M(f(R(r(l- s(r))))) = Zn log r(l-s(;j}
where d = - r(1 + r)- 2 and the function /(z) = z(1- z)- 2• Consider
also the quadratic differential in lzl < 1
Q' (Z) d Z2 = - dz•
z 2 (z+r) (z+r- 1 )
The trajectories of the latter are JoRDAN curves enclosing the origin,
separating it from the point z = - r and the circumference lzl = 1.
Let them be parametrized continuously by t, 0 < t < 1, so that as t tends
to zero the corresponding trajectory T (t) shrinks down to the origin.
Let E .. denote lzl < 1 slit along the segment - 1 < z ~ - r and let R (t)
be the doubly-connected domain bounded by T (t) and the boundary
of E,,. Let f EF 1, denote I (r ei 9 ) = c, suppose Iei ~ ldl and let D (t) be the
RIEMANN image of R (t) under the mapping w = \ ~ I I (z). Let D* (t)
be the circular symmetrization of D (t) (evidently D (t) E .f; 2). Camparisan
of the modules of D(t), D* (t) and /(R(t)) as in the proof of Theorem 8.8
then proves the left hand inequality in Theorem 8.9 tagether with the
corresponding equality statement.
To prove the right hand inequality we consider the quadratic
differential
dz 2
Q(w) dw2 = ws (d-w)
where d = r(1- r)- 2 and the function f (z) = z (1- z)- 2 • We consider
also in lzl < 1 the quadratic differential
Q" ( ) d z 2 = z• (z-r)dz•(z-r- 1 )
z
The trajectories of the latterare open arcs running from the point z = 0
back to that point and separating the point z = r from the circumference
lzl = 1 in addition to the segment- 1 < z < 0. I ts orthogonal trajectories
are JoRDAN curves enclosing the origin separating it from the point z = r
and the circumference lzl = 1. Let the orthogonal trajectories be para-
metrized continuously by t, 0 < t < 1, so that as t tends to zero the
corresponding orthogonal trajectory N (t) shrinks down to the origin.
Let E~ denote lzl < 1 slit along the segment- 1 < z ~ r. The intersection
of this domain with the exterior of N (t) then gives a quadrangle S (t)
for which a pair of opposite sides are given by the halves of N (t) symmetric
in the real axis.
Let IEFv denote l(rei9 ) = c, suppose Iei ~ ldl and let Q(t) be the
quadranglewhich is the image of eio S(t) under the mapping w =I: Il(z).
Multivalent functions 151
Let m (Q(t)) be the module of Q(t) for the dass of curves joining its pair
of opposite sides on J:JI(ei 9 N(t)). Fortsmall enough the cirde C(t)
centre the origin endosing JfJ I (ei& N (t)) but tonehing it will have lying
above it in Q (t) just two open arcs and the portion of Q(t) covering the
exterior of C (t) will give a quadrangle Q' (t) with a pair of opposite sides
given by these arcs and which satisfies Q' (t) E .Q. Let m (Q' (t)) be the
module of this quadrangle for the dass of curves joining its sides over
C (t). Let Q* (t) be the circular symmetrization of Q(t) as in Lemma 8.5
and let m (Q* (t)) be its module for the dass of curves joining its pair of
opposite sides on C (t). Let Q(t) be the image of S (t) under the mapping
w = /(z) and let m(Q (t)) be its module for the dass of curves joining its
pair of opposite sides on /(N(t)). Let ]* be the symmetrization of
f (eiO E;) in the sense of Corollary 8.3.
For a suitable positive constant K the metric K IQ(w) 1'/,ldwl is the
extremal metric for the module problem defining m (Q(t)). If ]* does
not coincide with /(E;) we deduce from Lemma 2.1 that fort sufficiently
small there exists a constant kl> k1 > 0, independentoft suchthat
m(Q*(t)) + k1 m2 (Q*(t));;;; m(Q(t))
If ]* is not obtained from I (eio E;) by a rotation about the point w = 0
by Corollary 8.3 there exists a constant k 2 , k 2 > 0, independent of t
such that for t sufficiently small
m(Q'(t)) + k m (Q'(t));;;; m(Q*(t)).
2 2
equality occurring on each side only lor I (z) = zP (1 + ei"' z)- 2P, cx real.
This result follows at once from Theorem 8.9 and Lemma 8.6.
Theorem 8.1 0. Let f EF 1 . Then lor () real
Equality occurs in (8.13) only for the functions f (z) =~z (1 + ei"' z)- 2, rx real.
We consider the quadratic differential
a 2 = nr-1 (1- r) (1 + r)
in the metric IQ(w)l''•ldwl. Let these trajectories be parametrized
continuously by t, 0 < t < 1, so that as t tends to zero the corresponding
trajectory T 2 (t) shrinks down to w = d. Let R 1 (t), R 2 (t) be the respective
doubly-connected domains obtained by deleting T 1 (t), T 2 (t) and its
interior from <f1 , <f 2 • Let M 1 (t), M 2 (t) be the modules of Rdt), R 2 (t) in
each case for the dass of curves separating the boundary components.
Let fcz) = z (1 + z)- 2 and let fP (w) be its inverse defined in (E) i
(E the unit circle). Let f E F 1 not be one of the slit mappings z(1 +ei"'z)-2.
Let R~ (t), R~ (t) be the RIEMANN images of R 1 (t), R 2 (t) under the mapping
by -r(1-r)- 2 (f(reie))- 1 f(-eioiJ(w)), M~(t), M~(t) their modules for
the classes of curves separating the boundary components. We see that
R~ (t) E ß 2, R;(t) E ß 2 (also S8 2). Let Ri(t) be the circular symmetrization
of R~ (t), let R: (t) be the domain obtained by rotating the circular
symmetrization of R;(t) through 180° about the origin, let Mi(t), M:(t)
be their respective modules for the classes of curves separating their
boundary components. Evidently Ri (t), R: (t) are schlicht and do not
Multivalent functions 153
I 2 I r
2";tallog f(rei6)(I-r)• -2";ta21og
I I 2 lr(I-r)f'(rei6)
(1 +r)f(rei6)
I+ o(1).
Combining this inequality with the above equalities and inequalities we
find
I 2 If(rei6) r(I-r)2 I+ 2n
I lr(I-r)t'(rei6) I
2
2"n allog a2log (I +r)f(rei6) < 0
or
(1 + r)21og Ir (reill) ( (:~~.) -·~ < 2 (1 + r 2) log lt(rei9) ( (I_:_r)") -·~.
From this the inequality (8.13) follows at once. It is evident that in
(8.13) equality holds for the slit mappings (at appropriate points). This
completes the proof of Theorem 8.10.
By a suitable modification of this proof we can show that for I in F 1
as for functions in S that
Equality occurs here only for the lunctions l(z) = zP(l + e•"'z)-2P, rx real.
This result follows from Theorem 8.10 and Lemma 8.6.
154 VIII. Symmetrization. Multivalent Functions
1/' (reiO)I:;:;;
·
p(l +~L
r(I-r)
ll(reiO)I .
Equality occurs only lor the lunctions I (z) = zv (1 + ei"' z)- 2 P, IX real.
This result is due to HAYMAN [83, 84]. It follows from Corollary 8.5,
Corollary 8.6 and the fact that p, is greater than 1.
Corollary 8.8. Let I E F p· Then lor e real and 0 < r < 1
Equality occurs only lor the lunctions I (z) = zP (1 + ei"' z)- 2 P, IX real.
This result follows from Corollary 8.5 and Corollary 8.7.
The attempt to extend Theorem 6.3 to functions in F 11 in the same
way that Theorem 8.10 extends Theorem 6.4 fails. This is not surprising
since no generallower bound for I/' (z) I can be found for functions in F 11
(other than zero).
By methods similar to the preceding one can obtain similar results
for bounded functions in F 11 and also further results on the possibility of
omitted values. However we content ourselves with the preceding
examples.
8. 7 Theorem 8.11. Let the lunction f (z) be regular lor lzl > 1 apart
lrom a simple pole at the point at inlinity where it has the expansion
l(z) = z +~+
z · · ·.
This lunction is then univalent in a sufficiently restricted neighborhood N
ol the point at infinity. Let I have the further property that il Cis a Jordan
curve in N separating the point at infinity from the circumference lzl = 1
then the image under the mapping w = f(z) of the doubly-connected domain
bounded by C and lzl = 1 has area not greater than the area of the domain
enclosed by I(C). Then
equality occurring only for the functions zP (1 + eia z)- 2P, IX real.
This result is due to SPENCER [179].
If f EF 1 and has expansion about the origin
with equality occurring only when f (z) is one of the functions z (1 + ei<>- z)- 2 ,
IX real. The result of Corollary 8.9 for general p then follows from
Lemma8.6.
8.8 Theorem 8.12. Let 0 < ri < 1, i = 1, 2. Then for 0 ~ t ~ 1 there
exists a function ft (z) E S depending continuously an the Parameter t and
such that the mapping w = ft (z) carries the unit circle [z[ < 1 onto an
admissible domain with respect to the quadratic differential
(w~~)w-c ) dw 2 , 0
Qt(w) dw 2 = w •( w- ~ t < t0
--::~----:-c-:--~c-
w• (w-b) (w-c)
d w2 , t -- t0
(w-a)
w"(w-b) (w-c) dw2' fo< t;;;; 1
b = b(t) = ft(-rl)
c = c(t) = ft(r2)
a = a (t) > c , 0 ~ t < t0
a=a(t)<b, t 0 <t~1.
being understood in the extreme cases). This function maps the upper
half Z-plane on a domain bounded by rectilinear segments of the following
nature. Let Av A 2, A 3 , A 4 , A *, A 0 be the images of Z 1 , Z 2, Z 3 , Z 4 , Z*, Zs.
Then A 1 A 2 isahalf-infinite horizontal segment with A 2 at the point at
infinity and ~C increasing as we go from A1 to A 2; A 2A3 is a half-
infinite horizontal segment, the value of SC on it being larger than on
A 1 A 2 and ~C decreasing as we go from A 2 to A 3 ; A 3 A 4 is a vertical
segment, SC decreasing as we go from A3 to A 4 ; A 4 A * is a horizontal
segment .~C increasing as we go from A4 to A *; A * A 5 is a horizontal
segment, ~C decreasing as we go from A * to A 5 ; AsA 1 is a vertical
segment, SC decreasing as we go from As to A1 . Exceptionally A * may
coincide with A4 or As when Z* coincides with Z 4 or Zs and the corres-
ponding segment reduce to a point.
Now let the domain bounded by the segments A 1 A 2, A 2A3 , A 3 A 4 ,
A 4 A 5 , AsA 1 (i. e. the domain obtained from the preceding by deleting
the slit penetrating to A *) be mapped conformally on the upper half
w-plane with A1 , A 2, A 3 , A 4 , A *, As going into Wv w2, w 3 , W4 , w*, Ws
where W2= 0 and W4 or Ws is the point at infinity according as snc is
smaller at A 4 or As (these points coinciding at infinity when A4 and As
coincide). Reflecting across the segments -1 < z < 1 and Wsw 1 w4 of
the real axis in the z- and w-planes we obtain a conformal mapping of
lzl < 1 onto the w-plane minus a forked slit. This mapping will be
assumed normalized so that ~; = 1 atz= 0. Then we denote w1 and
w 3 respectively by band c and whichever of w 4 or w 5 is not the point at
infinity by a (provided these points do not coincide).
We may take the parameter t, 0 ~ t ~ 1, in (1,1) continuous cor-
respondence with Z* so that t = 0 for Z*= Z 4 , t = 1 for Z*= Zs and
denote the corresponding function by / 1 (z). It is clear that this function
varies continuously with t in the usual sense of convergence. Evidently
also a, b, c vary continuously with t on the w-sphere. Also we see that
A 4 and As can coincide for just one value of t which we derrote by t0,
0 < t 0 < 1. Now / 0 (z) = z(1 + z)- 2 , / 1 (z) = z(1- z)- 2 so that a > c for
t = 0 thus for 0 ~ t < t 0 and a < b for t = 1 thus for t 0 < t ~ 1. If we
extend Cas a (non-single-valued) function of w to the whole w-plane by
reflection in the various segments w1 w 2 , w 2 w3 , w3 w4 , w 4 w 5 , Wsw 1 we see
at once that dC 2 is a quadratic differential on the w-sphere with simple
poles at b and c, a double pole at w = 0 and, when t =f= t 0 , a simple pole
at the point at infinity and a simple zero at a, being otherwise regular
and non-zero. Moreover this quadratic differential has the open recti-
linear segment from 0 to b as a trajectory. It thus coincides up to a
positive factor with the quadratic differential Q1 (w) dw 2 of our enuncia-
tion. The image of lzl < 1 under the mapping w = ft (z) is for t =f= t0
obtained by slitting the w-sphere along the trajectory of Qt (w) dw 2 from
Multivalent functions 157
a to the point at infinity on the real axis and along arcs of trajectories
joining a respectively to w* and w*, for t = t 0 by slitting the w-sphere
along the trajectory of Q1 (w) dw 2 through the point at infinity from w*
to w*o Thus in any case this domain is an admissible domain with
respect to Q1 (w) dw 2 This completes the proof of Theorem 8oi2o
o
809 Theorem 8oi3o Let 0 < r; < I, i = I, 2, and let I EF 1 o Then there
exists a value t, 0 ~ t ~ I, suchthat
llt(-rl)l = 11(-rl)l 0
Forthis value ol t
ll(r2)1 ~ ilt (r2)1
equality occurring only lor l(z) == l 1 (z)o
It is clear from Theorem 809 and Theorem 8.12 that given I EF 1
there exists a value t, 0 ~ t ;o;: I suchthat
the circular symmetrization of R~' (s) by rotation through 180° about the
origin. Evidently the domains of Ri (s), (s) are schlicht and non- R:
overlapping. Let Mi (s), M; (s) be the modules of Ri (s), R: (s) each
for the class of curves joining the pair of opposite sides on C (s).
The quadrangle R1 (s) is swept out by trajectory arcs of Qt (w) dw 2
all having the same length ~(a1 > 0) in the metric IQt(w)l'l•ldwl.
Similarly R 2 (s) is swept out by trajectory arcs of Qt (w) dw 2 all having
the same length a 2 (a 2 > 0) in this metric. Evidently av a 2 depend on s.
Then
JJ IQt(w)ldudv=aiM1 (s)+a;M 2(s).
R,(s) U R 2 (s)
Clearly
M~ (s) = M 1 (s) , M~ (s) = M 2 (s)
M~' (s) ;;:;; M~ (s) , M;' (s) ;:::; M 2 (s) .
On the other hand, since lft(-r1 )\ = l/(-r1)j and l/t(r2)1 :;o;; l/(r2)1 while
I (z)is not identical with I t (z), by Lemma 2.1 and Corollary 8.3 there
exists a constant k, k > 0, independent of s, suchthat
JJ IQt (w) I du dv ;;:;; ai M~' (s) + a~ k (M~' (s)) 2
R~(s) UR~ (s)
+ a~ M~' (s) + a~ k (M~' (s) )2 + o (I) .
Since however
ff IQt(w)l du dv;;:;; JJ IQt(w)l du dv + o(l).
R, (s) U R,(s) R~ (s)U R; (s)
the previous inequalities are inconsistent which means that we must have
ll(r2)1 :;o;; lft(r2)j
with equality only for I (z) ~ lt (z). This completes the proof of Theo-
rem 8.13.
Corollary 8.1 0. There is a unique function I t (z), 0 :;o;; t :;o;; 1, for which
lt (-r1) has a given value in the interval
rl < <- rl
(1-rl)" = W = (! +rl)•.
Corollary 8.11. Let 0 < r 1 :;o;; r 2 < 1 and let f E F 1 • Then
or
0\(aae2iO) ~ 3.
Proper choice of 0 gives Iaal ~ 3.
Corollary 8.15. Let f EF v and have expansion at the origin given
by (8.14). Then
The inequality follows from Lemma 8.6 and Corollary 8.14. The
equality statement is immediate.
Corollary 8.16. Let f E F,P and have expansion at the origin given
by (8.14). Then
Equality is attained for the functions zP (1 + ei"' z)- 2P, oc real. For p > 1
it is attained only for these functions.
By Corollary 8.9 and Corollary 8.15 we have
(8.16)
or
Bibliography
[1] AHLFORS, L. V.: Untersuchungen zur Theorie der konformen Abbildung und
der ganzen Funktionen. Acta Soc. Scient. Fenn., N. s. A, 1, No. 9, 1-40
(1930).
[2] - Open RIEMANN surfaces and extremal problems on compact subregions.
Comment. Math. Helvet. 24, 100-134 (1950).
[3] - Development of the theory of conformal mapping and RIEMANN surfaces
through a century. Contributions to the Theory of RIEMANN Surfaces. Ann.
of Math. Stud., No. 30, 3-13 (1953).
[4] - and A. BEURLING: lnvariants conformes et problemes extremaux.
Dixieme Congres des Mathematiciens Scandinaves 1946, 341-351.
[5] - - Conformal invariants and function-theoretic null-sets. Acta math. 83,
101~129 (1950).
[6] ALEXANDER, J. W.: Functions which map the interior of the unit circle
upon simple regions. Ann. of Math. 17, 12-22 (1915-1916).
[7] BAsiLEVITCH, I. E.: An improved bound for the coefficients of univalent
functions. Mat. Sbornik, N. s. 22, 381-390 (1948) (Russian).
[8] - On distortion theorems and the coefficients of univalent functions. Mat.
Sbornik, N. s. 28, 147-164 (1951) (Russian).
[9] BERGMANN, S.: Über die Entwicklung der harmonischen Funktionen der
Ebene und des Raumes nach Orthogonalfunktionen. Math. Ann. 86, 237-271
(1922).
[10] BERMANT, A.: Sur quelques proprietes des fonctions regulieres. C. r. (Dokl.)
Acad. Sei. U.R.S.S., N. s. 18, 137-140 (1938).
[11] - Remarque sur le 1emme de SCHWARZ. C. r. Acad. Sei. (Paris) 207, 31-33
(1938).
[12] BESICOVITCH, A. S.: On two problems of LöWNER. J. London Math. Soc. 27,
141-144 (1952).
[13] BEuRLING, A.: Etudes sur un problerne de majoration. Thesis, Upsala 1933.
[14] - Sur !es fonctions limites quasi analytiques des fractions rationelles.
Attonde Skand. Matematikerkongressen i Stockholm 1934, 199-210.
Bibliography 161
[15] BIEBERBACH, L.: Zur Theorie und Praxis der konformen Abbildung. Re.
Circolo Mat. Palermo 38, 98-ll2 (1914).
[16] - Über einige Extremalprobleme im Gebiete der konformen Abbildung.
Math. Ann. 77, 153-172 (1916).
[17] - Über die Koeffizienten derjenigen Potenzreihen, welche eine schlichte
Abbildung des Einheitskreises vermitteln. Sitzgsber. Preuß. Akad. Wiss.
1916, 940-955, zweiter Halbband.
[18] - Aufstellung und Beweis des Drehungssatzes für schlichte konforme
Abbildungen. Math. Z. 4, 295-305 (1919).
[19] - Einführung in die konforme Abbildung; first published in 1915, references
to English translation 1953.
[20] BIERNACKI, M.: Sur !es fonctions multivalentes d'ordre p. C. r. Acad. Sei.
(Paris) 203, 449-451 (1936).
[21] - Sur !es fonctions univalentes. Mathematica (Cluj) 12, 49-64 (1936).
[22] - Sur !es domaines couverts par des fonctions multivalentes. Bull. Sei.
Math. 70 (second series), 45-51 (1946).
[23] - Sur !es fonctions en moyennes multivalentes. Bull. Sei. Math. 70 (second
series), 51-76 (1946).
[24] BocHNER, S.: Über orthogonale Systeme analytischer Funktionen. Math.
z. 14, 180-207 (1922).
[25] BoHR, H.: Über Streckentreue und konforme Abbildung. Math. Z. 1,
403-420 (1918).
[26] BRÖDEL, W.: Über die Deformationsklassen zweidimensionaler Mannig-
faltigkeiten. Ber. Verh. sächs. Akad. Wiss. Leipzig, Math.-phys.Kl. 87,
85-120 (1935).
[27] CARTWRIGHT, M. L.: Some inequalities in the theory of functions. Math.
Ann. 111, 98-118 (1935).
[28] CouRANT, R.: Über direkte Methode in der Variationsrechnung und über
verwandte Fragen. Math. Ann. 97, 711-736 (1927).
[29] - DIRICHLET's principle, conformal mapping and minimal surfaces. New
York 1950.
[30] DIEUDONNE, J.: Sur !es fonctions univalentes. C. r. Acad. Sei. 192, 1148 bis
1150 (1931).
[31] DoUGLAS, J.: Solution of the problern of PLATEAU. Trans. Amer. Math.
Soc. 33, 263-321 (1931).
[32] EILENBERG, S.: Sur quelques proprietes topologiques de la surface de
sphere. Fund. Math. 25, 267-272 (1935).
[33] FABER, G.: Neuer Beweis eines Koebe-Bieberbachschen Satzesüberkonforme
Abbildung. Sitzgsber. Math.-phys. Kl. bayer. Akad. Wiss. München 1916,
39-42.
[34] - Über Potentialtheorie und konforme Abbildung. Sitzgsber. Math.-phys.
Kl. bayer. Akad. Wiss. München 1920, 49-64.
[35] - Über den Hauptsatz aus der Theorie der konformen Abbildung. Sitzgsber.
Math.-phys. Kl. bayer. Akad. Wiss. München 1922, 91-100.
[36] FEKETE, M., and G. SzEGÖ: Eine Bemerkung über ungerade schlichte
Funktionen. J. London Math. Soc. 8, 85-89 (1933).
[37] Foos, SISTER BARBARA ANN: On the values of certain sets of modules.
Thesis. Univ. Notre Dame 1956.
[38] GARABEDIAN, P. R., and H. L. ROYDEN: The one-quarter theorem for mean
univalent functions. Ann. of Math. 59, 316-324 (1954).
[39] - and M. ScHIFFER: A coefficient inequality for schlicht functions. Ann.
of Math. 61, 116-136 (1955).
Ergebn. d. Mathem. N. F. H. 18, Jenkins 11
162 Bibliography
Faber, G. 3, 7, 12 Paley, R. E. A. C. 4
Fales, A. E. 124 Fesch!, E. 6
Fekete, M. 5 Pick, G. 2, 4
Foos, Sister Barbara Ann. 123 Pirl, U. 123
Plemelj, J. 2
Garabedian, P. R. 11, 149 P6lya, G. 12, 130
Golusin, G. M. 5, 6, 8, 10, 12, 92, 98, Posse!, R. de 77
106, 107, 119, 123, 159 Prawitz, H. 5, 139
Grad, A. 11, 112, 119
Gronwall, T. H. 2, 4 Rengel, E. 8, 71
Gross, W. 7, 27 Rinow, W. 55
Grötzsch, H. 5, 7, 8, 9, 23, 49, 71, 73, Robinson, R. M. 7, 87
77, 78, 84, 90, 91, 92, 93, 94, 96, Rogosinski, W. 4, 125
100, 101, 103, 105, 108 Royden, H. L. 71, 149
Grunsky, H. 5, 9, 10, 102, 108, 110
Schaeffer, A. C. 6, 7, 11, 35, 42
Hadamard, J. 10 Schiffer, M. 5, 10, 11
Hayman, W. K. 12, 13, 149, 150, 154 Shah Tao-Shing 123, 125
Hensel, K. 36 Shiffman, M. 54
Hersch, J. 27 Spencer, D. C. 6, 7, 8, 11, 12, 35, 36, 37,
Hilbert, D. 77 38, 42, 48, 149, 155
Hopf, H. 55 Springer, G. II
Hurwitz, A. 2, 8 Study, E. 4
Szasz, 0. 4
Jenkins, James A. 5, 6, 9, 13, 25, 32, 35, Szegö, G. 3, 5, 9, 12, 130
36, 37, 38, 47, 48, 85, 92, 123, 124,
125, 149 Teichmüller, 0. 8, 17, 24, 25, 28, 35, 36,
Julia, G. 10 48, 54, 55, 56, 57, 120
Timoshenko, S. 133
Kerekjart6, B. von 85
Koebe, P. 1, 2, 72, 84 Wolontis, V. 12
Subject Index
admissible family of domains 49 Grötzsch's argument 94
admissible family of functions 50 Grötzsch's Iemmas 22, 23
admissible homotopy 49
admissible metric 14, 25 H 27
A -normalization 14
area theorem 2 inner closure 36