Теорема Рисса-Фишера: полнота L2 и ряды Фурье

Теорема Рисса-Фишера - один из тех результатов функционального анализа, которые на первый взгляд кажутся технической деталью, а на деле держат на себе всю теорию рядов Фурье в современном виде. Она отвечает на простой вопрос: если задана последовательность чисел, претендующих на роль коэффициентов Фурье, всегда ли найдётся функция, у которой они действительно являются коэффициентами? Ответ - да, при единственном условии. Ниже разберём формулировку, идею доказательства, связь с полнотой пространства $L^2$ и типовые задачи, на которых эта теорема всплывает на экзамене. Если нужно решить конкретное упражнение, соберите запрос в форме ниже.

Что утверждает теорема Рисса-Фишера

В классической формулировке для тригонометрической системы теорема звучит так. Пусть дана последовательность чисел $c_0, c_1, c_{-1}, c_2, \dots$ Для того чтобы существовала функция $f \in L^2[-\pi, \pi]$, у которой эти числа являются коэффициентами Фурье, необходимо и достаточно, чтобы сходился ряд из квадратов их модулей:

$$\sum_{n=-\infty}^{\infty} |c_n|^2 < \infty.$$

При этом построенная функция единственна (с точностью до значений на множестве меры нуль), а её норма выражается через коэффициенты равенством Парсеваля:

$$\|f\|^2 = \int_{-\pi}^{\pi} |f(x)|^2\,dx = 2\pi \sum_{n=-\infty}^{\infty} |c_n|^2.$$

Иначе говоря, между функциями из $L^2$ и квадратично-суммируемыми последовательностями коэффициентов устанавливается взаимно однозначное соответствие, сохраняющее норму. Это и есть смысловое ядро теоремы.

Рассчитать для своей задачи

Абстрактная формулировка в гильбертовом пространстве

В современных курсах теорему дают в более общем виде, не привязываясь к тригонометрической системе. Пусть $H$ - гильбертово пространство и $\{e_n\}$ - ортонормированная система в нём. Тогда для любой последовательности скаляров $\{c_n\}$ с условием $\sum |c_n|^2 < \infty$ ряд

$$\sum_{n=1}^{\infty} c_n e_n$$

сходится по норме пространства $H$ к некоторому элементу $x$, причём $c_n = \langle x, e_n \rangle$ - это в точности коэффициенты Фурье элемента $x$ по системе $\{e_n\}$.

Ключевое слово здесь - полнота. Теорема Рисса-Фишера фактически утверждает, что пространство $L^2$ (и любое гильбертово пространство) полно: всякий ряд, частичные суммы которого образуют фундаментальную последовательность, имеет предел внутри пространства. Без полноты предельная функция могла бы «выпасть» из $L^2$, и теорема перестала бы работать. Подробнее про устройство таких пространств - в разборе неравенства Бесселя для ряда Фурье.

Почему сходимость ряда квадратов - это и есть условие

Разберём, откуда берётся условие $\sum |c_n|^2 < \infty$. Рассмотрим частичные суммы

$$S_N = \sum_{n=1}^{N} c_n e_n.$$

В силу ортонормированности системы квадрат нормы разности двух частичных сумм считается напрямую:

$$\|S_M - S_N\|^2 = \sum_{n=N+1}^{M} |c_n|^2.$$

Правая часть - это хвост сходящегося ряда $\sum |c_n|^2$, а значит, она стремится к нулю при $N, M \to \infty$. Следовательно, последовательность $S_N$ фундаментальна. Здесь и включается полнота: фундаментальная последовательность в полном пространстве сходится, поэтому существует предел $x = \lim S_N$, лежащий в $H$. Проверка того, что $c_n = \langle x, e_n \rangle$, делается переходом к пределу под знаком непрерывного скалярного произведения.

Рассчитать для своей задачи

Связь с неравенством Бесселя и равенством Парсеваля

Теорему Рисса-Фишера удобно держать рядом с двумя соседними утверждениями, чтобы не путать их.

• Неравенство Бесселя идёт «в одну сторону»: для любого $x \in H$ ряд из квадратов его коэффициентов сходится и не превосходит квадрата нормы: $\sum |\langle x, e_n\rangle|^2 \le \|x\|^2$. Оно гарантирует, что коэффициенты Фурье реальной функции всегда квадратично суммируемы.
• Теорема Рисса-Фишера идёт «в обратную сторону»: всякая квадратично-суммируемая последовательность порождает элемент пространства.
• Равенство Парсеваля $\sum |\langle x, e_n\rangle|^2 = \|x\|^2$ выполняется тогда и только тогда, когда система полна (замкнута), то есть кроме нулевого вектора нет элемента, ортогонального всем $e_n$.

Вместе Бессель и Рисс-Фишер дают изоморфизм между $L^2$ и пространством $\ell^2$ квадратично-суммируемых последовательностей - это и есть строгая формализация интуиции «функция = её спектр».

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

Результат доказали независимо в 1907 году венгерский математик Фридьеш Рисс и австриец Эрнст Фишер, отсюда двойное название. Их работа появилась почти сразу после введения интеграла Лебега Анри Лебегом (1902): именно лебегова теория интегрирования сделала пространство $L^2$ полным и позволила теореме существовать. В рамках старого интеграла Римана аналогичное утверждение было бы ложным - предельная функция могла оказаться неинтегрируемой по Риману. Так теорема Рисса-Фишера стала одним из первых громких приложений новой теории меры и важной вехой на пути к абстрактному функциональному анализу Гильберта и Банаха.

Где это используется на практике

Теорема - не только экзаменационная формула, у неё есть прямые приложения.

• Обработка сигналов. Любой сигнал конечной энергии живёт в $L^2$, а условие $\sum |c_n|^2 < \infty$ - это условие конечной энергии. Рисс-Фишер гарантирует, что по заданному спектру можно восстановить сигнал.
• Квантовая механика. Состояния системы - векторы гильбертова пространства, и разложение по собственным функциям оператора (например, гамильтониана) корректно именно благодаря полноте $L^2$.
• Численные методы. Аппроксимация функции конечным отрезком ряда Фурье опирается на то, что отброшенный хвост мал по норме - прямое следствие сходимости ряда квадратов.

В каждом из этих случаев важна именно эквивалентность «функция ↔ коэффициенты», которую теорема превращает из догадки в доказанный факт. Близкий сюжет про разложение функций по тригонометрической системе разобран в материале про комплексную форму ряда Фурье.

Типовая схема доказательства на экзамене

Если на экзамене просят доказать теорему, ожидаемая структура такая:

1. Берём последовательность $\{c_n\}$ с $\sum |c_n|^2 < \infty$ и строим частичные суммы $S_N$.
2. Показываем фундаментальность $S_N$ через тождество $\|S_M - S_N\|^2 = \sum_{n=N+1}^{M} |c_n|^2$ и сходимость хвоста.
3. Ссылаемся на полноту $L^2$ (теорема Лебега об интеграле): существует предел $x \in L^2$.
4. Проверяем, что $\langle x, e_m\rangle = c_m$, пользуясь непрерывностью скалярного произведения и ортонормированностью.
5. Замечаем равенство Парсеваля как следствие.

Главный пункт, который экзаменатор ждёт услышать явно, - это ссылка на полноту. Без неё доказательство разваливается.

Частые ошибки

• Путают необходимость и достаточность. Условие $\sum |c_n|^2 < \infty$ необходимо (это Бессель) и достаточно (это Рисс-Фишер). На экзамене нужно проговорить обе стороны.
• Забывают про полноту пространства. Без полноты $L^2$ предел частичных сумм может не существовать в пространстве. Это центральный, а не технический момент.
• Считают, что ряд сходится поточечно. Теорема даёт сходимость по норме $L^2$ (в среднеквадратичном), а не в каждой точке. Поточечная сходимость - отдельный и более тонкий вопрос.
• Смешивают с равенством Парсеваля. Парсеваль требует полноты ортонормированной системы; Рисс-Фишер от полноты системы не зависит, ему нужна полнота самого пространства.
• Подменяют $L^2$ на $L^1$ или $C[a,b]$. В этих пространствах аналог теоремы неверен: они не являются гильбертовыми и неполны относительно нужной нормы.

FAQ

В чём разница между теоремой Рисса-Фишера и неравенством Бесселя? Бессель говорит, что у любой функции из $L^2$ коэффициенты Фурье квадратично суммируемы. Рисс-Фишер - обратное: по любой квадратично-суммируемой последовательности строится функция из $L^2$. Вместе они дают взаимно однозначное соответствие.

Зачем нужна именно полнота пространства? Полнота гарантирует, что фундаментальная последовательность частичных сумм имеет предел внутри пространства. В неполном пространстве ряд мог бы «сходиться к дырке» - к объекту, которого в пространстве нет, и теорема стала бы ложной.

Верна ли теорема для произвольной ортонормированной системы? Да, для существования предельного элемента полнота системы не нужна - достаточно полноты пространства. Полнота (замкнутость) системы требуется отдельно для равенства Парсеваля и единственности разложения по этой системе.

Коротко

Теорема Рисса-Фишера утверждает, что последовательность чисел является набором коэффициентов Фурье некоторой функции из $L^2$ тогда и только тогда, когда сходится ряд из квадратов их модулей. Доказательство сводится к фундаментальности частичных сумм плюс полнота пространства $L^2$, обеспеченная интегралом Лебега. Вместе с неравенством Бесселя теорема устанавливает изоморфизм между $L^2$ и $\ell^2$, а на экзамене главное - явно сослаться на полноту и не путать сходимость по норме с поточечной.