欢 迎 访 问 卢 昌 海 个 人 主 页

除了自己的无知,
我什么都不懂。

-苏格拉底

 
信 息
 
 
 
All English Contents
作品列表 | 电子图书
站长简介 | 常见问题
版权说明 | 电子邮箱
 
统 计
 
 
 
自 2008-02-01 以来
本文点击数
50,150
自 2008-02-01 以来
本站点击数
33,580,132
昨日点击数 5,942
今日点击数 659

站长在 Bluesky 新开了微博帐号
▷▷▷ 敬请关注 ◁◁◁

Riemann 猜想漫谈 (二)

- 卢昌海 -

If you could be the Devil and offer a mathematician to sell his soul for the proof of one theorem - what theorem would most mathematicians ask for? I think it would be the Riemann Hypothesis.

- H. Montgomery

上一篇 | 返回目录

三. 素数的分布

一个复数域上的函数——Riemann ζ 函数——的非平凡零点 (在无歧义的情况下我们有时将简称其为零点) 的分布怎么会与看似风马牛不相及的自然数 (在本系列中自然数指正整数) 中的素数分布产生关联呢? 这还得从所谓的 Euler 乘积公式谈起。

我们知道, 早在古希腊时期, Euclid 就用精彩的反证法证明了素数有无穷多个。 随着数论研究的深入, 人们很自然地对素数在自然数集上的分布产生了越来越浓厚的兴趣。 1737 年, 著名瑞士数学家 Leonhard Euler (1707-1783) 在俄国圣彼得堡科学院 (St. Petersburg Academy) 发表了一个极为重要的公式, 为数学家们研究素数分布的规律奠定了基础。 这个公式就是 Euler 乘积公式, 即:

Σn n-s = Πp(1-p-s)-1

这个公式左边的求和对所有的自然数进行, 右边的连乘积则对所有的素数进行。 可以证明 (参阅 附录一), 这个公式对所有 Re(s)>1 的复数 s 都成立。 读者们想必认出来了, 这个公式的左边正是我们在 上文 中介绍过的 Riemann ζ 函数在 Re(s)>1 时的级数表达式, 而它的右边则是一个纯粹有关素数 (且包含所有素数) 的表达式, 这样的形式正是 Riemann ζ 函数与素数分布之间存在关联的征兆。 那么这个公式究竟蕴涵着有关素数分布的什么样的信息呢? Riemann ζ 函数的零点又是如何出现在这种关联之中的呢? 这就是本节及未来几节所要介绍的内容。

Euler 本人率先对这个公式所蕴涵的信息进行了研究。 他注意到在 s=1 的时候, 公式的左边 Σn n-1 是一个发散级数 (这是一个著名的发散级数, 称为调和级数), 这个级数以对数方式发散。 这些对于 Euler 来说都是不陌生的。 为了处理公式右边的连乘积, 他对公式两边同时取了对数, 于是连乘积就变成了求和, 由此他得到:

ln(Σnn-1) = -Σp ln(1 - p-1) = Σp(p-1 + p-2/2 + p-3/3 + ... ...)

由于上式右端括号中除第一项外所有其它各项的求和都收敛, 而且那些求和的结果累加在一起仍然收敛 (有兴趣的读者不妨自己证明一下)。 因此右边只有第一项的求和是发散的。 由此 Euler 得到了这样一个有趣的渐近表达式:

Σp p-1 ~ ln(Σnn-1) ~ lnln(∞)

或者, 更确切地说:

Σp<N p-1 ~ lnln(N)

这个结果——即 Σp<N p-1 以 lnln(N) 的方式发散——是继 Euclid 证明素数有无穷多个以来有关素数的又一个重要的研究结果。 它同时也是对素数有无穷多个这一命题的一种崭新的证明 (因为假如素数只有有限多个, 则求和就只有有限多项, 不可能发散)。 但 Euler 的这一新证明所包含的内容要远远多于 Euclid 的证明, 因为它表明素数不仅有无穷多个, 而且其分布要比许多同样也包含无穷多个元素的序列——比如 n2 序列——密集得多 (因为后者的倒数之和收敛)。 不仅如此, 如果我们进一步注意到上式的右端可以改写为一个积分表达式:

lnln(N) ~ ∫N x-1/ln(x) dx

而左端通过引进一个素数分布的密度函数 ρ(x)——它给出在 x 附近单位区间内发现素数的几率——也可以改写为一个积分表达式:

Σp<N p-1 ~ ∫N x-1ρ(x) dx

将这两个积分表达式进行比较, 不难猜测到素数的分布密度为 ρ(x)~1/ln(x), 从而在 x 以内的素数个数——通常用 π(x) 表示——为:

π(x) ~ Li(x)

其中 Li(x) ≡ ∫ 1/ln(x) dx 是对数积分函数 (logarithmic integral function)[注一]。 这个结果有些读者可能也认出来了, 它正是著名的素数定理 (prime number theorem)——当然这种粗略的推理并不构成对素数定理的证明。 因此 Euler 发现的这个结果可以说是一扇通向素数定理的暗门。 可惜 Euler 本人并没有沿着这样的思路走, 从而错过了这扇暗门, 数学家们提出素数定理的时间也因此而延后了几十年。

提出素数定理的荣誉最终落到了另外两位数学家的肩上: 他们是德国数学家 Friedrich Gauss (1777-1855) 和法国数学家 Adrien-Marie Legendre (1752-1833)。

Gauss 对素数分布的研究始于 1792 到 1793 年间, 那时他才十五岁。 在那期间, 每当“无所事事” 的时候, 这位早熟的天才数学家就会挑上几个长度为一千的自然数区间, 计算这些区间中的素数个数, 并进行比较。 在做过了大量的计算和比较之后, Gauss 发现素数分布的密度可以近似地用对数函数的倒数来描述, 即 ρ(x)~1/ln(x), 这正是上面提到的素数定理的主要内容。 但是 Gauss 并没有发表这一结果。 Gauss 是一位追求完美的数学家, 他很少发表自己认为还不够完美的结果, 而他的数学思想与灵感犹如浩瀚奔腾的江水, 汹涌激荡, 常常让他还没来得及将一个研究结果完美化就又展开了新课题的研究。 因此 Gauss 一生所做的数学研究远远多过他正式发表的。 但另一方面, Gauss 常常会通过其它的方式——比如书信——透露自己的某些未发表的研究成果, 他的这一做法给一些与他同时代的数学家带来了不小的尴尬。 其中 “受灾” 较重的一位便是 Legendre。 这位法国数学家在 1806 年率先发表了线性拟合中的最小平方法, 不料 Gauss 在 1809 出版的一部著作中提到自己曾在 1794 年 (即比 Legendre 早了十二年) 就发现了同样的方法, 使 Legendre 极为不快。

有道是: 不是冤家不聚首。 在素数定理的提出上, 可怜的 Legendre 又一次不幸地与数学巨匠 Gauss 撞到了一起。 Legendre 在 1798 年发表了自己关于素数分布的研究, 这是数学史上有关素数定理最早的文献[注二]。 由于 Gauss 没有发表自己的研究结果, Legendre 便理所当然地成为了素数定理的提出者。 Legendre 的这个优先权一共维持了五十一年。 但是到了 1849 年, Gauss 在给德国天文学家 Johann Encke (1791-1865) 的一封信中提到了自己在 1792 至 1793 年间对素数分布的研究, 从而把尘封了半个世纪的优先权从 Legendre 的口袋中勾了出来, 挂到了自己那已经鼓鼓囊囊的腰包之上。

幸运的是, Gauss 给 Encke 写信的时候 Legendre 已经去世十六年了, 他用最无奈的方式避免了再次遭受残酷打击。

无论 Gauss 还是 Legendre, 他们对于素数分布规律的研究都是以猜测的形式提出的 (Legendre 的研究带有一定的推理成份, 但离证明仍相距甚远)。 因此确切地说, 素数定理在那时还只是一个猜想, 即素数猜想, 我们所说的提出素数定理指的也只是提出素数猜想。 素数定理的数学证明直到一个世纪之后的 1896 年, 才由法国数学家 Jacques Hadamard (1865-1963) 与比利时数学家 Charles de la Vallée-Poussin (1866-1962) 彼此独立地给出。 他们的证明与 Riemann 猜想有着很深的渊源, 其中 Hadamard 的证明所出现的时机和场合还有着很大的戏剧性, 这些我们将在 后文 中加以叙述。

素数分布与素数定理
素数分布与素数定理

素数定理是简洁而优美的, 但它对于素数分布的描述仍然是比较粗略的, 它给出的只是素数分布的一个渐近形式——即小于 N 的素数个数在 N 趋于无穷时的分布形式。 从有关素数分布与素数定理的图示 (即右图) 中我们也可以看到, π(x) 与 Li(x) 之间是有偏差的, 而且这种偏差的绝对值随着 x 的增加似有持续增加的趋势 (所幸的是, 这种偏差的增加与 π(x) 及 Li(x) 本身的增加相比仍是微不足道的——否则素数定理也就不成立了)[注三]

那么有没有一个公式可以比素数定理更精确地描述素数的分布呢? 这便是 Riemann 在 1859 年想要回答的问题。 那一年是 Gauss 去世后的第五年, 三十二岁的 Riemann 继德国数学家 Johann Dirichlet (1805-1859) 之后成为了 Gauss 在 Göttingen 大学的继任者。 同年的 8 月 11 日, 他被选为了柏林科学院 (Berlin Academy) 的通信院士 (corresponding member)。 作为对这一崇高荣誉的回报, Riemann 向柏林科学院提交了一篇论文——一篇只有短短八页的论文, 标题是: 论小于给定数值的素数个数。 正是这篇论文将 Euler 乘积公式所蕴涵的信息破译得淋漓尽致, 也正是这篇论文将 Riemann ζ 函数的零点分布与素数的分布联系在了一起。

这篇论文注定要把人们对素数分布的研究推向壮丽的巅峰, 并为后世的数学家们留下一个魅力无穷的伟大谜团。

返回目录 | 下一篇

注释

  1. 对数积分函数 Li(x) 的确切定义是 1/ln(x) 在 0 到 x 之间定积分的 Cauchy 主值 (Cauchy principal value)。 对于素数定理来说, 人们关心的是 Li(x) 在 x→∞ 时的渐近行为, 这时候积分的下限并不重要, 因此在素数定理的研究中, 人们有时把 Li(x) 的积分下限取为 2 而不是 0, 这样可以使被积函数在积分区间内没有奇点。
  2. Legendre 提出的素数定理采用的是代数表达式: π(x) ~ x/[ln(x)-1.08366], 它与积分形式的素数定理在渐近意义上是等价的。
  3. 这里有一个有趣的细节值得一提: 从素数分布与素数定理的图示以及从大范围的计算中人们都发现 Li(x)-π(x) 大于零, 这使得有人猜测 Li(x) 不仅是素数分布的渐近形式, 而且还是其严格上界, 即 Li(x)-π(x) 恒大于零。 这种猜测在 1914 年被英国数学家 John Littlewood (1885-1977) 所推翻, Littlewood 证明了 Li(x)-π(x) 是一个在正与负之间振荡无穷多次的函数。

站长近期发表的作品