广义黎曼猜想(1859年提出的数学猜想)
VLoG
次浏览
更新时间:2023-05-22
广义黎曼猜想
1859年提出的数学猜想
基本信息
中文名 | 广义黎曼猜想 |
提出者 | 黎曼 |
提出时间 | 1859年 |
应用学科 | 数学 |
简介
这是1859年由德国大数学家黎曼提出的几个猜想之一,而其他猜想均已证明。这个猜想是指黎曼ζ函数:(n从1到无穷)的非平凡零点都在 的直线上.
分析
黎曼ζ 函数
黎曼在1858年写的一篇只长8页关于素数分布的论文,就在这论文里他提出了有名的黎曼猜想(Riemanns Hypoth-esis)。这猜想提出已有一百多年了,许多有名的数学家曾尝试去证明,就像喜欢爬山的人希望能爬上珠穆朗玛峰一样——因为到达它的顶峰非常困难,目前已有人登上这世界高峰,可是却没有人能证明这猜想!那么这个让上帝如此吝啬的黎曼猜想究竟是一个什么样的猜想呢?
在回答这个问题之前我们先得介绍一个函数:
黎曼ζ 函数。这个函数虽然挂着黎曼的大名,其实并不是黎曼首先提出的。但黎曼虽然不是这一函数的提出者,他的工作却大大加深了人们对这一函数的理解,为其在数学与物理上的广泛应用奠定了基础。后人为了纪念黎曼的卓越贡献,就用他的名字命名了这一函数。
那么究竟什么是黎曼ζ 函数呢?黎曼ζ 函数是级数表达式 (n 为正整数)在复平面上的解析延拓。之所以要对这一表达式进行解析延拓,是因为 - 如我们已经注明的 - 这一表达式只适用于复平面上 s 的实部 的区域 (否则级数不收敛)。黎曼找到了这一表达式的解析延拓 (当然黎曼没有使用“解析延拓”这样的现代复变函数论术语)。运用路径积分,解析延拓后的黎曼ζ 函数可以表示为:
这里我们采用的是历史文献中的记号,式中的积分实际是一个环绕正实轴 (即从 出发,沿实轴上方积分至原点附近,环绕原点积分至实轴下方,再沿实轴下方积分至离实轴的距离及环绕原点的半径均趋于 0) 进行的围道积分;式中的 Γ 函数 是阶乘函数在复平面上的推广,对于正整数。可以证明,这一积分表达式除了在处有一个简单极点外在整个复平面上解析。这就是黎曼ζ 函数的完整定义。运用上面的积分表达式可以证明,黎曼ζ 函数满足以下代数关系式:
从这个关系式中不难发现,黎曼ζ 函数在 (n 为正整数) 取值为零 - 因为 为零[注三]。复平面上的这种使黎曼ζ 函数取值为零的点被称为黎曼ζ 函数的零点。因此(n 为正整数) 是黎曼ζ 函数的零点。这些零点分布有序、性质简单,被称为黎曼ζ 函数的平凡零点 (trivial zeros)。除了这些平凡零点外,黎曼ζ 函数还有许多其它零点,它们的性质远比那些平凡零点来得复杂,被称为非平凡零点 (non-trivial zeros) 。
黎曼猜想
黎曼ζ 函数的所有非平凡零点都位于复平面上 Re(s)=1/2 的直线上。在黎曼猜想的研究中,数学家们把复平面上的直线称为“critical line”。运用这一术语,黎曼猜想也可以表述为:黎曼ζ 函数的所有非平凡零点都位于critical line上。这就是黎曼猜想的内容,它是黎曼在 1859 年提出的。从其表述上看,黎曼猜想似乎是一个纯粹的复变函数命题,但我们很快将会看到,它其实却是一曲有关素数分布的神秘乐章。
证明成果
哈地证明(哈代斗上帝)
每次到丹麦就会见他的好朋友波尔(Harald Bohr),他们坐下来,先在一张纸上写上先要解决和讨论的一些议程,然后讨论一个小时后才一起出去散步。每一次见面时哈地在议程的第一条往往写上:“证明黎曼假设!”
可是这个提议却一直没法子解决,一直到夏假结束他必须回去英国教书才作罢。第二年的夏天他回来丹麦又像前一年那样,两人每天把解决黎曼假设摆在议程的最前面,但是每次都不能解决。
他是否真的证明了,要把这个好消息告诉他的好友呢?原来这明信片是有用意的:万一这船沉下去,哈地溺死了,世人就会认为哈地真的解决这个世界上的数学难题,而为这个解法及哈地一起埋在海底而惋惜。但是上帝既然是哈地的仇人,一定不会让哈代享有解决这个著名难题的声誉,因此本来这船该沉下去,它也设法不让它沉,于是哈地可以平安回到英国。这样这个明信片就是他的救命护身符了。
你看了或许会笑,以为我们的哈代教授是这样幼稚可笑的人物,是的,有一些数学家他们想法和做事的天真幼稚就像6岁的儿童。可是他们研究的东西却深入和奥妙,不是普通人所能了解的。哈代逝世距现在已四十多年,但是他遗留下来的工作,许多是那么的艰深和难于明白,普通大学数学系毕业生也不是很容易就能领会。
近年研究成果
荷兰三位数学家J.van de Lune,H.J.Riele te及D.T.Winter利用电子计算机来检验黎曼的假设,他们对最初的二亿个齐打函数的零点检验,证明黎曼的假设是对的,他们在1981年宣布他们的结果,目前他们还继续用电子计算机检验底下的一些零点。
1982年11月苏联数学家马帝叶雪维奇在苏联杂志《Kibernetika》宣布,他利用电脑检验一个与黎曼猜想有关的数学问题,可以证明该问题是正确的,从而反过来可以支持黎曼的猜想很可能是正确的。
1975年美国麻省理工学院的莱文森在他患癌症去世前证明了。
1980年中国数学家楼世拓、姚琦对莱文森的工作有一点改进,他们证明了。
意义
黎曼
黎曼,G.F.B(Riemann,Georg Friedrich Bernhard)1826年9月17日生于德国汉若威的布雷斯塞论茨;1866年7月20日卒于意大利塞拉斯卡。黎曼是对现代数学影响最大的数学家之一,我们从他当时的数学水平来看,他作为伟大的分析学家,其成就可以分为八个领域来论述。前4个领域是关于复分析方面的,他第一个有意识的将实域过渡到复域,开创了复变函数域,代数函数论,常微分方程解析理论及解析数论诸方向;后4个领域主要涉及实分析,在积分理论,三角级理论,微分几何学,数学物理方程等方面取得重大突破。重要的是一个多世纪之前的成就却直接同现代数学中的拓扑方法,一般流形概念,联系拓扑与分析的黎曼-洛赫定理,代数几何学特别是阿贝尔簇以及参模等紧密相连,他的空间观念及黎曼几何更预示着广义相对论,正是他促发了现代数学的革命性变革