从切比雪夫到爱尔特希——素数定理的初等证明（上）(切比雪夫到爱尔特希)

从切比雪夫到爱尔特希——素数定理的初等证明（上）

素数，这些只能被1和自身整除的自然数，是数学王国中最神秘也最基础的基石。从欧几里得证明素数无穷多，到高斯和勒让德猜测素数分布的渐近规律，数学家们与素数博弈了数个世纪。1896年，阿达马（Hadamard）和德·拉·瓦莱·普桑（de la Vallée Poussin）利用复分析工具，独立证明了著名的素数定理： 其中 表示不超过 的素数个数。这一证明辉煌而深刻，但它依赖了黎曼 函数的复性质，门槛极高。 然而，一个困扰数学界近60年的问题悬而未决：是否存在不依赖复分析的“初等”证明？ 1949年，保罗·爱尔特希（Paul Erdős）和阿特勒·塞尔伯格（Atle Selberg）分别独立给出了素数定理的初等证明。这一成就不仅在数论上具有里程碑意义，更展示了数学技巧的极致美感。本文将追溯这条从切比雪夫（Chebyshev）的粗略估计，到爱尔特希-塞尔伯格精妙恒等式的演变之路。

一、 先驱者的足迹：切比雪夫的贡献

在爱尔特希之前，俄罗斯数学家帕夫努季·切比雪夫在1850年代做出了奠基性工作。虽然他没有证明 ，但他证明了两个关键的不等式，为后续研究提供了强有力的工具。

1. 切比雪夫定理的核心内容

切比雪夫证明了存在正常数 和 （），使得对于充分大的 ，有： 这意味着 的增长速度与 是同阶的。虽然常数 和 尚未收敛到1，但这已经表明素数分布并非杂乱无章，而是遵循某种严格的渐近规律。

2. 切比雪夫函数：更强大的工具

为了深入分析，切比雪夫引入了两个辅助函数： 1. 第一切比雪夫函数： 2. 第二切比雪夫函数： 其中求和遍历所有素数 及其幂次 。 这两个函数与 紧密相关。事实上，证明素数定理等价于证明： 切比雪夫利用勒让德公式（Legendre's Formula）分析了阶乘 的素因子分解，通过组合数学的方法估算 和 的上下界。他得出的结论是： 虽然界限依然较宽，但切比雪夫的方法完全基于实分析和组合恒等式，没有任何复变函数的影子。这为后来的“初等证明”指明了方向：如果能进一步收紧这些界限，使其极限均为1，则素数定理得证。

二、 关键转折点：塞尔伯格渐近公式

时间来到20世纪40年代。塞尔伯格发现了一个极其精巧的恒等式，被称为塞尔伯格渐近公式（Selberg's Asymptotic Formula）。这个公式本身并不直接给出 ，但它提供了一个递归关系的框架，使得我们可以通过“软方法”逐步逼近极限。

1. 塞尔伯格恒等式的推导思路

塞尔伯格的核心洞察来自于对素数计数函数的卷积结构进行分析。考虑以下恒等式： 其中 是冯·曼戈尔特函数（von Mangoldt function），定义为： 通过对该恒等式两边求和并整理，塞尔伯格得到了一个关于 的关键关系式。经过复杂的代数变换（涉及将求和转化为积分形式并利用切比雪夫函数的性质），他最终得出了以下著名公式：

2. 公式的意义

这个公式将 与其在较小点 处的值联系起来。它表明，如果我们知道 在 时的行为，就可以对 做出估计。 更重要的是，这个公式是初等的。它只涉及实数范围内的求和、对数和基本代数运算，完全避开了复分析中的围道积分和零点分布理论。

三、 爱尔特希的洞察：极限的上确界与下确界

尽管塞尔伯格给出了强大的公式，但要从中推出 ，还需要一个巧妙的论证。1949年，年轻的匈牙利天才保罗·爱尔特希（Paul Erdős）独立完成了这一步骤。

1. 定义极限的上下界

设： 根据切比雪夫的结果，我们知道 。我们的目标是证明 。

2. 利用塞尔伯格公式进行迭代

爱尔特希的关键技巧在于，将塞尔伯格公式应用于 的上下界估计。他证明了以下不等式关系： 这两个不等式构成了一个封闭的系统。让我们解这个系统： 由 和 （即 的等价形式），我们可以推导出： 但这还不够。爱尔特希通过更精细的分析，实际上证明了更强的关系： 因此，唯一可能的解是： 然而，这仍然允许 的情况存在（例如 ）。爱尔特希进一步引入了一个关键的平滑技巧（smoothing argument），通过构造一个辅助函数来排除这种震荡的可能性。

3. 最终论证：排除震荡

爱尔特希定义了一个函数： 他证明了如果 ，那么 会在正负值之间剧烈震荡。但通过塞尔伯格公式，他证明了这种震荡幅度必须随 增大而衰减。具体来说，他证明了： 这意味着无论 和 初始估计如何，它们最终必须收敛到同一个值。结合之前的 以及 ，唯一满足条件的解是： 因此：

四、 从 到 的最后一步

证明 只是成功了一半。我们需要将其转换回原始的素数计数函数 。

1. 与 的关系

我们知道： 由于 ，且当 时， 远小于 ，可以证明： 因此，如果 ，则必然有 。

2. 与 的关系

利用阿贝尔求和法（Abel Summation），我们可以建立 和 之间的联系： 如果假设 ，代入上式可验证一致性。反之，若已知 ，我们可以通过逆向推导证明 。 具体而言，由 ，可得： 代入 ，积分部分收敛于 ，从而最终得出：

结语：初等证明的意义

从切比雪夫的粗略界限，到塞尔伯格精妙的渐近公式，再到爱尔特希对极限行为的深刻洞察，素数定理的初等证明展现了一场数学思维的接力赛。 这一证明的伟大之处不仅在于其结论，更在于其方法论的启示： 1. 复分析并非唯一路径：它证明了即使不借助黎曼 函数的深层性质，仅靠实分析和组合技巧也能触及数论的核心。 2. 递归与自相似：塞尔伯格公式揭示了素数分布的内在递归结构，这种结构在分形和混沌理论中也能看到影子。 3. 简洁中的深刻：爱尔特希的证明虽然步骤繁琐，但每一步都基于直观且基本的数学对象，体现了“大道至简”的美学。 在下一篇《从切比雪夫到爱尔特希——素数定理的初等证明（下）》中，我们将深入探讨塞尔伯格公式的具体推导细节，以及爱尔特希如何利用不等式技巧完成最后的“致命一击”。敬请期待。