Shpori (1021435), страница 2
Текст из файла (страница 2)
Если ряд
сходится условно, то каким бы ни было число A, можно так переставить члены ряда, что сумма полученного ряда будет равна A
Замечание: Можно сделать ряд расходящимся
Функциональные ряды.
1) Основные определения.
Рассмотрим последовательность функций
. с общей областью определения Е.
Определение 1.
(1) называется функциональным рядом.
Пусть точка
. Тогда ряд (1) в точке
обращается в числовой ряд (2):
, который может сходиться или расходиться.
Определение 2. Совокупность всех значений переменной х, для которых
функциональный ряд (1) обращается в сходящийся числовой ряд, называется
областью сходимости функционального ряда.
Или:
. Если
, то
- сумма ряда в
) Равномерная сходимость функционального ряда.
Определение 1. Последовательность функций
с общей областью
определения
называется равномерно сходящейся к функции
не множестве
Обозначение:
;
- предельная функция последовательности.
Определение 2. Функциональный ряд
сходится к сумме
равномерно
на множестве Х, если последовательность его частичных сумм
сходится
равномерно к
на Х. Записывают так:
последовательность частичных сумм сходится к S равномерно на Х.
функциональный ряд сходится к сумме S в области D.
функциональный ряд сходится равномерно к S на множестве
.
Признак равномерной сходимости.
Определение 1. Числовой знакоположительный сходящийся ряд
называется мажорантой на множестве Х для функционального ряда
, если
Теорема (признак Вейерштрасса): Если функциональный ряд
имет на
множестве Х мажоранту, то он сходится равномерно на Х.
4) Методы построения мажоранты.
1) использование св-ва ограниченности ф-ций
2) использование св-ва монотонности
а)
[1/3;3]
т.к. функция монотонно
возрастает на данном отрезке
- мажоранта на этом множестве.
4) нахождение максимума функции
Здесь неравенство (3) неприменимо.
.
5) использование св-в геометрической прогрессии.
. Область определения
. Сходится равномерно на
тогда это уже будет убывающая геометрическая прогрессия,
6) Ряд
сходится равномерно на
, но признак Вейерштрасса здесь
не работает.
, но
не может быть мажорантой, т.к. расходится.
Свойства равномерно сходящихся функциональных рядов.
-
Непрерывность суммы равномерно сходящегося ряда
Теорема 1:
-
Действие с равномерно сходящимися рядами
Теорема (о почленном интегрировании равномерно сходящегося ряда)
Теорема (о почленном дифференцировании функционального ряда):
Теорема (о линейной комбинации равномерно сходящихся рядов):
Теорема (о предельном переходе):
Замечание: Из этой теоремы легко следует Т.1 (о непрерывности суммы)
Степенные ряды.
1. Теорема Абеля
Рассмотрим наиболее общий вид степеного ряда:
,
Теорема. Если ряд
сходится в точке
, то он абсолютно
сходится в круге
и сходится равномерно в круге
.
Напоминание: геометрический смысл модуля разности двух комплексных чисел -
Следствие. Если ряд
расходится в точке
, то вне круга
он расходится (доказательство "от противного").
2. Круг и радиус сходимости степенного ряда.
Опр. Положительное вещественное число R называется радиусом сходимости
степенного ряда
, если он сходится в круге
, и расходится
Опр. Круг
с центром в точке
называется центром сходимости.
Замечание. На окружности
поведение степенного ряда неизвестно.
Он может сходиться или расходиться в различных точках этой окружности.
Теорема (Коши-Адамара). Рассмотрим ряд
. Если
, то
Замечание. Центр круга сходимости - в точке
=> зная радиус R, мы знаем
область сходимости.
Ряды Тейлора
-
Единственность ряда Тейлора
Пусть функция f(x) задана в некоторой окрестности точки
и имеет в этой точке производные любого порядка, т.е.
Определение 1:
Степенной ряд вида
называется рядом Тейлора функции f(x) в точке
Если
, то ряд (1) превращается в ряд
называется рядом Маклорена функции f(x)
Итак, ряд Тейлора – ряд по степеням разности
, а ряд Маклорена – ряд по степеням X.
Теорема 1 (необходимое условие представления степенным рядом)
Если в некоторой окрестности точки
справедливо разложение
,
то f(x) – бесконечно дифференцируема и коэффициенты
вычисляются по формулам:
Теорема 2:
Ряд Тейлора для F(x) в точке
определяется единственным способом.
-
Условие представимости функции рядом Тейлора
Теорема 1 (критерий разложения в ряд Тейлора)
Пусть f(x) дифференцируема в интервале
. Тогда ее ряд Тейлора сходится к f(x) тогда и только тогда, когда остаточный член
формулы Тейлора стремиться к нулю при
Краткая запись:
Теорема 2: (Достаточное условие разложения в ряд Тейлора)
-
Ряды Маклорена основных элементарных функций.
Методы разложения функций в ряд Тейлора.
Ряды Фурье. Ортогональные системы функций и общие ряды Фурье.
1. Понятие гильбертова пространства.
Функция
называется кусочно-непрерывной на сегменте
, если она
непрерывна всюду на этом сегменте за исключением конечного числа точек
разрыва первого рода.
Рассмотрим множество всех таких функций с
Утв.1 Пространство
- линейное векторное пространство.
Аксиомы линейного пространства выполняются.
1)
(переместительное св-во).
.
4)
. Чтобы выполнялась 4я аксиома, придется принять
дополнительное условие: если
- точка разрыва, то
(чтобы в точках разрыва нулевой элемент тоже равнялся
нулю).
Утв. 2 Пространство
- линейное векторное пространство со скалярным
произведением, для которого выполнены все аксиомы =>
- евклидово п-во.
Определение. Полное евклидово пр-во называется гильбертовым пр-вом в
честь немецкого математика Гильберта (1862-1943), кот. в 1900 сформулировал
23 проблемы математики.
Понятие полноты пространства разберем ниже.
2) Норма функции и её свойства.
Опр. Число
называется нормой функции
, если
.
Св-ва нормы:
В пространстве
определим норму
.
Утв.3
- линейное нормированное пространство.
3) Ортогональные и ортонормированные системы функций.
Опр. 1
и
называются ортонормированными на
, если их
скалярное произведение = 0, т.е.
.
Опр. 2 Система функций
называется ортогональной на
,
если функции системы попарно ортогональны, т.е.
.
Опр.3 Система
называется ортонормированной, если
4) Метод ортогонализации линецно независимой системы функций. (метод
Грамма-Шмидта).
Пусть
- линейно-независимая система функций, т.е. в евклидовом
Тогда
- ортогональная система, а
- ортонормированная.
5) Ряд Фурье по ортогональной системе функций.
- ортогональная система функций в
. Предположим, что
разложима в ряд по системе
и он
:
(1)
Ряды Фурье по тригонометрическим системам.
(2) будем называть тригонометрическими системами. Докажем
ортогональность для системы (1) на
:
Опр:
ортогональна на множестве, если
.
а)
, как интеграл от нечетн. функции на четном интервале.
в)
(в силу нечетности произведения функций).
Итак, какие две различные функции мы не возмем, они ортогональны, значит
система ортогональна на
. Вычислим нормы элементов системы (1):
Запишем тригонометрический ряд для произвольной функции. Ряд Фурье по
тригонометрической системе на
:
по системе (1) на
. Вычислим коэффициенты
. Умножим
скалярно левую и правую части на 1:
. В силу ортонормальности
системы (1) все отмеченные произведения равны 0, за исключением первого
. Обозначим за
. Для вычисления
силу ортогональности системы все отмеченные скобки равны 0, за исключением
предпоследней
. Чтобы вычислить коэффициенты












