[论文解读] Multiple zeta-star values and multiple integrals

Shûji Yamamoto|arXiv (Cornell University)|May 26, 2014

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

一句话总结

本文提出了一种用于有限多重调和和及多重zeta星值（MZSVs）的新积分表示，利用与2-标记偏序集相关的多重积分族。通过在积分区域和微分形式中编码组合排序，该方法为MZSVs之间的对偶关系和函数恒等式（包括Euler-Zagier型及其他变体）提供了清晰的推导。

ABSTRACT

We prove a kind of integral expressions for finite multiple harmonic sums and multiple zeta-star values. Moreover, we introduce a class of multiple integrals, associated with some combinatorial data (called 2-labeled posets). This class includes both multiple zeta and zeta-star values of Euler-Zagier type, and also several other types of multiple zeta values. We show that these integrals can be used to obtain some relations among such zeta values quite transparently.

研究动机与目标

• 建立一个有限多重调和和的积分表达式，自然地编码其对偶关系。
• 将迭代积分框架推广至包含多重zeta星值及其他非Euler-Zagier家族的zeta型值。
• 在单一组合-积分形式体系下统一各种已知的多重zeta值关系。
• 提供一种系统化方法，利用几何与组合结构推导MZSVs之间的函数恒等式。
• 通过2-标记偏序集将积分方法的应用扩展至非标准zeta值。

提出的方法

• 基于索引k定义积分区域Δ(k)，其中变量间的不等式关系取决于累积和集合J(k) = {0} ∪ A(k)，其中A(k) = {k₁, k₁+k₂, ..., k₁+⋯+kₙ₋₁}。
• 为积分中的每个变量分配微分形式ω₀(t) = dt/t和ω₁(t) = dt/(1−t)，形式由指示函数δ(j) = 1（若j−1 ∈ J(k)），否则为0决定。
• 构造积分I(Δ(k)) = ∫Δ(k) t₁^{N−1} dt₁ ωδ(2)(t₂)⋯ωδ(k)(tₖ)以表示有限和sₖ(N)。
• 通过对区域进行变换t ↦ 1−t，推导出对偶恒等式∑ᵢ₌₀^{N−1} (−1)ⁱ (N−1 choose i) sₖ(i+1) = sₖ*(N)，其中k*为转置索引。
• 将积分扩展至N → ∞，得到多重zeta星值ζ*(k) = ∫Δ(k) ωδ(1)(t₁)⋯ωδ(k)(tₖ)的表达式。
• 通过2-标记偏序集建模一般多重zeta值，其中顶点按黑色（t）和白色（1−t）类型排序，积分通过在链上细化全序来计算。

实验结果

研究问题

• RQ1 能否为有限多重调和和构建一个统一的积分表示，使其对偶性质显而易见？
• RQ2 多重zeta星值的结构如何通过积分区域和微分形式实现几何编码？
• RQ3 2-标记偏序集框架能否以清晰且系统化的方式推导出已知的多重zeta值函数关系？
• RQ4 组合细化（如链上的全序）在生成[KMT]中所述恒等式时起什么作用？
• RQ5 该积分方法在多大程度上可推广至复参数或非整数参数，如基于部分分式推导的情形？

主要发现

• 有限多重调和和sₖ(N)具有如下积分表示：sₖ(N) = ∫Δ(k) t₁^{N−1} dt₁ ωδ(2)(t₂)⋯ωδ(k)(tₖ)，其中Δ(k)由索引k决定的不等式定义。
• 对偶关系∑ᵢ₌₀^{N−1} (−1)ⁱ (N−1 choose i) sₖ(i+1) = sₖ*(N)可直接由变量替换t ↦ 1−t及对称性δ*(j) = 1−δ(j)推出。
• 多重zeta星值ζ*(k)由无穷积分ζ*(k) = ∫Δ(k) ωδ(1)(t₁)⋯ωδ(k)(tₖ)给出，当k₁ ≥ 2时成立。
• 2-标记偏序集框架可通过在细化后的偏序集上分解积分并计数链上的全序，推导出复杂的函数恒等式，如[KMT]中的恒等式。
• 在j个黑色顶点和r−1个白色顶点的链上，全序的数量由二项式系数(r−1+j choose j)给出，该系数出现在所得zeta值的系数中。
• 该方法自然重现了恒等式ζ(p; q, r) = ∑ⱼ₌₀^{q−1} (r−1+j choose j) ζ(p, r+j; q−j, q₂,…,q_b; r₂,…,r_c) + ∑ⱼ₌₀^{r−1} (q−1+j choose j) ζ(p, q+j; q₂,…,q_b; r−j, r₂,…,r_c)，通过分解偏序集并计数有序排列实现。