Ортонормированные базисы и ряды Фурье

Мотивация: разложение по «компонентам»

В ℝⁿ любой вектор разлагается по ортонормированному базису: x = Σ⟨x,eᵢ⟩eᵢ. В бесконечномерном пространстве аналог — разложение по полной ортонормированной системе. Это обобщает ряды Фурье, лежит в основе вейвлетного анализа и спектральных методов.

Ортонормированные системы (ОНС)

ОНС: Семейство {eₙ} с ⟨eₙ, eₘ⟩ = δₙₘ.

Коэффициенты Фурье: cₙ = ⟨x, eₙ⟩. Частичные суммы Sₙx = Σₖ₌₁ⁿ cₖeₖ — наилучшая аппроксимация x в span{e₁,...,eₙ}.

Неравенство Бесселя: Σₙ |cₙ|² ≤ ‖x‖² для любой ОНС. Следствие: cₙ → 0.

Полная ОНС (ортонормированный базис):

• ⟨x, eₙ⟩ = 0 для всех n ⟹ x = 0 (нет ненулевого вектора, ортогонального всем eₙ).
• Эквивалентно: x = Σₙ cₙeₙ (ряд сходится по норме) для всех x ∈ H.
• Тождество Парсеваля: ‖x‖² = Σₙ |cₙ|².

Все сепарабельные гильбертовы пространства имеют счётный ортонормированный базис.

Ряды Фурье в L²[−π,π]

Тригонометрический базис: eₙ(x) = (1/√2π)·eⁱⁿˣ, n ∈ ℤ. Полный ортонормированный базис L²[−π,π].

Коэффициенты Фурье: ĉₙ = (1/2π)∫_{-π}^π f(x)e^{−inx}dx.

Вещественная форма: aₙ = (1/π)∫{-π}^π f(x)cos(nx)dx, bₙ = (1/π)∫{-π}^π f(x)sin(nx)dx.

Сходимость: В L²: ‖f − Sₙf‖_{L²} → 0. Поточечно при f кусочно-гладкой → (f(x+) + f(x-))/2.

Явление Гиббса: Вблизи точки разрыва частичные суммы «перескакивают» на ~9% высоты разрыва — фундаментальное свойство Фурье-ряда.

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

Задача: Найти ряд Фурье f(x) = x на [−π,π] и вывести тождество Σ 1/n² = π²/6.

Шаг 1. f(x) = x — нечётная функция → aₙ = 0 для всех n.

Шаг 2. bₙ = (1/π)∫{-π}^π x·sin(nx)dx. Интегрируем по частям: ∫ x sin(nx)dx = −x cos(nx)/n + sin(nx)/n². bₙ = (1/π)[−x cos(nx)/n + sin(nx)/n²]{-π}^π. На π: −π·cos(nπ)/n + 0 = −π·(−1)ⁿ/n. На −π: π·cos(nπ)/n + 0 = π·(−1)ⁿ/n. bₙ = (1/π)·(−π·(−1)ⁿ/n − π·(−1)ⁿ/n) = −2(−1)ⁿ/n = 2(−1)^{n+1}/n.

Шаг 3. Ряд Фурье: x = 2Σₙ₌₁^∞ (−1)^{n+1}/n · sin(nx) = 2(sin x − sin(2x)/2 + sin(3x)/3 − ...).

Шаг 4. Тождество Парсеваля: ‖f‖²_{L²} = ∫_{-π}^π x² dx = 2π³/3. Правая часть: Σₙ₌₁^∞ |bₙ|²·π = π·Σ 4/n². По тождеству Парсеваля (‖f‖² = π·Σ bₙ²): 2π³/3 = π·Σ 4/n² → Σₙ₌₁^∞ 1/n² = π²/6 ✓.

(Знаменитое тождество Эйлера 1734 года, выводимое из анализа Гильбертова пространства.)

Шаг 5. При x = π/2: π/2 = 2(1 − 1/3 + 1/5 − ...) → π/4 = 1 − 1/3 + 1/5 − ... (ряд Лейбница–Мадхавы, ~ 1400 г.) ✓.

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

Синтез звука и обработка аудио: каждый звук разлагается в ряд Фурье. MP3 хранит Фурье-коэффициенты с отбрасыванием «неслышимых» компонент (ниже порога психоакустики). Это то, что позволяет уменьшить размер файла в 10 раз с незаметной потерей качества.

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

Ортонормированный базис {eₙ} в гильбертовом пространстве позволяет разложить любой вектор x = Σ ⟨x,eₙ⟩·eₙ (равенство Парсеваля: ‖x‖² = Σ |⟨x,eₙ⟩|²). В L²[−π,π] базис из {e^{inx}/√(2π)} даёт классические ряды Фурье. В L²(ℝ) аналогом служит преобразование Фурье с непрерывным «индексом» ω. Базисы Хаара и базисы вейвлетов дают альтернативные разложения, лучше адаптированные к локальным особенностям сигнала — основа JPEG-2000, MP3 и многих современных форматов сжатия. В численной линейной алгебре ортогонализация Грама–Шмидта и QR-разложение строят ортонормированные базисы для эффективного решения задач наименьших квадратов и собственных значений.

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

Теория ортонормированных базисов непосредственно входит в спектральную теорию самосопряженных операторов, лежащую в основе метода Фурье при решении дифференциальных уравнений. Классический пример: разложение по собственным функциям оператора Лапласа при решении уравнений теплопроводности и колебаний струны. Спектральная теорема фон Неймана для самосопряженных операторов в гильбертовом пространстве формулирует это как разложение по спектральной мере, где ортонормированные семейства собственных функций играют роль базиса.

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

В теории вероятностей ортонормированные системы функций используются для построения хаос-разложений. Ряды Эрмита описывают гауссовские процессы, а разложение Карунена–Лоэва является аналогом ряда Фурье для случайных процессов с конечной ковариационной мерой. Ортонормированные базисы полиномов (Лежандра, Чебышёва) возникают в теории ортогональных многочленов и гауссовых квадратур, что связывает Фурье-анализ с численными методами интегрирования и решения уравнений Фредгольма.

В топологии и геометрическом анализе ортонормированные системы собственных форм оператора Лапласа-де Рама используются в теореме Ходжа, которая разлагает пространство дифференциальных форм на гармоническую, точную и замкнутую компоненты. В алгебре аналогичную роль играют ортонормированные базисы представлений компактных групп: по теореме Петера–Вейля матрицы неприводимых унитарных представлений образуют ортонормированную систему в L²(G), что обобщает тригонометрический ряд Фурье на случай компактных групп Ли.

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

Истоки разложений по ортогональным системам восходят к спорам Фурье, Лагранжа и Д’Аламбера в начале XIX века о представимости произвольной функции рядом синусов и косинусов в контексте задачи о нагреве стержня. Книга Фурье «Théorie analytique de la chaleur» 1822 года стала отправной точкой систематического использования тригонометрических рядов. Ортогональные многочлены Лежандра исследовал Лежандр в «Exercices de Calcul Intégral» (1811–1817), позднее Якоби и Штурм связали их с собственными задачами для дифференциальных операторов. Гильберт и Рисс в начале XX века (работы 1907–1913 годов, «Mathematische Annalen») сформулировали понятие абстрактного гильбертова пространства, где ортонормированные системы получили современное определение, а неравенство Бесселя и тождество Парсеваля стали частью единой теории. В 1915 году Рисс доказал теорему Рисса–Фишера, связывающую L² и ℓ² через коэффициенты Фурье. В середине XX века фон Нейман, Стоун и Гельфанд развивали спектральную теорию, где ортонормированные базисы собственных функций описывали квантово-механические операторы. Одновременно Харди, Литтлвуд и Карлесон исследовали тонкую сходимость рядов Фурье; кульминацией стала теорема Карлесона 1966 года о почти везде сходимости ряда Фурье для функций из L².