2.4. Числовые ряды.

Другой формой изучения числовых последовательностей являются числовые ряды. Пусть = - числовая последовательность.

Определение 12. Выражение вида (формально составленная сумма)

(6)

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

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

.

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

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

,

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

.

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

Если последовательность расходится, то говорят, что и числовой ряд расходится.

Замечание. По определению 2 сходимость ряда (6) равносильна сходимости числовой последовательности . Наоборот, если некоторая числовая последовательность, то вопрос о ее сходимости равносилен сходимости ряда , , для которого частичными суммами будут как раз члены последовательности . Это иногда используют для доказательства сходимости рядов и последовательностей. Таким образом, числовые ряды есть новая форма изучения числовых последовательностей.

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

Примеры. 1) Исследовать сходимость ряда .

Решение. Рассмотрим последовательность частичных сумм: , , ,…., , ,… т.е. . Эта последовательность не имеет предела, поэтому ряд расходится.

2) Исследовать сходимость ряда

Решение. Составим последовательность частичных сумм . Так как

,

то .

_Тогда ,

откуда следует, что ряд сходится. Аналогичным образом можно найти сумму ряда

, где

3) Исследовать сходимость ряда в зависимости отпараметра q.

Решение. Частичной суммой ряда является сумма геометрической прогрессии:

Если не существует и ряд расходится.

При и ряд расходится.

При расходится (пример 1).

Если = , т.к. и ряд сходится.

4) Показать, что ряд расходится.

Решение. Так как частичную сумму можно записать следующим образом:

.

Тогда, т.к. при , то ряд расходится.

Пусть и - два числовых ряда.

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

; .

Теорема 15. Если ряды и сходятся, то сходится их сумма, разность и произведение на число, причем ;

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

Теорема 16 (критерий Коши). Для сходимости ряда необходимо и достаточно, чтобы

Очевидно, что неравенство (2) равносильно следующему:

.

Следствие (необходимое условие сходимости ряда). Если ряд (6) сходится, то

□ При получим, согласно критерия Коши, что : , т.е. , т.е. . ■

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

Пример. Рассмотрим ряд , который называется гармоническим рядом.

Очевидно, что . Докажем, что ряд расходится. Воспользуемся критерием Коши. Возьмем и . Тогда

.

Следовательно, критерий Коши не выполняется и ряд расходится.

Определение 15. Числовой ряд (6) называется знакоположительным, если .

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

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

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

.

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

Рассмотрим пример применения этого признака.

Пример. Ряд называется обобщенным гармоническим рядом. Исследуем его сходимость в зависимости от параметра α.

Решение. Если то частичные суммы неограниченны и ряд расходится.

Если то по теореме 4 этот ряд сходится одновременно с рядом

который сходится, если . При остальных значениях α ряд расходится. Отметим, что сумма сходящегося ряда называется «дзета-функцией Римана».

Теорема 19 (признак сравнения). Пусть имеются два знакоположительных ряда:

(7) (8)

причем

. (9)

Тогда: а) если ряд (8) сходится, то сходится и ряд (7);

б) если ряд (7) расходится, то расходится и ряд (8).

Примеры. Исследовать сходимость рядов.

1) .

Решение. Ясно, что . Рассмотрим ряд , где . Поскольку а ряд - сходится как геометрическая прогрессия, следовательно, исходный ряд сходится.

2) .

Решение. Так как , а ряд расходится, как обобщенный гармонический ряд, следовательно, и ряд расходится.

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

,

то эти ряды одновременно сходятся или расходятся.

Пример. Исследовать сходимость ряда .

Решение. Проверим сначала необходимый признак:

.

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

.

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

Теорема 21 (признак Даламбера, фр. 1717-1783) Если существует предел ,

то знакоположительный ряд сходится при λ<1 и расходится при λ>1.

Пример. Исследовать сходимость ряда .

Решение.

Согласно теореме, ряд расходится.

Замечание. Если , то ряд может сходиться, а может и расходиться.

Теорема 22 (признак Коши, фр. 1789-1857). Если существует конечный предел

,

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

Замечание. При λ=1 ряд может сходиться, а может и расходиться.

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

Замечание. Очевидно, что в условиях теоремы интеграл можно заменить интегралом , где - произвольное число.

Пример. Исследовать сходимость ряда .

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

Покажем, что он сходится. При очевидно неравенство .

Ряд есть сумма бесконечно убывающей прогрессии, он сходится и её значение равно

.

Тогда по признаку сравнения ряд тоже сходится. Сумма этого ряда обозначается через е:

Очевидны следующие неравенства:

Оценим погрешность, с которой частичная сумма приближает число е. Рассмотрим разность

Таким образом, . Так, если n=6, n!=720, n!n=4320 .

Число е с пятью знаками е≈2,71828. Причем е – иррациональное число.

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

Теорема 24 (достаточный признак сходимости). Если сходится ряд , то сходится и ряд .

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

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

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

Пример. Знакопеременный ряд ,( ) сходится абсолютно по признаку сравнения, т.к. , а ряд сходится.

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

,

где .

Такой ряд иногда называют рядом Лейбница. Для этих рядов справедлив достаточный признак.

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

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

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

.

Замечание. Теорема остается верной, если условие выполняется, начиная с некоторого натурального N.

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

Пример. Вычислить с точностью δ=0,001 сумму ряда

.

Так как , то сумма будет приближенно равна