希尔伯特第八问题：黎曼猜想综述——中文世界最全面的理解

摘要： 希尔伯特第八问题——黎曼猜想，是横亘在人类理性面前最深邃的数学悬案。它断言：Riemann zeta函数的全部非平凡零点均位于复平面上的临界直线 $\Re(s)=1/2$ 。这条看似单纯的几何陈述，实则是素数分布规律的终极表达——若其为真，素数在自然数中的分布便具有近乎完美的随机性；若其为伪，则意味着素数背后隐藏着我们尚未理解的深层结构。本文以TravorLZH的《读懂黎曼猜想》系列三十篇文章为基础，系统梳理了从黎曼1859年的开创性论文到当代解析数论前沿的完整思想图景。

---

一、一个猜想的诞生

1900年8月8日，巴黎第二届国际数学家大会。三十八岁的David Hilbert走上讲台，向全世界数学家提出了二十三个问题。这些问题，如同投向未来的探照灯，照亮了整个二十世纪的数学进程。其中第八个问题——黎曼猜想——至今未解，依然悬在数学的天空上，像一颗永不降落的星辰。

黎曼猜想的种子，早在四十一前就已播下。

1859年，柏林科学院。为回应Eduard Kummer、Karl Weierstrass和Leopold Kronecker在数论领域的深刻工作，三十二岁的波恩大学讲师Bernhard Riemann当选为通讯院士。按照惯例，他需要向科学院提交一篇论文，展示自己的研究能力。他选择的题目，看起来平淡无奇——《论小于给定值的素数个数》（Über die Anzahl der Primzahlen unter einer gegebenen Größe）。

这篇仅八页的手稿，彻底地、不可逆转地改变了解析数论的面貌。

Riemann的出发点是Euler在1737年发现的一个令人惊异的恒等式。当我们写下：

$\zeta(s)=\sum_{n=1}^\infty\frac{1}{n^s},\quad\Re(s)>1$

这个看起来只涉及正整数求和的级数，竟可以表示为所有素数的乘积：

$\zeta(s)=\prod_p\frac{1}{1-p^{-s}},\quad\Re(s)>1$

Euler乘积仿佛一扇暗门：打开它，我们从正整数的世界一步踏入了素数的世界。从这扇门往里看，素数不再是一堆离散的、无规律的数，而是编织在整个正整数乘法结构中最隐秘的经纬。

但Riemann并未止步于此。他做了两件前无古人的事：其一，将 $\zeta(s)$ 延拓到整个复平面（除 $s=1$ 处的单极点外）；其二，发现了素数计数函数 $\pi(x)$ 与 $\zeta(s)$ 非平凡零点之间的精确对应关系。第二个发现，足以让他名垂青史。

二、梅林变换与欧拉乘积：从离散到连续的桥梁

理解Riemann的洞见，需要先理解一条数学桥梁——梅林变换（Mellin transform）。当我们在 $s$ 为正实数时写下

$\Gamma(s)=\int_0^\infty x^{s-1}e^{-x}dx$

这仅仅是Gamma函数的积分定义。但Riemann的论文暗示了一条更深的联系：若令

$g(x)=\sum_{n=1}^\infty a_n e^{-nx}$

则有

$\Gamma(s)\sum_{n=1}^\infty\frac{a_n}{n^s}=\int_0^\infty x^{s-1}g(x)dx$

换句话说，任何一个Dirichlet级数乘以Gamma函数，都可以转化为一个积分变换。这正是梅林变换的核心：它将离散的级数求和变为连续的积分，从而打通了从数论到复分析的通道。

沿着这条路走下去，Riemann定义了加权素数计数函数

$\Pi_0(x)=\sum_{p^n\le x}\frac{1}{n}$

其中 $p$ 遍历全体素数。通过梅林变换与欧拉乘积的结合，他得到了一个里程碑式的关系式：

$\frac{\ln\zeta(s)}{s}=\int_0^\infty\Pi_0(x)x^{-s-1}dx$

这看似平静的等式承载着惊心动魄的含义：$\zeta(s)$ 的解析性质——特别是它的零点位置——直接决定了 $\Pi_0(x)$ 在 $x\to\infty$ 时的渐近行为，进而决定了素数在自然数列中的分布规律。

由莫比乌斯反演公式，$\Pi_0(x)$ 可与标准的素数计数函数 $\pi(x)$ 相互转化：

$\pi(x)=\sum_{n\ge 1}\frac{\mu(n)}{n}\Pi_0(x^{1/n})$

其中 $\mu(n)$ 是莫比乌斯函数，它本身就是通过 $\zeta(s)$ 的倒数级数 $\zeta(s)^{-1}=\sum_{n=1}^\infty\mu(n)n^{-s}$ 定义的。于是，整个素数计数的问题，被完整地折叠进了 $\zeta(s)$ 的解析性质之中。

三、解析延拓、函数方程与零点的对称性

Riemann论文的第二个革命性贡献，是将 $\zeta(s)$ 从仅仅在 $\Re(s)>1$ 的半平面上定义的级数，延拓为整个复平面上的亚纯函数。他使用的工具至今令人惊叹：Jacobi theta函数 $\psi(x)=\sum_{n=1}^\infty e^{-n^2\pi x}$ 满足一个由Poisson求和公式导出的函数方程

$\psi(x)=\frac{1}{\sqrt{x}}\psi\left(\frac{1}{x}\right)+\frac{1}{2\sqrt{x}}-\frac{1}{2}$

利用这个等式，Riemann将 $\zeta(s)$ 的积分表达式的围道变形，得到全平面的解析延拓以及著名的函数方程：

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

这个方程揭示了 $\zeta(s)$ 在变换 $s\mapsto 1-s$ 下的对称性。它对零点分布的影响是决定性的。

首先，由 $\sin(\pi s/2)$ 的零点可知，所有负偶数 $s=-2,-4,-6,\dots$ 均为 $\zeta(s)$ 的零点——这些被称为平凡零点。它们是Riemann可以完全掌控的部分。

其次，函数方程暗示存在另一类零点——非平凡零点——它们关于直线 $\Re(s)=1/2$ 对称分布，且由于 $\zeta(\overline{s})=\overline{\zeta(s)}$ ，还关于实轴对称。也就是说，非平凡零点以四元组的形式出现：若 $\beta+i\gamma$ 是一个零点（$\beta<1/2$），则 $1-\beta+i\gamma$、$\beta-i\gamma$ 和 $1-\beta-i\gamma$ 也都是零点。

Riemann引入辅助函数

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

该函数满足 $\xi(s)=\xi(1-s)$ 且 $\xi(\overline{s})=\overline{\xi(s)}$，并将非平凡零点与 $\Xi(t)=\xi(1/2+it)$ 的零点一一对应起来。$\Xi(t)$ 是实变量的偶函数，这使得研究零点分布时可以利用实分析的工具。

Riemann在手稿中写道："所有非平凡零点极有可能均满足 $\Re(s)=1/2$。" 他在计算了几个低纵坐标的零点之后做出了这个著名的猜想——这便是黎曼猜想（Riemann Hypothesis, RH）。

四、黎曼精确公式：素数音乐的总谱

Riemann的第三个也是最为辉煌的贡献，是给出了素数计数函数的精确表达式——后世称之为黎曼精确公式（Riemann's Explicit Formula）或黎曼主公式（Riemann's Main Formula）。

设 $J(x)$ 为Riemann的加权素数计数函数（与 $\Pi_0(x)$ 密切相关），黎曼证明了：

$J(x)=\operatorname{li}(x)-\sum_{\rho}\operatorname{li}(x^\rho)-\log 2+\int_x^\infty\frac{dt}{t(t^2-1)\log t}$

其中 $\operatorname{li}(x)$ 为对数积分，求和 $\sum_\rho$ 遍历 $\zeta(s)$ 的全部非平凡零点。

这个公式的物理隐喻极为优美。$\operatorname{li}(x)$ 是"主音"——素数的光滑近似；每一项 $\operatorname{li}(x^\rho)$ 是来自零点 $\rho$ 的"泛音"——每个非平凡零点都在素数的分布曲线上叠加一个特定波长的振荡。平凡零点贡献的是可以忽略的"背景噪声"（即积分项）。

通俗地说：素数的分布，是全体非平凡零点叠加后产生的干涉图样。

当我们将 $J(x)$ 通过莫比乌斯反演转化为 $\pi(x)$ 时，Riemann进一步提出用级数

$R(x)=\sum_{m\ge 1}\frac{\mu(m)}{m}\operatorname{li}(x^{1/m})=1+\sum_{n\ge 1}\frac{(\log x)^n}{n\cdot n!\cdot\zeta(n+1)}$

来逼近素数计数函数。这就是Riemann的R函数。当我们将零点贡献纳入后：

$\pi(x)\approx R(x)-\sum_\rho R(x^\rho)$

每个零点—$\rho$ 对应一个修正项。零点越多，近似越精确。Riemann亲手计算了几个低纵坐标的零点，发现近似曲线几乎完美地贴合素数分布的阶梯函数——这便是后人称之为"素数音乐"的起源：$\zeta(s)$ 的非平凡零点，是这首音乐的音符。

五、素数定理：从切比雪夫到Hadamard与de la Vallée Poussin

如果说Riemann的精确公式给出了素数与零点之间的"总谱"，那么下一个问题就是：什么叫素数定理？

早在Riemann之前，Gauss和Legendre就已通过数值经验猜测

$\pi(x)\sim\frac{x}{\ln x}$

即小于等于 $x$ 的素数个数渐近地等于 $x/\ln x$。但真正向着严格证明迈出第一步的是俄国数学家Pafnuty Chebyshev。他引入切比雪夫函数

$\vartheta(x)=\sum_{p\le x}\ln p,\qquad\psi(x)=\sum_{n\le x}\Lambda(n)$

其中 $\Lambda(n)$ 是von Mangoldt函数（当 $n=p^k$ 时为 $\ln p$，否则为0）。通过莫比乌斯反演，三者之间的关系非常清晰：$\pi(x)$、$\vartheta(x)$ 和 $\psi(x)$ 中任意一个的渐近性质决定了其余两个。Chebyshev证明了存在常数 $0<A<1<B$ 使得

$A\cdot\frac{x}{\ln x}<\pi(x)<B\cdot\frac{x}{\ln x}$

这是纯粹初等方法所能达到的极限。

真正突破性的进展发生在1896年。Hadamard与de la Vallée Poussin各自独立地完成了素数定理的严格证明：

$\pi(x)\sim\operatorname{li}(x)\sim\frac{x}{\ln x},\quad x\to\infty$

他们的证明绕开了Riemann的精确公式（因为当时尚未严格证明非平凡零点的无穷乘积收敛性），而是采用了更直接的策略：证明 $\zeta(s)$ 在 $\Re(s)=1$ 上没有零点。

证明的核心是一个看上去极为简陋的不等式：

$|\zeta^3(\sigma)\zeta^4(\sigma+it)\zeta(\sigma+2it)|\ge 1$

其中系数 $3,4,1$ 源于三角恒等式 $3+4\cos\theta+\cos 2\theta=2(1+\cos\theta)^2\ge 0$。这个不等式的精妙之处在于：如果 $\zeta(1+it_0)=0$，则当 $\sigma\to 1^+$ 时三重积在 $t=t_0$ 处应该趋于无穷——但由界估计它又是有限的，从而产生矛盾。

de la Vallée Poussin进一步证明了一个非零区域：存在常数 $c>0$ 使得 $\zeta(s)$ 在区域

$\sigma\ge 1-\frac{c}{\log|t|}$

内没有零点。利用这个非零区域，他得到了带余项的素数定理：

$\pi(x)=\operatorname{li}(x)+O\left(xe^{-c\sqrt{\ln x}}\right)$

这个余项虽然不是最优的，但它确切地揭示了零点离 $\Re(s)=1$ 越远，素数定理的精度越高。

六、零点计数：Riemann-von Mangoldt公式

理解非平凡零点分布的第一步，是计数。Riemann在其论文中猜测了零点个数的渐近公式，而严格证明由Hans von Mangoldt在1905年完成：

$N(T)=\frac{T}{2\pi}\ln\frac{T}{2\pi}-\frac{T}{2\pi}+O(\ln T)$

其中 $N(T)$ 表示虚部在 $[0,T]$ 内的非平凡零点个数（计重数）。证明的核心是幅角原理（Argument Principle）：

$N(T)=\frac{1}{2\pi i}\oint_C\frac{\xi'}{\xi}(s)ds$

结合 $\xi(s)$ 的对称性，可将围道简化为半围道。Stirling公式被用于精确估计 $\Gamma$ 函数的对数导数，而 $\zeta'/\zeta$ 的积分——即 $S(T)=\frac{1}{\pi}\arg\zeta(1/2+iT)$——则通过Borel-Caratheodory引理被约束为 $O(\ln T)$。

由此可推出非平凡零点纵坐标的渐近公式：

$\beta_n\sim\frac{2\pi n}{\ln n}$

这个结果说明，非平凡零点沿着临界带越来越密集地分布。在高度 $T$ 附近，零点之间的平均间距约为 $2\pi/\ln T$。

七、临界线上的零点：从Hardy到Selberg

Riemann-von Mangoldt公式告诉我们零点总数如何增长，但它完全没有回答最关键的问题：其中有多少落在临界线 $\Re(s)=1/2$ 上？

设 $N_0(T)$ 为临界线上纵坐标不超过 $T$ 的零点个数。第一个质的突破来自G. H. Hardy。

Hardy定理（1914）： $\zeta(s)$ 在临界线上有无穷多个零点。即 $N_0(T)\to\infty$（当 $T\to\infty$）。

Hardy的证明精妙而间接：他考虑 $\Xi(t)=\xi(1/2+it)$——一个实变量的偶函数——并构造其梅林变换。通过Jacobi theta函数的函数方程，他可以精确地计算某些积分。若 $\Xi(t)$ 只有有限次变号，将导出 $m\cdot 2^{2n}\le K$（$K$ 与 $n$ 无关），取 $n\to\infty$ 即得矛盾。

Hardy定理确立了 $N_0(T)\to\infty$，但未能揭示任何增长速率。真正的进展是由Hardy和Littlewood在1921年实现的：

Hardy-Littlewood定理（1921）： $N_0(T)>CT$，即临界线上的零点至少线性增长。

这一结果首次表明临界线上的零点在总数中占有"某种密度"。他们的证明引入了Hardy-Littlewood零点检测原理——一种系统性地将临界线上的变号点转化为下界估计的方法。

真正的转折发生在1942年。挪威数学家Atle Selberg证明了一个划时代的结果：

Selberg正比例定理（1942）： $N_0(T)\gg T\log T$，即临界线上的零点在全体非平凡零点中占有正比例。

由于 $N(T)\sim(2\pi)^{-1}T\log T$，这意味着存在常数 $\alpha>0$ 使得 $\liminf_{T\to\infty} N_0(T)/N(T)\ge\alpha$。Selberg的证明引入了磨光函数（mollifier）技术——用一个截断Dirichlet级数来"平滑"掉 $\zeta(s)$ 在 $1/2$ 附近的剧烈振荡——从而获得更精确的零点下界。

此后，这一正比例的下界被不断刷新：

年份	研究者	下界 $\alpha$
1942	Selberg	$\alpha>0$
1956	闵嗣鹤	$\alpha\ge 1/60000\approx0.0016\%$
1974	Levinson	$\alpha\ge 0.342$
1989	Conrey	$\alpha\ge 0.4077$
2020	Pratt, Robles, Zaharescu, Zeindler	$\alpha\ge 5/12\approx41.67\%$

这意味着，目前已知至少有超过41%的非平凡零点满足黎曼猜想。这个数字每一次增长，都是人类理性向着那个深不可测的真相又逼近了一步。

八、零点密度估计：几乎全部零点紧贴临界线

除了正面攻击（证明零点在临界线上），另一条进路是"负面围剿"——证明偏离临界线的零点少得可怜。

设 $N(\sigma,T)$ 为满足 $\Re(\rho)\ge\sigma$、$0<\Im(\rho)\le T$ 的零点个数。1914年，Bohr和Landau证明了：

$\lim_{T\to\infty}\frac{N(1/2+\delta,T)}{N(T)}=0$

对任意固定的 $\delta>0$——换言之，几乎全部非平凡零点都紧贴在临界线附近。这是相信黎曼猜想为真的最有力的间接证据。

此后，零点密度的上界被不断精化。利用磨光函数技术，可以得到：

$N(\sigma,T)\ll_\varepsilon T^{4\sigma(1-\sigma)+\varepsilon},\quad\sigma>1/2$

Selberg本人进一步给出了一个"水平"的上界：

$N(\sigma,T)\ll\frac{T}{\sigma-1/2}$

这表明零点密度在接近临界线时呈均匀分布，而远离临界线时急剧衰减。更重要的是，Selberg证明了：对于任何满足 $\Phi(t)\to\infty$ 的函数，几乎所有零点 满足

$|\beta-1/2|<\frac{\Phi(|\gamma|)}{\log|\gamma|}$

换句话说，非平凡零点随着纵坐标的升高，以对数速率向临界线收拢。$\Re(s)=1/2$ 具有不可抗拒的吸引力。

九、L函数与Landau-Siegel零点：黑暗中的幽灵

黎曼猜想的本质，是关于算术数列与解析函数之间关系的一个断言。这种关系并非 $\zeta(s)$ 所独有。

Dirichlet在研究等差数列中的素数分布时引入了Dirichlet特征 $\chi$，并构造了对应的Dirichlet L函数：

$L(s,\chi)=\sum_{n=1}^\infty\frac{\chi(n)}{n^s}=\prod_p\frac{1}{1-\chi(p)p^{-s}}$

当 $\chi$ 是主特征（$\chi_0(n)=1$ 对所有与模 $q$ 互素的 $n$）时，$L(s,\chi_0)$ 与 $\zeta(s)$ 几乎相同。当 $\chi\neq\chi_0$ 时，情况更为微妙——$L(s,\chi)$ 在原特征情况下的零点分布揭示出了与 $\zeta(s)$ 迥异的深层结构。

对于 $\zeta(s)$，我们已知它在 $\Re(s)\ge 1$ 上没有零点，且存在非零区域 $\sigma\ge 1-c/\log|t|$。对于 $L(s,\chi)$（$\chi$ 为复特征），类似的结果成立。但对于实特征（$\chi$ 的取值仅为实数），出现了令人不安的异常：

不能排除 $L(s,\chi)$ 在 $s=1$ 附近实轴上存在一个（至多一个）单阶零点——这个幽灵般的零点被称为Siegel零点或异常零点（exceptional zero）。

Landau证明了：全体实特征的L函数乘积中，至多存在一个异常零点。而Landau-Siegel猜想则断言：异常零点根本不存在。如果能证明这个猜想，等差数列素数定理的余项将大幅改善：

广义黎曼猜想（GRH）——即所有Dirichlet L函数的非平凡零点均满足 $\Re(s)=1/2$——若成立，则可推出：

$\pi(x;q,a)=\frac{\operatorname{li}(x)}{\varphi(q)}+O(\sqrt{x}\ln x)$

其中 $\pi(x;q,a)$ 是等差数列 $a+q\mathbb{N}$ 中不超过 $x$ 的素数个数。令人惊讶的是，即便不假设GRH，Page也证明了一个无条件的结果——Page定理——它几乎与GRH下的结论同等强大，唯一的区别是：如果存在异常零点 $\beta$，则会出现一个额外的负贡献项 $-\chi(a)\operatorname{li}(x^\beta)/\varphi(q)$。

Siegel零点的存在与否，至今悬而未决。它是解析数论中仅次于黎曼猜想的最大悬案，与张益唐的故事产生了微妙共鸣。

十、未竟的征途

从Riemann 1859年的八页手稿，到如今成千上万页的学术文献，黎曼猜想早已超越了它最初的语境。它不仅关乎素数的分布——尽管这是它的核心关切——更关乎一个深层的元数学问题：离散的算术结构能否被连续的解析工具所穷尽？

在这一点上，黎曼猜想所暗示的图景是乐观的。它告诉人们，素数——这些自然数中最离散、最不驯的成员——在某种深层意义上，遵循着极其优美的规律。每一个非平凡零点，都是素数交响曲中的一个音符。全体零点的集合，就是那张隐藏在大自然深处的总谱。

但乐观不等于确信。一百六十年过去了，我们仍然没有找到那个可以将一切疑问化为尘埃的证明。我们有了Hardy-Littlewood，有了Selberg，有了40%以上的正比例下界，有了越来越精密的非零区域——每一条定理都像一道探照灯的光芒，刺入未知的黑暗之中，照亮了一片新的天地。但黑暗本身，依然辽阔无垠。

也许这正是数学的魅力所在。正如Hilbert在1900年所说："在我们中间，常常听到这样的呼声：这里有一个数学问题，去找出它的答案！你能通过纯粹的思维找到它，因为在数学中没有不可知。"

对于黎曼猜想，我们还在寻找的路上。

---

本文基于TravorLZH的知乎专栏《读懂黎曼猜想》三十篇系列文章撰写，向这位中文世界杰出的解析数论科普作者致敬。