Критерий абсолютной сходимости

Числовые и функциональные ряды.

Числовые ряды. Сходимость и расходимость ряда. Сумма и остаток сходящегося ряда.

Определение

Пусть — числовая последовательность; рассмотрим наравне с данной последовательностью последовательность

каждый элемент которой представляет собой сумму некоторых членов исходной последовательности. В наиболее простом случае используются обычные частичные суммы вида

Вообще, для обозначения ряда используется символ поскольку здесь указана исходная последовательность элементов ряда, а также правило суммирования.

В соответствии с этим говорится о сходимости числового ряда:

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

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

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

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

Операции над рядами

Пусть заданы сходящиеся ряды и. Тогда:

Их суммой называется ряд

Их произведением по Коши называется ряд , где

Если оба ряда сходятся, то их сумма сходится, если оба ряда сходятся абсолютно, то их сумма сходится абсолютно. Если хотя бы один из рядов сходится абсолютно, то произведение рядов сходится.

Критерий абсолютной сходимости

Ряд сходится абсолютно тогда и только тогда, когда сходятся оба положительных ряда и Где

Доказательство. Если сходится то по признаку сравнения тем более сходятся и Наоборот, если сходятся и то сходится и их сумма

Введем важное понятие остатка ряда. Именно, если a ₁ + a ₂ + a ₃ + a ₄ +... (18)

есть некоторый ряд, а m - какое-нибудь натуральное число, то остатком ряда (8) после m -го члена называется ряд a_{m +1} + a_{m +2} + a_{m +3} +... (19)

Теорема 4. Сам ряд и его остаток сходятся или расходятся одновременно.

В самом деле, пусть частичные суммы рядов (18) и (19) суть соответственно S_n и . Тогда при n > m (20)

Допустим, что остаток (19) сходится и его сумма равна R_m. Тогда при стремлении n к бесконечности будет

откуда следует, что S_n → S_m + R_m. Иначе говоря, ряд (18) также сходится, и его сумма есть S = S_m + R_m. (21)

Обратно, если сходится ряд (18) и сумма его равна S, то из того же соотношения (20) вытекает, что

Если ряд сходится, то, как это видно из равенства (21), сумма его остатка после m -го члена в точности равна разности между суммой S всего ряда и его частичной суммой S_m. Так как при возрастании m частичная сумма S_m будет стремиться к S, то отсюда следует

Теорема 5. Сумма остатка сходящегося ряда после m -го члена стремится к нулю при возрастании m

В заключение докажем одно, часто используемое, необходимое условие сходимости ряда.

Теорема 6. Общий член сходящегося ряда при возрастании своего номера стремится к нулю.

Иными словами, из сходимости ряда a ₁ + a ₂ + a ₃ +... (22)

вытекает, что (23)

Действительно, если сумму ряда (22) обозначить через S, то с возрастанием n каждая из сумм S_n = a ₁ + a ₂ +... + a_n, S_n -1 = a ₁ + a ₂ +... + a_n -1

будет стремиться к S. Но тогда S_n - S_n -1 → S - S = 0,

и остается заметить, что S_n - S_n -1 = a_n.

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