Глава 2. Дзета-функция как процесс

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

Глава 13.1 установила арифметическую базу: простые как атомы, факторизацию с единственностью, евклидову бесконечность как алгоритм, счётчик $\pi (x)$. Теперь мы вводим объект, который собирает эти данные аналитически — дзета-функцию Римана

$$\zeta (s)=\sum _{n=1}^{\infty }\frac{1}{n^s}.$$

Классически $\zeta$ — это функция, заданная на (почти всей) комплексной плоскости. В ToS ведущее прочтение иное и составляет флагман этой главы:

дзета-функция есть процесс частичных сумм — последовательность ${\zeta }_N(s)={\sum }_{n=1}^N{n}^{-s}$, рассматриваемая как процесс Коши, а не как завершённый объект.

Это ровно тот ход, что в Части IV дал $R$ как процесс Коши, а не как готовый континуум. Дзета наследует ту же онтологию: на одном уровне — процесс (последовательность рациональных частичных сумм при целом показателе), на другом — аналитическая функция (роль-предел). Полюс, нули, аналитическое продолжение — структурные особенности этого процесса, а не свойства заранее данной тотальности.¹

Определение через частичные суммы

Для целого показателя $k\ge 2$ дзета задаётся прямо — как процесс частичных сумм над $Q$:

Definition zeta_term (k n : nat) : Q := 1 / nat_power (S n) k.
Definition zeta_partial (k N : nat) : Q := (* sum of zeta_term k n over n < N *).
Definition zeta_process (k : nat) : nat -> Q := fun N => zeta_partial k N.

Здесь $‘na{t}_{p}ower‘(n)k=n^k$ — точная целая степень, так что каждая частичная сумма ${\zeta }_N(k)={\sum }_{n=1}^{N}1/n^k$ есть конкретное рациональное число. Процесс $‘zet{a}_{p}rocess‘k$ — это последовательность $N\mapsto {\zeta }_N(k)$.²

Ограничение по показателю. Мы работаем с целыми $k\ge 2$ именно потому, что для них $n^k$ точно вычислимо над $Q$ — конечными данными, без обращения к $R$. Для нецелого $s$ (например, $s=3/2$) уже само $n^s$ требует экспоненты-логарифма, то есть перевода в режим процессов Коши; этот шаг честно относится к континуальной границе части (карта — 13.7).

Сходимость при $k\ge 2$

Главный результат об этом процессе — его сходимость для всех целых $k\ge 2$:

Теорема. Для всякого целого $k\ge 2$ процесс $‘zet{a}_{p}rocess‘k$ есть процесс Коши.³

Доказательство — телескопическое сравнение. Поскольку при $k\ge 2$

$$\frac{1}{(n+1{)}^k}\le \frac{1}{(n+1{)}^2}\le \frac{1}{n(n+1)}=\frac{1}{n}-\frac{1}{n+1},$$

частичные суммы мажорируются телескопической суммой ${\sum }_n(\frac{1}{n}-\frac{1}{n+1})=1$. Отсюда $\zeta (k)\le 2$ и, что важнее, телескопическая оценка хвоста явная: по данному $\epsilon >0$ выписывается $N(\epsilon )$, для которого $|{\zeta }_N(k)-{\zeta }_M(k)|<\epsilon$ при $M,N\ge N(\epsilon )$. Сама эта оценка не использует аксиому выбора; при этом переход «монотонно ограниченная последовательность $\Rightarrow$ процесс Коши» в текущем формальном слое идёт через MonotoneConvergence и наследует classic (L3, не AC).

Это и есть смысл слова «процесс»: сходимость не постулируется существованием предела в готовом $R$, а предъявляется как контролируемое поведение рациональной последовательности.

Расходимость при $s=1$: полюс как роль-сингулярность

При $s=1$ картина обрывается: гармонический ряд расходится.

Лемма. Процесс $‘zet{a}_{p}rocess‘1$ не есть процесс Коши.⁴

Онтологически это существенно: при $s=1$ у дзеты полюс. В ToS полюс — не «бесконечное значение», а роль-сингулярность: точка, где процесс уходит за всякую границу, то есть перестаёт быть процессом Коши. Полюс — это свойство поведения процесса, а не число в завершённой таблице значений. Эта единственная особенность в $s=1$ организует, как мы увидим, всю аналитическую теорию: именно полюс в $s=1$ служит ключевым входом в классические доказательства свободной от нулей области у прямой $\Re s=1$ (Глава 13.5).

Комплексное расширение

Для комплексного $s=\sigma +it$ дзета определяется аналогично:

$$\zeta (\sigma +it)=\sum _{n\ge 1}\frac{1}{n^{\sigma +it}}=\sum _{n\ge 1}\frac{1}{n^{\sigma }}{e}^{-it\ln n}.$$

В Rocq формализован комплексно-структурный слой: комплексное число как пара рациональных координат (TComplex), частичные суммы при целом показателе (zeta_complex_at_integer — с нулевой мнимой частью), нормы, оценка модуля $|{\zeta }_N(\sigma +it)|\le {\zeta }_N(\sigma )$, полюс и дихотомия «$k=1$ расходится / $k\ge 2$ сходится».⁵

Комплексность здесь не добавляет новой онтологии — лишь удваивает носитель: одна координата для $\Re$, другая для $\Im$. Завершённую комплексную дзету при произвольном $s$ мы не строим как объект; формализован структурный слой и дихотомия сходимости, а полная континуальная дзета честно помечена как граница.

Аналитическое продолжение

Главный нетривиальный факт классической теории: $\zeta$ продолжается на всю комплексную плоскость, кроме $s=1$ (где полюс). Классически это делают через функциональное уравнение (Глава 13.4), интегральное представление или преобразование Меллина.

В ToS аналитическое продолжение читается операционально — как новый процесс, согласованный с исходным в области сходимости $\Re s>1$. Ключ — аналитическая жёсткость: аналитическая функция однозначно определена своими значениями в окрестности, поэтому продолжение единственно.⁶

Честная оговорка. Полное аналитическое продолжение на всю плоскость — это уже работа с континуумом (нецелые/комплексные $s$ как завершённые объекты), и оно относится к границе части (13.7). В репозитории ComplexZeta.v формализует процессы для отдельных областей и дихотомию сходимости; завершённую функцию на всей плоскости мы не строим как объект — мы описываем правило её согласованного продолжения и честно помечаем континуальную цену.

Специальные значения и тождество $\zeta (-1)=-\frac{1}{12}$

Чётные значения и числа Бернулли

Конкретные значения дзеты в чётных точках — классика:

$$\zeta (2)=\frac{{\pi }^2}{6},\zeta (4)=\frac{{\pi }^4}{90},\zeta (2k)=(\text{рациональное})\cdot {\pi }^{2k}.$$

Это глубокие тождества (базельская задача Эйлера, 1735, и общая формула Эйлера через числа Бернулли). Честно: закрытая форма $\zeta (2)={\pi }^2/6$ — классический результат о трансцендентной величине, и мы не предъявляем её как завершённое Rocq-равенство; машинно проверяется процесс — сходимость частичных сумм и частичных произведений к этому пределу (Глава 13.3). Что доказано в репозитории — это сами числа Бернулли как точные рациональные и точные рациональные значения Bernoulli-слоя.⁷

$\zeta (-1)=-\frac{1}{12}$: диагностика двух процессов

Одно из самых известных и парадоксальных для широкой публики тождеств —

$$1+2+3+4+\dots \stackrel{?}{=}-\frac{1}{12}.$$

Левая часть — расходящийся ряд из положительных целых; правая — отрицательная дробь. В ToS парадокс растворяется как категориальная путаница двух разных процессов.

• Процесс сходимости ($\Re s>1$): ${\zeta }_{\mathrm{conv}}(s)=\sum 1/n^s$ — процесс Коши, сходящийся к конкретному числу.
• Процесс аналитического продолжения ($s<0$): ${\zeta }_{\mathrm{anal}}(s)$ — другой процесс, заданный другой формулой (через функциональное уравнение / числа Бернулли), также сходящийся к конкретному числу.

В области $\Re s>1$ оба процесса дают одно и то же число (по единственности продолжения, «Аналитическое продолжение»). Значение $\zeta (-1)$ — это значение второго процесса при $s=-1$, вычисляемое явной формулой:

$${\zeta }_{\mathrm{anal}}(-1)=-\frac{B_2}{2}=-\frac{1/6}{2}=-\frac{1}{12}.$$

Строгое утверждение, таким образом, не «сумма $1+2+3+\dots$ равна $-1/12$» (как процесс сходимости она расходится), а: «аналитическое продолжение функции $\sum 1/n^s$, определённой при $\Re s>1$, в точку $s=-1$ даёт $-1/12$». Обиходная запись стягивает два процесса в один знак равенства — это и есть диагностируемая ошибка.

Физический смысл — мост в Том III. Значение $\zeta (-1)=-1/12$ имеет реальные применения: эффект Казимира (конечная сила между пластинами после регуляризации расходящейся суммы вакуумных мод) и критическая размерность бозонной струны ($D=26$). ToS-прочтение: в физически измеримых величинах расходящийся формальный ряд заменяется регуляризованным процессом, и ToS диагностирует это как смену правила, а не как буквальную сумму расходящегося ряда; конечная величина есть результат другого, алгоритмически жёсткого процесса — аналитического продолжения. Подробное обсуждение — в Томе III; здесь мы лишь фиксируем математическую основу.⁸

Нечётные значения: $\zeta (3)$ как процесс

Для нечётных значений закрытых форм через $\pi$ неизвестно. Иррациональность $\zeta (3)$ доказана Апери (1979); про $\zeta (5),\zeta (7),\dots$ для большинства неизвестно даже это — открытая область. В ToS $\zeta (3)$ естественно живёт как процесс: формализованы две рациональные процедуры приближения — стандартные частичные суммы и первые Апери-ускоренные значения — с точными вычислениями и сравнениями (брекетами).⁹

Разбор E/R/R: дзета как процесс-система

Правила (L5). Конституирующее правило — суммирование процесса частичных сумм: ${\zeta }_N(k)={\sum }_{n\le N}{n}^{-k}$ с явным модулем сходимости при $k\ge 2$. Отдельное правило — сингулярность в $s=1$ (расходимость гармонического ряда). Аналитическое продолжение — новое правило, согласованное с исходным в $\Re s>1$ (единственное по аналитической жёсткости).

Роли (L4). «Дзета» — роль-процесс: на одном уровне последовательность рациональных частичных сумм, на другом — аналитическая функция (роль-предел). «Полюс $s=1$» — роль-сингулярность. Значения $\zeta (2k)$, $\zeta (3)$ — роль-пределы (результаты процесса). $\zeta (-1)$ — значение другого процесса (продолжения).

Элементы (L1$+$P4). На каждой стадии — конечные данные: частичные суммы ${\zeta }_N(k)$ (рациональные при целом $k\ge 2$), пары рациональных для комплексного случая, точные числа Бернулли. Не элементы: завершённая функция $\zeta$ на всей плоскости, «сумма» расходящегося ряда как число, $n^s$ при нецелом $s$ как готовый объект.

Компонент	Что фиксирует	E/R/R-категория
суммирование частичных сумм; модуль сходимости ($k\ge 2$); продолжение, согласованное в $\Re s>1$	конституцию дзеты как процесса	Правило (L5)
«дзета»$=$процесс; «полюс $s=1$»$=$сингулярность; \zeta(2k),\zeta(3)$${}={}роль-пределы	статус объекта внутри процесса	Роль (L4)
частичные суммы ${\zeta }_N(k)$; пары рациональных; числа Бернулли	носители на каждой стадии	Элемент (L1$+$P4)

Что снимает разбор (диагностика). Корневая ошибка — овеществление дзеты как завершённой функции-объекта и приписывание «суммы» расходящемуся ряду. ToS разводит: дзета — процесс; $\zeta (-1)=-1/12$ — значение другого процесса (продолжения), совпадающего с первым лишь в $\Re s>1$; полюс — поведение (уход за границу), а не «бесконечное значение». Это та же дисциплина, что в Части IV не позволяла спутать процесс Коши с завершённым континуумом $R$.

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

Дзета установлена как процесс частичных сумм: с явной телескопической оценкой при целом $k\ge 2$ (Cauchy-оформление в файле наследует classic через MonotoneConvergence), расходящийся в $s=1$ (полюс как роль-сингулярность), удваивающийся в структурный комплексный слой и продолжаемый как согласованный новый процесс. Знаменитое $\zeta (-1)=-1/12$ прочитано как диагностика двух процессов, а не как тождество расходящегося ряда.

Дальше:

• Глава 13.3 — произведение Эйлера: дзета как процесс над простыми (опираясь на единственность факторизации из Главы 13.1);
• Глава 13.4 — функциональное уравнение и критическая прямая;
• Глава 13.5 — нули, свободная от нулей зона и счёт нулей;
• Глава 13.6 — явная формула фон Мангольдта, связывающая нули с распределением простых;
• Глава 13.7 — три формы Гипотезы Римана и карта границ части (где собраны и континуальная цена, и аксиомный ярус, и открытость).

---

---

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

Понятия: Парадокс · Формализация

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

Footnotes

1. Дзета как процесс формализована в src/zeta/ZetaProcess.v и в комплексно-структурном слое src/zeta/ComplexZeta.v — частях корпуса src/zeta/ (точные счётчики — по текущему build accounting). Оговорка об аксиомах: ZetaProcess.v в Cauchy-оформлении наследует classic (L3 — исключённое третье, одна из двух базовых аксиом тома) через MonotoneConvergence; это L3, а не аксиома выбора. ↩

2. ZetaProcess.v: zeta_term, zeta_partial, zeta_process. ↩

3. zeta_process_cauchy в ZetaProcess.v: $\forall k,2\le k\Rightarrow ‘i{s}_{c}auchy‘(‘zet{a}_{p}rocess‘k)$. Явную телескопическую оценку дают zeta_term_2_le_shifted_tele и zeta_partial_bounded; Cauchy-оформление наследует classic через MonotoneConvergence. ↩

4. zeta_1_not_cauchy в ZetaProcess.v. Стандартная группировка $1+\frac{1}{2}+(\frac{1}{3}+\frac{1}{4})+\cdots >1+\frac{1}{2}+\frac{1}{2}+\dots$ даёт неограниченный рост: для любого $M$ найдётся $N$ с ${\sum }_{n\le N}1/n>M$. Это алгоритмическое утверждение о расходимости. ↩

5. ComplexZeta.v: TComplex, zeta_complex_at_integer, оценки норм, pole_unbounded, zeta_dichotomy. Честно: полная формула $n^{-s}=e^{-s\ln n}=n^{-\sigma }(\cos (t\ln n)-i\sin (t\ln n))$ для произвольного комплексного $s$ в этом файле не строится (она стоит в шапке как намерение); её реализация требует экспоненты-логарифма и относится к континуальной границе части (13.7). ↩

6. Этот принцип («алгоритмическая жёсткость» аналитических функций) подробно обсуждается в линии об аналитических функциях Части VII; здесь мы используем лишь его следствие — единственность согласованного продолжения. ↩

7. src/experimental/BernoulliNumbers.v: числа Бернулли $B_0=1$, $B_1=-\frac{1}{2}$, $B_2=\frac{1}{6}$, $B_3=0$, $B_4=-\frac{1}{30}$, \dots\ как точные рациональные. Там же задан Bernoulli-слой $‘zet{a}_{n}eg‘(k):=-B_{k+1}/(k+1)$ и машинно вычислены первые значения (zeta_neg_0..3, включая $‘zet{a}_{n}e{g}_1‘=-\frac{1}{12}$). Это формализует точную рациональную сторону значений продолжения, но не доказывает само аналитическое продолжение. ↩

8. В репозитории регуляризация и эффект Казимира затрагиваются отдельно (src/experimental/CasimirProcess.v, AbelRegularization.v); полноценная физика — предмет Тома III, не этой главы. ↩

9. src/foundation/AperyConstantERR.v: стандартные и Апери-ускоренные частичные суммы $\zeta (3)$, точные рациональные значения и сравнения, $\zeta (3)\approx 1,202\dots$; разбор E/R/R: $\zeta (3)$ есть процесс, не Элемент. Равенство предельных значений обеих процедур и иррациональность $\zeta (3)$ (Апери, 1979) — классическое математическое чтение, не переформализованное здесь. ↩