临界线上的交响：黎曼猜想 · 公开问题 01

问题

黎曼 ζ 函数 ζ(s) 的全部非平凡零点都位于临界线 Re s = 1/2 上。这是 1859 年黎曼在八页论文《论小于给定数值的素数个数》中随手写下的一句话，也是克雷研究所的千禧年七大难题之一，悬赏一百万美元。

主要概念

ζ 函数与欧拉乘积

对实部 σ = Re s > 1，ζ 函数定义为收敛级数 ζ(s) = Σ_n≥1 n^−s。它的深层身份来自欧拉的观察：它与全部素数通过一个乘积公式相连。这个乘积公式是把「整数」翻译成「素数」的词典，也是黎曼猜想之所以统治素数分布的原因。

解析延拓与函数方程

级数只在 σ > 1 收敛，但 ζ 可以唯一地延拓为整个复平面上的亚纯函数，仅在 s = 1 有一个单极点。黎曼给出了函数方程

ζ(s) = 2^s π^s−1 sin(πs/2) Γ(1−s) ζ(1−s),

等价地，completed zeta 函数 ξ(s) = ½s(s−1)π^−s/2Γ(s/2)ζ(s) 是整函数且满足对称 ξ(s) = ξ(1−s)。

临界带与临界线

函数方程迫使 ζ 在负偶数处取零（平凡零点，来自 Γ 的极点）；全部其余零点（非平凡零点 ρ）落在临界带 0 < Re ρ < 1 内。由 ξ(s) = ξ(1−s) 与实系数性（ζ(s̄) 是 ζ(s) 的共轭），零点关于临界线与实轴双双对称。黎曼猜想断言：对称中心 Re s = 1/2 不是「中心」，而是「唯一居所」。

主要命题与证明

命题 1（欧拉，1737）　对 Re s > 1，ζ(s) = ∏_p (1−p^−s)⁻¹，乘积取遍全部素数。

证明　记 σ = Re s > 1。级数 Σn^−s 绝对收敛，因 Σn^−σ 收敛。对每个 N，只含 ≤ N 的素因子的正整数恰为形如 n = ∏_p≤Np^v_p 者，由算术基本定理这种分解唯一，故有限乘积等于部分和

∏_p≤N (1+p^−s+p^−2s+⋯) = ∏_p≤N (1−p^−s)⁻¹ = Σ_{n: P⁺(n)≤N} n^−s,

其中 P⁺(n) 是 n 的最大素因子。固定任一正整数 n₀，当 N ≥ P⁺(n₀) 时它已计入右端部分和；绝对收敛保证部分和随 N→∞ 收敛于 ζ(s)。同时有限乘积单调递增有界（每个因子收敛于 (1−p^−s)⁻¹，且无穷乘积因 Σp^−σ 收敛而收敛）。两侧取极限即得结论。□

命题 2（阿达马 / 德·拉瓦莱·普桑，1896）　ζ(s) 在直线 Re s = 1 上无零点。这是素数定理成立的最后一块基石。

证明　关键引理是初等三角不等式：对任意实数 θ，

3 + 4cos θ + cos 2θ = 2(1+cos θ)² ≥ 0.

注意 Re s > 1 内 ζ(s) ≠ 0（命题 1 的欧拉乘积无零因子），对数分支解析。设 t₀ ≠ 0，记 s₀ = 1+it₀。对 σ > 1，展开 log ζ(s) = Σ_pΣ_k≥1 p^−ks/k 绝对收敛，可逐项取实部。因 Re log ζ = log|ζ|，

log|ζ(σ)³ζ(σ+it₀)⁴ζ(σ+2it₀)| = Σ_pΣ_k [3+4cos(kt₀ log p)+cos(2kt₀ log p)] p^−kσ/k ≥ 0,

故对一切 σ > 1 有 |ζ(σ)³ζ(σ+it₀)⁴ζ(σ+2it₀)| ≥ 1。(*)

反设 ζ(s₀) = 0，零点阶为 m ≥ 1。ζ 在 s₀ 的邻域内解析且 ζ(s) = (s−s₀)^mg(s)，|g| 有界，故 σ→1⁺ 时 |ζ(σ+it₀)| ≤ C(σ−1)^m。又 ζ(σ) ~ 1/(σ−1)（单极点），而 ζ(σ+2it₀) → ζ(1+2it₀) 有限（2t₀ ≠ 0，非极点）。代入 (*)：左端 ≤ C(σ−1)^4m−3 → 0（因 m ≥ 1 蕴含 4m−3 ≥ 1），与 ≥ 1 矛盾。□

命题 3（von Koch，1901；证明梗概）　黎曼猜想等价于素数计数的精确误差估计 π(x) = Li(x) + O(√x·log x)。

证明梗概　黎曼显式公式给出

ψ(x) = x − Σ_ρ x^ρ/ρ − log 2π − Σ_k≥1 x^−2k/(2k),

其中求和取遍非平凡零点（对每个零点按 |Im ρ|T 截断再取极限，误差 O(x log²x/T)）。每个零点 ρ 贡献一个振幅为 x^{Re ρ} 的振荡项：若全部零点有 Re ρ = 1/2，误差恰为 √x 阶；反之若存在 Re ρ = β > 1/2 的零点，项 x^β/ρ 会突破一切 O(x^β′)（β′ < β）的估计。细节见 Titchmarsh 第 17 章。□

进展与文献

①数值验证：截至最新，前约 10¹³ 个零点全部在临界线上（Gourdon 2004；Platt–Trudgian 2021 把严格验证推进到高度 3·10¹²）。②密度结果：Levinson（1974）证明至少 1/3 的零点在临界线上，Conrey（1989）改进到 41.7%，且这些零点几乎都是单零点。③零点间距服从 GUE 随机矩阵统计（Montgomery 对猜想；Odlyzko 数值）。标准文献：Titchmarsh《The Theory of the Riemann Zeta-function》；H. M. Edwards《Riemann's Zeta Function》。