ГЛАВА I.

ПОНЯТИЕ ЦЕЛОЙ ФУНКЦИИ

Самостоятельное изучение данной главы, а также заполнение пропусков может

быть произведено по следующим учебникам: [1] – Глава I, §1, §2. [2] - Глава I,
§1, §2, §5.

1. Определение целой функции. Примеры.

Опр. ……………………. – это функция комплексного переменного, голоморфная

во всей плоскости.
Примером целой функции может являться многочлен или показательная
функция, а также суммы, произведения и суперпозиции этих функций.
Логарифмическая функция, квадратный корень не являются целыми
функциями.
Опр. Особая точка z = a функции ω = f (z ) называется изолированной особой
точкой, если существует ……………………………. точки z = a в которой
функция ω = f (z ) голоморфна.
Для целой функции изолированной точкой может быть точка z = ∞ :
1. z = ∞ правильная точка, т.е f ( z ) ∈H (C )
Из теоремы Лиувилля, функция, которая не имеет особых точек на всей
расширенной комплексной плоскости, должна быть постоянной.
2. f ( z ) ∈H (C )
z = ∞ - устранимая, если существует lim z →∞
f ( z) = A ≠ ∞
f ( z ) ≤A +1 , z ≥R

U R ( 0)
f ( z ) ≤B ⇒z ≤R (теорема Вейерштрасса)
f ( z ) ≤ A + B + 1, ∀ z ∈ С, тогда f ( z ) ≡ const (по теорема Лиувилля)
3. f ( z ) ∈H (C )
z = ∞ - полюс m-ого порядка, если в разложение функции w = f (z )
в ряд
Лорана в проколотой окрестности точки z0 главная часть содержит
конечное число отличных от нуля членов.
c1 z + c2 z 2 + .. + cm z m - главная часть cm ≠ 0
ϕ( z ) := f ( z ) − c1 z − c2 z 2 −.. − cm z m - целая функция.
z = ∞ - устранимая особая точка ϕ( z ) .
Из пункта 2 следует, что ϕ( z ) ≡ const = c0 .
Тогда f ( z ) = c0 + c1 z + c2 z 2 + .. + cm z m , cm ≠ 0
f ( z ) является полиномом .
4. f ( z ) ∈H (C )
z = ∞ - существенно особая точка, предел в этой точке не существует
Главная часть разложения в ряд Лорана:
с1 z +c 2 z +.. +c m z , где c1 ,... cm ,... - бесконечно много отличных от нуля
ϕ( z ) := f ( z ) − c1 z − c2 z 2 −.. − cm z m - целая функция.
z = ∞ - устранимая особая точка ϕ( z ) , из пункта 2 следует, что
ϕ( z ) ≡ const = c0
7
 Тогда f ( z ) = c0 + c1 z + .. + c m z m + .. ,
∀ z ∈ С ряд расходится во всей плоскости С
Опр. Целая функция, для которой z = ∞ является существенно особой точкой,
называется целой трансцендентной функцией.
Пример
1. w = e z - целая трансцендентная функция
z = ∞ - существенно особая точка, т.к
z2 zn
e z =1 + z + + .. + + .. - ряд сходится для ∀z ∈C .
2! n!
2. w = sin z - целая трансцендентная функция
z = ∞ - существенно особая точка, т.к
∞
z 2 n −1
w = sin z = ∑(−1) n −1 - ряд сходится для ∀z ∈C .
n =1 (2n −1)!
Таким образом, можно вывести эквивалентное определение целой функции.
Опр. Целая функция f ( z ) представима в виде сходящегося во всей плоскости
∞

степенного ряда: f ( z ) = ∑cn z

n

n =0

Пример:
1. f ( z ) =1 + z + z 2 +.. + z n +.. - не является целой функцией, так как ряд сходится
при z <1
∞
zn
2. f ( z ) = ∑ не является целой функцией. В данном случае
n =1 n
1 n c =
1
cn = n n
n n
1 1 ln n
n n = (e ln n ) n = e n
→1 ,
n→∞
поэтому радиус сходимости ряда R = 1
∞
zn
3. f ( z ) = ∑ - целая функция. Для доказательства используем формулу
n =1 n!
Стирлинга:
n
n 
n!~   2πn , при n → ∞
e 
n n
n
n! = 2 n 2πn = 2 n 2n 2 n π  → ∞
n →∞
e e
Итак, радиус сходимости R = ∞

2. Порядок и тип целой функции.

Пусть f ( z) – целая функция. Положим

M f ( r ) := max f ( z )
z =r

Для любого r1 ≥ r2
M f (r2 ) = max f ( z ) = max f ( z ) ≤ max f ( z ) = max f ( z ) = M f (r1 )
z =r2 z ≤r2 z ≤r1 z =r1

M f (r1 ) ≥ M f ( r2 )
Получаем, что M f (r ) неубывающая функция.
8
Лемма:
f ( z ) – целая функция. Предположим, что существует А > 0, α > 0, r0 > 0 :
M f (r ) ≤ Ar α , ∀r > r0 (1)
Тогда f ( z ) – многочлен, степень которого deg f ( z ) ≤ [α]
Доказательство:
f ( z ) – целая функция, тогда f ( z ) =.......... ........ (по определению)
Используем неравенство Коши для коэффициентов степенного ряда
M f (r ) Ar α
ck ≤ < = .......... . , r > r0 (2)
rk rk
Зафиксируем индекс k > α
Тогда правая часть (2), при r → + ∞ стремится к …………
Коэффициенты c ≤0 , при k > α тогда и только тогда, когда c ′ =0 . Получаем,
k k

что ck = 0 .
В разложение Тейлора функции f ( z ) с коэффициентами ck = 0 , при k > α
[α ]
получим: f ( z ) = ∑ck z .
k

k =0

Зам. Из доказательства видно, что утверждение леммы остается справедливым

и при следующем более слабом ограничение:
∃A > 0,α > 0 {r j } j =1 , r j >0 , r j возрастает на ∞ , причем выполнено:
∞

M f ( r j ) < Ar jα (2’)
Доказательство:
.………….
M f (r j ) A
ck ≤ k
< k −2
r j r j

…………..
Вывод: чтобы не быть полиномом функция M f (r ) должна расти быстрее
любой степени. Поэтому M f (r ) сравнивают с показательной функцией e r .
Опр. Целая функция f ( z ) называется целой функцией конечного порядка, если
существует µ > 0 , что для r > r0 выполнено
µ
M f (r ) < e r , r > r0 (3)
Если µ со свойством (3) нет, то считаем, что целая функция f ( z ) имеет
бесконечный порядок.
Опр. Нижняя грань ρ множества чисел µ , удовлетворяющих условию (3),
называется порядком функции f ( z )
{
ρ = inf µ > 0 : ∃µ > 0 : M f ( r ) < e r , r > r0
µ
}
Будет ли для конкретного µ выполнено условие (3).
Рассмотрим два случая:
1.В качестве µ возьмем µ := ρ + ε , ε > 0 - любое, ρ ≠ ∞
Для µ := ρ + ε условие (3) выполнено.
∃r0 > 0∀r > r0 : M f (r ) < e r , r > r0 (ε )
ρ +ε

ln M f (r ) <....... , r > r0 (ε )
ln ln M f ( r ) <........ , r > r0 (ε )

9
ln ln M f (r )
< ρ +ε , r > r0 (ε ) (4)
ln r
2.Теперь в качестве µ рассмотрим µ := ρ − ε , ∀ε > 0
Для µ := ρ − ε условие (3) не выполнено, поэтому
* ρ −ε
∀r0 > 0∃r * > r0 : M f (r * ) ≥ e ( r )

Тогда ∃rk > 0 : rk возрастает на бесконечности при k → ∞ :

ρ −ε
M f (rk ) ≥ e ( rk ) , k =1,2,... (5)
ln ln M f (rk )
≥ ρ − ε , k =1,2,... (6)
ln r k

ln ln M f (r )
> ρ −ε , r > r1 (ε ) (6’)
ln r

ln ln M f ( r )
(4) и (6’) выполнены тогда и только тогда, когда rlim =ρ
→+∞ ln r

ln ln M f ( r )
А (4) и (6) выполнены тогда и только тогда, когда rlim =ρ.
→+∞ ln r

Следовательно,
ln ln M f (r )
lim =ρ (7)
r →+∞ ln r

Опр. Предположим, что ω = f (z ) целая функция с порядком ρ , 0 < ρ < +∞ .

Целая функция f ( z ) называется целой функцией конечного типа при порядке
ρ , если существует a > 0, r0 > 0 такое что
ρ
M f ( r ) < e ar , r > r0 (8)
Зам. Если не существует a со свойством (8), то f ( z ) называется целой
функцией бесконечного типа при порядке ρ .
Опр. Нижняя грань σ множества таких чисел a со свойством (8) называется
типом функции f ( z ) при порядке ρ .

aρr
σ = i na > f0 :{M f (r) < e , r > r0}
Пусть σ - тип целой функции при порядке ρ
a = σ + ε , ∀ε > 0 . Таким образом, неравенство (8) выполнено:
ρ
M f ( r ) < e (σ +ε ) r , r > 0
ln M f (r )
< σ + ε , r > r0 (ε ) (9’)
rρ

10
a1 = σ − ε , ∀ε > 0 .
В таком случае (8) не выполнено, т.е. существует
последовательность {rn } ( 0 < rn ) возрастающая на бесконечности:
ρ ln M f (rn )
M f (rn ) ≥ e (σ −ε ) rn , тогда ≥σ −ε (9’’)
rnρ
Из (9’) и (9’’) следует:
ln M f (r )
lim =σ (10)
r →∞ rρ
Зам. Всегда 0 ≤ σ ≤ +∞. Тип σ зависит от порядка ρ .

3. Связь между ростом функции и скоростью убывания

коэффициентов.

Лемма 1.
∞

Пусть f ( z ) = ∑cn z - целая функция, причем

n

n =1
µ
M f (r ) < e ar , r > r0 , µ > 0 (1)
Тогда
n
 ae µ µ
cn <   , n > n0 (2)
 n 
Доказательство:
Имеем
µ
M f (r ) e ar
cn < < n =: ϕ( r ) , r > r0
rn r
Найдем минимум правой части ϕ(r ) . Он будет в точке, где ϕ′(r ) =…... Но
ϕ′(r ) 1
µ
ln ϕ(r ) = ln e ar − n ln r = ar µ − n ln r , = a ( µr µ−1 ) − n = 0
ϕ(r ) r
и ϕ′( r ) = 0 ( ϕ(r ) > 0, ∀r > r0 )
n
aµr µ−1 =
r
1

aµr µ = n ⇒  n µ n > n0
rmin =  > r0 ,
 aµ  если
 
n
µ
e , n > n0
ϕ( rmin ) = =.......
.....
n
 aµe µ
cn <ϕ( rmin ) =  , n > n0
 n 
∞

Лемма 2. f ( z ) = ∑cn z n , ∀z ∈C - целая функция, причем выполнено

n =1
n
 ae µ µ r0 (ε) такое,
cn <   , n > n0 . Тогда для любого ε > 0 существует что
 n 
µ
M f (r ) < e ( a +ε ) r , r > r0 (1')
Доказательство:

11
 n

Из условия  ae µ µ
cn <   , n > n0 следует, что n c n →0 , при n → ∞ . Поэтому, ряд
 n 
∞
f ( z ) = ∑ cn z n - сходится во всей плоскости и его сумма f ( z ) - ………………...
n =0

Зафиксируем r =z .
n

c n z n = c n r n < ae µ µ n
  r =.......... . ……..
 n 
Подберем n = N (r ) – наименьшее целое, удовлетворяющее условию
1
 ae µ µ 1
  < (*)
 n  2
Найдем сразу оценку для N (r ) . Решая неравенство, получаем
n > 2 µ ae µr µ
Значит, будет выполнено и (*).
∞ ∞ N (r) ∞ N (r ) N +1 N +2
1  1  N (r )
f ( z) = ∑c n z n ≤ ∑c n z n = ∑c n z n +
n =0 n =0 n =0
∑
n =N +1
c n z n
< ∑
n =0
cn z n + 
2 
+ 
2 
+ ... < ∑c n r +
n =0

Таким образом
( )
N (r )
M f (r ) < ∑c
n =0
n zr + 1 ≤ ( N (r ) + 1) max cn r n + 1
n
(3)
m( r ) := max cn r n
n
∞

Так как f ( z ) = ∑cn z - целая функция, то ряд сходится для любого z , значит
n

n =1

для любого z ряд сходится абсолютно. Тогда cn z n →0 при n→ ∞

Т.е. max cn r n достигается при n = s (r )
n

Теперь осталось получить оценку для m(r )

m( r ) = cs r s
Рассмотрим n, m , считаем, что n > m . Решим неравенство
cn r n > cm r m
1
 cm n−m
r >
c


 n 
Получаем, что с ростом s растет и m(r )
s s k t
 ae µ µ s  ae µ µ µ  ae µ µ µ  ae µ µ µ
m( r ) = c s r < 
s
 r = r  < max  r  ≤ max  r  = max ψ(t )
 s   s  1≤k <∞
 k  1≤t <∞
 t  1≤t <∞

t
ae µ µ µ t → ∞,ψ (t ) → 0
ψ(t ) := 
 r  ,
 t 

( ae µ) µ r

1 t0
Найдем точку экстремума
12
ln ψ(t ) =
µ
t
[ln( ae µr µ
) −ln t ]
ψ ′(t ) 1
= [ln( ae µr µ ) − ln t ] +  0 −  = 0
t  1
ψ (t ) µ µ t
ψ ′(t ) = 0 ⇔ ln( ae µr µ ) − ln t −1 = 0
ln( ae µr µ ) = ln t + ln e = ln( te ) , от сюда
t > tэ ψ′ < 0
ae µr µ = te , t э = aµr µ
t <tэ ψ′ > 0
tэ - точка максимума
aµr µ
 ae µ µ  µ
Таким образом m( r ) < max ψ (t ) =ψ (t э ) = 
 aµr µ r 
 = e ar
µ

1≤t <∞
 
µ
( ) µ
( )
M f (r ) < ( N (r ) +1)e ar +1 < 2 µ ae µr µ +1 e ar +1 < 2 µ ae µr µ +1 e ar + e ar = e ar 2 µ ae µr µ + 2
µ µ µ
( )
c := 2 µ ae µ x := r µ
Рассмотрим неравенство: cx +1 < eεx , x > x0 (ε ) . И проверим, верно ли это.
cx + z

2 eεx

1 x0 x
⇒ e εr µ
> 2 ae µr + 2 ,
µ µ
r > r1 (ε )
ar µ εr µ
M f (r ) < e e , r > r1 (ε )
µ
M f ( r ) < e( a +ε ) r (1')
Зам. Из доказательства видно, что доказано более точное неравенство, а
именно:
µ
M f ( r ) < e ar (cr µ +1) (1'') ( cr µ +1 - растущая функция, поэтому нельзя получить
(1)).

4. Нахождение порядка и типа через коэффициенты степенного ряда.

Теорема 1.
∞

Пусть ϕ( z ) - целая функция. ϕ( z ) = ∑cn z . Порядок ρ находится по формуле

n

n =0
n ln n
ρ = lim
n→∞ 1 (4)
ln
cn
Доказательство:

13
 n ln n
q := lim
Обозначим n→
∞ 1 , q ≤ +∞
ln
cn
Докажем, что q = ρ
1) Пусть q < +∞ . Докажем, что ρ ≤ q
Из определения верхнего предела ∀ε > 0∃n0 (ε ) : ∀n > n0 (ε ) выполнено:
n ln n
< q +ε
1
ln
cn
1
>........
cn
cn <.......... ...
n
 e( q +ε) a q +ε ⇒ a = 1
По лемме 1: cn <  e ( q +ε)
 n 
Тогда по лемме 2: …………………., ∀r > r1 (ε)
ln ln M f (r ) < ln( a +ε1 ) + ( q +ε ) ln r
ln ln M f (r ) ln( a + ε1 )
< + q +ε
ln r ln r
Перейдем к верхнему пределу (который всегда существует)
Зам. При переходе знак строгого неравенства меняется нестрогий.
ρ ≤ 0 + q + ε , ε - произвольное положительное число и значит, ρ ≤ q
2) Пусть ρ ≠ ∞ . Докажем, что q ≤ ρ .
По определению ρ : ∀ε > 0∃r0 (ε) : ∀r > r0 такое, что выполнено M f (r ) < e r
ρ+ε

Тогда по лемме 1:
n
 e( ρ + ε) ρ+ε
cn < 
 n 
n
1  n  ρ+ε
> 

cn  e( ρ + ε ) 
1 n
ln > [ln n − ln ( e( ρ + ε ) ) ] > n ln n, n > n0 (ε )
cn ρ +ε ρ + 2ε
n ln n
< ρ + 2ε , n > n0 (ε )
1
ln
cn
Перейдем к верхнему пределу, при n → ∞
Получим …………, где ε - произвольное положительное число. Значит,
ρ ≥q
3) Если q = +∞ , то ρ = +∞
Если ρ = +∞ , то q = +∞
Потому что, если ρ ≠ +∞ ⇒ q ≤ ρ ⇒ q ≠ +∞ , тогда q = ρ в общем случае ч.т.д.
Теорема 2.
∞

Пусть f ( z ) = ∑cn z - целая функция порядка ρ : тогда тип σ при

n
0 < ρ < +∞ ,
n =0

порядке ρ определяется по формуле

1 1

(σeρ ) = lim n
ρ ρn
cn
n→∞

14
Схема доказательства:
1
Обозначим q := lim n ρ n cn
n→∞
1
Докажем, что (σeρ ) ρ = q
1) Пусть q ≠ ∞ , по определению верхнего предела ∀ε > 0∃n0 (ε ) : ∀n ≥ n0
выполнено:
…………………
…………………
n
  n
q +ε   ae ρ  ρ
cn <  1  =   , тогда a = ………….
 ρ   n 
 n 
ρ
Из леммы 2 следует: M f (r ) < e ( a+ε ) r , 1 r > r0 (ε1 )
(q + ε ) ρ
a=
eρ
ln M f ( r )
< a + ε1
rρ
Переходим к верхнему пределу при n → + ∞
σ ≤ a + ε1 , ∀ε1 > 0
(q + ε ) ρ
σ ≤a =
eρ
σeρ ≤ ( q + ε ) ρ
1

(σeρ) ρ
≤ q +ε
ε - произвольное, по этому
1

(σeρ ) ρ ≤ q
1
2) Пусть σ ≠ ∞ . Докажем, что (σeρ ) ρ ≥ q
ρ
Из леммы 1 следует: M f (r ) < e (σ +ε ) r .
3) Если q = +∞ , то ρ = +∞
Если ρ = +∞ , то q = +∞
1

(σeρ ) = qρ

5. Показатель сходимости последовательности комплексных чисел.

Пусть {a n } - последовательность комплексных чисел, причем монотонно

an ↑ ∞.
Опр. Будем говорить, что последовательность {an } n=1 имеет конечный
∞

показатель сходимости, если существует число λ > 0 , такое, что

∞
1
∑a
n =1
λ
<∞ (1)
n

Опр. Нижняя грань τ множества чисел λ называется показателем

сходимости.

15
 
 ∞
1 

τ = inf λ > 0 : ∑ λ сх − ся  , τ ≥ 0

 n =1 an 

Пример:
Найти показатель сходимости последовательности: an = e n
λ λ n
∞ 
1  
∞ ∞ n
1   1 
Из (1) следует ∑  n  = ∑ λ  = ∑   
n =1  e  n =1  e  n=1   e  

λ
1 
q :=  
e 
Геометрическая прогрессия q <1 для любого λ > 0 , является убывающей
геометрической прогрессией.
Ряд сходится для любого λ > 0
Получили, что τ = 0
Лемма
Предположим, что последовательность γ n ≥ 0, γ n+1 ≤ γ n , ∀n , причем ряд
∞

∑γ
n =1
n сходится, тогда
lim ( nγ n ) = 0 (3)
n→∞

Доказательство:
Воспользуемся критерием Коши сходимости числового ряда
( ∀ε > 0 )( ∃n0 ∈ N ) : ( ∀n ≥ n0∀p ∈ N ) выполняется
ε
γ n+1 +.. +γ n+p < (4)
2
В неравенстве (4) возьмем p = n
ε
γ n+1 + .. + γ 2 n <
2
γ n +1 + .. + γ 2 n ≥ γ 2 n + .. + γ 2 n = nγ 2 n
ε
nγ 2 n < , n >n 0
2
2nγ 2 n < ε , n >n 0 (5)
Воспользуемся (4), p =n +1
ε
γ n+1 +.. +γ 2 n+1 <
2
ε
γ n+1 +.. +γ 2 n+1 <
2
1
γ n+1 +.. +γ 2 n+1 ≤ γ 2 n+1 +.. +γ 2 n+1 = (n +1)γ 2 n+1 > γ 2 n+1 (n + )
2
1 ε
(n + )γ 2 n+1 <
2 2
( 2n +1)γ 2 n+1 < ε , n > n0
(6)
Объединяя (5) и (6) получим (3), что и требовалось доказать.
Теорема.
Показатель сходимости τ последовательность {an } n=1 находится по формуле:
∞

ln n
τ = lim (2)
n →∞ ln an

16
Доказательство:
ln n
Обозначим q = lim
n→
∞ ln an
Докажем, что τ = q
∞
1
1) Пусть τ ≠ +∞ , возьмем ∀ε > 0 , обозначим λ = τ + ε , где ряд ∑a
n =1
τ +ε
n

сходится
1
Рассмотрим γ n =
an
τ +ε , убывающую к 0, при n → ∞
Ряд сходится, тогда по лемме lim ( nγ n ) = 0
n→∞

( ∀ε1 > 0)( ∃n0 (ε ε1 ) ∈ N )( ∀n > n0 ) : nγ n < ε1

Возьмем ε1 = 1 :
n
τ +ε
<1, n > n0
an
τ+ε
an >.......... , n > n0
………………….
ln n
< τ + ε , n > n0
ln an
Перейдем в левой и правой части к верхнему пределу, при n → ∞
Получим ……………, при ε → +0 :
q ≤ τ (*)
2) Пусть q ≠ +∞
По определению верхнего предела
ln n
q: ( ∀ε > 0) (∃n0 (ε ) ∈ N )( ∀n > n0 ) выполнено ln an
< q +ε

1
Тогда ln n < ln an
q +ε
…………….
1

n q +ε < an
1 1
< 1 , ∀λ > 0
an
n q+ε
1 1 1 λ
< λ = p p :=
an
λ
n , q +ε
n q+ε
∞
1
Ряд ∑ p сходится если p >1 , то есть когда ……….., ∀λ > q +ε . Тогда
n =1 n
∞
1
∑
n=1 an
λ сходится ∀λ > q +ε по признаку сравнения.

 ∞
1 
τ = inf λ > 0, ∑ сх − ся  ⇒ τ ≤ q + ε
 n=1 an 
Левая часть от ε не зависит, в правой ε > 0 - любое. Переходя в левой и
правой
части к пределу при ε → +0 .

17
 Получим τ ≤ q (**)
Из неравенств (*) и (**) получаем τ = q
3) Если одно из чисел τ или q равно + ∞ , то второе число то же равно + ∞
Действительно, пусть q = +∞
Пусть τ ≠ +∞ , по пункту 1) q ≤τ , тогда q ≠ +∞ , т.е получаем противоречие
Пример
2
an = n 3
ln n 3
τ = lim =
n→∞ 2 2
ln n
3

6. Нули целых функций конечного порядка.

Существуют примеры целых функций, которые ни в одной точке плоскости не

обращаются в ноль.
1. f ( z ) = e z ≠ 0, ∀z ∈C
2.e e ≠ 0, ρ = ∞, ∀z ∈C
z

Докажем, что если целая функция f ( z ) имеет конечное число нулей a1 ,.., am с
кратностями α1 ,.., αm , то она имеет вид f ( z ) = Pm ( z )e g ( z ) , где P m ( z ) -
некоторый полином, g (z ) - некоторая целая функция.
f ( z)
Pm ( z ) = ( z − a1 )α1 ⋅ .. ⋅ ( z − am )α m , deg Pm = α1 + .. +αm , тогда - целая функция.
Pm ( z )
По теореме о нулях голоморфной функции:
f ( z ) = ( z − a1 )α ϕ ( z ) , z ∈U (a1 ) , функция ϕ( z ) ∈H (U (a1 )) , т.е ϕ( z ) ≠ 0 для любых
1

z ∈U (a1 )
f ( z) ( z − a1 )α1 ϕ ( z )
= , z ∈U (a1 ) , в окрестности a1 знаменатель не равен
Pm ( z ) ( z − a1 )α1 ⋅ .. ⋅ ( z − am )α m
нулю.
f ( z)
Pm ( z ) - не обращается в ноль в точке ak , тогда Pm ( z ) - целая функция,
которая ни в одной точке плоскости не обращается в ноль.
Доказывается, что существует g (z ) - целая:
f ( z)
= e g ( z ) ⇒ f ( z ) = Pm ( z )e g ( z )
Pm ( z )
Интересным является случай, когда f ( z ) имеет бесконечное число нулей.
Лемма.
Функция f ( z ) ∈H ( z ≤ R ) - голоморфна в круге и обращается в ноль в точках
a1 ,.., an этого круга, f (0) ≠ 0 , тогда справедливо неравенство:
Rn M f ( R)
≤ (1)
a1 ⋅ .. ⋅ an f ( 0)
Доказательство:
18
Рассмотрим дробно-линейное отображение:
z − z0
1− z0 z
такое, что U1 (0) →U1 (0) конфорно (граница переходит в границу),
z0 ∈U1 (0) , тогда
R ( z − z0 )
R 2 − z0 z
отображает U R (0) →U1 (0) , z0 ∈U R (0)
f ( z)
ϕ ( z ) := n
Рассмотрим R( z − ak ) . Знаменатель в токах z = ak в ноль не
∏k =1 R − ak z
2

обращается, по теореме о нулях голоморфной функции:

f ( z ) = ( z −ak )ϕ1 ( z ) , где ϕ1 ( z ) - голоморфна в U ( ak ) , тогда ϕ1 ( z ) ≠ 0 в
окрестности U ( ak ) .
Т.е функция f ( z ) является голоморфной во всем круге U R (0) , кроме того:
f ( z) f ( z) f ( z)
ϕ( z ) z =R
:= = = n
= f ( z)
n
R ( z − ak ) n
R ( z − ak ) ,
∏ ∏ ∏1
k =1 R − ak z k =1 R − ak z
2 2
k =1
z =R z =R

R ( z −ak )
так как R 2 −ak z
=1 (граница переходит в границу).
Функция ϕ( z ) голоморфна в круге U R (0) , то по принципу максимума модуля
максимум достигается на границе, т.е
ϕ( z ) ≤ max ϕ( z ) = max f ( z ) = M f ( R) , ∀z ∈U R (0) .
z =R z =R

Возьмем в последнем неравенстве z = 0

f ( z) f (0) R n f (0)
ϕ( z ) z =0 = = = = ϕ(0) ≤ M f ( R )
n
R( z − ak ) a1 a 2 an a1 ⋅ a 2 ⋅ ... ⋅ a n , получаем
∏R
k =1
2
− ak z
⋅
R R
⋅.. ⋅
R
z =0

R n
M f ( R)
неравенство: ≤ , ч.т.д.
a1 ⋅ .. ⋅ an f ( 0)
Зам. Из доказательства видно, что f ( z ) может обращаться в 0 и в других
точках этого круга, кроме точек a1 ,.., an .
Формула (1) показывает, что существует связь между распределением нулей
функции и ростом функции f ( z ) .
Теорема. (Адамара о показателе сходимости нулей целой функции)
Пусть целая функция ω = f (z ) конечного порядка ρ ≠ ∞ , f ( z ) ≠ const и имеет
бесконечное число нулей a1 , a 2 ,... a n ,... ., a ↑ ∞, a1 ≠ 0 . Тогда показатель n

сходимости τ последовательности {an }n=∞1 меньше или равен ρ .

Доказательство:
Можно считать, что f (0) ≠ 0 (в противном случае мы поделили бы f ( z ) на
подходящую степень z и получили бы функцию порядка ρ , которая не равна
нулю в начале координат и для которой a1 , a 2 ,... a n ,... - нули).
Положим r = a , R = 2rn . В круге z ≤R у функции f ( z ) имеется n нулей
n n

a1 , a 2 ,... a n , (могут быть и другие нули). По доказанной ранее лемме

Rn ( 2rn ) n ( 2rn ) n ........
= ≥ = = ........
a1 ... a n a1 ... a n a n ... a n ........

19
По определению порядка ρ : ( ∀ε > 0 )( ∃r0 (ε ) ) такое, что для любого R > r0
выполнено: ………….
R = 2rn , тогда M f (R) < ……….., n > n 0

ρ +ε
e( 2 rn )  
⇔ 1 < e ( 2 rn ) ,2rn →+∞ 
ρ +ε ε

Итак, 2 ≤
n
< e( 2 rn )  
f (0)  f ( 0 ) 

e ( 2 rn )
ρ + 2ε
< e rn
ρ + 3ε
, n > n2 (ε ) (⇔ 2 ρ + 2ε ε
< rn , n > n2 )
ρ + 3ε
Следовательно, 2n < e rn , ∀n > n2 (ε )
Откуда при больших n
ρ+3ε
n ln 2 < rn , n > n2
1 ρ +3ε
n< rn , n > n2
ln 2
1 ρ+3ε  1 
rn < rnρ+4ε , n > n3 ⇔ < rnε , n > n3 
ln 2  ln 2 
n < rnρ +4ε , n > n3
 1 1 
ln n < ( ρ + 4ε ) ln rn ,  
 ln r = ln a 
 n n 
ln n
< ρ + 4ε , n > n3
ln an
В последнем неравенстве перейдем к верхнему пределу, при n → ∞
τ ≤ ρ + 4ε
Так как ε произвольное, то переходя к пределу, при ε → +0 получим:
τ ≤ ρ.
Следствие.
f ( z ) - целая функция, которая обращается в ноль на последовательности точек
an , показатель сходимости которой равен бесконечности, тогда порядок ρ
функции f ( z ) равен бесконечности.
Пример:
f ( z ) = sin z
Порядок функции равен 1.
ak = πk , k =0,±1,±2...
ln n ln n ln n 1
τ = lim = lim = lim = lim =1
n →∞ ln a k n →∞ ln πk n →∞ ln π + ln k n →∞ ln π
+1
ln k
Получили, что τ = ρ

7. Теорема о нулях целой функции конечного типа

при порядке ρ

Из неравенства Адамара возникает гипотеза: чем больше нулей в круге с

центром в начале координат и радиусом R, тем больше рост имеет максимум
модуля этой функции.
Теорема 1.
20
Пусть ω = f (z ) - целая функция порядка ρ, 0 < ρ < ∞, и конечного типа σ и у
нее имеется бесконечно много нулей a1 , a 2 ,.. a n ,... , a1 ≠ 0 . Тогда
n
lim ρ
≤σ ⋅e ⋅ ρ (1)
n →∞
an
Доказательство:
Опять считаем f (0) ≠ 0 . Положим r = a , R = α ⋅ rn , α - подбираем специально,n n

α > 1 . В круге z ≤R у функции f ( z ) имеется n нулей a1 , a 2 ,... a n (могут быть

и другие нули). По доказанной ранее лемме
M f (αrn ) (αrn ) n
≥ ≥ ……….. = α n
f (0) r1 ⋅ .. ⋅ rn
По определению типа целой функции:
ρ
n > n0 (ε )
ρ
M f ( R ) < e (σ +ε ) R , R > r0 (ε ) , тогда ……….. < e (σ +ε )α ⋅rnρ
,
M f (αrn ) ρ
⋅rnρ
< e (σ +2ε )α , n > n1 (ε )( ≥ n 0 )
f (0)
1 ρ ρ

(используем неравенство <eεα rn , eε αρ rnρ

→ ∞ )
n
f (0) →∞

ρ ρ
Таким образом α n < e (σ + 2ε )α r , n > n1 (ε ) n

Отсюда n ⋅ ln α < (σ + 2ε )α ρ ⋅ rnρ , n > n1 (ε )

n αρ
(*) r ρ < (σ + 2ε ) ⋅ ln α , α > 1 произвольное
n

αρ
Рассмотрим ψ (α) := .
ln α
Рассмотрим, как ведет себя график этой функции:
ψ (α) →+∞ , α → +1
∞
ψ (α ) → , α → + ∞
∞
Тогда существует α - точка минимума функции ψ(α)
αρ
lnψ (α ) = ln = ρ ln α − ln ln α
ln α
(ln ψ (α))′ = .......... .......... = 0 ⇔ ψ ′(α ) = 0
…………………
ln α ⋅ ρ =1
Если α > e1 / ρ , ψ ′ > 0
α < e1 / ρ , ψ ′ < 0
1
ψ(α)
α min = e ρ - точка минимума функции
n
< (σ + 2ε ) ⋅ψ (α )
rnρ
α = α min = e1/ ρ
n
ρ
< (σ + 2ε ) ρ ⋅ e
an
Теперь переходим к верхнему пределу, при n → ∞
n
lim ρ
≤ (σ + 2ε )eρ
n→∞
an
Неравенство от ε не зависит, значит можно перейти к пределу при ε → +0
21
 n
Тогда lim ρ
≤ σeρ , ч.т.д.
n→∞
an
Зам.
1. В доказательство приведено при f (0) ≠ 0 . Теорема остается в силе и когда
f (0) = 0 , f ′(0) = 0, f ′′(0) = 0..., f ( m−1) (0) = 0 , f ( m ) (0) ≠ 0
f ( z)
g ( z) = , g (0) ≠ 0 , g (z ) - целая функция (имеет тот же порядок и тип, как и
zm
f ( z) )
n
lim ρ
≤σ ⋅e⋅ ρ
an
2. Теорема 1 более общая, чем теорема Адамара.
n
Из lim ρ
≤σ ⋅e ⋅ ρ следует, что ……………………… последовательности нулей
n→∞
an
не превосходит ρ (покажите)
Теорема 2. (о нулях функции ограниченной и голоморфной в круге)
Пусть функция F ( z ) тождественно не равная нулю, регулярна в круге z <1 и
там по модулю ограничена. Если у F ( z ) имеется бесконечное число нулей
a1 , a 2 ,..., a n ... , 0 < a ↑, то n
∞

∑(1 − a
n =1
n ) <∞ (2)
(При условии, что f ( z ) тождественно не равна нулю, предельной точкой
последовательности { a n } может являться лишь точка на границе круга)
Доказательство:
Не нарушая общности рассуждений, можно считать, что F ( z ) ≠ 0 . Возьмем R ,
a <R <1 . По лемме из §5:
n

M
.......... .. ≤.......... .. ≤ =A
f ( 0)
Rm
≤A (3)
a1 ... a m
Зафиксируем m в неравенстве (3), а R устремим к 1, в пределе получим
1
≤A (4)
a1 ... a m
при любом n .
Имеем
1
=1 +αk1 , α k > 0
ak
Из (4) следует ………………… (4’)
α1 + α2 + ... + αm < (1 +α1 )...( 1 +αm ) ≤ A
∞

Проверим, сходится ли ряд ∑α

k =1
k .
S m = α1 +... +αm - монотонно возрастает и ограничена сверху А.
∞

Тогда существует предел lim

m→
S m , т.е. ряд
∞
∑α
k =1
k …………..
1 − ak
αk = >1 − ak
ak

22
 ∞ ∞

Из ……………. ряда ∑α
k =1
k следует сходимость ряда ∑(1 − a
k =1
k ) (признак

………………. для числовых рядов)

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

Теорема. (единственности)
Функция f ( z ) имеет порядок ρ ≠ ∞ , τ – показатель сходимости
последовательности нулей {an } n =1 функции f ( z ) , предположим, что τ > ρ .
∞

Тогда f ( z ) ≡ 0 .
Доказательство:
Предположим противное. Пусть функция f ( z ) тождественно не равна нулю,
тогда по теореме Адамара τ ≤ ρ , т.е. противоречие.
Теорема. (единственности)
Функция f ( z ) – целая функция порядка ρ и типа σ(≠ ∞)
n
{ a n } ∞n =1 - нули функции f ( z) , причем lim
n→∞
an
ρ
>σ ⋅e ⋅ ρ . Тогда f ( z) ≡ 0

Доказательство:
От противного.
Пусть функция f ( z ) тождественно не равна нулю. Тогда по Теореме 1
n
lim ρ
≤σ ⋅e ⋅ ρ , т.е. противоречие.
n→∞
an
Теорема. (единственности)
Функция f ( z ) ∈H (U 1 (0)) . ∃M > 0 такое, что f ( z ) ≤M для любого z ∈U 1 (0)
∞
a1 , a 2 ,..., a n - нули функции f ( z) , ряд ∑(1 − a )
n =1
n расходится. Тогда f ( z) ≡ 0

Доказательство:
От противного.
∞

Пусть функция f ( z ) тождественно не равна нулю. Тогда ∑(1 − a )

n =1
n …………

8. Связь роста целой функции с числом её нулей.

Существуют примеры целых функций f ( z ) , которые имеют порядок ρ = ∞ , но

ни в одной точке не обращаются в ноль.
Пример: f ( z ) = e e , ρ = ∞ .
z

Если f ( z ) имеет бесконечное число нулей, то в связи с теоремой, доказанной в

предыдущем параграфе, возникает гипотеза: чем больше нулей имеет f ( z ) ,
тем больший рост имеет максимум модуля этой функции.
τ ≤ρ
1. Рассмотрим Λ = { λn } n =1 , λ ∈ C
∞

23
Обозначим nΛ(t ) - считающую функцию {λn } n=1
∞

nΛ(t ) - равна числу точек λk ∈ Λ таких, что λ <t k

2. Рассмотрим Λ = N
1 1
если t= ⇒ nN   = 0 , тогда график n N (t ) :
2 2
1 1
t = ⇒ nN   = 0
4 4
∀t < 1 ⇒ n N (t ) = 0
∀t >1, n N (t ) =1 0 1 2 3
Считающая функция является неубывающей, в близи нуля значение функции
равно нулю.
n Λ (t ) = 0 , ∀t ≤ λ , λ1 - первый ноль.
1

3. f ( z ) – целая функция
n f (t ) равна числу нулей функции f ( z ) в круге U t (0) , причём любой нуль
считается столько раз, какова его кратность.
Теорема.
ω = f (z ) - целая функция, f (0) =1 , n f (t ) - считающая функция нулей f ( z ) ,
тогда
r
n f (t )
∫
0
t
dt ≤ ln M f ( r ) (1)
(1) – неравенство …………………..
Доказательство:
Используем лемму о нулях голоморфной функций:
a1 ,..., a n - нули функции f ( z ) , z <r
a1 = a2 = a3 , a4 , a5 = a6 ,...
    
кратность _ 3 кратность _ 2

Согласно лемме:
rn
≤ ………. = M f (r )
a1 ⋅... ⋅ a n
2 3 n −1
rn a a  a   a  rn
⋅  3  ⋅  4  ⋅ ... ⋅  n  ⋅
= 2 ≤ M f (r )
a1 ⋅ ... ⋅ an a1 a2   a3   an −1  an
n

a a a a r
ln 2 + 2 ln 3 + 3 ln 4 + ... + (n −1) ln n + n ⋅ ln ≤ ln M f (r )
a1 a2 a3 an −1 an
a2
a2 dt
ln
a1
= ∫
a1
t
, a1 ≤ a2 ≤... ≤ an −1 ≤ an

a2 a a r
dt 3
dt n
dt dt
∫a t + 2 ∫a t + ... + ( n −1)
a
∫ t
+n ∫
a
t
≤ ln M f r
1 2 n −1 n

 1, a1 ≤ t ≤ a2

 2, a ≤ t ≤ a3
n f (t ) =  2
 . . . . .. . . . .
 (n − 1) ,a ≤ t ≤ a
 n− 1 n

24
a2 a3 an r r
n f (t )dt n f (t )dt n f (t ) dt n f (t )dt n f (t )dt
∫
a1
t
+ ∫
a2
t
+ ... + ∫
an −1
t
+ ∫
an
t
= ∫
a1
t
≤ ln M f r ,

a1 =0
n f (t ) = {0, 0 <t ≤ a1
a1
n f (t )
n f (t ) = 0 ⇒ ∫
0
t
dt = 0
r
n f (t )
Получили, что ∫ 0 t
dt ≤ ln M f ( r ) , ч.т.д.
Следствие
Из условия теоремы справедливо следующее неравенство:
n f ( r ) ≤ ln M f (er ), ∀r > 0
Доказательство:
Из монотонности n f (t ) и формулы Иенсена следует, что
er er er er
dt n f (r ) n f (t ) n f (t )
n f ( r ) ≤ n f (r ) ⋅1 = n f (r ) ∫ =∫ dt ≤∫ dt ≤ ∫ dt ≤ln M f (er )
r t r
t r
t 0
t
t =er
( 1 =ln t t =r ), ч.т.д.

25