[论文解读] On the Hurwitz Zeta Function

Lazhar Fekih‐Ahmed|arXiv (Cornell University)|Jun 22, 2011

Analytic Number Theory Research参考文献 4被引用 4

一句话总结

本文提出了 Hurwitz zeta 函数 ζ(s,a) 的新积分与级数表示，推导出其在复平面上任意点处的洛朗展开系数的闭式表达。通过交错和与生成函数 ψ(t)，作者建立了在 Re(s) > 0 下收敛的积分与级数公式，实现了解析延拓，并可通过积分号下求导精确计算洛朗系数。

ABSTRACT

We give new integral and series representations of the Hurwitz zeta function. We also provide a closed-form expression of the coefficients of the Laurent expansion of the Hurwitz-zeta function about any point in the complex plane.

研究动机与目标

• 推导适用于 Re(s) > 0 的 Hurwitz zeta 函数 ζ(s,a) 的新积分与级数表示。
• 为 (s−1)ζ(s,a)Γ(s) 在复平面上任意点 s₀ 处的洛朗展开系数提供闭式表达。
• 通过一致收敛的级数与积分公式，系统地实现 ζ(s,a) 在 Re(s) > 1 之外的解析延拓。
• 通过将已知洛朗系数结果推广至右半平面内任意点 s₀，实现其计算的广义化。

提出的方法

• 定义交错和 Sₙ(s,a) = ∑ₖ₌₀ⁿ⁻¹ (−1)ᵏ C(n−1,k) (k+a)⁻ˢ（n ≥ 1），作为级数表示的构建模块。
• 引入辅助函数 ψ(t) = [teᵗ/(eᵗ−1)²] − [1/(eᵗ−1)] + [(a−1)t/(eᵗ−1)]，该函数作为新积分表示中的核函数。
• 建立积分公式：(s−1)ζ(s,a) = 1/Γ(s) ∫₀^∞ ψ(t)e⁻⁽ᵃ⁻¹⁾ᵗ tˢ⁻¹ dt，适用于 Re(s) > 0。
• 通过生成函数与一致收敛性，推导出级数表示：(s−1)ζ(s,a) = ∑ₙ₌₁^∞ Sₙ(s,a) [1/(n+1) + (a−1)/n]。
• 通过重复分部积分与积分号下求导，推导出适用于 Re(s) > −k 的高阶积分公式，实现解析延拓。
• 应用魏尔斯特拉斯解析延拓定理与幂级数唯一性定理，证明级数与积分表示可整体延拓至整个复平面。

实验结果

研究问题

• RQ1 能否推导出适用于 Re(s) > 0 而非仅 Re(s) > 1 的 Hurwitz zeta 函数的新积分与级数表示？
• RQ2 在复平面上任意点 s₀ 处，(s−1)ζ(s,a)Γ(s) 的洛朗展开系数是否存在闭式表达？
• RQ3 如何通过一致收敛的级数与积分公式，系统地构造 ζ(s,a) 的解析延拓？
• RQ4 能否利用推导出的积分与级数表示，递归计算任意满足 Re(s₀) > 0 的点 s₀ 处 ζ(s,a) 的洛朗系数？

主要发现

• 本文建立了新的积分表示：(s−1)ζ(s,a) = 1/Γ(s) ∫₀^∞ ψ(t)e⁻⁽ᵃ⁻¹⁾ᵗ tˢ⁻¹ dt，对所有满足 Re(s) > 0 的 s 成立。
• 推导出新的级数表示：(s−1)ζ(s,a) = ∑ₙ₌₁^∞ Sₙ(s,a) [1/(n+1) + (a−1)/n]，适用于 Re(s) > 0。
• 在任意满足 Re(s₀) > 0 的点 s₀ 处，(s−1)ζ(s,a)Γ(s) 的泰勒展开系数显式给出为 aₙ = 1/n! ∫₀^∞ ψ(t)e⁻⁽ᵃ⁻¹⁾ᵗ (log t)ⁿ tˢ⁰⁻¹ dt。
• 获得 ζ(s,a) 在 s₀ 处洛朗系数 γₙ(a,s₀) 的递推公式：γₙ(a,s₀) = −1/c₀ ∑ₖ₌₁ⁿ γₙ₋ₖ(a,s₀)cₖ + aₙ，其中 cₖ 为 Γ(s) 展开的系数。
• 级数与积分表示在 Re(s) > 0 下一致收敛，结合魏尔斯特拉斯唯一性定理，可实现 ζ(s,a) 在整个复平面的解析延拓。
• 对于右半平面内的 s₀，ζ(s,a) 的洛朗系数可利用推导公式精确且递归计算，将 Berndt 的结果推广至任意 s₀。