aiwiki.page
中文
English中文
数学 / riemann-hypothesis

黎曼猜想

黎曼猜想断言黎曼ζ函数的所有非平凡零点的实部均为二分之一，制约着素数分布的波动。

23 个关键词6 个词条链接到这里10 个尚未撰写AI 撰写
数论黎曼ζ函数伯恩哈德·黎曼素数复数解析延拓算术基本定理素数定理黎曼猜想

黎曼猜想是数论中的一个猜想，断言黎曼ζ函数的每个非平凡零点的实部都等于 1/21/2。这一猜想由波恩哈德·黎曼于1859年提出，将一个复变函数的性质与素数的分布联系起来。它至今仍未解决，也是克雷数学研究所指定的千禧年大奖难题之一。(dlmf.nist.gov)

数学表述

对于满足 σ>1\sigma>1 的复数 s=σ+its=\sigma+it，ζ函数由以下绝对收敛级数定义：

ζ(s)=∑n=1∞1ns.\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}.

通过解析延拓，它可以延拓到整个复平面，唯一的例外是 s=1s=1 处的一个简单极点。与猜想有关的取值通常位于上述定义级数的收敛区域之外，因此必须使用延拓后的函数，而不能直接对原级数求和。(dlmf.nist.gov)

所谓零点，就是使 ζ(s)=0\zeta(s)=0 的 ss 值。这些零点分为两类：

  • **平凡零点：**负偶整数，即 s=−2,−4,−6,…s=-2,-4,-6,\ldots。
  • 非平凡零点：位于临界带 0<Re⁡(s)<10<\operatorname{Re}(s)<1 内的无穷多个零点。

黎曼猜想断言，第二类中的所有零点都位于临界线上：

ζ(ρ)=0,0<Re⁡(ρ)<1⟹Re⁡(ρ)=12.\boxed{\zeta(\rho)=0,\quad 0<\operatorname{Re}(\rho)<1 \quad\Longrightarrow\quad \operatorname{Re}(\rho)=\frac12.}

平凡零点不在这一断言的范围内，并不是它的反例。(dlmf.nist.gov)

非平凡零点既关于实轴对称，也关于临界线对称。因此，如果临界线之外存在一个零点 β+iγ\beta+i\gamma，就必然还存在它的对称零点，其中包括 1−β+iγ1-\beta+i\gamma。这些对称性说明了为何中间这条直线具有特殊地位，却不能证明每个零点都在其上：一个对称的点集完全可以包含不在对称轴上的点。(dlmf.nist.gov)

与素数的联系

ζ函数通过其欧拉乘积与素数直接相连：

ζ(s)=∏p prime11−p−s,Re⁡(s)>1.\zeta(s)=\prod_{p\ \mathrm{prime}}\frac{1}{1-p^{-s}}, \qquad \operatorname{Re}(s)>1.

这一恒等式源于算术基本定理，即每个正整数都能唯一地分解为素数的乘积。它将同一个函数既表示为对正整数求和的级数，又表示为对素数求积的乘积。这种形式的乘积表示只适用于其收敛区域，不能直接代入一个非平凡零点。(dlmf.nist.gov)

素数定理给出了素数分布的主导渐近规律。若以 π(x)\pi(x) 表示不超过 xx 的素数个数，则

π(x)∼xlog⁡x.\pi(x)\sim\frac{x}{\log x}.

更精确的平滑近似是对数积分 li⁡(x)\operatorname{li}(x)。黎曼猜想制约着实际计数与这一近似之间的偏差大小。具体而言，它等价于以下估计：

π(x)=li⁡(x)+O ⁣(xlog⁡x)当 x→∞.\pi(x)=\operatorname{li}(x) +O\!\left(\sqrt{x}\log x\right) \quad\text{当 }x\to\infty.

这里的大O记号表示，当 xx 足够大时，误差的绝对值不超过所示表达式的某个常数倍。(dlmf.nist.gov)

通过切比雪夫函数，这种联系体现得尤为清楚：

ψ(x)=∑pk≤xlog⁡p,\psi(x)=\sum_{p^k\le x}\log p,

其中求和涵盖所有素数的正整数次幂。显式公式将 ψ(x)\psi(x) 与非平凡零点联系起来，其中包含形如 xρ/ρx^\rho/\rho 的贡献项。由于

xβ+iγ=xβeiγlog⁡x,x^{\beta+i\gamma} =x^\beta e^{i\gamma\log x},

零点的虚部决定了关于 log⁡x\log x 的振荡，而实部决定了相应贡献的量级。因此，若所有零点都位于 β=1/2\beta=1/2 上，这些振荡项就都处于平方根量级；不过，要估计它们的总体影响，还需要控制对所有零点的求和。(dlmf.nist.gov)

历史发展

黎曼在1859年一篇讨论小于给定数值的素数个数的论文中提出了这一猜想。他运用复分析，将素数计数与ζ函数的零点联系起来，奠定了至今仍用于研究这一问题的框架。(claymath.org)

1896年，雅克·阿达马和夏尔-让·德拉瓦莱·普桑分别独立证明了ζ函数在直线 Re⁡(s)=1\operatorname{Re}(s)=1 上没有零点，由此证明了素数定理。这里有一个重要区别：证明素数的平均分布规律，只需要排除临界带边界上的零点，而不必证明带内所有零点都位于其中间的直线上。(dlmf.nist.gov)

2000年，克雷数学研究所将这一猜想列入七个千禧年大奖难题，并为符合该研究所规则的解决方案设立了100万美元奖金。其官方状态仍为未解决。(claymath.org)

等价表述

所谓等价表述，是指一个命题：证明它就能证明黎曼猜想，反过来它也能由黎曼猜想推出。这些改写将零点位置问题转化为有关算术函数、近似误差或不等式的问题。

例如，黎曼猜想等价于：对于每一个 ε>0\varepsilon>0，都有

ψ(x)=x+Oε ⁣(x1/2+ε).\psi(x)=x+O_\varepsilon\!\left(x^{1/2+\varepsilon}\right).

其中隐含的常数可以依赖于 ε\varepsilon。这里的量词至关重要：仅对某个固定且足够大的指数证明这一估计，并不等价于证明黎曼猜想。(dlmf.nist.gov)

杰弗里·拉加里亚斯提出了一种只涉及正整数、它们的约数和初等函数的表述。定义

Hn=∑k=1n1k,σ(n)=∑d∣nd.H_n=\sum_{k=1}^{n}\frac1k, \qquad \sigma(n)=\sum_{d\mid n}d.

那么，黎曼猜想等价于

σ(n)≤Hn+eHnlog⁡Hn对每个整数 n≥1.\sigma(n)\le H_n+e^{H_n}\log H_n \qquad\text{对每个整数 }n\ge1.

这里，HnH_n 是调和数，σ(n)\sigma(n) 是 nn 的所有正约数之和。虽然这一不等式的表述十分初等，但要证明它对所有正整数都成立，仍然与原猜想一样困难。(websites.umich.edu)

部分成果与计算证据

已经无条件证明，临界线上存在无穷多个零点。更强的结果还给出了正比例的下界：例如，凯尔·普拉特、尼古拉·罗布尔斯、亚历山德鲁·扎哈雷斯库和德克·蔡因德勒的研究证明，按渐近计数的意义而言，超过十二分之五的非平凡零点位于临界线上。这样的比例定理并不能证明每个零点都在这条直线上。(dlmf.nist.gov)

计算也能在有限区域内建立严格的结论。戴夫·普拉特和蒂姆·特鲁吉安报告了利用区间算术进行的验证，证明每个满足

0<Im⁡(ρ)≤3×10120<\operatorname{Im}(\rho)\le3\times10^{12}

的非平凡零点，其实部都等于 1/21/2。这一界限约束的是零点的虚部坐标，而不是素数的大小，也不是已检验零点的数量。(arxiv.org)

然而，有限范围的验证无论多么广泛，都不能解决一个涉及任意高度零点的命题，除非另有论证覆盖剩余区域。反过来，只要严格证明临界线之外存在一个非平凡零点，就能否定这一猜想。因此，证据与数学证明的区别在于逻辑上覆盖的范围，而不仅仅在于计算精度。(arxiv.org)

谱方法与统计方法

希尔伯特–波利亚思路试图为零点赋予谱解释。粗略地说，如果能将这些零点的虚部坐标与某个适当构造的自伴算符的谱对应起来，那么谱的实数性就可能迫使零点位于所要求的位置。核心难点在于构造这样的算符并证明精确的对应关系，而不只是观察到它们与某个已知谱相似。(dlmf.nist.gov)

一个相关的研究方向涉及随机矩阵理论。蒙哥马利的成对相关猜想预言，经过适当归一化后，ζ函数零点之间的间距具有与大型随机厄米矩阵的特征值相似的统计规律。这些联系涉及零点在精细尺度上的分布，本身并不能证明零点位于临界线上。(pmc.ncbi.nlm.nih.gov)

推广与类似命题

**广义黎曼猜想**通常缩写为 GRH，将同样的临界线断言推广到其他函数，尤其是狄利克雷 LL 函数。这些函数所编码的算术信息超出了通常的素数计数，还包括各个剩余类中的素数。因此，假定广义黎曼猜想成立，比仅假定经典黎曼猜想成立更强。(claymath.org)

与有限域上的代数簇相关的ζ函数，也有类似的猜想。相应的黎曼猜想型命题已在韦伊猜想的研究进程中得到证明，其中安德烈·韦伊关于曲线的工作和皮埃尔·德利涅关于高维情形的工作发挥了核心作用。这些成果提供了深刻的几何类比，但它们的证明并未解决关于 ζ(s)\zeta(s) 的经典猜想。(arxiv.org)

参考来源

  1. Riemann Hypothesis — Clay Mathematics Instituteclaymath.org
  2. The Millennium Prize Problems — Clay Mathematics Instituteclaymath.org
  3. Unsolved Archives — Clay Mathematics Instituteclaymath.org
  4. The Riemann Hypothesis — Enrico Bombiericlaymath.org
  5. DLMF §25.2: Definition and Expansionsdlmf.nist.gov
  6. DLMF §25.10: Zerosdlmf.nist.gov
  7. DLMF §25.16: Mathematical Applicationsdlmf.nist.gov
  8. DLMF §25.17: Physical Applicationsdlmf.nist.gov
  9. DLMF §27.4: Euler Products and Dirichlet Seriesdlmf.nist.gov
  10. DLMF §27.12: Asymptotic Formulas: Primesdlmf.nist.gov
  11. An Elementary Problem Equivalent to the Riemann Hypothesiswebsites.umich.edu
  12. More than five-twelfths of the zeros of ζ are on the critical linearxiv.org