Sie sind auf Seite 1von 24

Z u r T h e o r i e der s e h l i e h t e n A b b i l d u n g e n .

Von

G. Szeg5 in K6nigsberg.

Die vorliegende Arbeit enth~lt einige Bemerkungen fiber die Abselmitte von schliehten Potenzreihen. Wit betrachten im folgenden drei Unterklassen der im Einheitskreis l zl < 1 regul~ren Funktionen
f(z)=co+C~z +%z ~+... +c~z ~ + ....

(,s):
schlicht.

Das Bild des Kreises ]z] < 1 bei der Abbildung w = - f ( z ) ist

Das Bild des Kreises lz] <: 1 bei der Abbildung w = f ( z ) ist schlicht und in bezug auf den Punkt w ~ - c o stern]6rmigl). (B*)" f ( z ) ist 8chlichtuad beschrSnkt, und zwar If (z)i ~< 1 ~ii~ l z 1 < 1. In Zusammenhang mit (So) wird such die folgende Unterklasse erw~hnt5: (K): Das Bild des Kreises Iz[ < 1 bei der Abbildung w - ~ f ( z ) ist

(~o):

schlicht und konvex.

In w 2 beweisen wit den folgenden SstzI. Die Funktion f (z) ~- Co -+- C, z -+- co z ~ + . . . --}- c,~z'* -}--... l sei regular und schlieht i m Kreise ]z] < 1. D a n n sind sSmtliche Abschnitte
e o + c l z + e~z ~ + . . . + c~z ~

(n = 1, 2, 3, ...)

setdieht i m Kreise l z ] < u x


~) Dies bedeutet, dab mit jedem Punkte w such die geradlinige Verbindungsstrecke cow zum Bildgebiet geh~rt.

G. SzegS. Schlichte Abbildungen.

189

Der Beweis dieses Satzes ist leieht fiir n = 2 mad n >__5, jedoeh nieht ganz einfaeh flit n ~-3 und n = 4. Im letzteren Falle benutze ieh eine Bemerkung yon Herrn W. Rogosinski. Die Konstante 88 kann dureh keine grSi~ere Zahl ersetzt werden, well bei der Funktion
(1 --z) ~

= z - - ~ 2 z ~ + 3 z 3-+-... + n z " + . . .

der Abschnitt z-+-2 z 2 eine in z = - - u 1 versehwindende Ableitung besitzt. Der Beweis liefert zugleieh, dal~ die fragliehen Absehnitte fiir n > 2 sogar in einem (nut yon n abh~ngigen) Kreise [z[ < rn, w o r n > 88ist, sehlieht bleiben. Die genaue Bestimmung des grSBeen Kreises i z t < r, dieser Art diirfte nieht leieht sein. Die Yragestelhng, welehe durch den obigen Satz erledigt wird, erinnert an eine analoge Frage beziiglieh der Klasse der besehr~nkten Funktionen, bzw. der Funktionen mit positivem Realteil, welehe yon den Herren W. Rogosinski und L. Fej6r behandelt women ist~). Die entspreehende Aufgabe bei der Klasse (So) wird erledigt dureh den in w 3 zu beweisenden Satz: II. Die F u n k t i o n
f ( z ) -= Co -~- ClZ -~- C~z ~ --~ . . . ~, %Z '~ - - ~ . . . sei reguldr u n d schlicht i m Kreise ] z ] < 1 und bilde denselben a u / ein beziiglich w = c o stern/Srmiges Gebiet ab. D a n n sind stimtliche Abschnitte
co clz c~z ~ + . .. + c . z "

( n = 1, 2, 3 , . . . )

1 schlicht und ,stern/6rmig" beziiglich w = c o i m Kreise i z [ < z.

Die Konstante -~ kann aueh bier dutch keine gr5l~ere ersetzt werden. Der Beweis dieses Satzes ist leieht f i i r n = 2 und n ~ 4, dagegen etwas umst/indlieh fiir n = 3. MAt den Funktionen der Klasse ( E * ) hat sich Herr L. Fej6r besehKftigt. Er z d g t e , da$ die Absehnitte derselben der Ungleichung
1

1/2 I% ~

= 1,7071...

(!zi~l)

geniigena). Wit bezeichnen bei festem n mit % die obere Grenze yon

~,,z" l

2) Vgl. die Literaturzusammen,~ellung bei L. Fej~r, a. a~ O. ~), Fu6not~ ~) au/ S. 185. a) L. Fej~r, Uber die Koeffizientens~mme eiuer beschr~nkten mad schtichten Potenzreihe, Acta Mathematica 49 (1926), S. 183--I90,

190

G. Szegs.

flit t zl ~ 1 und fiir alle Fun~ionen yon (E*); ierner sei a die obere Grenze yon al, % , . . . , %, . . . . Dann ist nach L. Fej6r % = 1,25 ~ a ~ 1,7071 . . . . In w 4 zeigen wit, dal] man die obere Schranke von a etwas herabdriicken kann. Es gilt III.
~

~ ~ 1,6t60 . . . .
f'~

Welter fiihrt in w 5 eine nicht ganz leichte Rechnung auf IV. %=3--4V~= 1,2232 . . . .

Es ist bemerkenswert, dai~ % < ~ ausf~llt. In w 2 wird zum Teil die K. L5wnersche Theorie der Schlitzabbildungen ~) benutzt.

w
Hilfss~tze. 1.
(1)

H i l f s s a t z I.

gat I~,-I=~[< I, I=~


; z 1 - - Z~.

Es sei f (z) eine Funktion der Klasse ( S). Dann < 1 die Ungleichung

I f(z')-f(z'~) _>_li'(~o)'~(1

~ .l ~
lZo

~-~~

Fiir den Spezialfall z~ = 0 geht diese Ungleichung in


(2)

If(z~)--f(O)}> If'(O)l
zl } = (1 + I z,',) ~

iiber, was einen Teil des Verzerrungssatzes (in der schaffen Fassung) bildet. Aui diesen Spezialfall kann abet (1) dutch eine Abbildung des Einheitslrreises auf sich leicht zuriickgefiihrt werdenS). Wir setzen
z --~2
1--~z ~- W,

z.,_-- z~
l_~zl =

W1.

a s sei ferner f ( z ) = g ( w ) .

Nach (2) gilt

(3)

! g(w~)-g(o), ~

0+I~!)~.

I g'(o) I

N ~ i~t g(w~)= f(z~), g ( o ) - f(z~) ~ d


dz f' (z) (1 - ~ z ) ~ g ' ( w ) = f'(z)-d~--" l_lz~l~ '
0 K. LSwner, Untersuchungen tiber schlichte konforme Abbildungen des Einheitskreises I, Math. Anna~len 89 (1923), S. 103--I21. 0 Den Hinweis auf diesen Kunstgriff verdanke ich Herrn K. LSwner.

Sehlichte Abbildungen. folglich

t 91

g' ( o ) =

-!

woraus die Behauptung folgt~). Welter ist nach dem Verzerrungssatze

!f'(z~)l = (1+ ,z~l)8 ]f,(0)l ' > '-iz~I


so dab wit aus (1)

(1')

, f(~i)-f(~:) i> If,(o)i (ll+ ~:i,~


zi--z2 -'~

,z2 ) ( z1-z~ + ' l - - ~ z 1

,-~

)':

tz:l < I) i erhalten. Es ergibt sich schlie~lli& ~ [z~ ] < ~, l z.2 l < z (lz, t <
1, (4)
.

f(z,)--f(z~)
z,--z:

432 1--1-- ~,f,(o)l=_.i~_~t ~ , ' tlq_ ~ (1 I_1+~6)


,

>

(1_:_7
E s sei

'

f,

(o)l.

2. H i l f s s a t z II.

f ( z ) --~ Co q- ClZ q- C.,Z ~ q- . . . -47 C,~Z~ J~, . . . eine Funlction der K l a s s e ( S ) u n d c~ = 1. D a n n ist /iir n ~ 2

(5) (5')
/erner

lc~l<en,
~n

]Cn] (
I

( n _ l ) '~-~-'

(6)

Die Absch~itzungen (5) und (5') ((5) ist eine Folge yon (5')) staremen y o n Herrn J. E. LittlewoodT). Um (6) ~ beweisen, verf~hre ich in
6) Wendet man auf g ( w ) anstatt (3) die in dem Verzerrungssatze enthaltene obere Abschgtzung an, so ergibt sich das folgende Gegenstiick zu (1): Es sei f ( z ) eine Funktion der Klasse (S). Dann gilt ffir ]zI ! < 1, i z~ ] < 1

(1")

i f ( ~ , ) - f ( ~ ) !<=,:f,(~),(l_~l~)
I zi -- %

11-~1,, _ , ~1
( [z I -- z,~ --~ 1 -- z~ zl i)

Herr W. Rogosinski hat reich auf die /olgenden Ungleiehungen aufmerksam gemacht, die aus (1) und (1") fiir z l = O , z ~ = z folgen: 1--1z ~

zf'(z)

< l+izi .

i + l z, =i f(~)-f(O)

=i-!z l

Durch die obere Abschgtzung wird u.a. eine Fragestellung von Herrn J. E. Litttewood (a. a. 0. ~), S. 508, Theorem 26) beantwortet. 7) j . E. Litttewood, On inequalities in the theory of functions, Prom of the London Math. Soc. (2) 23 (1924), S. 481--519 (Theorem 20).

192

G. SzegS.

Anlehnung an eine briefliche Bemerkung yon g e r m IL Orandjot folgenderma6en. Fiir die Funktion

g(z) =- (f(z -~) -- co) - ~ - - z + 51z-t- -~ + . . . besagt der ,Fl~chensatz"S), da6

t 51 i" + 3 15. I~+ 5i 551~ + . . . =<


ist. Aus f ( z ) - - C o = so dab mit {bn l = f l ~

(g(z- 89 -~ folgt aber

c5-~-- 257 @ 65~55 + 3 5 : - - 125:5~ @ 55:, ! c~ l < 2 flv -+- 6 fllfls + 3 "
gilt, wobei Nun ist folglieh
3 21

fl2fl~ + 5 fl~

<a

V5 Die quadratische Funktion rechts erreicht fiir fly =- :5i- ihr Maximum, so daft
(7)

2 flv + 6 fllfls ~ [_~ , 21


Andererseits hat man

~ 2 [5

V5

21=21l/g<~f<-ff.

68

34

3 fl~ -+-12 fl : fla + 5 fl : ~


<

3fl~+12(1--afl~)A-t-5(1--3fl~)"
-- 27 fl: --}- 12 fia -{- 5,

Die quadratische Funktion auf der rechten Seite erreicht fiir fi3-~g ihr Maximum, so dab

(s)

4 19 3~2 + 1 2 ~ A + 5~: __<- ~ + ~8 + 5 = y 5 19

und also wegen (7) und (8)

!c51 < ~ + - f =
ist.

s) Vgl. L. "Bieberbach, Lehrhuoh der F ~ t i o n e n t h e o r i e , Band H, S. 84--85. Leipzig: B. G. Teubner, 1927.

SehliohteAbbildungen.

193

w tiber dieKlasse (S).


Wir diirfen annehmen, da~ cx = 1 ist. 1. Wir beweisen den Satz I zuniehst ffir u ~ 6, indem wir zeigen, dab
Or,

(9)
ist.

i f(zt)--f(%)

>

2-z~

(t ,t < 1, t, t <u1
es

6)

Wegen der Ungleichungen (4) und (5) genfigt v~


*'=~,+1

432

nachzuweisen. Gilt diese Ungleichung ffir n = 6, so gilt sie auch n~6. Nun is~ (11) ~=~
~"~ Z " = X ~ . . . . .

m ~ ( 1 - x ) ~ + ( 2 m + 1) x ( 1 - - x ) + 2 x (1 -~)~.

( m = 0 , 1, 2,...),

so dab
=

v~

16(~+1)~+

(2~+3)+
s

Z ist.

4~_1 -~- 4-~

9.n~+ 24n+20 27,4 '~-1 "-

Wit haben also nut zu zeigen, da~ 61 432 27.128 e<C3125

besteht.

Dies is~ abet richtig, weft 61 64.3 1 432 27-128 e <:: 27-128 ~ 18 <: 3-]~"

2. Fii~ n = 5 versagt die vorige Methode. Sie fiibrt n~mlich dana auf die Ungleiehung (12) 365 432 27,956 r <:: 3125 ' was wegen 73 438 432 365 365-2,7 27,256 e :> 27,256 falsch ist. Mit Riicksicht auf ( 5 ' ) genfigt es abel" anstatt (12)
365 6~ 6 66 432
I~

Mathem~tische Annalen. 100.

194 ~
oder

G. Szegii. 432.256 122 -27 e + 9-1;2 5 < 3125


Nun ist

(12') zu beweisen.

122 2-7-e 4- 9-1,2 5 ~


und

12,2.27,2 q-lO,8.1,44~<12,2-i-O,l-ar-lO,8.2,1 27

=34,98<35
432.256 430.255 3125 ~ 3125 75 8 6 - 5 1 86.50 {- ~ ---- 34,4 -{- 0,6 ~ 35. 125 :> 125

3. Fii_v n = 4 fiihrt die bisher befolgte Methode selbst im Besitze der (bis heute unbewiesenen) Ungleichungen
(5")

..)

nicht zum Ziele. Diese liefern n~mlich als obere Schranke flit die rech~ Seite von (9) [9n~+24n+20\ "65 4 432 9 ) 27-16 2q 3125 Ich benutze daher eine Versch~rfung der vorigen Methode, auf welche ich yon Herin W. Rogosinski aufmerksam gemacht Worden bin. Es wird dabei die AbscE4tzung (6) eine Rolle spielen. ~g Es geniigt offenbar die Ungleichung (9) flit z1 -- 1, z~ = Z mit Ix I = 1 zu beweisen, was wegen (1') eine Fotge von
i
~ I x

9~,

4 +I'

1 - ~ +gI 1-xl

(1--x)~ t 1= ix ~ _ _

4~'--1

1--x

ist.

Wir unterscheiden zwei F~lle"

a) 11~=5 4~-I

i>o:4.
l--x

Man hat mit Riicksicht auf ( 6 ) , (5) (vgl. (23)) 8


=

x-~ fc.l 8 4" < 11-~1

8 +e

,,
72+19e

8 (8
1 ;72+19(3--,0,1)
<;9

1
1

11 - - x I 9-128 1 1--x['

Schlieh~e Abbildtmgem so da~ wir Iolgendes zu beweisen 1


haben:

195

t-x

I-x < 1--16

: 3,24.

Nun ist das erste Glied der linken Seite monoton abnehmend, von 0 bis ~ 1Kaft; es ist ferner 1--Y6I < 1 fiir I 1 - x ' - - 0 , 4 Man hat also
}

WeIln

arc x

I~I=1.

1-N<1 1 -~

~
2

= 2,5
2

und
1 l I l - - x x ~---~16 16 1 - - ~

1 ~--~ ~ 0,2.

I+1-g

Es ist aber

2,5 + 0,5 + 0,2 = 3,2 < 8,24.


b) I 1 - x i < 0,4. 4"-;
~=5

Man hat mit Riicksicht auf (5') und (12) 4--~ (


v=6

1--x

(4-~-@

@2

6 e(

@365.2,7"2 27.256

3B,5 7,3 7r 0,~ 78,8 = ~ + 2-~ @ ~7. ~5--~< 25--g@ 2-~ = ~-~ = 0,3,

so dab die zu beweisende Ungleichung "folgendermaBen lautet: I Nun ist 1-~ x I 1 @211--xl "41 (l-x): I 9I =1,2 1-1 <250,3 "

I1--~-~ = [15 ! ~ ] <:-i-g- < 1 ~] 15,~ ~-~-[ferne~ 89


--

o,B2= 1 - - 0 , 0 2 , 15
0,30

x I < 0,2 und 0,16


16 l_Nt

= ~

0,16

<

i5 = 0,02,

womit die Behauptung flit den Abschnitt n - = 4 gezeigt ist. 4. ~ n = 2 ist die Behauptung Ieicht zu beweisen. Es ist n/imlich 9)

11 +r
~) Vgl~ a. a. O. 8), S. 85--86.

> 1

~2> o

13"

196

O. Sze#.

Wit betraehten endlieh den Fall u =: 3. Es geniigt, den Satz fiir die yon Herrn K. LSwner a. a. O. ~) betraehteten Sehlitzabbildungen zu beweisen'~ Wir setzen dementspreehend

(la)

~=~/~(~)~-~,
0

~=4

~.(~)~-~d~ -~f~(~)~-~-~,
0

wobei ~ (~) eine stetige Funktion von , mit i x ( , ) I = 1 bezeiehnet~l). Die Behauptung Iautet dann 1

1 + c~ (zl + z~ ) + c~ (z~ + z, zo. + z~ ) + 0


u

(iz,

Wit zeigen sogar, dal] flit l zl I = t z~ t

(14)
ist.

1 + ~ { c~ (z, + z~.) + c~ (z~ + z~ z~ + z$ ) } > 0


bzw. e z~ und gleiehzeitig z(v) dutch Seite yon (14) unver/~ndert. Da e , z 1 und e z, konjugiert komplex sind, zu beweisen, dal~
z2 ----- 4 ( 9 reell)

Ersetzt man z~ und zo durch ,z~ ~z(,), lej=l, so bleibt die linke stets so bestimmt werden kann, dab so geniigt es also (14) fiir den Fall
z~ = - ~ - ,

ist.

Dann lautet die Behauptung:

1 +cosg.3tfx(~)e-~d,
0

3{

d~

-o

(,)e-~d,

>0.

Setzt man

eos~-~ 2

( - - 1 _< 2_< 1),

so erh~lt die zu beweisende Ungleiehlmg die folgende Form: l+2x~+ 42~-1 8 xo > 0 .

Die Ableitung des linksstehenden &usdruekes naeh 2 ist x 1 + 2x~; ale hat fiir Ix x I ~ i x~ ] konstantes Vorzeiehen, wenn -- 1 _< 2 _< 1, so dal~ in diesem Falle nut die SteUen 2----+ 1 zu priifen sin& Letzteres gilt iiber~) Vgl. die Bemerkung a. a. O. 4), S. 106. u) A~ a. O. 4). Vgl. die Formeln (51) und (57).

Schlichte Abbildungen.

197 x~ x~

haupt fiir xe ~ 0. Fiir I x~ 1 < x~ hingegen mug aUein die Stelle 2 = betrachtet werden. Wit haben folglich zu zeigen-

8
x~ b) 1 > ~ + - ~ , wenn txll<lx~i, x ~ > 0 ist.

Die Ungleichlmg a) kann, wenn man z ( ~ ) = x ( ~ ) + gendermallen geschrieben werden:


2yf +
0

iy(~) setzt, fol-

1.

2 nachzuweisen.

(/

y(~)e-'dz

+
0

(1--2y~'(~))e-2~d~< ~

16

Die linke Seite ist hier

~2
o

ye(z)(e-~--e-~*)d~+-~2
0

(e-~--e-e*)d~+-~=~<-6-.

Zum Beweise yon b) geniigt es


x~ ~::_.~ 1 > ~ .+~ - -x~ = 5z~ g 8, 8 d.h. x ~ < ~ -

zu zeigen.

Bekanntlich 1~) gilt mehr, n/imlich 8 8

Damit ist Satz I vollstii~dig bewiesen. w

LTber die Klasse (So).


Wir diirfen annehmen, da$ co O, e~ 1 ist. 1. Eine solche ~mktion f(z) gehSrt bekanntlich dann und nut dann zur Klasse (So) , werm (15) ~ z f'(z) > 0 f(z----~ ffir ]z] < 1
= =

I~) A. a. 0. '), S. 120--121. gleiehwertig~

Die Ungleiehung l x~ + iy~ I ~-~ { ist mit

lea 1~= 3
~_

198

G. Szeg5.

giltlS).

Man hat ferner


2~

1 [" f'(z)
0

( z = r e i~, 0 < r < l ) ,


>~
--

so

da$
~zf'(z)
f(z)
1-l~l

(17)

istl~).
..

l+!z I

(l l<i)
(izl <1).'9

Auflerdem gilt . Wir setzen n u n fiiz n ~ 2


f'(z)' 1 + Iz f (z) = 1 - z

(17')

(lS)

z +c~z ~+...

und stellen ans die

(lo)
und

z~=-s.(z), f(z)=-s.(z)+e.(z) Aufgabe, o<lz]<z3_ 8.(z)+o


+c~

e, (z) f'(z) 5" (z) f(~) (20) >0 f e z ) + ~Rz I f(z) - e,, (~) - - - ~ z f(z)-e,.(z) naohzuweisen. Es geniigt zu diesem Zwecke, -- behaupte ich --, f tzl= s" (z)
f'(z)
-

e'(z) = ~ z f ' ( ~ )

(21)

if(z)i :> le,,(z)l


1 4 1

mad

(22)

1+u
13) Vgl. a. ~. O. s), S. 93.

e: (~) ! i f--{77 +le'(~): f(z) 1- ! q:(z)!

x4) Dies folgt aus dem Harna~ksehen Lemma: Wenn u (r, 90) eine flit r < 1 regul~re positive Potentia,]~nktion ist, fii~ welehe
2~

l: f u(r, ep)dg~ = 1 2~z


0

1--r,<uO, ~jlt__ ~ m x hat man 1-}-----r= ,

--

l +r 1 - r"

a~) Dies folgr aus dem Carath6odoryschen Lemma: Wenn u (r, f ) eine f i i r r < 1 regu~re positive Potentialfunktion ist, fiir welche
2~

gilr wenn ferner w(z) die analytische F n n ~ o n bezeichnet, deren Realteil u ( r , q~)ist, note ~) gilt fibrige~ (17 3 ~ eiae beliebige Fnnktioa f ( z ) der Kla~el(;) mit f ( 0) = 0.

Sch.lichte Abbildungen.

I99

zu zeigen. In der Tat ist e~(z) regal/ix fiir [z t < 1 Aus Aer Richtigkeit f(z) ~o. (~1) ~ t ~ t = 88 ergibt sieh also dieselbe Ungleiehuag, also (19) fiir 0 < l z I < }" ~'olgIieh ist Z s ~ I regulKr flit l z { ~ 88und aus der Richtigkeit yon (20) fiir lz [ = 88 folgt dieselbe Ungleiehung fiir [z{ < z. Fiir ~ ;zi u ist aber (20) eine Folge yon (22), da doch (17) und (21) gelCen. Wir bemerken zan~chst, da8 die Koeffizientenabsch~.tzung (5") f@ die Klasse (So) bekannt isttS). Zum Beweise yon (22) benS~igen wit auf~er der Formel (11) noch die folgende ,=,~ Es is~ also, t z[ = a: 4 (i ' x ) ~ o
1

(m~- O, 1, 2, ...).

~(n+l)+ 4 t

3n+4 9-4 ~

und nach der in w 1, 1 durchgeffihrt~n Reehnung

(2a')

t =< ~ = n + ~ 4 ~:--1 = '


1

~,~

One+ 24n~+ 20
27.4 n-1

Man hat {erner wegen (17') flit Izl ~

1y 20 i f' ( z ) i ~ 4 - -+-4- = -~ .
4

SchlieBlich ergibt sich aus (2), ]z ] -- ! ' 4


1

it'(.)l >

4 25" so

Fiir n ~ 4 hat der husdruck rechts in (23) den Weft ~-~ < 2 5 da~ (21) fiix n ~ 4 gilt. (22) ist nun eine Folge dot Ungleichung
20 3 n + 4 9n~+24~+20

(24)

27.4._
4 25 3n+4 9.4~*

<
--

z6) 1~ Nevanl~nn~, Uber die konforme AbD~aung yon Sterngebieten, 0versikt av Finska Vetenskaps-Soc. F6rh. 68 (A) (1920~21), Nr. 6.

200

o. Szeg~.

deren Richtigkeit flit n = 4 die iiir n _~ 4 ~tr Folge hat. Ffir n - - 4 ist sie ab'er richtig, weft doch 5 65 1 1 1--8 -6- 2.72 + 12 1 i --9---gs=~<~ " 4 1 25 144 8 72 ist. B e m e r k u n g . Ffir n - - 3 wird der Ausdmck reeht~ in (23) ghieh 13 4 576 < ~ " Die Ungleiehung (24) ist dagegen +in diesem Falle falseh; sie ]autet ngmlich in diesem Falle 173 65 27.16 7 . 1 6 --+2 12 4 13 ,25 576 Die linbe Seite ist abet gr61]er als 4 10 70 I2 27 >-5-" 1 5 2. Fiir n -- 2 ist die Behauptung leicht zu beweisen. Es handelt sich dana um die Ungleichung ~I+2c~z>0 lq-c~z oder m(1 + 2c~z) (1 + ~2 5) - - 1 3mc, z + 2 lc~l=lzl ~ 3 I~ 1

- - 2 -~

s > o

0zl<+)

Man hat abet

> 4

4 =-4'

(cu=~O)' so da~
1 8--0

1 m(1 2c~ z) (1 ~0 ~) > 2.16

ist. Wir kommen nun attf den etwas schwierigeren Fall n = 3 . werden beweisen, dab fiir ]z] ~ 88 1 + 2c~zq- 3c~ z~
l+c2z+c3z~ ~ 0

Wit

gilt. Der Nenner wird bier nicht. 0, weil }c,z-}-c s z ~ ] =< 2.~ 3 - ~ - - ~ < 1 ~ ~ ist. Man kan~ also l zl = ~ annehmen. Es geniigt ferner diese Ungleichung 1 flit z = z zu beweisen. (Man betrachte gf(e z) mit passendem e, t~ [ = 1.) Die Behauptung lautet also-

(25)

1 + ~ -~3ca16

i+u

> o.

Se2~liehte Abbildungem Die Funktion (26) z f'(z) -- 1 +2cez+3c~z~ .+ .. . . __ 1 + 2 C ~ z ~ 2 0 ~ z ~ + ... ~-~-~ l+c,z+caz~+ .

201

hat flit l z I < 1 positiven Realteil, so daI~ nach der Carath~odory-Toeplitzschen Theorie der Funktione~ dieser Art 1:) (27)

]O~.l ~1,

16'~--C/]~I--]C~] ~

gilt. (Umgekehrt gibt es zu vorgeschriebenen C1, O~, welehe (27) erfiillen, stets eine Funktion (26) mit positivem Realteil flit l z l < 1, folgrich eine auf die obige Weise normierte Funktion f(z) der Klasse (So).) Nun ist Man kann also (25) auch folgendermagen schreiben: >0

el +-~+ ~(c~+ ~c~)

oder wenn man C~ -- C~ = ~ (1 -- I C~l ~) setzt, wobei 1~1 =< 1 ~t, 3

~R

1 -}--~ -}-1 (3 C;-t- ~/(1-- ]O, ]'))

>0,.

Wir fassen den letzten Bruch bei festem G~ und C'~ als eine Funktion von

a~. Sie ist ~e~ul~ ~

]'1~-1, ~ I

(vgl. ob~n)

~c~ ~ ic~i ~ I -]- ~ (3 G~ _.}_~/(1 _ ]G~ ]e)) l < __~ _}_ 21v~t + 1 < 11 < 1
ist. Man daft Iolglich ]~/]= 1 annehmen. Wit haben also zu zeigen, dal~

(25')

gilt. Wit setzen

+ol
Dann lautet (25')

el

oder

~56

is

~(wl + w~)~ > 0.

xT) VgL den Enzyklol~dieartikel yon L. Bieberbach, Neuere Untersuohungen fiber Funktionen yon komplexen Variablen [H C4, S. ~79-532 ], S. 501-504.

202

G. 8zeg&

Diese Ungleiehung ist nun gleichwertig mit


256 ~
I

16
t

i w~ w..t,
wl-- w~ o.
4

d . h . mit

( t wl + w~ [
2

I--iCon's) ~
16 :>

1.-tG ~ Setzt man C1 = ~, so lautet diese Ietzte Ungleichung

<28)
3. Wir schreiben

14+:1 >

!ci )

es ist geometrisch klar, daft 3 g r _~ 5 ist, daft ferner bei jedem festen r

(29)

- - % ( r ) ~ ~ Vo(r)

gilt, wobei ~o (r) aus der Gleiehung ] -- 4 q- r e~ i = 1 bestimmt werden kann, 0 <: ~o (r) < -2-:" Der Punk't" -- 4 + r eivo(r) liegt auf dem Einheitskreise. Man erhglt"
(3o) ~o~ Vo(r) =
1 5 + r "~

s~

Wegen 8 + 5 8 - + - ~ ~ = 2 4 - - 1 3 ~ x ~ u 9n~ kann nun (28) folgendermal]en gesehrieben werden:

wobei Q = r - ~ ] - 4 q-reivi~ = - 1 2 - ~ r ( 1 Riicksicht auf (29) mad (30) hat man (31)

+ 6 c o s q 0 ) -aYr ~ ist. 3+r" 4

Mit

Q~-12+r-f-

8__ 1 5 - ~ r ~ ) - u 3 r . 2 _ ( 3

Wit schreiben nun (28') in der Form


Ia
-

fl~

7~{ > u -+-

Q cos~)(~+Q)~

oder (32) [(a+Tr~')eos~o


-

flri'+(a--yr:)~(1 fl~-13, 7 =0

~0, Wir

wo iibergangsweise a = 2 4 , denken tins ~


r

gesetzt worden ist.


~

Q+12-r+3r = 6r

Sehliehte Abbfldungea.

203

gesetzt und betrachten die linke Seite f(r, Q) yon (32) als Funktion yon r u n d Q. J=Iierbei durehliiuft r das Intervall 3 ~_ r ~ 5 and Q ein gewisses, von r abh~ingendes Intervall Q~ (r) ~ Q s Q~ (r). Es ist Q~(r)-= - ~ -{- r. Wit zeigen, dab f(r, Q) bei ~[estem r , 3_< r_< 5, als ~hmktion yon Q fiir Q ~ Q1 (r) monoton w~hst.
Man hat

,~f(~,Q) -- 2 a+~,r ~[(a+Tr~)e~ OQ 6r


= ' ~ aTr e ~
4 Q+ 12-r+~-

- 6rrr~)~e~

(~ + Q )

(a+rr~)
6 a

2Q
2
3

=gay

/~ (cr _+_ 7r~)

2Q.

Dieser Ausdruck ist positiv Ifir Q ~ Q~ (r), wenn er fiir Q = Qx (r) positiv ist, da ja O~f(r'Q) -2a } , - 2 > 0 ausf~illt. Nun hat man abet aQ ~ 9 4 15+r ~ ~ar s
--

fl(tz+yr~) 8
--

3 2 2r+

(8 ) 2 ---~+r
a(15},--25) ~- - - u ~ - - 2 r + 3 1 3 6
>0

( a - 26~ ) r r ~

Diese Ungleichung ist n~imlieh fiir r = 5, folglich aueh fiir 3 _< r _< 5 richtig. Damit ist gezeigt, d ~ f(r, Q) fiir Q = Q1 (r) Minimum wird. Dies heiBt cos ~ = cos ~v (r) oder I$ I = 1 , ~-----e~v. Dana Iautet abet die o Behauptung

(28")
d.h.

5+

!>14+

(-~ cosy + 5)~+ ( ~ s i n ~ ) ~ > 17 + 8 cos yJ 2 oder 72 cos ~y~ + - U cos v -{- 8 + 2 Die linke Seite wird fiir cos ~/, =
4-72

--

> 0.

189 Minimam, und zwar betriig~ dies

16"-72 + 8 --~ \--~-] :> O,

x89

[23

180"~ (16"I2)~ 32 and - - > 24 ist. we~~ 16-72 <:: Ia.72 Damit ist (28"), also dex Satz II bewiesen.

204

G. SzegS.

selben Kreises bei der Abbildung w = z f ' ( z ) in bezug auf w = f ( o ) sehlicht und sternfSrmig ist~S). Hieraus folgt der Satz II'. Die Funktion
/

f ( z ) = co -4- clz -4-%z ~ + . . . - 4 - c.z ~ + .-.

sei regulgr und schlicht im Kreise [z[ < 1 und bilde densdben au] ein konvexes Gebiet ab. Dann sind sdmtliche Abschnitte
Co + c~ z co z ~ c. z ~

1, 9, a , . . . )

3. schlicht und ,,konvex" im Kreise Izl < ~. Die Konstante a kann aueh bier (lurch keine grSBere ersetzt werden.

w ~ber die Klasse (~E*): Die obere Absch~tzung yon 6. In einer gemeinsamen Arbeit von W. Rogosinski und G. Szeg519) ist der folgende Satz bewiesen women"

Es sei 0 < ~ ~ - ~ .
f(z)=-Co

Wenn die Potenzreihe


+ c~ z + e.~z ~ + . . . + e ~ z ' + ...

konvergiert und 1f (z) l ~ 1 ist, dann gilt/iir n -~ O, 1, 2 , . . .

(ua)
~,~-0

sin l - - n +

1 f J:(.)a.,
o

wo Jo ( x) die Besselsche Funktion O-ter Ordnung bedeutet. Fiir v~--+ 0 geht diese Ung]eichung in die folgende fiber:
1 n+ e,, < 1

welehe besagt, dag die arit.hmetisehen l~ttel erster Ordnung der AbsetmiCte yon f(z) dem Betro.ge naeh tmterhalb der Sehranke 1 bleiben. Herr Fej6r hat a.a.O. 3), S. 187-- 188, die letzte Ungleiehtmg benutzt, um s~ ~ % q- e 1 -+- c~ -}-... -~- c~ bei einer Funktion der Klasse (E*) abzuschgtzem Benutzt man auf ghnliche Weise die Ungleichung (33), so ergibt sich (ffir 0 - - 2 ) ein etwas schiirferes.:Resultat.
1~) Vgl. etwa G. PSlya und G. Szeg5, Aufgaben und L e h r ~ z e aus der Analysis ! (Berlin: Julius Springer 1925),,. S. 105, Aufgabe 110. ag) W. Rogosinski und G. Szeg5, Uber die Abschnitte yon Potenzreihen, die in einem Kreise besohffmkt bleiben, Math. Zeitschrift 28 (I928), S. 73~94. Vgl./usbesondere w 8. ~ ,
r

Schlichte .~bbildmagen.

205

In der Tat gilt


--n+---l ~9
v=O

n sinvq_sin
*'=1

1 sin v~

n+l

sm ~

folglieh

if
0
o~

v~

sin ~ -- sin (1
sin ~
*,----I

n+!~') a

I c-l"

Wegen X , ' Ic,i -_<1 (vgl. a. ~. o. % S. 188) erhalten wit hieraus ~ v--1 ~ 89

I f
0

1
=h(z)
(0<z=<o;

H i t der Bezeiehnung [sin ~ - sin (~ - x)]~


x

h(o)=o)

kann der Ausdruek in der Klammer { } folgendermal~en geschrieben werden:

~+1

~,-~0

~ ~--4-i-

"

Man hat aber ffir 0 < x_~ v ~

x~h'(x) = [sin v -- sin(va-- x)] [2xeos ( ~ - - x) -- sin ~ + sin ( ~ - - x ) ] ~ O, a


weiI doch sin v~ -- sin (v -- x) _~ x cos ( va -- x) a ist. Folglieh ist h(x) monoton wachsend und es gilt
n

n+l
1,=0

d.h.
1

(a4)
Fiir

18.t < sin o J:(x)dx +-~--~ tJo


2"Z

,9

~- ist das erste Glied


2

f J~ (x) dx = 1 , 0 7 7 7 . . . , ~o)
0

~o) A.a.O. ~), S. 77.

206 w ~ r e n d das zweite

G. Szeg5.

dx

- x

dx

dx

Man hat
4 ~r

9 a 2 sm x 3
0

dx =

1 1 --~cosx--~cos2x

4
0

67-4o V2
144 und

]/67 - 4 0 ~2 ~__0,5382

o~

gHt.

so da~ tats~ichlich ls~! < 1,0777... 0,5382... : 1,6160...

w
Uber die Klasse (E*): Die Bereehnung yon ~.~.
Es sei
f (z)--~- c o cl z --~-c~z ~ "-{-c~z n

eine Funktion der Klasse (E*), d.h. reguliix und seh]icht fiir lz} < 1, ferner sei daselbst ] f (z) j s 1. Naeh der in de/-Einleitung gegebenen Definition ist o~ die obere Grenze von

leo

+c.~ + . . . +c,,J

fiir alle Funktionen der Klasse (E*). Es ist a ~ = ~ = 1,25. W i r stellen uns die Aafgabe, % zu bereehnen. Es sei

(35)

v , ( z ) = rl z 7~z ~ + . . .

+ r,,z '~ +

. . .

eine beliebige Funktion der Klasse (E*), fiir die aui~erdem y J ( 0 ) = 0 gilt. Es sei ferner ] a ] K 1. Dann ist (36)
f(z)=t_a~,(z)

(t~J < 1)

stets eine Funktion der Klasse (E*). Umgekehrt kann eine beliebige Funktion f ( z ) der Klasse (E*) immer in dieser Form dargestellt werden, indem man a --- -- f (0) setzt. Wir erhalten dutch Koeffmientenvergleichung

(87) ~ o = - ~ ,

~l=r1(1-I~I~), c ~ = ( r ~ + ~ ) ( 1 - ~ i ~ i ? ) . . . - ,

Schlichte Abbildungen.

207

so dal3

co + c~+ c~ = - ~ + (y~ + r~ + ~ )

(1 - i ~ l ~ ) .

Es handelt sich nm das Maximum des absoluten Betrages dieses Ausdruckes, wiihrend a alle Zahlen mit ] a l < 1 durchl/iuft und 7~, 7s die Anfangskoeffizienten einer beliebigen Funktion ~p(z) der Klasse (E*) sind. Man kann hierbei 71 = ~' ohne Beschr~nkung der Allgemeinheit als reell und positiv annehmen. Es ist offenbar

(ss)

0 < ~ < 1.

Man hat ferner nach einem Satze yon G. Pick ~1) (39)

17~{<=2y(1--7).

Umgekehrt, wenn zwei Zahlen 71 = Y, 7, diesen beiden Ungleichungen geniigen, so existiert stets eine Funktion y~(z) der Klasse (E*) mit diesen_ Anfangskoeffizienten. Es ist also (40) 'co + c1 + c.. ! < : - - a + (r + ~ 7') (1 --iais)I + 2 r(1 -- r) (1 --t~t"),

wo man bei passender Wahl yon f ( z ) das Gleichheitszeichen realisieren kann. Wit wollen das Maximum der rechten Seite yon (40) berechnen, wean a aIIe Zahlen mit [a I < 1 und y aIIe Zahlen mit 0 < 7 ~ 1 durchI~uft. Wir setzen a = re ~ (0 < r < 1) und betrachten bei iestem r derr Ausdruek

! - - r e ' ~ + ( y - ~ - r e - ' v y ~ ) ( 1 -- r ~ ) l = ]/(Ar cos~ @ B ) : + O ~r2sin~q~.


Hierbei haben A, B, O die folgende Bedeutung"

A=l--7~(1--r~),
Wit bemerkem dab

C=1+

7 : ( 1 - - r~),

B=--

7 ( 1 - - r~).

As- CS= 4yB < 0 is~. Es handelt sich, wenn man zur Abkiirzung cos q~ : 2 (-- 1 _~ 2 g 1~ setzt, um die FunkCion u ( ~ ) = (A s -- CS)r ~ 2 s -}- 2 A B r 2 -}- B ~ -Jr-C~'r ~, deren Ableitung nach Ji u' (2) = 2(A ~ -- C'~)r ~ 2 + 2 A B r = 2B r(47 r 2 + A) is~. Wir untersc~heiden zwe5 FMle:
m) O. Pick, Uber clio konforme Abhi]dung eines Kreises auf ein sehlioht~ und zugleich b e s c ~ s Oebiet, Sitzungsberichte d. matb.-naturwi~ Klas~ d. Aku~lemie~ d. Wiss. zu'Wien, Zweite Abteihmg, 126 (1917), S. 247--263~

208

G. SzegS.

it

A>4rr.
so dab

Dann ist u' ( l ) < 0 flit - - 1 < 2 ~ 1 ,


_1_~i<1 .

Max u(~) = ~ ( - 1)
wird. 2. A<4rr.
47r ~

In diesem Falle ist u ' ( 2 ) ~ 0 fiir 2 ein Maximum, d.h.


-I<z<i=

und zwar besitzt hier u(2)

Die Bediugung I besag~, da~

(41)

r ~ ( 1 - - r ~) + 4 r r < t

ist. Bei iestem r, 0 < r < 1, ist die lin~e Seite dieser Ungleichung monoton wachsend mit 7, und da 1 - - r ~ + 4 r > 1 is~, so gibt es einen Wert go (r), 0 < g o ( r ) < 1, derart, daI~ filr 0 < 7 < g o ( r ) die Bedingtmg 1, ff~r g o ( r ) ~ 7 ~ 1 dagegen 2 effiillt ist. Es ist iibrigens
go(r) =

--2r+V3r~+l 1 - - r "~

In dem Falle 1 erhalt~n wit bei festem r u n d der rechten Seite yon (40) (42)

7 als das Maximum


- - r ~)

r + (r -- r r~) (1-- r') + 2 r ( 1 - - r ) ( l


-- r + at(1 r ~) (2 + r)(1 -- r~)7 ~ =

P(r, 7).

In dem Falle 2 setzen wit l-----cos - ~ selbe Maximum

A 47 r und erhalten flit das-

+ 2 7 ( 1 - - 7)(1 Nun ist As C~+4?.B


G~ 3r2+ 1 167 '~Jr4

r C~

= Q(r, 7).

~and
ru As 1673:'

so d a b

(43)
1

Q(r, r ) = ~
=~)/3r~+l

1/8r ~ + 1 + 2r(1 - x ) ( 1 - r ~)

+27(1--r~)+,~(1--r~)(11/3r~+1-2).

Es ist nat~irlich P(r: go(r)) = Q(r, go(r)). Wirhaben zun~chst bei festem r, 0 < r <: 1, das Maximum M ( r ) der stetigen Funktion yon 7 zu be-

Schlichte Abbfldungem
s t i m m e n , welche fiir

209

o < r < go (r) mit e ( r , r) uaa o4 = Ma~ M (r). ~)


o<r<l

go(r)< r < l

mit Q (r, ~,) iibereinstimmt. Es wird dann

(t*)
Nun verschwindet

~P(r, y) = ( 1 - - r~)[3 - 2(2 + r ) r ]


~7 flit den einzigen Weft ~, : g l ( r ) = ~ ( 2 3 Wit wollen die Bedingtmg

i~ r d a ~

emiteeln, Oa~ g, ( r ) < go (r) is~. Dies heigt naeh (41)


8 ~

2(2 + r ) 4 r < l

oder

(45)
Anderseits versehwindet 0~, nut fiir Y =

llr~ +32r~7.

= (:4 _ l / _ f2r / + 1 f

[2- (4. Bereehnen wir die Werte von r, fiir

g~(r)

~-

welche g2 (r) < gl (r) gilt.

Diese Unghichung besagt 4--1/3r~+1 ~ 2 ~

2(2+r)
8

oder --4(1 -- r)__> ]/3r~ + 1 was, wie man leicht nackrectmet, mit (45) iden~iseh ist. Es sei also r' die positive Wurzel yon 11 r ~ + 32r = 7. iibrigens

Man hat

,(46)
Dann gilt

r' ~ 3 ~ - -

11

16
,

0 < r' < 1. ftir

,(47') and

go(r)~g~(r)~g~(r)
go (r) < g~ (r) __<g~ (r)

O<r<r"
/<r<l.

,(47-)

f~r

Das Gleicbbeitszeichen tritt nu~ fiir r = r' ein. Es sei nun zun~.chst 0 < r < rq Dann erreich~ P(r, ~,) im Intervall 0 < r < g o ( r ) fiir ~=-:gl(r) sein Maximum. Dagegen wird Q ( r , 7 ) i m Intervall go(r)< r -<_ 1 abnehmen und erreicht fiir y = g o ( r ) seia Maximum. Es is* abet Q(r, go(r))=P(r, go(r))<P(r,g~(r)), folglich ist
~) Wit werden gleich sehen, da~ M(r) his zu einem hmeren Punk~ des Inter~valls O, 1 monoton zunimmt und yon da ab monoton abnimmt.
Mathemat'mahe Annalen. 100. 14

210 das gesuchte Maximum (48)

G. SzegS.

M(r) = P(r, g~ ( r ) ) = r + 2 2 + r
9q-8r--Sr 4(2+r)

9 1--r ~ ~

9 1 - - r "2 4 2+r

(0< ~<~').

Es sei anderseits r ' < r < 1. Dann ist P(r, Y) fiir 0 < 9' ~ go (r) waehsend, erreieht also fiir ~, = go(r) sein Maximum. Ferner wird Q(r, y) im Intervall go (r) _< ~, <__ 1 an der Stelle ~, = g~ (r) Maximum. Dttrch Beachtung yon P(r, go(r))= Q (r, go(r)) < Q (r, g~(r)) ersieht man also, dal~ (49) ist. Die beiden Ausdriieke (48) und (49) stimmen fiir r = r ' wegen go(r3=g1(r')=g..(r') iiberein, so dab M(r) ffir r = r ' stetig ist. Es sei 0 < r < r ' . Man hat 4 (2 weil 5 r '~ + 2 0 r ' < 1 1 r ' ~
ist.

M ( r ) = Q ( r , g ~ ( r ) ) = - ~ l / Z r ~"-4- 1 + 4 _ i/3r~+

2 ( 1 - r ~)

(r' < r < 1 )

+ r) ~M'(r) = (8 -- 1 0 r ) ( 2 + r) -- 9 -- 8 r + 5 r ~
= 7 -- 2 0 r - - 5 r ~ > 0, 32r'= 7

Folglieh hat man Max


0<r.~r'

(50)
Es sei anderseits

M ( r ) = M(r').

r'< r < 1. Wir setzen


r~ = 15-s~+r 3
:

4 - ]f3r ~ + 1 = e ,
so dab

M(,)-Man hat also

+ 1-=2 (
8 7~ d ~

6 ~-

Wenn r wiichst, so nimmt ~) ab und es gilt


2 < e < 4 ] / ~ r '~ i .

M ' ( r ) versehwindet flit e -

4 ]~v mad wit behaupten, dab

gilt. Diese Behanpttmg kann entweder dutch direkte Rechnung oder eintaeher folgendermal~en bewiesen werden. I m gegenteiligen Fatle miiBte M(r) im ganzen Intervalle 0 < r <: 1 monoton wac,hsen. Dies ist aber

Schliehte Abbfldungen.

21I

unmSglieh, weil doch lim


~'-~+0

9 M(r)-=--g,

lira M ( r ) =
-~I --0

gilt. Hiermit wird M(r) fiir ~ ~-4 ]/-~ Maximum und zugleich sieht man, dab dieser Maximalwert grSBer aIs M(r') ausf/~llt. Wit haben also
~

Ma,~ M ( ~ ) =
O<r<l

2 ~/~

+ -f -- 2

~ = -~- - - 4

= 1,2282

....

Bekanntlich wird a1 nut bei den Funktionen


1

f(~)=~,

l+~Z

(J,~}--1)

erreicht. Sie bilden den Einheitskreis tz l ~ 1 auf sich selbst ab. Fiir welche Funktionen der Klasse (E*) wird nun % erreicht, & h~ bei welcher Funktion wixd der zweite Abschnitt (bei passendem z, tz] = 1) gleieh % ? So// % erreich~ werden, so mu~ zun/ichst in tier Ungleichung (39) das Gleichheitszeiehen gelten, d.h. die Fun_~ion ~ (z) mu~ den Einheitskreis ]z l < 1 auf den l~ngs eines geradlinigen, yon einem Peripheriepunk~ senkreeht nach innen geriehteten Sehlitzes aufgeschnittenen Einheitskreis abbilden~3). Naeh der Abbildung (36) erhalten wit wiederum den aufgesetmittenen Einheitskreis, wobei der Schlitz ein yon einem Peripheriepunkt ausgehender, naeh innen g e r i ~ e t e r passender Or~hogonalbogen ist. Dies ist das Bildgebiet bei der fragliehen Abbildung w - ~ f(z). Man erh~lt s~mtliche Abbildungen dieser Art aus einer einzigen, wenn man das eben erw~ihnte Bildgebiet einer beliebigen Drehung um den Nullpunkt and einer 8piegelung an der reeIIen Aehse unterwirft. K S n i g s b e r g , November 1927. ~) VgI. a. a. O. sz].
(Eingegangen am 10. 11. 1927.)