Глава 5. Нули дзеты и свободная от нулей зона

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

Глава 13.4 показала: нетривиальные нули дзеты живут в критической полосе $0<\Re s<1$ и симметричны относительно прямой $\Re s=1/2$. Эта глава вводит главный технический инструмент аналитической теории чисел — свободную от нулей зону — и его машинно проверяемое ядро. И здесь особенно важно держать разрез: в репозитории доказаны рациональные и алгебраические куски (тождества, оценки, счётные процессы — всё с 0 аксиом), а полные комплексно-аналитические теоремы (зона де ла Валле-Пуссена, асимптотика Римана–фон Мангольдта) остаются классическим чтением.

Нуль как процесс. В ToS нуль дзеты — не точка завершённого множества, а процесс: комплексная последовательность Коши $\rho :N\to \mathbb{TC}$, чьё значение сходится к нулю. Нетривиальность и положение фиксируются предикатами над таким процессом.¹ Известные малые нули — ${\rho }_1\approx \frac{1}{2}+14,13i$, ${\rho }_2\approx \frac{1}{2}+21,02i,\dots$ — это численные данные (проверены огромные начальные диапазоны, все на критической прямой); в репозиторий они входят как ориентир, а не как машинно построенные объекты.

Свободная от нулей зона

Свободная зона — область, гарантированно не содержащая нулей. Классическая зона де ла Валле-Пуссена (1899):

$$\Re s>1-\frac{c}{\log |\Im s|}$$

для некоторой $c>0$: нули отступают от прямой $\Re s=1$ со скоростью $O(1/\log |t|)$.

Что машинно проверено — это рациональное ядро механизма «полюс отталкивает нули от $\Re s=1$»: комбинация Мертенса и нижняя оценка через полюс, с явными рациональными границами.²

Тригонометрическое неравенство: алгебраическое ядро

Главный инструмент доказательства классической свободной зоны — неравенство

$$3+4\cos \theta +\cos 2\theta \ge 0\text{для всех }\theta .$$

Его доказывают алгебраически, без всякого анализа: подставляя $\cos 2\theta =2{\cos }^2\theta -1$,

$$3+4\cos \theta +2{\cos }^2\theta -1=2+4\cos \theta +2{\cos }^2\theta =2(1+\cos \theta {)}^2\ge 0.$$

В ToS это и есть машинно проверенное ядро — причём в максимально честной форме: неравенство доказано как алгебраическое тождество над $Q$ для любого рационального $x$, играющего роль «косинус-прокси», а не как утверждение о вещественном $\cos \theta$.³

Как это запирает нули. При $s=\sigma +it$ из неравенства (через ряд Дирихле для логарифма дзеты) следует

$$3\log |\zeta (\sigma )|+4\log |\zeta (\sigma +it)|+\log |\zeta (\sigma +2it)|\ge 0.$$

Если бы $\zeta (\sigma +it)=0$, средний член ушёл бы в $-\infty$; но первый член $3\log |\zeta (\sigma )|$ при $\sigma \to 1$ растёт из-за полюса медленнее, чем уходит средний, — и в подходящей области это даёт противоречие. Эта сборка (комбинация неравенства, полюса и оценок) формализована на рациональном уровне в синтезе.⁴

Функция счёта нулей $N(T)$

Сколько нулей лежит в горизонтальной полосе высоты $T$? Классическая формула Римана–фон Мангольдта:

$$N(T)=\frac{T}{2\pi }\log \frac{T}{2\pi e}+O(\log T),$$

то есть число нулей растёт примерно как $(T\log T)/(2\pi )$.

В ToS счёт нулей — роль-счётчик: для каждого конечного $T$ это конкретное рациональное ограничение, а не свойство завершённого «множества всех нулей». Машинно проверена грубая рациональная контрольная оценка $K\cdot (T+1)$ — неотрицательная, положительная при ненулевом уровне и монотонная.⁵ Это позволяет работать с нулями алгоритмически: даже если «множество всех нулей» не есть завершённый объект, контрольная оценка даёт конкретное число для каждого $T$.

Свойства зоны и прогресс к Гипотезе Римана

Свободная зона — это лестница к Гипотезе Римана:

• классическая зона (де ла Валле-Пуссен): $\Re s>1-c/\log |t|$ — доказана классически;
• зона Коробова–Виноградова (1958): шире классической — доказана классически;
• гипотетическая зона при RH: $\Re s>1/2$ — эквивалентна Гипотезе Римана.

Прогресс в расширении свободной зоны — это прогресс в направлении RH; это активная область. В ToS машинно проверено рациональное ядро (тригонеравенство, полюсная оценка, счётный процесс), а сами зоны в их полной комплексной форме — классическое чтение поверх этого ядра. Дополнительно оформлен процессный каркас для нулей усечённых ${\zeta }_N$: возмущения, грубый счётчик, геометрия отражения и фиксированная критическая прямая; формулировка о миграции к $\Re s=1/2$ — математическое/процессное чтение, а не теорема обо всех нулях ${\zeta }_N$.⁶

Разбор E/R/R: нуль-процесс, зона-правило, счётчик-роль

Правила (L5). Конституирующие правила — неравенство (алгебраическое тождество $2(1+x{)}^2\ge 0$ над $Q$, запирающее нули у $\Re s=1$) и полюсная оценка: растущий разрыв между $k=1$ (расходимость) и $k\ge 2$ (pole_large, gap_unbounded) — рациональный surrogate аналитической идеи, что полюс отталкивает нули от $\Re s=1$. Вместе они дают рациональное ядро правила свободной зоны.

Роли (L4). «Нуль» — роль-процесс (последовательность Коши, сходящаяся к нулю); «свободная зона» — роль-область (где правило запрещает нули); «$N(T)$» — роль-счётчик (конкретное число на каждом конечном уровне); «миграция нулей ${\zeta }_N$» — роль-стягивание к критической прямой.

Элементы (L1$+$P4). Конкретные данные: рациональные значения mertens_f$(x)$ и double_angle_form$(x)$, рациональные полюсные оценки pole_lower_bound, рациональные счётные оценки zero_count_bound$(K,T)$. Не элементы: завершённое множество всех нулей, полная комплексная свободная зона, асимптотика $N(T)$ как готовое равенство.

Компонент	Что фиксирует	E/R/R-категория
алгебраическое неравенство $2(1+x{)}^2\ge 0$; полюсная оценка	запрет нулей у $\Re s=1$	Правило (L5)
нуль$=$процесс; зона$=$область; N(T)$${}={}счётчик; миграция$=$стягивание	статус особых точек и их распределения	Роль (L4)
рациональные mertens_f, pole_lower_bound, zero_count_bound	носители на каждой стадии	Элемент (L1$+$P4)

Что снимает разбор. «Тригонометрическое» неравенство, которое запирает нули, оказывается не аналитическим фактом, а алгебраическим тождеством над $Q$ — максимально прозрачным и машинно проверяемым. Счёт нулей — не свойство завершённой бесконечности, а рациональная оценка на каждом конечном уровне. ToS выделяет именно конечно-рациональное ядро теории нулей, честно оставляя полную комплексную аналитику классическим чтением.

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

{ Нули прочитаны как процессы; свободная зона — как правило. Рациональное ядро разнесено по статусу: TrigInequality.v (алгебраическое $2(1+x{)}^2\ge 0$ над $Q$), ZeroFreeRegion.v (полюсная оценка, модельная ширина $c/(1+|t|)$) и ZeroCountingProcess.v (грубая оценка счёта $K(T+1)$) — 0 аксиом; синтез RH_Phase1_Synthesis.v и слой PartialSumZeros.v наследуют classic. Полная комплексная зона де ла Валле-Пуссена $1-c/\log |t|$ и асимптотика Римана–фон Мангольдта честно оставлены классическими.}

Дальше:

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

---

---

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

Навигация: ← Глава 4. Функциональное уравнение · Глава 6. Явная формула фон Мангольдта →

Footnotes

1. src/zeta/ZetaZeros.v: CauchyComplex$=N\to$TComplex, предикаты in_critical_strip, is_nontrivial_zero, on_critical_line; нуль — процесс Коши, сходящийся к нулевому значению (nontrivial_zero_cauchy). ↩

2. src/zeta/ZeroFreeRegion.v (в шапке: «AXIOMS: none», 0 аксиом): pole_lower_bound, pole_lower_bound_nonneg, pole_lower_bound_monotone и pole_large — нижняя оценка «полюсного» вклада, выражающая отталкивание нулей от $\Re s=1$ на рациональном/процессном уровне; также mertens_combination, gap_unbounded, integer_zero_free и модельная ширина $‘dv{p}_{w}idth‘=c/(1+|t|)$ с $‘dv{p}_{b}oundary‘=1-‘dv{p}_{w}idth‘\to 1$. Важно: $c/(1+|t|)$ — рациональный surrogate, а не классическая ширина $c/\log |t|$. Полная комплексная зона де ла Валле-Пуссена $\Re s>1-c/\log |t|$ — классический результат; в файле формализована его рациональная, оценочная сторона. ↩

3. src/zeta/TrigInequality.v (в шапке: 0 аксиом; и прямо: «Over Q: we prove this for ALL rational $x$, not just $\cos \theta$»). Здесь mertens_f$(x)=2(1+x{)}^2$ (комбинация Мертенса после подстановки $\cos 2\theta \to$double_angle_form$(x)=2x^2-1$), и mertens_f_nonneg: $‘merten{s}_f‘(x)\ge 0$ для всех рациональных $x$; и mertens_f_positive: $‘merten{s}_f‘(x)>0$ при $x\ne -1$ (с нулём лишь при $x=-1$, mertens_f_zero_iff); trig_inequality_algebraic, trig_inequality_double_angle. Тригонометрическое прочтение ($x=\cos \theta$) — классическая интерпретация рациональной алгебраической леммы. ↩

4. src/zeta/RH_Phase1_Synthesis.v: сборка свободной зоны из тригонеравенства, полюсной оценки (pole_large) и «сжатия» Мертенса — на рациональном/процессном уровне (наследует classic). Полная аналитическая форма с комплексным логарифмом дзеты — классическая. ↩

5. src/zeta/ZeroCountingProcess.v (в шапке: «AXIOMS: none», 0 аксиом): $‘zer{o}_{c}oun{t}_{b}ound‘KT:=K\cdot (T+1)$ — грубая линейная оценка (с zero_count_bound_nonneg, _pos, _mono_K), а не формула Римана–фон Мангольдта. Полная асимптотика $N(T)\sim (T\log T)/(2\pi )$ — классический результат. В файле также введена процессная формулировка rh_zero_variance и доказаны базовые следствия (rh_implies_no_deviation) — это не доказательство RH и не полная эквивалентность для аналитических нулей. ↩

6. src/zeta/PartialSumZeros.v: gap при $k=2$, интервальные оценки, грубый счёт, убывание возмущения, фиксированная критическая прямая, zero_squeeze, reflection distance; наследует classic. Это процессный каркас, а не доказательство миграции всех нулей ${\zeta }_N$ к прямой. ↩