- •Введение
- •Глава 15 Числовые ряды
- •15.1 Определение ряда
- •15.2 Простейшие признаки сравнения
- •15.3 Ряды с монотонными членами
- •15.4 Более тонкие признаки сходимости
- •15.5 Абсолютно сходящиеся ряды
- •15.6 Теорема Римана о перестановках членов ряда
- •15.7 Суммирование рядов методом средних арифметических
- •15.8 Бесконечные произведения
- •15.9 Двойные ряды
- •15.10 Задачи и упражнения
- •16.2 Признаки равномерной сходимости
- •16.3 Предельный переход в равномерно сходящихся рядах
- •16.4 Почленное дифференцирование равномерно сходящихся рядов
- •16.5 Почленное интегрирование равномерно сходящихся рядов
- •16.6 Степенные ряды
- •16.7 Ряды Тейлора
- •16.8 Суммирование рядов методом Абеля–Пуассона
- •16.9 Задачи и упражнения
- •Глава 17 Интегралы, зависящие от параметра
- •17.1 Собственные интегралы, зависящие от параметра
- •17.2 Равномерная сходимость несобственных интегралов
- •17.4 -функция
- •17.5 B-функция
- •17.6 Задачи и упражнения
- •18.2 Ортонормированные системы
- •18.3 Задачи и упражнения
- •Глава 19 Ряды Фурье по тригонометрической системе
- •19.2 Коэффициенты Фурье по тригонометрической системе
- •19.3 Сходимость ряда Фурье в точке
- •19.4 Пример непрерывной функции, ряд Фурье которой расходится в точке
- •19.5 Равномерная сходимость рядов Фурье
- •19.7 Явление Гиббса
- •19.8 Суммирование рядов Фурье методом средних арифметических
- •19.9 Теоремы Вейерштрасса о полноте
- •19.10 Преобразование Фурье
- •19.11 Другие ортонормированные системы функций
- •19.12 Задачи и упражнения
- •Краткие сведения об ученых, упоминаемых в тексте
§ 18.3. Задачи и упражнения |
177 |
Докажем необходимость. Предположим, что система { } замкнута, но не полна. Тогда в силу теоремы 18.2.3 существует элемент , для которого не выполняется равенство Парсеваля, т.е.
|
∞ |
|
‖ ‖2> |
∑ |
(18.2.18) |
| |2, |
=1
где – коэффициенты Фурье , причем ряд в правой части (18.2.18) содержит все отличные от нуля коэффициенты Фурье элемента по системе { }.
Так как ряд
∞
∑
| |2
=1
сходится, то в силу полноты пространства согласно теореме Рисса–
Фишера ряд
∞
∑
=1
сходится к некоторому элементу * и для * справедливо равенство Парсеваля
∞ |
|
‖ * ‖2= ∑| |2. |
(18.2.19) |
=1
Рассмотрим элемент ′ := − *. Так как числа являются коэффициентами Фурье и элемента и элемента *, все коэффициенты Фурье элемента ′ равны нулю. Отсюда в силу замкнутости системы следует, что ′ = 0, т.е. = *.
Сопоставив (18.2.18) и (18.2.19), получим
‖ ‖2>‖ * ‖2 .
Это противоречие заканчивает доказательство теоремы.
§18.3. Задачи и упражнения
18.3.1.Проведите доказательство неравенства (18.1.1) для произвольных элементов и .
18.3.2.Докажите. что в пространстве непрерывных на [ , ] функций ( ) величины
( ∫ |
)1/ |
| ( )|
178 |
Гл. 18. Ортонормированные системы |
при (0, 1) не удовлетворяют аксиомам нормы.
18.3.3.Подпространство пространства сходящихся числовых последовательностей обозначают , а подпространство сходящихся к нулю последовательностей обозначают 0. Докажите полноту пространств и 0.
18.3.4.Докажите. что в пространстве со скалярным произведением для любой пары элементов и выполняется равенство
‖ − ‖ + ‖ + ‖ = 2‖ ‖2 + 2‖ ‖2.