On the analytic continuation of the Riemann zeta function

技术摘要：关于黎曼ζ函数的解析延拓

问题陈述
黎曼ζ函数 $\zeta(s)$ 最初由狄利克雷级数 $\sum_{n=1}^{\infty} n^{-s}$ 定义，该级数仅在右半平面 $\text{Re}(s) > 1$ 内收敛。虽然将 $\zeta(s)$ 解析延拓至整个复平面是一个已确立的结果（通常通过函数方程或围道积分推导），但本文侧重于通过一种特定的迭代方法推导该延拓：即重复应用分部积分法。其目标是生成一组关于 $\zeta(s)$ 的新恒等式，逐步扩展其有效定义域，并将该函数表示为涉及整数 $k \geq 2$ 的 $(\zeta(k) - 1)$ 的级数形式。

方法论
作者采用了一种基于分部积分的系统程序，应用于涉及赫维赛德阶跃函数 $\Theta(x-n)$ 的ζ函数积分表示。核心方法论步骤如下：

1. 积分表示：起点是由级数定义导出的积分形式，其中求和被转换为涉及 $\Theta(x-n)$ 的积分。
2. 迭代分部积分：通过反复应用分部积分，作者将级数表示的有效性从 $\text{Re}(s) > 1$ 移至 $\text{Re}(s) > -(p-1)$，其中 $p$ 为整数参数。
3. 通过多项式减法进行周期化：为了处理积分下限处的发散行为，从阶跃函数求和中减去一个特定的多项式 $f_p(x)$。该多项式是通过取前 $n$ 个整数的幂和公式（与法劳伯公式相关）$P_{p-1}(n) = \sum_{i=1}^n i^{p-1}$，并将 $n$ 替换为 $(x-1)$ 而构造的。
4. 转换为周期函数：这种减法将积分被积函数转换为周期函数（涉及分数部分或伯努利多项式）。
5. 级数展开：由此产生的周期积分被展开为包含形如 $\int_0^1 \frac{x^m}{(x+n)^{s+k}} dx$ 项的无穷级数，这些项随后与 $\zeta(s+k) - 1$ 相关联。

主要贡献与结果
本文推导出了 $p$ 从 1 到 12 取值时 $\zeta(s)$ 的显式恒等式。每个 $p$ 值对应一个特定的恒等式，该恒等式扩展了收敛区域，并提供了ζ函数的新表示形式。

• 情形 $p=1$：作者推导出了恒等式 $\sum_{k=0}^{\infty} \frac{\Gamma(s+k)}{\Gamma(k+2)\Gamma(s)}(\zeta(s+k)-1) = \frac{1}{s-1}$。这恢复了 $s=1$ 处留数为 1 的简单极点。文中给出了一个具体的推论：$\sum_{k=2}^{\infty} (\zeta(k)-1) = 1$。
• 情形 $p=2$：推导中引入了多项式 $f_2(x) = \frac{x(x-1)}{2}$。这产生了一个在 $\text{Re}(s) > -1$ 范围内有效的恒等式，允许计算 $\zeta(0) = -1/2$，并将导数 $\zeta'(0)$ 表示为 $(\zeta(k)-1)$ 的级数。
• 情形 $p=3$ 至 $p=12$：本文给出了高阶的显式公式。随着 $p$ 的增加，多项式减法变得更加复杂（涉及 $x$ 的更高次幂），所得的 $\zeta(s)$ 恒等式包含越来越复杂的 $s$ 的有理函数以及高阶无穷级数。
  • 对于偶数 $p$，恒等式被证明自然地包含了ζ函数在负偶数整数（$s = -2, -4, \dots$）处的平凡零点。
  • 作者明确计算了 $p$ 高达 12 的多项式系数，并指出对于 $p \geq 9$，利用了计算机代数系统（Mathematica）来管理多项式分解的复杂性。
  • 一般模式表明，对于任意 $p$，都可以获得一个通用公式，其中 $\zeta(s)$ 被表示为 $s$ 的有理函数加上涉及 $\Gamma$ 函数和 $(\zeta(s+k)-1)$ 的级数。

意义与主张
本文声称，这些推导出的恒等式提供了“可能有助于物理学和数学应用的新恒等式”。具体而言，作者强调：

• 该方法提供了一种构造性的方式来扩展 $\zeta(s)$ 的解析延拓，而不完全依赖于函数方程。
• 这些恒等式将 $\zeta(s)$ 及其导数完全表示为 $k \geq 2$ 的收敛级数 $(\zeta(k)-1)$。由于这些项随着 $k \to \infty$ 迅速趋于零，因此这些级数在数值上表现良好。
• 该方法在分部积分的统一框架内，统一了负整数处数值（包括平凡零点）的计算以及 $s=0$ 处导数的计算。

作者对更广泛的影响保持了谦逊的态度，表示希望这些恒等式能“揭示 $\zeta(s)$ 的新性质”，但并未断言解决了黎曼猜想，也未声称除恒等式的一般实用性之外有具体的新物理应用。