Математический анализ

Анализ Фурье на группах и вейвлеты

JPEG сжимает изображение в 10 раз с минимальной потерей качества. MP3 убирает частоты, которые человек не слышит. MRI реконструирует трёхмерную анатомию из сигналов. Всё это - преобразование Фурье. Его обобщение на группы позволяет анализировать сигналы на сферах, кристаллических решётках и пространстве вращений.

Обработка изображений: ДПФ для фильтрации, сжатия JPEG, свёрточных нейросетей
Квантовая механика: состояния атома разложены по сферическим гармоникам $Y_l^m(\theta,\phi)$
Криптография: NTT (number-theoretic transform) для умножения больших чисел
Молекулярная биология: симметрии белков и кристаллография через группы
Вейвлеты в финансах: анализ нестационарных временных рядов и волатильности

Цели урока

Понимать двойственность Понтрягина и обобщение преобразования Фурье на локально компактные абелевы группы
Разкладывать функции по неприводимым представлениям компактных групп (теорема Петера-Вейля)
Сравнивать вейвлеты и Фурье: локализация в времени-частоте и выбор базиса

Предварительные знания

Классический ряд и интеграл Фурье
Основы теории групп: группа, гомоморфизм, представление
Функциональный анализ: пространства $L^2$, базисы Гильбертова пространства

Двойственность Понтрягина

Для локально компактной абелевой группы $G$ двойственная группа $\hat{G}$ - группа характеров (непрерывных гомоморфизмов $G \to S^1$). Преобразование Фурье: $\hat{f}(\chi) = \int_G f(g)\overline{\chi(g)}\,d\mu(g)$. Примеры: $\widehat{\mathbb{R}} = \mathbb{R}$ (частоты), $\widehat{\mathbb{Z}} = S^1$ (дискретная $\to$ периодическая), $\widehat{S^1} = \mathbb{Z}$ (периодическая $\to$ дискретный спектр).

Теорема Петера-Вейля и неабелевы группы

Для компактной группы $G$ (например, $SO(3)$): $L^2(G) = \bigoplus_{\pi \in \hat{G}} V_\pi \otimes V_\pi^*$, где $\hat{G}$ - классы неприводимых представлений. Для $SO(3)$ неприводимые представления - сферические гармоники $Y_l^m$ размерности $2l+1$. Функция на сфере раскладывается по сферическим гармоникам - аналог ряда Фурье.

Вейвлеты: локализация в времени и частоте

Вейвлет-преобразование: $W_f(a,b) = \frac{1}{\sqrt{a}}\int f(t)\psi\left(\frac{t-b}{a}\right)dt$. Параметр $a$ - масштаб (связан с частотой), $b$ - сдвиг (время). Базисная функция $\psi$ локализована одновременно в времени и частоте - в отличие от Фурье, где частота точна, но время полностью неизвестно.

Принцип неопределённости Гейзенберга: $\Delta t \cdot \Delta\omega \geq \frac{1}{2}$. Вейвлеты не обходят это ограничение - они перераспределяют точность между временем и частотой. Фурье оптимален по частоте, вейвлеты адаптируют разрешение к сигналу.

Анализ Фурье на группах

Лев Понтрягин в 1934 году доказал теорему двойственности: для локально компактной абелевой группы $G$ группа характеров $\hat{G}$ такова, что $\hat{\hat{G}} \cong G$. Это объясняет, почему преобразование Фурье на $\mathbb{R}$ обратимо.

Двойственная группа $\hat{\mathbb{Z}/N}$ (по Понтрягину) изоморфна:

Вейвлет-анализ

Жан Морле в 1982 году предложил вейвлет-преобразование для анализа сейсмических волн: в отличие от Фурье, оно даёт локальную информацию о времени и частоте одновременно. JPEG 2000 использует вейвлеты Добеши 9/7, достигая сжатия 20:1.

Условие допустимости вейвлета $C_\psi < \infty$ требует:

От $\mathbb{Z}_N$ к ДПФ

Группа $\mathbb{Z}_N = \{0,1,\ldots,N-1\}$. Характеры: $\chi_k(n) = e^{2\pi i kn/N}$. Преобразование Фурье: $\hat{f}(k) = \sum_{n=0}^{N-1} f(n) e^{-2\pi ikn/N}$ - это ДПФ. Алгоритм БПФ вычисляет все $N$ значений за $O(N\log N)$ операций.

Итоги

Двойственность Понтрягина обобщает Фурье: $\hat{G}$ - группа характеров, ДПФ/непрерывный/сферические гармоники - частные случаи
Теорема Петера-Вейля: $L^2(G)$ разбивается по неприводимым представлениям; для $SO(3)$ это сферические гармоники
Вейвлеты $W_f(a,b)$ локализованы в времени-частоте; принцип неопределённости ограничивает совместную точность, но не запрещает адаптивное разрешение

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

Теория представлений групп связывает анализ Фурье с алгеброй: неприводимые представления $SO(3)$ - это сферические гармоники квантовой механики. Вейвлеты порождаются аффинной группой сдвигов-масштабирований - Фурье на этой группе. Свёрточные нейросети используют трансляционную симметрию через теорему об эквивариантности.

Связанные темы — развивает

Вопросы для размышления

Почему для неабелевых групп (например, $SO(3)$) двойственная группа не является группой в обычном смысле, а лишь множеством классов представлений?
Свёрточные нейросети используют трансляционную симметрию изображений. Как это связано с Фурье-анализом на группе $\mathbb{Z}_N \times \mathbb{Z}_N$?
Вейвлеты Добеши имеют компактный носитель и ортогональны. Что важнее для анализа разрывных сигналов: компактность или ортогональность?