ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ

1971 МАТЕМАТИКА М 1 (104)

УДК 517.523

К. М. Слепенчук

НЕКОТОРЫЕ ПРИЗНАКИ СХОДИМОСТИ БЕСКОНЕЧНЫХ

ПРОИЗВЕДЕНИЙ
В этой заметке доказан ряд признаков, позволяющих установить
сходимость числовых бесконечных произведений или равномерную
сходимость функциональных произведений. Рассуждения будем
проводить в комплексной области. Бесконечное произведение

По -\-и )
ь (1)
ft=l
называют сходящимся к значению Р, если последовательность ча-
I стичных произведений Р = (1 + и,) (1 + и )... (1 + и ) имеет конечный,
п 2 п

отличный от нуля, предел Р.

Известно, что в действительной области сходимость рядов
со со
£ «*, £ «* (2)
ft=l ft-1
всегда обеспечивает и сходимость произведения (1). Известно также,
что в комплексной области из сходимости этих рядов не всегда
следует сходимость произведения (1). Это возможно, если на числа
и наложить дополнительные ограничения. В этом направлении пред­
к

ставляет интерес следующая известная

Т е о р е м а А. Для того чтобы произведение (1) сходилось,
достаточно, чтобы сходились ряды
оо

1
J] (и - у 4
к +...+ ( - Ifulr 1{р - 1)), (3)
оо
Mi, 2 (4)
где р>2, целое число.
Отсюда следует, например, что в комплексной области сходи­
мость рядов (2) обеспечит сходимость произведения (1), если второй
из этих рядов сходится абсолютно. После этих предва рительных
замечаний, докажем следующую теорему.
Т е о р е м а 1. Если ряды (3) и (4) сходятся при и = х и и = у , к к к к

то сходится и произведение (1) при и = х + \у . к к к

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

ряд (3) с и = х + \у . Из неравенства Мииковского
к к к

(£ i + iy | f - {£ (xl + yl Y f <{t\xU р + {i\y% \f

k
70 К. М. Слепенчук

получим, что сходится ряд (4). Осталось применить теорему А.

С л е д с т в и е 1 . Если ряды (2) сходятся и х > 0 (х < 0) или к к

V* > 0 (у < 0), то произведение (1) сходится.

к

В самом деле, если выполнены эти условия, то сходятся ряды

оо оо со оо
S **. S У» Е Re ul = £ (х\ + yl)
4=1 k*=*l *=1
ОО со

и один из рядов £xl при х >0

к (х < 0),
к или Е . У * при у > 0 &

fc=l fe=l
( . y < 0 ) , откуда и следует наше утверждение, если применить
ft тео­
рему 1 при р = 2.
Сходящееся в области D бесконечное произведение
ОО

П [1 + «* (-)! (5)

будем называть равномерно сходящимся в этой области, если для

каждого е > 0 можно найти такой номер А/(г), не зависящий от г,
чтобы в области D имело место неравенство
со

К (*) ~ 1J = | П [1 + ~ 11 < е, Л > Л/(г). (6)

Я-fl

z
Пример 1 . Произведение П ( 1 + * ) сходится равномерно

к функции Р ( г ) = 1 / ( 1 — z) в любом круге | г | < г < 1 . В самом деле,

2
так как ( 1 — z) Р „ (z) = 1 — z " , то
2
Р „ (z) = (1 - z ")/(l - z), Р (z) = 1 / ( 1 - z).
2 2
Поэтому f *„ (z) - 1 j = | P(z)/P (z) - 1 1 < г "/(1 - г ") < е ,
n /г > А/(г),
откуда и следует наше утверждение.
Т е о р е м а 2. Для того чтобы любое произведение (5) сходи­
лось равномерно в области D, необходимо и достаточно, чтобы
каждому s > 0 отвечал такой номер N(e), не зависящий от z,
чтобы для /г > А/(г) и любого q=\, 2 , . . . выполнялось в этой обла­
сти неравенство
п+д

|Я л + 9 ( 2 ) / Р ( 2 ) - 1 | = |П
п [1+«Лг)1-1|<е. (7)
ft—п+1
Д о к а з а т е л ь с т в о . Н е о б х о д и м о с т ь . Пусть произведение
(5) сходится равномерно в области D, следовательно, | ir„ (z) — 11 < s
Для любого 0 < е < 1 и I P M)/P (z) - 1 ] = 1 - (z)j-n+q(z) - . 1 К
n+ n я

< 2s/(l — е), т. е. имеет место (!)•

Д о с т а т о ч н о с т ь . Пусть выполнено условие (7). Это обеспе­
чивает, в силу известного признака, сходимость произведения (5)
при каждом z £ D. В таком случае неравенство (6) легко следует
из условия (7).
С л е д с т в и е 2. Для равномерной сходимости в области D про­
изведения (5) необходимо, чтобы в этой области и (z) —»0 равно­ к

мерно при k'—*oo.

В этом легко убедиться, если в теореме 2 положить q = 1 .
 71

Т е о р е м а 3. Для того чтобы произведение (5) сходилось рав­

номерно в области D, необходимо и достаточно, чтобы в этой
области равномерно сходился ряд
со
' .. £ in.[l +u (z% k (8)

составленный из главных логарифмов членов произведения (5).

Д о к а з а т е л ь с т в о . Н е о б х о д и м о с т ь . Пусть произведение
(5) сходится равномерно в области D, т. е. | т;„ (z) — 11 < s для любого
s > 0 и п> Л/(е), в частности, 0 < s < 1; кроме того, в силу извест­
ного признака ((1], с. 26) ряд (8) сходится при каждом z (- D. Пусть
г = х + iy и
оо ОС ОО " '

1
r„(z)= £ In |1 4 «*(*)] = £ а (х,к у) + i £ Ь (х, у) = г' * +
к rf.

В таком случае ~„ (z) = exp [r^ + ir®>] == (ехр г*/») (cos i sin r<|>) и
2 1 2 !) 2
I ^ (z) - 1 j = (exp И, »- l ) + 4 exp r„ • sin (/f/2). (9)
Отсюда I exp — 1 j < s, (sin (rfj2) | < e/2 (1 — г), а следовательно,
г<*> и sin (г&>/2) равномерно в D стремятся к нулю при п — о о . Мы
2)
можем положить Иг* = 2а т. + 2 ? п \ - ~/2 < г„ < тг/2, где * — целые
п п

числа, вообще говоря, зависящие от л и г . В таком случае, г (г) — п

2)
+ 2а тг1 + 2/i i, а следовательно.
{ ]
~г п л

In [1 4 И (г)] = я _ / Д , 4 2 (а - «„,,) ic i + 2 (И?' - r^-i).

п (Ю)
2) 2) 2)
Так как | sin (/i /2) | = | sin г„ |, то г„ —>0 равномерно при п —> оо.
Кроме того, в силу следствия 2, и„(г) —• 0 равномерно при п—*оо,
а следовательно, \u (z)\ < q < 1, п>п .
n Если воспользоваться раз­ 0

ложением
Infl 4- Й (г)] = и„ (z) — — и\ (г) 4~~ и\ (г) - . . . , « > %
Я

то •.
i In (1 + « „ ( г ) ] \ < \ и (z) \ (1 -!- q + <Г+...) = j u (z) |/(1 - q).
п n

откуда In |1 4 u (z)]—*0 n равномерно при n —• со. В таком случае,

тождество (10) показывает, что | а — - а | < г для любого г > О, л я+1

начиная с п > n А так как % — целые числа, то отсюда % — <х

v п+1

для достаточно больших значений п. Другими словами, а„ не зависит

от п. Таким образом,
гЛ^^гУ + 2r.i*(z) + 2~r n i,
( )
(11)
где a(z) — целое число, зависящее от z. Так как г (г)-~>0 и г^—»0 п

для каждого z £ D при я—»со, то из тождества (11) следует, что

1 {
a(z) — 0 для каждого z £ D. В таком случае, r (z) = Д ' 4- 2г п для n

каждого z £ D, откуда следует равномерная сходимость ряда (8).

Д о с т а т о ч н о с т ь . Если ряд (8) сходится равномерно, то
irL01 < е, j r „ | < s для любого г > 0 и п > Л'(в). Заметим, что из схо­
( 2,

димости ряда (8) при каждом z (- D следует сходимость произведе­

ния (5), а следовательно, имеет смысл (9), откуда и следует равно­
мерная сходимость в области D произведения (5). ,
Т е о р е м а 4. Для того чтобы любое произведение (5), для
которого в области D последовательность {u (z)\ равномерно стре- k
72 К. М. Слепенчук

мится к нулю и
со
2 !«'*(*) К Л (12)

где / • > • 1 , «елое число, сходилось равномерно в этой области,

необходимо и достаточно, чтобы, в области D равномерно сходился
ряд
со оо

+1
Е =2] [и*(г) (г) + . . . + ( - 1)' 4(г)/г]. (13)
Д о к а з а т е л ь с т в о . Н е о б х о д и м о с т ь . Пусть произведение
(5), для которого выполнено (12) и u (г) — 0 равномерно в области k

D, сходится равномерно в этой области. Следовательно, | и„ (г) | <

<q < 1, начиная с некоторого k > k и всех z £ D. Поэтому для k>k 0 0

2
In [1 + u {z)\ = v (z) + ( - 1 Г (z),
k k (14) %

где <?,(2) = u' k

+i 2
(z)/(r + 1) - и£+ (z)/(r + 2) + . . . , a
| (г)|<[Мг)!К(г)|/(1-<7).
? й (15)
Отсюда для любого е > О
со

J] (~ 1 Г ? (г)|<^-, 2
А * 0 < Я > А/(а). (16)
й=п+1
Следовательно, ряд
оо
Е(-1ГЧ(*) (17)

сходится равномерно в области D. С другой стороны, в силу равно­

мерной сходимости произведения (5) сходится также равномерно
ряд (8), если применить теорему 3. Но тогда (14) показывает, что
в области D равномерно сходится ряд (13), который представляет
собой разность двух равномерно сходящихся рядов.
Д о с т а т о ч н о с т ь . Пусть теперь, прежде всего, выполнено
(12) и u (z) —»0 равномерно при k—*oo. В таком случае, имеют место
k

(14), (15), (16). Следовательно, ряд (17) сходится равномерно. Если

при этом равномерно сходится ряд (13), то из (14) следует равно­
мерная сходимость ряда (8), а вместе с ним произведения (5).
1
Эта теорема при г = 1 была доказана Ар цел а [2] '.
оо
1
П р и м е р 2. Произведение П I + ёЛ )Ь Sk( ) х x
= (— 1 ) ^ ( 1 — х)
сходится равномерно в области D{0<x < 1}. В самом деле, легко
видеть, что ряд с общим членом g (x) сходится равномерно в обла­ k

сти D. Далее, ряд с общим членом | £*(•*)] сходится к функции

5 ( x ) = 1, 0 < х < 1, S(1) = 0, которая является ограниченной. Заме­
тим, что он сходится в силу теоремы Дини неравномерно. Осталось
применить теорему 4 при г = 1 .
г. Днепропетровск Поступило
11 VI 1968
ЛИТЕРАТУРА
1. Т и т ч м а р ш Е. К. Теория функций. М., Гостехиздат, 1951.
2. H a r d y О. Н. A note on the continuity or discontinuity of a function defined
by an infinite product. Proc. London Math. S o c , (2), v. 7, 1909, p. 40—47.

• - 0 в [2] дается формулировка теоремы Арцела,