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

拉马努金

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岁。他的死因可能是肝阿米巴感染或维生素缺乏。

拉马努金的遗产是他的注记笔记本——三本记录了约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%。拉马努金还发现了 $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 最有效的公式之一。

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

∑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})}

连分数

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

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年由德利涅证明，用到了代数几何的深刻结果）

数学直觉

拉马努金的数学风格独特——他的许多结果来自直觉而非严格证明。哈迪曾说："拉马努金的贡献中，有些是正确的，有些是错误的，但没有一个是平凡的。"拉马努金的直觉可能与他的宗教信仰有关。他声称他的公式来自女神纳马吉里的启示。他在一封信中写道："一个方程如果没有上帝的旨意，对我来说毫无意义。"

现代数学家通过计算机验证了拉马努金笔记本中的绝大多数公式，发现几乎全部正确。这表明拉马努金的数学直觉达到了惊人的深度。

历史背景

拉马努金生活在英国殖民时期的印度。这一时期印度的高等教育体系尚不完善，拉马努金无法获得系统的数学训练。他的自学经历既是限制也是优势——他没有被传统的数学方法所束缚，能够自由地探索新的方向。在数学方面，20世纪初是分析学严格化和代数化的时代。拉马努金的工作处于数论、分析学和代数学的交叉点——他的分区函数研究与模形式理论密切相关，他的连分数研究与丢番图逼近有关。

思想遗产

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

  1. 分区函数：他的渐近公式和同余关系推动了模形式理论的发展
  2. 拉马努金恒等式：在数论、组合数学和物理学中有广泛应用
  3. 模形式：拉马努金 τ\tau 函数是模形式理论的核心对象
  4. 连分数：为丢番图逼近和数论提供了新工具
  5. 数学文化：拉马努金的故事激励了无数发展中国家的数学家

与其他数学家的关系

  • 哈迪：拉马努金最重要的合作者，两人合作推进了分区函数和模形式理论
  • 利特尔伍德：哈迪的另一位合作者，参与了拉马努金-哈迪渐近公式的证明
  • 欧拉：拉马努金的许多公式可以追溯到欧拉的工作
  • 雅可比：拉马努金对 $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

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