метод сравнения неприменим, поскольку члены этого ряда имеют разные знаки. Если бы все члены ряда (15) были положительными, то мы получили бы ряд (3), о котором известно, что он сходится. Можно показать, что отсюда следует также сходимость ряда (15). Когда изменением знаков отрицательных членов ряда на противоположные его можно превратить в сходящийся, говорят, что исходный ряд сходится абсолютно.

Знакопеременный гармонический ряд (1) не является абсолютно сходящимся, т.к. ряд (14), состоящий из тех же, но только положительных членов, не сходится. Однако с помощью специальных признаков сходимости для знакопеременных рядов можно показать, что ряд (1) в действительности сходится. Сходящийся ряд, который не сходится абсолютно, называется условно сходящимся.

Операции с рядами. Исходя из определения сходящегося ряда, легко показать, что его сходимость не нарушится от вычеркивания или приписывания к нему конечного числа членов, а также от умножения или деления всех членов ряда на одно и то же число (разумеется, деление на 0 исключается). При любой перестановке членов абсолютно сходящегося ряда его сходимость не нарушается, а сумма не меняется. Например, так как сумма ряда (2) равна 1, сумма ряда

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

Два сходящихся ряда Sa_n и Sb_n можно почленно складывать (или вычитать), так что сумма нового ряда (который также сходится) складывается из сумм исходных рядов, в наших обозначениях

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

Суммируемость. Несмотря на то, что принятое нами определение сходимости бесконечного ряда кажется естественным, оно не является единственно возможным. Сумму бесконечного ряда можно определить и другими способами. Рассмотрим, например, ряд (7), который может быть записан компактно в виде

Как мы уже говорили, его частичные суммы попеременно принимают значения 1 и 0, и поэтому ряд не сходится. Но если мы образуем поочередно попарные средние его частичных сумм (текущее среднее), т.е. вычислим сначала среднее значение первой и второй частичных сумм, затем среднее второй и третьей, третьей и четвертой и т.д., то каждое такое среднее будет равно 1/2, и поэтому предел попарных средних также окажется равным 1/2. В этом случае говорят, что ряд суммируем указанным методом и его сумма равна 1/2. Было предложено много методов суммирования, позволяющих приписывать суммы довольно обширным классам расходящихся рядов и тем самым использовать некоторые расходящиеся ряды в вычислениях. Для большинства целей способ суммирования полезен, однако, только в том случае, если применительно к сходящемуся ряду он дает его конечную сумму.

назад   дальше