Материал: 978-5-7996-1814-8_2016

0 < Sn < M, n =1, 2, ...

Последовательность {Sn } ограничена и при возрастании n суммаSn возрастает. Поэтому последовательность имеет предел

limSn = S.

n®Ґ

Ґ

Следовательно, ряд е f (n) сходится.

n=1

Ґ

2. Пусть несобственный интеграл т f (x)dx расходится.

следует, что

limSn = +Ґ,

n®Ґ

Ґ

то есть ряд е f (n) расходится.

n=1

Замечание

Ґ

Вместо интеграла т f (x)dx можно брать интеграл

1

+Ґ

т f (x)dx , k >1, k О .

k

24

1.3. Знакочередующиеся ряды. Признак Лейбница

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

Обобщенный гармонический ряд

Ряд вида

называется обобщенным гармоническим рядом.

Исследуем его на сходимость, используя интегральный признак Коши.

2.Если p <1, то ряд расходится, так какт dx = Ґ.

1 x p

Ґdx

3.Если p =1, то ряд расходится, так как т x p = Ґ.Ґ

1

1.3. Знакочередующиеся ряды. Признак Лейбница

Знакочередующийся ряд — это ряд вида

n=1

где un > 0 "nО .

25

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

Теорема Лейбница (признак Лейбница)

Знакочередующийся ряд сходится, если:

1) последовательность абсолютных величин членов ряда монотонно убывает:

При этом сумма S ряда: 0 < S < a.

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

Рассмотрим сумму n = 2m первых членов ряда (1.18):

S2m = (u1 - u2 )+ (u3 - u4 )+ ...+ (u2m-1 - u2m ).

Из (1.19) следует, что выражение в каждой скобке положительно, значит S2m — положительна (S2m > 0) и возрастает с уве-

личением m.

Запишем эту же сумму по-другому:

S2m = u1 - (u2 - u3 )- (u4 - u5 )- ...- (u2m-2 - u2m-1)- u2m.

В силу (1.19) каждая из скобок положительна, поэтому в результате вычитания этих скобок из и1 мы получим число, меньшее чем и1, то есть

S2m < u1.

Таким образом, S2m при увеличении m возрастает и ограничена сверху, следовательно, S2m имеет предел

limS2m = S, 0 < S < u1.

n®Ґ

Мы доказали, что последовательность «четных» частичных сумм имеет предел S.

26

1.3. Знакочередующиеся ряды. Признак Лейбница

Докажем теперь, что «нечетные» частичные суммы также стремятся к пределу S.

Рассмотрим сумму n = 2m +1 первых членов ряда (1.18):

= S2m + u2m+1.

Так как по условию

Итак, последовательность «нечетных» частичных сумм имеет предел S.

Таким образом, ряд (1.18) сходится.

Замечания

1.Теорема Лейбница справедлива, если неравенства (1.19) выполняются, начиная с некоторого номера N.

2.Теорема Лейбница геометрически иллюстрируется следующим образом. Будем на числовой прямой откладывать частичные суммы:

S1 = u1, S2 = u1 - u2 = S1 - u2, S3 = S2 + u3, S4 = S3 - u4, S5 = S4 + u5,....

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

3. Оценка ошибки.

Заменим S частичной суммой Sn. Оценим ошибку, которую

мы допускаем при данной замене.

Отброшенный ряд (остаток) представляет собой знакочередующийся ряд

(-1)n+1(un+1 - un+2 + ...),

сумма которого по абсолютной величине меньше первого члена этого ряда (то есть меньше un+1).

27

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

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

Пример. Проверить, что знакочередующийся ряд сходится и вычислить его сумму с точностью до 0,01:

14 - 412 + 413 - 414 + ...(-1)n+1 41n + ...

Решение

Проверим условия (1.19) и (1.20): 1) un > un+1;

2) lim 1n = 0.

n®Ґ 4

Так как оба условия выполняются, то ряд сходится. Четвертый член ряда будет первым, меньшим 0,01:

a4 = 2561 » 0,003 < 0,01.

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

S= 14 - 412 + 413 » 0,203 » 0,20.

1.4.Знакопеременные ряды. Абсолютная и условная сходимость

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

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

28