Zeta Archive: 黎曼ξ函数的对数表示与其零点乘积形式

黎曼 ξ 函数的对数表示与其零点乘积形式

在解析数论的浩瀚星空中，黎曼函数犹如连接素数分布与复平面几何的枢纽。其独特之处在于将函数的非平凡零点凝聚为整函数的零点，从而通过复分析工具揭示数论奥秘。这里将系统阐述函数如何通过 Hadamard 分解定理展开为零点乘积形式，并深入探讨其对数表示的解析内涵与历史演进。

函数的背景与定义

黎曼在 1859 年的开创性论文中引入了函数的辅助函数，后经完善形成标准的函数定义：

这一构造将函数的非平凡零点（即满足的零点）转化为函数的全部零点，同时消除了函数在和处的奇点。关键性质在于函数是 整函数 （无极点），且满足对称性，这使得其零点关于临界线对称。根据黎曼猜想，这些零点应全部落在该临界线上，但至今仍是数学界悬而未决的重大问题。

函数的阶（order）是其解析性质的另一关键指标。通过 Stirling 公式对函数的渐近估计可知，函数是 1 阶整函数，这一结论直接决定了其 Hadamard 分解的形式。与多项式的有限零点不同，函数拥有无穷多个零点（其中），这些零点的分布规律与素数定理的误差项密切相关。

Hadamard 分解定理的应用

1893 年，雅克・阿达马（Jacques Hadamard）提出的整函数分解定理为处理无穷零点提供了强大工具。该定理指出，任何阶为的整函数可表示为：

其中是处的零点阶数，是次数不超过的多项式，为典范因子。对于函数，由于，故；其阶导致，因此典范因子简化为。

将 Hadamard 定理应用于函数，得到初步分解式：

其中乘积遍历函数的所有零点。为确定常数，代入可得，故。对称性暗示零点满足，因此乘积可配对为：

这种配对确保了乘积的收敛性，因为交叉项形成收敛级数。

对数表示与导数公式

对函数的 Hadamard 分解式取对数，得到其对数表示：

两边对求导，产生对数导数（logarithmic derivative）这一重要解析工具：

此式将函数的局部解析性质与零点的整体分布联系起来。利用函数的对称性，可进一步确定常数的值。将替换为后对比导数等式，发现。最终得到简化的 Hadamard 分解式：

通过对称性分析与成对出现），指数项与相互抵消，最终得到不含指数项的乘积形式：

这一过程中，黎曼原始表达式中的平方项乘积被拆分为单个零点的乘积，指数项通过对称性自动消去。

这一结果揭示了一个深刻事实：函数完全由其零点集合决定， multiplicative factors 仅依赖于零点的分布。对数导数公式则成为研究零点分布的核心工具，例如通过对取实部可得到零点密度估计。

本质等价性：通过变量替换和零点关系式，可直接从哈达马展开式推导出黎曼 1859 年论文的对数形式。将代入哈达马乘积：

两边取对数后即得黎曼表达式。

这表明两种形式完全等价，仅是 数学表述的简洁性选择 不同：黎曼强调对称性以简化收敛性分析，哈达马则遵循一般整函数分解的标准形式。

历史演进与数学意义

黎曼最初的论文仅暗示了函数的乘积表示可能，而严格证明需等待 Hadamard 分解定理（1893 年）的出现。1896 年，阿达马与普森（Charles Jean de la Vallée-Poussin）独立使用类似思想证明了素数定理，其中函数的零点分布分析起到关键作用。值得注意的是，斯蒂尔切斯（Thomas Stieltjes）曾声称证明了函数零点均位于临界线上，但未留下完整证明，这一悬念成为黎曼猜想的核心内容。

现代研究中，函数的对数表示在计算数论中有重要应用。通过截断零点乘积，可构造函数的数值逼近，进而验证黎曼猜想的正确性。例如，截至 2020 年，已验证前个非平凡零点均满足。此外，对数导数的积分表示为零点计数函数（虚部小于的零点个数）提供了渐近公式：