Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Числовые и степенные ряды. Учебное пособие.pdf
Скачиваний:
0
Добавлен:
11.08.2026
Размер:
541 Кб
Скачать

§ 3. ЗНАКОПЕРЕМЕННЫЕ РЯДЫ

Перейдем к изучению рядов, члены которых являются действительными числами любого знака. Если ряд содержит конечное число отрицательных членов, то, отбросив достаточное количество начальных членов ряда, сведем дело к исследованию ряда с положительными членами (по свойству 1 рядов). Если ряд содержит конечное число положительных членов, то, поменяв знаки всех членов и воспользовавшись свойством 2 рядов, получим рассмотренный случай.

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

3.1. Достаточный признак сходимости знакопеременного ряда

Если знакопеременный ряд

 

un

(8)

n=1

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

 

| un |

(9)

n=1

 

сходится, то и данный ряд тоже сходится.

Доказательство. Рассмотрим вспомогательные ряды:

 

2 | un |,

(10)

n=1

 

 

(un + | un |) .

(11)

n=1

 

Из неравенства | un |un | un |

следует, что

0 un + | un |2 | un |, n =1,2,...

 

Ряд (10) сходится по второму свойству сходящихся рядов. Следовательно, ряд (11) сходится по первому признаку сравнения. Ряд

29

(8) получен почленным вычитанием сходящихся рядов (11) и (9), поэтому он сходится по свойству 3 сходящихся рядов.

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

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

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

 

cos n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(12)

 

 

n

 

 

 

 

 

 

 

n=1

3

 

 

 

 

 

 

 

 

 

 

 

Решение. Рассмотрим ряд, составленный из абсолютных вели-

чин членов данного ряда

 

 

 

 

 

 

 

 

cos n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

(13)

n

 

 

 

 

 

 

 

n=1

 

3

 

 

 

| cosn |

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Общий член ряда | un

|=

 

= vn. Ряд vn

сходится

n

n

 

 

 

 

 

 

3

 

3

 

n=1

 

1

 

(ряд

геометрической

прогрессии

со

знаменателем q

=

<1).

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, ряд (13) сходится по 1 признаку сравнения,

а ряд

(12) сходится абсолютно.

 

 

 

 

 

 

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

ложительные и отрицательные члены которого следуют друг за другом поочередно:

± (1)n+1un = ±(u1 u2 +u3 u4 +...),

n=1

где un > 0, n =1,2,...

30

3.2. Признак Лейбница

Если абсолютные величины членов знакочередующегося ряда

(1)n+1un , где un > 0, n =1,2,..., монотонно убывают:

n=1

un > un+1, n =1,2,...,

общий член ряда стремится к нулю:

lim un = 0 ,

n→∞

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

При этом сумма ряда S удовлетворяет неравенству: 0<S u1.

Доказательство. Рассмотрим частичную сумму четного числа 2m первых членов ряда:

S2m = (u1 u2 ) +(u3 u4 ) +... +(u2m1 u2m ).

Выражение в каждой скобке положительно по условию. Следова-

тельно,

S2m > 0

и возрастает с возрастанием номера 2m. Запи-

шем теперь эту же сумму так:

 

 

 

S2m = u1 (u2 u3 ) (u4 u5 ) ... (u2m2 u2m1 ) u2m < u1.

Таким

образом, последовательность

частичных

сумм

{S2m,m =1,2,...}

монотонно

возрастает

и ограничена

сверху.

Следовательно,

существует

предел

lim S2m = S,

причем

 

 

 

 

m→∞

 

0 < S u1.

Докажем теперь, что частичные суммы нечетного числа (2m+1) членов ряда также стремятся к пределу S. Очевидно, что S2m+1 = S2m +u2m+1. Найдем

lim

S2m+1

= lim (S2m +u2m+1 ) = lim

S2m + lim

u2m+1 = S,

m→∞

 

m→∞

m→∞

m→∞

 

так как по условию lim u2m+1 = 0.

Таким образом, lim Sn = S

 

 

m→∞

 

 

n→∞

 

 

 

 

 

при четном и нечетном n, ряд сходится.

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

31

(1)nun = −u1 +u2 u3 +... = −(u1 u2 +u3 ...) = −(1)n+1un.

n=1

n=1

Этот ряд также можно исследовать по признаку Лейбница по свойству 2 рядов.

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

(1)n

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

(14)

 

 

 

 

3

 

 

 

 

n=1 (5n +1)

 

 

 

 

 

 

 

 

Решение. Рассмотрим ряд, составленный из модулей членов

данного ряда

 

 

 

 

 

 

 

 

 

1

 

 

 

.

 

 

 

(15)

 

 

 

 

 

 

 

 

 

n=1 (5n +1)3

 

 

 

 

 

 

 

 

 

Общий член ряда (15) | un |=

1

 

<

1

.

(5n +1)3

 

 

 

 

 

 

 

 

 

 

 

n3

1

 

 

 

 

 

 

 

 

 

 

Ряд

-

ряд Дирихле,

p= 3 >1,

сходится.

3

n=1 n

 

 

 

 

 

 

 

 

 

Следовательно, ряд (15) сходится по 1 признаку сравнения, ряд (14) сходится абсолютно.

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

 

n+1

 

 

(1)

.

(16)

(n +1) ln(n +1)

n=1

 

 

 

 

 

 

Решение. Рассмотрим ряд, составленный из модулей членов

данного ряда:

 

 

1

 

 

 

 

 

.

(17)

(n +1) ln(n +1)

n=1

 

Исследуем ряд (17) по интегральному признаку Коши,

 

f(x) =

1

- монотонно убывает на интервале [1,+∞.)

(x +1) ln(x +1)

32

 

 

 

 

 

 

+∞

dx

+∞

d ln(x +1)

 

+∞

 

 

=

= ln | ln(x +1) |

=

 

 

 

 

ln(x +1)

1

1 (x +1) ln(x +1)

1

 

 

 

= lim

ln | ln(x +1) | ln(ln2) = ∞.

 

 

x→+∞

 

 

 

 

 

 

Интеграл расходится, следовательно, ряд (17) расходится. Исследуем ряд (16) на сходимость по признаку Лейбница.

Члены ряда (16) монотонно убывают по модулю, так как y= f(x) монотонно убывает,

lim un = lim

1

= 0.

 

n→∞

n→∞ (n +1) ln(n +1)

 

Следовательно, ряд (16) сходится. Так как ряд из абсолютных величин (17) расходится, ряд (16) сходится условно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)n n

 

 

 

 

 

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

.

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

n

+1

 

 

 

 

 

Решение. Рассмотрим ряд, составленный из модулей членов

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

данного ряда

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1 n

 

 

+1

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

1

 

Общий член ряда из модулей

 

u

 

=

 

. Рассмотрим v

=

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

n2 +1

 

 

 

 

n

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

оставив в числителе

 

un

 

старшие члены. Ряд

vn

=

гар-

 

 

 

 

n

монический, расходится. Найдем

 

 

 

 

 

n=1

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

un

 

= lim

n

 

 

 

 

n

= lim

 

 

n2

= lim

 

1

 

 

 

=1

> 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

n→∞ vn

 

n→∞ n2 +1

 

1

 

 

n→∞ n2 +1

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 + n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

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

n2n+1 , исследуем функцию y = x2x+1 с помощью производной:

33

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]