← 返回 斯里尼瓦萨·拉马努金 简介档案 深度档案
数论分析

斯里尼瓦萨·拉马努金(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. 发散级数求和与拉马努金主定理

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 重新发现并发表。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源