Zeta Archive: 塞尔伯格1942年博士论文中Zeta函数非平凡零点正密率的证明

塞尔伯格 Zeta 函数非平凡零点的正密率

历史背景与突破

1942 年，挪威数学家阿特勒・塞尔伯格（Atle Selberg）在纳粹占领挪威的艰难环境下完成了博士论文《论黎曼函数的零点》，率先证明黎曼函数的非平凡零点在临界线上具有正密度。这一结果打破了自 1921 年哈代 - 李特尔伍德（Hardy-Littlewood）定理以来近 20 年的研究停滞，首次从 "无限多零点在临界线上" 推进到 "正比例零点在临界线上"，为黎曼猜想的研究开辟了新路径。

塞尔伯格的工作环境极为特殊：二战期间，挪威学术资源断绝，大学人数锐减，外界期刊完全无法送达，塞尔伯格形容这种状态 "像处在监狱里，主要依靠孤立研究完成了这一突破。与哈代 - 李特尔伍德使用的傅里叶分析方法不同，塞尔伯格创新性地引入" 磨光函数 " 技术，通过构造特殊的逼近函数克服了传统方法的局限性，最终证明存在常数，使得临界线上虚部绝对值小于的零点数量满足。由于是全体非平凡零点的渐近计数，这一结果等价于证明临界线上的零点占全体非平凡零点的比例为正，即存在使得。

核心定义与预备知识

黎曼函数与函数

黎曼函数定义为（时），其非平凡零点均位于临界带内。为研究零点分布，通常引入整函数：

该函数满足对称性，且其零点与函数的非平凡零点完全一致。令，则临界线上的零点对应实函数的零点。

零点计数函数

记：

：虚部绝对值小于的非平凡零点总数，渐近公式为

：虚部绝对值小于且位于临界线上的零点数量

塞尔伯格的核心结果是证明存在，当充分大时。

证明框架与关键思想

塞尔伯格的证明基于以下创新思路：通过构造逼近函数，将对的研究转化为对的符号变化分析。其核心原理是：若连续函数在区间上的积分绝对值小于该区间上绝对值的积分，则在该区间内至少变号一次，从而存在零点。

逼近函数的构造

塞尔伯格首先定义为的 Dirichlet 级数系数：

其中为积性函数，满足

且。为改善收敛性，引入磨光系数：

由此构造逼近函数：

该函数的关键性质是其模平方为非负权函数，用于放大的符号变化。

核心积分的定义

定义辅助函数：

其中为待选参数。通过研究积分：

塞尔伯格证明当时，在内必变号，从而存在零点。通过估计满足此条件的区间测度，最终得到的下界。

关键步骤的详细推导

范数估计

利用 Parseval 定理和 Fourier 变换，塞尔伯格得到的估计式：

其中，为的 Fourier 变换。通过留数定理计算，并引入函数处理积分余项，最终得到关键估计：

代入的定义，可进一步证明（当选取适当时）。

测度估计与零点计数

定义集合，表示变号的区间。利用 Cauchy Schwarz 不等式：

左侧通过控制，右侧需估计的下界和的上界。通过复杂计算，塞尔伯格证明当充分大时，的测度，其中为常数。

将区间划分为长度的子区间，每个与相交的子区间至少包含一个零点。由于，子区间总数约为，从而得到。

后续发展与影响

塞尔伯格的正密度结果开启了临界线零点比例研究的新时代。1949 年，他的方法被改进后，中国数学家闵嗣鹤证明了具体常数，即至少有的非平凡零点位于临界线上。这一比例随后被不断改进：Levinson（1974）证明至少的零点在临界线上，Conrey（1989）将结果推进到。

塞尔伯格的磨光函数技术成为解析数论的基本工具，其思想被推广到 Dirichlet L 函数、模形式 L 函数等更一般的自守 L 函数研究中。他因博士论文中的这项工作及后续对筛法理论的贡献，于 1950 年获得菲尔兹奖，成为少数主要依靠博士论文成果获得该奖项的数学家。

从现代视角看，塞尔伯格的正密度定理不仅是黎曼猜想研究的里程碑，更启发了随机矩阵理论与数论的交叉研究，后者认为临界线零点的分布可能与随机酉矩阵的特征值分布相似（GUE 猜想）。这一跨越数学分支的深刻联系，正是始于塞尔伯格在二战阴影下的孤立探索。

结论

塞尔伯格 1942 年的博士论文通过引入创新的磨光函数方法，首次证明黎曼函数在临界线上的零点具有正密度，这一结果标志着解析数论从定性研究（"是否存在无限多"）向定量研究（"占比多少"）的关键转变。在极端困难的环境下，塞尔伯格不仅克服了技术障碍，更重塑了人们对函数零点分布的认知框架。尽管黎曼猜想至今未被完全证明，但塞尔伯格的工作为后续研究奠定了方法论基础，其引入的逼近思想和积分估计技巧仍在现代数论研究中发挥核心作用。

这一成果也引发了深刻的哲学思考：当塞尔伯格证明临界线上的零点 "占比为正" 时，他实际上证明了黎曼猜想的 "密度版本" 即便猜想不成立，反例（不在临界线上的零点）也不可能 "太多"。这种从 "例外集大小" 角度研究数论问题的范式，已成为现代解析数论的标志性思维方式。