ГЛАВА III.

ПРЕДСТАВЛЕНИЕ ЦЕЛЫХ ФУНКЦИЙ В ВИДЕ БЕСКОНЕЧНЫХ

ПРОИЗВЕДЕНИЙ

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

может быть произведено по следующим учебникам:

Пусть Pm ( z ) - полином, степень этого полинома deg Pm = m . Тогда его можно

представить виде:
Pm ( z ) = A( z − z1 )α ...( z − zk )α , где z1 ,..., z k - нули полинома Pm ( z ) , а α1 ,..., αk -
1 k

кратности, причем α1 + ... + αk = m

Пусть z1 = 0 , z 2 ,..., zm ≠ 0 . Тогда:
α2 αk
 z   z 
Pm ( z ) = A ⋅ z α1 ⋅ z 2α2 ⋅ ... ⋅ z kαk 
 z −1
 ⋅ ... ⋅ 
 z −1
 =
 2   k 
α2 αk
 z   z 
⋅ ( −1)
α1 α2 +... +αk α2 αk
=z ⋅ A ⋅ z2 ⋅... ⋅ z k 
1 − z  ⋅... ⋅ 
 1 − z 
 =
 2   k 
α2 αk α2 αk
 z   z   z   z 
= ( −1)
m −α1 α1 α2 αk
⋅z ⋅ A ⋅ z2 ⋅ ... ⋅ z k 1 −  ⋅ ... ⋅ 1 −  = A1 1 −  ⋅ ... ⋅ 1 −  ⋅ z α1 ,
 z2   zk   z2   zk 
m −α1 α1 α2 αk
где A1 := (−1) z ⋅ A ⋅ z2 ⋅ ... ⋅ zk .
Итак, для любого полинома Pm ( z ) :
Существует число A1 ∈C такое, что
α2 αk
 z   z 
Pm ( z ) = A1 ⋅ z α1 
1 − z 
 ⋅ ... ⋅ 
1 − z 
 (1)
 2   k 
где α1 + ... + αk = deg Pm
Является ли справедливой формула (1) для любой целой функции? Наверное,
когда целая функция имеет бесконечное число нулей, то она имеет и
бесконечное число сомножителей.

1. Бесконечные числовые произведения. Сходимость. Связь с рядами

Опр. Выражение вида:

, an ∈ R (1’) a1 + a2 +... + an +...
называется бесконечным числовым рядом.
Опр. (1’) называется …………………, если существует предел lim Sn = S ≠ ∞
n→∞
n ∞

Где S n = ∑ak - последовательность частичных сумм, а S = ∑ a k - сумма

k =1 k =1

числового ряда.
Опр. Выражение вида
(1 + a1 ) ⋅ (1 + a 2 ) ⋅ ... ⋅ (1 + an ) ⋅ ... (1)
называется бесконечным числовым произведением.
Опр. Бесконечное числовое произведение (1) называется сходящимся, если

0
существует l i mp = p ≠  , где p = (1 + a1 ) ⋅ ... ⋅ (1 + a n ) - последовательность
n n

n→ ∞
∞
частичных произведений

0
Если p=  или не существует предела lim pn , то бесконечное

∞
n→∞

произведение называется расходящимся, в случае p =0 бесконечное

числовое произведение расходится к нулю.
Пример:
Покажем, что бесконечное числовое произведение
 1  1  1  1
1 − 1 + 1 − 1 + ...... сходится.
 2  3  4  5

1 1
, n = 2k − 1,k = 1,2. . ,.n = 2k − 1
2 2
p1 =
1
2
1 4 2 1
, p 2 = ⋅ = , p3 = ,......
2 3 3 2 pn =  = 
 1 (1+ a ) n = ,2k  1 (1+ 1 ) n = ,2k
 2 2k  2 2k + 1
1
Получили, что существует lim pn = , т.е. бесконечное числовое
n→∞ 2
произведение сходится. Этот факт записывается так:
n
∞
 ( −1) n−1  1
∏1 +
n =2  n  = 2 , pn =


∏ (1 + a
k =1
k )

Необходимое условие сходимости для числового ряда:

Если бесконечный числовой ряд (1’) сходится, то существует ……………
Доказательство:
∃lim S n = S
n→∞
S n − S n −1 = a n
∃ lim ( S n − S n −1 ) = lim S n − lim S n −1 = S − S = 0 , получаем что ∃ lim an = 0
n →∞ n →∞ n →∞ n →∞

Необходимое условие сходимости бесконечных произведений:

Если бесконечное числовое произведение (1) сходится, то существует
lim an = 0
n →∞

Доказательство:
Т.к бесконечное числовое произведение (1) сходится, то существует

0
l i mpn = p ≠  , тогда
n→ ∞
∞
pn
= 1 + an (*)
pn−1
Так как существует предел числителя и знаменателя левой части равенства
pn lim pn p
(*), то lim = n→∞ = =1
n→∞ pn−1 lim pn−1 p
n →∞

Тогда существует предел и правой части равенства (*):

∃ lim (1 + an ) =……
n→∞

Т.е получаем, что lim an = 0 .

Необходимое условие для (1’) не является достаточным.
Зам. Для бесконечных числовых произведений необходимое условие не
является достаточным. Можно привести пример.
Пример:
 1  1  1  1
Дано бесконечное числовое произведение 1 + 1 + 1 + .... 1 + ....
 2  3  4  n
1
an=
1+n
, n =1,2... , an → 0 , при n → ∞ .
Тем не менее, это произведение расходится.
3 3 4 5
p1 = , p2 = ⋅ = 2, p3 = , …….
2 2 3 2
3 4 5 (n + 1) ( n + 2)
… p n = 2 ⋅ 3 ⋅ 4 ⋅ ... ⋅ n ⋅ n + 1 = n + 2 → ∞
n→ ∞

2. Связь бесконечных произведений с бесконечными рядами

Лемма 1 (достаточное условие сходимости)

Если an ≥ 0, ∀n ∈ N , тогда бесконечное произведение (1) и числовой ряд (1’)
сходятся или расходятся одновременно.
Доказательство:
При доказательстве используем неравенство:
1 + x ≤ e x , ∀x ≥ 0
Рассмотрим функцию ϕ( x ) := e x −1 − x
ϕ ( 0) = 0 
 ⇒ ϕ( x ) - ……………., тогда ϕ( x ) ≥ ϕ( 0 ) = 0 , ∀x ≥ 0
ϕ ′ ( x ) = e x − 1 > 0
1 + a1 ≤ e a1 ,...,1 + a n ≤ e an
a1 + ... + a n ≤ (1 + a1 ) ⋅ ... ⋅ (1 + a n ) ≤ e a1 ⋅ e a2 ⋅ ... ⋅ e an = e a1 + ...+ an
S n := a1 +... + an , pn = (1 + a1 ) ⋅ ... ⋅ (1 + an )
S n ≤ p n ≤ e Sn
(*)
Заметим, в силу того, что a n ≥ 0 и последовательности { S n } 1 , { p n } 1 являются
∞ ∞

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

неограниченность.
Неравенство (*) показывает, что { S n } 1 и { p n } 1 - ограничены или
∞ ∞

неограниченны одновременно.
Пусть S n ≤ A для любого n , тогда pn ≤ e A , ∀n .
Таким образом последовательности { S n } 1 и { p n } 1 сходятся и расходятся
∞ ∞

одновременно.
Лемма 2. Пусть последовательность a n ≤ 0, рассмотрим an = −bn , тогда bn ≥ 0
. Предположим, что bn ≠1 , для ∀n . Если сходится ряд
∞

∑b
n =1
n (2)
То произведение
∞

∏(1 − b )
n =1
n (1)
сходится.
Лемма 3. Пусть, 0 ≤ bn ≤ 1 и ряд (2) расходится, тогда бесконечное
произведение (1) расходится к нулю.
Доказательство:
Используем неравенство: 1 − x ≤ e −x , ∀x ≥ 0
−b −b
Поэтому 1 − b1 ≤ e ,...,1 − bn ≤ e1 n

0 ≤ (1 − b1 ) ⋅ ... ⋅ (1 − bn ) ≤ e − b − ..⋅− b 1 n

n n
pn = ∏ (1 − bk ) , S n = ∑bk
k =1 k =1

Получим, что 0 ≤ pn ≤ e − S n
Из расходимости ряда (2), следует что Sn n→∞ → + ∞ , тогда e − S → 0 . n

Следовательно, и pn → 0 , т.е. ряд (1) расходится к нулю.

Следствие. Если 0 ≤ bn ≤1 , то бесконечное произведение (1) и ряд (2) сходятся
или расходятся одновременно.
Зам. Если условие 0 ≤ bn ≤ 1 в бесконечном произведение (1) не выполнено
для конечного числа сомножителей, то это не влияет на сходимость или
расходимость.
 3. Абсолютная сходимость бесконечных произведений
∞

Опр. Ряд ∑a
n =1
n называется ……………………, если сходится ряд составленный
∞

из модулей ∑a n =1
n .
∞

∏(1 + a ) ,
n =1
n a n ∈ R, a n ≠ −1 (1)
Опр. Бесконечное числовое произведение (1) называется абсолютно
сходящимся, если сходится произведение
∞

∏(1 + a )
n =1
n (2)

Теорема.
Абсолютно сходящееся произведение является сходящимся произведением,
т.е из сходимости (2) следует сходимость (1).
Доказательство:
1. Докажем, что из сходимости (2), следует существование предела
частичных произведений (1).
n n

Положим pn = ∏(1 + ak ) , Pn := ∏(1 + ak )

k =1 k =1

Имеем pn − pn −1 =……………………………… = (1 + a1 ) ⋅ ... ⋅ (1 + an−1 ) ⋅ an

Pn −Pn −1 =…………………………
Отсюда ( ) ( )
pn − pn −1 = 1 +a1 ⋅... ⋅ 1 +an −1 ⋅ an ≤ 1 + a1 ⋅ ... ⋅ 1 + an −1 ⋅ an = Pn − Pn −1
pn − pn −1 ≤ Pn −Pn−1 (3)
m
sm = ∑ ( pn − pn−1 ) = ( p2 − p1 ) + ( p3 − p2 ) + ... + ( pm−1 − pm−2 ) + ( pm − pm−1 ) = ……………
n =2
∞
S m = ∑( Pn − Pn −1 ) = Pm − P1
n =2

Для удобства обозначим:

∞

∑( p
n =2
n − pn−1 ) (4)
∞

∑( P
n =2
n − Pn−1 ) (5)

Произведение (2) сходится, тогда ∃lim

n→∞
Pn , тогда ∃ lim S m ≠ ∞ , тогда по
m →∞

определению сходится ряд (5). По принципу сравнения числовых рядов ряд

(4) сходится абсолютно, а значит (4) сходится. Получаем, что существует
lim s m ≠ ∞ ⇒ ∃ lim p m ≠ ∞
m →∞ m →∞

2. Докажем, что mlim pm = p ≠ 0 .

→∞

Используем результаты I этапа для специально выбранного Бесконечного

произведения.
 ∞

Т.к. сходится ряд (2), тогда ∑a

n =1
n - сходится (значит an  n→∞ → 0 ). Поэтому
∞ an an
сходится ряд ∑1 +a (т.к. 1+ an
~ an )
n =1 n

 an 
По доказанному выше, произведение ∏1 − 1 + a  сходится абсолютно,
 n 

значит существует предел последовательности частичных произведений. Но

1
частичным произведением для него будет pm :
n
 a  n  1 + ak − a k  1
∏ 1 − k
1 + ak
 =∏   = =
………
 k =1  1 + ak
n
k =1  
∏ (1 + a )
k =1
k

Следовательно, предел pm отличен от нуля.

Т.е абсолютно сходящееся произведение сходится.
Зам. В теории рядов показывалось, что обратное не верно.
1 1 1 ∞
(−1) n−1
1− + − + ... = ∑ - ряд сходится по признаку Лейбница, но не
2 3 4 n =1 n
сходится абсолютно.
∞
1
∑n
n =1
- расходится - гармонический ряд.
Для бесконечных произведений так же обратное не верно, а именно
существует произведения которые сходятся, но не сходятся абсолютно.
Пример:
∞
∞
 (−1) n −1   1
∏ 

n =2 
1 +
n



- сходятся, но не сходится абсолютно. Т.к ∏ 1 + n 
n =2
-
расходится.

4. Равномерная сходимость бесконечных произведений.

Пусть G - область (открытое линейно связное множество).

∞

Опр. Говорят, что ряд ∑u ( z )

n =1
n сходится на множестве G ⊂ C , если ∀z 0 ∈G

сходится ряд ∑u ( z ) .
n =1
n 0

Опр. Ряд ∑u ( z )
n =1
n сходится равномерно на G, если сходится равномерно
n

последовательность частичных сумм ∑u ( z ) .

k =1
k

Теперь рассмотрим
 ∞

∏(1 + u ( z ) )
k =1
k (1)
Опр. Бесконечное произведение (1) называется равномерно сходящимся в
области G, если на этом G равномерно сходится последовательность
частичных произведений:
n
S n ( z ) := ∏(1 + u k ( z ) ) , z ∈ G
k =1

Опр. Бесконечное произведение называется равномерно сходящимся внутри

области G, если оно сходится равномерно на любом компакте K ⊂⊂ G
Упр. Что из чего следует?

Равномерно сходится (1) ….. Равномерно сходится (1)

в области G внутри области G

Достаточный признак равномерной сходимости в области

Теорема (аналог признака Вейерштрасса)
Если в области G
∞
u k ( z ) ≤αk ( k ≥ 0 ), причем ∑α
k =1
k <∞,

то в области G бесконечное произведение (1) сходится равномерно

Доказательство:
∞

Ряд ∑u ( z )
k =1
k сходится равномерно на G, тогда бесконечное произведение
∞

∏(1 + u ( z ) )
k =1
k сходится абсолютно в любой точке z ∈G .
m

Обозначим, Pm ( z ) := ∏(1 + uk ( z ) ) , z ∈G .
k =1

Имеем Pm ( z ) − Pm−1 ( z ) =…………………………..,

Отсюда Pm ( z ) − Pm−1 ( z ) ≤ (1 + u1 ( z ) ) ⋅ ... ⋅ (1 + u m−1 ( z ) ) ⋅ u m ( z ) ≤ …………………….. (3)
∞ ∞

Из сходимости ряда ∑α
k =1
k следует сходимость произведения ∏(1 + α ) .
k =1
k

0
l i mpn = p ≠  , где p
n

Тогда существует предел n = ∏ (1 + α k ) .

n→ ∞
∞
k =1

Тогда ∃A > 0 : pn ≤ A, ∀n ∈ N
Pm ( z ) − Pm−1 ( z ) ≤ A ⋅αm (4)
m

Частичная сумма S m ( z ) = ∑ ( Pk ( z ) − Pk −1 ( z ) ) = ... = Pm ( z ) − P1 ( z )

k =2

Из неравенства (4) по признаку Вейерштрасса для функциональных рядов

∞

получаем, что ряд ∑( P( z ) − P ( z ) )

m =2
m −1 сходится равномерно на G.
Т.е. последовательность частичных сумм S m ( z ) равномерно сходится на G,
тогда Pm ( z ) равномерно сходится на G, при m → ∞ , т.е. бесконечное
произведение (1) сходится равномерно на G.
Достаточный признак равномерной сходимости внутри области
Теорема
Пусть D – односвязная область, причем:
1) uk ( z ) ∈ H ( D ) , u k ( z ) ≠ −1 , ∀z ∈ D , ∀k
∞

2) ∑ln (1 + u ( z ) )
k =1
k сходится равномерно внутри D (при определенном выборе
ветви логарифмических функций).
То бесконечное произведение (1) сходится ………………………………...
Доказательство:
Имеем
n
n ∑ ln ( 1+ u k ( z ) )
p n ( z ) := ∏ (1 + u k ( z ) ) = e k =1
, z∈D
k =1
∞

Функция ln (1 + uk ( z ) ) ∈ H ( D ) , ∀k , причем ∑ln (1 + u ( z ) )

k сходится равномерно
k =1

для любого компакта K из D.

Тогда по первой теореме Вейерштрасса из ТФКП:
∞
f ( z ) = ∑ ln(1 + uk ( z )) ∈H ( D ) , тогда и ∏ (1 + uk ( z ) ) = e f ( z ) ∈ H ( D )
∞

k =1
k =1
∞
∞ ∑ ln ( 1+ u k ( z ) )
p( z ) := ∏ (1 + uk ( z ) ) = e k =1

k =1
Отсюда получаем
p ( z ) − pn ( z ) = ……………………………………… = p ( z ) ⋅ [1 − e −q ]
∞

где q = ∑ln (1 + u ( z ) ) .
k =n +1
k

Пусть K – компакт из области D. На нем функция p( z ) ограничена:

∃A > 0 : ……………., ∀z ∈ K .
∞

На компакте K ряд ∑ln (1 + u ( z ) )

k =1
k сходится равномерно, поэтому
∀ε > 0, ∃n0 ( ε ) ∈ N : ∀n > n0 ( ε ), ∀z ∈ K выполнено
∞
ε 1
q = ∑ln (1 + u ( z ) ) < 2 A < 2
k =n +1
k

В силу этого
 q
2
q
3

p ( z ) − p n ( z ) ≤ p ( z ) ⋅ 1 −e −q
≤ A⋅ q + + + ... <
 2! 3! 

ε  1 ε 1  ε  
2
ε 1 ε 
2
1 ε 
k

< A⋅ +   + ... +   + ...  ≤ ⋅ 1 + ⋅ + ⋅   + ... <
 2 A 2!  2 A 
 k!  2 A  
 2  2! 2 A 3!  2 A  
 ε  1 1 
2 k
1
< ⋅ 1 + +   + ... +   + ... = ε
2  2  2  2 
p ( z ) − pn ( z ) < ε , ∀n > n0 (ε) , ∀z ∈ K
Т.е. p n ( z ) равномерно сходится к p( z ) на компакте K, при n → ∞ .
Уточним определение равномерной сходимости (1):
Опр. D – односвязная область, u k ( z ) определены в области D, и обладают
следующим свойством: каков бы ни был компакт K ⊂ ⊂ D существует номер
n0 = n0 ( K ) такой, что u j ( z ) ≠ −1 , ∀z ∈ K , j > n0 . Предположим, что
∞

произведение ∏(1 +u ( z ) )
j =n0 +1
j равномерно сходится на компакте K. Тогда
будем говорить, что бесконечное произведение (1) сходится равномерно
внутри области D.

5. Построение целой функции с заданными нулями

Положим
E ( u ,0 ) =1 −u ,
u2 uk
u+ +... +
E ( u , k ) = (1 − u ) e 2 k
, k ∈N
Лемма 1
1
Если u ≤ , то верно неравенство:
2
ln E (u , k ) ≤2 ⋅ u , u ∈C (1)
k+1

Доказательство:
Имеем
u2 uk
u+ +... +
E ( u , k ) = (1 − u ) e 2 k

uk
ln E ( u , k ) = ln (1 − u ) + u + ... +
k
ln (1 −u ) =……………………………. - разложение в ряд Тейлора ( u <1 )
Используем формулу Коши-Адамара:
1 1
∑c n zn , cn = −
n
, cn =
n
1
n cn = n
→1, то есть радиус сходимости R = 1
n
u k +1 u k +2
В частности ln E ( u, k ) = − − − ...
k +1 k + 2
k +1 k+2
u u
ln E ( u, k ) ≤
k +1
+ + ... = u ⋅ ……………………….. ≤
k +1 k + 2
≤u
k +1
[ 2 1
]
k +1  1 1 
⋅ 1 + u + u + ... ≤ 〈 u ≤ 〉 ≤ u ⋅ 1 + + ... + n + ... = 2 u
2  2 2 
k +1

Следствие
 1
ln E (u , k ) ≤(2 u )
k +1
Если u ≤ , то (1’)
2
Лемма 2

1
Если u ≥ , то верно неравенство:
2
uk
u+... +

(2)
k k
−2k u 2k u
e ≤e k
≤e

Доказательство:
α
Воспользуемся свойством: eα =e Re α ≤e
−α
eα ≥e

u2 uk 1
α =u + + ... + , u ∈C , u ≥
2 k 2
uk k 1 1 1 
= u ⋅ k + k −1 ⋅ u ≤
−1
α = u +... + ≤ u +…………………………. +... + k −1 
k  u 

 1 1  1
≤ u ⋅ 1 + + ... + k −1  ≤ 〈 u ≥ 〉 ≤ u ⋅ ……………………………. =
k k

 u u  2
k 2 k −1 k
=u ⋅ < 22 ⋅ u
2 −1
Отсюда
uk
−2k u
k u+... + 2k u
k

e ≤e k
≤e

Теорема (Вейерштрасса)
{ z n } ∞n=1 , z n ∈C
Пусть 0 < z ≤ z ≤... ≤ z ≤... , lim
1
z n = ∞ , и пусть целые
2 n pn таковы, что
z →∞
pn
∞
r 
∑ r 

n =1  n 
<∞ (3)
где r > 0 , rn = z n .
∞
 z  z
Тогда бесконечное произведение ∏E  z , p n −1 , u =
zn , k = pn −1 сходится
n =1  n 
во всей плоскости (равномерно в любом замкнутом круге с центром в начале
координат) и представляет целую функцию, обращающуюся в ноль в точках
……… и только в них.
Доказательство:
Возьмем R > 0 . Пусть z ≤R и z >2 R при n > N ( R ) . n

Тогда по лемме1:
pn pn
 z  z r 
ln E 
 z , pn −1
 ≤2⋅ z = 2
r 

 n  n  n 
pn
∞
r  ∞
 z 
Ряд ∑ 

n =1  rn

 - сходится, то ряд ∑ ln E 
z , pn −1
 ……………………… в
 ( )
N R +1  n 
круге z ≤R , в силу этого произведение
∞
 z 
∏ E  z , p n −1

n =N +1  n 
сходится равномерно в z ≤R . Тогда произведение
N ( R)
 z ∞
  z  ∞  z 
∏ E 
z , p n − 1  ∏ z
 = E  , p n − 1 ⋅ ∏ E  , p n − 1 сходится равномерно в
n =1  n  n=1  n  n =N +1  z n 
∞
 z 
z ≤R , тогда F ( z ) := ∏ E 
 z , pn −1 ∈ H (U R ( 0 ) )
n =1  n 
pn −1
z 1 z 1  z 
    + ⋅ +... +  
( E  z , pn − 1 = 1 − z  ⋅ e z n 2 z n p n −1  z n  - каждый множитель является целой
 zn   zn 
функцией)
R > 0 и в силу произвольности R - функция F ( z ) ………………………….
p −1 n
N( R ) z 1  z
 z +.+ . .  ∞ z  z 
F( z) = ∏  1−  ⋅ e × ∏ E , pn − 1 = PN( R) ( z) ⋅ ∏ E , pn − 1
zn pn− 1 zn 

z
n= 1  n  n= N + 1  zn  z ≤ R  zn 
Сомножители в первом произведении в ноль не обращаются:
zn ≥ 2R

z
1− ≠0, z ≤R , z n ≥2 R
zn
F ( z ) = PN ( R ) ( z ) ⋅ϕ( z ) , z ∈U R ( 0 )
ϕ( z ) ≠ 0 , z ∈U R ( 0 )
F ( z ) = 0 ⇔ PN ( R ) ( z ) = 0 ⇔ z = z n ∈U R ( 0 )
Функция F ( z ) обращается в ноль в z ≤R , лишь в точках zn , которые лежат
в этом круге.
Пример:
pn
∞
r 
Для последовательности zn найти pn такое, что ряд ∑ 

n =1  rn

 сходится.

zn = n
∞ pn
r 
∑ n  ,
n =1
r > 0 − const
∞ 2

ряд ∑  - сходится.

pn = 2
1
При
n
n =1  
Следствие. Пусть f ( z ) - целая функция, и пусть { z n } - ее нули (каждый ноль
выписывается столько раз, какова его кратность), отличные от начала
координат. Подберем целые pn так, что бы выполнялось условие
pn
∞
r 
∑ 
n =1  rn
 <∞

при любом r . Тогда
2 p n −1
z 1 z  1  z 
∞
 z  +   +...+  
f ( z ) = z λ ⋅ e h ( z ) ⋅ ∏1 −
zn 2  zn  pn −1 zn 
 ⋅ e (4)
n =1  zn 
где h( z ) - целая функция.
Доказательство:
Положим

f ( z) ∞
 z 
ϕ ( z ) := , где F ( z ) := ∏ E  , p n −1 .
z ⋅ F ( z)
λ
n =1  zn 
Числитель и знаменатель являются ……………………., причем знаменатель
обращается в ноль в точках { z n } .
zn ≠ 0
Возьмем z n - фиксированную точку и используем теорему о нулях
0

голоморфной функции (курс ТФКП). Поэтому в круге U ρ ( zn ) выполнено 0

f ( z ) = ( z − zn ) ⋅ψ ( z ) , где ψ ( z ) ∈ H (U ρ ( z n )) , ψ( z ) ≠ 0 , ∀z ∈U ρ ( z n ) .
0 0 0

 
В произведении F (z) встречаются сомножители 1 − z  = 0 ⇔ ………….,
 z n0 
 
поэтому этот множитель сокращается.
 
F ( z ) = 1 −
z ∏E  z 
 , pn −1 F (z)
 zn0 n ≠n  , тогда в окрестности точки z0 не
  0  zn 
обращается в ноль.
Такие же рассуждения можно провести для любой точки. Т.е получим, что
F ( z ) ……………………….
 z  z 
Если будем считать, что множители вида 1 − 1 −  будут встречаться
 zn  zn 
столько раз, какова кратность нуля, то нули числителя сократятся с нулями
знаменателя. А это означает, что функция ϕ( z ) является ………………..
функцией, которая ………………………………………… в ноль.
ϕ( z ) ∈ H ( C ) 
Поскольку ϕ ( z ) ≠ 0, ∀z  ⇒ ∃h( z ) - целая функция,

ϕ( z ) = e h( z )

Таким образом f ( z ) = z λ ⋅ eh ( z ) F ( z ) , ч.т.д.

В дальнейшем, мы будем уточнять формулу (4), предполагая

дополнительные ограничения относительно функции f ( z ) . При этом
уточним вид функции h( z ) , выясним, как можно выбрать числа pn , и
насколько существенным является второй сомножитель.

6. Разложение целой функции конечного порядка в виде бесконечного

произведения

- целая функция с порядком ρ ∈(0,+∞) , { z n } n=1 - последовательность

∞
f ( z)
нулей
,
0 < z1 ≤ z 2 ≤... z - возрастает на бесконечности.
n

z = 0 - нуль кратности λ функции f ( z ) .

Уточним формулу (4) предыдущего параграфа:
∞
 z 
f ( z ) = z λ ⋅ e h ( z ) ⋅ ∏ E  , pn − 1 , pn ∈ Z
n =1  zn 
Начнем с выбора pn . Обозначим через k - наименьшее целое число со
следующим свойством:
∞
1
∑z
n =1
k +1 - сходится (1)
n

Покажем, что такое k существует. А именно, докажем

k ≤ τ ≤ k +1 (2)
где τ - показатель сходимости последовательности { z n } . Тогда k - конечно
(т.к τ - конечно, τ ≤ ρ , а ρ конечно).
Проверим неравенство (2):
∞
1
1) Если τ - не целое число, то ∑z n =1
τ +ε ………………. ∀ε > 0 , k < τ < k + 1
n
∞
1
2) τ - целое, причем ∑z
n =1
τ расходится ⇒ τ = k
n
∞
1
3) τ - целое, причем ∑z
n =1
τ сходится ⇒ ………....
n

Из 1), 2), 3) следует, что (2) выполнено.

Далее рассмотрим функцию:
2 k
z 1 z  1 z 
 z  z + 2  z 
∞ +... +  
F ( z ) = ∏ 1 −  ⋅ e n  n  (3)
k  zn 

n =1  zn 
Опр. Функция F (z) , заданная формулой (3), где k - наименьшее целое число
∞
1
со свойством: ряд ∑z
n =1
k +1 сходится, называется каноническим
n

произведением, построенным по нулям { z n } n=1 , а число k - родом

∞

канонического произведения.
Пример:
1. z n = n
∞ k +1
1 
Тогда ряд ∑  
n =1  n 
- сходится, при наименьшем k = 0 .
∞ z
 z
F ( z ) = ∏1 − e n
n =1  n
2. z n = n 2

∞
1
Тогда ряд ∑n
n =1
2 - сходится, при наименьшем k = 1 .
∞ ∞
 z   z 
F ( z ) = ∏ 1 − 2  e 0 = ∏  1 − 2 
n =1  n  n =1  n 

Теорема (Ж. Адамар)

Порядок канонического произведения
2 k
z 1 z  1 z 
 z  z + 2  z  +...+ k  zn 
F ( z ) = z λ ⋅ e h ( z ) ⋅ ∏ 1 −  ⋅ e n  n  (4)
 zn 
n =1 , т.е. ρ F = τ .
равен показателю сходимости последовательности {z n }∞
Доказательство:
Пусть ρF - порядок роста целой функции F ( z) .
Докажем, что ρF = τ .
1. τ ≤ ρF очевидно.
2. Теперь докажем, что τ ≥ ρF .
Из леммы 1 §5:
1
, u ≤
k+1
ln E (u , k ) ≤2 u <( 2 u ) k +1
2
(*) E (u , k ) ≤………………………….. , ∀θ ≤ k +1
Из леммы 2 §5:
u +... +
uk
(2 u )k 1
u ≥
k

,
2k u
e k
≤e =e
2
uk
u+... + ( 2 u )θ 1
(**) e k
≤e , ∀θ ≥ k
u≥
2

uk uk
≤ 〈 u ≥ 〉 ≤ (1 + u ) ⋅ e
u +... + 1 u +... +
E (u , k ) = (1 −u ) ⋅ e k k
≤
2

θ θ

ln( 1+ u ) 

≤ 〈(**) 〉 ≤ e =e
ln (1+ u ) +( 2 u )θ
u


2 +
u
θ 

≤e
A⋅ u
θ
(***)
ln (1 + u ) 1
θ
 → 0 , A > 0 ,
u →∞ u ≥ , где θ ≥ k
u 2
Из (*), (***) следует
E (u , k ) ≤e
θ
B⋅ u
(5)
Где B = max { A,2 } , для любого θ : k ≤ θ ≤ k + 1
θ

∞ θ
 z 
 z  ∞ ∞
 z  ∑ B  z n  ∞ θ

( ) { }
1
F z = ∏ E  , k  = ∏ E  , k  ≤ (5) ≤ e B z ⋅∑
θ
    n =1
= zn (6)
n =1 z
 n  n =1 z
 n  = e n =1

Выберем θ : k ≤ θ ≤ k + 1
1. если τ - не целое. Такое, что k < τ < k + 1 , то возьмем θ = τ + ε < k + 1 .
∞
1
Тогда ряд ∑( z τ +ε ………………… по определению показателя
n=1 n)

сходимости.
∞
1
2. если τ - целое, но ∑(z τ сходится, то τ = k + 1 , θ = τ
n =1 n)
∞
1
3. если τ - целое, но ряд ∑(z τ - расходится, то τ = k , ……………….
n =1 n)
∞
1
Ряд ∑zn =1
θ сходится всегда. Поэтому:
n
  1θ
∑
B θ ⋅  z
  θ
(zF ) ≤ e
(7)
 zn  1 zB
=e
Из неравенства (7) следует, что ρ F ≤ θ ≤ τ + ε
ρF ≤ τ + ε . Левая часть от ε не зависит, значит:
ρF ≤ τ
Из ρF ≥ τ и ρF ≤ τ следует:
ρF = τ .

Теорема. (Э. Борель)

Пусть f ( z ) - целая функция конечного порядка ρ , z1 , z 2 .... - ее нули, τ -
показатель сходимости последовательности { z n } , тогда
ρ = max{ m,τ}
где m - степень полинома h( z ) .
Доказательство:
m ≤ [ρ ] ≤ ρ 
1.  ⇒ m am,xτ }{≤ ρ
τ≤ρ 
2. теперь докажем, что ρ ≤ max{ m, ρ}
Обозначим: max{ m,τ} =: p
f ( z ) = z λe h ( z ) F ( z )
f ( z ) ≤………………………………….
m
 a a 
z  a 0 + 1 +.... + m 
 z z m 
a 0 z m + a1 z m−1 +... + a m      m
h( z ) Az
e h ( z ) = e Re h ( z ) ≤ e =e =e =const
≤e
ρ+ε
F ( z ) ≤e
z
=…………………., z >r0 (ε)
τ +ε ρ+ε ρ+ε ρ+ε
λ m
λ p
ρ+ε ( A +λ) z
, z > r0 (ε)
Az z Az z Az
f ( z) ≤ z e e <z e e <e +z =e
~ p +ε

, z > r0 (ε )
A z
f ( z) ≤ e
ρ ≤ p + ε, т.к.∀ε > 0 ⇒ρ ≤ p
Следствие. В случае, когда показатель сходимости { z n } , когда ρ - является не
нулевым, справедлива формула: ρ = τ

7. Разложение функции sin z в бесконечное произведение

Получим разложение в произведение sin z . Нули этой функции z n = ±πn (
n =0,1,2,... ).
∞
1
ρ =1 , τ = 1 , и ∑zn =1
k +1 сходится для k =1 . Тогда
n
∞ z z
 z   z  −
F ( z ) = ∏ 1 −  ⋅ e πn 1 +  ⋅ e πn
n =1  πn   πn 
Если бесконечное произведение
p = a1 ⋅ a2 ⋅ a3 ⋅ ... ⋅ an ⋅ ... (1)
сходится, то
p = ( a1 ⋅ a2 ) ⋅ ( a3 ⋅ a4 ) ⋅ ... (2)
тоже сходится к этому же числу
~
p n - последовательность частных произведений (2)
p n - последовательность частных произведений (1)
~
p1 = a1 ⋅ a2
~p = ( a ⋅ a ) ⋅ ( a ⋅ a ) = a ⋅ a ⋅ a ⋅ a
2 1 2 3 4 1 2 3 4

p1 = a1
p2 = a1 ⋅ a2 = ~
аналогично p4 = ~p2 , т.е. (2) тоже сходится.
p1 ,
Произведение множителей, соответствующих нулям ± πn , равно
∞ 
z  −  ∞  z2 
z z
 z  
F ( z ) = ∏  1 −  ⋅ e πn 1 +  ⋅ e πn  = ∏ 1 − 2 2 
n =1   πn   πn   n=1  π n 
z = 0 - ноль функции sin z с кратностью λ = 1 (т.к. si n ′ z = cos z , cos 0 ≠ 0 ).
Поэтому
∞
 z2 
sin z = z ⋅ e h ( z ) ⋅ ∏1 − 2 2  , где h( z ) = a ⋅ z + b , a, b ∈C
n =1  π h 
Определим a, b . Из равенства
sin z  z2 
= e a⋅z +b ∏1 −
 π 2h2 
 , положив в нем z = 0 , находим e = 1 . Значит,
b
z  
 z 
2
sin z = z ⋅ e a ⋅ z ∏1 − 2 2 
 π h 
Функция sin z - нечетная, отсюда следует, что e a⋅z - четная, т.е. ∀z ∈C
выполнено e −a⋅z = e a⋅z , e 2 a ⋅z =1 ,

(2az ) 2
1 + 2az + + ... = 1 . Поэтому a = 0 . В итоге:
2!
∞
 z2 
sin z = z ⋅ ∏1 − 2 2  (3)
n =1  π n 
Зам. Эту формулу впервые получил Л. Эйлер