Глава 3. Тригонометрия и комплексный DFT: где граница

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

Глава-граница

Глава 7.2 предъявила рациональное ядро гармонического анализа — преобразование Уолша–Адамара — и завершилась обещанием очертить границу с другой стороны: что происходит, когда характеры берут не на булевом кубе, а на окружности. Настоящая глава это и делает. Её предмет — не новый рациональный результат, а честная демаркация: где именно гармонический анализ выходит за пределы ℚ и почему.

Это глава-граница, и её роль в Части VII особая. Предыдущие главы строили и доказывали; эта — проводит черту. Но черта проводится не риторически, а точно: мы называем три трансцендентных ингредиента классического Фурье (континуум-интеграл, значения $\sin /\cos$, комплексные корни единицы), показываем, какой именно из них неустраним, и — что важно — изолируем трансцендентное в единственную явную гипотезу. Доказанный результат главы условный: если принять одно свойство корней единицы (зануляющуюся геометрическую сумму), то дискретная ортогональность становится конечной теоремой над ℚ. Всё остальное — рациональная алгебра; трансцендентность сжата в одну посылку.

Три уровня и что здесь доказано

Различим, как и прежде, уровни строгости. Первый — доказанный над ℚ: дискретная ортогональность характеров при явно названных алгебраических гипотезах (характер как гомоморфизм плюс зануляющаяся геометрическая сумма); это конечная теорема, 0 аксиом.¹ Второй — процессные чтения: непрерывная ортогональность как предел римановых сумм над ℚ-сетками (процесс, Часть V), а не завершённый интеграл. Третий — честная P4-граница, которую ToS не строит: сами значения $\sin /\cos$, мнимая единица $i$, корни единицы $e^{2\pi ik/N}$, поле $C$, континуум-интеграл как готовый объект и завершённый бесконечный ряд Фурье. Первый уровень ведём как условно доказанный (при явных гипотезах о характерах), второй — как процесс, третий — как явно помеченную границу.

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

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

Rules (Правила, $\leftrightarrow$ L5). Гармонический анализ есть разложение по характерам абелевой группы; ортогональность следует из гомоморфизма характеров и зануляющейся геометрической суммы; граничное правило — трансцендентность входит не через идею анализа, а через поле значений характеров выбранной группы.

Roles (Роли, $\leftrightarrow$ L4). Характер — роль; группа — роль-носитель структуры; гипотеза ${\sum }_j{\chi }_m(j)=0$ — роль-инкапсуляция трансцендентного; значения $\sin /\cos$, $e^{2\pi ik/N}$, $i$, $\pi$ — роль-пределы.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Абстрактные значения характеров $\chi (k,j)\in Q$ (данные гипотезой), конечные суммы, $N$ точек выборки; трансцендентные значения, $C$ и континуум-интеграл — вне элементов (P4).

Непрерывная тригонометрия: ортогональность как интеграл

Где прячется трансцендентность

Классическая тригонометрическая система — это $\{1,\cos x,\sin x,\cos 2x,\sin 2x,\dots \}$ на отрезке $[-\pi ,\pi ]$, а её ортогональность — семейство интегралов

$${\int }_{-\pi }^{\pi }\cos (mx)\cos (nx)dx=\pi {\delta }_{mn}(m,n\ge 1),$$

а смешанные произведения синуса и косинуса интегрируются в нуль:

$${\int }_{-\pi }^{\pi }\sin (mx)\cos (nx)dx=0.$$

Сравним это с ортогональностью Уолша из § (см. соответствующую главу), где стояла конечная сумма знаков ${\sum }_{j<N}{H}_{ij}{H}_{i^{\prime }j}=N{\delta }_{i{i}^{\prime }}$. Разница и есть граница. Здесь трансцендентность входит сразу тремя путями: во-первых, суммирование заменено интегралом по континууму — завершённым объектом, которого ToS не актуализирует; во-вторых, подынтегральная функция — произведение трансцендентных $\sin$ и $\cos$; в-третьих, само значение $\pi$ справа трансцендентно.

Интеграл как процесс, а не как взятый объект

В рамках ToS интеграл — не готовое число, а процесс накопления римановых сумм над рациональными сетками (так он построен в Части V). Поэтому непрерывную ортогональность можно прочитать как утверждение о пределе процесса частичных сумм — и в этом прочтении она в принципе доступна. Но прочтение это упирается в границу значений: предел диагонального интеграла есть $\pi$ (трансцендентен), а сами значения подынтегральной функции на каждой стадии — значения $\sin /\cos$, рациональные лишь в исключительных точках. Даже там, где результат рационален (внедиагональный интеграл равен нулю), доказательство этого нуля опирается на первообразную или на периодичность $\sin /\cos$ — то есть на трансцендентную машинерию.

Непрерывная тригонометрическая ортогональность — не точное рациональное тождество, как у Уолша, а предел процесса с трансцендентными значениями. Это честная граница: процесс доводим до любой точности, но его предел и слагаемые лежат вне ℚ.

Комплексный DFT: корни единицы и мнимая единица

Характеры окружности

Дискретное преобразование Фурье ($N$-точечный DFT) дискретизирует окружность: его характеры — степени первообразного корня единицы $\omega =e^{2\pi i/N}$,

$${\chi }_k(j)={\omega }^{kj}=e^{2\pi ikj/N},(Ff{)}_k=\sum _{j<N}{f}_j{\omega }^{-kj}.$$

Ортогональность опирается на зануляющуюся геометрическую сумму: при $m\not\equiv 0(\mathrm{mod}N)$

$$\sum _{j<N}{\omega }^{mj}=\frac{{\omega }^{mN}-1}{{\omega }^m-1}=0,$$

поскольку ${\omega }^{mN}=1$, а ${\omega }^m\ne 1$. Отсюда ${\sum }_j{\omega }^{kj}{\omega }^{-k^{\prime }j}=N{\delta }_{k{k}^{\prime }}$ — ровно та же структура характеров, что у Уолша, но над другим полем.

Что именно трансцендентно

Граница здесь иная, чем у непрерывной тригонометрии: сумма конечна, а механизм зануления — алгебраический (геометрическая прогрессия). Трансцендентны и комплексны сами значения: $\omega =e^{2\pi i/N}$ требует мнимой единицы $i$ и основания $e$; характеры живут в $C^N$, полноценного поля $C$ как уже построенного носителя над процессными вещественными ToS не строит, а корень единицы ${\omega }^{kj}$ в общем случае иррационален и комплексен.²

Комплексный DFT — та же гармония характеров, что и Уолш, но на группе $(Z_N,+)$, чьи характеры суть корни единицы. Алгебраический скелет (зануляющаяся сумма) становится рациональным, если значения характеров заменить абстрактными рациональными параметрами с нужными законами; сами же значения $e^{2\pi ik/N}$ и мнимая единица $i$ трансцендентны и комплексны.

Дискретная выборка: что становится рациональным

Изоляция трансцендентного в одну гипотезу

Предыдущий параграф показал: трансцендентны значения характеров, а механизм ортогональности — алгебраический. Это наводит на точный вопрос: какие именно свойства характеров нужны для ортогональности, и сколько из них трансцендентны? Ответ неожиданно скромен. Возьмём значения характеров $\chi (k,j)$ как абстрактные рациональные параметры (не строя $e^{2\pi ikj/N}$) и потребуем от них лишь трёх свойств:

• [(1)] нулевая частота постоянна: $\chi (0,j)=1$;
• [(2)] характер есть гомоморфизм по частоте: $\chi (k,j)\chi (k^{\prime },j)=\chi (k+k^{\prime },j)$;
• [(3)] зануляющаяся геометрическая сумма: ${\sum }_{j<N}\chi (m,j)=0$ при $0<m<N$.

Свойства (1)–(2) чисто алгебраические; трансцендентно только свойство (3) — это абстрактная форма факта <<сумма корней единицы равна нулю>>. И вот при этих гипотезах дискретная ортогональность есть конечная теорема над ℚ (в диапазоне $k+k^{\prime }<N$):

$$\sum _{j<N}\chi (k,j)\chi (k^{\prime },j)=\{\begin{array}{ll}N,& k+k^{\prime }=0,\\ 0,& 0<k+k^{\prime }<N,\end{array}$$

доказанная чистой рациональной алгеброй.³ Полная модульная DFT-формула $k+k^{\prime }\equiv 0(\mathrm{mod}N)$ потребовала бы арифметики индексов по модулю $N$, которую этот файл сознательно не строит; в доказанном диапазоне $k+k^{\prime }<N$ условие $k+k^{\prime }\equiv 0$ совпадает с $k+k^{\prime }=0$. В классическом DFT это читается как ортогональность с обратным характером $k^{\prime }=-k(\mathrm{mod}N)$, обычно реализуемая комплексным сопряжением, — но сопряжения и модульной арифметики характеров файл не строит: он доказывает рациональный скелет при явных гипотезах.

{Файл-граница ничего трансцендентного не строит: он показывает, что вся ортогональность DFT есть рациональная алгебра характеров плюс один вход — зануляющаяся сумма корней единицы. Граница сжата в единственную явную гипотезу.}

Диагностика: граница проходит по выбору группы

Сведём три параграфа в одну диагностику. Гармонический анализ — всегда разложение по характерам абелевой группы; идея от группы не зависит и рациональна. Вся трансцендентность входит через выбор группы — точнее, через поле значений её характеров:

Группа	Характеры	Статус
булев куб $(Z_2^n,\oplus )$	$\pm 1$ (Уолш)	рационально, ядро (§ (см. соответствующую главу))
циклическая $(Z_N,+)$	корни единицы $e^{2\pi ik/N}$	комплексно, роль-предел
окружность $(\mathbb{T},+)$	$e^{2\pi ikx}$, континуум	трансцендентно, роль-предел

Все три — одна и та же теория характеров; различается лишь группа и потому поле значений. Поэтому граница ToS проходит не между <<Фурье>> и <<не-Фурье>>, а между группами: рациональный гармонический анализ есть анализ на булевом кубе, а циклическая группа и окружность тянут за собой корни единицы и континуум.

ToS не теряет гармонический анализ — он локализует его рациональный экземпляр (Уолш) и честно помечает остальные как роль-пределы, привязанные к их группам. Трансцендентность — свойство выбранной группы, а не самой идеи разложения по характерам.

Это та же диагностика, что вела Часть IV: где кажется потеря, на деле — отказ от завершённого объекта (здесь — от группы с трансцендентными характерами) с сохранением всего конструктивного содержания.

E/R/R-разбор: граница как выбор носителя

Постановка

Разберём построенное — демаркацию границы и условную теорему дискретной ортогональности — в терминах E/R/R. Оговорка об уровне: формальный объект здесь один — условная теорема discrete_orthogonality при явных гипотезах; всё прочее (непрерывная тригонометрия, комплексный DFT) присутствует как граница, помеченная, а не построенная. Разбор есть осмысление структуры границы и чтение шапки ProcessDiscreteTrig.v,⁴ а не приписывание коду новых утверждений.

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

Rules (Правила, $\leftrightarrow$ L5). В основании — правило гармонического анализа: разложение по характерам абелевой группы, где ортогональность следует из гомоморфизма характеров ${\chi }_k{\chi }_{k^{\prime }}={\chi }_{k+k^{\prime }}$ и зануляющейся геометрической суммы ${\sum }_j{\chi }_m=0$. Над ним — граничное правило: поле значений характеров задаётся группой, и именно оно определяет, рационален результат или трансцендентен. Универсальный слой — L1–L5; конкретный — три гипотезы о характерах.

Roles (Роли, $\leftrightarrow$ L4). Характер ${\chi }_k$ — роль (метка гармоники как гомоморфизма). Группа — роль-носитель: её выбор задаёт поле значений. Гипотеза ${\sum }_j{\chi }_m=0$ — роль-инкапсуляция: единственное место, куда стянуто трансцендентное содержание корней единицы. А сами значения $\sin /\cos$, $e^{2\pi ik/N}$, мнимая единица $i$, число $\pi$, континуум-интеграл — роль-пределы: места, к которым процессы стремятся, но которые ToS не актуализирует.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Носители конечны и рациональны: абстрактные значения $\chi (k,j)\in Q$ (данные гипотезой), индексы $k,k^{\prime },j<N$, конечные суммы ${\sum }_{j<N}$. Под P4 вне элементов остаются трансцендентные значения, поле $C$ и континуум-интеграл — они роли-пределы, не актуальные объекты.

Компонент	Что фиксирует	E/R/R
${\chi }_k{\chi }_{k^{\prime }}={\chi }_{k+k^{\prime }}$; ${\sum }_j{\chi }_m=0$; граница = поле значений группы	КАК устроена ортогональность и где проходит граница	Rules ($L5$)
характер ${\chi }_k$; группа-носитель; гипотеза-инкапсуляция; $\sin /\cos$, $e^{2\pi ik/N}$, $i$, $\pi$	ЗАЧЕМ значимы носители и что есть роль-предел	Roles ($L4$)
значения $\chi (k,j)\in Q$; индексы $<N$; конечные суммы ${\sum }_{j<N}$	ЧТО есть на каждой стадии (конечно, рационально, P4)	Elements ($L1$, P4)

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

{ Система сформирована корректно: каждый компонент — в одной E/R/R-категории, нет самоотнесения (P1). Существенно, что трансцендентное не подменяет здесь Элемент: оно честно держится либо как роль-предел (значения, $C$, интеграл), либо как явная гипотеза-вход (зануляющаяся сумма). Условная теорема не делает вид, что построила корни единицы — она показывает, что при их ключевом свойстве вся ортогональность рациональна.}

Что даёт разбор. Он называет границу её точным именем: граница проходит по выбору группы, то есть по полю значений характеров. Идея гармонического анализа — Правило — рациональна и от группы не зависит; характер — Роль; абстрактные значения — Элементы. Брать $e^{2\pi ik/N}$, $i$ или $\pi$ за готовый Элемент — ставить роль-предел на место актуального объекта, то же смешение категорий, что и в прежних главах. Часть VII потому и устроена так: рациональное ядро (Уолш, § (см. соответствующую главу)) предъявлено и доказано, а трансцендентные экземпляры — помечены и сжаты в явные гипотезы, не растворяя при этом ни одной содержательной теоремы.

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

---

---

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

Навигация: ← Глава 2. Уолш–Адамар: преобразование без трансцендентностей · Глава 4. Сходимость рядов Фурье в L2 →

Footnotes

1. Опорный файл — ProcessDiscreteTrig.v (каталог src/process/, 2 доказанных утверждения, 0 Admitted, 0 аксиом). Он не строит $\sin /\cos$, комплексные числа или формулу Эйлера; он формализует, какие гипотезы превращают тригонометрическую ортогональность в утверждение о конечной сумме. ↩

2. Процессные вещественные — это $N\to Q$ (Часть IV); комплексные потребовали бы пар таких процессов, но дело не в паре, а в значениях: $e^{2\pi ik/N}$ трансцендентно. Поэтому комплексный DFT — роль-предел, а не построенный объект. ↩

3. В ProcessDiscreteTrig.v: char_sum_full (нулевая частота суммируется в $N$, из (1) и суммы констант) и discrete_orthogonality (${\sum }_{j<N}\chi (k,j)\chi (k^{\prime },j)=N$ при $k+k^{\prime }=0$, иначе $0$, для $k+k^{\prime }<N$). Доказательство: гомоморфизм (2) сворачивает произведение в $\chi (k+k^{\prime },j)$, далее (1) или (3). 0 аксиом — трансцендентность в гипотезе (3), а не в аксиоме. ↩

4. Шапка файла: Elements — абстрактные значения $\chi (k,j)\in Q$; Roles — ${\chi }_k$ как характер, гипотезы как алгебраическое содержание корней единицы; Rules — ${\chi }_0=1$, ${\chi }_k{\chi }_{k^{\prime }}={\chi }_{k+k^{\prime }}$, ${\sum }_j{\chi }_m=0$ $\Rightarrow$ ортогональность. Файл назван <>. ↩