斯里尼瓦萨·拉马努金(Srinivasa Ramanujan)
数学史上最难以解释的直觉——一个从未接受过正规大学教育、在印度贫困中独立钻研的年轻人,凭一本过时的定理汇编就重新发现并远远超越了欧洲百年的分析,写下近 3900 条大多没有证明的惊人恒等式;哈代读罢他的信说「这些定理击败了我,我从未见过任何与之相似的东西」,并把他带到剑桥,两人的合作催生了圆法与分拆理论,而他临终前写下的「模 θ 函数」直到 21 世纪才被彻底理解,并与量子引力、怪兽月光遥相呼应。
一、生平与时代背景
斯里尼瓦萨·拉马努金(Srinivasa Ramanujan,全名 Srinivasa Ramanujan Aiyangar / Iyengar)于 1887 年 12 月 22 日出生在英属印度埃罗德(Erode) 外祖母家中,位于今泰米尔纳德邦,金奈西南约 400 公里。他属泰米尔婆罗门(Tamil Brahmin)伊扬加尔(Iyengar)种姓,信奉斯里·毗湿奴派(Sri Vaishnavism),终生严格素食。父亲 库普斯瓦米·斯里尼瓦萨·伊扬加尔(Kuppuswamy Srinivasa Iyengar) 来自坦贾武尔县,在贡伯戈讷姆(Kumbakonam)的一家纱丽店当职员;母亲 科马拉塔马尔(Komalatammal) 是家庭主妇,常在本地神庙诵经。拉马努金一岁多时随母亲迁居贡伯戈讷姆,家中后来成为博物馆。
童年多灾:1889 年 12 月染天花(幸得康复);1889 年出生的弟弟萨达戈潘不到三个月夭折,1891、1894 年出生的两个弟弟也都未满一岁夭折。10 岁时(1897 年 11 月)以全区最高分通过小学考试(英语、泰米尔语、地理、算术),同年入镇立高等中学(Town Higher Secondary School),第一次接触正规数学。11 岁已是神童,耗尽了寄宿在家的两名大学生的数学知识;13 岁借到 S·L·洛尼(S. L. Loney) 的高等三角学教材,自行掌握并独立发现深邃定理。1902 年学会解三次方程,并自己找到四次方程的解法;1903 年尝试解五次方程——他不知道阿贝尔—鲁菲尼已证明一般五次方程无根式解,当然失败了。
改变他一生的书出现在 1903 年(16 岁):他从朋友处得到一本图书馆藏书——G·S·卡尔(G. S. Carr) 编的《纯数学与应用数学初等结果提要》(A Synopsis of Elementary Results in Pure and Applied Mathematics,1886),汇集约 5000 条定理,只有结论与极简提示、无完整证明。这本书是他唯一的数学写作范本,既造就了他「靠直觉跳跃、不写证明」的风格,也因其内容在 1886 年已过时,使他对当时欧洲主流研究几乎一无所知。1904 年,他独立研究伯努利数,把欧拉—马斯凯罗尼常数算到 15 位小数。
1904 年中学毕业获 K·兰加纳塔·拉奥奖,并获奖学金进入贡伯戈讷姆政府艺术学院。但他把全部精力投入数学,其他科目几乎全废,奖学金次年被取消。1905 年 8 月他离家出走,前往维沙卡帕特南,在拉贾蒙德里住了约一个月。1906 年入马德拉斯帕查亚帕学院(Pachaiyappa's College),12 月参加文学士(FA)考试——数学通过,但英语、生理学、梵文等不及格,1907 年再度失败。他没有学位,离开学院,在极端贫困中继续独立研究,常常濒临饥饿。
1909 年 7 月 14 日,由母亲安排,他与年仅 10 岁的 贾纳基(Janaki Ammal,1899—1994) 结婚(当时早婚常见,妻子婚后仍住娘家至 12 岁,1912 年才与拉马努金团聚)。婚后他患睾丸鞘膜积液,家贫无钱手术,1910 年 1 月一位医生免费为他手术。康复后他四处求职,并在《印度数学会杂志》上出题、解题。1910 年他结识了印度数学会创始人 V·拉马斯瓦米·艾耶尔(V. Ramaswamy Aiyer),后者看了他的笔记本后说:「我被其中非凡的结果震撼,不忍心用一个最低级的税务职位埋没他的天才。」艾耶尔把他引荐给内洛尔地方官拉马钱德拉·拉奥(R. Ramachandra Rao)。拉奥起初怀疑这些工作是否为他本人所作,听完拉马努金讲解椭圆积分、超几何级数与发散级数后信服,提供经济资助。1911 年拉马努金在《印度数学会杂志》发表首篇正式论文《关于伯努利数的一些性质》(17 页,含三个证明、两个推论、三个猜想),开始在马德拉斯数学圈成名。
1912 年初他在马德拉斯总账办公室找到临时工作(月薪 20 卢比,仅几周);同年 3 月 1 日起任马德拉斯港务局(Madras Port Trust)会计处职员——申请信中他写道:「我通过了入学考试,读到了 F.A.,但因若干不幸 circumstances 未能继续深造;不过我把全部时间都献给了数学。」申请附有马德拉斯管区学院数学教授 E·W·米德尔马斯特(E. W. Middlemast) 的推荐信:「他是数字计算方面极有天赋的年轻人。」港务局总会计师 S·N·艾亚尔也是数学出身,1913 年发表了一篇关于拉马努金工作的论文《论素数分布》。
1912 年 11 月,马德拉斯工程学院教授 C·L·T·格里菲思(伦敦大学学院毕业)把拉马努金的成果寄给伦敦大学学院的 M·J·M·希尔教授;希尔回复鼓励但没能理解其发散级数结果。拉马努金又写信给剑桥的 E·W·霍布森(E. W. Hobson) 和 H·F·贝克(H. F. Baker),均无回音。1913 年 1 月,他给剑桥的 G·H·哈代写了那封改变命运的信,附了一长串未经证明的定理。哈代与李特尔伍德共同研读,于 2 月 8 日回信:「我对你的信和你陈述的定理极为感兴趣……但在我判断其价值之前,必须看到其中一些断言的证明。」哈代把这些结果分为三类:①已知或易从已知定理推出的;②新奇而有趣,但更像出于好奇与困难而非重要性的;③看起来既新又重要的。拉马努金欣喜若狂,回信说:「我在您这里找到了一位能同情理解我工作的朋友……我已是半饥饿的人;要保住我的头脑,我需要食物,这是我的第一考虑。」在哈代推动下,马德拉斯大学于 1913 年 5 月给了拉马努金一份为期两年的奖学金。
1914 年,哈代安排他赴剑桥。这并非易事:作为正统婆罗门,宗教本应禁止他渡海——这个障碍由 E·H·内维尔(E. H. Neville)(哈代在三一学院的同事,当时正在印度讲学)帮助克服。拉马努金1914 年 3 月 17 日从印度启航,4 月 14 日抵伦敦,由内维尔接待;在伦敦住了四天后前往剑桥,先住内维尔家两周,4 月 30 日搬入三一学院宿舍。从一开始他就有饮食问题(严格素食),一战爆发使特殊食材更难获得,健康很快出现问题。
在剑桥,哈代不知该如何「教」他:「他知识的局限与深邃同样惊人。」李特尔伍德受托教他严格数学,但「每次提到一个他需要知道的内容,他都会抛出一大片原创想法,让人几乎无法继续教学」。1916 年 3 月 16 日,拉马努金以论文《高度合成数》(Highly Composite Numbers,含他在英国发表的七篇论文)获剑桥研究型文学学士(BA by Research)(该学位 1920 年起改称博士)。
1917 年他重病,医生一度以为他将死;此后长期辗转于各家疗养院。1918 年 2 月 18 日当选剑桥哲学会会员,三天后(2 月 21 日)名字出现在伦敦皇家学会会士候选名单——提名者阵容惊人:哈代、麦克马洪、Grace、拉莫尔、布罗姆维奇、霍布森、贝克、李特尔伍德、尼科尔森、杨、惠特克、福赛思、怀特海。5 月 2 日正式当选,他是最年轻的 FRS 之一,也是第二位印度籍 FRS;10 月 10 日当选剑桥三一学院院士(任期六年)。荣誉似乎帮助他恢复了一些,1918 年底健康明显好转。哈代写信说:「他将带着前所未有的科学声誉回到印度……他的纯朴与谦逊丝毫未被成功改变。」
1919 年 2 月 27 日拉马努金启航返印,3 月 13 日抵达马德拉斯,但健康极差。尽管接受治疗,他于1920 年 4 月 26 日在贡伯戈讷姆去世,年仅 32 岁。临终前他仍在数学:1920 年 1 月写给哈代的最后一封信中,他提出了模 θ 函数(mock theta functions)——这是他最后的、也是最深刻的创造之一。
关于死因:当时医生「暂定」为肺结核(最初还考虑过胃溃疡,甚至有人误判他四年前的手术是切除恶性肿瘤)。现代医学史研究(1994 年 D.A.B. Young)认为更可能是肝阿米巴病(hepatic amoebiasis)——他早年两次痢疾的并发症,在英国的医疗条件下未被正确诊断(标存疑:学界对肺结核 vs 肝阿米巴病仍有讨论,但阿米巴病说目前被广泛接受)。他的妻子贾纳基活到 1994 年。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1887 | 12 月 22 日生于英属印度埃罗德外祖母家;泰米尔婆罗门伊扬加尔种姓 |
| 1889 | 12 月染天花康复;迁居贡伯戈讷姆 |
| 1897 | 11 月小学毕业全区第一;入镇立高等中学,首次接触正规数学 |
| 1900 | 开始独立研究,自求和几何级数与等差级数 |
| 1902 | 学会解三次方程,自创四次方程解法 |
| 1903 | 尝试解五次方程(不知不可解);16 岁得到卡尔的《提要》(5000 定理) |
| 1904 | 独立研究伯努利数,算出欧拉常数至 15 位;入贡伯戈讷姆政府艺术学院 |
| 1905 | 奖学金被取消;离家出走到维沙卡帕特南/拉贾蒙德里 |
| 1906 | 入帕查亚帕学院;研究超几何级数、积分与级数关系(实为椭圆函数) |
| 1906—1907 | 两次 FA 考试非数学科目不及格,无学位离校;在贫困中独立研究 |
| 1908 | 研究连分数与发散级数 |
| 1909 | 4 月手术(睾丸鞘膜积液);7 月 14 日与 10 岁的贾纳基结婚 |
| 1910 | 结识 V·拉马斯瓦米·艾耶尔;获拉马钱德拉·拉奥资助;发展椭圆模方程关系 |
| 1911 | 在《印度数学会杂志》发表首篇论文《关于伯努利数的一些性质》 |
| 1912 | 3 月任马德拉斯港务局职员;寄成果给伦敦 M·J·M·希尔,获鼓励但未被理解 |
| 1913 | 1 月致信哈代;2 月哈代回信认可;5 月获马德拉斯大学两年奖学金 |
| 1914 | 3 月 17 日启航赴英,4 月 14 日抵伦敦,4 月 30 日入住三一学院 |
| 1915 | 因英国严冬与饮食健康恶化;五个月未发表任何东西 |
| 1916 | 3 月 16 日获剑桥研究型 BA(论文《高度合成数》) |
| 1917 | 病重,长期住疗养院 |
| 1918 | 2 月当选剑桥哲学会会员、皇家学会会士(5 月确认);10 月当选三一学院院士 |
| 1919 | 2 月 27 日返印,3 月 13 日抵马德拉斯;健康极差 |
| 1920 | 1 月致信哈代提出模 θ 函数;4 月 26 日逝于贡伯戈讷姆,年仅 32 岁 |
| 1920 后 | 笔记本由哈代整理出版;1976 年「丢失的笔记本」被乔治·安德鲁斯在三一学院图书馆重新发现 |
三、核心成果(逐条技术解析)
1. 分拆函数 p(n) 的渐近公式(与哈代合作,1918)——数论 / 圆法
问题背景:分拆数 p(n) 是把正整数 n 写成若干正整数之和的方式数(不计顺序),如 p(5)=7。它增长极快,但 19 世纪没有任何精确或渐近公式。
精确表述:1918 年哈代与拉马努金(圆法的雏形,结合拉马努金对模形式的直觉)证明 $$p(n)\sim \frac{1}{4n\sqrt{3}}\exp!\left(\pi\sqrt{\frac{2n}{3}}\right).$$ 更重要的是,他们给出了一个收敛的级数展开: $$p(n)=\frac{1}{2\pi\sqrt{2}}\sum_{k=1}^\infty \sqrt{k}\,\frac{d}{dn}!\left(\frac{\sinh!\left(\frac{\pi}{k}\sqrt{\frac{2}{3}\left(n-\frac{1}{24}\right)}\right)}{\sqrt{n-\frac{1}{24}}}\right)\cdot A_k(n),$$ 其中 $A_k(n)$ 是与 $k$ 次单位根有关的指数和。这个级数收敛极快——取前几项即可算出 p(n) 的精确值(如取足够多项可逐位算到任意大 n)。拉德马赫(Hans Rademacher)1937 年把它改进为一个真正的精确收敛级数(拉马努金—拉德马赫公式)。
历史意义:这是圆法(circle method)的诞生之作(后由哈代—李特尔伍德系统化)。拉马努金对 p(n) 生成函数 $\prod(1-q^n)^{-1}$ 在单位根附近的精确渐近有极强的直觉,他用「1/π 类」的模方程技巧给出了主项。
2. 拉马努金分拆同余式(1919)——数论 / 模形式
精确表述:拉马努金发现并证明了三条惊人的同余式: $$p(5n+4)\equiv 0 \pmod 5,\qquad p(7n+5)\equiv 0 \pmod 7,\qquad p(11n+6)\equiv 0 \pmod{11}.$$ 例如 p(4)=5, p(9)=30, p(14)=135 都被 5 整除。他还提出:对模 5、7、11 的更高幂也存在类似同余(如 $p(25n+24)\equiv 0\pmod{25}$)。
与前人关系:这是首次发现分拆函数的算术结构。其深刻性在于:它揭示了 p(n) 与模形式的傅里叶系数之间的联系。后世发展:阿特金—奥布赖恩(Atkin–O'Brien) 找到了模 13、17 等的同余;小野健(Ken Ono,2000) 证明对任意与 6 互素的素数模数 m,都存在无穷多形如 $p(An+B)\equiv 0\pmod m$ 的同余。这一领域直接通向模形式与伽罗瓦表示,与费马大定理的证明思想同脉。
3. 罗杰斯—拉马努金恒等式——组合 / 模形式
问题背景:是否存在把分拆限制条件与无穷乘积联系起来的恒等式?
精确表述: $$\sum_{n=0}^\infty \frac{q^{n^2}}{(q;q)n}=\prod,$$ $$\sum_{n=0}^\infty \frac{q^{n(n+1)}}{(q;q)}^\infty\frac{1}{(1-q^{5n+1})(1-q^{5n+4})n}=\prod,$$ 其中 $(q;q)}^\infty\frac{1}{(1-q^{5n+2})(1-q^{5n+3})n=\prod^n(1-q^k)$。组合含义:第一个恒等式说「把 n 分成各部差 ≥2 的分拆数」等于「把 n 分成各部 ≡1 或 4 (mod 5) 的分拆数」。
与前人关系:L·J·罗杰斯(L. J. Rogers)1894 年已证明这两个恒等式,但被遗忘;拉马努金在 ~1910 年独立重新发现(无证明),哈代 1917 年发现罗杰斯的旧文。这是数学史上著名的独立重发现案例。它们是罗杰斯—拉马努金型 q 级数恒等式无穷族的开端,与统计力学中的硬六边形模型(Baxter 1980 年获诺贝尔奖相关工作)有深刻联系。
4. 模 θ 函数(1920,最后一封信)——模形式 / 数学物理
问题背景:拉马努金在生命最后一年研究一类「形似 θ 函数、但不具备完整模性质」的函数,他称之为 mock theta functions。
精确表述:他在 1920 年 1 月给哈代的信中给出了 17 个这样的函数,例如三阶的 $$f(q)=\sum_{n=0}^\infty\frac{q^{n^2}}{(1+q)^2(1+q^2)^2\cdots(1+q^n)^2},$$ 以及五阶、七阶的多个例子。它们在单位根附近的渐近行为与 θ 函数相似,但不是真正的模形式(不满足完整的模变换)。
历史意义:这是拉马努金最深邃也最被后世低估的创造。80 多年里数学家只知道它们「看起来像模形式但差点什么」。2002 年,荷兰数学家桑德·兹韦格斯(Sander Zwegers)在他的博士论文中证明:每个模 θ 函数都是某个调和弱 Maass 形式(harmonic weak Maass form)的「全纯部分」——一旦补上一个非全纯的修正项,就获得完整的模性质。这一发现引爆了 21 世纪初的研究热潮,连接了数论、组合与理论物理:模 θ 函数出现在黑洞熵(Dabholkar–Murthy–Zagier)、怪兽月光(monstrous moonshine)的推广umbral moonshine(2012 年由 Cheng–Duncan–Harvey 提出)中。2012 年研究者还在拉马努金的笔记「简单性质」批注中发现了一个世纪来未被察觉的深刻数论结果。
5. π 的快速收敛级数(拉马努金—佐藤系列)——数值计算
精确表述:拉马努金给出了一系列收敛速度惊人的 π 级数,最著名的是 $$\frac{1}{\pi}=\frac{2\sqrt{2}}{9801}\sum_{k=0}^\infty\frac{(4k)!(1103+26390k)}{(k!)^4\,396^{4k}}.$$ 这个级数每增加一项就多给出约 8 位有效数字——远快于经典级数。
历史意义:基于拉马努金的工作,乔德诺夫斯基兄弟(Chudnovsky brothers,1989) 推导出更快的变体(Chudnovsky algorithm),至今仍是计算机计算 π 到万亿位的标准算法。拉马努金在 1914 年的论文《模方程与 π 的近似》中给出了 17 个这类级数,展示了他对模形式常数的惊人直觉。
6. 拉马努金素数——素数分布
精确表述:拉马努金研究伯特兰假设(对任意 n>1,n 与 2n 之间必有素数)的推广。拉马努金素数 $R_n$ 定义为满足「对所有 $x\ge R_n$,区间 $(x/2, x]$ 内至少有 n 个素数」的最小整数。前几个:$R_1=2, R_2=11, R_3=17, R_4=29,\ldots$。拉马努金证明当 $x$ 足够大时,$(x/2,x]$ 中素数个数 $\pi(x)-\pi(x/2)$ 趋于无穷,从而定义了一列增长的素数。
与前人关系:伯特兰假设(切比雪夫 1850 证明)是 n=1 的情形;拉马努金把它推广为「区间内素数个数的渐近下界」。这些素数至今仍是数论研究对象。
7. 拉马努金 θ 函数与拉马努金恒等式——椭圆函数 / 模形式
拉马努金系统研究了拉马努金 θ 函数,建立了大量模方程(联系不同阶模形式的代数恒等式)。一个著名例子是拉马努金连分数(罗杰斯—拉马努金连分数): $$R(q)=\cfrac{q^{1/5}}{1+\cfrac{q}{1+\cfrac{q^2}{1+\cfrac{q^3}{1+\cdots}}}}=\frac{q^{1/5}}{(q;q^5)\infty(q^4;q^5)\infty}\cdot(q^2;q^5)\infty(q^3;q^5)\infty.$$ 他给出了 $R(e^{-2\pi})$、$R(e^{-4\pi})$ 等的精确值,涉及黄金分割比。这些连分数是模形式的精彩展现。
8. 发散级数求和与拉马努金主定理
- 发散级数:拉马努金独立发展了发散级数的求和法,得到诸如 $1+2+3+4+\cdots=-\frac{1}{12}$(在 ζ 函数正则化意义下,即 $\zeta(-1)=-1/12$)等结果。这些在现代量子场论(真空能、卡西米尔效应)中具有物理意义。
- 拉马努金主定理(Ramanujan's Master Theorem):若函数 $f(x)$ 有展开 $f(x)=\sum_{n=0}^\infty \frac{(-1)^n}{n!}\lambda(n)x^n$,则 $$\int_0^\infty x^{s-1}f(x)\,dx=\Gamma(s)\lambda(-s).$$ 这是一个非常一般的积分计算工具,在现代数学物理中广泛应用。
- 嵌套根式:他给出 $\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{\cdots}}}}=3$(发表于《印度数学会杂志》的题目),体现了他处理无穷表达式的独特技巧。
9. 高度合成数(1916 论文)——数论
问题背景:高度合成数(highly composite number)是指因子个数严格多于所有较小正整数的数(如 1, 2, 4, 6, 12, 24, 36, 48, 60, 120…)。
精确表述:拉马努金在这篇 1916 年的博士论文中系统研究了高度合成数的素因子分解结构,证明若 $N=\prod p_i^{a_i}$ 是高度合成数,则素因子必为前 k 个素数且指数非增 $a_1\ge a_2\ge\cdots$,并给出了相邻高度合成数之比的渐近分析。他还定义了「卓越数」与「全合成数」。这篇论文展示了他对整数结构的深刻洞察,其手稿完整版(含被删节部分)直到 1980 年代才由 Nicolas 重新发现并发表。
四、代表著作与文献
- 《拉马努金的笔记本》(Notebooks of Srinivasa Ramanujan):生前留下的两本(后扩展为多卷)手写笔记本,记录约 3900 条恒等式,大多无证明。由哈代整理,后由 布鲁斯·伯恩特(Bruce Berndt) 用五卷本逐一讲解证明(Ramanujan's Notebooks, Parts I–V,Springer, 1985–1998)。
- 《丢失的笔记本》(Ramanujan's Lost Notebook):1920 年最后一年的工作记录,1976 年由乔治·安德鲁斯(George Andrews)在剑桥三一学院图书馆的箱子中重新发现,含模 θ 函数等晚期成果。由安德鲁斯与伯恩特编辑出版(多部,Springer)。
- 论文集《Srinivasa Ramanujan: Collected Papers》(哈代、塞舒·艾耶尔、威尔逊编,1927;多次重印,AMS Chelsea)。
- 1911 年论文《关于伯努利数的一些性质》,Journal of the Indian Mathematical Society。
- 1914 年论文《模方程与 π 的近似》(Modular Equations and Approximations to π),Quarterly Journal of Mathematics 45: 350–372。
- 与哈代 1918 年《组合分析中的渐近公式》(Asymptotic Formulae in Combinatory Analysis),Proceedings of the London Mathematical Society (2) 17: 75–115。
- 1919 年《分拆数的某些性质》(Some Properties of p(n),同余式),Proceedings of the Cambridge Philosophical Society 19。
五、师承、学派与同时代交往
- 师承:拉马努金没有严格意义上的老师。他的「导师」是卡尔的《提要》(自学范本)。在剑桥的研究导师名义上是 G·H·哈代(与 J·E·李特尔伍德),但与其说哈代教他,不如说哈代帮他把直觉严格化。
- 发现者与合作者:
- G·H·哈代:1913 年的回信改变了他的命运;哈代称他为「我生命中唯一的浪漫事件」,并把他带到剑桥,合作 5 年。
- J·E·李特尔伍德:与哈代共同鉴定其天才,尝试教他严格数学。
- E·H·内维尔:帮助克服宗教障碍、安排赴英。
- P·A·麦克马洪(P. A. MacMahon):组合数学权威,用手算验证了拉马努金的 p(n) 公式(算到 p(200)),是提名他为 FRS 的人之一。
- 早期印度支持者:V·拉马斯瓦米·艾耶尔、R·拉马钱德拉·拉奥(资助)、E·W·米德尔马斯特(推荐信)、S·N·艾亚尔(港务局总会计师,发表其工作)。
- 学派归属:拉马努金属印度数学传统的自学天才,无法简单归入任何西方学派。他的工作在哈代—李特尔伍德的剑桥分析学派中被「翻译」和严格化,但其直觉来源(印度数学的计算与构造传统、个人的宗教神秘体验)是独特的。哈代曾试图给他「打分」:自评 25,李特尔伍德 30,希尔伯特 80,拉马努金 100(此评价出自哈代的文字与传记,广为流传)。
六、争议、公案与历史评价
- 「这些定理是真的吗?」:拉马努金初到英国时,许多人怀疑他的结果。哈代与李特尔伍德逐一验证:约三分之二已被欧洲数学家发现或可从已知推出,三分之一是真正新的——但绝大多数正确。他在素数分布上的少数论断(如 π(x)<Li(x) 恒成立)被李特尔伍德 1914 年证明是错的。总体而言,他的 ~3900 条结果中绝大多数已被证明正确。
- 是否该教他严格证明?:哈代曾纠结于是否该让拉马努金系统学习现代数学(他对复变函数、极限的 ε-δ 语言几乎一无所知)。哈代最终选择「一边合作一边补基础」,但担心严格化训练会不会扼杀他的直觉。后来的研究表明,拉马努金其实有他自己的一套严格性标准(基于模形式的变换不变性),只是与欧陆主流不同。
- 死因之争:当时诊断为肺结核,1994 年 Young 提出肝阿米巴病说,目前被广泛接受,但仍有学者认为肺结核可能性不能完全排除(标存疑)。
- 丢失笔记本的发现:1976 年乔治·安德鲁斯在三一学院图书馆瓦特森(G. N. Watson)的旧纸堆中发现拉马努金 1920 年的笔记本,含模 θ 函数的全部工作——这一发现被安德鲁斯称为「可以与发现贝多芬第十交响曲相提并论」。模 θ 函数的深刻性直到 2002 年兹韦格斯才完全理解。
- 「神的启示」传说:拉马努金常说他的公式来自家族女神娜玛吉里(Namagiri) 的启示。这一说法被传记广泛传播。学界共识是:这应理解为他对自身潜意识直觉的一种文化表达,而非字面意义上的超自然来源;他在数学上的工作方式是高度计算性的——他手算了大量特例后归纳出公式。
- 历史评价:拉马努金被公认为与欧拉、雅可比同列的史上最伟大的公式大师与直觉型数学家之一。哈代在《一个数学家的辩白》中写道,拉马努金的发现「击败了我完全;我从未见过任何与之最微相似的东西」。他的工作横跨数论、分析、组合、模形式,其未被完全理解的部分(模 θ 函数)在 21 世纪成为连接纯数学与理论物理的桥梁。
七、身后影响与学术谱系
- 数论与模形式:分拆同余式 → 阿特金、小野健 → 模形式与伽罗瓦表示 → 与费马大定理(怀尔斯 1995)同脉。
- 圆法:哈代—拉马努金分拆工作 → 哈代—李特尔伍德圆法 → 现代解析数论。
- 模 θ 函数:兹韦格斯(2002)→ 调和 Maass 形式 → 怪兽月光推广(umbral moonshine)、黑洞熵(量子引力)。
- π 的计算:拉马努金级数 → 乔德诺夫斯基算法 → 现代超高精度 π 计算。
- 组合 / q 级数:罗杰斯—拉马努金恒等式 → 统计力学硬六边形模型(Baxter)、顶点算子代数。
- 学术遗产:《拉马努金期刊》(The Ramanujan Journal) 专载受其影响的数学;SASTRA 拉马努金奖(每年颁发给 32 岁以下的数学家,以纪念他去世的年龄);他的生日 12 月 22 日是印度国家数学日。
- 文化影响:电影《知无涯者》(The Man Who Knew Infinity,2015,戴夫·帕特尔饰)、《拉马努金》(2014);罗伯特·卡尼格尔传记《知无涯者》(1991)是权威通俗传记。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Srinivasa Ramanujan:圣安德鲁斯大学权威传记,本档案生平与年表的核心出处。
- Wikipedia: Srinivasa Ramanujan:生平、成就与「已知成果」总览(交叉核对)。
- MacTutor:G. H. Hardy 传记:合作背景与哈代的评价。
- MacTutor:J. E. Littlewood 传记:三人合作关系。
- Wikipedia: Ramanujan's lost notebook:1976 年的重新发现与内容。
- Wikipedia: Mock theta function:模 θ 函数的现代理解(兹韦格斯 2002)。
- Wikipedia: Rogers–Ramanujan identities:恒等式的陈述、历史与独立重发现。
- Wikipedia: Partition function (number theory):p(n) 渐近公式与同余式。
- Wikipedia: Ramanujan–Sato series:π 的快速收敛级数。
- Wikipedia: Ramanujan prime:拉马努金素数的定义与性质。
- 数学谱系项目:Srinivasa Ramanujan:导师(哈代、李特尔伍德)与谱系。
- Robert Kanigel, The Man Who Knew Infinity: A Life of the Genius Ramanujan(Scribner, 1991):权威通俗传记。
- G. H. Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work(1940;AMS Chelsea 重印):哈代亲撰的拉马努金研究。
- Bruce C. Berndt, Ramanujan's Notebooks(5 卷,Springer, 1985–1998):笔记本的逐条证明与讲解。