Преобразование Фурье в L¹ и L²

Мотивация: спектральное разложение сигналов

Преобразование Фурье превращает любой сигнал в суперпозицию синусоид разных частот. Для ДУ это золото: дифференцирование ↦ умножение на частоту; свёртка ↦ поточечное умножение. Теорема Планшереля: Фурье — унитарный (изометрический) оператор на L²(ℝ), «энергия сигнала» = «суммарная мощность гармоник».

Определение и свойства

Преобразование Фурье в L¹(ℝ): f̂(ξ) = ∫_ℝ f(x)e^{−2πixξ} dx.

Ограниченность: |f̂(ξ)| ≤ ‖f‖_{L¹}. Лемма Римана–Лебега: f̂(ξ) → 0 при |ξ| → ∞.

Основные свойства (при f, f' ∈ L¹):

• Трансляция: (f(·−a))̂ = e^{−2πiaξ} f̂(ξ).
• Дифференцирование: (f')̂ (ξ) = 2πiξ · f̂(ξ). Производная → умножение на частоту!
• Умножение на x: (xf)̂ = (i/2π)·(f̂)'(ξ).
• Свёртка: (f * g)̂ = f̂ · ĝ — теорема о свёртке.

Обратное: f(x) = ∫ f̂(ξ)e^{2πixξ} dξ (формула инверсии, при f̂ ∈ L¹).

Теорема Планшереля

Теорема: Преобразование Фурье продолжается до изометрического изоморфизма ℱ: L²(ℝ) → L²(ℝ): ‖f̂‖{L²} = ‖f‖{L²}.

Тождество Парсеваля: ∫|f(x)|²dx = ∫|f̂(ξ)|²dξ.

Скалярное произведение: ⟨f,g⟩ = ⟨f̂, ĝ⟩ — ℱ унитарно на L².

FFT (Кули–Тьюки, 1965): дискретный аналог за O(N log N) вместо O(N²). Основа цифровой обработки сигналов: аудио (MP3), видео (H.264), радар.

Применение к ДУ

Уравнение теплопроводности: ∂ₜu = ∂²ₓu. Фурье по x: ∂ₜû = −4π²ξ² û → û(ξ,t) = û₀(ξ)·e^{−4π²ξ²t}. Обратное: u(x,t) = ∫ û₀(ξ)e^{−4π²ξ²t}e^{2πixξ}dξ = u₀ * G(·,t), G(x,t) = e^{−x²/(4t)}/√(4πt).

Численный пример

Задача: Вычислить Фурье-образ прямоугольного окна f = rect: f(x) = 1 при |x| < 1/2, 0 иначе.

Шаг 1. f̂(ξ) = ∫{-1/2}^{1/2} e^{−2πixξ} dx = [e^{−2πixξ}/(−2πiξ)]{-1/2}^{1/2}. = (e^{−πiξ} − e^{πiξ})/(−2πiξ) = 2i sin(πξ)/(2πiξ) = sinc(ξ) = sin(πξ)/(πξ).

Шаг 2. sinc(0) = 1 (предел). Нули: ξ = ±1, ±2, ... Это ширина полосы пропускания прямоугольного фильтра.

Шаг 3. Фильтрация: y = f * x → ŷ = sinc · x̂. Прямоугольное окно — низкочастотный фильтр: пропускает |ξ| < 1/2, подавляет высокие частоты (sinc → 0 при |ξ| → ∞).

Шаг 4. Тождество Парсеваля: ‖f‖²_{L²} = ∫{-1/2}^{1/2} dx = 1. ‖f̂‖²{L²} = ∫ sinc²(ξ)dξ. Нужно: = 1 ✓ (по теореме Планшереля).

Шаг 5. Гауссова функция: g(x) = e^{-πx²}. ĝ(ξ) = e^{-πξ²}. Гаусс — собственная функция ℱ с собственным значением 1. Это объясняет, почему гауссовы шумы и гауссовы функции ядра так важны: они инвариантны к преобразованию Фурье.

Шаг 6. Принцип неопределённости: σ_x · σ_ξ ≥ 1/(4π). Для гауссовой функции: σ_x = σ_ξ = 1/(2√π) → σ_x · σ_ξ = 1/(4π) — равенство! Гаусс — оптимальная функция по принципу неопределённости.

Реальное приложение

5G телекоммуникации: OFDM (Orthogonal Frequency Division Multiplexing) — метод, где данные разбиваются на тысячи параллельных частотных подканалов, ортогональных по Фурье. Каждый смартфон делает FFT при каждом приёме и передаче данных — прямое применение теоремы Планшереля.

Дополнительные аспекты

Преобразование Фурье F: f → f̂(ω) = ∫f(x)e^{−iωx}dx — изометрия L²(ℝ) на себя (теорема Планшереля), переводит дифференцирование в умножение на iω, а свёртку в произведение. Это превращает линейные дифференциальные уравнения с постоянными коэффициентами в алгебраические. Распределения Шварца (обобщённые функции) расширяют область определения F: дельта-функция Дирака δ имеет F[δ] = 1, ступенька Хевисайда — F[H] = πδ(ω) + 1/(iω). Без распределений невозможно строго описать импульсные сигналы, точечные источники в физике, фундаментальные решения УЧП. Современные применения — обработка сигналов (FFT-алгоритм Кули–Тьюки за O(N log N)), компрессия (JPEG, MP3), решение УЧП спектральными методами и квантовая теория поля.

Связь с другими разделами математики

В теории дифференциальных уравнений преобразование Фурье лежит в основе спектрального подхода к линейным операторам. Для оператора Лапласа на прямой оно реализует его как оператор умножения на квадратичную функцию частоты; это частный случай функционального калькулятора для самосопряженных операторов в духе теоремы Стоуна и спектральной теоремы фон Неймана. В задачах на всю прямую и на торе переход к Фурье-серии или Фурье-интегралу позволяет формулировать результаты типа теоремы Пэли–Винера о взаимосвязи компактного носителя и аналитичности.

Связь с абстрактной алгеброй проявляется через теорию представлений. Для абелевых локально компактных групп одиночное преобразование Фурье на R обобщается к дуальной группе (Понтрягин, 1934), а теорема Планшереля становится утверждением об изометричности преобразования в L² от группы на L² от ее дуала. В некоммутативном случае аналогом выступает теория единичных представлений и теорема Планшереля для полупростых групп Ли (Хараиши, Гельфанд–Наимарк).

В топологии и геометрическом анализе Фурье-инструментарий лежит за доказательствами оценок Соболева и неравенств Галиарди–Ниренберга. Работы Стейна по гармоническому анализу показывают, как Lᵖ-оценки операторов, задаваемых через символы в частотном пространстве, приводят к регулярности решений эллиптических и параболических уравнений.

В теории вероятностей преобразование Фурье совпадает с характеристической функцией случайной величины. Центральная предельная теорема в формулировке Леви и Линдеберга опирается на сходимость таких характеристических функций. Для марковских процессов с независимыми приращениями (процессы Леви) Фурье-образ задает символ генератора, что является базой псевдодифференциального подхода (Куртц, Якоб).

Численные методы используют дискретные аналоги в спектральных методах решения уравнений в частных производных (Готтлиб–Орсзаг). Там аппроксимация производных осуществляется домножением коэффициентов Фурье, а устойчивость и сходимость схем анализируются через спектр соответствующих матриц.

Историческая справка и развитие идеи

Идея разложения функций по гармоникам появляется уже у Ж. Фурье в его мемуаре 1807 года о теплопроводности, опубликованном позднее в Monographie sur la chaleur (1822). Первоначально речь шла о тригонометрических рядах, а не об интеграле по непрерывному спектру. Интегральная форма возникла при изучении волн и электромагнетизма в работах Кирхгофа, Гельмгольца и Римана во второй половине XIX века. Строгое аналитическое обоснование поведения Фурье-серий связано с трудом Римана (1854), работами Дирихле и Жордана о точках разрыва и регулярености. Переход к L²-функциям и формулировка тождества Парсеваля как изометрии принадлежат П. дю Буи-Реймону и М. Планшерелю, чья теорема об изометричности преобразования Фурье на L²(ℝ) (1910) стала отправной точкой современного гармонического анализа.