跳转到内容
← 返回数学家
现代数论约 16 分钟阅读

拉马努金

Srinivasa Ramanujan

印度 · 1887–1920
分区函数拉马努金恒等式模形式连分数

生平

斯里尼瓦瑟·拉马努金（Srinivasa Ramanujan，1887—1920）是印度数学家，自学成才的天才，留下了近4000个数学公式，许多在他去世后才被证明。他出生于印度南部泰米尔纳德邦的埃罗德，是一个婆罗门家庭的长子。拉马努金的家庭并不富裕。他的父亲是一家布店的店员，母亲是寺庙歌手。拉马努金在当地的英语学校接受教育，10岁时在数学考试中取得全区最高分。12岁时，他自学了三角学，并独立推导出了一些公式。

1903年前后，少年拉马努金得到了一本卡尔（G.S. Carr）的《纯粹与应用数学初等结果概要》（A Synopsis of Elementary Results in Pure and Applied Mathematics）。这本书列出了大约5000个数学定理与公式，但大多没有给出证明。拉马努金以这本书为起点，开始独立进行数学研究。卡尔式的"只给结果、略去证明"，深刻塑形了他后来的写作习惯：笔记本里常常是一行公式、一个条件、几乎没有中间步骤。这对后世整理者是灾难，对他本人却是高速探索的脚手架。

1909年，拉马努金与年仅9岁的贾纳基（Janaki）结婚。为了养家，他在马德拉斯港务信托局担任月薪30卢比的文员。在此期间，他继续独立研究数学，并将结果记录在笔记本中。同事后来回忆，账簿边上常出现级数与连分数的草稿——公务时间被他挤出一条平行的数学生活。马德拉斯数学圈里少数支持者帮他整理过手稿、写过推荐信，但本地大学体系仍无法把他的笔记本翻译成可被欧洲期刊直接接受的证明文体；跨境投递，几乎是当时唯一的出口。

1913年1月16日，拉马努金写了一封信给剑桥大学的哈迪（G.H. Hardy），附上了他发现的120个公式。哈迪起初以为是恶作剧，但在仔细研究后意识到这些公式蕴含着深刻的数学真理。通信随后促成邀请：1914年，拉马努金来到剑桥大学，与哈迪合作进行了五年的研究。这五年产出了大量高质量的论文，但拉马努金的健康状况急剧恶化——英国的气候、战时配给与严格的素食约束叠在一起，身体迅速垮掉。

1919年，拉马努金回到印度。1920年4月26日，他在马德拉斯去世，年仅32岁。他的死因可能是肝阿米巴感染或维生素缺乏。临终前数月，他仍在病床上写下后来被称为"遗失笔记本"的一批公式，其中包括嘲θ函数（mock theta functions）的早期记录。

拉马努金的遗产是他的注记笔记本——三本记录了约3900个公式的笔记本。这些公式中许多没有证明，直到今天仍有数学家在研究和证明它们。

核心贡献

分区函数

拉马努金对分区函数 $p(n)$ 进行了深入研究。$p(n)$ 表示将正整数 $n$ 写成正整数之和的方法数。例如：$p(4) = 5$，因为 $4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1$。拉马努金和哈迪发现了 $p(n)$ 的渐近公式：

p(n)∼14n3eπ2n/3p(n) \sim \frac{1}{4n\sqrt{3}} e^{\pi\sqrt{2n/3}}

这个公式惊人地精确——对于 $n=100$，它给出的近似值与精确值 $p(100) = 190569292$ 的相对误差不到0.01%。其背后的解析引擎，是后来被称为圆法（circle method）的复分析技术：把生成函数在单位圆附近的奇点贡献逐一拆开，再叠加成渐近主项。拉马努金还发现了 $p(n)$ 的同余性质：

p(5n+4)≡0(mod5)p(5n+4) \equiv 0 \pmod{5} p(7n+5)≡0(mod7)p(7n+5) \equiv 0 \pmod{7} p(11n+6)≡0(mod11)p(11n+6) \equiv 0 \pmod{11}

这些同余关系的深层原因至今仍在研究中，与模形式和月光猜想有深刻联系。它们说明：看起来只是"数数"的组合对象，可以携带刚性的算术周期结构。

拉马努金恒等式

拉马努金发现了大量令人震惊的恒等式。最著名的包括：

拉马努金求和：

1+2+3+4+⋯=−1121 + 2 + 3 + 4 + \cdots = -\frac{1}{12}

这个看似荒谬的结果在弦理论和量子场论中有严格的物理意义（通过 ζ\zeta 函数正则化：ζ(−1)=−1/12\zeta(-1) = -1/12）。

拉马努金级数（用于计算 1/π1/\pi）：

1π=229801∑n=0∞(4n)!(1103+26390n)(n!)43964n\frac{1}{\pi} = \frac{2\sqrt{2}}{9801} \sum_{n=0}^{\infty} \frac{(4n)!(1103+26390n)}{(n!)^4 396^{4n}}

这个级数每增加一项，大约增加8位十进制精度。它是目前计算 π\pi 最有效的公式之一，并启发了后来 Chudnovsky 兄弟等更高速的 π\pi 级数家族。

罗杰斯-拉马努金恒等式：

∑n=0∞qn2(1−q)(1−q2)⋯(1−qn)=∏n=0∞1(1−q5n+1)(1−q5n+4)\sum_{n=0}^{\infty} \frac{q^{n^2}}{(1-q)(1-q^2)\cdots(1-q^n)} = \prod_{n=0}^{\infty} \frac{1}{(1-q^{5n+1})(1-q^{5n+4})}

这对恒等式把 $q$-级数的加法侧与乘法侧焊在一起，后来在统计力学的硬六边形模型与仿射李代数表示论中再次露面——纯组合等式成了物理与表示论的通行货币。

连分数

拉马努金对连分数有深刻的研究。他发现了许多惊人的连分数展开，如：

11+e−2π1+e−4π1+e−6π1+⋯=(5+52−5+12)e2π/5\frac{1}{1+\frac{e^{-2\pi}}{1+\frac{e^{-4\pi}}{1+\frac{e^{-6\pi}}{1+\cdots}}}} = \left(\sqrt{\frac{5+\sqrt{5}}{2}} - \frac{\sqrt{5}+1}{2}\right) e^{2\pi/5}

拉马努金的广义连分数：

4π=1+122+322+522+⋯\frac{4}{\pi} = 1 + \frac{1^2}{2+\frac{3^2}{2+\frac{5^2}{2+\cdots}}}

这些展开不只是"好看"：它们把指数衰减、代数无理数与圆周率编织进同一条连分式链，为丢番图逼近提供了极高效率的具体样本。

模形式与 $q$-级数

拉马努金研究了模形式——一类具有特殊对称性的复函数。他定义了拉马努金 τ\tau 函数：

q∏n=1∞(1−qn)24=∑n=1∞τ(n)qnq\prod_{n=1}^{\infty}(1-q^n)^{24} = \sum_{n=1}^{\infty}\tau(n)q^n

τ\tau 函数具有惊人的性质： - 乘性：τ(mn)=τ(m)τ(n)\tau(mn) = \tau(m)\tau(n)（当 $m, n$ 互素） - 拉马努金猜想：∣τ(p)∣≤2p11/2|\tau(p)| \leq 2p^{11/2}（1974年由德利涅证明，用到了代数几何的深刻结果）

嘲θ函数则是他临终工作的另一条暗线：它们"像"模形式，却缺少完整的模变换律。直到 2002 年前后 Zwegers 引入调和马氏形式框架，这批对象才被放进现代模形式理论的正确抽屉里。

数学直觉

拉马努金的数学风格独特——他的许多结果来自直觉而非严格证明。他常把正确公式、几乎正确的公式与偶尔的失误写在同一页上，却极少停留在"为什么这一步合法"。拉马努金的直觉可能与他的宗教信仰有关。他声称他的公式来自女神纳马吉里的启示，并坚持：一个方程如果没有更深的意义，对他来说就缺少存在的理由。

现代数学家通过计算机验证了拉马努金笔记本中的绝大多数公式，发现几乎全部正确。这表明拉马努金的数学直觉达到了惊人的深度。更关键的教训或许是：直觉可以高速生成候选结构，但候选要进入公共数学，仍需被翻译成可检验的命题与证明。他与剑桥传统的张力，正是这两种认识论的正面碰撞。

历史背景

拉马努金生活在英国殖民时期的印度。这一时期印度的高等教育体系尚不完善，拉马努金无法获得系统的数学训练。他的自学经历既是限制也是优势——他没有被传统的数学方法所束缚，能够自由地探索新的方向。马德拉斯的殖民教育强调考试与文凭，却很少提供能承接他那种探索强度的研究导师制；结果是：能力信号无法通过常规渠道传递，只能靠跨境私人通信被中心数学家亲自核验。

在数学方面，20世纪初是分析学严格化和代数化的时代。拉马努金的工作处于数论、分析学和代数学的交叉点——他的分区函数研究与模形式理论密切相关，他的连分数研究与丢番图逼近有关。剑桥当时正把分析学推向更高的严格标准，而他带来的是一大箱尚未被形式语言驯服的等式。双方的合作，因此不只是人事遇合，也是两种数学文化的临时对接。

思想遗产

拉马努金的影响深远而持久：

  1. 分区函数：他的渐近公式和同余关系推动了模形式理论的发展
  2. 拉马努金恒等式：在数论、组合数学和物理学中有广泛应用
  3. 模形式：拉马努金 τ\tau 函数是模形式理论的核心对象
  4. 连分数：为丢番图逼近和数论提供了新工具
  5. 数学文化：拉马努金的故事激励了无数发展中国家的数学家
  6. 嘲θ与模拟形式：临终笔记在沉寂半个多世纪后，打开了 21 世纪模形式的新分支

遗产清单里最容易被低估的一项，是"未完成手稿作为长期研究纲领"。他留下的不是封闭定理集，而是可持续开采的问题矿脉。

与其他数学家的关系

  • 哈迪：拉马努金最重要的合作者，两人合作推进了分区函数和模形式理论
  • 利特尔伍德：哈迪的另一位合作者，参与了拉马努金-哈迪渐近公式的证明
  • 欧拉：拉马努金的许多公式可以追溯到欧拉的工作
  • 雅可比：拉马努金对 $q$-级数的研究继承了雅可比的传统
  • 德利涅：证明了拉马努金关于 τ\tau 函数的猜想
  • 安德鲁斯与伯恩特：系统整理笔记本与遗失手稿，把私人速记变成可引用文献

拉马努金与现代数学

拉马努金的工作在 21 世纪的数学中仍然活跃。他的公式不断被发现具有新的意义：

月光猜想（Monstrous Moonshine）：1979 年，McKay 注意到 $j$-函数（模函数）的傅里叶系数 $196884 = 196883 + 1$ 与魔群（Monster Group）的维数有关。这一"月光"现象最终由 Borcherds（1992）用顶点算子代数证明——他因此获得菲尔兹奖。拉马努金的模形式工作是月光猜想的数学背景。

黑洞熵：拉马努金的模形式和分区函数在弦理论中有直接的物理应用。Strominger 和 Vafa（1996）用模形式计算了某些极端黑洞的微观态数——结果与贝肯斯坦-霍金熵精确匹配。拉马努金的纯数学工作意外地成为量子引力的工具。

计算机代数：拉马努金的许多公式最初通过直觉发现，后来用计算机代数系统（如 Mathematica）验证。这展示了人类直觉与机器计算的互补——拉马努金提供了方向，计算机提供了验证。

模拟形式：嘲θ函数被纳入调和马氏形式与模拟模形式理论后，又在量子黑洞精确计数、椭圆曲面与数论拓扑中反复出现。一条写在病床上的线索，成了跨领域的标准语言。公式的第二次生命，往往始于被放进正确的理论抽屉，而不是始于被更多人传颂。

拉马努金的笔记本

拉马努金留下了三本笔记本和大量散页，其中包含约 3900 个公式。这些笔记本的整理和证明工作持续至今：

第一本和第二本笔记本：拉马努金在印度期间完成，包含了他最著名的结果。Berndt 从 1985 年开始逐页整理和证明，出版了五卷本《拉马努金笔记本》。

"遗失的笔记本"：1976 年在剑桥大学三一学院图书馆发现了一份 138 页的手稿——拉马努金在医院期间写就的最后一批公式。Andrews 辨认出其中的嘲θ函数条目后，与 Berndt 整理出版了《拉马努金遗失的笔记本》系列。

整理工作本身改变了数学史的写法：它证明"没有证明的结果"也可以构成严肃的研究遗产，只要后代愿意付出几十年去补全推理链条。这些笔记本中仍有公式等待完整理解——它们是数学中的"暗物质"，蕴含着尚未被语言化的结构。对后来者而言，价值不只在补完某一式，更在学习如何把跳跃的直觉改写成可共享的定义、引理与误差估计。

拉马努金与哈迪的合作

拉马努金与哈迪的合作是数学史上最富成果的合作之一。两人的风格截然不同：

哈迪：严格、系统、注重证明。他是分析学大师，擅长用严谨的方法解决困难问题。

拉马努金：直觉、跳跃、注重结果。他常常给出正确但无证明的公式，依赖数学直觉而非逐步推导。

合作的实质，是把高速生成的候选等式，逐一嵌入可发表的分析框架：渐近主项要有误差控制，同余要用模形式或初等方法坐实，连分数要用收敛理论看守。两人共同产出了关于分区函数、模形式和连分数的重要论文。哈迪提供严格性的骨架，拉马努金提供问题与等式的矿脉；缺一不可，也不可互相替代。合作还留下一个制度教训：当中心学府愿意把非正式来稿当真核验，边缘处的原创才有机会进入公共文献；核验一旦外包给文凭过滤，同类信号就会继续沉默。

跨域连接

  • 黑洞：某类黑洞的熵等于一个计数问题的对数，而该计数的生成函数带有很强的变换对称性，把"强引力下的宏观量"与"可逐个数的微观态"接到了一起。推论：两侧独立算出的增长必须逐阶吻合，任何一阶对不上都会推翻这条对应——这是可核对的检验，不是口号式类比。
  • 动态规划：拆分计数满足由生成函数导出的递推，因此可以逐项累加精确求出，无需枚举所有拆分方式。推论：指数级枚举被换成一张多项式规模的表；而已知的整除性质可以直接当成实现的自检——结果不满足同余就说明代码错了，这是纯数学恒等式被当成工程断言的实例。
  • 教育与文凭：学术体系用文凭当能力信号，无文凭者即使有成果也进不了评审网络，只能靠私人通信被中心成员亲自核验。推论：信号机制的代价是漏检，而被漏掉的人不会出现在任何统计里，所以体系很难自己发现这类错误。
  • 柏拉图主义：一批没有证明却几乎全部正确的公式，把"发现还是发明"逼成了可操作的问题。推论：判据是这些式子能否在作者未曾预见的场景中给出正确预测——能，就说明它们指向的结构不依赖提出者的意图；不能，则它们只是巧合的记录。
  • 组合数学：把计数序列打包成一个生成函数后，序列的递推、渐近与同余都变成这个函数的解析性质。推论：难的往往不是算出前若干项，而是找到那个把全部项一次装下的函数——一旦找到，结构自己就显形了。

参考文献

  1. Srinivasa Ramanujan, Collected Papers (1927)
  2. G.H. Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work (1940)
  3. Robert Kanigel, The Man Who Knew Infinity (1991)
  4. Bruce Berndt, Ramanujan's Notebooks (5卷, 1985—1998)

延伸阅读

  1. 梁宗巨, 《数学历史典故》, 辽宁教育出版社, 1992

「一个方程如果没有上帝的旨意，对我来说毫无意义。」——拉马努金