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