Math-Net.

Ru
All Russian mathematical portal

S. Guelfer, On the class of regular functions which do not take

on any pair of values w and −w, Rec. Math. [Mat. Sbornik]
N.S., 1946, Volume 19(61), Number 1, 33–46

Use of the all-Russian mathematical portal Math-Net.Ru implies that you have read
and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 106.198.86.175
August 6, 2022, 11:20:00
 1946 МАТЕМАТИЧЕСКИЙ СБОРНИК Т. 19 (61), N. 1
RECUEIL MATHEMATIQUE

О классе регулярных функций, не принимающих ни одной

пары значений w и — w
С. А. Гельфер (Горький)

Будем обозначать через (D) класс функций вида

оо

.w = ¥(z)=l + 2« n z n , (1)
n-l

регулярных в круге | г \ < 1 и не принимающих в нем ни одной пары

значений w и —ту, т. е. удовлетворяющих условию

?(Zi) + * ( z . ) # 0 npHl^Kl и |2,|<1. • (2)

Подклассом класса (D) служит, очевидно, совокупность регулярных
в \z\< 1 функций вида (1), имеющих в | z | < 1 положительную веще­
ственную часть: <^<p(z)>0. Этот подкласс будем обозначать через (d).
Через (С) будем обозначать класс функций вида
оо

w = /(z) = 2 f l * z W ' (3)

п=1

регулярных в круге | z | < 1 и удовлетворяющих в нем условию

1(гх)-1^,)Ф\ при |^|<1 и |z2'l<l. (4)
Подклассом класса (С) служит, очевидно, совокупность регулярных
в l z | < l функций вида (3), ограниченных в | z | < 1 по модулю единиг
цей: | / ( z ) | < l . Этот подкласс будем обозначать через (с).
Для функций класса (С) Eilenberg'oM [1] была доказана такая
Т е о р е м а А. Если /(z)€(C), то | / ' ( 0 ) | < 1 . Равенство имеет место
только для функции f {z) = ez, | s | = 1.
Для случая, когда функция f(z)£{C) и однолистна, теорема А была
ранее доказана Bieberbach'oM [2]. Позднее эта же теорема другим
путем доказана Rogosinski'nM [3]. Им же, среди других, установлены
следующие теоремы:
Т е о р е м а В. Для всякой функции f(z)&{С) существует однолистная
подчиняющая1 функция F {z), /(z) -% F (z), также принадлежащая классу
(С) ([3], теорема 2).
1
Однолистная регулярная функция F (z), F (0) = 0, является подчиняющей для
регулярной функции /(г), /(0) = 0, если функция F"x(j{z)) регулярна [4].
3 Математический сбэрниг, т. 19 (61) К* 1-
34 С. А. Гельфер

Т е о р е м а С. Если /(z)€(C), то | а 2 | < 1 . Равенство имеет место

только для функции /(z) = sz2, | s | = l ([3], теорема 6).
Т е о р е м а D. Если f(z)£(C) и однолистна в \z\< 1, то существует
такая абсолютная постоянная А, что для всех п имеет месгпо
неравенство
\ап\<:А ([3], теорема 7).

Настоящая работа посвящена, главным образом, изучению функций

класса (D); попутно получаются некоторые новые свойства функций
класса (С). Некоторые из полученных результатов применяются затем
к исследованию однолистных функций.
***

§ 1. Оценки модулей функции, производной, аргумента и следствия этих оценок

1. Установим сначала связь между функциями классов (С) и (D).

Если /(z)€(C), то функция <p(z), определяемая по формуле

?(г)=Щ$)=1 + 2а1г + ..., (5)

принадлежит классу (D). Обратно, если <p(z)(E(D), то функция

'W-ШЗ-?*+;.•• <6>
принадлежит классу (С).
Действительно, из условий (2) и (4) вытекает, что f(z) выпускает
в круге | z | < l значения ± 1, a <p(z) —значения —1 и 0; следова­
тельно, функции f(z) и <p(z) регулярны в \z\< 1. Выполнение других
условий проверяется непосредственно. Если / (г) € (с), то ©(z), опреде­
ляемая (5), принадлежит классу (d), и наоборот.
Спроектируем стереографически плоскость комплексной переменной
w*=u + tv на сферу £ радиуса, равного единице, и с центром в начале
координат плоскости w. Обозначим координаты точки в пространстве
через Е, т], С и пусть оси координат в пространстве расположены так
что оси £ и т] совпадают соответственно с осями и и v плоскости w.
Тогда ([5], стр. 130)
IT; _= _7_'— '

Нетрудно видеть, что точкам wx и w2 плоскости w, связанным соотно­

шением wx • w 2 = 1, на сфере Е соответствуют точки, симметричные отно­
сительно оси S.
Будем обозначать через С и D классы областей плоскости w, на
которые функции /(z)£(C) и 9(2) 6(D) отображают соответственно круг
z\<U
Пусть Е с и Х^-—стереографические проекции областей С и D. Тогда
всякой области класса С соответствует область £ с , не содержащая ни
одной пары точек, симметричных относительно оси ?, и включающая
точку сферы с координатами (0,0, —1).
 О классе регулярных функций 35

Всякой области класса D соответствует область Е^, не содержащая

ни одной пары точек, симметричных относительно оси С, и включающая
точку сферы с координатами (1, 0, 0).
Всякая область класса С посредством преобразования

переходит в область класса D. Но этому дробно-линейному преобра­

зованию плоскости w соответствует вращение сферы S вокруг диаметра,
направленного по биссектрисе угла (SO —С), на угол ти ([5], стр. 135).
Следовательно, посредством такого вращения сферы всякая область £ с
переходит в область вида LB. Благодаря этому теорему В можно рас­
пространить на функций класса (D). Именно, имеет место
Т е о р е м а 1. Для всякой функции <p(z)6(D) существует однолист­
ная подчиняющая функция Ф(г), <p(z)e*(z), также принадлежащая
классу (D).
2. Докажем теперь такую теорему:
Т е о р е м а 2. Если f(z)£(C),' то справедливо следующее неравенство:

Оценка не может хбыть понижена.

Д о к а з а т е л ь с т в о . Вместе с f(z) классу (С), как функция от С
при любом z, | z\ < 1, принадлежит и функция

/1W =
С +
1-/(2)/ ' "
l+z£

Следовательно, по теореме А, | / ^ ( 0 ) | < 1 . Но

/'(2)(i-|zia)
/[(0) = 1-/2(2)

Отсюда и получается неравенство (7). Знак равенства достигается для

фуНКЦИИ f(z)===az, |s|-=l.
Из (7) получаются оценки модуля и аргумента функции у (z) 6(D).
Т е о р е м а 3. Если <p(z) €(£>), то

arg?(2)|<ln|^|, |2|<1. (9)

Оценки, даваемые неравенствами (8), точные.

Д о к а з а т е л ь с т в о . Переписав (7) в виде
!/'(?)! < >
36 С. А. Гельфер

при помощи интегрирования получаем

1+/(г) 1 + Uj
In In 2|<1.
1-/(2) 1-Чг|

Отделяя вещественную и мнимые части, находим

1+/(2) l+lzl I l+/(2) 1 + I2I
i-/(z)
In 1-|2| ' I arg 1 - / ( 2 ) <ln

Из первого неравенства вытекают следующие два неравенства:

1—|2 | 1+/(г) 1 + 121
< 1-/(2)1 < 1-|2|

Отсюда, на основании соотношения (5), убеждаемся в справедливо­

сти оценок (8) и (9). Знак равенства в (8) достигается для функции

9 ( Z )=I±!? €(<*), > | = 1.

Что касается оценки (9), то отметим, что порядок ее точный. Дей­

ствительно; для функций
< р ( 2 ) = ^ 2 1 - , г , е = е Ч?(0)=1),
отображающей круг | z | < 1 на область, ограниченную двумя логариф-
2 2
мическими спиралями р = е , р=е и принадлежащей, следова­
тельно, классу (D), имеем
arg<?(2)=g(lntp(2))=3(^2ln1f±fQ =
1+'2| . 1 + (2 1
=4(ш|
2 r-ji-^l+^r^i-i^i-ur
1+|2:

3. Из теоремы А, пользуясь соотношением (5), получаем оценку для

|<р'(°)1- Именно:
Т е о р е м а 4. Если <?{z)£{D), то2
|?'(0)|<2. (10)
Оценка точная, ибо знак равенства достигается для функции

Отсюда можно получить и оценку W (z)\ для любого z, \г\< 1.

Теорема 5. Если <р(г)€ф), то

iT'WK^fiiji, И < 1 . (Н)

Оценка не может быть понижена.
2
Если <?(z)£(D) и однолистна в | z | < 1, то эта оценка может быть получена,
как следствие из одной теоремы М. А. Лаврентьева ([б], теорема 3).
 О классе регулярных функций 37

Д о к а з а т е л ь с т в о . Если о (z) €(£>), то при любом 2, | z | < 1,

Vl+2?y
?1(Q = - ^ p € ( Z ) ) , |C|<I.

Применяя к ней неравенство (10), находим

Jw.l ( , -i z i , ) < 2 -
Отсюда, используя второе из неравенств (8), приходим к (11). Знак
равенства достигается для функции <р (z) == -^— £ (d), I е | = 1
4. Приведем несколько следствий из полученных результатов.
Теорема б. — .1°. Если <p(z)6(D), ш в круге

| z j < t h j = 0 f 65... 31ч(г)>0.

2°. Бела 9(z)6(C), /на б /фугг | z | < t h ~ !/(z)|< 1-

Д о к а з а т е л ь с т в о . На основании (9) !fyy(z) будет положитель­
ной, когда In i_ 2 | < - | - Последнее неравенство выполняется для

| Z | < ^ — , = t h ~ = 0,65 . . .

Первая часть теоремы, таким образом, доказана. Вторая часть полу­

чается сразу из соотношения (6).
При | z | —>\ функция f(z) 6 (С) может принимать значения, сколь
угодно близкие к выпускаемым значениям ± 1. Но при фиксированном
\z\ величина 11 ±/(z)| остается ограниченной снизу. Точную оценку для
этой границы дает
Теорема 7. Если /(г)6(С), то в | z | < l имеют место следующие
неравенства:
|1-/(Z)|>1-|Z|,
yil)
|l+/(z)|^l-|z-|. t

Оценки не могут быть повышены.

Д о к а з а т е л ь с т в о . Пусть f(z) 6 (С) и у (г) —соответствующая ей
(по (5)) функция, f(2)6(D). Положим
<Mz) = ? ( z ) - l .
Согласно (11)
2

Интегрирование дает

^^)1<-ПТ7Г' М<1 (13)

38 С. А. Гельфер

ИЛИ
/(г) 1
"<_!!!_ |2i<i.
1-/(2) 1-/(2) | ^ 1 - | 2 | '

Если | 1 — f{z)\> 1, то первое из неравенств (12) выполняется.

Пусть | 1— / ( г ) | < 1. Тогда
,z
|l-/(z)| К^
д
1-М #

откуда
|1-/(2)|>1-|Z|,

первое из неравенств (12) установлено полностью.

Второе доказывается аналогично, причем рассматривается функция
?(2)~iT/(2)€(P)- Знак равенства в (12) достигается для функции
/(z)==ez, | s | = l , принадлежащей классу (с).
5. Неравенство (9) дает оценку для |arg<p(z)|, <?(z)g(D), при фикси­
рованном | z | . Колебание arg <р ( z) на дуге окружности \z\ = r, соединяю­
щей точки z± и z2 этой дуги, не будет превосходить для всего класса
(D) некоторой величины, оценку которой мы сейчас дадим.
Вместе с ?(z) к классу (D) принадлежит и функция

(.т)
•р.Й = - - , ? ) ' - - . I*I<L
Применяя к ней неравенство (9), получаем

^ arg? C?Jt)~ arg9(z) l < l n l-ICI 1 +

'
Положим

1+2^
отсюда
2rsin
Г («' - 1 ) 2
1—/V* > I I y^l+r4__2r2COsi>
z|-r<l.

Приходим к теореме:
Т е о р е м а 8. Еслц 9(z)6(D) и z19 z2 — dee точки на окружности
\z\^=r<1, то
YГ+ г4 — 2r2 cos 0 + 2r sin — j
arg ер (z2) - arg 9 (zJl < In ^ =•, 1 (14 ч
|/"l-|-r 4 —2r 2 cos0 — 2rsin — j v
'
» = argz 8 —argz lf | 2 1 | « | 2 8 | = r < 1. i

Эта оценка для колебания arg9(2:) лучше той; которую непосред­

ственно дает неравенство (9) для этой величины.
 О классе регулярных функций 39

§ 2. Оценка модулей коэффициентов

оо

1. Теорема 9. Если ? { z ) = l + 2 anzn6(£>) и однолистна в круге

| г | < 1, ям для всех п
|ал|<2|/2^. (15)
Д о к а з а т е л ь с т в о . Вместе с <p(z), однолистной в круге | z | < l
оо

будет также и функция ty(z) = 2 anZn, Для которой выполняется Hepa­

rin 1
венство (13). Положим
Ф„ («) = I/Ф (2 р ) .
Тогда
1 1 4
4 *

Ф(г)='[1'р(2р)]р, f (z) = zp N»(z)] "^(ZP),

|z|=r lz|=r

n ! an | r"~ * < r^~ 4 ] / 1 $ | ф (r^)| 2 " F dft • ^ <J | фр (r^V p )| 2 d», r = | z f.

01 0

Оценим интегралы, стоящие под радикалом.

Для оценки первого интеграла воспользуемся известным неравенством
Littlewood'a [7]:
2т: г

±\\«t(re")?-db<\^¥^-dr (X>0, г<1),

О О

2г
в котором, согласно (13), можно принять М(г) =* р ^ . Считая р > 2,
будем иметь

О О

1
< (^2—-^22 Р
/'У 1-- s 2 \
<1-г> P ( l - | )

Для оценки второго интеграла, следуя Г. М. Голузину [8], положим

оо

Так как
2« i ^

5 I ¥P (r ^ )| </» = р ^ | <& ( г ^ ) | 2 d<?

p p 2
 40 С. А. Гельфер

И I
2тс 2т: 2(A--H)TS

2к% Р
Г - С - г( ' ) -
? 2 ( Р 2
\ | фр (ГР£ >)1 d ? = ^ ' ^ ^ ' )| ^ ? = ^ 1 Фда (Г****), 2 tfcp
0
Q 2*тг

(fc=1 р—1),
TO

2rt ! ^ 2гс
С I <!/ {rvevf
1%[\¥Р
2п
(, d% = 1 J | <j>; (r^»)| 2 <№ = 2 л21 pn I2 И 2 ( п ~ 1 } .
О 0 n= i

Используя неравенство п < * с x = rv, получим

2тс i $ _- со 1

Но последняя сумма есть деленная на т: площадь отображения

круга | z | < r 2 p функцией $р(х) и, значит, не превосходит
2

max |<i>p(z)j2= max &|(Z P )|P.

i i

Следовательно, в силу неравенства (13),

Таким образом,

л Ы г « < 2 | /(^р -;-22) « 1

1-/-

Полагая г = 1 — — , находим

1 а «|< 2 /т^ е -
Так как р можно выбрать сколь угодно большим, то при р—>с*э
получаем оценку (15).
2. Рассмотрим теперь некоторые подклассы функций классов (С) и
(D). Предварительно выведем одно неравенство.
00

Т е о р е м а 10. Если функция &{г)= 2 cnZn регулярна екруге \г\<\

и ограничена, | <]> (z) | < 1, /по для <sc£x и > О
kn|<i-|c0V (16)
 О классе регулярных функций 41

Д о к а з а т е л ь с т в о . Если обозначить через гЛ,fc= 1, 2, . . . , п, все

корни п-й степени из единицы, то функция
п

<5»x(2) = 4 S 4(4Z) = Ca + CnZn+...

k=i
будет также регулярной в круге | г \ < 1 и ограниченной в нем по модулю
единицей. Такой же будет и функция

Отсюда сразу же следует (16).

00

Теорема 11. Пусть /(z) = 2 a n z n 6(C) и а2 = . . . = а ^ = 0.

п=1
Тогда
ffl„|<l (n = ft, ...,2ft). (17)
00

Д о к а з а т е л ь с т в о . Пусть F (z) = 2 Ai zn есть

принадлежащая
классу (С) однолистная подчиняющая /(z) функция, существование кото­
рой устанавливается теоремой В, т. е. / (z) в F (2). Тогда /(z) можно
представить в виде

/(z)-F(*(z)),

где функция u(z) = ^ zfe +с*.vl z f t + 1 +... регулярна в | z | < 1 и J^-(z).|<l 3-

Отсюда
/(z) = ^ c J f c z 4 - . - + A c , f t . 1 z ^ 1 + (A1ctft + A 1 c«z l f t +...,
т. е.
аЛ = А1,сА, . . . , a2k~i = A c2ft-i5 ^2/х = А с2к + А2 cj.

Но | A J < 1 и | А 2 | < 1 ; следовательно, на основании (16) и неравенств

сп\<1,
|а,|<1,...,|а2,_,!<1, 1 a.fc К | Ах | (1 — | сЛ Iя) +1 А.'11 сЛ |» < 1,

что и требовалось доказать.

со
Т е о р е м а 12. Яусть ? ( Z ) = 1 + S *nZn€(D) u а 1 = . . . =«Л_г = 0.
п=1
Тогда
|а п < 2 (л«ft, . . . , 2 f t - l ) . (18)
Д о к а з а т е л ь с т в о . Если <p(z)6(D), то, соответствующая ей
(по (16)) функция /(г) 6 (С) имеет разложение
3
Здесь *(z) = F-i(/(z)) = c f t a*+...
42 С. А. Гельфер

/(z) = 2 a«zn-
Отсюда
?(z) = 1 +2akzh+ . . . + 2a 8j ^ z2*'1 + 2 (а2/с + а\) z*h+ ...
Значит,

Отсюда, учитывая (17), получаем теорему 12.

3. Пусть <p(z)G(D) и все коэффициенты ап— вещественны. Тогда
<%<p(z)>0 в | z | < l , т. е. в этом случае <p(z)6(d). Действительно, для
любых гг и г2, l ^ K l , |z 2 l !<l, ? (zj + ? (za) =£ 0. Полагая z^re* и
22 = ге~1ч, получаем
оо

? (2J + ? (z2) = 2 + 2 2 «„ г11 cos л 9 .

Значит,
ОС

Ф(г,у)=1 + 2 anrncosn9>0
п= 1

при всех г < 1 и 9? так как оно вещественно. Но <%?(а:) = Ф(г,9), где
2 = ге*ч; следовательно, <%9(z)>0. Отсюда заключаем, что у функций
класса (D), у которых все коэффициенты ссп вещественны, будет | а д | < 2
для всех п.
Пользуясь соотношениями (5) и (6), заключаем, что функции/ (z)6(C)
с вещественными коэффициентами fln ограничены в круге | z | < l по
модулю единицей, т. е. принадлежат классу {с); следовательно, для
всех п будет | ап | < 1.

§ 3. Некоторые приложения к однолистным функциям

1. Если <t(z)£(D) и однолистна в круге \z\< 1, то функция

оо п-1

s (z)= ср ( z ) - 1 = 2 (2«„ + 2 «*««-*) 2 "

3
( ]9 )

регулярна и однолистна в круге ! z | < 1 и выпускает в нем значение — 1.

Обратно, если функция s(z) регулярна и однолистна в круге \z\< 1
и выпускает в нем значение —1, то функция

T(z) = / 7 ( 2 ) + Te(D) (20)

и однолистна.
Пользуясь этим соотношением, можно применить некоторые из полу­
ченных в § § 1 — 2 результатов к исследованию отображений единичного
круга, производимых однолистными функциями.
Теорема 13. Для любой регулярной однолистной функции f(z),
I (0) = 0, для которой точка с аффиксом с является граничной точкой
 О классе регулярных функций 43

производимого ею отображения круга \ z < 1, справедливы следующие

неравенства:

{l + \z\J ^Г с \^\l-\z\J ' lz=.^!- V-U

Оценки точные,
f iz)
Д о к а з а т е л ь с т в о . Функция ^ г регулярна и однолистна в круге
| z ' < l и выпускает в нем значение — 1 ; следовательно,

/ l-,Jfu{D).
Применяя к ней неравенства (8), получим искомые оценки. Знак
равенства в (21) достигается для функции / ( z ) = _ „ для которой
с= - 1 .
Т е о р е м а 14. Пусть w = f(z), /(0) = 0,— л/обая регулярная в круге
} z\ < 1 функция, конформно отображающая этот круг на однолистную
область, и пусть с —аффикс граничной точки F этой области. Тогда
круг | z I < t h ~ = 0,37 . . . отображается функцией / (г) яа область, рас­
положенную по одну сторону от прямой, проходящей через точку F и пер­
пендикулярной вектору OF.
Д о к а з а т е л ь с т в о . Применяя к функции i / 1 — ^ - £ ( D ) неравен­
ство (9), получаем
!arg(c-/(z))-argc;<21n^J? \z\<l. (22)
Но arg (с — / (z)) — arg с есть угол между векторами с — / (z) и с, лежащими
в плоскости w; этот угол меньше у только тогда, когда] точка с аффик­
сом / (z) лежит по ту же сторону от указанной в теореме прямой, что
и начало координат w = 0. Правая часть (22) меньше "-при j z , < t h * ,
отсюда и вытекает утверждение нашей теоремы.
2. Пользуясь теоремой 4, можно дать точную оценку константы
P. Koebe.
Т е о р е м а 15. Если функция f{z) = z+ tf2z2 + . • • регулярна в круге
\z < 1 и конформно отображает его на однолистную область S, то
кратчайшее расстояние от нулевой точки до границы области S не
1
меньше -,- .
Доказательство Пусть с —аффикс граничной точки области S.
Тогда функция
^/l_/_^)==1^iz+...e(D).

Следовательно, по (10),
I 1
2ci<2,
44 С А. Гельфер

откуда

что и требовалось доказать.

3. В заключение приведем еще такую теорему:
со

b n
Теорема 16. Пусть функция i y = s ( z ) = 2 ^ регулярна и одно-
п=1
листна в круге | z | < 1 и выпускает в нем значение — 1. В каждом
из следующих двух случаев:
Г все коэффициенты Ьп вещественны,
2° отображение круга \ z | < 1 функцей s (z) звездообразно относительно
начала iv = 0,
для всех значений п имеют место неравенства
\Ьп\<4п. (23)
Оценки точные.
со.
a
Доказательство. Пусть <р(z) — 1 + 2 nZn—соответствующая
п=1
(по (20)) функция 5 (z) 6(D). В первом случае вместе с &л вещественными
будут и ап; следовательно, на основании п. 3 § 2 функция v(z)£{d) и
для всех п ал < 2 . Отсюда в силу (19)

а а 4п
I *л I = I 2а л + 2 А *-* I < -
к=\
Во втором случае луч, идущий из —1 в — оо, лежит вне отображе­
ния круга | z | < l функцией s(z)y следовательно, и здесь ?(z)£(d) y
и оценка (23) гоже устанавливается. Знак равенства в (23) в обоих слу­
чаях достигается для функции s (z) = ,, z 2 . Теорема доказана.
(Поступило в редакцию 2/IV 1945 г.)

Литература
1. S. E i l e n b e r g , «Sur quelques proprietes topologiques de la surface de sphere»,
Fund, math., 25 (1935).
.2. L. B i e b e r b a c h , «Ueber einige Extremalproblerne im Gebiete der konformen
Abbildungen», Math. Ann., 77 (1916).
3. W. R o g o s i n s k i , «On a theorem of Bieberbach—Eilenberg», Journ. Lond. Math-
S o c , IV, No 53, (1939).
4. W. R o g o s i n s k i , «Uber den Wertevorrat einer analytischen Funktion», Schrif.
ten der Konigsberger Gel. Gesell., H. 1 (1931).
5. Л. Р. Ф о р д , Автоморфные функции, М.—Л., 1936.
6. М. А. Л а в р е н т ь е в , «О конфэрмном отображении», Труды физ.-мат. института
им. В. А. Стеклова, V 1934.
7. I. L i 111 е w о о d, «On some inequalities in the theory of functions», Proc.
Lond. Math. Soc. (2), 23 (1925).
8. Г. М. Г о л у з и н , «О коэффициентах одноли:тных функций», Мат. сб., 12
(54): 1(1943).
 Gn the classe of regular functions 45

On the class of regular functions which do not take on

any pair of values w and —w
S. Guelfer (Gorky)
(Resume)
In this paper we consider the following classes of functions:
1. The class (D) of functions of the form
(1]
w = ?(*) = ! + 2 «лЛ
n=l

which are regular in the circle \z\ < 1 and take on no pair of values w
and — w, that is,
?(2г) + ?{г2)ф0 f o r | z 1 | < l , |z 2 < 1 .
2. The class (C) of functions of the form
oo

w = / ( z ) = 2 anzn, (2)

which are regular in the circle \z\< 1 and satisfy the condition

/(Zi)-/(22)#1 for |z1|<l, |zj<l.

The set of functions of the form (1), which are regular f o r | z | < 1 and
have a positive real part, <%<p(z)>0 for | z | < 1, belongs to (D); its pro­
perties are well known.
The set of functions of the form (2), which are regular for|z| < 1 and
satisfy the condition | / ( z ) | < l for | z j < l belongs to (C); its proper­
ties are also well known.
For these classes of functions the following theorems among others
are proved:
I. // ?(z)€(£>), then
1 —|z I
1 - Й Z~: |9(z)l<^!, I*|<1, (3)

|arg9(z)|<ln-J^J||, |z|<l, (4)

lv'( z )l<(T=^7|)ii |z < 1 . (5)

The inequalities (3) and (5) cannot be improved as the function

? (z) = ^gg(C), | e | = l, shows.
II. If ?(z)€(D) and <p(z) is univalent in the circle | z | < l , then for
all n

|an|<2/2*.
40 S. Guelfer

III. // /(z)€(C), then

f'{z)\<^fj^r, \z\<\; (7)

l-/(z)!>l-|zj, |l+/(z):>l-|z|,|z[<l. (8)
The inequalities (7) and (8) cannot be improved as the function
/(z) = sz6(C), | e | = l , shows.
IV. We have
1) M?(z)>0 for 9(2)€(D),
2) | / ( z ) | < l for /(z)6(C)
in the circle I z I < th -?- = 0, 65. . .
V. // /(z)6(C) and a, = . . . = a,;_1 = 0, then j a „ i < l forn = k, ...,2k;
if <?{z)£(D) and я1= .. . = а._, = 0, /ft<?n |я„|<2/ог n = fc, . . ., 2 A - 1 .
In the last paragraph we apply these results to the study of univa­
lent functions.