数学专栏探讨发散级数与朗兰兹纲领揭示的数学语言边界

当发散级数、虚数和朗兰兹纲领对我们数学语言的局限有所提示时。

我第一次遇到这个等式时，几乎觉得它冒犯人。把正整数一直加下去，怎么会得到一个负分数？一位朋友兼前学术导师给我发了一个关于它的 Numberphile 视频，并评论说推导似乎有漏洞。我理解这种反对。如果我们是在用普通算术处理一个普通的无穷和，那肯定是哪里出了问题。但我对另一个问题产生了兴趣：为什么这个据称错误的答案会不断出现在数学和理论物理中？

普通和是发散的。它的部分和无限增长。然而 (-1/12) 属于一个连贯的数学故事，并应用于量子场。我感兴趣的是，一个看起来错误的表达式如何引导我们走向有助于描述自然的结构。

一个更简单的不适来自 (0.999\ldots = 1)。任何有限的 9 串都达不到 1，所以人们很容易想象还剩下一个无限小的间隙。但无限小数表示的是那些有限近似值的极限。在实数中，那个极限恰好是一：(0.999\ldots - 1 = 0)。两种描述鼓励我们想象两个数，而实际上只有一个。这不需要新的算术。它表明语言本身多么容易误导我们的直觉。发散和把我们带到更奇怪的地方：它的普通解释确实失败了，而理解这个有限值需要另一个框架。

考虑黎曼 zeta 函数。在其定义级数收敛的区域内，我们可以写出 如果我们天真地代入 (s = -1)，就得到那个麻烦的和。但这个代入超出了级数的收敛域。

美妙之处在于：该函数有唯一的亚纯延拓。用通俗的话说，它作为解析函数延拓到整个复平面，除了在 (s = 1) 处有一个极点。一旦我们要求与原函数一致并满足这种解析结构，延拓就是被迫的。没有人能在 (-1) 处选择一个令人愉快的值。它就是 (\zeta(-1) = -1/12)。

还有第二种方式可以看出为什么这个数字值得注意。与其在 (N) 处突然停止求和，不如用一个平滑截断 (\eta) 逐渐淡出大项，并归一化使得 (\eta(0) = 1)。在适当的平滑性和衰减条件下，结果具有形式 增长项依赖于截断。常数 (-1/12) 在这一类截断中保持不变。Terence Tao 通过 Euler–Maclaurin 公式解释了这一点：实变量计算恢复了通过复分析得到的值。两种方法之间的一致性给了我们认真对待这个延拓的理由，超越了其定义的优雅。

一个具体的物理例子是一个无质量标量场被限制在长度为 (L) 的一维区间内，场在其两端固定为零。它的驻波频率是 (\pi c/L) 的整数倍。将它们的量子零点能相加会产生一个与 (1 + 2 + 3 + \cdots) 成正比的发散表达式。在一致地减去无界空间的贡献后，有限的 Casimir 能量是 (-\pi\hbar c/(24L))，恰好涉及因子 (-1/12)。这是一个理想化的量子场模型；电磁 Casimir 问题有额外的几何和模式。Zeta 正则化提供了通向有限答案的一条途径，而不是必需的方法。令人惊讶的是，为理解一个看似荒谬的表达式而发展起来的数学，也参与了一个物理计算。

有一个我觉得无法抗拒的历史类比：虚数。

在十六世纪，Cardano 的三次方程公式让数学家面对负数的平方根，即使答案是实数。考虑 (x^3 = 15x + 4)。数字 4 显然成立，但公式产生 (\sqrt[3]{2 + 11i} + \sqrt[3]{2 - 11i})。Bombelli 认识到 ((2 + i)^3 = 2 + 11i) 和 ((2 - i)^3 = 2 - 11i)。选择那些立方根，这个神秘的表达式变成 ((2 + i) + (2 - i) = 4)。这些看似不可能的中间量把我们带回到了一个实数答案。

复数这些计算有了一个一致的家。几个世纪后，它们成为波、电路和量子力学数学的核心。一个由代数动机驱动的延拓被证明非常适合描述物理世界。这种后来的有用性是我觉得最难摆脱的部分。

扩展数和延拓函数是不同的操作。它们共同的哲学兴趣在于，当我们对不可能性的感觉发生变化时会发生什么。一个熟悉的限制可能看起来像是可理解性的边界，直到一个更丰富的框架使以前奇怪的对象变得可用——并揭示出我们以前几乎无法表述的关系。

Euler 和 Ramanujan 在这个故事中出现有一个非常具体的原因：两人都遇到了这个值。在 1749 年提出并于 1768 年发表的工作中，Euler 研究了正幂级数与倒数幂级数之间的关系，预见了 zeta 函数方程。(1 + 2 + 3 + \cdots) 与 (-1/12) 的关联早于 Riemann 成熟的复分析处理。

在 1913 年 2 月 27 日给 Hardy 的第二封信中，Ramanujan 明确地将同一个级数与 (-1/12) 联系起来，并加上了关键的话“在我的理论下”。他知道在那个语境之外这听起来会有多离谱。让我着迷的是大胆与具体的结合：他断言了一种数学关系，具有特定的意义，而符号的普通解读掩盖了这一点。

（原文较长，此处译出前 6000 字，完整内容请点「打开原文」。）