阿特勒·塞尔伯格（Atle Selberg）

20 世纪解析数论最深沉的建筑师——他在二战的挪威森林里独自研究黎曼假设，证明临界线上的零点占正比例；他的筛法成了现代解析数论的基本工具；他与爱尔特希各自给出素数定理的初等证明（也因此引发一场著名的优先权之争）；而他最深刻的工作——迹公式——把黎曼面上的拉普拉斯谱与闭测地线的长度对偶起来，开启了表示论与数论的一场长期联姻。

一、生平与时代背景

阿特勒·塞尔伯格 1917 年 6 月 14 日生于挪威朗厄松（Langesund），是九个孩子（五男四女）中最小的一个。父亲奥莱·迈克尔·卢维森·塞尔伯格（Ole Michael Ludvigsen Selberg，1877—1950）是数学教师，48 岁才以一篇素数次代数可解方程的论文获奥斯陆大学博士；母亲安娜·克里斯蒂娜·布里格斯达特·斯基（Anna Kristina Brigtsdatter Skeie，1874—1971）也是教师。这个家庭数学基因极强：三位哥哥都成了数学家——亨利克（Henrik，1906—1993，奥斯陆大学教授，复变函数）、双胞胎西格蒙德（Sigmund，1910—1994，挪威理工学院教授，素数）和阿恩（Arne，1910—1994，挪威理工学院教授，应用数学，悬索桥设计）。

父亲工作变动频繁，阿特勒先后在沃斯、卑尔根、耶夫纳克（Gjøvik，1932 年父亲任校长）长大。出人意料的是，他的数学启蒙并非来自父亲，而是父亲书房里的书。约 12 岁时，全家住在卑尔根附近的内斯通，他每天乘半小时通勤火车去卑尔根上中学，在火车上做了大量功课。他在父亲手写的斯托默（Carl Størmer）讲义中看到级数 $$\frac{\pi}{4}=1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\cdots,$$ 觉得「如此奇特而优美」，决心读懂这本书是怎么来的。讲义以戴德金分割引入实数，让他困惑，但他坚持读下去并深受启发。当时他的兴趣在分析；哥哥西格蒙德建议他读父亲藏书中塞雷特（Serret）书里切比雪夫关于素数分布的工作。

约 17 岁时（在耶夫纳克上高中），他在西格蒙德从大学图书馆借回的书中读到了拉马努金的全集——不仅被其数学震撼，更被其人「神秘的气质」吸引。他还读了斯托默在《挪威数学杂志》上介绍拉马努金的文章，由此转向数论，开始独立探索，写出第一篇论文《关于某些算术恒等式》（23 页，德文），1936 年发表。可以说他在高中时就已成为数论学家。他还自学了多门外语（英语在小学时由姐姐安娜启蒙）。

1935 年高中毕业，入奥斯陆大学。哥哥亨利克把他介绍给斯托默，斯托默乐于帮助这位已开始发表论文的本科生。另一个重大影响是 1936 年奥斯陆国际数学会议上赫克（Erich Hecke）的讲座。1938 年他在赫尔辛基的斯堪的纳维亚数学大会上作 20 分钟报告（由卡莱曼主持）。1939 年春以数学专业硕士毕业，随后完成义务兵役的第一段。他原计划去汉堡跟赫克做研究并已拿到奖学金，但 1939 年秋二战爆发，计划落空。奥斯陆图书馆太差，他去了乌普萨拉，听纳格尔（Trygve Nagell）讲丢番图方程，大部分时间泡在图书馆，1939 年 12 月回奥斯陆。

1940 年 4 月德军入侵挪威，塞尔伯格拿起武器，在古德布兰斯达伦（Gudbrandsdalen）与挪威部队抵抗德军，后在特朗杜姆战俘营被关押。获释后他去了西海岸，又与家人去了哈当厄尔。1942 年他被任命为研究员，1943 年 10 月 22 日答辩博士论文《论黎曼 ζ 函数的零点》——就在德军 11 月底关闭大学之前。主考官是哈拉尔德·玻尔（Harald Bohr，已从丹麦逃到瑞典，无法到场，由斯托默代读其报告）与斯柯伦（Thoralf Skolem）。答辩刚结束他就被德国人逮捕，获释条件是离开奥斯陆回耶夫纳克父母家。战争余下的岁月，他在耶夫纳克独自研究黎曼假设。

1947 年 8 月 13 日，他在斯德哥尔摩与工程师赫德维希·利伯曼（Hedvig Liebermann，1919—1995）结婚。夫妇随即赴美，他在普林斯顿高等研究院（IAS）度过 1947—48 学年。之后他想看看另一所美国大学，为此须离境重办签证，去了蒙特利尔再返回——在他离境期间，爱尔特希来到了 IAS，他一回来两人便相遇，正是此时他们各自得到了素数定理的初等证明。次年他任雪城大学副教授，1949 年回 IAS 任终身成员，1951 年升教授（此后一直在普林斯顿）。妻子赫德维希 1950 年代在 IAS 冯·诺依曼小组做研究，后来在普林斯顿等离子体物理实验室工作。两人育有一女一子：英格丽德·玛丽亚（Ingrid Maria，1950 年生，嫁剧作家 Mustapha Matura）和拉尔斯·阿特勒（Lars Atle）。

塞尔伯格谦逊寡言，几乎没有合作论文（与爱尔特希恰为「合作光谱」的两极）。他爱好植物学（年轻时收集了大量植物标本）与贝壳收藏。1986 年与艾伦伯格（Samuel Eilenberg）共获沃尔夫数学奖。2002 年阿贝尔奖设立时，他获颁荣誉阿贝尔奖。2007 年 8 月 6 日卒于普林斯顿，享年 90 岁。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 临界线上零点的正比例（1942）

问题背景：黎曼假设（RH）断言 ζ 函数所有非平凡零点都在临界线 $\operatorname{Re}s=1/2$ 上。1914 年哈代证明临界线上有无穷多个零点，但这只保证「无穷」，不保证「比例」——有可能临界线上零点占比趋于 0。

结果：塞尔伯格在博士论文及后续工作中（1942 年发表）证明了黎曼 ζ 函数的非平凡零点中，有一个正比例落在临界线 $\operatorname{Re}s=1/2$ 上。即存在常数 $A>0$，使得临界线上零点数 $N_0(T)$ 满足 $N_0(T)\ge A\cdot N(T)$，其中 $N(T)$ 是高度不超过 $T$ 的全部零点数。

方法：他引入了软化子（mollifier）——用一个短截的狄利克雷级数乘以 ζ 函数，以压制「坏」零点的贡献，再用矩估计。这套 $L^2$ 方法后来成为 ζ 函数零点研究的标准工具。

后续进展：塞尔伯格的正比例是定性的；莱文森（Levinson，1974）把比例显式改进到至少 $1/3$；康里（Conrey，1989）到 $2/5$。但 RH 至今未证。

意义：这是从「无穷多个」到「正比例」的关键一步，是解析数论向 RH 逼近的里程碑。

2. 塞尔伯格筛法（$\lambda^2$ 上界筛）

问题背景：筛法是估计素数分布（及殆素数）的基本工具。布朗（Viggo Brun）1920 年代的筛法能给出上界与下界，但形式复杂、适用受限。

关键思想：塞尔伯格把筛法归结为一个二次型的极小化问题——设 $\lambda_d$ 为待定实参数，令 $S(\mathcal{A},\mathcal{P},z)=\sum_{n\in\mathcal{A}}\bigl(\sum_{d|n}\lambda_d\bigr)^2$，通过最优化 $\lambda_d$ 得到形如 $$S\le \frac{X}{V(z)}+O\Bigl(\sum_{d_1,d_2\le z}|\lambda_{d_1}\lambda_{d_2}|\cdot |r_{[d_1,d_2]}|\Bigr)$$ 的上界，其中 $V(z)=\prod_{p<z}(1-1/p)$。这给出了一个极其灵活、近乎最优的上界筛。

与前人关系：起源于他研究 ζ 函数时的软化子方法（博比耶里指出 $\lambda^2$ 方法源自其 ζ 函数解析理论）；推广了布朗筛。

意义：塞尔伯格上界筛是现代解析数论的基本工具，被用于陈景润「1+2」（陈氏定理）、孪生素数估计等几乎所有重大筛法成果中；几乎每本解析数论教材都有专章。

3. 素数定理的初等证明（1949，与爱尔特希）

背景：见爱尔特希条目。素数定理 $\pi(x)\sim x/\log x$ 自 1896 年阿达马—德拉瓦莱·普桑用复分析证明后，长期被认为本质上需要复分析。

结果：1949 年，塞尔伯格先发现关键的塞尔伯格公式（一种把 $\psi(x)/x$ 的二阶矩与素数联系起来的恒等式），爱尔特希看出可用它推出 PNT；两人各自独立完成初等证明。塞尔伯格在《数学年刊》第 50 卷发表《素数定理的一个初等证明》及《算术级数中素数的狄利克雷定理的初等证明》，次年又发表推广。

优先权争议：两人约定在同一期刊背靠背发表、共享荣誉，但在提交前出现分歧——塞尔伯格抢先单独发表并加快投稿，1950 年因此（部分地）获菲尔兹奖。MacTutor 称「爱尔特希对此很达观」。此事细节在不同来源中记述不一（存疑：谁先有完整证明、协议是否确被单方面打破，学界说法不一），但不影响两人各自的贡献。

意义：打破了 PNT 必须用复分析的成见，推动了初等数论方法；塞尔伯格因此获菲尔兹奖。

4. 塞尔伯格迹公式（1956）——他最深刻的工作

问题背景：在紧致（或有限体积）的黎曼面 $\Gamma\backslash\mathbb{H}$（$\Gamma$ 是 $\mathrm{SL}_2(\mathbb{R})$ 的离散子群）上，拉普拉斯算子 $\Delta=-y^2(\partial_x^2+\partial_y^2)$ 有离散谱 $0=\lambda_0<\lambda_1\le\lambda_2\le\cdots$，同时 $\Gamma$ 的双曲元素对应闭测地线。谱与几何之间是否有精确关系？

结果：塞尔伯格迹公式把两类数据对偶起来： $$\sum_{k} h(\lambda_k) = \text{（来自单位元的）主项} + \sum_{{\gamma}} \frac{\log N(\gamma_0)}{N(\gamma)^{1/2}-N(\gamma)^{-1/2}}\,\widehat{h}(\log N(\gamma)),$$ 左边是对拉普拉斯特征值求和，右边是对 $\Gamma$ 的共轭类（闭测地线）求和。这是一个精确的等式，联系了谱几何与数论。

应用： - 用迹公式定义了塞尔伯格 ζ 函数 $$Z_\Gamma(s)=\prod_{{\gamma_0}}\prod_{n\ge0}\bigl(1-N(\gamma_0)^{-(s+n)}\bigr),$$ 并证明它满足黎曼假设的类比（其零点都在 $\operatorname{Re}s=1/2$ 上）。 - 开启了表示论与数论的长期对话：迹公式后被雅克（Jacquet）、朗兰兹、亚瑟（Arthur）等发展为非交换调和分析的核心工具，是朗兰兹纲领的关键技术。

意义：迹公式被认为是塞尔伯格最重要、影响最深远的工作，是 20 世纪后半叶表示论、自守形式与算术几何的基础之一。

5. 塞尔伯格 ζ 函数与 $1/4$ 特征值猜想

• 塞尔伯格 ζ 函数：如上定义，塞尔伯格用迹公式证明它满足一个函数方程和黎曼假设的类比。这是少数被证明满足 RH 类比的 ζ 函数之一。
• $1/4$ 猜想（塞尔伯格特征值猜想）：对 $\mathrm{SL}_2(\mathbb{Z})$ 的同余子群 $\Gamma$，拉普拉斯在 $\Gamma\backslash\mathbb{H}$ 上的最小非零特征值满足 $\lambda_1\ge 1/4$。塞尔伯格 1965 年证明了 $\lambda_1\ge 3/16$ 的下界。这个猜想与朗兰兹纲领密切相关（它是 Ramanujan–Petersson 猜想在权 0 情形的推论），目前最佳结果已非常接近 $1/4$（由 Kim–Sarnak 等得到，约 $975/4096$）。

6. Rankin–Selberg 方法与软化子

• Rankin–Selberg 方法：1939 年罗伯特·兰金（Robert Rankin）与塞尔伯格（约 1940 年）独立提出：对两个模形式 $f,g$，用 Eisenstein 级数构造积分表示，得到其卷积 $L$-函数 $L(s,f\otimes g)$ 的解析延拓与函数方程。这一方法是研究自守形式 $L$-函数最强大的工具之一，后被广泛推广到高阶群。
• 软化子（mollifier）：塞尔伯格在 ζ 函数零点研究中引入的短截狄利克雷级数乘子，后成为零点密度、矩估计的标准技术。

7. 其他重要贡献

• 离散群与算术格：塞尔伯格开创了对李群中格（lattice）的系统研究，提出「算术格」猜想（非一致格在高阶半单李群中必为算术格），后由马尔古利斯（Margulis，1974，超刚性定理）证明。
• 自守形式与谱理论：将自守形式与黎曼面的谱统一起来，为现代自守表示理论奠定了分析基础。

四、代表著作与文献

• 论文：约 70 篇，数量虽不多但篇篇深刻；几乎无合作论文（与爱尔特希形成鲜明对比）。
• 《关于某些算术恒等式》（1936，德文，处女作，高中时写成）。
• 《论黎曼 ζ 函数的零点》（博士论文，1943）。
• 《素数定理的一个初等证明》《算术级数中素数的狄利克雷定理的初等证明》（《数学年刊》第 50 卷，1949）。
• 《弱对称黎曼空间中的调和分析与不连续群，及其在狄利克雷级数中的应用》（J. Indian Math. Soc.，1956）：塞尔伯格迹公式奠基论文。
• 《拉马努金百年诞辰感言》（Reflections around the Ramanujan centenary，1989）。
• 《阿特勒·塞尔伯格论文集》（Atle Selberg Collected Papers，两卷，Springer，1989、1991）：战时发表于挪威、流传不广的早期论文首次易于获取。

五、师承、学派与同时代交往

• 师承：奥斯陆大学，受斯托默（Carl Størmer）影响最深；1936 年赫克讲座的启发；乌普萨拉听纳格尔课。博士主考为玻尔与斯柯伦。
• 自学背景：真正的「自学者」——数学来自父亲的书房与拉马努金的全集，而非课堂。
• 与爱尔特希：1948 年在 IAS 相遇，合作（也是竞争）完成 PNT 初等证明，后因优先权分歧疏远；两人代表「合作光谱」的两极（爱尔特希 500+ 合作者，塞尔伯格几乎无合作者）。
• 与韦伊：在离散群、自守形式、迹公式上的工作与韦伊的阿黛尔—类域论、朗兰兹纲领相互呼应，共同塑造了现代数论。
• 博比耶里（Bombieri）：为塞尔伯格筛法撰写专论，阐明其 $L^2$ 方法与 ζ 函数理论的渊源。
• 学生与影响：在 IAS 培养了 Hejhal、Iwaniec 等解析数论与自守形式学者；其思想影响了整个朗兰兹纲领的分析方面。

六、争议、公案与历史评价

• 素数定理初等证明的优先权之争（1949）：与爱尔特希的分歧是 20 世纪数论最著名的公案。塞尔伯格公式是关键，但谁先完成完整证明、是否有「背靠背发表」协议及其破裂，不同传记记述不一（存疑）。塞尔伯格因此获 1950 菲尔兹奖，爱尔特希则获 1951 科尔奖。两人此后少有往来。
• 极少合作与低调作风：塞尔伯格几乎不与人合写论文，且不轻易发表，导致一些重要结果（如迹公式的早期版本）以讲义或讲座形式流传多年才正式发表，引发过「谁先知道」的讨论。
• 谦逊：他 1990 年说自己的工作「基本思想总是相当简单，可以用简单的术语解释……我大概头脑比较简单，只能处理这类想法」。这种谦逊广为人知。
• 历史评价：塞尔伯格被公认为 20 世纪最深刻的解析数论学家与自守形式分析的奠基人之一。他的三大遗产——临界线零点正比例、塞尔伯格筛法、塞尔伯格迹公式——分别奠基了 ζ 函数零点研究、现代解析数论工具、以及表示论与数论的联姻。

七、身后影响与学术谱系

• 解析数论：塞尔伯格筛法是现代解析数论的支柱，陈景润「1+2」、孪生素数有界间隔（张益唐、梅纳德）等重大成果都依赖筛法；软化子技术被用于几乎所有 ζ 函数零点与矩估计工作。
• 表示论与自守形式：迹公式与 Rankin–Selberg 方法是朗兰兹纲领的核心分析工具；塞尔伯格 ζ 函数、$1/4$ 猜想直接联系 Ramanujan–Petersson 猜想。
• 谱几何与数学物理：迹公式把谱与闭测地线对偶，成为量子混沌、谱几何的基本范式。
• 对挪威数学：他是挪威 20 世纪最伟大的数学家，与阿贝尔、索菲斯·李、斯托默一脉相承，提升了挪威数学的国际地位。
• 命名遗存：塞尔伯格筛法、塞尔伯格迹公式、塞尔伯格 ζ 函数、塞尔伯格 $1/4$ 猜想、塞尔伯格公式、Rankin–Selberg 方法、塞尔伯格特征值猜想等。
• 荣誉：1950 菲尔兹奖、1986 沃尔夫奖（与艾伦伯格）、2002 荣誉阿贝尔奖；美国国家科学院院士。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Atle Selberg：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Wikipedia: Atle Selberg：生平、著作与贡献的交叉核对。
• Wikipedia: Selberg trace formula：迹公式的技术细节与应用。
• Wikipedia: Selberg zeta function：塞尔伯格 ζ 函数与黎曼假设类比。
• Wikipedia: Selberg sieve：筛法的技术细节。
• Wikipedia: Elementary proof of the prime number theorem：1949 年证明与优先权争议。
• Wikipedia: Selberg's eigenvalue conjecture：$1/4$ 猜想。
• Wikipedia: Rankin–Selberg method：卷积 $L$-函数方法。
• Atle Selberg, Collected Papers, 2 vols. (Springer, 1989, 1991)：一手文献，含战时早期论文。
• Enrico Bombieri, Le Grand Crible (Astérisque 18, 1974)：阐明塞尔伯格筛法的 $\lambda^2$ 起源。
• Wolf Foundation: Atle Selberg, Wolf Laureate 1986：沃尔夫奖官方页面。
• Abel Prize: Atle Selberg honorary award 2002：阿贝尔奖官方页面。