Тот факт, что ряд (6.1) сходится и его сумма равна S, записывается в виде
∞
S = ∑zn
n=1
Эта запись не означает, что были сложены все члены ряда (это сделать невозможно). В то же время, сложив достаточно много членов ряда, можно получить частичные суммы, сколь угодно мало отклоняющиеся от S.
Следующая теорема устанавливает связь между сходимостью ряда с комплексными членами zn = хп + iyn и рядов с действительными членами хп и уп.
Теорема 6.1. Для сходимости ряда (6.1) необходимо и
|
|
|
|
|
∞ |
∞ |
достаточно, |
чтобы сходились два |
ряда |
∑xn |
и ∑yn с |
||
|
|
|
|
|
n=1 |
n=1 |
действительними членами. |
При |
этом |
для |
равенства |
||
∞ |
|
|
|
|
|
|
∑zn |
=σ +iτ |
необходимо |
и |
достаточно, |
чтобы |
|
n=1 |
|
|
|
|
|
|
∞ |
∞ |
|
|
|
|
|
∑xn =σ, ∑yn =τ. |
|
|
|
|
||
n=1 |
n=1 |
|
|
|
|
|
|
Доказательство. Введем обозначения для частичных |
|||||
сумм рядов: |
Sn = z1 + z2 +... + zn ; |
|
|
|||
|
|
|
|
|||
|
σn |
= x1 + x2 +... + xn ; |
τn = y1 + y2 + ... + yn |
|
||
Тогда Sn =σn +iτn . Воспользуемся теперь теоремой 4.1: для
того чтобы последовательность Sn |
=σn +iτn имела предел |
|||
S =σ +iτ , |
необходимо |
и |
достаточно, |
чтобы |
последовательности {σ п} |
и {τ п} |
имели предел, |
причем |
|
limσn =σ , |
limτn =τ . Отсюда и следует нужное утверждение, |
|||
n→∞ |
n→∞ |
|
|
|
поскольку |
существование |
пределов последовательностей |
||
111
∞ |
∞ |
{ Sn }, {σn } и {τn } равносильно сходимости рядов ∑zn , |
∑xn |
n=1 |
n=1 |
∞ |
|
и ∑yn соответственно. |
|
n=1 |
|
С помощью теоремы 6.1 многие важные свойства и утверждения, справедливые для рядов с действительными членами, сразу переносятся на ряды с комплексными членами. Перечислим некоторые из этих свойств.
∞
1°. Необходимый признак сходимости. Если ряд ∑zn
n=1
сходится, то lim zn = 0 .
n→∞
(Обратное утверждение неверно: из
|
|
∞ |
того что lim zn = 0 , не следует, что ряд ∑zn сходится.) |
||
n→∞ |
|
n=1 |
|
|
|
∞ |
∞ |
|
2°. Пусть ряды ∑zn |
и ∑wn |
с комплексными членами |
n=1 |
n=1 |
|
сходятся и их суммы равны S и σ |
соответственно. Тогда ряд |
|
∞
∑(zn + wn ) тоже сходится и его сумма равна S +σ .
n=1
∞
3°. Пусть ряд ∑zn сходится и его сумма равна S. Тогда
n=1
∞
для любого комплексного числа λ ряд ∑(λzn ) тоже сходится
n=1
и его сумма равна λS .
4°. Если отбросить или добавить к сходящемуся ряду конечное число членов, то получится также сходящийся ряд.
5°. Критерий сходимости Коши. Для сходимости ряда
∞
∑zn необходимо и достаточно, чтобы для любого числа ε > 0
n=1
112
существовало такое число N (зависящее от ε ), что при всех
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n+ p |
|
|
п > N и при всех p ≥ 0 выполнено неравенство |
|
|
∑ zk |
<ε |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k =n+1 |
|
|
Так же как и для рядов с действительными членами, |
|||||||||||||||||||||||
вводится понятие абсолютной сходимости. |
|
|
|
|
|
||||||||||||||||||
∞ |
|
|
|
|
|
|
|
|
|
||||||||||||||
Ряд ∑zn называется абсолютно сходящимся, |
если |
||||||||||||||||||||||
n=1 |
|
|
|
|
|
|
|
|
|
||||||||||||||
сходится ряд |
|
|
|
|
|
|
|
|
|
||||||||||||||
∞ |
|
|
|
|
|
|
|
|
|
||||||||||||||
∑ |
|
zn |
|
= |
|
z1 |
|
+ |
|
z2 |
|
+... + |
|
zn |
|
+..., |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
n=1 |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
составленный из модулей членов данного ряда ∑zn |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
∞ |
||
Теорема 6.2. Если сходится ряд |
|
∑ |
|
zn |
|
, то ряд |
∑zn |
||||||||||||||||
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
n=1 |
||
также сходится.
(Другими словами, если ряд сходится абсолютно, то он сходится.)
Доказательство. Поскольку критерий сходимости Коши применим к рядам с произвольными комплексными членами, то он применим, в частности, и к рядам с действительными членами. Возьмем произвольное ε > 0. Так
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
как |
ряд |
∑ |
|
zn |
|
|
сходится, то |
|
|
в силу критерия |
Коши, |
||||||||||||||
|
|
||||||||||||||||||||||||
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
примененного к этому ряду, найдется такое число N, что при |
|||||||||||||||||||||||||
всех п > N и при всех р ≥ 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
n+ p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
∑ |
|
zn |
|
|
<ε |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
k =n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
В |
1.1 |
было |
показано, что |
|
|
z + w |
|
≤ |
|
z |
|
+ |
|
w |
|
для |
любых |
||||||||
|
|
|
|
|
|
||||||||||||||||||||
комплексных чисел z и w это неравенство легко распространяется на любое конечное число слагаемых. Поэтому
113
|
n+ p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ zk |
= |
|
zn+1 + zn+2 +... + zn+ p |
|
≤ |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
k =n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n+ p |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
≤ |
|
zn+1 |
|
+ |
|
zn+2 |
|
+... + |
zn+ p |
|
= ∑ |
|
zk |
|
<ε |
|||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k =n+1 |
|
|
||||
Итак, для любого ε |
> 0 найдется число N, такое что при всех |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n+ p |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
п > N и при всех р ≥ 0 выполнено неравенство |
|
∑ zk |
|
|
<ε . |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k =n+1 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
||||
Согласно критерию |
Коши, ряд ∑zn сходится, что и |
||||||||||||||||||||||||
n=1
требовалось доказать.
Из курса математического анализа известно (см., например, что утверждение, обратное теореме 6.2, неверно даже для рядов с действительными членами. А именно: из сходимости ряда не следует его абсолютная сходимость.
∞
Ряд ∑zn называется условно сходящимся, если этот ряд
|
n=1 |
|
|
|
|
|
|
||
|
|
|
|
|
∞ |
||||
сходится, |
а ряд |
∑ |
|
zn |
|
, составленный из модулей его членов, |
|||
|
|
||||||||
расходится. |
n=1 |
||||||||
|
|
|
|
|
|
||||
|
∞ |
|
|
|
|
|
|
||
Ряд |
∑ |
|
zn |
|
|
|
является рядом с действительными |
||
|
|
|
|
||||||
n=1
неотрицательными членами. Поэтому к этому ряду применимы признаки сходимости, известные из курса математического анализа. Напомним без доказательства некоторые из них.
Признаки сравнения. Пусть числа zn и wn начиная с некоторого номера N удовлетворяют неравенствам zn ≤ wn , п = N, N + 1, ... Тогда:
∞ |
|
∞ |
||||||
1) если ряд ∑ |
|
wn |
|
сходится, то и ряд ∑ |
|
zn |
|
сходится; |
|
|
|
|
|||||
n=1 |
|
n=1 |
||||||
114
∞ |
|
|
|
|
|
|
∞ |
||||||
2) если ряд ∑ |
|
zn |
|
|
|
расходится, то и ряд ∑ |
|
wn |
|||||
|
|
|
|||||||||||
n=1 |
|
|
|
|
|
|
n=1 |
||||||
расходится. |
|
|
|
|
|
|
|
|
|
||||
Признак Даламбера. Пусть существует предел |
|||||||||||||
|
|
lim |
|
zn +1 |
|
|
= l |
||||||
|
|
|
|
||||||||||
|
|
|
|
||||||||||
|
|
|
|
zn |
|
|
|
||||||
|
|
n→∞ |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|||
Тогда: |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|||||
|
|
∞ |
|
|
|
|
|
|
|
|
|
||
если l < 1, то ряд ∑zn |
|
сходится абсолютно; |
|||||||||||
|
|
n=1 |
|
|
|
|
|
|
|
|
|
||
|
|
∞ |
|
|
|
|
|
|
|
|
|
||
если l > 1, то ряд ∑zn |
|
расходится. |
|||||||||||
|
|
n=1 |
|
|
|
|
|
|
|
|
|
||
При l = 1 признак не дает ответа на вопрос о сходимости ряда.
"Радикальный" признак Коши. Пусть существует
предел lim n |
|
zn |
|
= l . Тогда: |
|
|
|||
n→∞ |
|
|
|
∞ |
|
|
|
||
|
|
|
|
если l < 1, то ряд ∑zn |
сходится абсолютно; |
n=1 |
|
∞ |
|
если l > 1, то ряд ∑zn |
расходится. |
n=1 |
|
При l = 1 признак не дает ответа на вопрос о сходимости ряда.
Пример 6.3. Исследовать сходимость рядов
∞ |
|
cosin |
|
|
|
|
∞ |
|
cos (i +n) |
|
|||
a) ∑ |
; |
|
б) |
∑ |
; |
||||||||
n |
|
n |
|||||||||||
n=1 |
2 |
|
|
|
|
|
n=1 |
2 |
|
||||
Решение. а) По определению косинуса |
|
||||||||||||
cos in = |
e−n +en |
|
en |
|
|||||||||
2 |
> |
2 |
|
||||||||||
Поэтому |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cos in |
> |
|
en |
|
= |
1 e |
n |
|
|||||
|
n |
|
|
|
|
|
|
|
|
|
|
||
2 |
|
2 2 |
n |
|
|
|
|
||||||
|
|
|
|
|
2 2 |
|
|
||||||
115