Глава 4. Функциональное уравнение

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

Глава 13.3 загнала все «интересные» нули дзеты в критическую полосу $0<\Re s<1$. Эта глава объясняет, почему полоса симметрична и почему её ось — прямая $\Re s=1/2$. Источник — функциональное уравнение Римана, связывающее значения дзеты в $s$ и в $1-s$:

$$\zeta (s)=2^s{\pi }^{s-1}\sin \left(\frac{\pi s}{2}\right)\Gamma (1-s)\zeta (1-s),$$

или, в симметричной форме с полной дзетой $\xi (s)=\frac{1}{2}s(s-1){\pi }^{-s/2}\Gamma (s/2)\zeta (s)$,

$$\xi (s)=\xi (1-s).$$

Запись $\xi (s)$ мы используем как роль-обозначение симметричного продолженного процесса, а не как построенный завершённый аналитический объект (его полное построение — континуальная граница части, 13.7). И сама эта симметрия — свойство уже продолженной дзеты: в области сходимости ($\Re s>1$, Глава 13.2) и на эйлеровом слое (Глава 13.3) её ещё не видно — она появляется лишь после аналитического продолжения.

Статус (важно, ставим сразу). В нашем формальном слое само функциональное уравнение принято как одна математическая аксиома, а не выведено: это честный аксиомный ярус Части XIII (его место в карте границ — 13.7). Иначе говоря, эта глава не доказывает аналитическое функциональное уравнение $\xi (s)=\xi (1-s)$ (для него нужны $\Gamma$-множитель, комплексный анализ и продолжение) — она формализует его отражательную структуру. Машинно же проверено то, что из этой симметрии следует структурно: отражение $s\mapsto 1-s$, его неподвижные точки (прямая $\Re s=1/2$) и структура четвёрки нулей; а отдельно — эквивалентность трёх форм Гипотезы Римана (Глава 13.7). Сама истинность Гипотезы Римана остаётся открытой.¹

Отражение $s\mapsto 1-s$ и критическая прямая

Что доказано в репозитории — это сама геометрия отражения. Преобразование

$$\text{reflect}:s⟼1-s$$

есть отражение комплексной плоскости относительно прямой $\Re s=1/2$. Машинно проверены его базовые свойства: оно инволютивно (двукратное применение возвращает исходную точку), действует на координаты как $\Re (\text{reflect}s)=1-\Re s$, $\Im (\text{reflect}s)=-\Im s$, и — ключевое — неподвижные точки отражения — это в точности прямая $\Re s=1/2$.²

Критическая прямая. $\Re s=1/2$ — это линия неподвижных точек отражения $s\mapsto 1-s$.

Здесь видно разделение уровней: отражение — проверяемая геометрия (рациональное условие $\Re s=1/2$, простое и машинно подтверждённое); функциональное уравнение — принятое правило, связывающее значения дзеты по этому отражению. Первое — роль-ось (см. 13.4.7); второе — аксиомный ярус.

Тривиальные нули

Из функционального уравнения (как принятого правила) классически вытекают тривиальные нули дзеты на отрицательных чётных целых:

$$\zeta (-2)=\zeta (-4)=\zeta (-6)=\dots =0.$$

Причина проста: в правой части уравнения множитель $\sin (\pi s/2)$ обращается в нуль при $s=-2,-4,-6,\dots$ Эти нули называют тривиальными, потому что они немедленно следуют из уравнения.

Честно: тривиальные нули здесь — классический ориентир, а не отдельный машинно проверенный объект: они живут на том же аксиомном ярусе, что и само уравнение (мы не выводим их из более первичных фактов, а читаем из принятой симметрии). Важно качественное распределение нулей, которое отсюда складывается:

• $\Re s>1$ — нулей нет (произведение Эйлера, Глава 13.3, конечная сторона — машинно);
• $\Re s<0$ — только тривиальные нули (функциональное уравнение, аксиомный ярус);
• полоса $0<\Re s<1$ — все нетривиальные нули, симметричные относительно $\Re s=1/2$.

Гипотеза Римана: предварительная формулировка

Возникает естественный вопрос: где именно в полосе лежат нетривиальные нули?

Гипотеза Римана (1859). Все нетривиальные нули дзеты лежат на критической прямой $\Re s=1/2$.

Это утверждение симметрии: если $\rho =\frac{1}{2}+i\gamma$ — нуль, то по функциональному уравнению и комплексному сопряжению $1-\rho$ и $\bar{\rho }$ — тоже нули; на критической прямой эта четвёрка вырождается (см. 13.4.5). В нашем слое Гипотеза Римана формализована в трёх эквивалентных формах, и эквивалентность машинно проверена — это самостоятельный результат, не претендующий на доказательство самой гипотезы.³ Полный разбор трёх форм и их роли — в Главе 13.7; здесь нам важна лишь постановка и её симметрийная природа.

Структура четвёрки нулей

Из функционального уравнения вместе с комплексным сопряжением получается: если $\rho =\sigma +i\gamma$ — нетривиальный нуль, то нулями являются также

$$\bar{\rho }=\sigma -i\gamma ,1-\rho =(1-\sigma )-i\gamma ,1-\bar{\rho }=(1-\sigma )+i\gamma .$$

Эта четвёрка образует прямоугольник в комплексной плоскости, симметричный относительно прямой $\Re s=1/2$ и относительно вещественной оси. При $\sigma =1/2$ (сценарий Гипотезы Римана) прямоугольник вырождается в отрезок на критической прямой — $\rho$ и $1-\rho$ сливаются (с точностью до сопряжения).⁴

В ToS-прочтении четвёрка — это орбита нуля под группой симметрий «отражение$+$ сопряжение». Критическая прямая — множество точек, где орбита минимальна (отрезок вместо прямоугольника). Гипотеза Римана говорит: все нетривиальные нули лежат там, где орбита вырождена.

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

Функциональное уравнение — образец глубокой математической симметрии, меняющей переменную на «дополнительную» ($s\leftrightarrow 1-s$) и тем самым связывающей далёкие области. Аналогии в других областях многочисленны: двойственность Пуанкаре в топологии (связь $H_k$ и $H_{n-k}$), двойственность Серра в алгебраической геометрии, CPT-симметрия и зеркальная симметрия в физике. Везде симметрия меняет величину на дополнительную и тем извлекает глубокую структурную информацию.

В случае дзеты симметрия $s\leftrightarrow 1-s$ связывает сходящийся режим ($\Re s>1$, произведение Эйлера) с режимом за областью сходимости ($\Re s<0$, тривиальные нули) через критическую полосу. Эти аналогии — культурный контекст, а не формальные утверждения; мы приводим их, чтобы показать, какого рода объект функциональное уравнение, и почему его принимают за структурную ось теории.

Разбор E/R/R: симметрия как принятое правило

Правила (L5). Здесь два правила разного статуса. Первое — отражение $s\mapsto 1-s$: машинно проверенная инволюция с неподвижной осью $\Re s=1/2$. Второе — функциональное уравнение: правило симметрии значений дзеты по этому отражению, принятое как аксиома (functional_equation_structure), а не выведенное. Часть XIII честно держит эти уровни раздельно.

Роли (L4). «Критическая прямая $\Re s=1/2$» — роль-ось (множество неподвижных точек отражения). «Тривиальные нули» — роль-следствие принятой симметрии. «Нетривиальный нуль» — роль в полосе; «RH-нуль» — роль-неподвижная-точка (на оси; полнее — 13.7). «Четвёрка нулей» — роль-орбита под группой «отражение$+$сопряжение».

Элементы (L1$+$P4). Конкретные данные: отображение reflect на TComplex, рациональное условие $\Re s=1/2$, четыре отражённых/сопряжённых точки орбиты. Не элементы: завершённая дзета на всей плоскости, само уравнение как выведенный факт (оно — принятая аксиома), завершённое множество всех нулей.

Компонент	Что фиксирует	E/R/R-категория
отражение $s\mapsto 1-s$ (машинно); функциональное уравнение (принятая аксиома)	симметрию плоскости и симметрию значений дзеты	Правило (L5)
критическая прямая$=$ось; тривиальные нули$=$следствие; четвёрка$=$орбита	статус особых точек относительно симметрии	Роль (L4)
reflect на TComplex; условие $\Re s=\frac{1}{2}$; четыре точки орбиты	носители на каждой стадии	Элемент (L1$+$P4)

Что снимает разбор. Критическая прямая перестаёт быть «таинственным местом»: это ось неподвижных точек явной симметрии, и условие $\Re s=1/2$ — рациональное, машинно проверяемое. Одновременно разбор честно фиксирует цену: само функциональное уравнение мы принимаем (аксиомный ярус), а не выводим — и это, наряду с континуальной ценой и открытостью RH, попадёт в карту границ части (13.7).

Что глава подготовила

Функциональное уравнение прочитано как принятое правило симметрии $s\leftrightarrow 1-s$; из него критическая прямая $\Re s=1/2$ возникает как ось неподвижных точек отражения — и именно это отражение (инволютивность, неподвижная ось) машинно проверено, тогда как само уравнение держится на аксиомном ярусе. Тривиальные нули, четвёрка нулей и предварительная постановка Гипотезы Римана организованы вокруг этой симметрии.

Дальше:

• Глава 13.5 — нетривиальные нули, свободная от нулей зона и счёт нулей $N(T)$;
• Глава 13.6 — логарифмическая производная и явная формула фон Мангольдта (связь нулей с распределением простых);
• Глава 13.7 — три эквивалентные формы Гипотезы Римана (где форма «неподвижной точки» прямо использует отражение этой главы) и карта границ части, собирающая воедино континуальную цену, аксиомный ярус (это уравнение) и открытость RH.

---

---

Часть: Часть XIII. Дзета-функция и теория чисел · Том: «Математика»

Навигация: ← Глава 3. Произведение Эйлера и связь с простыми · Глава 5. Нули дзеты и свободная от нулей зона →

Footnotes

1. src/zeta/FunctionalEquation.v (в шапке прямо: «функциональное уравнение взято как ОДНА доменная аксиома functional_equation_structure в этой ветке»; «AXIOMS: classic (from classify_zeros), 1 mathematical axiom»). Машинно проверены reflect, reflect_involutive, reflect_re/im, reflect_fixed_iff и RH_iff_reflect_equiv; само уравнение — принятая аксиома, не теорема. ↩

2. FunctionalEquation.v: reflect на TComplex, reflect_involutive ($\text{reflect}\circ \text{reflect}=\mathrm{id}$), reflect_re, reflect_im и reflect_fixed_iff ($\Re s=\frac{1}{2}\iff s$ — неподвижная точка отражения). Это простые рациональные факты (доказываются ring/lra), и они не зависят от аксиомы функционального уравнения — лишь от определения отражения. ↩

3. src/zeta/RH_Statement.v: RH_zeros (все нетривиальные нули на $\Re s=1/2$), RH_process (процессная форма), RH_fixed (форма неподвижной точки), и RH_all_equivalent — их машинно проверенная эквивалентность. Подробно — Глава 13.7. Истинность Гипотезы Римана не доказывается. ↩

4. Структуру четвёрки кодируют FunctionalEquation.v (через reflect и сопряжение: $\rho$, $\bar{\rho }$, $\text{reflect}\rho$, $\text{reflect}\bar{\rho }$) и src/zeta/ZeroStructure.v (conj_zero, zero_structure). Внимание к статусу: ZeroStructure.v наследует classic и L4_witness (через ProcessContinuumHypothesis); сторона, зависящая от самого уравнения, — аксиомный ярус. ↩