默滕斯定理

玻尔百科

核心要点

默滕斯关于级数的定理指出，如果两个收敛级数中至少有一个是绝对收敛的，那么它们的柯西乘积收敛，且其和等于两级数之和的乘积。
默滕斯第二定理为素数倒数之和给出了一个精确的渐近公式 $\ln(\ln x) + M$ ，表明其发散速度极其缓慢。
默滕斯第三定理为乘积 $\prod (1 - 1/p)$ 提供了一个渐近值，这对现代筛法理论至关重要，并与欧拉-马歇罗尼常数有关。
这些定理在分析学和数论之间架起了一座桥梁，使得概率性洞察成为可能，例如确定一个典型整数的平均素因子个数。

引言

Franz Mertens 的工作在两个基础但看似截然不同的数学领域之间架起了一座深刻的桥梁：分析学中无穷级数的行为与数论中素数的神秘分布。我们在有限计算中磨练出的直觉，在无穷的领域中常常失效；例如，两个收敛的无穷级数相乘并不总能得到可预测的结果。同样，素数的出现似乎毫无规律，杂乱无章，这构成了数论的核心挑战。本文旨在通过探索默滕斯定理所引入的优美秩序来解决这些问题。读者将首先深入研究无穷级数乘法的支配原则以及绝对收敛的稳定作用。随后，讨论将揭示这些分析概念如何阐明素数中深层的统计规律性，并将其分布与基本的数学常数联系起来。这段旅程始于“原理与机制”一章，该章为理论奠定基础，然后转向“应用与跨学科联系”，以展示这些强大定理的深远影响。

原理与机制

想象一下，当你还是个孩子，在学习乘法。你从整数开始， $3 \times 4 = 12$ 。然后你学会了分数乘法，甚至可能是多项式乘法。这是一个可靠的过程：你拿出两样东西，遵循规则，然后得到一个单一、正确的答案。现在，如果要求你将两列无穷的数相乘呢？不是任意的数列，而是两个无穷级数的各项。你该如何着手？

无穷乘法的艺术

最自然的想法是模仿我们处理多项式的方法。如果你将 $(a_0 + a_1x + a_2x^2 + \dots)$ 与 $(b_0 + b_1x + b_2x^2 + \dots)$ 相乘，你如何找到像 $x^n$ 这样的项的系数？你会收集所有相乘得到 $x^n$ 的数对：第一个多项式的常数项与第二个多项式的 $x^n$ 项相乘 ( $a_0 b_n$ )，第一个多项式的 $x$ 项与第二个多项式的 $x^{n-1}$ 项相乘 ( $a_1 b_{n-1}$ )，以此类推，直到 $a_n b_0$ 。 $x^n$ 的最终系数是各项之和 $c_n = a_0b_n + a_1b_{n-1} + \dots + a_nb_0$ 。

这个优美而对称的想法给了我们两个级数 $\sum a_n$ 和 $\sum b_n$ 的柯西乘积（Cauchy product）。这是一个新的级数 $\sum c_n$ ，其中每一项都是前面各项的“卷积”：

c_n = \sum_{k=0}^{n} a_k b_{n-k}

感觉很对，不是吗？它具有某种代数上的优雅。对于某些级数，它完美适用。例如，我们知道指数函数的级数表示 $\exp(x) = \sum_{n=0}^{\infty} \frac{x^n}{n!}$ 。如果我们取 $\exp(2)$ 和 $\exp(1)$ 的级数进行柯西乘积，得到的新级数奇迹般地变成了 $\exp(3)$ 的级数。这暗示了一个美妙的性质：乘积级数的和等于各个级数和的乘积。一切似乎都很完美。宇宙是井然有序的。

惊人的脆弱性

但在数学中，如同在生活中一样，我们的直觉有时会误导我们。有限乘法这个舒适世界的规则并不总能延伸到无限领域。思考这样一个问题：如果我们取两个已知收敛于有限和的级数，它们的柯西乘积是否也收敛于它们和的乘积？

答案令人震惊：并非如此。

我们来看看级数 $\sum_{n=0}^{\infty} \frac{(-1)^n}{\sqrt{n+1}}$ 。这是一个典型的条件收敛级数的例子。它之所以收敛，是因为各项正负交替且趋于零，但如果你取每项的绝对值，得到的级数 $\sum \frac{1}{\sqrt{n+1}}$ 就会发散。那么，如果我们将这个级数与它自身做柯西乘积，会发生什么呢？新级数的项 $c_n$ 看起来是这样的：

|c_n| = \left| \sum_{k=0}^{n} \frac{(-1)^k}{\sqrt{k+1}} \frac{(-1)^{n-k}}{\sqrt{n-k+1}} \right| = \sum_{k=0}^{n} \frac{1}{\sqrt{(k+1)(n-k+1)}}

经过一番巧妙的估计可以发现，这些项 $|c_n|$ 根本不趋于零！事实上，当 $n$ 变大时， $|c_n|$ 趋近于 2。而如果一个级数的项不趋于零，这个级数就绝无可能收敛。于是我们得到了一个结论：两个完美收敛的级数的乘积，可能会变成一团发散的混乱。我们简洁的代数规则失效了。

绝对收敛的稳定之锚

这正是19世纪数学家 Franz Mertens 的天才之处。他发现了能为这种混乱恢复秩序的条件。默滕斯定理是分析学的基石之一，其陈述非常简洁：

如果你有两个收敛的级数，且其中至少一个是绝对收敛的，那么它们的柯西乘积将会收敛，并且收敛于它们和的乘积。

一个级数绝对收敛是什么意思？这意味着即使你去掉所有负号带来的有益抵消，让每一项都变成正的，级数仍然收敛。一个绝对收敛的级数是稳健的；它的收敛不是一种微妙的平衡。你甚至可以按任意顺序重排它的项，它仍然会收敛到相同的和。而条件收敛的级数则不然，重排它的项可以改变它的和！

绝对收敛是我们需要的锚。它是稳定性的保证。例如，级数 $\sum \frac{1}{n^2}$ 是绝对收敛的（一个 p-级数，其中 $p=2 > 1$ ），而交错调和级数 $\sum \frac{(-1)^n}{n}$ 只是条件收敛的。默滕斯定理向我们保证，它们的柯西乘积将毫无问题地收敛。然而，该定理是单向的；它给出了一个充分条件，而非必要条件。存在一些奇怪的情况，一个发散级数和一个收敛级数的柯西乘积实际上可以收敛，但这些是证明该规则普遍实用性的例外。首要前提是两个级数必须首先都收敛（或者其中一个必须绝对收敛）。如果其中一个发散，比如调和级数 $\sum \frac{1}{n}$ ，那么默滕斯定理根本不适用。

从级数到素数之谜

此时，你可能会认为这只是数学中一个相当抽象的角落。但是现在，我们将把这个关于无穷列表的和与积的思想，应用于所有谜题中最伟大的一个：素数。

素数似乎是随机出现的，像一串没有明显规律的数字。但早在18世纪，Euler 就有了一个惊人的发现。他研究了素数倒数之和：

\frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \frac{1}{11} + \dots

尽管这些项越来越小，但他证明了这个和是发散的。它会增长到无限大！这意味着，从某种深刻的意义上说，素数毕竟没有那么稀有。但它是如何发散的？是如咆哮般迅猛，还是如低语般缓慢？

这正是 Franz Mertens 再次出现在我们故事中的地方，但这次是在数论领域。默滕斯第二定理给出了一个惊人精确的答案。他证明了，当你对小于等于某个大数 $x$ 的所有素数的倒数求和时，其和的行为如下：

\sum_{p \le x} \frac{1}{p} \approx \ln(\ln x) + M

函数 $\ln(\ln x)$ 的增长速度慢得令人难以置信。要想让这个和达到区区4，你需要对小于等于 $x$ 的素数倒数求和，而这个 $x$ 大到 $x \approx \exp(\exp(4))$ ，这是一个超过23位的数字！这种发散是一种低语，是向无穷缓慢而必然的爬行。常数 $M$ 现在被称为迈塞尔-默滕斯常数。

乘积与和：深刻的对偶性

Mertens 并未止步于此。他还研究了一个相关的量：乘积 $\prod_{p \le x} \left(1 - \frac{1}{p}\right)$ 。你可以把它想象成与一个数不能被任何小于等于 $x$ 的素数整除的“概率”有关。随着 $x$ 的增加，这个乘积越来越小。Mertens 再次找到了它的精确行为。默滕斯第三定理指出：

\prod_{p \le x} \left(1 - \frac{1}{p}\right) \approx \frac{e^{-\gamma}}{\ln x}

看！两个最基本的数学常数凭空出现了： $e$ ，自然对数的底，和 $\gamma$ ，欧拉-马歇罗尼常数（ $\pi$ 的神秘表亲）。这感觉像是一个宇宙级的巧合。

但这根本不是巧合。这两个定理是同一枚硬币的两面。我们可以通过对乘积表达式取对数来看出其中的联系：

\ln \left( \prod_{p \le x} \left(1 - \frac{1}{p}\right) \right) = \sum_{p \le x} \ln \left(1 - \frac{1}{p}\right)

现在我们有两个与素数相关的和： $\sum \frac{1}{p}$ 和 $\sum \ln(1 - 1/p)$ 。利用默滕斯第二定理处理第一个和，并结合迈塞尔-默滕斯常数的定义，可以严格地推导出第二个和的结果，从而证明第三个定理。这两个结果是紧密相连的。

当我们考察一个级数，其项是这两个和的项之差时（利用了当 $x$ 很小时 $\ln(1-x) \approx -x$ 的事实），最深刻的联系便显现出来。考虑对所有素数的求和：

S = \sum_{p} \left[ \frac{1}{p} + \ln\left(1 - \frac{1}{p}\right) \right]

虽然 $\sum \frac{1}{p}$ 发散， $\sum \ln(1 - 1/p)$ 也发散（到 $-\infty$ ），但它们的组合——这个看起来很奇怪的级数 $S$ ——实际上收敛到一个有限的数！这就是奇妙之处。它告诉我们 $\sum 1/p$ 发散的方式几乎完美地被 $\sum \ln(1-1/p)$ 发散的方式所镜像。它们之间的“误差”是有限且稳定的。利用默滕斯定理，可以证明这个和的精确值是 $S = M - \gamma$ 。这个优美的公式通过两个基本常数 $M$ 和 $\gamma$ ，将关于素数的加法信息（ $\sum 1/p$ ）和乘法信息（ $\prod(1-1/p)$ ）联系在一起。这是对看似随机的素数序列内部隐藏的结构和统一性的深刻陈述。

对默滕斯定理的研究是数学之旅的完美例证。它始于一个关于乘法的简单直观问题，揭示了意想不到的复杂性，提供了恢复秩序的强大工具，然后，在一个戏剧性的转折中，阐明了素数最深刻的性质。它告诉我们，尽管素数在某种技术意义上是“稀疏的”（它们的对数密度为零），但它们集体的低语声足以塑造数的图景，而 Mertens 教会了我们如何清晰地听到这声低语。

应用与跨学科联系

既然我们已经了解了默滕斯定理背后的机制，我们可能会想把它们归档为关于素数的优雅但深奥的事实。这就好比发现了新语言的语法规则，却从未尝试阅读它的诗歌。这些定理的真正美妙之处，与所有伟大的科学成果一样，不仅在于其内在逻辑，还在于它们阐明周围世界的力量。它们不是博物馆的展品；它们是现代数论学家的得力工具，是分析学家的锋利解剖刀，也是对数之本质进行深刻哲学洞察的源泉。

让我们踏上一段旅程，看看这些定理的实际应用。我们将看到它们如何提供驯服无穷的机制，如何帮助我们计数“不可数”之物，以及它们如何在看似混乱的整数王国中揭示一个惊人而深刻的统计秩序。

分析学家的工具箱：驯服无穷乘积

在深入研究素数本身之前，让我们先欣赏一下 Franz Mertens 在纯分析领域的一项相关杰作。假设你有两个无穷级数，比如 $\sum a_n$ 和 $\sum b_n$ 。一个自然的问题是：你如何将它们相乘？如果它们是有限多项式，我们只需逐项相乘即可。但对于无穷级数，事情就棘手多了。将具有相同“次数”的项收集在一起的过程，产生了所谓的柯西乘积，这是一个新级数，其项 $c_n$ 是卷积： $c_n = \sum_{k=0}^n a_k b_{n-k}$ 。

最大的问题是：如果原始的两个级数分别收敛于和 $A$ 和 $B$ ，它们的柯西乘积是否收敛于 $A \times B$ ？令人惊讶的是，答案是“不一定！”无穷可能是淘气的。然而，Mertens 提供了一个优美且极其有用的定理：如果一个级数收敛，而另一个绝对收敛（即其项的绝对值之和收敛），那么一切都会顺利进行。柯西乘积不仅收敛，而且恰好收敛到你所期望的值： $A \times B$ 。

这个定理是级数研究中稳定性的一个支柱。例如，我们知道交错调和级数收敛于2的自然对数，这是一种条件性的、微妙的收敛：

\sum_{n=0}^{\infty} \frac{(-1)^n}{n+1} = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots = \ln 2

我们也知道几何级数 $\sum_{n=0}^{\infty} (1/3)^n$ 绝对收敛于 $3/2$ 。默滕斯关于柯西乘积的定理向我们保证，无需任何进一步计算，由它们乘积构成的那个看起来很复杂的级数，将精确地收敛到 $(\ln 2) \times (3/2)$ 。同样的原理也让我们能够优雅地计算更复杂的卷积之和，例如一个结合了 $\ln 2$ 的级数和欧拉数 $\exp(1)$ 的级数的卷积。

这个思想可以被提升，以揭示离散的和的世界与连续的积分的世界之间令人惊叹的联系。通过巧妙地应用恒等式 $1/(n+1) = \int_0^1 x^n dx$ ，可以证明柯西乘积项的加权和等价于其母函数乘积的积分。这是物理学和数学中一个反复出现的主题：在表象之下潜藏着深刻的联系，统一了看似互不相干的概念。

数论学家的筛子：衡量素数

让我们回到素数。数论中的一个经典问题是计算那些不具备某些性质的数。例如，在一个大数 $x$ 以内，有多少整数不能被任何小于 $z$ 的素数整除？古老的“埃拉托斯特尼筛法”是实现这一目标的物理方法。其理论版本则涉及容斥原理。一阶近似表明，这类数的比例应该是不被每个素数 $p$ 整除的概率的乘积，即 $(1 - 1/p)$ 。这就得到了这一项：

\prod_{p < z} \left(1 - \frac{1}{p}\right)

当 $z$ 变大时，这个量如何变化？一个朴素的猜测可能是，既然 $1/p$ 的和是发散的，这个乘积应该趋向于零。它确实如此，但速度有多快？另一个简单的模型可能会用 $1/\ln z$ 来代替这个密度。这正确吗？

默滕斯第三定理给了我们一个惊人的答案。它指出对于大的 $z$ ：

\prod_{p < z} \left(1 - \frac{1}{p}\right) \approx \frac{e^{-\gamma}}{\ln z}

其中 $\gamma$ 是著名的欧拉-马歇罗尼常数。这告诉我们 $1/\ln z$ 这个朴素的模型不完全正确；它偏离了一个常数因子 $e^{-\gamma} \approx 0.561$ 。例如，当我们对小于 $z=10^4$ 的素数进行检验时，极限常数 $e^{-\gamma}$ 提供了一个极好的近似。这不仅仅是一个数值上的巧合。在现代筛法理论中，这个常数因子是获得素数和其他特殊类型数的精确计数的关键。默滕斯定理提供了至关重要的基准，更复杂的筛法都要以此为标准进行校准。

更深刻的是，这一原理延伸到了研究的前沿。在高等数论中，人们可能会研究素数上的“扭”和，如 $\sum \chi(p)/p$ ，其中 $\chi(p)$ 是一个复值“特征标”。这个和的行为告诉我们关于算术模式的深层信息。同样，默滕斯第二定理提供了基准：和 $\sum 1/p$ 的增长速度像 $\ln(\ln X)$ 。通过将这个扭和与已知的行为进行比较，我们可以提取关于特征标 $\chi$ 的深刻信息，例如它与相关 $L$ -函数的零点的关系。默滕斯基准就像一把万能量尺，而与它之间的偏差正是新发现所在之处。

整数的宇宙：概率数论

也许默滕斯定理最惊人、最美丽的应用是在一个听起来自相矛盾的领域：概率数论。这个领域敢于提出像“一个典型的整数是什么样的？”这样的问题。

想象一下你选择一个巨大的整数，比如说 $10^{100}$ 级别的。你期望它有多少个不同的素因子？两个？一打？一千个？这个问题似乎定义不清，几乎是无稽之谈。然而答案不仅是已知的，而且是默滕斯第二定理的一个直接而简单的推论。

让我们通过从集合 $\{1, 2, \dots, n\}$ （对于一个非常大的 $n$ ）中均匀随机地选取一个整数 $K_n$ 来对此建模。设 $Y_n$ 是表示 $K_n$ 的不同素因子数量的随机变量。它的期望值 $E[Y_n]$ 是多少？利用期望的线性性这一神奇性质，期望值是任何给定素数整除 $K_n$ 的概率之和。一个素数 $p$ 整除一个小于等于 $n$ 的随机数的概率非常接近 $1/p$ 。因此，素因子的期望数量大约是所有小于等于 $n$ 的素数倒数之和：

E[Y_n] \approx \sum_{p \le n} \frac{1}{p}

在这里，默滕斯第二定理给出了关键一击。这个和渐近于 $\ln(\ln n)$ 。

这个结果令人震惊。一个数 $n$ 的位数像 $\ln n$ 一样增长。但它的素数构造块的数量增长得极其缓慢，像 $\ln(\ln n)$ 。一个大约 $10^{100}$ 的数有约230位数字（ $\ln 10^{100} \approx 230$ ），但它期望只有约 $\ln(\ln 10^{100}) \approx \ln(230) \approx 5.4$ 个不同的素因子！

但更精彩的还在后头。人们可能会想，这个平均值是否只是一个巧合，有些数因子很少，而另一些数因子很多。著名的 Hardy-Ramanujan 定理，以及其更普遍的形式——Erdős–Kac 定理，表明情况并非如此。不仅素因子的平均数是 $\ln(\ln n)$ ，而且绝大多数整数的素因子数量都极其接近这个值。用概率论的语言来说，经过缩放的随机变量 $\omega(K_n) / \ln(\ln n)$ 依概率收敛于 1。这意味着，拥有约 $\ln(\ln n)$ 个不同素因子是整数的一个“正态”性质。在算术的核心中，隐藏着惊人的规律性和统计秩序。

这个由默滕斯的结果磨砺出的概率透镜，使我们能够分析更精细的细节，例如不同素因子个数 $\omega(k)$ 和计入重数的总素因子个数 $\Omega(k)$ 之间的统计关系（协方差）。概率论的工具，在默滕斯分析学的驱动下，将整数集合变成了一个丰富而结构化的统计宇宙。

宏大的统一：从素数到复函数

我们的最后一站或许是最抽象的，但也是最深刻的。它展示了数学的深刻统一性，这是物理学精神的核心主题。如果我们能将整个素数序列编码成一个单一的对象呢？在复分析中，我们可以构造一种特殊的函数，即整函数，其零点恰好位于素数 $2, 3, 5, 7, \dots$ 处。

Hadamard 分解定理为从零点构建此类函数提供了蓝图。对于一个以素数为零点的函数 $f(z)$ ，其结构大致如下：

f(z) = \exp(Az) \prod_{p} \left(1 - \frac{z}{p}\right) \exp\left(\frac{z}{p}\right)

在这里，无穷乘积从其零点（素数）构建函数，而 $\exp(Az)$ 项是一个非零的“胶水”因子，用于控制函数的整体增长。常数 $A$ 似乎只是一个技术细节。但它不是。它与零点的“质心”有着内在的联系。

$A$ 的值是多少？令人难以置信的是，它可以通过研究函数在其自变量 $z$ 极大时的行为来确定。通过追踪 $f(z)$ 的渐近行为，并利用默滕斯第二定理的威力来评估来自素数无穷和的贡献，人们会发现一个惊人的结果：常数 $A$ 正是数论中另外两个基本常数——欧拉-马歇罗尼常数 $\gamma$ 和迈塞尔-默滕斯常数 $M_1$ ——之差。

停下来品味一下。一个复分析函数定义中的常数 $A$ ，一个来自微积分连续世界的对象，竟然精确地由素数的统计性质——这些来自算术离散世界的对象——所决定。这个函数的根本结构是由素数分布的丝线编织而成的。

这就是默滕斯定理的终极启示。它们不仅仅是关于素数的陈述。它们是一本词典，将数论的离散、颗粒状的语言翻译成分析学的光滑、流动的语言。它们向我们展示，看似混乱的素数序列实际上受深刻的统计定律支配，这些定律在概率论、筛法理论和复分析的最高领域回响，揭示了一个比我们所能想象的更为结构化、相互关联和美丽的整数宇宙。