Числовой ряд.

Основные определения и понятия.

Пусть мы имеем числовую последовательность формула , где .

Приведем пример числовой последовательности: формула .

Числовой ряд – это сумма членов числовой последовательности вида формула .

В качестве примера числового ряда можно привести сумму бесконечно убывающей геометрической прогрессии со знаменателем q = -0.5: формула .

формула называют общим членом числового ряда или k–ым членом ряда.

Для предыдущего примера общий член числового ряда имеет вид формула .

Частичная сумма числового ряда – это сумма вида формула , где n – некоторое натуральное число. называют также n-ой частичной суммой числового ряда.

К примеру, четвертая частичная сумма ряда формула есть .

Частичные суммы формула образуют бесконечную последовательность частичных сумм числового ряда.

Для нашего ряда n –ая частичная сумма находится по формуле суммы первых n членов геометрической прогрессии формула , то есть, будем иметь следующую последовательность частичных сумм: .

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

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

В нашем примере формула , следовательно, ряд сходится, причем его сумма равна шестнадцати третьим: .

В качестве примера расходящегося ряда можно привести сумму геометрической прогрессии со знаменателем большем, чем единица: формула . n–ая частичная сумма определяется выражением , а предел частичных сумм бесконечен: .

Еще одним примером расходящегося числового ряда является сумма вида формула . В этом случае n–ая частичная сумма может быть вычислена как . Предел частичных сумм бесконечен .

Сумма вида формула называется гармоническим числовым рядом.

Сумма вида формула , где s – некоторое действительное число, называется обобщенно гармоническим числовым рядом.

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

ГАРМОНИЧЕСКИЙ РЯД  ЯВЛЯЕТСЯ РАСХОДЯЩИМСЯ.

Докажем расходимость гармонического ряда.

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

С другой стороны,

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

Вывод: гармонический ряд расходится.
СУММА ГЕОМЕТРИЧЕСКОЙ ПРОГРЕССИИ ВИДА  СО ЗНАМЕНАТЕЛЕМ q ЯВЛЯЕТСЯ СХОДЯЩИМСЯ ЧИСЛОВЫМ РЯДОМ, ЕСЛИ , И РАСХОДЯЩИМСЯ РЯДОМ ПРИ .

Докажем это.

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

При  справедливо

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

При q = 1 имеем числовой ряд . Его частичные суммы находятся как , а предел частичных сумм бесконечен , что указывает на расходимость ряда в этом случае.

Если q = -1, то числовой ряд примет вид . Частичные суммы принимают значение  для нечетных n, и  для четных n. Из этого можно сделать вывод, что предел частичных сумм не существует и ряд расходится.

При  справедливо

что указывает на расходимость числового ряда.
ОБОБЩЕННО ГАРМОНИЧЕСКИЙ РЯД  СХОДИТСЯ ПРИ s > 1 И РАСХОДИТСЯ ПРИ .

Доказательство.

Для s = 1 получим гармонический ряд , а выше мы установили его расходимость.

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

Осталось доказать сходимость ряда  при s > 1.

Запишем разность :

Очевидно, что , тогда

Распишем полученное неравенство для n = 2, 4, 8, 16, …

Используя эти результаты, с исходным числовым рядом можно провести следующие действия:

Выражение  представляет собой сумму геометрической прогрессии, знаменатель которой равен . Так как мы рассматриваем случай при s > 1, то . Поэтому . Таким образом, последовательность частичных сумм обобщенно гармонического ряда при s > 1является возрастающей и в тоже время ограниченной сверху значением , следовательно, она имеет предел, что указывает на сходимость ряда . Доказательство завершено.

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

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

Числовой ряд формула называется знакопеременным, если он содержит бесконечное множество как положительных, так и отрицательных членов.

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

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

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

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

К примеру, числовые ряды формула и абсолютно сходятся, так как сходится ряд , являющийся суммой бесконечно убывающей геометрической прогрессии.

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

В качестве примера условно сходящегося числового ряда можно привести ряд формула . Числовой ряд , составленный из абсолютных величин членов исходного ряда, расходящийся, так как является гармоническим. В то же время, исходный ряд является сходящимся, что легко устанавливается с помощью признака Лейбница. Таким образом, числовой знакочередующийся ряд формула условно сходящийся.