概念

解析延拓

ζ 延拓到除 s=1 外的全平面并满足函数方程，非平凡零点位于临界带 0<Re<1，黎曼假设断言实部均为 1/2。

所属主题：解析数论 ↗

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

先修概念

欧拉乘积解析数论

当前概念

解析延拓解析数论

进阶概念

素数定理解析数论幂级数复分析柯西积分定理复分析 L-函数算术几何

01定义

ζ 函数从

\mathrm{Re}\,s>1

延拓到全平面（仅

s=1

处留一根留数 1 的极点）并满足函数方程。非平凡零点落在临界带

0<\mathrm{Re}\,s<1

——黎曼假设断言它们全部站在临界线

\mathrm{Re}\,s=\tfrac{1}{2}

上。

临界带与临界线：零点分布决定素数的误差项

02核心要点

延拓的两种道路

函数方程 $\zeta(s)=2^s\pi^{s-1}\sin(\frac{\pi s}{2})\Gamma(1-s)\zeta(1-s)$ 给出对称延拓；围道积分式 $\zeta(s)=\frac{\Gamma(1-s)}{2\pi i}\oint\frac{(-z)^{s-1}}{e^z-1}dz$ 给出全平面定义。

零点与素数

黎曼显式公式把 $\pi(x)$ 写成 $\mathrm{li}(x)$ 减去对所有非平凡零点的求和——零点越靠左，素数计数越准；误差项 $O(\sqrt{x}\log x)$ 等价于黎曼假设。

已知与未知

哈代 1914 年证临界线上有无穷多零点；数值验证已超 $10^{13}$ 个零点无一失手，但严格证明仍是克雷千禧年难题。

03关键公式

\zeta(s)=2^{s}\pi^{s-1}\sin\!\Big(\frac{\pi s}{2}\Big)\Gamma(1-s)\zeta(1-s)

04历史沿革

黎曼 1859 年 8 页论文《论小于给定数值的素数个数》一举完成延拓、函数方程并提出假设；西格尔 1932 年从遗稿中发现黎曼另有一条未发表的平滑化证明路线。

05应用与延伸

素数定理的最强误差项、密码学素数间隙估计的理论保证、随机矩阵理论与 ζ 零点的统计巧合（蒙哥马利-奥德里兹科）、物理学正则化（ $1+2+3+\cdots=-1/12$ ）。

06交互演示

解析延拓：Σzⁿ 从圆盘到 C{1}|z|<1 内级数收敛；延拓 f(z)=1/(1−z) 绕过奇点 z=1

|z| 距离0.70幅角 θ0.90

07相关概念

← 返回「解析数论」