A note on the multiple zeta functions and their variants at identical arguments

这是一份关于 Pawan Singh Mehta 所著论文《关于多重 Zeta 函数及其变体在相同参数下的注记》（A NOTE ON THE MULTIPLE ZETA FUNCTIONS AND THEIR VARIANTS AT IDENTICAL ARGUMENTS）的详细技术总结。

1. 研究问题 (Problem)

本文主要研究多重 Zeta 函数 (Multiple Zeta Functions, MZF) 及其几种自然变体在相同参数（即所有参数 $s_1 = s_2 = \dots = s_r = s$）下的性质。

具体研究对象包括：

• 多重 Zeta 函数：$\zeta_r(s, \dots, s)$
• 多重 Zeta-star 函数 (MZSF)：$\zeta^\star_r(s, \dots, s)$
• 多重 t-函数 (MtF)：$t_r(s, \dots, s)$
• 多重 t-star 函数 (MtSF)：$t^\star_r(s, \dots, s)$

核心问题在于：

1. 如何将这些多重函数显式地表示为黎曼 Zeta 函数 $\zeta(s)$ 及其变体（如 $t(s)$）的多项式？
2. 这些多项式的系数是否有明确的组合数学描述？
3. 利用这种描述，能否推导出这些函数在特殊点（如正整数、负偶数、0 以及极点）的值和奇异性结构？
4. 能否建立不同变体（$\zeta, \zeta^\star, t, t^\star$）之间的函数关系？

2. 方法论 (Methodology)

作者采用了一种基于组合数学和生成函数的方法，核心工具是完全贝尔多项式 (Complete Bell Polynomials)。

• 递归关系的转化：
  利用多重 Zeta 函数及其变体满足的牛顿恒等式（Newton's identities）或调和积公式（Harmonic product formula）导出的递归关系。例如，对于 $\zeta_r(s)$，有：
  $$r\zeta_r(s) = \sum_{j=1}^r (-1)^{j-1} \zeta_{r-j}(s) \zeta(js)$$
  作者将这些递归关系转化为形式幂级数的微分方程。

• 贝尔多项式的应用：
  通过引入形式幂级数 $p(x)$ 和 $q(x)$，将递归关系转化为微分方程 $p'(x) = \pm p(x)q(x)/x$。该方程的解涉及指数生成函数，从而自然地引出完全贝尔多项式 $Y_n$。
  利用贝尔多项式的定义：
  $$Y_n(x_1, \dots, x_n) = \sum_{k=1}^n B_{n,k}(x_1, \dots, x_{n-k+1})$$
  作者将递归解表示为贝尔多项式的形式，其中变量 $x_i$ 对应于 $\zeta(is)$ 或 $t(is)$ 的加权值。

• 生成函数技巧：
  利用贝尔多项式的生成函数性质 $\exp(\sum x_m t^m/m!)$ 以及其加法性质（公式 17），建立了不同变体函数之间的代数联系。

3. 主要贡献与结果 (Key Contributions and Results)

A. 显式多项式表达 (Explicit Polynomial Expressions)

作者给出了 $\zeta_r(s)$ 和 $t_r(s)$ 以及它们的星号变体 $\zeta^\star_r(s)$ 和 $t^\star_r(s)$ 的显式公式，将其表示为 $\zeta(s), \zeta(2s), \dots, \zeta(rs)$ 的多项式。

• 定理 1：给出了 $\zeta_r(s)$ 和 $t_r(s)$ 的表达式，系数涉及 $(-1)$ 的幂次和阶乘倒数，本质上对应于完全贝尔多项式的值。
  $$\zeta_r(s) = \sum_{\substack{c_1, \dots, c_r \ge 0 \\ c_1 + 2c_2 + \dots + rc_r = r}} \frac{(-1)^{r + \sum c_i}}{1^{c_1}c_1! \dots r^{c_r}c_r!} \zeta(s)^{c_1} \zeta(2s)^{c_2} \dots \zeta(rs)^{c_r}$$
• 定理 2：给出了星号变体 $\zeta^\star_r(s)$ 和 $t^\star_r(s)$ 的类似表达式，但去除了 $(-1)$ 的符号项。

创新点：虽然 Matsumoto 等人之前已给出过类似形式（系数为有理数但未显式化），本文首次明确指出了这些系数与完全贝尔多项式的具体数值对应关系。

B. 奇异性分析 (Singularity Analysis)

利用上述多项式表达，作者重新推导并证明了 $\zeta_r(s)$ 的奇异性结构。

• 结论：$\zeta_r(s)$ 仅在 $s = 1/k$ ($1 \le k \le r$) 处有极点。
• 极点阶数：在 $s = 1/k$ 处，极点的阶数为 $[r/k]$（$r/k$ 的整数部分）。
• 留数计算：利用贝尔多项式的性质，给出了极点处洛朗展开式的首项系数。

C. 函数间的关系 (Functional Relations)

定理 3 建立了多重 Zeta 函数与多重 t-函数之间的深刻联系。利用 $t(s) = (1-2^{-s})\zeta(s)$ 以及贝尔多项式的加法性质，作者推导出了：
$$t_r(s) = \sum_{j=0}^r \frac{(-1)^{r-j}}{2^{(r-j)s}} \zeta_j(s) \zeta^\star_{r-j}(s)$$
以及 $t^\star_r(s)$ 的类似公式。这一结果揭示了不同定义（严格不等式 vs 非严格不等式，奇数分母 vs 所有整数分母）之间的代数结构。

D. 特殊值计算 (Special Values)

利用贝尔多项式与伯努利数 ($B_n$) 及斯特林数 (Stirling numbers) 的关系，作者计算了关键点的值：

1. 正偶数点 ($s=2k$)：
   恢复了已知的 $\zeta_r(2)$ 和 $\zeta^\star_r(2)$ 的公式，并指出它们属于 $\mathbb{Q} \cdot \pi^{2r}$。

   • $\zeta_r(2) = \frac{\pi^{2r}}{(2r+1)!}$
   • $\zeta^\star_r(2)$ 与伯努利数相关。

2. 负偶数点 ($s=-2k$)：
   证明了所有变体在负偶数点均为 0（因为 $\zeta(-2k)=0$）。

3. 零点 ($s=0$)：
   这是一个重要的新结果。

   • $t_r(0) = t^\star_r(0) = 0$。
   • $\zeta_r(0)$ 和 $\zeta^\star_r(0)$ 是非零有理数。
   • 具体公式为：
     $$\zeta_r(0) = \frac{(-1)^r}{4^r} \binom{2r}{r}$$
     $$\zeta^\star_r(0) = -\frac{1}{r 2^{2r-1}} \binom{2r-2}{r-1}$$
   • 作者还给出了当 $r \to \infty$ 时的渐近行为。

4. 意义与影响 (Significance)

1. 统一框架：本文通过贝尔多项式提供了一个统一的框架，将多重 Zeta 函数、星号变体、t-函数及其星号变体统一在同一个代数结构下处理。
2. 系数显式化：解决了之前文献中关于多项式系数“存在但未显式给出”的问题，将系数明确为贝尔多项式的值，使得计算和理论分析更加直接。
3. 新关系发现：定理 3 揭示了 $\zeta, \zeta^\star, t, t^\star$ 之间此前未被充分强调的线性组合关系，为研究这些函数的代数性质提供了新工具。
4. 特殊值的新知：关于 $s=0$ 处的非零有理数值及其渐近行为，为多重 Zeta 函数在解析数论和组合数学中的进一步研究提供了新的具体数据。
5. 奇异性描述的简化：利用多项式结构简化了对多重 Zeta 函数极点位置和阶数的证明过程。

综上所述，该论文通过引入完全贝尔多项式，不仅给出了多重 Zeta 函数在相同参数下的显式多项式表达，还利用这一工具推导出了新的函数关系和特殊值公式，丰富了多重 Zeta 函数的理论体系。