Неравенство Бесселя: ряд Фурье и оценка коэффициентов

Неравенство Бесселя - одно из самых полезных утверждений теории ряда Фурье: оно говорит, что сумма квадратов коэффициентов Фурье функции не превосходит квадрата её нормы. Из этого простого факта сразу следует, что коэффициенты Фурье стремятся к нулю, что частичные суммы ряда не «разбегаются», а сам ряд имеет шанс сходиться в среднеквадратичном смысле. Ниже разберём, откуда берётся неравенство Бесселя, как оно связано с равенством Парсеваля и как применять его в задачах.

Что утверждает неравенство Бесселя

Пусть $\{e_n\}$ - ортонормированная система в евклидовом (или гильбертовом) пространстве со скалярным произведением $\langle \cdot, \cdot \rangle$, а $f$ - произвольный элемент этого пространства. Коэффициенты Фурье функции $f$ по системе $\{e_n\}$ определяются как $c_n = \langle f, e_n \rangle$. Тогда для любого $N$ выполняется

$\sum_{n=1}^{N} |c_n|^2 \le \|f\|^2,$

а в пределе - неравенство Бесселя в полном виде:

$\sum_{n=1}^{\infty} |c_n|^2 \le \|f\|^2.$

Ряд из квадратов коэффициентов сходится и ограничен сверху квадратом нормы $f$. Для классического тригонометрического ряда Фурье с коэффициентами $a_0, a_n, b_n$ на отрезке $[-\pi, \pi]$ неравенство принимает привычный вид:

$\frac{a_0^2}{2} + \sum_{n=1}^{\infty} \left( a_n^2 + b_n^2 \right) \le \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)^2\, dx.$

Чтобы быстро прогнать конкретную систему и функцию через эту схему, воспользуйтесь интерактивным разбором ниже - он соберёт корректную постановку и доведёт оценку до ответа.

Вывод через ортогональную проекцию

Идея доказательства предельно геометрична. Рассмотрим частичную сумму ряда Фурье $S_N = \sum_{n=1}^{N} c_n e_n$ - это ортогональная проекция $f$ на линейную оболочку первых $N$ базисных векторов. Ключевое наблюдение: разность $f - S_N$ ортогональна каждому $e_k$ при $k \le N$, потому что

$\langle f - S_N, e_k \rangle = \langle f, e_k \rangle - c_k = c_k - c_k = 0.$

Значит, $f - S_N$ ортогональна и всей сумме $S_N$. По теореме Пифагора в пространстве со скалярным произведением

$\|f\|^2 = \|S_N\|^2 + \|f - S_N\|^2.$

Поскольку $\|f - S_N\|^2 \ge 0$, получаем $\|S_N\|^2 \le \|f\|^2$. Остаётся вычислить $\|S_N\|^2$. В силу ортонормированности системы $\|S_N\|^2 = \sum_{n=1}^{N} |c_n|^2$, откуда и следует неравенство Бесселя для частичной суммы. Устремляя $N \to \infty$, получаем полный вариант - ряд монотонно неубывающих частичных сумм ограничен сверху, а потому сходится.

Минимальность частичной суммы Фурье

Из того же разложения следует ещё один важный факт: среди всех линейных комбинаций $\sum_{n=1}^{N} \alpha_n e_n$ именно набор коэффициентов Фурье $\alpha_n = c_n$ даёт наименьшее среднеквадратичное уклонение от $f$. Если расписать

$\left\| f - \sum_{n=1}^{N} \alpha_n e_n \right\|^2 = \|f\|^2 - \sum_{n=1}^{N} |c_n|^2 + \sum_{n=1}^{N} |\alpha_n - c_n|^2,$

то видно, что выражение минимально ровно при $\alpha_n = c_n$. Это и есть свойство наилучшего приближения: частичная сумма ряда Фурье - оптимальная аппроксимация в норме $L^2$. Неравенство Бесселя - побочный продукт этой минимизации, ведь минимальная невязка неотрицательна.

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

Неравенство Бесселя превращается в равенство тогда и только тогда, когда $\|f - S_N\| \to 0$, то есть ряд Фурье сходится к $f$ в среднеквадратичном смысле. В этом случае мы получаем равенство Парсеваля:

$\sum_{n=1}^{\infty} |c_n|^2 = \|f\|^2.$

Равенство выполняется для всех $f$ ровно тогда, когда ортонормированная система $\{e_n\}$ полна (замкнута). Тригонометрическая система на $[-\pi, \pi]$ полна в $L^2$, поэтому для интегрируемых с квадратом функций неравенство Бесселя на самом деле всегда обращается в равенство Парсеваля. Разница принципиальна: Бессель работает для любой ортонормированной системы, а Парсеваль требует полноты. Подробнее о свойствах самих функций Бесселя как специальных решений - в разборе уравнения Бесселя.

Стремление коэффициентов Фурье к нулю

Прямое следствие сходимости ряда $\sum |c_n|^2$ - необходимый признак: общий член стремится к нулю, поэтому $c_n \to 0$ при $n \to \infty$. Для тригонометрического ряда это означает $a_n \to 0$ и $b_n \to 0$. Утверждение известно как лемма Римана–Лебега, и неравенство Бесселя даёт его кратчайшее доказательство для функций из $L^2$. Этот факт постоянно используется при оценке скорости убывания коэффициентов и при анализе гладкости функции: чем быстрее убывают коэффициенты Фурье, тем более гладкой оказывается сумма ряда. Так, для непрерывно дифференцируемой функции коэффициенты убывают не медленнее $1/n$, а интегрирование по частям повышает порядок убывания на единицу с каждой производной - это прямое продолжение логики неравенства Бесселя, связывающей квадратичную суммируемость коэффициентов с интегрируемостью функции.

Как применять в задачах

На практике неравенство Бесселя используют для оценок сверху и для проверки корректности вычисленных коэффициентов. Типовая схема: вычисляют $\|f\|^2$ через интеграл, выписывают первые коэффициенты Фурье, и проверяют, что их сумма квадратов не превосходит нормы. Если система полна, вместо неравенства подставляют равенство Парсеваля и получают точное значение суммы числового ряда - классический трюк для вычисления сумм вроде $\sum 1/n^2$. Похожий приём оценки частичных сумм встречается и при проверке сходимости числовых рядов - см. признак Дирихле для рядов.

Разберём конкретный пример. Возьмём функцию $f(x) = x$ на отрезке $[-\pi, \pi]$. Её норма вычисляется напрямую: $\|f\|^2 = \int_{-\pi}^{\pi} x^2\, dx = \frac{2\pi^3}{3}$. Функция нечётная, поэтому все косинусные коэффициенты $a_n$ обращаются в нуль, а синусные равны $b_n = \frac{2(-1)^{n+1}}{n}$. Подставляя в тригонометрическую форму, получаем $\sum_{n=1}^{\infty} b_n^2 = \sum_{n=1}^{\infty} \frac{4}{n^2}$. Так как тригонометрическая система полна, неравенство Бесселя обращается в равенство Парсеваля:

$\sum_{n=1}^{\infty} \frac{4}{n^2} = \frac{1}{\pi} \cdot \frac{2\pi^3}{3} = \frac{2\pi^2}{3}.$

Отсюда мгновенно получаем знаменитую сумму Эйлера $\sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}$. Этот пример показывает, как абстрактное неравенство Бесселя превращается в рабочий вычислительный инструмент: достаточно подобрать функцию с известной нормой и легко вычисляемыми коэффициентами Фурье.

Геометрический смысл

Стоит держать в голове картинку: неравенство Бесселя - это просто теорема Пифагора в бесконечномерном пространстве. Норма вектора $f$ всегда не меньше нормы его проекции на любое подпространство, натянутое на ортонормированные направления. Сумма квадратов коэффициентов - это квадрат длины проекции, а «потерянная» при проекции часть - это остаток $\|f - S_N\|^2$. Когда система полна, проекция исчерпывает весь вектор, и неравенство становится равенством. Этот взгляд объясняет, почему неравенство Бесселя так универсально: оно не зависит от природы пространства, лишь от наличия скалярного произведения и ортонормированной системы.

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

• Считают, что неравенство Бесселя требует полноты системы. На самом деле оно верно для любой ортонормированной системы; полнота нужна только для равенства Парсеваля.
• Путают коэффициенты $c_n = \langle f, e_n\rangle$ для ортонормированной системы с «сырыми» коэффициентами для ортогональной (но не нормированной) системы - во втором случае в формулу входят $\|e_n\|^2$.
• Забывают множитель $1/\pi$ (или $1/2$ у свободного члена) в тригонометрической форме неравенства и получают несогласованную оценку.
• Применяют равенство Парсеваля к функции не из $L^2$ - если $\|f\|^2 = \infty$, ряд из квадратов коэффициентов может расходиться.
• Делают вывод о поточечной сходимости ряда Фурье из сходимости в среднем: неравенство Бесселя и Парсеваль говорят только о $L^2$-сходимости, не о сходимости в каждой точке.

FAQ

Чем неравенство Бесселя отличается от равенства Парсеваля? Неравенство Бесселя верно для любой ортонормированной системы и даёт оценку сверху $\sum |c_n|^2 \le \|f\|^2$. Равенство Парсеваля - частный случай, наступающий при полноте системы, когда оценка обращается в точное равенство.

Почему из неравенства Бесселя следует $c_n \to 0$? Если ряд $\sum |c_n|^2$ сходится (а он ограничен сверху и неубывает), то его общий член обязан стремиться к нулю. Это и есть лемма Римана–Лебега для коэффициентов Фурье.

Можно ли с помощью неравенства Бесселя проверить вычисленные коэффициенты? Да. Если сумма квадратов найденных коэффициентов превысила $\|f\|^2$, в вычислениях точно есть ошибка - это удобный контроль корректности.

Коротко

Неравенство Бесселя $\sum |c_n|^2 \le \|f\|^2$ выражает, что сумма квадратов коэффициентов Фурье не превосходит квадрата нормы функции; доказывается через ортогональную проекцию и теорему Пифагора. Оно гарантирует сходимость ряда коэффициентов и стремление $c_n \to 0$, а при полной ортонормированной системе обращается в равенство Парсеваля, открывающее доступ к точному вычислению сумм числовых рядов.