Глава II. ВОПРОСЫ ПОЛНОТЫ СИСТЕМ ГОЛОМОРФНЫХ ФУНКЦИЙ.

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

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

§1. Обобщение теоремы Вейерштрасса

Теорема 1 (К. Вейерштрасс)

Пусть функция f ( x) непрерывна на отрезке [ a, b] , тогда для любого ε > 0
существует полином Pn ( x) такой, что для любого x ∈[a, b] выполнено
f ( x) − Pn ( x ) <ε
Получим формулировку этой теоремы:
Возьмем ε =1 , тогда ∃P ( x) : f ( x) −P ( x)
1 1 ≤1, ∀x ∈[ a, b]
1 1
Для ε = 2 ∃P2 ( x ) : f ( x ) − P2 ( x ) <
2
, ∀x ∈[ a, b]

……….
1
Аналогично, для ε = n ∃Pn ( x ) : f ( x) −Pn ( x ) <....., ∀x ∈[ a, b]

……….
Итак, нами доказано существование последовательности полиномов
{ Pn ( x)} ∞n =1 , которая по построению ……………………. к f ( x) .
Аналог теоремы Вейерштрасса.
Для любой непрерывной на отрезке функции f ( x) существует
последовательность полиномов { Pn ( x)} n =1 , к которая сходятся равномерно к
∞

f ( x) .

Пусть теперь E – ограниченное, замкнутое множество в С.

Вопрос: каким должно быть Е, чтобы для любой непрерывной на множестве
Е функции f ( z ) существовала последовательность полиномов { Pn ( z )} n =1
∞

такая, что Pn ( z ) → E

f ( z ) равномерно.
Сформулируем необходимые условия:
1) E не содержит внутренних точек: IntE = .........
Покажем, что если Е содержит хотя бы одну внутреннюю точку, то
теорема Вейерштрасса не выполняется.
Пусть внутренность E не пусто:
∃z. 0 ∈.......... .... , тогда ∃U δ ( z 0 ) ⊂.......
Если бы теорема была справедлива, то существовала бы последовательность
Pn ( z ) →
E
f ( z ) равномерно, а тогда и P ( z ) → f ( z ) равномерно.
n U δ ( z0 )

Pn ( z ) ∈H (C ) - целая функция, тогда (по I теореме Вейерштрасса)

f ( z ) ∈H (U δ ( z0 )) .
Но не любая непрерывная на множестве Е функция является голоморфной в
………. Например f ( z ) =z

28
2) Внутренность множества E равна пустому множеству. Докажем, что

необходимым условием является условия C\ E - связное.

Предположим, что C\ E не является связным, то C\ E - объединение

подмножеств, причем одно из них является ограниченным.

Пусть E1 - ограниченное подмножество из C\ E .

1
Рассмотрим точку z 0 ∈E1 , ψ ( z ) := - непрерывна на Е.
z − z0
Предположим, что теорема Вейерштрасса справедлива:
Пусть ∃{ Pn ( z )} : Pn ( z ) →E
......... равномерно.
Тогда ………. сходится равномерно на ∂E1 ⊂ E .
По II теореме Вейерштрасса из ТФКП:
Pn ( z ) сходится равномерно в E1

Обозначим ϕ( z ) = lim n→∞

Pn ( z ), z ∈E1

ϕ( z ) ∈H ( E1 ) ∩C ( E 1 )
1
f ( z ) = ϕ( z ) − z = z0 ,
z − z0 - имеет полюс первого порядка в точке причем
1
f ( z ) ∂E =ψ ( z ) − =0
1
z − z0
Рассмотрим функцию:
g ( z ) := ( z − z 0 ) f ( z ) = ( z − z 0 )ϕ( z ) −1 - голоморфна в E1 , и непрерывна в E1 .
g ( z ) ∂E = ( z − z0 ) f ( z ) ∂E = 0
1 1

По теореме единственности: g ( z ) ≡ 0 в Е1
Противоречие: легко указать точку в Е1 , в которой значение функции g, не
равно нулю: g ( z0 ) = −1 ≠ 0
Пример: Е ={z : z =1}
Внутренность множества E равна пустому множеству, но для этого
множества не выполнено второе необходимое условие.
C \ E = E1 ∪ E2 ( E1 - ограничено)
E1 ∩ E2 = Ø.
Теорема 2 (М.А. Лаврентьев, 1934 г.)
∀f ( z ) ∈C ( E ) ∃{ Pn ( z )} : Pn ( z ) →
E
f ( z ) равномерно тогда и только тогда, когда
выполнены два условия
1. int E =Ø

2. C\ E - связно

Теорема 3 (К. Рунге)

D – односвязная область. ∀f ∈H (D ) ∃{ Pn ( z )}∞
n =1 - последовательность
полиномов:
29
Pn ( z ) →
K равномерно, ∀K ⊂⊂ D
f ( z)
Рассмотрим следующее пространство H 1 := H ( D)  C ( D)
Теорема 4 (М.В. Келдыш, 1945г.)
∀f ∈H 1 ∃{ Pn ( z )} n =1 : Pn ( z ) 
∞
→
D
f ( z ) равномерно тогда и только тогда, когда
C \ D - связно.
Пусть Е – ограниченное, замкнутое множество.
Обозначим H 2 := H ( IntE ) ∩C ( E )
Теорема 5 (С.Н. Мергелян, 1951 г.)
∃{ Pn ( z )} n=1 : Pn ( z ) →
∞
∀f ( z ) ∈H 2 E
f ( z ) равномерно тогда и только тогда, когда

C\ E - связно (т.е. Е – не разбивает плоскость).

Опр. Система функций { f k (t )} k =1 , f k (t ) ∈C[a, b] , k=1,2,… называется полной

∞

в пространстве C[a,b], если для любого ε > 0 и любой f (t ) ∈C[a, b]

существует конечная линейная комбинация функций из системы { f k (t )} k =1 ,
∞

т.е. ∑c j f k j
(t ) такой, что
j =1
m
f −∑c j f k j (t ) <ε
j =1

‫ﺍﺍ‬
m
Sup f (t ) − ∑c j f k j (t ) < ε
[ a ,b] j =1

В соответствии с этим определением можно переформулировать теорему 1:

Теорема Вейерштрасса: система функций {t n }n =0 является полной в
∞

пространстве C[a,b].

Опр. Система { xk }k =1 , где xk ∈E , k =1,2,... - называется полной в E (линейное

∞

нормированное пространство), если (∀x ∈E )( ∀ε > 0) ( ∃конечная линейная

m m

комбинация элементов из { xk }k =1 , т.е ∑c j xk такой, что x −∑c j xk j <ε ).

∞
j
j =1 j =1

Теорема 6.
Общий вид линейно непрерывного функционала L в пространстве C[a,b]
b

задается формулой: L( x) = ∫ x(t )dσ (t ) , где σ(t ) - функция ограниченной

a

вариации.
Опр. Функция y =σ(t ) называется функцией ………………… вариации на
отрезке [a,b], если существует константа M > 0 такая, что для любого
разбиения отрезка [a,b] точками a = x0 < x1 < ... < xn−1 < xn = b справедливо:
n

∑..........
k =1
.......... . ≤ M , при этом точная верхняя грань сумм стоящих в левой

части называется полной вариацией функции σ(t ) на [a,b].

Любая монотонная функция является функцией ограниченной вариации.

30
Пример: y =σ(t ) - монотонно убывающая функция на отрезке [a,b].
∀t1 , t 2 ∈[a, b] : t1 ≤ t 2 тогда f (t1 ) ≤ f (t 2 )
∀a = x0 < x1 < .. < xn = b
n

∑ f (x
k =1
k ) − f ( xk −1 ) = f ( x1 ) − f ( x0 ) + f ( x2 ) − f ( x1 ) + ... + f ( xn ) − f ( xn −1 ) = f (a ) − f (b) = M

Опр. Функция σ(t ) , заданная на [a,b] удовлетворяет условию Липшица, если

существует абсолютная константа K > 0 такая, что ∀t1 , t 2 ∈[a, b] выполнено:
σ(t1 ) −σ(t 2 ) ≤ K t1 −t 2
Теорема 7 Система непрерывных на отрезке [a,b] функций { x k (t )} k =1
∞

является полной в C[a,b] тогда и только тогда, когда из равенств:

b b

∫ xk (t )σ (t )dt = 0, k =1,2..
a
следует, что ∫ x(t )dσ(t )dt
a
= 0, ∀x (t ) ∈C[ a, b] , где σ(t )
- произвольная функция ограниченной вариации.
Теорема. (Мюнтца)
0 < λ1 < λ2 < ... < λn .... , λn - последовательность положительных
действительных чисел монотонно уходящих на бесконечность, причем ряд
∞
1
∑λ n =1
(1)
n

расходится. Тогда система функций

{ }
(1)  x λk
∞
k =1 (*)
является полной в C[0,1]
Доказательство:
В соответствии с теоремой ……. необходимо доказать справедливость
следующей импликации:
1

∫0 1d σ ( x ) = 0  1

1  ⇒ ∫ f ( x)dσ ( x) = 0, ∀ f ( x) ∈ C[a, b]
 0
∫0
λk
x dσ ( x ) = 0


Где σ(x) - произвольная функция ограниченной вариации
Введем вспомогательную функцию:
1
F (λ) := ∫ x λ dσ ( x )
0

x = (e
λ ln x λ
) = e( λ1 +iλ2 )⋅ln x , ( λ = λ1 + iλ2 )
Тогда x λ = e ( λ1 +iλ2 ) ln x = e Re(...) =......... = x λ1
x λ ≤1, т.к λ1 > 0 , 0 ≤ x ≤ 1
Тогда если λ ∈ C : Re λ = λ1 > 0 следует, что:
1 1 1
F (λ) = ∫ x ⋅ dσ ( x) ≤ ∫ x dσ ( x) ≤ ∫ dσ ( x) = Var σ =: V
λ λ
[ 0 ,1]
0 0 0

F ( λk ) = 0 , k =1,2....

31
Докажем, что F (λ) является голоморфной в правой полуплоскости
{ Re λ = λ1 > 0} . Для этого возьмем произвольное число α ∈(0,1)
α 1
~ ~
~
F (λ) = ∫ x λ dσ (λ) + ∫ x λ dσ ( x) = F (λ) + F (λ)
0 α
~ ~
Докажем, что F~ (λ) - целая функция, т.е проверим, что ~
F (λ) представима
виде:
~
~ ∞
F (λ) = ∑c j λj , ∀λ ∈C
j =0
λ
x =e λ ln x
= et , ( t = λ ⋅ ln x )
Пусть λ : λ ≤ R0
t = λ ⋅ ln x ≤ λ ⋅ ln α ≤ ....... ⋅ ln α =: R1

Тогда e t =1 +.... + ..... - равномерно сходится при t ∈U R (0) 1

∞
λ (ln x )
k k
e λ⋅ln x = ∑ - ряд сходится равномерно λ ≤ R0 , α ≤ x ≤1 .
k =0 k!
Значит, ряд можно почленно интегрировать:
~
~ ∞ 1 ∞
F (λ) = ∑( ∫ (ln x) k dσ ( x)) ⋅ λk = ∑ck λk , ∀R0 > 0, λ ∈U R0
k =0 α k0
~
~
Получили, что F (λ) -
является целой функцией.
~
Рассмотрим F (λ) и предположим дополнительно, что Re λ = λ1 ≥ δ > 0
α α 1
~
F (λ ) ≤ ∫ xα ⋅ dσ ( x) ≤ α δ ⋅ ∫ dσ ( x) ≤ α σ ∫ dσ ( x) = α σ ⋅ V (2)
0 0 0

При доказательстве (2) используем, что

xα = xα1 ≤ α λ1 ≤ α σ
1
рассмотрим теперь α = n , тогда
1/ n 1 1

∫ x dσ ( x ) + ∫ x dσ ( x ) , Fn (λ) := ∫x
λ
F (λ) = λ λ
(обозначим dσ ( x ) )
0 1/ n 1/ n

Fn (λ) - целая функция по λ , при каждом фиксированном n.

F (λ) − Fn (λ) =.......... ..
Из (2) следует, что
δ
1 
F (λ) − Fn (λ) ≤ V ⋅   (3)
n 
Неравенство (3) справедливо для Re λ ≥ δ > 0 .
Из неравенства (3) следует, что Fn (λ ) → F (λ ) равномерно, при Re λ ≥ δ > 0 .
n→∞

По первой теореме Вейерштрасса F( λ ) является голоморфной в

полуплоскости вида: Re λ ≥ δ > 0 . Тогда F (λ) ∈ H (Re λ > 0) . Итак,
1. F (λ) ∈ H (Re λ > 0)
2. F (λ) ≤V , Re λ >0
3. F (λ) = 0, k =1,2...
Рассмотрим дробно-линейную функцию:
1−λ
z=
1+λ
такую, что конформно переводит правую полуплоскость {Re λ > 0} в
круг { z <1} .
Обозначим F (λ( z )) =: ϕ( z ) , тогда выполнено:
32
1. ϕ( z ) ∈H ( z <1)
2. ϕ( z ) ≤V , ∀z ∈U 1 (0)
1− λ
3. ϕ( z k ) = 0, z k = 1 + λ
k

1 − λk 1 − λk 1 − λk
zk = = = , начиная с номера n0 такого, что λk > 1, k ≥ n0
1 + λk 1 + λk 1 + λk
1 − λk 2 2 1
1 − zk = 1 − = ≥ = , k > k0 : λk > 1
1 + λk 1 + λk λk + λk λk
∞ ∞
1
Ряд ∑λ
k =1
расходится, тогда и ряд ∑(1 − z k ) расходится (по признаку
k k =1

сравнения числовых рядов: если …………. ряд расходится, то ………….

тоже)
По теореме 3 (единственности):
ϕ( z ) ≡ 0 ⇒ F (λ) ≡ 0
1
F (λ) = ∫ x λ dσ ( x )
0

Следовательно, в частности F (1) = F ( 2) = .. = F ( k ) = .. = 0 , поэтому получаем,

что
1
 ∫ 1dσ ( x) = 0
0
1
 x k dσ ( x) = 0
∫
0
Так как система степеней является полной, по теореме Вейерштрасса (см.
1

критерий полноты), то отсюда следует что ∫ f ( x)dσ ( x) = 0 .

0

Зам. Отрезок [0,1] в теореме Мюнтца можно заменить на любой другой

отрезок [a,b], для которого точка ноль не является внутренней. В случае, если
ноль является внутренней точкой теорема Мюнтца перестает быть
справедлива.
Пример:
Дан отрезок [−1,1] , и точка ноль – внутренняя.
Рассмотрим систему (1)  {x 2 n }n=1
∞

λn = 2n .
∞
1
Ряд ∑2n
n =1
- расходится.
Покажем, что теорема Мюнтца не справедлива.
k
Pk ( x) = ∑ci x pi - четная функция на отрезке [-1,1] (т.к. [-1,1] симметричен
i =1

относительно нуля и любой член последовательности четен)

pi ∈{2n}

33
lim Pk ( x ) = f ( k ) , x ∈[−1,1]
k →∞

Для любого x ∈[−1,1]

f ( −x ) = lim Pk ( −x ) = lim Pk ( x ) = f ( x)
k →∞ k →∞

2. Полнота системы голоморфных функций в области

Опр. Е - линейное нормированное пространство, если

1.Е – линейное пространство над K =R(или С), если выполнено:
а) Операция сложения: ∀a, b ∈E : a + b ∈E

b) Операция умножения: ∀a ∈E∀λ ∈R : λ ⋅ a ∈ E

2. существует функция действующая из E в R + =[0,+∞)

(Т.е для любого x ∈ E ставится в соответствии число ϕ( x) ∈[0,+∞) ), причем

• ∀x, ϕ( x ) ≥0

• x = Θ, то ϕ( x) =0
• ϕ(λx ) =λϕ( x ) , ∀λ∈K , ∀x ∈E (однородность)
• ϕ( x1 ) + ϕ( x 2 ) ≥ ϕ( x1 + x 2 ) , ∀x1 , X 2 ∈E (неравенство треугольника)

При этом вводится обозначение: ϕ( x ) := x

Две нормы 1 и 2 в пространстве Е называются эквивалентными, если

существуют постоянные K1 , K 2 > 0 такие, что для любого x ∈ E выполнено
K1 x 2
≤ x 1
≤K2 x 2

Можно доказать, что в -мерном пространстве любые две нормы

эквивалентны.
Опр. Система { xk }k =1 , где
∞
xk ∈ E - называется полной в пространстве Е
(линейное нормированное пространство), если для любого x ∈ E и любого
m
ε > 0 существует pm = ∑c j ⋅ xk (c j ∈C ) такое, что
j
x − pm <ε
j =1

Критерий полноты в пространстве:

Система функций { xk } k =1 полна в Е тогда и только тогда, когда для любого
∞

линейного непрерывного функционала L выполнена импликация:

34
L( xk ) = 0 (∀k =1,2,...) ⇒ L( x) = 0 ( ∀x ∈E )

Опр. Система { f k ( z )} k =1 называется полной в односвязной области D, если для

∞

любой функции f ( z ) голоморфной в области D, для любого ε > 0 и любого

m

K ⊂ ⊂ D существует pm ( z ) = ∑c j ⋅ f k j ( z ) , (c j ∈C ) такая, что выполнено:

j =1

max f ( z ) − pm ( z ) = f − pm C (K )
<ε
z∈K

Критерий полноты в области:

Система { f k ( z )} k =1 является полной в односвязной области D тогда и только

∞

тогда, когда выполнена импликация:

1
γ ( t ) ⋅ f k ( t ) ⋅ dt = 0 ( k =1,2,... ) ⇒ γ ( t ) ≡ 0
2πi ∫Γ (1)
Где Г – замкнутый кусочно-гладкий контур из D.
γ (t ) - голоморфна на контуре Г и вне этого контура Г, причем γ ( ∞) = 0
Доказательство:
Необходимость
Предположим, что система { f k ( z )} k =1 полна в ………………..
∞

Докажем, что справедлива импликация (1).

Возьмем Γ ⊂ D , γ (t ) - голоморфна на контуре Г и вне Г, γ ( ∞) = 0 , и
предположим, что
1
2πi∫ γ ( t ) f k ( t ) dt = 0 , (k =1,2,..)
Γ

Для γ(t ) используем следствие к теореме Коши для многосвязной области.

Подбираем R так, чтобы контур Г полностью лежал в круге радиуса R:
R > 0 : Γ ⊂{z : z < R} , Г заменяем на t =R
1
Тогда ∫γ (t ) ⋅ f k (t ) ⋅ dt = 0
2πi t =R
m 1
Т.е для любого Pm ( z ) = ∑c j ⋅ f k j ( z ) выполнено: 2π ⋅ i ∫γ (t ) P ( z )dt
t =R
m =0
j =1
m
1 1
(т.к. 2πi ∫γ(t )Pm ( z )dt =
t =R
∑c
j =1
j .......... .......... )
2πi  =0  
Возьмем в качестве f ( z ) = z k , k ∈N ∪{0} - фиксированное.
Функция f ( z ) ∈H ( C ) , поэтому f ( z ) можно приблизить:
f ( z ) = lim Pm ( z ) - равномерная сходимость на любом компактном
m →∞

подмножестве К из D.

Т.к. z = mlim
k
Pm ( z ) , то в пределе получаем, что
→∞
1
∫γ ( t ) ⋅ t dt = 0
k

2π ⋅ i t =R
(2)
Действительно:

35
 ∫γ (t ) ⋅ (lim )
1 1
∫γ ( t ) ⋅ t dt = Pm ( t ) ⋅ dt
k

2π ⋅ i t =R
2π ⋅ i t =R
m→∞

1
⇒ lim
m →∞ 2π ⋅ i ∫ γ ( t ) ⋅ P( t ) ⋅ dt = 0
t =R
m
=0

Используя теорему Лорана к функции γ (t ) , которая голоморфна вне круга

радиуса R с центром в начале координат, получим:
∞ Aj
γ (t ) = ∑ , ( γ ( ∞) = 0 поэтому положительных степеней нет) - ряд сходится
j =0 t j +1
равномерно на любом ограниченном замкнутом подмножестве из области
сходимости, в частности сходятся равномерно на окружности {t : t = R} .
∞ A
Подставим в (2) γ ( t ) = ∑t j +1 :
j

j =0

1  ∞ Aj  k
2π ⋅ i ∫  ∑ t
t =R j =0
 ⋅ t ⋅ dt = 0 ⇒
j +1 

∞
1 tk ∞  1 dt 
∑A ∫ ⋅ dt = ∑A j  ∫ ( =)
j
2π ⋅i t j +1
 2π ⋅i t j −k +1

j =0 t =R j =0
 t =R 
 1 dt  0,......... ..........
  =
2π ⋅i ∫ t j −k +1
 1, j −k +1 =1
 t =R 
Из всей суммы остается только одно слагаемое при j = k
(=) Ak . Получаем, что Ak = 0 .
Все коэффициенты ряда Лорана для функции γ (t ) равны нулю.
γ (t ) = 0 .

3. Примеры полных систем. Теорема А.О. Гельфонда.

Опр. x = α ∈ R называется алгебраическим, если оно является корнем

некоторого полинома с целыми коэффициентами.
m
∃Pm ( x ) = ∑a j x j , a j ∈Z такой, что Pm (α) = 0
j =0

В противном случае x называется трансцендентным.

Примеры:
1. x = 1 - алгебраическое число, т.к является корнем полинома P( x) = x −1
2. x = 2 - алгебраическое число, т.к является корнем полинома P( x) = x 2 − 2
3. x = e - трансцендентное число (по теореме Лиувиля)
4. x = π - трансцендентное число (по теореме Линдеман)

Теорема (А.О. Гельфонд)

36
 ∞

Пусть f ( z ) = ∑ ak ⋅ z - целая функция порядка ρ ,

k
0 < ρ < ∞, причем все ak ≠ 0 ,
k =0

и пусть {λk } , λk ∈C - последовательность комплексных чисел с

∞
k =1

показателем сходимости τ . Если τ > ρ , то система функций { f ( λk ⋅ z )} k =1

∞

полна во всей плоскости С.

Зам. Система строится f ( λ1 ⋅ z ) , f ( λ2 ⋅ z ),...
sin и cos не подходят по условию теоремы, не выполнено условие ……………
Доказательство:
Достаточно установить справедливость следующих импликаций:
1
γ ( t ) ⋅ f ( λk ⋅ t ) ⋅ dt = 0 ⇒ γ ( t ) ≡ 0
2π ⋅ i ∫Γ ( k =1,2,... )
здесь Г любой замкнутый кусочно-гладкий контур, γ(t ) голоморфная на Г и
вне Г, γ ( ∞) = 0
Согласно следствию к теореме Коши для многосвязной области
1
2π ⋅ i∫γ ( t ) ⋅ f ( λk ⋅ t ) ⋅ dt = 0 , (k=1,2,..) (1)
t =R

Рассмотрим вспомогательную функцию:

1
F ( λ) := ∫ γ ( t ) ⋅ f ( λt )dt = 0, λ ∈C
2πi t =R

1. F ( λk ) = 0 , ( k =1,2,... ) - очевидно, следует из (1)

2. Докажем, что F ( λ) - целая функция
∞

целая функция, тогда f ( λ ⋅ z ) = ∑ ak ⋅ λ ⋅ z , сходится для любого

k k
Т.к f ( z) –
k =0
λ, z ∈C равномерно по z : z =R (компактное подмножество)
1
F ( λ) = ∫γ(t ) ⋅ f ( λ⋅ t ) ⋅ dt =.......... .......... .......... .......... ... =
2π ⋅ i t =R

∞  1  k ∞
= ∑ak ⋅  γ (t )t k dt  ⋅ λ =:
∑
 2πi t ∫
bk λk -причем ряд сходится для любого λ ∈ C .

k =0
 =R  k =0

F ( λ) представляется в виде сходящегося во всей плоскости степенного ряда,

т.е. F ( λ) является целой функцией.
3. Оценим рост функции F ( λ) .
Используем условие теоремы, т.к f ( z ) - функция порядка ρ , то f ( z ) ≤ e z .
ρ+ε

Считаем, что z > r0 (ε)

r0 ( ε )
λ > = r1 ( ε )
ρ+ε ρ+ε ρ+ε
R ρ+ε ⋅ λ
f (λ ⋅ t ) ≤ e
λ ⋅t
=e ,
R
1
2π t ∫
1 ≤
F (λ) = ∫γ(t ) ⋅ f (λ⋅t ) dt ≤ .......... .......... .......... ........
2π ⋅i t =R =R

〈γ(t ) ≤M , ∀t =R〉

≤.......... ...... ⋅ ∫ dt
t =R
=
M ⋅ R ⋅e
R ρ +ε λ
ρ +ε
<e
λ
ρ +2 ε
, λ > r2 (ε )

ρ +ε ρ +2 ε
R ρ +ε λ
Использовали, что M ⋅ R ⋅e <e
λ
,
Обозначим M 1 := M ⋅ R

37
 ρ +ε ρ +2 ε ρ+ε ρ+ε ε
R ρ +ε λ λ
M1 ⋅ e <e ⇔ln M 1 + R ρ+ε λ <λ λ

ε
(Где ln M 1 , R ρ+ε - константы, λ - растущая функция)
 ε ln M 
⇔λ
ρ+ε
⋅  λ − R ρ+ε − ρ+ε1  > 0 ,
λ
при λ > r3 (ε ) ( ≥ r2 ( ε ) )

 


ln M 1
ρ +ε
 → 0 .
λ →∞
λ

Т.е. F (λ) оценивается сверху:

F ( λ) <e λ > r3 (ε ) .
ρ+2 ε
λ
,
Порядок роста функции F ( λ) : ρF ≤ .......... . , ∀ε > 0 .

ε - произвольное, тогда ρF ≤ ρ

τ > ρ ≥ ρF 
4. F ( λk ) = 0 τ > ρF 
 тогда по первой теореме единственности F ( λ)

тождественно равно нулю.

∞  1 
F ( λ ) = ∑ ak  ∫ γ ( t ) ⋅ t k ⋅ dt  ⋅ λk ⇒ bk = 0, ∀k
 2π ⋅ i t = R 
    
k =0

=bk

1
то 2π ⋅ i t ∫=Rγ (t )t dt = 0
k
Т.к ak ≠ 0 ,

∞ A
Пусть γ ( t ) = ∑t j +1 - ряд Лорана функции γ .
j

j =0

Далее для доказательства необходима схема доказательства теоремы

Маркушевича: Aj = 0 ( j = 0,1,2,... ) ⇒ γ ( t ) ≡ 0 . Используем критерий

Маркушевича, тогда система функций { f ( λk z )} k =1 является полной в C .

∞

Теорема (А.И. Маркушевич)

∞
f ( z ) = ∑ ak ⋅ z k - целая функция порядка 0 < ρ < ∞ и конечном типе σ , причем
k =0

k
все ak ≠ 0 , и последовательность комплексных чисел {λk } : lim λk
ρ
=τ . Тогда

система { f ( λk z )} полна по меньшей мере в круге U R ( 0) , где  τ

R0 = 

ρ


0
 σ ⋅ e ⋅ ρ 

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

38
 γ ( t ) ≡ 0.
1
Предположим, что 2π ⋅ i ∫ γ ( t ) ⋅ f ( λk ⋅ t ) ⋅ dt = 0 и докажем, что
Γ

Γ ⊂ U R0 ( 0) , γ (t ) - голоморфна на контуре Γ и вне Γ, γ ( ∞) = 0

Существует 0 < R < R0 : Γ ⊂ U R ( 0 ) .

Согласно следствию теоремы Коши для многосвязной области

1
2π ⋅ i ∫γ (t ) f ( λ t )dt
t =R
k =0 (k =1,2,... )

Введем вспомогательную функцию:

1
F ( λ) := ∫γ (t ) f ( λt )dt
2πi t =R

По условию F ( λk ) = 0 , тогда F ( λ) - целая функция (см. доказательство

теоремы Гельфонда)
∞  1 
F ( λ) = ∑ak ⋅  ∫γ (t )t
k
dt  ⋅ λk , ∀λ ∈C
 2πi 
k =0
 t =R 

Оценим рост целой функции:

f ( λt ) ≤ e λ ⋅ t > r0 (ε ) .
ρ
(σ+ε )⋅ λ⋅t
по определению типа функции ,
Считаем, что t =R

r0 (ε )
f ( λt ) ≤ e , λ> = r1 (ε )
ρ
(σ +ε ) ⋅ λ Rρ

R
F ( λ) < e (σ+2ε ) λ R λ > r2 (ε)
ρ ρ
,
Из последнего неравенства в соответствии с определением типа целой
функцией получаем
σ F ≤ ( σ + 2ε ) R ρ

∀ε > 0 , тогда …........

Поэтому для типа ….. справедливо:
τ
σ F ≤ σ ⋅ R ρ < σ ⋅ R0ρ =
e⋅ρ

Из {τ > σ F eρ ; F ( λ k ) = 0} согласно второй теореме единственности следует, что

F ( λ) ≡ 0 , тогда bk = 0 , но ak ≠ 0 . Значит
1
∫γ ( t ) ⋅ t ⋅ dt = 0
k

2π ⋅ i t =R

39
Следовательно, разлагая γ (t ) в ряд Лорана в окрестности точки t = ∞ и
используя важный пример, получим γ(t ) тождественно равна 0. Используя
критерий Маркушевича, получаем, что { f ( λk z )} полна в заданном круге.
Зам. Условие того, что ak ≠ 0 является существенным и в теореме А.О.
Гельфонда и А.И. Маркушевича. Докажем, что если хотя бы один элемент
am = 0 , m - фиксированное, то { f ( λk z )} не является полной ни в одном круге
с центром в начале координат.
Доказательство (от противного):
Предположим, что система { f ( λk z )} полна в некотором круге U R ( 0) . 0

Рассмотрим z m , где число m отмечено выше, и z ∈ H (U R (0)) ,

m
z m ∈H (C ) 0

если система полная, то z = lim

m
Pk ( z ) ,
k →∞

где Pk ( z ) = ∑c j ⋅ f ( λk z ) (не содержит z m ) - равномерно сходится в U R0 ( 0) ,

j =1

R1 < R0 .

Продифференцируем m раз обе части равенства:

z m = lim Pk ( z ) .
k →∞

Получим: m!= klim Pk( m ) ( z ) , z ∈U R1 ( 0) .

→∞

Подставим в левую часть z = 0 :

m! = lim Pk( m ) ( 0 )
k →∞

∞
∣g  z = ∑ c j⋅z j =c 0c 1⋅zc 2⋅z 2. ..
j=0 
g'  0  g' '  0 
∣c 0= g  0  , c 1= , c 2= ,...
1! 2!
Pk( m ) ( 0 ) равно произведению m! на коэффициент при степени z m в

разложении ряда Тейлора, и равно 0.

m!= 0 - противоречие .
Получим, что { f ( λk z )} не является полной ни в одном круге.

40