黎曼猜想

✍ dations ◷ 2025-01-12 19:39:10 #数学中未解决的问题,解析数论,猜想,数学课题,千禧年大奖难题,伯恩哈德·黎曼,1859年面世

黎曼猜想（英语：Riemann hypothesis，RH）由德国数学家波恩哈德·黎曼于1859年提出。它是数学中一个重要而又著名的未解决的问题，有“猜想界皇冠”之称，多年来它吸引了许多出色的数学家为之绞尽脑汁。其猜想为：

黎曼ζ函数，

$\zeta (s)={\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+\cdots$ 》中提及了这个著名的猜想，但它并非该论文的中心目的，他也没有试图给出证明。黎曼知道ζ函数的不平凡零点对称地分布在直线 $s={\frac {1}{2}}+\mathbf {i} t$ $s={\frac {1}{2}}+\mathbf {i} t$ 上，以及他知道它所有的不平凡零点一定位于区域 $0\leq {\text{Re}}(s)\leq 1$ $0\leq {\text{Re}}(s)\leq 1$ 中。

1896年，雅克·阿达马和Charles Jean de la Vallée-Poussin分别独立地证明了在直线 ${\text{Re}}(s)=1$ ${\text{Re}}(s)=1$ 上没有零点。连同了黎曼对于不非凡零点已经证明了的其他特性，这显示了所有不平凡零点一定处于区域 $0<{\text{Re}}(s)<1$ $0<{\text{Re}}(s)<1$ 上。这是素数定理第一个完整证明中很关键的一步。

1900年，大卫·希尔伯特将黎曼猜想包括在他著名的23条问题中，与哥德巴赫猜想一起组成了希尔伯特名单上的第8号问题。同时黎曼猜想也是希尔伯特问题中唯一一个被收入克雷数学研究所的千禧年大奖难题的。希尔伯特曾说，如果他在沉睡1000年后醒来，他将问的第一个问题便是：黎曼猜想得到证明了吗？

1914年，高德菲·哈罗德·哈代证明了有无限个零点在直线 ${\text{Re}}(s)={\frac {1}{2}}$ ${\text{Re}}(s)={\frac {1}{2}}$ 上。然而仍然有可能有无限个不平凡零点位于其它地方（而且有可能是最主要的零点）。后来哈代与约翰·恩瑟·李特尔伍德在1921年及塞尔伯格在1942年的工作（临界线定理）也就是计算零点在临界线 ${\text{Re}}(s)={\frac {1}{2}}$ ${\text{Re}}(s)={\frac {1}{2}}$ 上的平均密度。

近年来的工作主要集中于清楚的计算大量零点的位置（希望借此能找到一个反例）以及对处于临界线以外零点数目的比例置一上界（希望能把上界降至零）。

黎曼猜想传统的表达式隠藏了这个猜想的真正重要性。黎曼ζ函数与素数的分布有着深厚的连结。Helge von Koch在1901年证明了黎曼猜想等价于素数定理一个可观的强化：给出任何 $\varepsilon >0$ $\varepsilon >0$ ，我们有

式中 $\pi (x)$ $\pi(x)$ 为素数计数函数， $\ln(x)$ $\ln(x)$ 为 $x {\displaystyle x}$ $x$ 的自然对数，以及右手边用上了大O符号。一个由Lowell Schoenfeld提出的非近似版本，表示黎曼猜想等价于： $\left|\pi (x)-\int _{0}^{x}{\frac {\mathrm {d} t}{\ln(t)}}\right|<{\frac {1}{8\pi }}{\sqrt {x}}\,\ln(x),\qquad {\text{for all }}x\geq 2657$ $\left|\pi (x)-\int _{0}^{x}{\frac {\mathrm {d} t}{\ln(t)}}\right|<{\frac {1}{8\pi }}{\sqrt {x}}\,\ln(x),\qquad {\text{for all }}x\geq 2657$ 。

黎曼ζ函数的零点与素数满足一个称为明确公式的对偶性，这表明了：在调和分析的意义下，黎曼ζ函数的零点可视为素数分布的谐波。

将黎曼ζ函数代为更一般的L-函数，此时仍有相应的猜想：整体L-函数的非平凡零点的实部必等于 $1/2$ $1/2$ 。这被称为广义黎曼猜想。函数域上的广义黎曼猜想已被证明，数域的情形仍悬而未决。

黎曼猜想的实际用途包括一些在黎曼猜想成立前提底下能被证明为真的命题，当中有些更被证明了跟黎曼猜想等价。其中一个就是以上素数定理误差项的增长率。

其中一个命题牵涉了默比乌斯函数 $\mu$ $\mu$ 。命题“等式

在 $s {\displaystyle s}$ $s$ 的实部大于 ${\frac {1}{2}}$ ${\frac {1}{2}}$ 的时候成立，而且右边项的和收敛”就等价于黎曼猜想。由此我们能够总结出假如Mertens函数的定义为

那黎曼猜想就等价于对任何 $\varepsilon >0$ $\varepsilon >0$ 都有

这将会对于 $M {\displaystyle M}$ $M$ 的增长给出了一个更紧的限制，因为即使没有黎曼猜想我们也能得出

（关于这些符号的意思，见大O符号。）

黎曼猜想等价于一些除 $\mu (n)$ $\mu (n)$ 以外一些积性函数增长率的猜想。例如，约数函数 $\sigma (n)$ $\sigma (n)$ 由下式给出：

那在 $n>5040$ $n>5040$ 的时候，

这名为Robin定理并在1984年以Guy Robin命名。另一个有关的上限在2002年由Jeffrey Lagarias提出，他证明了黎曼猜想等价于命题“对于任意自然数 $n {\displaystyle n}$ $n$ ，

而 $H_{n}$ $H_{n}$ 为第 $n {\displaystyle n}$ $n$ 个调和数 $H_{n}:=1+{\frac {1}{2}}+\ldots +{\frac {1}{n}}$ $H_{n}:=1+{\frac {1}{2}}+\ldots +{\frac {1}{n}}$ 。

里斯判准由里斯在1916年给出，它断言黎曼猜想等价于下式对所有 $\epsilon >0$ $\epsilon >0$ 成立

哈代稍后于1918年以波莱尔求和法及梅林变换证明了下式的积分表法。

其它相关的积性函数的增长率也具有与黎曼猜想等价的表述。

考虑二项式系数和

Báez-Duarte与Flajolet、Brigitte Vallée证明了黎曼猜想等价于对所有的 $\epsilon >0$ $\epsilon >0$ 下式成立

类似的还有以下级数

对此。Flajolet与Vepstas证明了黎曼猜想等价于对所有的 $\epsilon >0$ $\epsilon >0$ 下式成立

其中的 $C_{\epsilon }$ $C_{\epsilon }$ 是依赖于 $\epsilon$ $\epsilon$ 的某个常数。

韦伊判准断言某些函数的正定性等价于广义黎曼猜想。与此相似的还有李判准，这断言某些数列的正性等价于黎曼猜想。

另外两个跟黎曼猜想等价的命题牵涉了法里数列。假如 $F_{n}$ $F_n$ 是法里数列中的第 $n {\displaystyle n}$ $n$ 项，由 ${\frac {1}{n}}$ ${\frac {1}{n}}$ 开始而终于 ${\frac {1}{1}}$ $\frac{1}{1}$ ，那命题“给出任何 $e>{\frac {1}{2}}$ $e>{\frac {1}{2}}$

”等价于黎曼猜想。在这里 $m=\sum _{i=1}^{n}\phi (i)$ $m=\sum _{i=1}^{n}\phi (i)$ 是法里数列中 $n {\displaystyle n}$ $n$ 阶项的数目。类似地等价于黎曼猜想的命题是“给出任何 $e>-1$ $e>-1$ .

黎曼猜想等价于群论中的一些猜想。举例说， $g(n)$ $g(n)$ ，是对称群 $S_{n}$ $S_{n}$ 的所有元素的秩之中，最大的一个，也就是兰道函数，则黎曼猜想等价于：对够大的 $n {\displaystyle n}$ $n$ ，下式成立：

黎曼猜想等价于命题“ $\zeta (s)$ $\zeta (s)$ 的导函数 $\zeta '(s)$ $\zeta '(s)$ 在区域

上无零点。”函数ζ在临界线上只有单零点的充要条件是其导函数在临界线上非零。所以若黎曼猜想成立，命题中的非零区域可以延伸为 $0<{\text{Re}}(s)\leq {\frac {1}{2}}$ $0<{\text{Re}}(s)\leq {\frac {1}{2}}$ 。这条进路带来了一些成果。Norman Levinson将此条件加细，从而得到了较强的临界线定理。

一些比黎曼猜想强的猜想曾被提出，但它们有被否证的趋势。Paul Turan证明了假如级数

当 ${\text{Re}}\left(s\right)>1$ ${\text{Re}}\left(s\right)>1$ 时没有零点，则黎曼猜想成立，但Hugh Montgomery证明了这前提并不成立。另一个更强的默滕斯猜想也同样被否证。

黎曼猜想有各种比较弱的结果；其中一个是关于ζ函数于临界线上的增长速度的林道夫猜想，表明了给出任意的 $e>0$ $e>0$ ，当 $t {\displaystyle t}$ $t$ 趋向无限，

记第 $n {\displaystyle n}$ $n$ 个素数为 $p_{n}$ $p_{n}$ ，一个由Albert Ingham得出的结果显示，恩斯特·伦纳德·林道夫（Ernst Leonard Lindelöf）猜想将推导出“给出任意 $e>0$ $e>0$ ，对足够大的 $n {\displaystyle n}$ $n$ 有

不过这个结果比大素数间隙猜想弱，详如下述。

另一个猜想是大素数间隙猜想。哈拉尔德·克拉梅尔证明了：假设黎曼猜想成立，素数 $p {\displaystyle p}$ $p$ 与其后继者之间的间隙将会为 $O({\sqrt {p}}\ln p)$ $O({\sqrt {p}}\ln p)$ 。平均来说，该间隙的阶仅为 $O(\ln p)$ $O(\ln p)$ ，而根据数值计算结果，它的增长率并不似黎曼猜想所预测的那么大。

过去的一百多年，许多数学家声称证明了黎曼猜想。截至2015年为止，尚有一些证明还未被验证；但它们都被数学社群所质疑，多数专家并不相信它们是正确的。艾希特大学的Matthew R. Watkins为这些或是严肃或是荒唐的证明编辑了一份列表。其他一些证明可在arXiv数据库中找到。

2018年9月24日迈克尔·阿蒂亚爵士声称证明黎曼猜想。他用精细结构常数作为一个主要成分用以证明，然而由于一个物理观测数字能否用于纯数学领域证明题产生争议，而精细结构常数本身的由来理由还是谜团，且该数字是否全宇宙永恒不变有重大疑问，阿蒂亚爵士则主张“数学是物理学的理想化版本”所以两领域之间的学问可以共通共用。导致本次证明以疑虑和失败论点者居多无法使大部分数学家信服。

由于黎曼猜想是有关二维变量（临界线（critical line）上的虚数解和黎曼ζ函数中的自然数变量 $n {\displaystyle n}$ $n$ ）的问题，故不但要考虑在二维变量下的情况，似乎还可以从更高维数（例如三或四维甚至更高维）变量的情况下来考虑问题。

另外，由于黎曼猜想从本质上来说是证明一个方程的非平凡的复数解必然是 ${\frac {1}{2}}+b\mathbf {i}$ ${\frac {1}{2}}+b\mathbf {i}$ 的形式（ $b {\displaystyle b}$ $b$ 是实数， $\mathbf {i}$ ${\mathbf {i}}$ 是虚数单位），因此应该与代数学是密不可分的；就是说，代数几何、代数数论甚至代数拓扑等学科的知识是不可缺少的。如果能从上述几个分支学科之间找到新的联系，以及对这些分支学科有进一步的新发现，那可能可以为证明黎曼猜想打下基础，或为黎曼猜想的证明做好准备。

长久以来，人们猜测黎曼猜想的“正解”是找到一个适当的自伴算符，再由实特征值的判准导出 $\zeta (s)$ $\zeta (s)$ 零点实部的资讯。在此方向上已有许多工作，却仍未有决定性的进展。

黎曼ζ函数的统计学性质与随机矩阵的特征值有许多相似处。这为希尔伯特-波利亚猜想提供了一些支持。

在1999年，Michael Berry与Jon Keating猜想经典哈密顿函数 $H=xp$ $H=xp$ 有某个未知的量子化 ${\hat {H}}$ ${\hat {H}}$ ，使得下式成立

更奇特的是，黎曼ζ函数的零点与算子 $1/2+i{\hat {H}}$ $1/2+i{\hat {H}}$ 的谱相同。正则量子化的情形则相反：正则量子化引致海森堡测不准原理 $=1/2$ $=1/2$ ，并使量子谐振子的谱为自然数。重点在于，所求的哈密顿算符应当是个闭自伴算符，方能满足希尔伯特-波利亚猜想之要求。

关于电脑计算上找寻ζ函数零点越多越好的尝试，已经有一段很长的历史了。其中一个出名的尝试乃ZetaGrid，一个分散式计算的计划，一天可检查上十亿个零点。这计划在2005年11月终止。直至2006年没有计算计划成功找到黎曼猜想的一个反例，这一型类穷尽法的结果再次吻合了众多科学家在“直觉”上认知黎曼猜想为真的倾向，但不能成为最终数学证明。

2004年，Xavier Gourdon与Patrick Demichel透过Odlyzko-Schönhage algorithm验证了黎曼猜想的头十兆个非平凡零点。而Michael Rubinstein给了公众一个算法去算出零点。