Лекция 1. Числовые ряды.

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

Бесконечные ряды широко используются в теоретических исследованиях математиче-

ского анализа, имеют разнообразные практические применения.
Числовым рядом (или просто рядом) называется выражение вида
∞
∑ un = u1 + u2 + K + un + K, (1)
n =1
где u1, u2 ,K, un ,K - действительные или комплексные числа, называемые членами ряда, un -
общим членом ряда.
Ряд считается заданным, если известен общий член ряда un , выраженный как функция
его номера n : un = f ( n ) .
Сумма первых n членов ряда называется n -й частичной суммой ряда и обозначается
через Sn , т.е. Sn = u1 + u2 + K + un .
Рассмотрим частичные суммы: S1 = u1, S2 = u1 + u2 , S3 = u1 + u2 + u3 ,K .
Если существует конечный предел S = lim Sn последовательности частичных сумм ря-
n →∞
∞
да, то этот предел называют суммой ряда и говорят, что ряд сходится. Записывают: S = ∑ un .
n =1
Если lim Sn не существует или lim Sn = ∞ , то ряд называют расходящимся. Такой ряд суммы
n →∞ n →∞
не имеет.
Исследуем сходимость ряда

a + aq + aq2 + ... + aqn −1 + ... ( a ≠ 0 ) ,

который называется рядом геометрической прогрессии.

Как известно, сумма первых n членов прогрессии находится по формуле
n a (1 − q n )
Sn = ∑ aqk = 1− q
, ( q ≠ 1) . Найдем предел этой суммы:
k =0

a (1 − q n ) a qn
lim Sn = lim = − a lim .
n →∞ n →∞ 1 − q 1− q n →∞ 1 − q

Рассмотрим следующие случаи в зависимости от величины q :

a
1. Если q < 1 , то q n → 0 при n → ∞ . Поэтому lim Sn = , ряд сходится, его сумма
n →∞ 1− q
a
S= ;
1− q
2. Если q > 1 , то q n → ∞ при n → ∞ . Поэтому lim Sn = ∞ , ряд расходится;
n →∞
3. Если q = 1 , то при q = 1 ряд принимает вид a + a + a + ... , для него Sn = a ⋅ n и
S = lim Sn = ∞ , т.е. ряд расходится; при q = −1 ряд принимает вид a − a + a − a + ... - в этом
n →∞
случае Sn = 0 при четном n и Sn = a при нечетном n . Следовательно, lim Sn не существует и
n →∞
ряд расходится.
 Таким образом, ряд геометрической прогрессии сходится при q < 1 и его сумма равна
a
S= , а расходится при q ≥ 1 .
1− q
Нахождение n – й частичной суммы Sn и ее предела для произвольного ряда во многих
случаях является непростой задачей. Поэтому для выяснения сходимости ряда устанавливают
специальные признаки сходимости. Первым из них, как правило, является необходимый при-
знак сходимости.
Теорема 1. (Необходимый признак сходимости ряда). Если числовой ряд (1) сходится,
то его общий член un стремится к нулю, т.е. lim un = 0 .
n →∞
Доказательство. Пусть ряд (1) сходится и lim Sn = S . Тогда и lim Sn −1 = S (при
n →∞ n →∞
n → ∞ и ( n − 1) → ∞ ). Учитывая, что un = Sn − Sn −1 при n > 1 , получаем:

lim un = lim ( Sn − Sn −1 ) = lim Sn − lim Sn −1 = S − S = 0 .

n →∞ n →∞ n →∞ n →∞

Следствие (достаточное условие расходимости ряда). Если lim un ≠ 0 или этот пре-
n →∞
дел не существует, то ряд расходится.
Теорема 1 дает необходимое условие сходимости ряда, но не достаточное: из условия
lim un = 0 не следует, что ряд сходится. Это означает, что существуют расходящиеся ряды,
n →∞
для которых lim un = 0 .
n →∞
В качестве примера рассмотрим так называемый гармонический ряд

∞ 1 1 1 1 1
∑ n = 1 + 2 + 3 + 4 + ... + n + ...
n =1

1
Необходимый признак сходимости выполняется: lim un = lim = 0 . Однако гармони-
n →∞ n →∞ n
ческий ряд расходится. Покажем это.
n
 1
Как известно, lim  1 +  = e . Отсюда следует, что при любом n ∈ N имеет место не-
n →∞  n
n
 1
равенство  1 +  < e . Логарифмируя это неравенство, получим:
 n

 1
n ⋅ ln  1 +  < 1 ,
 n

т.е.

1 n +1 1
> ln , > ln(n + 1) − ln n .
n n n

Подставляя в полученное неравенство поочередно n = 1,2,..., n − 1, n , получим:

1 1 1
1 > ln 2, > ln 3 − ln 2, > ln 4 − ln 3 , …………………, > ln(n + 1) − ln n .
2 3 n
Сложив почленно эти неравенства, получим

1 1 1
1+ + + ... + = Sn > ln(n + 1) .
2 3 n

Поскольку lim ln( n + 1) = ∞ , получаем lim Sn = ∞ , т.е. гармонический ряд расходится.

n →∞ n →∞

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

Необходимый признак сходимости не дает, вообще говоря, возможности судить о том,

сходится ли данный ряд или нет. Сходимость и расходимость ряда во многих случаях можно
установить с помощью так называемых достаточных признаков.
Рассмотрим некоторые из них для знакоположительных рядов, т.е. рядов с неотрица-
тельными членами (знакоотрицательный ряд переходит в знакоположительный путем умноже-
ния его на (− 1) , что, как известно, не влияет на сходимость ряда).
Сходимость или расходимость знакоположительного ряда часто устанавливается путем
сравнения его с другим («эталонным») рядом, о котором известно, сходится он или нет. В осно-
ве такого сравнения лежат следующие теоремы.
Теорема 2. Пусть даны два знакоположительных ряда
∞ ∞
∑ un ∑ υn .
n =1 n =1
Если для всех n выполняется неравенство un ≤ υn, то из сходимости второго ряда следу-
ет сходимость первого ряда, а из расходимости первого ряда следует расходимость второго ря-
да.

Теорема 3. (Предельный признак сравнения). Пусть даны два знакоположительных

ряда

∞ ∞
∑ un ∑ υn .
n =1 n =1

un
Если существует конечный, отличный от нуля, предел lim =A (0 < A < ∞ ) , то эти ряды
n →∞ υn
сходятся или расходятся одновременно.

В качестве “эталонных” рядов при использовании признаков сравнения, как правило, ис-
пользуются ряд геометрической прогрессии и так называемый обобщенный гармонический ряд
(или ряд Дирихле):

∞ 1 1 1 1 1
∑ α
= 1 + α
+ α
+ α
+ K + α
+ K,
n =1 n 2 3 4 n
где α > 0 - действительное число, который при α = 1 переходит в гармонический ряд. При из-
ложении интегрального признака Коши мы покажем, что ряд Дирихле сходится при α > 1, рас-
ходится при α ≤ 1.
Теорема 4. (Признак Даламбера). Пусть дан числовой ряд с положительными членами
u
и существует конечный или бесконечный предел lim n +1 = l. Тогда ряд сходится при l < 1 и
n →∞ un
расходится при l > 1 .
 Замечания.
1. Если l = 1 , то числовой ряд может быть как сходящимся, так и расходящимся.
2. Признак Даламбера целесообразно применять, когда общий член ряда содержит вы-
ражение вида n ! или a n .
∞ 1
Пример. Исследовать на сходимость ряд ∑ .
n = 0 ( n + 1)!
Решение. Находим
1
u
l = lim n +1 = lim
( n + 2 ) ! = lim (n + 1)! = lim 1 = 0.
n →∞ un n →∞ 1 n →∞ ( n + 2 ) ! n →∞ n + 2
(n + 1)!
Так как l = 0 < 1, то данный ряд по признаку Даламбера сходится.
Иногда удобно пользоваться радикальным признаком Коши для исследования сходимо-
сти знакоположительного ряда. Этот признак во многом схож с признаком Даламбера, о чем
говорят его формулировка и доказательство.
Теорема 5. (Радикальный признак Коши). Пусть дан ряд с положительными членами и
существует конечный или бесконечный предел lim n un = l. Тогда ряд сходится при l < 1 и
n →∞
расходится при l > 1.
Как и для признака Даламбера, в случае, когда l = 1, вопрос о сходимости ряда остается
открытым. Доказательство теоремы полностью аналогично доказательству признака Даламбе-
ра. Поэтому позволим себе опустить его.
∞ n2
2  n +1
Пример. Исследовать на сходимость ряд ∑ n ⋅   .
n =1 3  n 
Решение. Так как

∞ n2 ∞ n2
2  n +1 1  n +1
∑ n ⋅ n  = 2⋅ ∑ n ⋅  ,
n =1 3   n =1 3  n 

то применим радикальный признак Коши к ряду

∞ n2
1  n 
∑ n ⋅ n +1 .
n =1 3  

Вычисляем

n2 n
nu n 1  n +1 1  1 e
l = lim n = lim   = lim  1 +  = < 1.
n →∞ n →∞ 3n  n  3 n →∞  n  3

∞ n2
1  n +1
Ряд ∑ n ⋅   сходится, а значит, сходится и исходный ряд, согласно свойству ря-
n =1 3  n 
дов.
Теорема 6. (Интегральный признак Коши). Если члены знакоположительного ряда
∞
∑ un могут быть представлены как числовые значения некоторой непрерывной монотонно
n =1
убывающей на промежутке [1; +∞ ) функции f ( x) так, что
u1 = f (1) , u2 = f ( 2 ) ,K, un = f ( n ) ,K , то:
+∞
1) если ∫ f ( x )dx сходится, то сходится и ряд;
1
+∞
2) если ∫ f ( x )dx расходится, то расходится также и ряд.
1
Доказательство. Рассмотрим криволинейную трапецию, ограниченную сверху графи-
ком функции y = f ( x ) , основанием которой служит отрезок оси Ox от x = 1 до x = n (см. рис.
1). Строим входящие и выходящие прямоугольники, основаниями которых служат отрезки
[1;2], [2;3], ... . Учитывая геометрический смысл определенного интеграла, запишем:
y

Рис. 1 u1 u2 y = f (x)

un-1 un

O 1 2 3 n -1 n x

n
f (2) ⋅ 1 + f (3) ⋅ 1 + ... + f (n ) ⋅ 1 < ∫ f ( x )dx < f (1) ⋅ 1 + f (2) ⋅ 1 + ... + f ( n − 1) ⋅ 1 ,
1

или

n
u2 + u3 + ... + un < ∫ f ( x )dx < u1 + u2 + ... + un −1 ,
1

или
n
Sn − u1 < ∫ f ( x )dx < Sn − un . (2)
1

+∞ +∞
Случай 1. Несобственный интеграл ∫ f ( x )dx сходится, т.е. ∫ f ( x )dx = A . Поскольку
1 1
n +∞
∫ f ( x )dx < ∫ f ( x )dx = A , то с учетом неравенства (2) имеем: Sn − u1 < A , т.е. Sn < u1 + A . Так
1 1
как последовательность частичных сумм монотонно возрастает и ограничена сверху (числом
u1 + A ), то, по признаку существования предела, имеет предел ( lim Sn = S ). Следовательно,
n →∞
ряд сходится.
+∞ +∞
Случай 2. Несобственный интеграл ∫ f ( x )dx расходится. Тогда ∫ f ( x )dx = +∞ и инте-
1 1
n n
гралы ∫ f ( x )dx неограниченно возрастают при n → ∞ . Учитывая, что Sn > ∫ f ( x )dx + un (см. 2),
1 1
получаем, что lim Sn = ∞ . Следовательно, данный ряд расходится.
n →∞
Теперь рассмотрим вопрос о сходимости ряда Дирихле, который был упомянут выше.
Для исследования ряда на сходимость применим интегральный признак Коши.
1
Рассмотрим функцию f ( x ) = α . Эта функция непрерывна, монотонно убывает на про-
x
1
межутке [1; +∞ ) и f (n ) = α = un . При α ≠ 1 имеем:
n

1−α b  b1−α  1
1  
∞ b
dx −α x , если α > 1,
∫ x α = blim
→∞
∫ x dx = lim
b→∞ 1 − α
= lim  −  = 1 − α
b→∞  1 − α 1 − α  
1 1 1  ∞, если α < 1.

1
При α = 1 имеем гармонический ряд un = , который расходится. Итак, ряд Дирихле
n
сходится при α > 1 , расходится при α ≤ 1 .

Знакочередующиеся ряды. Признак Лейбница.

Рассмотрим важный класс рядов, называемых знакочередующимися.
Знакочередующимся рядом называется ряд вида

∞
n +1 n +1
u1 − u2 + u3 − u4 + K + ( −1) un + K = ∑ ( −1) un , (3)
n =1

где un > 0 для всех n ∈ Ν (т.е. ряд, положительные и отрицательные члены которого следует
друг за другом поочередно).
Для знакочередующихся рядов имеет место достаточный признак сходимости (установ-
ленный в 1714 г. Лейбницем).
Теорема 7 (Признак Лейбница). Знакочередующийся ряд (3) сходится, если:
1. Последовательность абсолютных величин членов ряда монотонно убывает, т.е.
u1 > u2 > u3 > K > un > K;
2. Общий член ряда стремится к нулю: lim un = 0.
n →∞
При этом сумма S ряда удовлетворяет неравенствам 0 < S < u1.

Доказательство. Рассмотрим сначала частичную сумму четного числа ( 2m ) членов ряда

(3). Имеем

S2m = u1 − u2 + u3 − u4 + ... + u2m −1 − u2 m = (u1 − u2 ) + (u3 − u4 ) + ... + (u2m −1 − u2m ) .

 Выражение в каждой скобке, согласно первому условию теоремы, положительно. Сле-
довательно, сумма S2m > 0 и возрастает с возрастанием номера 2m .
С другой стороны, S2m можно переписать так:

S2m = u1 − (u2 − u3 ) − (u4 − u5 ) − ... − (u2 m − 2 − u2m −1 ) − u2 m .

Легко видеть, что S2m < u1 . Таким образом, последовательность S2 , S4 , S6 , ...., S2m , ...
возрастает и ограничена сверху. Следовательно, она имеет предел lim S2m = S , причем
m →∞
0 < S < u1 .
Рассмотрим теперь частичные суммы нечетного числа ( 2m + 1 ) членов ряда (3). Очевид-
но, что S2m +1 = S2 m + u2 m +1 . Отсюда следует, что

lim S2 m +1 = lim ( S2m + u2m +1 ) = lim S2m + 0 = S ,

m →∞ m →∞ m →∞

т.к. lim u2 m +1 = 0 в силу второго условия теоремы. Итак, lim Sn = S как при четном n , так и
m →∞ n →∞
при нечетном n . Следовательно, ряд (3) сходится, причем 0 < S < u1 .
Знакочередующийся ряд является частным случаем знакопеременного ряда. Числовой
∞
ряд ∑ un , содержащий бесконечное множество положительных и бесконечное множество от-
n =1
рицательных членов, называется знакопеременным.
Для знакопеременных рядов имеет место следующий общий достаточный признак схо-
димости.
Теорема 8. (Признак абсолютной сходимости ряда). Пусть дан знакопеременный ряд

u1 + u2 + K + un + K (4)

Если сходится ряд

u1 + u2 + K + un + K, (5)

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

Доказательство. Рассмотрим вспомогательный ряд, составленный из членов рядов (4) и
(5):

∞
(u1 + u1 ) + (u2 + u2 ) + ... + (un + un ) + ... = ∑ (un + un ) .
n =1

∞
Очевидно, что 0 ≤ un + un ≤ 2 un для всех n ∈ N . Но ряд ∑ 2 un сходится в силу условия тео-
n =1
ремы и свойства 1 числовых рядов. Следовательно, на основании признака сравнения (см. тео-
∞
рема 2) сходится и ряд ∑ (un + un ) . Поскольку данный знакопеременный ряд представляет
n =1
собой разность двух сходящихся рядов
 ∞ ∞ ∞
∑ un = ∑ (un + un ) − ∑ un ,
n =1 n =1 n =1

то, на основании свойства 2 числовых рядов, ряд сходится.

Отметим, что обратное утверждение несправедливо: если сходится ряд (4), то это не оз-
начает, что будет сходиться ряд (5).
Знакопеременный ряд называется абсолютно сходящимся, если ряд, составленный из
модулей его членов, сходится.
Знакопеременный ряд называется условно сходящимся, если сам он сходится, а ряд, со-
ставленный из модулей его членов, расходится.

Пример. Исследовать на сходимость ряд. ∑

∞
( −1)n −1 ( n + 1)
n =1 n2 + n + 1
∞
n +1
Решение. Ряд, составленный из абсолютных величин ∑ n2 + n + 1 можно сравнить с
n =1
∞
1
(расходящимся) гармоническим рядом ∑ n. В самом деле, так как
n =1
2 ∞
 n +1 1 n +n n +1
lim  :  = lim = 1 , то ряд ∑ расходится, а исходный ряд абсо-
2 2
n →∞  n + n + 1 n  n →∞ n + n + 1 2
n =1 n + n + 1
лютно не сходится. Исследуем его на условную сходимость. Это можно сделать с помощью
признака Лейбница:
1) ряд знакочередующийся;
n +1
2) lim = 0;
2
n →∞ n + n + 1
n +1 n+2
3) > для любого n, так как
n2 + n + 1 ( n + 1)2 + ( n + 1) + 1

n +1 n+2 n +1 n+2 n2 + 3n + 1
− = − = > 0.
n2 + n + 1 ( n +1)2 + ( n +1) +1 n2 + n + 1 n2 + 3n + 3 ( )(
n2 + n + 1 n2 + 3n + 3 )
Таким образом, ряд сходится условно.
Среди знакопеременных рядов абсолютно сходящиеся ряды занимают особое место: на
такие ряды переносятся основные свойства конечных сумм (переместительность, сочетатель-
ность, распределительность).
Основные свойства абсолютно сходящихся рядов:
1. Если ряд абсолютно сходится и имеет сумму S , то ряд, полученный из него переста-
новкой членов, также сходится и имеет ту же сумму S , что и исходный ряд (теорема Дирихле).
2. Абсолютно сходящиеся ряды с суммами S1 и S2 можно почленно складывать (вычи-
тать). В результате получается абсолютно сходящийся ряд, сумма которого равна S1 + S2 (или
соответственно S1 − S2 )
3. Под произведением двух рядов u1 + u2 + K и υ1 + υ2 + K понимают ряд вида

( u1υ1 ) + ( υ1υ2 + u2υ1 ) + ( u1υ3 + u2υ2 + u3υ1 ) + K + ( u1υn + u2υn −1 + K + un υ1 ) + K

Произведение двух абсолютно сходящихся рядов с суммами S1 и S2 есть абсолютно

сходящийся ряд, сумма которого равна S1 ⋅ S2 .
 Таким образом, абсолютно сходящиеся ряды суммируются, вычитаются, перемножаются
как обычные суммы. Суммы таких рядов не зависят от порядка записи членов.
В случае условно сходящихся рядов соответствующие утверждения (свойства), вообще
говоря, не имеют места.
Так, переставляя члены условно сходящегося ряда, можно добиться того, что сумма ряда
1 1 1
изменится. Например, ряд 1 − + − + K условно сходится по признаку Лейбница. Пусть его
2 3 4
сумма равна S . Перепишем его члены так, что после одного положительного члена будут идти
два отрицательных. Получим ряд

1 1 1 1 1 1 1 1 1 1 1 1 1 1
1− − + − − + − − +K = − + − + − +K =
2 4 3 6 8 5 10 12 2 4 6 8 10 12

1 1 1 1 1 1  1
= 1 − + − + − + K  = S .
2 2 3 4 5 6  2

Сумма уменьшилась вдвое!

Более того, путем перестановки членов условно сходящегося ряда можно получить схо-
дящийся ряд с заранее заданной суммой или расходящийся ряд (теорема Римана).
Поэтому действия над рядами нельзя производить, не убедившись в их абсолютной схо-
димости. Для установления абсолютной сходимости используют все признаки сходимости зна-
коположительных рядов, заменяя всюду общий член ряда его модулем.