[论文解读] Barnes multiple zeta-functions, Ramanujan's formula, and relevant series involving hyperbolic functions

Yasushi Komori, Kohji Matsumoto+1 more|arXiv (Cornell University)|Jun 16, 2010

Advanced Mathematical Identities参考文献 9被引用 5

一句话总结

本文建立了 Barnes 多重 zeta 函数的函数方程，并推导出涉及双曲函数级数的广义 Ramanujan 公式。通过将这些 zeta 函数与伯努利多项式及单位根联系起来，本文证明了包含 sinh 和 coth 项的无穷级数的新求值公式，包括涉及复周期 $\rho = (-1 + \sqrt{-3})/2$ 的新颖恒等式，从而扩展了 Cauchy、Mellin 和 Ramanujan 的经典结果。

ABSTRACT

In the former part of this paper, we give functional equations for Barnes multiple zeta-functions and consider some relevant results. In particular, we show that Ramanujan's classical formula for the Riemann zeta values can be derived from functional equations for Barnes zeta-functions. In the latter half part, we generalize some evaluation formulas of certain series involving hyperbolic functions in terms of Bernoulli polynomials. The original formulas were classically given by Cauchy, Mellin, Ramanujan, and later recovered and formulated by Berndt. From our consideration, we give multiple versions of these known formulas.

研究动机与目标

• 推导 Barnes 多重 zeta 函数的函数方程，并将其与涉及双曲函数的经典级数联系起来。
• 证明在双 zeta 情况下，Ramanujan 对 $\zeta(2N+1)$ 的公式可由这些函数方程导出。
• 将已知的以伯努利多项式表示的双曲级数求值公式推广至多重 zeta 函数框架。
• 建立包含参数 $y \in [0,1]$ 的新显式求值公式，统一并扩展经典结果。
• 系统地恢复并推广涉及 $\sinh(m\pi i/\rho)^{-2}$ 和 $\coth(m\pi i/\rho)^2$ 的恒等式，其中 $\rho$ 为单位根。

提出的方法

• 利用围道积分和 Gamma 函数对 $x^{-s}$ 的积分表示，推导 Barnes 多重 zeta 函数的函数方程。
• 通过包含 $e^{\omega_j t} - 1$ 和 $t^{s-1}$ 的围道积分表达 Barnes zeta 函数，其中关键围道 $C(\theta)$ 包围原点。
• 通过引入参数 $y$，令 $a(y_1,\dots,y_n) = \sum \omega_j(1 - y_j)$，生成带有 $\cos(2m\pi y)$ 因子的广义级数。
• 将函数方程应用于特定情形：$n=2$ 用于 Ramanujan 型公式，$n=3$ 用于三次单位根，更高 $n$ 用于高阶恒等式。
• 利用单位根 $\eta = e^{\pi i/n}$ 的性质，简化所得级数中的三角函数与双曲函数表达式。
• 通过匹配函数方程中的系数并运用伯努利多项式恒等式，推导出显式求值公式。

实验结果

研究问题

• RQ1 Ramanujan 对 $\zeta(2N+1)$ 的公式能否从 Barnes 多重 zeta 函数的函数方程中导出？
• RQ2 如何利用 Barnes zeta 函数与伯努利多项式，将涉及 $\sinh(m\pi)$ 和 $\coth(m\pi)$ 的经典级数推广？
• RQ3 当框架扩展至更高阶多重 zeta 函数及复参数 $\rho = e^{2\pi i/3}$ 时，会涌现出哪些新的求值公式？
• RQ4 能否从函数方程系统地推导出涉及 $\sinh(m\pi i/\rho)^{-2}$ 和 $\coth(m\pi i/\rho)^2$ 的恒等式？
• RQ5 单位根在生成包含 $\pi^{2k}$ 有理倍数的新型双曲级数族中起什么作用？

主要发现

• 在双 zeta 情况下，Barnes zeta 函数的函数方程可作为特例导出 Ramanujan 公式 (1.5)，证实其源于 zeta 函数理论。
• 当 $n=2$ 时，一般公式 (6.10) 在 $y=1/2$ 和 $y=0$ 时分别恢复 (1.2) 和 (1.4)，表明这些公式可在同一框架下统一。
• 当 $n=3$ 时，公式 (6.12) 导出新恒等式，如 $\sum_{m \neq 0} \frac{\coth(m\pi i/\rho)^2}{m^4} = \frac{62}{2835}\pi^4$ 和 $\sum_{m \neq 0} \frac{1}{\sinh(m\pi i/\rho)^2 m^4} = -\frac{1}{2835}\pi^4$，其中 $\rho = e^{2\pi i/3}$。
• 该方法可生成高阶类比，如 $\sum \frac{\coth(m\pi i/\rho)^2}{m^{10}} = \frac{40247}{1915538625}\pi^{10}$，表明其系统性地超越经典结果。
• 当 $n=4$ 和 $n=5$ 时，该框架产生如 $\sum \frac{(-1)^m}{\sinh(m\pi)\sinh(m\pi i\zeta_8)\sinh(m\pi i\zeta_8^{-1})m^5} = \frac{1}{37800}\pi^5$ 的恒等式，涉及更高阶单位根。
• 一般公式 (5.1) 及其特例 (6.4) 提供了统一机制，可推导出所有此类级数，包括含 Euler 多项式与余弦因子的级数，如附录 Remark 6.6 所示。