[论文解读] Laurent series expansions of multiple zeta-functions of Euler-Zagier type at integer points

Kohji Matsumoto, Tomokazu Onozuka+1 more|arXiv (Cornell University)|Jan 22, 2016

Advanced Mathematical Identities参考文献 12被引用 4

一句话总结

本文为多变量复数域中任意整数点处的Euler-Zagier多重zeta函数的Laurent级数展开提供了显式公式与算法。通过Mellin-Barnes积分与调和乘积恒等式，推导出系数表达式，其形式涉及广义Stieltjes常数与多重zeta函数导数，解决了在非收敛点（特别是当 r ≥ 2 且整数元组位于绝对收敛域外时）的奇异性问题。

ABSTRACT

We give explicit expressions (or at least an algorithm of obtaining such expressions) of the coefficients of the Laurent series expansions of the Euler-Zagier multiple zeta-functions at any integer points. The main tools are the Mellin-Barnes integral formula and the harmonic product formulas. The Mellin-Barnes integral formula is used in the induction process on the number of variables, and the harmonic product formula is used to show that the Laurent series expansion outside the domain of convergence can be obtained from that inside the domain of convergence.

研究动机与目标

• 推导Euler-Zagier多重zeta函数在多变量任意整数点处Laurent级数展开系数的显式表达式。
• 研究当 r ≥ 2 时，这些zeta函数在绝对收敛域外的整数点处的行为，特别是 mᵢ ∈ ℤ 的情形。
• 提供一种基于已知特殊函数与导数的算法化方法，用于计算Laurent系数。
• 将经典的Riemann zeta函数Laurent展开推广至多变量情形，涵盖 (1,…,1) 及其他整数元组处的奇点。

提出的方法

• 在变量数 r 上采用归纳法，以Mellin-Barnes积分公式作为核心工具。
• 应用调和乘积公式，将Laurent展开从收敛区域扩展至其外区域，包括奇点。
• 利用多重zeta函数的偏导数与广义Stieltjes常数 γ_(n₁,…,nᵣ) 表示展开系数。
• 通过二项式系数展开与zeta值在极点附近的渐近分析，计算奇点部分与正则部分。
• 通过函数 Mᵣ(m) 引入递归结构，控制展开式中求和范围。
• 通过精细的 O-项估计与解析延拓处理发散项，尤其在多个变量趋近于非正整数时。

实验结果

研究问题

• RQ1 如何系统地计算Euler-Zagier多重zeta函数在任意整数点 (m₁,…,mᵣ) ∈ Cʳ 处的Laurent级数展开，包括其在绝对收敛域外的点？
• RQ2 当 r ≥ 2 且 mᵢ ∈ ℤ 时，Laurent展开的奇点部分与正则部分的精确结构是什么，特别是当 mᵢ ≤ 0 或 mᵢ = 1 时？
• RQ3 广义Stieltjes常数与多重zeta函数导数如何共同参数化多变量Laurent展开中的系数？
• RQ4 调和乘积恒等式是否可用于将Laurent展开从收敛区域扩展至整个复空间，即使在极点处？
• RQ5 积分项如 I(s₁,…,sᵣ; Mᵣ(m)+1−η) 在高阶情形中如何保持收敛性并确保极限值的正确性？

主要发现

• 在任意整数点 (m₁,…,mᵣ) 处，Laurent级数展开的系数可显式表示为广义Stieltjes常数 γ_(n₁,…,nₖ) 与多重zeta函数导数 ζₖ^(l₁,…,lₖ)(q₁,…,qₖ) 的组合，其中 1 ≤ k ≤ r。
• 当 r = 2 且 (m₁,m₂) ∈ ℤ≤₀ × ℤ 时，本文推导出完整的Laurent展开，包含 1/(s₁+s₂−m₁−m₂) 极点项与有限正则项，其显式依赖于 ζ(m₁+m₂−1) 与 γ。
• 当 m₁ ≤ 0 且 m₂ ≤ 0 时，奇点部分源于二项式系数与在 s₁+s₂ = m₁+m₂ 处具有单极点的zeta函数，其留数与 ζ(m₁+m₂−1) 成正比。
• 该方法成功处理了标准展开失效的情形，如 mᵣ ≤ 0 或 mᵣ = 1，通过引入 O(|sᵣ−mᵣ|) 与 O(|s₁+⋯+sᵣ−m₁−⋯−mᵣ|) 的误差项。
• 当 r = 3 时，该方法表明积分余项通常不可忽略，尤其在 m₂ ≤ 0 且 m₃ = 1 时，因中间表达式中存在奇点。
• 调和乘积公式可将展开扩展至收敛域之外，但当极点对齐时需格外小心，如在 s₃ = 1 情形中，O(|s₂−m₂|/(s₃−1)) 项阻止了直接取极限。