首页 >> 数学 >> 文章

三. 素数的分布

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

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

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

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

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

π(x) ~ Li(x)

其中 Li(x) ≡ ∫ ln-1(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 ζ 函数的零点分布与素数的分布联系在了一起。

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

(本文授权转载自卢昌海老师的个人博客,欲再转载者请联系原作者)

Riemann 猜想漫谈连载

0
为您推荐

13 Responses to “Riemann 猜想漫谈 (二)”

  1. sheldon说道:

    素数、质数哪种说法更官方一些?总觉得素数别扭,感觉还有荤数似的

    • Achilles Wong说道:

      大陆:素数;台灣:質數;香港:質數
      wiki上看到的...

    • biohu说道:

      “素”有“基本”的意思,如“元素”;
      当然“质”也有这层含义,但是我感觉没有“素”那么强烈。

    • gbjlpeng说道:

      来看数学板块的果然都是死理性派……

  2. Achilles Wong说道:

    调和级数啊,泪流满面啊,和数论扯到一起后学过复分析的我表示没有看懂啊。
    “由此 Euler 得到了这样一个有趣的渐近表达式:”这个能不能在深入一点呢?
    数论真的好难!

  3. Cielo说道:

    之前在作者博客看过了,发来这里也不错啊,支持好文章!

  4. 飞鸟未来说道:

    之前读过《素数之恋》,洋洋洒笔200多页就为了说欧拉积公式与黎曼猜想。
    因而,本文就懒得细读了。

  5. David Rodman Ding说道:

    世界上本来就是点函数比连续的线性函数要多,素数能找出这么相近的经验函数真不容易

  6. 夜风过耳说道:

    高斯在非欧几何方向也玩这套

  7. 杨阳说道:

    一般数学系的都叫素数,非数学专业的喜欢叫质数

  8. laoguo说道:

    素数之恋

Leave a Reply