到了 1914 年,拉马努金已经身在剑桥大学了。从此之后,便开始了数学史上最伟大的合作之一。
每次提到和拉马努金合作的那段岁月, 哈代总是难以抑制内心的兴奋。他们纵情交谈着各自的数学思想,都深深折服于彼此的数学观点,也都为找到一个热爱数字的志趣相投之人而欣喜不已。
左:拉马努金 右:哈代
拉马努金和哈代的合作模式就像一个典型的审讯小组:一个唱红脸,一个唱白脸。唱红脸的那个天性乐观,总是充满奇思妙想;
而唱白脸的那个则消极悲观,总是怀疑一切,不断寻找真相。在审问他们共同的“数学嫌犯”时,拉马努金需要哈代批判性的眼光来审视他那些天马行空的想法。
然而,求同存异并非易事,文化冲突也在所难免。哈代和利特尔伍德坚持严格的西方式证明方式,而拉马努金脑海中不时迸现出的新理论,其灵感则源于“娜玛卡尔女神的启示”。
左:哈代 右:利特尔伍德
哈代评论道:“几乎每天,他都会向我展示一些新理论。要是总想着弄明白他是如何发现诸如此类的理论的,可真伤脑筋啊!”
拉马努金要面对的不止是文化冲击。
内维尔这个他在印度时就信任有加的同事,这样描述他在剑桥大学的那些日子:“在一个陌生的国度生活,使他备受煎熬,内心痛苦不堪。他失望地扔掉那双英国鞋,每天穿着拖鞋漫步在校园里。
剑桥大学三一学院:欧洲最大的封闭庭院
但是,一旦走进哈代的房间,打开笔记本,他就一头扎进那些公式和方程中。哈代的目光也逐渐被拉马努金那些散发着迷人光芒的定理吸引住了。
哈代发现,很难让拉马努金做到兼顾直觉和证明。他担心,如果自己过于强调让拉马努金证明他的结论,可能会打击他的自信心,或者使他的灵感之源枯竭。
他给利特尔伍德布置了一个任务,就是让拉马努金熟悉现代的严谨数学。但利特尔伍德发现,这是一个不可能完成的任务。
无论利特尔伍德费了多少唇舌,向拉马努金介绍所谓严谨数学为何物,拉马努金都会插入一些新观点,使利特尔伍德偏离原有的轨道,不能按计划进行下去。
尽管提出精确的素数统计公式使拉马努金开启了英国之旅,最终使他留名于世的却是他在相关领域做出的贡献。
从哈代和利特尔伍德那里,他听到了“素数天生带有恶意”这类悲观的论调。因此,在素数的探索上,他放慢了脚步。人们只能猜测,拉马努金一定是发现了什么, 才使他不像西方人那样对素数充满恐惧。
他继续和哈代一起探索素数的相关性质。他和哈代提出的观点,将有助于推动哥德巴赫猜想研究取得突破性进展。
哥德巴赫猜想就是每个偶数都能写成两个素数之和。他们历经一番曲折,才首次取得这一进展。
哥德巴赫
但这源于拉马努金秉承的天真想法:必定有精确的公式来描述诸如素数个数这样重要的数列。
在他宣布素数公式的信件中,他写道,他相信自己知道如何生成另一个先前未被研究的数列,即划分数(partition number)。
如果要把5块石头分成几组,共有几种可能的方法呢?组数范围是1~5。这称作数字5的划分。如下图所示,共有7种可能的划分方法。
给5块石头分组的7种方法
1~15的所有数字的划分数如下表所示:
这种数列在现实世界中出现的概率,几乎和斐波那契数列一样频繁。例如,通过降低给定量子系统的能级密度,来理解划分数的变化。
这些数字看起来并不像素数那样是随机分布的。但是哈代时期的数学家们都不约而同地放弃了寻找能生成列表中的这些数字的精确公式。他们认为可能有这样一个公式,它能生成一个近似值,与N的实际划分数偏差不大。这和利用高斯的公式得出N以内素数个数的近似值如出一辙。
但是,拉马努金从不畏惧这类序列。他就是要站出来找到这样一个公式,利用该公式就能轻松得出,给 4 块石头分组有 5 种方法,或者给 200 块石头分数有 3972999029388 种方法。
尽管在素数问题上马失前蹄,但拉马努金成功地解决了划分数问题。
哈代对复杂问题有着强大的证明能力,而拉马努金则具有天马行空的想象力,坚信必然存在这样一个公式。二者珠联璧合、相得益彰,这促使他们发现了这个公式。
拉马努金为什么就那么坚信存在这样一个精确公式呢?
任凭利特尔伍德抓耳挠腮、绞尽脑汁,也找不到该问题的答案。看到这个包含 2 的平方根、π、微分、三角函数和虚数的公式时, 人们总忍不住想知道这个公式到底是从哪里冒出来的呢!
利特尔伍德之后这样评价道:“发现这一定理归功于两个人的鼎力合作。二人各有所长,并尽其所能地发挥各自的特长,不吝付出艰苦的努力。”
这个故事历尽曲折。利用哈代和拉马努金的这个复杂公式,得到的不是一个精确的数字,而是一个经过四舍五入后最接近的整数。
尽管拉马努金的这种直觉在素数问题上失效了,他和哈代在配分函数(partition function)上的工作却推动了哥德巴赫猜想的解决。
哈代和拉马努金在配分函数上的工作,使他们建立了一种现在称之为哈代—利特尔伍德圆法(Hardy- Littlewood Circle Method)的技术。
这个方法没有以拉马努金的名字命名,是因为利特尔伍德和哈代首次使用该方法来证明哥德巴赫猜想。他们无法证明所有的偶数都能表示为两个素数之和。
但到了 1923 年,他们成功证明了所有足够大的奇数都能写成三个素数之和。这对数学界来说可是个重磅消息。
但要想让该结论成立,就必须满足一个条件,那就是黎曼假设是正确的。推测出这一结果,同样是相信黎曼假设会成为黎曼定理的产物。
拉马努金对这一方法的发展可谓功不可没。遗憾的是,他没能活着见证该方法在数学上发挥举足轻重的作用。
1917 年,由于他的反战言论,他无缘罗素奖金。三一学院也不能容忍拉马努金这种持和平主义立场的人存在。他终于“妥协”了,把脚塞进西方人的鞋子里,穿上长袍,戴上学位帽。
罗素
对拉马努金而言,剑桥大学开始成为监狱一般的存在。同时他开始意识到,哈代力求严谨,这束缚了他在数学天地中自由驰骋的脚步。
他的精神愈发萎靡不振,身体也每况愈下。营养不良使他可能患上了肺结核。从此他成了疗养院的常客。
拉马努金试图通过思考数学让自己振作起来,但收效甚微。
错乱的数学图像总是出现在他的梦境里。他相信自己的腹痛是由黎曼截塔(希腊字母读音)函数图景上那些无穷无尽的凸起物引起的,在那里他只能眼睁睁地看着那个描述截塔(希腊字母读音)函数的公式越走越远。
身体稍微恢复的拉马努金,情绪依然十分低落。他失魂落魄地来到伦敦地铁,冲到一列缓缓驶来的列车前,想要以此结束自己的生命。这时,一名警卫冲过来,挡在他身前,叫停了列车,才使他逃过死神的魔爪。
在 1917 年,自杀未遂是一种犯罪行为。在哈代的斡旋下,警方撤销了对他的指控。但条件是,他不得不入住位于马特洛克(德比郡的首府)的一家疗养院,接受长达 12 个月的全面医疗监护。
现在,他失去了一切行动自由,甚至连和哈代的日常会面这唯一的乐趣都被剥夺了。
“我已经来这儿一周了,”他在信中对哈代说,“无时无刻不处于监控之中。他们向我保证,在我专心研究数学的时候可以给我自由呼吸的空间。那一天却迟迟未能到来,而我却被困在这冰冷刺骨的房间里,一刻也不得动弹。”
哈代发动人脉、多方斡旋,终于将拉马努金转移到了位于伦敦帕特尼的一家私人疗养院。
尽管哈代承认,拉马努金是他生命中“唯一的真爱”,但这种友谊与私人情感无干,只关乎数学研究。哈代来看望生病卧床的拉马努金,也没能说出什么像样的安慰的话来。
不过,他倒是调侃道,他刚刚乘坐的出租车车牌号 1729 是一个无聊的数字。病榻上的拉马努金一听到数字,立刻两眼放光,精神大振:“不,哈代!不,哈代!这个数字很有意思。在能以两种方式表示为两个数字的立方根之和的数中,1729 是最小的。”
他是对的,这个数字的确可以写成如下形式:
拉马努金终于时来运转,当选为英国皇家学会(英国最负盛名的科研机构)的会士,随即获得了三一学院的研究员职位,走向人生巅峰。
英国皇家学会
但拉马努金的身体健康每况愈下。第一次世界大战(简称一战)结束后,哈代建议拉马努金回家休养一段时间。
1920 年 4 月 26 日,拉马努金在马德拉斯逝世,年仅 33 岁。
尽管拉马努金在素数问题上并无多大建树,但正如拉马努金教给我们的那样,知识和期望有时候会阻碍进步。传统教育模式下培养出的学术人才,易囿于现状,往往不会轻易打破传统藩篱。
拉马努金留下的思想宝藏,值得历代数学家去挖掘。可事实是,直到近些年来,拉马努金这颗“沧海遗珠”才逐渐为人所识。
多年之后,到了 1978年,皮埃尔·德利涅因证明了拉马努金现今为人所熟知的套(希腊字母读音)猜想而获得菲尔兹奖。
皮埃尔·德利涅
这时人们才意识到拉马努金猜想的重要性。拉马努金的拥护者之一,伯恩特耗尽半生心血,潜心研究拉马努金那些未发表的笔记。
研究这些笔记的时候,伯恩特就发现了一个记录 1 亿以内素数的奇怪表格。这些素数有的正确,有的则近乎正确,这比拉马努金第一次给哈代的结果要更加精确。但这究竟是如何得出的,已经无从知晓了。
拉马努金的离世对哈代来说是沉重的打击。
哈代为失去了这样一位在数学征途上的同伴而悲痛不已:“自我们相识以来,他总能冒出一些新想法,这是我源源不断的灵感来源。而他的去世是有史以来对我最大的打击。”
年岁渐长的哈代,在数学研究上越来越力不从心了。他在《一个数学家的辩白》一书里,也以触动人心的笔触,描述了一个在职业生涯即将结束时的数学家。
要研究数学,数学家一定不能太老。数学上不需要冥想,它需要创造力。一个失去了创造力和创新欲望的人,是不会有多大建树的。这对数学家来说,更是亘古不变的真理。
斯诺曾这样回忆探望生病中的哈代的情景。他自嘲道:“我把事情搞得一团糟。还有人搞出过这么大的乱子吗?”
查尔斯·珀西·斯诺:英国科学家,小说家
正如他在《一个数学家的辩白》中写的那样,是拉马努金给了他生活下去的勇气:“当我心情沮丧的时候,当我不得不去听那些讨厌鬼的夸夸其谈的时候,我至少能对自己说:‘我做过一件你从没做过的事情,那就是我曾经和利特尔伍德以及拉马努金平起平坐过。’”
来源:超级数学建模
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.