[论文解读] Alternating Euler sums and special values of Witten multiple zeta function attached to so(5)

Jianqiang Zhao|arXiv (Cornell University)|Mar 3, 2009

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

一句话总结

该论文证明了与李代数 𝔰𝔬(5) 相关的 Witten 多重 zeta 函数在非负整数处的特殊值，可表示为同权同深度至多为二的交错欧拉和的有限有理线性组合，例外情况为仅最后两个或最后一个参数非零时，需额外引入 ζ(w−1)。结果推广了已知的多重 zeta 值关系，并为对称情形如 ζₛₒ(₅)(2m,2m,2m,2m) 提供了显式有理系数公式。

ABSTRACT

In this note we shall study the Witten multiple zeta function associated to the Lie algebra so(5) defined by Matsumoto. Our main result shows that its special values at nonnegative integers are always expressible by alternating Euler sums. More precisely, every such special value of weight w>2 is a finite rational linear combination of alternating Euler sums of weight w and depth at most two, except when the only nonzero argument is one of the two last variables in which case $ζ(w-1)$ is needed.

研究动机与目标

• 刻画与李代数 𝔰𝔬(5) 关联的 Witten 多重 zeta 函数在非负整数处的特殊值。
• 研究这些特殊值是否能用已知特殊函数（特别是交错欧拉和）表示。
• 将已知的多重 zeta 值奇偶关系与可约性结果推广至 𝔰𝔬(5) 情形。
• 为对称情形如 ζₛₒ(₅)(2m,2m,2m,2m) 提供显式有理系数公式，从而解决 Zagier 关于其与 π^{8m} 关系的猜想。

提出的方法

• 将 𝔰𝔬(5) 的 Witten 多重 zeta 函数定义为正整数上的四重和，分母形式为 m^{s₁}n^{s₂}(m+n)^{s₃}(m+2n)^{s₄}。
• 利用 Mordell-Tornheim zeta 函数的积分表示与收敛性判别准则，确保在非负整数参数下级数收敛。
• 应用多重 polylogarithm 在单位根处的正则化技巧与双重 shuffle 关系，简化交错欧拉和。
• 通过代数恒等式与已知关系（如 ζ({3}ⁿ) = 8ⁿζ({̄2,1}ⁿ)）将原和式化为交错欧拉和的线性组合。
• 利用多重 zeta 值与伯努利数的理论，推导对称情形的闭式表达。
• 通过数值验证公式精度达 10⁻¹⁰⁰ 量级，并与 Komori、Matsumoto 及 Tsumura 的已知结果交叉比对。

实验结果

研究问题

• RQ1 𝔰𝔬(5) 的 Witten 多重 zeta 函数在非负整数处的特殊值能否用交错欧拉和表示？
• RQ2 这些特殊值的有理线性组合结构为何？是否存在一般模式的例外？
• RQ3 这些结果如何与 Zagier 的猜想相关联，即 ζₛₒ(₅)(2m,2m,2m,2m) 是 π^{8m} 的有理倍数？
• RQ4 能否利用交错欧拉和恒等式显式确定 Zagier 公式中的有理系数？
• RQ5 伯努利数与组合和在对称特殊值的闭式表达中起何作用？

主要发现

• 𝔰𝔬(5) Witten zeta 函数在非负整数处的所有收敛特殊值，均为同权 w 与深度至多为二的交错欧拉和的有限 ℚ-线性组合。
• 唯一例外出现在 s₁ = s₂ = s₃ = 0 或 s₁ = s₂ = s₄ = 0 的情形，此时除交错欧拉和外还需引入 ζ(w−1)。
• 对于对称参数 (2m,2m,2m,2m)，其值恰好为 c(m)·π^{8m}，其中 c(m) ∈ ℚ，本文给出了 c(m) 的显式公式，涉及伯努利数与组合和。
• c(m) 的公式为 c(m) = 2^{8m−3}/(8m)! × Σ_{ν=0}^{m} B_{2ν}B_{8m−2ν} (8m 选 2ν) × [带符号的二项式系数和]，与 Komori 等人的已知结果一致。
• 数值验证表明所推导恒等式在 10⁻¹⁰⁰ 精度内正确，支持代数推导的可靠性。
• 本文通过提供 ζₛₒ(₅)(2m,2m,2m,2m) 的闭式有理系数，彻底解决了 Zagier 的原始猜想，明确将其与伯努利数及二项式系数关联。