1. 引言:无限相加的不可思议
在我们的日常直觉中,如果不断将正数相加,其和会无限制地变大。也就是说,如果无限继续进行“ \(1 + 2 + 3 + 4 + \dots\) ”的计算,认为结果是 无穷大( \(\infty\) ) 是很自然的。这在数学上被称为“发散”。
然而,在理论物理学和复分析等高级数学的世界中,有时会给这种无限的加法赋予一个非常奇怪的值。那就是以下公式:
\[ 1 + 2 + 3 + 4 + \dots = -\frac{1}{12} \]明明是在将正整数无限相加,不知为何却变成了一个 负分数 。这个违反直觉的结果,因印度天才数学家斯里尼瓦瑟·拉马努金(Srinivasa Ramanujan)在给英国数学家G.H.哈代(G.H. Hardy)的信中提及而闻名。
在本文中,我们将解说这种被称为“拉马努金求和(Ramanujan Summation)”的方法,探讨这个奇妙的值是如何推导出来的,以及它是如何与现实世界中的物理现象联系在一起的。
2. 发散级数与“和”的重新定义
格兰迪级数(Grandi’s series)
作为理解拉马努金求和的第一步,让我们来看另一个稍微简单的无穷级数。那就是“ \(1 - 1 + 1 - 1 + \dots\) ”这个级数。它以其发现者的名字命名,被称为 格兰迪级数 。
\[ S_1 = 1 - 1 + 1 - 1 + 1 - 1 + \dots \]这个级数的和会是多少呢?如果改变相加的顺序并加上括号,会得到不同的结果。
- 若为 (1 - 1) + (1 - 1) + … 则 \(0 + 0 + \dots = 0\)
- 若为 1 - (1 - 1) - (1 - 1) - … 则 \(1 - 0 - 0 - \dots = 1\)
像这样,根据计算方法的不同,结果有时会是 \(0\) ,有时会是 \(1\) 。在通常的数学定义中,这样的级数被认为是“发散”的,不会确定为一个单一的值。但是,如果使用代数技巧,就可以推导出一个有趣的值。
让我们从整体中减去 \(S_1\) 试试看。
\[ 1 - S_1 = 1 - (1 - 1 + 1 - 1 + \dots) \]\[ 1 - S_1 = 1 - 1 + 1 - 1 + \dots = S_1 \]因此,得到 \(1 - S_1 = S_1\) ,解这个方程可得 \(S_1 = \frac{1}{2}\) 。 由于状态在 \(0\) 和 \(1\) 之间来回变化,因此赋予其平均值 \(\frac{1}{2}\) ,在某种意义上也许能在直觉上令人信服。
另一个级数:交错级数
接下来,我们考虑以下级数 \(S_2\) 。
\[ S_2 = 1 - 2 + 3 - 4 + 5 - \dots \]我们考虑将两个这样的级数相加的操作。稍微错开一位相加是关键。
\[ \begin{array}{rcrrrrrl} S_2 & = & 1 & -2 & +3 & -4 & +5 & -\dots \\ {}+S_2 & = & & +1 & -2 & +3 & -4 & +\dots \\ \hline 2S_2 & = & 1 & -1 & +1 & -1 & +1 & -\dots \end{array} \]正如你所注意到的,右边变成了刚才的格兰迪级数 \(S_1\) 。因此,
\[ 2S_2 = S_1 = \frac{1}{2} \]解这个方程,得到 \(S_2 = \frac{1}{4}\) 。
终于进入拉马努金求和
准备工作已经完成。我们来考虑正题,即所有自然数之和 \(S\) 。
\[ S = 1 + 2 + 3 + 4 + 5 + 6 + \dots \]试着从中减去刚才的 \(S_2\) 。
\[ S - S_2 = (1 + 2 + 3 + 4 + 5 + 6 + \dots) - (1 - 2 + 3 - 4 + 5 - 6 + \dots) \]逐项进行减法运算,奇数项会被抵消,偶数项会翻倍。
\[ S - S_2 = 0 + 4 + 0 + 8 + 0 + 12 + \dots = 4 + 8 + 12 + \dots \]右边可以提取出 \(4\) 。
\[ S - S_2 = 4(1 + 2 + 3 + \dots) = 4S \]因此,我们得到方程 \(S - S_2 = 4S\) 。将其变形,
\[ -3S = S_2 \]由于如前所述 \(S_2 = \frac{1}{4}\) ,我们将其代入。
\[ -3S = \frac{1}{4} \]\[ S = -\frac{1}{12} \]就这样,推导出了 \(1 + 2 + 3 + 4 + \dots = -\frac{1}{12}\) 这个令人惊讶的等式。
3. 解析延拓与黎曼Zeta函数
上述那样的代数操作,乍一看可能就像是单纯的戏法或诡辩。在严谨的数学中,是不允许无条件地将普通的四则运算应用于发散级数的。
然而,这个结果绝不是毫无意义的。在现代数学中,这可以使用被称为 解析延拓(Analytic Continuation) 的严谨概念来加以证实。
黎曼Zeta函数
为了解释解析延拓,我们引入 黎曼Zeta函数 \(\zeta(s)\) 。Zeta函数的定义如下。
\[ \zeta(s) = 1^{-s} + 2^{-s} + 3^{-s} + 4^{-s} + \dots = \sum_{n=1}^{\infty} \frac{1}{n^s} \]这里 \(s\) 是复数。这个级数仅当 \(s\) 的实部大于 \(1\) ( \(\text{Re}(s) > 1\) )时才收敛,并具有有限的值。
例如,当 \(s = 2\) 时,这就是著名的巴塞尔问题,已知它收敛于 \(\zeta(2) = \frac{\pi^2}{6}\) 。
通过解析延拓进行扩展
那么,如果代入 \(s = -1\) 会怎样呢?
\[ \zeta(-1) = 1^1 + 2^1 + 3^1 + 4^1 + \dots = 1 + 2 + 3 + 4 + \dots \]这正是我们要求的全体自然数之和。但是,由于在原Zeta函数的定义中 \(s = -1\) 在收敛域之外,因此无法直接计算。
于是数学家们使用了 解析延拓 这个技巧。这是一种将定义在某个区域上的平滑函数,在保持其性质(如可微性等)不变的情况下,扩展到原本未定义的更广阔区域的方法。
graph TD
A["Zeta函数 Re(s) > 1"] -->|"解析延拓"| B["扩展到整个复平面"]
B --> C["代入 s = -1"]
C --> D["ζ(-1) = -1/12"]
黎曼证明了Zeta函数可以唯一地扩展到整个复平面(除了极点 \(s=1\) )。在扩展后的Zeta函数中计算 \(s = -1\) 的值,可以完美地得出 \(-\frac{1}{12}\) 。
也就是说,“ \(1+2+3+... = -1/12\) ”这个公式,并不是“通常意义上的和”,而是作为“通过Zeta函数进行解析延拓意义上的值”被正当化了。
4. 物理学中的实际应用:卡西米尔效应与超弦理论
这个 \(-\frac{1}{12}\) 的值,并不仅仅停留在数学拼图的层面上。令人惊讶的是,在现实的物理世界中这个值也出现了,并且通过实验观测到了它的影响。
卡西米尔效应
在量子力学的世界里,即使是完全的真空,能量也不为零。被称为“零点能”的能量总是在发生涨落。
1948年,荷兰物理学家亨德里克·卡西米尔(Hendrik Casimir)预言,如果在真空中留出极小的间隙平行放置两块金属板,金属板之间就会产生引力。这被称为 卡西米尔效应 。
在计算这个引力时,需要将存在于金属板之间的无数电磁波模式(频率)的能量全部加起来。在这个计算公式中,恰好出现了 \(\sum_{n=1}^{\infty} n = 1 + 2 + 3 + \dots\) 这样的发散级数。
物理学家们为了处理这个无穷大(作为重整化方法的一部分),使用了Zeta函数正则化,将这个和替换为 \(-\frac{1}{12}\) ,从而推导出有限的力作为计算结果。而重要的是, 这个计算结果与实际实验中的测量值完美吻合 这个事实。
玻色弦理论
此外,在将宇宙中所有物质视为一维“弦”的超弦理论的早期模型(玻色弦理论)中,这个值也起着重要作用。
为了使玻色弦理论在数学上不产生矛盾而成立,时空的维数 \(D\) 需要满足特定条件。在将弦的振动模式的能量相加的过程中,同样出现了 \(1 + 2 + 3 + \dots\) 这样的无穷和,如果将其设为 \(-\frac{1}{12}\) ,方程就会变成如下形式:
\[ \frac{D - 2}{2} \times \left(-\frac{1}{12}\right) + 1 = 0 \]解这个方程,得到 \(D = 26\) 。也就是说,推导出了玻色弦理论只有在 26维时空 中才能成立的结果。(后来引入费米子的超弦理论变为了10维,但其背后的数学结构是相似的。)
5. 总结
“ \(1 + 2 + 3 + 4 + \dots = -\frac{1}{12}\) ”这个公式,对于初次看到的人来说,一定会觉得是明显的错误或诡辩。事实上,在我们日常使用的“加法”定义中,这个级数是发散到无穷大的。
但是,当数学使用“解析延拓”这个工具来扩展函数的概念时,那里展现出了一片新的风景。而更令人惊叹的是,数学家们出于纯粹的求知欲而探索的这个抽象概念,后来竟成为了量子力学和弦理论等最前沿物理学中,解开宇宙结构不可或缺的拼图碎片。
可以说,拉马努金求和是告诉我们数学的深奥,以及存在于数学与物理学之间神秘联系的最美妙的例子之一。
graph LR
Subgraph1["数学探索"]
A1["发散级数"] -->|"代数处理"| A2["拉马努金求和"]
A3["黎曼Zeta函数"] -->|"解析延拓"| A2
Subgraph2["物理学应用"]
A2 -->|"Zeta函数正则化"| B1["卡西米尔效应计算"]
A2 -->|"决定维数"| B2["超弦理论 (26维)"]
B1 --> C["通过实验验证"]
