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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вывод: гармонический ряд расходится.

2. СУММА ГЕОМЕТРИЧЕСКОЙ ПРОГРЕССИИ ВИДА СО ЗНАМЕНАТЕЛЕМ q ЯВЛЯЕТСЯ СХОДЯЩИМСЯ ЧИСЛОВЫМ РЯДОМ, ЕСЛИ , И РАСХОДЯЩИМСЯ РЯДОМ ПРИ .

Докажем это.

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

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

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

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

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

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

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

3. ОБОБЩЕННО ГАРМОНИЧЕСКИЙ РЯД СХОДИТСЯ ПРИ s > 1 И РАСХОДИТСЯ ПРИ .

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

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

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

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

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

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

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

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

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

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

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

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

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

Ряды

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

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

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

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

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

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

К началу страницы