[论文解读] Sum formula for multiple zeta function

Minoru Hirose, Hideki Murahara+1 more|arXiv (Cornell University)|Aug 5, 2018

Advanced Mathematical Identities参考文献 3被引用 3

一句话总结

本文将经典多重 zeta 值（MZV）的求和公式推广至具有复参数的欧拉-扎吉耶尔多重 zeta 函数（MZF）。引入了一类递归函数 $ G_{a,b}(s_1,\dots,s_a;s) $，统一了高深度的 MZV，证明了当 $ \Re(s) > b $ 时，$ G_{0,b}(s) = \zeta(s) $，从而将求和公式推广至复变量及深度 $ b \geq 2 $。

ABSTRACT

The sum formula is a well known relation in the field of the multiple zeta values. In this paper, we present its generalization for the Euler-Zagier multiple zeta function.

研究动机与目标

• 将经典多重 zeta 值（MZV）的求和公式从正整数推广至欧拉-扎吉耶尔多重 zeta 函数（MZF）中的复参数。
• 通过将求和公式推广至复变量，回答松本提出的问题：已知的 MZV 关系是否在正整数范围之外依然成立。
• 定义并分析一类递归函数 $ G_{a,b}(s_1,\dots,s_a;s) $，统一深度为 $ a+b $ 的 MZV，并确保在指定复域条件下收敛。
• 证明当 $ \Re(s) > b $ 时，$ G_{0,b}(s) = \zeta(s) $，从而在 $ s \in \mathbb{Z}_{>b} $ 时，经典求和公式作为特例被恢复。

提出的方法

• 通过涉及 MZF 值的无穷级数，递归定义 $ G_{a,b}(s_1,\dots,s_a;s) $：$ G_{a,b} = \sum_{n=0}^\infty G_{a+1,b-1}(s_1,\dots,s_a,s-n-b;n+b) - \sum_{n=0}^\infty G_{a+1,b-1}(s_1,\dots,s_a,-n;s+n) $，其中基底情形为 $ G_{a,1} = \zeta(s_1,\dots,s_a,s) $。
• 利用多重 zeta 级数进行比较，证明在条件 $ \Re(s) > b $，$ \Re(s + s_a) > 1 + b $，…，$ \Re(s + s_a + \cdots + s_1) > a + b $ 下，$ G_{a,b} $ 绝对收敛。
• 证明 $ G_{a,b} $ 的显式积分表示为对链 $ 0 < m_1 < \cdots < m_a < m $ 的求和，其系数包含对 $ x_1 \leq \cdots \leq x_{b-1} $ 的调和和。
• 通过解析延拓，将恒等式 $ \sum_{n=0}^\infty (\zeta(s-n-2,n+2) - \zeta(-n,s+n)) = \zeta(s) $ 从 $ \Re(s) > 2 $ 延拓至 $ \Re(s) > 1 $，排除 $ s = 2 $。
• 利用涉及 $ F_d^{(i)}(D;s) $ 的递归恒等式（表示对整数链的部分和），证明 $ F_{d+1}(D;s) = F_d^{(1)}(D;s) - F_d^{(2)}(D;s) - F_d^{(3)}(D;s) $，从而实现归纳收敛控制。
• 应用递归结构，通过将表达式约化为对 $ m $ 的求和并引入调和平均项，最终证明 $ G_{0,b}(s) = \zeta(s) $。

实验结果

研究问题

• RQ1 能否将 MZV 的经典求和公式推广至欧拉-扎吉耶尔 MZF 中的复参数？
• RQ2 何种递归结构控制了深度为 $ b $ 的 MZV 的和，以确保其收敛性与解析性？
• RQ3 当 $ s $ 为大于 $ b $ 的正整数时，广义求和公式与经典求和公式有何关系？
• RQ4 复参数需满足何种条件，才能确保广义求和公式的收敛性与亚纯延拓？
• RQ5 能否通过 MZF 值的递归族，将求和公式推广至任意深度 $ b \geq 2 $？

主要发现

• 广义求和公式 $ G_{0,b}(s) = \zeta(s) $ 对所有满足 $ \Re(s) > b $ 的复数 $ s $ 成立，将经典求和公式推广至复参数。
• 函数 $ G_{a,b}(s_1,\dots,s_a;s) $ 在条件 $ \Re(s) > b $，$ \Re(s + s_a) > 1 + b $，…，$ \Re(s + s_a + \cdots + s_1) > a + b $ 下定义良好且绝对收敛。
• 当 $ s \in \mathbb{Z}_{>b} $ 时，$ G_{a,b}(s_1,\dots,s_a;s) $ 退化为 MZV 的和 $ \sum_{m_1+\cdots+m_b=s,\, m_i \geq 1, m_b \geq 2} \zeta(s_1,\dots,s_a,m_1,\dots,m_b) $，从而恢复经典求和公式。
• 恒等式 $ \sum_{n=0}^\infty (\zeta(s-n-2,n+2) - \zeta(-n,s+n)) = \zeta(s) $ 在 $ \Re(s) > 2 $ 下通过级数变换得证，并通过解析延拓扩展至 $ \Re(s) > 1 $，$ s \neq 2 $。
• 证明了 $ G_{a,b} $ 的递归结构满足 $ F_{d+1}(D;s) = F_d^{(1)}(D;s) - F_d^{(2)}(D;s) - F_d^{(3)}(D;s) $，从而实现归纳收敛控制并可显式计算。
• 推导并证明了显式公式 $ G_{a,b}(s_1,\dots,s_a;s) = \sum_{0<m_1<\cdots<m_a<m} \frac{1}{m_1^{s_1}\cdots m_a^{s_a} m^{s-b+1}} \sum_{m-m_a \leq x_1 \leq \cdots \leq x_{b-1} \leq m} \frac{1}{x_1 \cdots x_{b-1}} $ 的收敛性。