Абсолютная сходимость

Теперь рассмотрим такие ряды, знаки членов которых уже совершенно произвольны. При этом снова будем обозначать черезa₁, a₂, a₃ ... сами члены ряда.

Теорема 1. Сопоставим с рядом

a₁ + a₂ + a₃ + ... (39)

ряд

|a₁| + |a₂| + |a₃| + ..., (40)

составленный из абсолютных величин членов данного ряда. Если сходится ряд (40), то сходится и исходный ряд (39).

В самом деле, пусть ряд

b₁ + b₂ + b₃ + ... (41)

есть ряд, состоящий из всех положительных (или равных нулю) членов нашего ряда (39) [причем их взаимное расположение таково же, как и в ряде (39)]. Пусть, далее,

c₁ + c₂ + c₃ + ... (42)

есть ряд^* абсолютных величин отрицательных членов ряда (39) (также расположенных в том порядке, в котором эти члены следуют друг за другом в исходном ряде).

Каждый из рядов (41) и (42) получается из сходящегося положительного ряда (40) путем вычеркивания части его членов (например, чтобы из (40) получить (41), надо вычеркнуть из (40) числа c₁, c₂, c₃, ...). Поэтому в силу теоремы 4 ряды (41) и (42) сходятся. Обозначим их суммы соответственно через B и C.

Обозначим, далее, через A_n, B_n и C_n частичные суммы рядов (39), (41) и (42). Пусть среди чисел

a₁, a₂, a₃, ..., a_n

имеется m(n) неотрицательных и p(n) отрицательных.

Тогда

A_n = B_m(n) - C_p(n).

Правая часть этого равенства с ростом n стремится к разности B - C. Значит, и левая часть стремится к тому же пределу. Теорема доказана.

Заметим, что из сходимости ряда (39) не вытекает, что сходится (40). Например, ряд

сходится (это следует хотя бы из теоремы Лейбница), но ряд, составленный из абсолютных величин, будучи гармоническим, расходится.

Таким образом, требование сходимости ряда (40) представляет собой более тяжелое требование, чем требование сходимости ряда (39). В связи с этим такой ряд (39), который не только сходится сам, но для которого и ряд абсолютных величин, называетсяабсолютно сходящимся. Если же ряд (39) сходится, но ряд (40) расходится, то говорят, что (39) есть ряд неабсолютно сходящийся.

Из приведенного доказательства теоремы 1 вытекает справедливость и такого предложения:

Теорема 2. Если ряд (39) сходится абсолютно, то сходятся также ряды (41) и (42), образованные положительными членами и модулями отрицательных членов этого ряда. Суммы всех трех рядов связаны соотношением

A = B - C. (43)

Признак сходимости Даламбера переносится в теорию рядов с членами любых знаков в следующей форме:

Теорема 3. Пусть ряд (39) таков, что существует предел

Если l < 1, то ряд сходится, а если l > 1, то расходится.

Действительно, если l < 1, то по признаку Даламбера будет сходиться ряд абсолютных величин членов данного ряда, а значит, и подавно и сам ряд (39). Если же l > 1, то найдется такое m, что при n ≥ m будет

Но тогда |a_m| < |a_m+1| < |a_m+2| < ...,

и общий член ряда (39) не стремится к нулю, откуда вытекает расходимость этого ряда.

Примеры применения этой теоремы будут приведены ниже.