абсолютно сходящиеся ряды

ТЕОРИЯ РЯДОВ
2. ЗНАКОЧЕРЕДУЮЩИЕСЯ
И
ЗНАКОПЕРЕМЕННЫЕ РЯДЫ.
2.1. Знакочередующиеся ряды.
Признак Лейбница
• Знакочередующимся рядом называется ряд вида
u1  u2  u3  u4  ...   1
n 1

un  ...    1
n 1
n 1
un ,
un  0 n  N
(то есть ряд, положительные и отрицательные
члены которого следуют друг за другом
поочередно)
Для знакочередующихся рядов имеет место
достаточный признак сходимости, установленный
в 1714 г. Лейбницем в письме к Бернулли:
• Признак Лейбница
Если члены знакочередующегося ряда
u1  u2  u3  u4  ..   1
таковы, что
и
n 1
un  ...
 un  0 
u1  u2  u3  ...  un  ...
lim un  0
n 
То ряд сходится, его сумма положительна и не превосходит
первого члена.
 0  S  u1 
Следствие.
Остаток rn знакочередующегося ряда всегда
удовлетворяет условию
rn  un1
Пример 1
Исследовать на сходимость ряд
1
1
1
1
n 1


 ....   1
 ...
1 2 1 2  3 1 2  3  4
1  n !
1
1
1
1
n 1


 ....   1
 ...
1 2 1 2  3 1 2  3  4
1  n !
Решение
Проверим выполнение условий признака Лейбница:
1
1
1

 .... 
 ...
2! 3!
1  n !
и
1
0
n  1  n  !
lim
Условия выполнены, следовательно данный ряд сходится.
Ответ: ряд сходится
Пример 2
Исследовать на сходимость ряд

1 1 1
n 1 1
n 1 1
1     ...   1
 ...    1
2 3 4
n
n
n 1

1 1 1
n 1 1
n 1 1
1     ...   1
 ...    1
2 3 4
n
n
n 1
Решение
Проверим выполнение условий признака Лейбница:
1 1
1
1    ....   ...
2 3
n
и
1
0
n  n
lim
Условия выполнены, следовательно данный ряд сходится.
Ответ: ряд сходится
Замечания:
1) Исследование знакочередующегося ряда вида
–u1+u2−u3+... (с отрицательным первым членом)
сводится путем умножения всех его членов на (-1) и к

исследованию ряда
n 1
  1 un
n 1
Ряды, для которых выполняются условия признака
Лейбница, называются лейбницевскими (или рядами
Лейбница)
2) Соотношение 0<S<u1 позволяет получить простую и
удобную оценку ошибки, которую мы допускаем,
заменяя сумму S данного ряда его частичной суммой
Sn.
Отброшенный ряд (остаток) представляет собой также
знакочередующийся ряд (un+1−un+2+...), сумма
которого по модулю меньше первого члена этого ряда,
т.е. Sn<un+1.
Поэтому ошибка, совершаемая при замене S на Sn ,
меньше модуля первого из отброшенных членов.
Пример 3
Вычислить приблизительную сумму ряда

  1
n 1
n 1
1
n
n

  1
n 1
n 1
Решение
1
nn
Данный ряд лейбницевского типа. Он сходится.
Можно записать:
1
1
1
2
2

3
3
 ...  S
Возьмем первые пять членов ряда, т.е.
1
2
1
1
3
1
1
1
S5  1  2  3  4  5  


 0, 7834
2
3
4
5
4 27 256 3125
Сделали ошибку, меньшую, чем
1
1

 0, 00003
6
6
46656
Итак, S  0, 7834
2.2. Знакопеременные ряды.
Абсолютная и условная сходимость
• Ряд называется знакопеременным, если среди его
членов имеются как положительные, так и
отрицательные.
Знакочередующийся ряд является частным
случаем знакопеременного ряда
• Достаточный признак сходимости
знакопеременного ряда.
Если знакопеременный ряд
u1  u2  u3  ...  un  ...
таков, что ряд, составленный из абсолютных величин его
членов
u1  u2  u3  ...  un  ...
сходится, то и данный знакопеременный ряд также
сходится.
Пример 4
Исследовать на сходимость ряд
sin  sin 2 sin 3
sin n


 ... 
 ...,
2
2
2
2
1
2
3
n
 R
Решение
Наряду с данным рядом рассмотрим ряды:
sin 
sin 2
sin 3
sin n



...

 ...
2
2
2
2
1
2
3
n
и
1
1
1
1
1
 2  2  2  ....  2  ...
2
1
2
3
4
n
 *
**
Ряд (**) сходится, т.к. является обобщенным гармоническим
рядом  1 , где р=2>1
n
n 1
p
Члены ряда (*) не больше соответствующих членов ряда (**):
sin n  1 (признак сравнения).
Следовательно, ряд (*) тоже сходится. Тогда и знакопеременный
ряд сходится.
Пример 5
Исследовать на сходимость ряд
2n  1 

3
5
cos
cos
cos
cos
4 
4 
4  ... 
4
 ...
2
3
n
3
3
3
3

Решение
Наряду с данным рядом рассмотрим ряды:
2n  1 

3
5
cos
cos
cos
cos
4 
4 
4  ... 
4
 ...
2
3
n
3
3
3
3

и
1 1
1
1
 2  3  ....  n  ...
3 3
3
3
 *
**
Ряд (**) сходится, т.к. является убывающей геометрической
прогрессией со знаменателем 1 3
Члены ряда (*) не больше соответствующих членов ряда (**):
2n  1 

cos
1
(признак сравнения).
4
Следовательно, ряд (*) тоже сходится. Тогда и знакопеременный
ряд сходится.
Отметим, что признак сходимости является только
достаточным
признаком
сходимости
знакопеременного ряда, но не необходимым:
существуют такие знакопеременные ряды,
которые сами сходятся, но ряды, составленные из
абсолютных величин его членов, расходятся.
Пример 6
Исследовать на сходимость ряд

1 1 1
n 1 1
n 1 1
1     ...   1
 ...    1
2 3 4
n
n
n 1

1 1 1
n 1 1
n 1 1
1     ...   1
 ...    1
2 3 4
n
n
n 1
Решение
Это знакочередующийся ряд, для которого выполнены
условия признака Лейбница. Следовательно, данный ряд
сходится. (см. пример 2).
Однако ряд, составленный из модулей членов данного
ряда, т.е. ряд

1 1 1
1
1
1     ...   ...  
2 3 4
n
n 1 n
расходится (гармонический ряд)

• Знакопеременный ряд
u
n 1
n
называется

абсолютно сходящимся, если сходится ряд
u
n 1

• Знакопеременный ряд
u
n 1
n
называется
условно сходящимся, если он сходится, а ряд

u
n 1
n
расходится.
n
Пример 6 (продолжение)
Знакопеременный ряд

1 1 1
n 1 1
n 1 1
1     ...   1
 ...    1
2 3 4
n
n
n 1
является условно сходящимся, т.к. ряд, составленный из
абсолютных величин его членов

1 1 1
1
1
1     ...   ...  
2 3 4
n
n 1 n
есть гармонический ряд, который расходится.
Пример 7
Исследовать на абсолютную и условную сходимость
ряд


n 1
 1
n 1
n!
1
1
1
n 1 1
 1     ....   1
 ...
2! 3! 4!
n!
 1

n!
n 1

n 1
 1
1
1
1
n 1 1
   ....   1
 ...
2! 3! 4!
n!
Решение
Проверим выполнение условий признака Лейбница:
1
1
1
1

 .... 
 ...
2! 3!
n!
и
1
0
n  n !
lim
Условия выполнены, следовательно данный ряд сходится.
Рассмотрим ряд, составленный из модулей его членов:
1
1
1
1
1
 
 .... 
 ...
2! 3! 4!
n!
По признаку Даламбера данный ряд сходится, т.к:
1
un 
n!
un 1
1

 n  1!
un 1
1
n!
n!
1




un
 n  1! 1 n! n  1 n  1
un 1
1
lim
 lim
 0 1
n  u
n  n  1
n
Ответ: ряд сходится абсолютно.
Среди знакопеременных рядов абсолютно
сходящиеся ряды занимают особое место: на
такие ряды переносятся основные свойства
конечных
сумм
(коммутативность,
ассоциативность, дистрибутивность).
То
есть
абсолютно
сходящиеся
ряды
суммируются, вычитаются, перемножаются как
обычные ряды.
Суммы таких рядов не зависят от порядка записи
(перестановки) его членов.
В
случае
условно
сходящихся
рядов
соответствующие утверждения, вообще говоря, не
имеют места.
Сумма условно сходящегося ряда может меняться!
при перестановке его членов.
Рассмотрим ряд, который сходится условно (см.пример 6)

1 1 1
n 1 1
n 1 1
1     ...   1
 ...    1
2 3 4
n
n
n 1
Пусть его сумма равна S, т.е.
1 1 1
n 1 1
1     ...   1
 ...  S
2 3 4
n
Перепишем члены этого ряда так, что после одного
положительного члена будут идти два отрицательных:
1 1 1 1 1 1 1
1         ... 
2 3 4 5 6 7 8
1 1 1 1 1 1 1
1 

 1           

  ... 
2 4   3 6 8   5 10 12 

1 
1 1 1 1  1
    

  ... 
 2 4   6 8   10 12 
1
1 11 1 11 1
  1            ... 
2
2 23 4 25 6

1 
1 1 1 1 1 1 1

1








...


 
 
 



2 
2 3 4 5 6 7 8

1
1 1 1 1 1 1 1
 1
 1         ...   S
2
2 3 4 5 6 7 8
 2
S
Сумма ряда уменьшилась вдвое!
Более того, путем перестановки членов условно
сходящегося ряда можно получить сходящийся ряд с заранее
заданной суммой или расходящийся ряд.
Поэтому, действия над рядами нельзя производить, не
убедившись в их абсолютной сходимости!
Пример 8
Исследовать на абсолютную и условную сходимость
ряд
1

1
1
1
1


 .... 
2
3
4
n
n 1
 ...
1
1
1
1


 .... 
2
3
4
 1
n 1
n
 ...
Решение
Проверим выполнение условий признака Лейбница:
1
и
1
1
1

 .... 
 ...
2
3
n
1
lim
0
n 
n
Условия выполнены, следовательно данный ряд сходится.
Рассмотрим ряд, составленный из модулей его членов:
1
1
1
1
1


 .... 
 ...
2
3
4
n
Сравним его с гармоническим рядом, который расходится:
1 1 1
1
1     ....   ...
2 3 4
n
Каждый член первого ряда, начиная со второго, больше
соответствующего члена второго ряда:
1
1

2 2
1
1

3 3
....
1
1

n
n
А ряд второй расходится, следовательно расходится и
первый.
Ответ: ряд сходится условно.
Пример 9
Исследовать на абсолютную и условную сходимость
ряд


n 1
 1
4
n5
n


 1
4
n 1
n
n


5
 1
n 1
n
5
n
 1 
4
1
2
5
4

1
3
5

4
1
4
5
4
Решение
Проверим выполнение условий признака Лейбница:
1
1
2
5

4
1
3
5
 .... 
4
и
lim
n 
1
n
1
n
5
5
 ...
4
0
4
Условия выполнены, следовательно данный ряд сходится.
 ...
Рассмотрим ряд, составленный из модулей его членов:
1
1
2
5

4
1
3
5
4

1
4
5
 .... 
4
1
n
5
 ...
4
Это обобщенный гармонический ряд, где р=5/4>1. Такой
ряд сходится. (см. лекцию 2, слайд 35-36)
Ответ: ряд сходится абсолютно.
Пример 10
Исследовать на абсолютную и условную сходимость
ряд


n2
 1
n
n
ln n
ln 2 ln 3 ln 4



 ...
2
3
4


n2
 1
n
n
ln n
ln 2 ln 3 ln 4



 ...
2
3
4
Решение
Проверим выполнение условий признака Лейбница:
ln 2 ln 3 ln 4
ln n


.... 
 ...
2
3
4
n
и
ln n 

ln n
1
lim
 lim
lim  0
n  n
n 
n n n
Условия выполнены, следовательно данный ряд сходится.
Рассмотрим ряд, составленный из модулей его членов:
ln 2 ln 3 ln 4
ln n


 .... 
 ...
2
3
4
n
Проверим сходимость по интегральному признаку:
ln x
f ( x) 
,
x
x2
ln n
Эта функция непрерывная, монотонно убывает и f ( n) 
n
Следовательно, условия интегрального признака
выполнены. Имеем:


2
ln x
dx  lim
M 
x
ln M
 lim
M 

ln 2
M

2
ln x  t




dx
ln x

 dt
dx  
x
x


  ln 2   ln M 


t2
t dt  lim
M  2
ln M
ln 2
1
 lim  ln 2 M  ln 2 2  
2 M 
1
   
2
Несобственный интеграл расходится, а значит и ряд,
составленный из модулей тоже расходится.
Ответ: ряд сходится условно
Пример 11
Вычислить сумму ряда


n 1
 1
n 1
n 2 2n
1
1
1
1

 2 2  2 3  ...
1 2 2  2
3 2
с точностью до δ=0,001


 1
n 1
n 1
n 2 2n
1

1
1
1
 2 2  2 3  ...
1 2 2  2
3 2
Решение
Проверим выполнение условий признака Лейбница:
1
1
1
 2 2  2 3  ...
1 2 2  2
3 2
и
1
0
2
n
n  n 2
lim
Условия выполнены, следовательно данный
знакочередующийся ряд сходится.
Таким образом, величина отброшенного при вычислении
остатка ряда, который также является знакочередующимся
рядом, не превосходит первого отброшенного члена (на
основании следствия из признака Лейбница)
Нужное число n членов найдем путем подбора из
неравенства
1
 0, 001
2 n
n 2
n 1
n2
n3
n4
n5
n6
1
1
  0, 5  0, 001
1 2 2
1
1

 0, 0625  0, 001
2
2
2 2
16
1
1

 0, 0139  0, 001
2
3
3 2
72
1
1

 0, 0039  0, 001
2
4
4 2
256
1
1

 0, 00125  0, 001
2
5
5 2
800
1
1

 0, 00043  0, 001
2
6
6 2
2304
При n=6 неравенство
1
 0, 001
2 n
n 2
выполняется, значит, если отбросить в данном ряде все
члены, начиная с шестого, то требуемая точность будет
обеспечена.
Следовательно, сумма ряда:
1 1
1
1
1
S  S5  



 0, 449
2 16 72 256 800
Ответ: S=0,449