Riemann 猜想漫谈(九) |
|
|
来源:不详 更新时间:2012-10-14 13:35:16 |
|
|
作者:卢昌海
从纸笔到机器
Riemann-Siegel公式的发表大大促进了人们对Riemannζ函数非平凡零点的计算。如我们在第十一、十二两节的介绍及实际运用中看到的,Riemann-Siegel公式中的求和的项数是由n2<(t/2π)这一条件确定的,这表明用Riemann-Siegel公式计算一个位于s=1/2+it附近的零点所需的计算量为O(t1/2)。而在这之前人们所用的Euler-Maclaurin公式计算同一零点所需的计算量约为O(t),两者在计算量上的差别——也就是Riemann-Siegel公式相对于Euler-Maclaurin公式的优越幅度——随着t的增大而变得越来越明显。因此Riemann-Siegel公式对于Riemannζ函数非平凡零点的大规模计算来说,要比Euler-Maclaurin公式有效得多。
Riemann-Siegel公式发表之后大约过了四年,Hardy的学生、英国数学家EdwardTitchmarsh(1899-1963)就成功地计算出了Riemannζ函数的前1,041个零点——如所预料的,它们全都位于临界线上。这是十一年来数学家们首次突破我们在第八节提到过的138个零点的记录。Titchmarsh的工作在Riemannζ函数非平凡零点计算史上的地位是双重的:从计算方法上讲,它是数学家们首次运用Riemann-Siegel公式取代Euler-Maclaurin公式进行的大规模零点计算;从计算手段上讲,Titchmarsh的计算使用了英国海军部用来计算天体运动与潮汐的一台打孔式计算机(punched-cardmachine),这是数学家们在零点计算上首次使用机器计算取代传统的纸笔计算。这两个转折是数学与技术相辅相成的结果,它奠定了直到今天为止人们对Riemannζ函数非平凡零点进行计算的基本模式。
Titchmarsh之后零点的计算因第二次世界大战的爆发而中断了十几年。战后最先将计算推进下去的是著名的英国数学家AlanTuring(1912-1954)。Turing其实早在战前就对Riemann猜想产生了兴趣。与当时的许多其他年轻数学家一样,Turing对Hilbert演讲中提到的数学问题很感兴趣,这其中又尤其以第十问题与包含了Riemann猜想的第八问题最让他着迷[注一]。他后来的主要研究大都是以这两个问题为主轴展开的。1936年Turing到Princeton大学读研究生,在那里见到了来访的Hardy(他原本希望能在那里见到Gödel,可惜后者当时已去了欧洲)。那时Hardy对Riemann猜想的态度已经相当悲观。这种悲观情绪对Turing产生了影响,他觉得这么多年来所有证明Riemann猜想的努力都归于失败也许不是偶然的,而意味着应该换个角度思考问题了。人们一直无法证明Riemann猜想,也许并非因为它太难,而是因为它根本就不成立!
一个数学命题,它的成立固然需要证明,它的不成立同样也需要证明。那么,假如Riemann猜想真的不成立,我们怎样才能证明这一点呢?我们当然可以试图从数学上直接证明其不成立(或证明其否命题成立),这是一种方法。但还有一种办法,那就是找到一个反例——即找到一个不在临界线上的零点。这种方法的好处就是不在乎数量多少,只要一个反例就足够了,正所谓“一粒老鼠屎就能坏掉一锅粥”。被后世誉为“计算机与人工智能之父”的Turing显然对后一种方法情有独钟。当时Turing已经提出了后来以他名字命名的Turing机的概念。很自然的,他希望建造一台机器来计算零点。但是这一工作起步不久,英国就卷入了二战,Turing开始参与英国情报部门破译德军密码的工作,建造机器的计划被搁置了下来。直到战争结束后,Turing才渐渐恢复了建造机器及计算零点的计划。Turing虽然是以其对计算机及人工智能领域的卓越贡献著称的,但他在传统数学领域内也有相当深厚的功力,早在读本科的时候,就曾独立证明了概率论中著名的中心极限定理(centrallimittheorem),只可惜比芬兰数学家JarlWaldemarLindeberg(1876-1932)晚了十余年。在建造机器的同时,Turing对计算零点的数学方法也进行了研究,并做了一些改进。
经过几年的努力,到了二十世纪五十年代初,Turing终于完成了自己的机器,并且比在二战前创造过记录的Titchmarsh略进一步,于1953年计算出了前1,104个零点。不过他试图寻找Riemann猜 [1] [2] [3] 下一页
|
上一个数学: Riemann 猜想漫谈(八) 下一个数学: Riemann 猜想漫谈 (十) |
|
|
|
|