[论文解读] Hypergeometric-like Representation of the Zeta-Function of Riemann

K. Maślanka|ArXiv.org|May 4, 2001

Advanced Mathematical Theories and Applications被引用 15

一句话总结

本文提出了一种类似于超几何级数的展开式，用于黎曼ζ函数 ζ(s)，该展开式在标准Dirichlet级数收敛域（Re(s) > 1）之外实现了其解析延拓。通过使用从偶数ζ值导出的系数 Ak，并结合广义超几何函数，该展开式对所有复数 s 均收敛，包括 s = 0，从而在量子场论和统计力学中具有应用价值。

ABSTRACT

We present a new expansion of the zeta-function of Riemann. The current formalism -- which combines both the idea of interpolation with constraints and the concept of hypergeometric functions -- can, in a natural way, be generalised within the theory of the zeta-function of Hawking offering thus a variety of applications in quantum field theory, quantum cosmology and statistical mechanics.

研究动机与目标

• 开发黎曼ζ函数的新表示形式，使其收敛域扩展至 Re(s) > 1 之外。
• 建立带约束插值与ζ函数表示中超几何函数理论之间的联系。
• 提供一个在关键点如 s = 0 处仍然有效的 ζ(s) 公式，该点在量子场论和宇宙学中具有重要意义。
• 证明ζ(s)可完全由其在偶数正整数处的取值确定，而无需依赖标准级数定义。
• 将形式化方法推广至量子ζ函数（包括Hawking的量子宇宙学中的ζ函数）在量子宇宙学和统计力学中的应用。

提出的方法

• 定义系数 Ak = Σj=0k (-1)^j * C(k,j) * (2j+1) * ζ(2j+2)，这些系数与 s = 2j+2 时的 ζ(s) 无关。
• 将ζ函数表示为 Z(s) = 1/(s-1) * Σk=0^∞ [Γ(k+1 - s/2)/Γ(1 - s/2)] * Ak / k!，形成一种类超几何级数。
• 识别该级数为形式超几何函数 1F0(1 - s/2; A)，其可通过恒等式 1F0(a;x) = (1 - x)^(-a) 简化为 (1 - A)^(s/2 - 1)。
• 利用 ζ(2j+2) 的积分表示，并交换求和顺序，推导出涉及导数极限的 Ak 的另一种表达式。
• 通过使用恒等式 ∑k=0^∞ [Γ(k+1 - s/2)/Γ(1 - s/2)] * (1 - α²/n²)^k / k! = 1F0(1 - s/2; 1 - α²/n²)，重新表达完整级数，实现了解析延拓。
• 取极限 α → 1 并求导，可恢复原始ζ级数 ∑n=1^∞ n^(-s)，从而证明该展开式的正确性。

实验结果

研究问题

• RQ1 黎曼ζ函数能否通过一种在所有复数 s 上收敛的类超几何级数表示，包括 s = 0？
• RQ2 如何从已知的 ζ(2j+2) 值构造系数 Ak，而无需显式引用ζ函数在其他点的取值？
• RQ3 该级数通过何种机制实现对标准Dirichlet级数收敛域的解析延拓？
• RQ4 尽管该级数与发散超几何展开式在形式上相似，为何仍能收敛？其系数衰减的充分性由什么保证？
• RQ5 该形式化方法能否推广至其他ζ函数，如在量子场论和量子宇宙学中出现的ζ函数？

主要发现

• 级数展开式 (1) 对所有复数 s 均收敛，包括 s = 0，而标准Dirichlet级数在此处发散。
• 系数 Ak 通过伯努利数以有限算术运算显式计算得出，因此与非偶数 s 时的 ζ(s) 无关。
• 该展开式与标准ζ函数 ζ(s) = ∑n=1^∞ n^(-s) 等价，其正确性通过交换求和顺序并应用超几何恒等式得到严格证明。
• 系数 Ak 衰减足够快，确保了级数收敛，数值表格显示当 k ≥ 2 时 Ak → 0。
• 该形式化方法通过类超几何结构实现了ζ(s)的解析延拓，其中 Ak 充当符号算子的广义“幂”。
• 该方法揭示了ζ(s)完全由其在偶数正整数处的取值决定，而这些取值可通过伯努利数计算得出。