Riemann 猜想漫谈 (一)

from 科学松鼠会 http://songshuhui.net/archives/63875

f 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

一. Hardy 的明信片

Bernhard Riemann

让我们从一则小故事开始我们的 Riemann 猜想之旅吧。 故事大约发生在七十多年前, 当时英国有一位很著名的数学家叫做 Godfrey Hardy (1877-1947), 在我看来他是两百年来英国数学界的一位勇者。 为什么说他是勇者呢? 因为在十七世纪的时候, 英国数学家与欧洲大陆的数学家之间发生了一场激烈的论战。 论战的主题是谁先发明了微积分。 论战所涉及的核心人物一边是英国的科学泰斗 Isaac Newton (1642-1727), 另一边是欧洲大陆 (德国) 的哲学及数学家 Gottfried Leibniz (1646-1716)。 这一场论战打下来, 两边筋疲力尽自不待言, 还大伤了和气, 留下了旷日持久的后遗症。 自那以后, 英国的许多数学家开始排斥起来自欧洲大陆的数学进展。 一场争论演变到这样的一个地步, 英国数学界的集体荣誉及尊严、 Newton 的赫赫威名便都成了负资产, 英国的数学在保守的舞步中走起了下坡路。

这下坡路一走便是两百年。

在这样的一个背景下, 在复数理论还被一些英国数学家视为来自欧洲大陆的危险概念的时候, 土生土长的英国数学家 Hardy 却对来自欧洲大陆 (而且偏偏还是德国)、 有着复变函数色彩的数学猜想——Riemann 猜想——产生了浓厚的兴趣, 积极地研究它, 并且——如我们将在后文中介绍的——取得了令欧洲大陆数学界为之震动的成就, 算得上是勇者所为。

当时 Hardy 在丹麦有一位很要好的数学家朋友叫做 Harald Bohr (1887-1951), 他是著名量子物理学家 Niels Bohr (1885-1962) 的弟弟。 Bohr 对 Riemann 猜想也有浓厚的兴趣, 曾与德国数学家 Edmund Landau (1877-1938) 一起研究 Riemann 猜想 (他们的研究成果也将在后文中加以介绍)。 Hardy 很喜欢与 Bohr 共度暑假, 一起讨论 Riemann 猜想。 他常常要待到假期将尽才匆匆赶回英国。 结果有一次当他赶到码头时, 发现只剩下一条小船可以乘坐了。 没办法, 他只得硬着头皮登上。 在汪洋大海中乘坐小船可不是闹着玩的事情, 弄得好算是浪漫刺激, 弄不好就得葬身鱼腹。 信奉上帝的乘客们此时都忙着祈求上帝的保佑。 Hardy 却是一个坚决不信上帝的人, 不仅不信, 有一年他还把向大众证明上帝不存在列入自己的年度六大心愿之中, 且排名第三 (排名第一的是证明 Riemann 猜想)。 不过在这生死攸关的时侯 Hardy 也没闲着, 他给 Bohr 发去了一张简短的明信片, 上面只有一句话:

“我已经证明了 Riemann 猜想!”

Hardy 果真已经证明了 Riemann 猜想吗? 当然不是。 那他为什么要发这么一张明信片呢? 回到英国后他向 Bohr 解释了原因, 他说如果那次他乘坐的小船真的沉没了, 那人们就只好相信他真的证明了 Riemann 猜想。 但他知道上帝是肯定不会把这么巨大的荣誉送给他——一个坚决不信上帝的人——的, 因此上帝一定不会让他的小船沉没的。[注一]

上帝果然没舍得让 Hardy 的小船沉没。 自那以后又过了七十几个年头, 吝啬的上帝依然没有物色到一个可以承受这么大荣誉的人。

二. Riemann ζ 函数与 Riemann 猜想

那么这个让上帝如此吝啬的 Riemann 猜想究竟是一个什么样的猜想呢? 在回答这个问题之前我们先得介绍一个函数: Riemann ζ 函数。 这个函数虽然挂着 Riemann 的大名, 其实并不是 Riemann 首先提出的。 但 Riemann 虽然不是这一函数的提出者, 他的工作却大大加深了人们对这一函数的理解, 为其在数学与物理上的广泛应用奠定了基础。 后人为了纪念 Riemann 的卓越贡献, 就用他的名字命名了这一函数。[注二]

那么究竟什么是 Riemann ζ 函数呢? Riemann ζ 函数 ζ(s) 是级数表达式 (n 为正整数)

ζ(s) = Σn n-s    (Re(s) > 1)

在复平面上的解析延拓。 之所以要对这一表达式进行解析延拓, 是因为——如我们已经注明的——这一表达式只适用于复平面上 s 的实部 Re(s) > 1 的区域 (否则级数不收敛)。 Riemann 找到了这一表达式的解析延拓 (当然 Riemann 没有使用 “解析延拓” 这样的现代复变函数论术语)。 运用路径积分, 解析延拓后的 Riemann ζ 函数可以表示为:

这里我们采用的是历史文献中的记号, 式中的积分实际是一个环绕正实轴 (即从 +∞ 出发, 沿实轴上方积分至原点附近, 环绕原点积分至实轴下方, 再沿实轴下方积分至 +∞——离实轴的距离及环绕原点的半径均趋于 0) 进行的围道积分; 式中的 Γ 函数 Γ(s) 是阶乘函数在复平面上的推广, 对于正整数 s>1: Γ(s)=(s-1)!。 可以证明, 这一积分表达式除了在 s=1 处有一个简单极点 (simple pole) 外, 在整个复平面上处处解析。 这样的表达式是所谓的亚纯函数 (meromorphic function)——即除了在一个孤立点集 (set of isolated points) 上存在极点 (pole) 外, 在整个在复平面上处处解析的函数——的一个例子。 这就是 Riemann ζ 函数的完整定义。

运用上面的积分表达式可以证明, Riemann ζ 函数满足以下代数关系式——也叫函数方程 (functional equation):

ζ(s) = 2Γ(1-s)(2π)s-1sin(πs/2)ζ(1-s)

从这个关系式中不难发现, Riemann ζ 函数在 s=-2n (n 为正整数) 取值为零——因为 sin(πs/2) 为零[注三]。 复平面上的这种使 Riemann ζ 函数取值为零的点被称为 Riemann ζ 函数的零点。 因此 s=-2n (n 为正整数) 是 Riemann ζ 函数的零点。 这些零点分布有序、 性质简单, 被称为 Riemann ζ 函数的平凡零点 (trivial zeros)。 除了这些平凡零点外, Riemann ζ 函数还有许多其它零点, 它们的性质远比那些平凡零点来得复杂, 被称为非平凡零点 (non-trivial zeros) 。 对 Riemann ζ 函数非平凡零点的研究构成了现代数学中最艰深的课题之一。 我们所要讨论的 Riemann 猜想就是一个关于这些非平凡零点的猜想, 在这里我们先把它的内容表述一下, 然后再叙述它的来笼去脉:

Riemann 猜想: Riemann ζ 函数的所有非平凡零点都位于复平面上 Re(s)=1/2 的直线上。

在 Riemann 猜想的研究中, 数学家们把复平面上 Re(s)=1/2 的直线称为 critical line。 运用这一术语, Riemann 猜想也可以表述为: Riemann ζ 函数的所有非平凡零点都位于 critical line 上。

这就是 Riemann 猜想的内容, 它是 Riemann 在 1859 年提出的。 从其表述上看, Riemann 猜想似乎是一个纯粹的复变函数命题, 但我们很快将会看到, 它其实却是一曲有关素数分布的神秘乐章。

 

注释
  1. Hardy 的这个解释让我想起了一句有趣的无神论者的祈祷语: God, if there is one, save my soul if I have one (上帝啊, 如果你存在的话, 拯救我的灵魂吧, 如果我有灵魂的话)。
  2. 远在 Riemann 之前, Riemann ζ 函数 (当然那时还不叫这个名字) 的级数表达式就已经出现在了数学文献中, 但是那些表达式中函数的定义域较小。 Riemann 把 Riemann ζ 函数的定义域大大地延拓了, 这一点对于 Riemann 猜想的表述及研究具有重要的意义。 仅凭这一点, 即便把 Riemann 称为 Riemann ζ 函数的提出者之一, 也并不过份。
  3. sin(πs/2) 在 s=0 及 s=2n (n 为正整数) 时也为零, 但是在 s=0 时 ζ(1-s) 有极点, s=2n (n 为正整数) 时 Γ(1-s) 有极点, 因此只有在 s=-2n (n 为正整数) 时可以由 sin(πs/2)=0 推知 Riemann ζ 函数的取值为零。

二零零三年十一月六日写于纽约
二零零三年十一月六日发表于本站

http://www.changhai.org/

Advertisements

发表评论

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / 更改 )

Twitter picture

You are commenting using your Twitter account. Log Out / 更改 )

Facebook photo

You are commenting using your Facebook account. Log Out / 更改 )

Google+ photo

You are commenting using your Google+ account. Log Out / 更改 )

Connecting to %s