![](/user_photo/2706_HbeT2.jpg)
- •Методы математической физики
- •Краснопевцев Евгений Александрович
- •Ортонормированные базисы функций
- •Рейтинговая аттестация по дисциплине с экзаменом
- •Рейтинговая аттестация по дисциплине с зачетом
- •Необходимые базовые знания
- •ВекторнОе пространствО
- •Гильбертово пространство с дискретным базисом
- •Гильбертово пространство с непрерывным базисом
- •Преобразование фурье
- •Оптическое преобразование Фурье
- •Теоремы Фурье Линейность преобразования
- •Инверсия аргумента
- •Теорема о частотной полосе
- •Смещение аргумента
- •Фазовый сдвиг
- •Комплексное сопряжение
- •Теорема Парсеваля
- •Обобщенная теорема Парсеваля
- •Ортонормированность базиса и его фурье-образа
- •Интегральная теорема
- •Теорема о парах функций
- •Свертка функций
- •Теорема о свертке
- •Разложение в ряд Фурье комплексной периодической функции
- •Фурье-образ периодической функции
- •Теорема о дифференцировании
- •Разложение в ряд Фурье вещественной периодической функции
Смещение аргумента
.
(1.9)
Сдвиг аргумента функции приводит к сдвигу фазы фурье-образа
Доказательство
Записываем левую сторону (1.9) в явном виде, используя (1.1):
.
Заменяем аргумент так, чтобы интеграл вернулся к стандартному виду (1.1). Результат сравниваем с (1.1):
.
Фазовый сдвиг
.
(1.10)
Сдвиг фазы функции приводит к сдвигу аргумента фурье-образа
Доказательство
Из (1.1) получаем
.
Комплексное сопряжение
.
(1.11)
Комплексное сопряжение функции приводит к комплексному сопряжению фурье-образа и инверсии его аргумента.
Доказательство
В (1.1)
подставляем
.
Выполняем комплексное сопряжение (1.1)
.
Сравнение интегралов дает (1.11).
Следствия (1.7) и (1.11)
,
.
1)
Если
– вещественная и четная, то
– вещественная и четная.
Доказательство
Используем
,
.
Левые стороны равны по условию задачи, следовательно:
и фурье-образ вещественный.
Доказать самостоятельно:
2)
Если
– вещественная и нечетная, то
– мнимая и нечетная;
3)
Если
– мнимая и четная, то
–
мнимая и четная;
4)
Если
– мнимая и нечетная, то
–
вещественная и нечетная.
Теорема Парсеваля
.
(1.14)
Левая
сторона (1.14) соответствует определению
(0.5) скалярного произведения функций
и
,
тогда (1.14) означает сохранение
скалярного произведения функций при
преобразовании Фурье.
Применительно к физике теорема выражает,
в частности, закон сохранения энергии
и вероятности при преобразовании Фурье.
Марк-Антуан Парсеваль (1755–1836) – французский математик. Исследовал дифференциальные уравнения и функции комплексного переменного. Теорему доказал в 1799 г.
Доказательство
Используем (1.1) и (1.2)
,
,
тогда
.
Считаем интегралы существующими, и получаем
=,
где изменен порядок интегрирований.
Обобщенная теорема Парсеваля
.
(1.15)
При
и
получаем (1.14).
Ортонормированность базиса и его фурье-образа
Если
функции
и
взаимно
ортогональны
,
то их фурье-образы также ортогональны
.
Теорема
доказывается подстановкой
и
в (1.14). Выполняется и более общее
утверждение
Если
функции
и
ортонормированные
,
(1.16)
то их фурье-образы также ортонормированные
.
(1.17)
Доказательство
В (1.14)
полагаем
и
.
Интегральная теорема
Прямое и обратное преобразования Фурье восстанавливают непрерывную функцию
,
.
(1.20)
Доказательство
Используем (1.1) и (1.2)
,
.
Подставляем (1.2) в (1.1)
,
где заменен порядок интегрирований и использованы свойства дельта-функции
,
.
Следовательно, для непрерывной функции операторами тождественного преобразования являются:
,
.
(1.20а)
Если
функция
в точке
имеет разрыв
,
тогда
оператор
в точке
усредняет функцию
.
Теорема о парах функций
Функция
и ее фурье-образ
называются
«парой
функций».
Если
,
то выполняется
.
(1.21)
Доказательство
Используем
(1.1), заменяем аргумент
,
полученный интеграл сравниваем с
интегралом в (1.2)
.
,
(1.1)
.
(1.2)