I
Числовые ряды.
1) Опр:
,
где
при
,
тогда
называют
числовым рядом.
-
общий член.
К-аячастичная
сумма числового ряда.
Остатком
после К-ого
члена ряда называется
.
Пример:
,
;
.
Опр: Числовой ряд
называется сходящимсяесли
существует конечный
иначе
расходящийся.
Пример: 1)
,
,
-
расходящийся ряд.
Опр: Если
конечный
то
эта величинаназывается
суммой числового ряда.
2)Свойства рядов:
Опр: Рассмотрим
и
;
.
Рассмотри
и
,
.
Теорема: пусть даны
сходящиеся ряды.
и
;
тогда
-
сходящийся
Док-во: по определению
![]()
;
![]()
.
По условию
конечный
предел
,![]()
.
Теорема: измерения конечного числа членов ряда, не влияет на его сходимость.
Теорема: (необходимое
условие сходимости)
Если числовой ряд сходится то
а
не наоборот. Док-во: по условию
конечен
и равен
.
Очевидно что
но![]()
![]()
.
Пример:
,
ряд
расходтся.
3)Числовые ряды с положительными членами.
Теорема: (признак
сравнения)
Пусть даны числовые ряды.
,
где
и
,
а
так же
.
Если
сходящийся
то
,
тоже сходящийся. Если
расходящийся
то
расходящийся.
Док-во: 1. Пусть
-
сходится. Рассмотрим
.
Т.к ряд
сходится то
конечный![]()
.
2 Пусть
расходится
т.е
т.к
то
.
Теорема: Рассмотрим
и
где
и
,
.
Пусть
,
где
и
-
.
В этом случае ряды сходятся или расходятся
одновременно.
Док-во: 1) Пусть ряд
-сходится
По условию
,
по
теореме сравнения сходится
сходится
.
2) Пусть ряд
расходится По условию
и
по теореме сравнения
расходится
расходится.
Следствие: Пусть
даны два ряда с положительными членами
и
. если
то
ряды членов либо расходятся либо сходятся
одновременно. Пример:
ряд
сходится т.к
сходится
и
.
Теорема: (интегральный
признак Коши) Пусть
дан числовой ряд
где
,
,
,
Рассмотрим непрерывную неубывающую
функцию определенную при
,
,
сходится тогда и только тогда когда
сходится
.
Док-во: Рассмотрим числовой ряд![]()
Очевидно
сходимость
ряда
эквивалентно
сходимости
.
Из монотонности
и
условия на члены ряда
при
;
;
.
По теореме сравнения из сходимости
сходимость
ряда
,т.е
сходится несобственный интеграл
.
Пусть сходится
сходится
ряд
по
теореме сравнения сходится
сходится
ряд
.
Опр:
-гармонически
ряд. Пример:
;
расходится.
Теорема: (Признак
Даламбера)
Пусть дан числовой ряд
где
,
тогда
если начиная с некоторого номера №
выполнено неравенство.
,
то ряд сходится. Если --=--
то ряд расходится.
Док-во: Пусть
,
,
т.е![]()
,
.
Т.к ряд
сходится
то по признаку сравнения сходится ряд
.
Пусть
![]()
,![]()
следовательно
ряд сходится.
Следствие: Пусть
дан
,![]()
Если
то
ряд сходится Если
то расходится.
Док-во: Пусть
Рассмотрим
которое
удовлетворяет неравенству
т.е
.
Из определения предела следует
,
,
ряд
сходится по доказанной теореме.
Аналогично для
.
Теорема(Радикальный Признак Коши.)
Пусть дан числовой
ряд с положительным членом
,
,
.
Если начинать в некоторого номера
выполненного неравенства,
то
ряд сходится если --=--
то
расходится. Док-во: Пусть выполнено
неравенство![]()
-сходится
по признаку сравнения. ,т.к
бесконечно
убывающая геометрическая прогрессия.
Пусть --=--![]()
-расходится
по правилу сравнения т.к ряд
расходится.
Следствие: Пусть
дан ряд
где
,
.
Если
то
ряд сходится Если
то
расходится.
Док-во: Пусть
Рассмотрим
,
т.е
.по
определению предела последовательности
Рассмотрим
которое
удовлетворяет неравенству
из
чего следует что ряд сходится по признаку
Коши.
4)Опр: Числовой ряд называется знакопеременным если его члены не обладают свойством постоянства знака.
Опр: Знакопеременный ряд называется абсолютно сходящийся если сходится ряд составленный из абсолютных величин членов ряда.
Опр: Ряд
называетсяусловно
сходящимся, если сам он сходится, а ряд,
составленный из абсолютных величин его
членов, расходится. То есть, если
существует
(и не бесконечен), но
.
Теорема: Пусть
знакопеременный ряд
сходимость абсолютная
ряд сходится. Док-во: По условию ряд
сходится следовательно сходящийся ряд
;
,
по
признаку сравнения сходится ряд
сходится
ряд исходный.
т,к
.
Теорема Римана:
Пусть ряд
сходится
условно и
произвольное
вещественное число тогда
такая
перестановка членов ряда что
-
сумма ряда.
Опр: знакопеременный ряд является знакочередующимся если любые 2 соседних члена ряда имеют разные знаки.
Признак Лейбница:
Пусть дан знакочередующийся ряд
;
и
-
ряд сходится.
Док-во: Рассмотрим
ряд
;![]()
![]()
.
Из Условия
,
,…,
;
,
т.е
ограниченная
последовательность. Рассмотрим
-
монотонно возрастающая. По теореме
Вейерштрасса о пределе монотонной
ограниченной последовательности:
.
Рассмотрим
.
По условию
по
доказанному
исходный
ряд сходится и доказан признак Лейбница.
Следствие: Пусть
дан знакочередующийся ряд удовлетворяющий
признаку Лейбница. Справедлива оценка
для остатка данного ряда
.
Док-во:
,
т.е остаток ряда удовлетворяющий признаку
Лейбница. Из док-ва признака Лейбница
.
II
