Глава 4. Сходимость рядов Фурье в L2

Где стоит глава

Возврат в рациональное ядро

Глава 7.3 провела границу: тригонометрический и комплексный Фурье уходят за пределы ℚ через выбор группы и поле значений её характеров. Настоящая глава возвращается по эту сторону границы — к тому, что в теории рядов Фурье доказуемо, конечно и рационально: к сходимости в L².

И здесь ToS делает свой обычный ход. Классика говорит: <<ряд Фурье функции $f$ сходится к ней в L²>> — и берёт ряд как завершённую бесконечную сумму, а сходимость — как достигнутый предел. ToS берёт ряд Фурье как процесс частичных сумм, а сходимость — как монотонное убывание ошибки этого процесса. Доказуемое ядро таково: для каждого усечения $K$ частичная сумма есть наилучшее приближение, её квадрат ошибки равен отброшенной хвостовой энергии, и эта ошибка убывает с ростом $K$. Завершённый бесконечный ряд и его L²-предел остаются честной P4-границей.

Что доказано — и что граница

Доказано над ℚ следующее (для конечной ортонормированной системы на $N$ координатах), и всё — без аксиом.¹ Квадрат ошибки усечения равен полной энергии минус захваченная, $\text{norm}{f-P_K}^2=\text{norm}{f}^2-{\sum }_{k<K}{c}_k^2$; эта ошибка неотрицательна (Бессель) и монотонно убывает с ростом $K$; частичная сумма $P_K$ — наилучшее $K$-членное приближение; а ошибка обращается в нуль тогда и только тогда, когда выполнено равенство Парсеваля, то есть система полностью восстанавливает $f$.

Чего глава не утверждает. Завершённый бесконечный ряд Фурье ${\sum }_{k=1}^{\infty }{c}_k{e}_k$ как готовый объект и его L²-предел ${\lim }_K{P}_K=f$ для бесконечной системы — роль-предел: ToS не строит его иначе как через отдельный Коши-процесс по $K$ и полноту системы, а полнота в пределе сама есть предельное утверждение. И поточечная сходимость (теорема Дирихле), и явление Гиббса — вообще вне L²-ядра: это вопросы о поведении в точках, а не об энергии, и они тянут за собой трансцендентную машинерию Главы 7.3.

Различим уровни строгости. Первый — конечная теория усечений (ошибка = хвост, монотонность, наилучшее приближение, критерий полноты): доказано над ℚ, 0 аксиом. Второй — процессное чтение: ряд Фурье как процесс $K\mapsto P_K$ с убывающей ошибкой, L²-полнота по построению (Рисс–Фишер Части VI). Третий — завершённый ряд, его предел, поточечная сходимость и Гиббс — роль-пределы и иной (поточечный) слой. Первый ведём как доказанный, второй — как процесс, третий — как помеченную границу.

E/R/R-каркас главы

Каркас в порождающем порядке Rules $\to$ Roles $\to$ Elements; полный разбор — в § «Разбор в порождающем порядке».

Rules (Правила, $\leftrightarrow$ L5). Частичная сумма $P_K={\sum }_{k<K}{c}_k{e}_k$ с $c_k=\text{inner}{e}_{k}f$; тождество ошибки $\text{norm}{f-P_K}^2=\text{norm}{f}^2-{\sum }_{k<K}{c}_k^2$; монотонное убывание ошибки по $K$; $P_K$ — наилучшее приближение; ошибка нуль $\iff$ Парсеваль (полнота).

Roles (Роли, $\leftrightarrow$ L4). $P_K$ — роль-приближение; хвостовая энергия $\text{norm}{f-P_K}^2$ — роль-дефект; <<сходимость>> — роль-убывание ошибки; завершённый ряд и L²-предел — роль-предел; поточечная сходимость и Гиббс — роли иного (поточечного) слоя.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Рациональные коэффициенты $c_k$, частичные суммы $P_K$, конечные суммы ${\sum }_{k<K}$, $K\le N$; завершённый бесконечный ряд — вне элементов (P4).

Сходимость как процесс усечений

Ряд Фурье как процесс, а не как сумма

Возьмём ортонормированную систему $\{e_k\}$ и функцию $f$. Её коэффициенты Фурье $c_k=\text{inner}{e}_{k}f$ и частичные суммы

$$P_K=\sum _{k<K}{c}_k{e}_k$$

введены в Главе 7.1. Классический ряд Фурье — это <<сумма всех>> ${\sum }_{k=1}^{\infty }{c}_k{e}_k$, объект, существующий лишь как завершённая бесконечность. ToS читает иначе: есть процесс $K\mapsto P_K$, на каждой стадии — конечная рациональная сумма, доводимая до любой нужной точности; <<ряд Фурье>> — имя этого процесса, а не его завершения.

Ряд Фурье — не бесконечная сумма-объект, а процесс частичных сумм $P_K$. Каждая $P_K$ конечна и рациональна; <<сходимость>> есть свойство процесса, а не достигнутое состояние завершённой суммы.

Энергетический бюджет, не гарантия предела

Что гарантирует, что процесс усечений ведёт себя контролируемо? Неравенство Бесселя (Глава 7.1) даёт энергетический бюджет:

$$\sum _{k<K}{c}_k^2\le \text{norm}{f}^2.$$

Захваченная энергия не может превысить полную, её частичные суммы имеют общий верхний предел, и ошибка $\text{norm}{f-P_K}^2$ не возрастает.

Но это ещё не полная L²-сходимость к самой $f$. Для сходимости к функции нужно, чтобы хвостовая энергия стремилась к нулю — то есть чтобы выполнялась полнота (Парсеваль) в предельном смысле. В конечном усечении на $N$ координатах это проверяется конечным критерием (§ «Парсеваль как критерий сходимости к нулю»): при полном наборе направлений ошибка зануляется. Для бесконечной системы требуется отдельный Коши-процесс по $K$ и доказательство исчезновения хвоста — а это уже предельное утверждение, а не следствие одного Бесселя.

Здесь и помогает Рисс–Фишер из Части VI: если такой Коши-процесс частичных сумм построен, его предел читается как L²-процесс (пространство L²-процессов Коши-полно по построению).² Но сама Коши-сходимость ряда Фурье к $f$ из одного Бесселя не следует: она требует полноты системы. Рисс–Фишер гарантирует носитель предела, а не то, что предел есть именно $f$.

Ошибка усечения равна хвостовой энергии

Расщепление энергии и его следствия

Сердце доказуемого ядра — тождество Пифагора Главы 7.1, прочитанное как баланс энергии усечения:

$$\underset{\text{ошибка}}{\underbrace{\text{norm}{f-P_K}^2}}=\underset{\text{полная}}{\underbrace{\text{norm}{f}^2}}-\underset{\text{захвачено}}{\underbrace{\sum _{k<K}{c}_k^2}}.$$

Квадрат ошибки усечения в точности равен отброшенной хвостовой энергии — той, что не схватили первые $K$ коэффициентов.³ Отсюда три следствия, и каждое доказано:

Неотрицательность. Ошибка $\text{norm}{f-P_K}^2\ge 0$ — значит, ${\sum }_{k<K}{c}_k^2\le \text{norm}{f}^2$ (неравенство Бесселя): захваченная энергия никогда не превышает полную.⁴

Монотонное убывание. С ростом $K$ захваченная энергия не убывает, значит ошибка не возрастает: $K\le K^{\prime }\Rightarrow \text{norm}{f-P_{K^{\prime }}}^2\le \text{norm}{f-P_K}^2$. Это и есть сходимость на конечном уровне — каждый новый коэффициент уменьшает (не увеличивает) невязку.⁵

Доказуемое ядро L²-сходимости — это контроль хвостовой энергии: она неотрицательна, не возрастает при добавлении коэффициентов и обращается в нуль ровно при Парсевале. Каждый шаг есть точное рациональное тождество; завершённого предела для этих утверждений не требуется.

Наилучшее приближение и критерий полноты

Частичная сумма оптимальна

Убывание ошибки было бы малоценным, если бы частичные суммы не были наилучшими приближениями. Но они таковы: среди всех $K$-членных линейных комбинаций системы $\{e_k\}$ частичная сумма Фурье $P_K$ минимизирует L²-ошибку, и минимум этот единствен (Глава 7.1). Поэтому процесс усечения не просто убывает — он убывает оптимально: на каждом $K$ нельзя приблизить $f$ через $K$ направлений лучше, чем это делает $P_K$.⁶

Парсеваль как критерий сходимости к нулю

Когда же ошибка достигает нуля? Тогда и только тогда, когда выполнено равенство Парсеваля ${\sum }_{k<K}{c}_k^2=\text{norm}{f}^2$ — то есть когда система полностью восстанавливает $f$. Это конечный критерий полноты Главы 7.1, прочитанный как критерий сходимости: нулевая хвостовая энергия эквивалентна точному восстановлению.⁷ Если система полна на данном усечении $N$, ошибка зануляется при достаточно большом $K$; для стандартного полного $N$-направленного набора — точно при $K=N$: процесс усечения завершается точным восстановлением за конечное число шагов.

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

Граница: завершённый ряд, поточечная сходимость, Гиббс

Очертим границу точно, чтобы доказуемое ядро не выдавалось за большее. Три вещи остаются по ту сторону.

Завершённый ряд и его L²-предел. Бесконечная сумма ${\sum }_{k=1}^{\infty }{c}_k{e}_k$ как готовый объект и равенство ${\lim }_K{P}_K=f$ для бесконечной системы — роль-предел. Процессно к ним можно приближаться (ошибка убывает, пространство полно по построению), но завершённого предела ToS не актуализирует: для его построения нужен отдельный Коши-процесс по $K$ и полнота системы в пределе, а это уже предельное утверждение, а не конечное тождество.

Поточечная сходимость (Дирихле). Сходится ли ряд Фурье к $f$ в каждой точке — вопрос иного слоя. Теорема Дирихле о поточечной сходимости (к полусумме односторонних пределов в точке разрыва) говорит о значениях, а не об энергии; она живёт в трансцендентной тригонометрии Главы 7.3 и в L²-ядро не входит. Сходимость по энергии и сходимость в точке — разные утверждения; смешивать их — ошибка категории.

Явление Гиббса. Известный <<выброс>> частичных сумм вблизи разрыва, не исчезающий с ростом $K$, — тоже поточечно-равномерный феномен, а не L²-эффект: в энергии он ничтожен (хвостовая энергия убывает), а в максимум-норме — нет. Он лишь подчёркивает, что L²-сходимость и поточечная — не одно и то же.

L²-сходимость имеет доказуемое конечное ядро: ошибка-энергия убывает оптимально к нулю-при-полноте. Завершённый ряд — роль-предел; поточечная сходимость и Гиббс — вопросы иного, поточечного слоя, вне энергии и за границей 7.3.

E/R/R-разбор: сходимость как убывание дефекта

Постановка

Разберём построенную систему — L²-сходимость как процесс усечений — в терминах E/R/R. Оговорка об уровне: <<система сходимости>> здесь — содержательная интерпретация процесса $K\mapsto P_K$ и его конечных теорем, а не объект, объявленный в коде как System. Разбор есть осмысление структуры главы и чтение шапок опорных файлов,⁸ а не приписывание коду новых утверждений.

Разбор в порождающем порядке

Rules (Правила, $\leftrightarrow$ L5). В основании — правило усечения: частичная сумма $P_K={\sum }_{k<K}{c}_k{e}_k$. Над ним — правила, удерживающие сходимость: тождество ошибки $\text{norm}{f-P_K}^2=\text{norm}{f}^2-{\sum }_{k<K}{c}_k^2$, монотонное убывание ошибки по $K$, оптимальность $P_K$ (наилучшее приближение) и критерий нуля (ошибка $=0\iff$ Парсеваль). Универсальный слой — L1–L5; конкретный — формула коэффициентов и расщепление энергии.

Roles (Роли, $\leftrightarrow$ L4). Правила задают роли. $P_K$ — роль-приближение (наилучшее на $K$ направлениях). Хвостовая энергия $\text{norm}{f-P_K}^2$ — роль-дефект полноты. <<Сходимость>> — роль-убывание этого дефекта. Завершённый ряд и L²-предел — роль-предел; поточечная сходимость и Гиббс — роли иного, поточечного слоя, вне энергии.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Носители конечны и рациональны: коэффициенты $c_k\in Q$, частичные суммы $P_K$, конечные суммы ${\sum }_{k<K}$, индексы $K\le N$. Под P4 завершённый бесконечный ряд не есть элемент: актуальны лишь конечные усечения; предел не актуализируется как сумма, актуализируется процесс к нему.

Компонент	Что фиксирует	E/R/R
$P_K=\sum c_k{e}_k$; ошибка $=\text{norm}{f}^2-\sum c_k^2$; монотонность; $P_K$ оптимальна; нуль $\iff$ Парсеваль	КАК организован процесс усечений и его сходимость	Rules ($L5$)
$P_K$ — приближение; хвост — дефект; сходимость — убывание; ряд/предел — предел; Дирихле/Гиббс	ЗАЧЕМ значимы носители; что есть иной слой	Roles ($L4$)
$c_k\in Q$; $P_K$; конечные суммы ${\sum }_{k<K}$; $K\le N$	ЧТО есть на каждой стадии (конечно, P4)	Elements ($L1$, P4)

Проверка сформированности и что даёт разбор

{ Система сформирована корректно: каждый компонент — в одной E/R/R-категории, нет самоотнесения (P1). Существенно, чего здесь нет: система не берёт своим элементом завершённый бесконечный ряд. <<Сходимость>> не есть достигнутое состояние завершённой суммы — это роль-убывание дефекта, свойство процесса усечений; а сам предел — роль-предел, к которому процесс идёт, не актуализируясь как сумма.}

Что даёт разбор. Он переводит сходимость рядов Фурье на язык структуры: частичная сумма — Роль (наилучшее приближение), сходимость — Правило-убывание дефекта, а коэффициенты и усечения — Элементы (конечные, рациональные). Брать <<ряд Фурье сходится к $f$>> за равенство двух завершённых объектов — ставить роль-предел на место Элемента, то же смешение категорий, что вело Части II и IV. А смешивать L²-сходимость с поточечной (Дирихле, Гиббс) — путать слой энергии со слоем значений: разные роли, разные носители.

Следующая глава применяет это ядро: сжатие как усечение по значимым коэффициентам с ошибкой, равной отброшенной энергии; быстрый Уолш как процесс-алгоритм, равный матричному преобразованию; и свёртка — после чего Часть VII закрывается мостом к спектральным методам и физическому тому.

---

---

Часть: Часть VII. Гармонический анализ · Том: «Математика»

Навигация: ← Глава 3. Тригонометрия и комплексный DFT: где граница · Глава 5. Сжатие, быстрое преобразование, свёртка →

Footnotes

1. Опорные файлы — ProcessFourierSeriesL2.v (6 утверждений, 0 аксиом) и ProcessBestApproximation.v (9 утверждений, 0 аксиом), оба в каталоге src/process/, поверх L²-аппарата Части VI (ProcessL2BesselGeneral.v, ProcessL2Parseval.v, ProcessL2RieszFischer.v). Имена — в сносках ниже. ↩

2. Процессное прочтение Рисса–Фишера — l2_riesz_fischer в ProcessL2RieszFischer.v (Часть VI): L²-пространство процессов Коши-полно по построению; это мост к носителю предела, см. § «Граница: завершённый ряд, поточечная сходимость, Гиббс». ↩

3. fourier_error_eq в ProcessFourierSeriesL2.v: $\text{norm}{f-P_K}^2=\text{norm}{f}^2-‘captured‘(c,K)$, где captured$(c,K)={\sum }_{k<K}{c}_k^2$. Прямое следствие resid_norm (Часть VI). 0 аксиом. ↩

4. fourier_error_nonneg; эквивалентно bessel_general (Глава 7.1). ↩

5. fourier_error_monotone; опирается на монотонность захваченной энергии (captured_mono, Глава 7.5). 0 аксиом. ↩

6. fourier_partial_best в ProcessFourierSeriesL2.v (она же best_approx_ge из ProcessBestApproximation.v): $\text{norm}{f-P_K}^2\le \text{norm}{f-{\sum }_{k<K}{a}_k{e}_k}^2$ для любых весов $a_k$; единственность минимума — best_approx_unique. 0 аксиом. ↩

7. fourier_error_zero_iff: $\text{norm}{f-P_K}^2=0\iff {\sum }_{k<K}{c}_k^2=\text{norm}{f}^2$; опирается на критерий полноты parseval_iff_complete (Глава 7.1). 0 аксиом. ↩

8. Шапки: ProcessFourierSeriesL2.v — Rules: ошибка $=\text{norm}{f}^2-$захваченная, монотонна, нуль $\iff$ Парсеваль; Roles: $P_K$ — приближение, хвост — дефект полноты; <<N$\to \infty$ помечено как P4-граница>>. ProcessBestApproximation.v — Rules: $P_K$ — единственный минимум невязки. ↩