Теорема о свертке
Фурье-образ свертки функций равен произведению их фурье-образов
.
(1.24)
Доказательство
Используем (1.1) и (1.22)
.
Интегралы
расцепляем заменой в первом интеграле
аргумента
в виде
,
.
Учитываем
.
Получаем
.
Для обратного преобразования Фурье выполняется
.
(1.25)
Доказательство
Аналогично предыдущему доказательству получаем
.
Под
интегралом сделана замена
.
Теорема о произведении
Фурье-образ произведения непрерывных функций равен свертке их фурье-образов
,
.
(1.26)
Доказательство
Выполняем фурье-преобразование (1.25), получаем
и используем интегральную теорему (1.20)
.
Теорема о дифференцировании
При
каждом дифференцировании функции ее
Фурье-образ умножается на
.
(1.35)
Доказательство
Формулу (1.2)
,
дифференцируем n раз
.
Сравниваем результат с (1.2)
для функции
,
получаем Фурье-образ
.
Умножение
функции на
Умножение
функции на
приводит к дифференцированию ее
фурье-образа
,
.
(1.37)
Доказательство
Дифференцируем (1.1)
,
получаем
.
Сравниваем результат с формулой (1.1),
,
записанной
для функции
,
и получаем
.
Преобразование периодическОЙ функциИ
Функция с периодом L удовлетворяет
.
Пример показан на рисунке.
Спектр
периодической функции дискретный. Такая
функция разлагается по ортонормированному
базису гармонических функций с периодами
,
где
В акустике составляющая с
называется основным
тоном,
составляющие с
называются обертонами.
Базисы Фурье комплексных периодических функций
Условию периодичности
,
с
периодом
удовлетворяют комплексные гармонические
функции
,
Доказательство
Выполняется
,
где учтено
,
,
Получаем базисы:
,
,
с периодом
.
Замена аргумента дает базисы:
:
,
,
с периодом L,
:
,
,
с периодом
,
где множитель перед экспонентой обеспечивает нормировку функции.
Базисы Фурье вещественных периодических функций
Для функций с периодом
,
Для четных функций с периодом
,
Для нечетных функций с периодом
,
Ортонормированность базисов
Дискретный базис функций , где , с периодом L ортонормирован, если
.
Докажем ортонормированность:
1)
Базис
,
.
Вычисляем
,
где использовано:
;
,
при
;
.
2)
,
,
(1.43)
где сделана замена
и учтено, что интеграл по периоду функции не зависит от выбора нижнего предела.
3)
,
,
(1.44)
где сделана замена
.
4) Доказать самостоятельно:
,
,
.
(1.45)
5.
,
,
.
(1.46)