黎曼 ξ 函数对数展开的历史

历史背景：19 世纪整函数理论的黎明

19 世纪中叶的数学界尚未形成系统的整函数分解理论。黎曼所处的时代，数学家们已熟悉多项式的因式分解和 等特殊函数的无穷乘积展开，但对一般整函数的零点分布与乘积表示的关系仍缺乏统一框架。高斯曾研究过某些整函数的乘积展开，而魏尔斯特拉斯在 1876 年才发表其著名的整函数分解定理，比黎曼的工作晚了 17 年。

黎曼的突破性在于，他并非等待一般性理论的建立，而是针对 函数的特殊结构构造了具体的分解方案。这一函数由黎曼定义为：

其核心优势在于将 函数的平凡零点（负偶数）和唯一极点（ ）全部吸收，转化为一个没有奇点、零点仅为 函数非平凡零点的整函数。这一 “规整化” 处理为后续的乘积展开奠定了基础。

函数的基本性质与对称性分析

黎曼首先揭示了 函数的关键对称性，反射公式： 。这一深刻性质意味着 函数的零点关于直线 对称，即若 是零点，则 也是零点。通过变量代换 ，可将对称性转化为关于原点的偶性： ，这使得零点可以成对表示为 （其中 为正实数）。

其次，黎曼计算了 函数在特殊点的值以确定乘积展开的常数项。通过 函数的定义直接计算可得 ，这一具体数值在后续确定乘积常数时至关重要。

最后，黎曼通过估计 函数的增长速度为 （即阶数为 1），为乘积展开的收敛性分析提供了关键依据。这一估计基于对 函数和 函数增长性的综合考察：斯特林公式表明 具有多项式增长，而 在临界带内的增长由其积分表示控制。

推导路径一：基于对称性的零点分组法

第一步：零点的对称分组与乘积构造

黎曼注意到，直接按所有零点 构造乘积 会因零点关于 的对称性导致交错项，影响收敛性。为解决这一问题，他将零点按对称对 分组，构造如下乘积：

其中 表示只取上半平面的零点。通过令 （即零点到临界线的水平距离），乘积项变为 的形式，其中 。这种构造确保了乘积对实变量 是偶函数，且避免了交错符号问题。

第二步：魏尔斯特拉斯乘积的早期应用

尽管魏尔斯特拉斯的一般分解定理尚未发表，但黎曼显然熟悉类似 的乘积展开：

通过类比，黎曼推测 函数可表示为常数与上述对称乘积的乘积： 。为确定常数 ，黎曼利用了已知的 ，代入 可得 ，从而得到：

其中 （因 的假设，即黎曼猜想，这一简化成立；即使不假设黎曼猜想， 仍表示零点到临界线的水平距离）。

第三步：对数展开与收敛性证明

对等式两边取自然对数，得到：

黎曼需要证明右侧级数收敛。他通过零点计数函数 （表示虚部小于 的零点个数）估计零点密度，进而证明：

这一收敛性由 （当 增大时）和 保证，因为 可由积分 控制，经分部积分后得到收敛结果。

推导路径二：基于对数导数的间接方法

第一步：无穷乘积的一般形式假设

考虑更一般的乘积形式（即现代阿达马分解的雏形）：

其中指数项 是为确保乘积收敛而添加的修正项。这一形式虽未明确出现在黎曼的论文中，但其思想通过后续研究者（如阿达马）的工作得到了完善。

第二步：利用函数方程确定指数系数

对上述乘积取对数导数可得：

应用 的对称性，对 求导得 。代入对数导数表达式并比较两边，发现 。这一关键结果表明 函数的阿达马分解中不含指数因子，简化为：

第三步：通过特殊点确定常数项

令 ，可得 ，即 。将零点按 分组，乘积可重写为：

令 ，并利用 （假设黎曼猜想成立），则 ，代入得：

从而回到与路径一相同的结果，取对数后即得最终的表达式。

历史意义与方法论启示

黎曼的推导展现了 19 世纪数学中 “构造性直观” 的典范，他不依赖严格的一般理论，而是通过具体函数的特殊性质（对称性、增长性、特殊点值）和类比已知结果（如 函数的乘积），构建出正确的分解形式。这种方法与现代数学强调严格逻辑演绎的路径形成鲜明对比，却在特定问题上达到了同样精确的结果。

阿达马在 1893 年证明的分解定理表明，任何整函数可表示为 ，其中 和 为多项式，次数由函数的阶决定。对于 函数，由于其阶数为 1 且零点对称分布，导致 为常数多项式， 为一次多项式 ，最终简化为黎曼得到的形式。这表明黎曼的构造实际上是阿达马定理的一个特例，但在 34 年前就已被预见。

现代视角下的严格化与拓展

现代解析数论通过以下步骤严格化黎曼的论证：

1. 零点计数函数的精确估计：利用 函数的积分表示和围道积分，证明 ，为乘积收敛性提供严格基础。

2. 函数阶数的精确计算：通过 函数的斯特林公式和 函数的凸性估计，证明 函数的阶恰好为 1，满足阿达马分解的条件。

3. 对数导数的积分表示：利用 和 ，通过数值计算得到非平凡零点倒数和 ，验证了对数级数的绝对收敛性。

这些现代发展不仅证实了黎曼的洞察力，更将其原始思想拓展为研究 L 函数零点分布的一般方法。

黎曼在缺乏整函数分解一般理论的条件下，通过深刻的对称性分析和具体构造，得到了 函数的对数展开式。这一工作不仅为黎曼猜想奠定了基础，更开创了 “通过函数零点分布研究数论问题” 的范式。今天，当我们使用阿达马分解定理轻松推导同样的结果时，更应惊叹于黎曼超越时代的数学直觉，他在 1859 年播下的种子，最终长成了解析数论的参天大树。这一案例也启示我们，在数学探索中，对具体问题的深刻理解有时比等待一般理论的建立更为重要。