[论文解读] Multiple zeta functions of Kaneko-Tsumura type and their values at positive integers

Shûji Yamamoto|arXiv (Cornell University)|Jul 7, 2016

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

一句话总结

本文将神崎-津村多重ζ函数推广为2r个复变量的全纯函数，证明其解析延拓，并建立其在正整数处的特殊值与欧拉-扎吉耶尔多重ζ值之间的线性关系。一个关键结果是，对任意复数k, l，严格证明了对偶性恒等式η(k;l) = η(l;k)，并给出了显式计算结果，如η(1,…,1;1,…,1) = ζ(2,…,2)。

ABSTRACT

Kaneko and Tsumura introduced a new kind of multiple zeta functions $η(k_1,\ldots,k_r;s_1,\ldots,s_r)$. This is an analytic function of complex variables $s_1,\ldots,s_r$, while $k_1,\ldots,k_r$ are non-positive integer parameters. In this paper, we first extend this function to an analytic function $η(s'_1,\ldots,s'_r;s_1,\ldots,s_r)$ of $2r$ complex variables. Then we investigate its special values at positive integers. In particular, we prove some linear relations among these $η$-values and the multiple zeta values $ζ(k_1,\ldots,k_r)$ of Euler-Zagier type.

研究动机与目标

• 将神崎-津村多重ζ函数推广为2r个复变量的全纯函数，推广其原始定义中仅限于非正整数参数的限制。
• 利用围道积分方法，证明该推广函数在全复空间C^{2r}上的解析延拓。
• 研究该推广函数在正整数处的特殊值，并推导其与欧拉-扎吉耶尔多重ζ值之间的线性关系。
• 对任意复数k, l，严格证明此前仅在非正整数情况下观察到的对偶性恒等式η(k;l) = η(l;k)。
• 将某些正整数处的η值表达为多重ζ值的有限和，包括显式计算如η(1,…,1;1,…,1) = ζ(2,…,2)。

提出的方法

• 通过涉及r个变量的多重多对数函数的多重积分表示，定义推广函数η(s′₁,…,s′ᵣ;s₁,…,sᵣ)。
• 应用经典的围道积分方法，利用围道C_ε，将多重多对数函数的参数推广至复数。
• 利用积分表示式(2.1)，将多重多对数函数表示为Γ函数与围道积分的乘积，从而实现向C^{2r}的解析延拓。
• 建立对称性：η(s′₁,…,s′ᵣ;s₁,…,sᵣ) = η(s₁,…,sᵣ;s′₁,…,s′ᵣ)，推广原始函数的对偶性。
• 通过积分变换与级数展开推导正整数处的特殊值公式，特别涉及对数积分与多重ζ值恒等式。
• 利用组合恒等式与指标集上的容斥原理，将整数链上的求和关系化为多重ζ值，如引理A.2与定理A.1所形式化。

实验结果

研究问题

• RQ1 神崎-津村多重ζ函数如何被推广为2r个复变量的全纯函数？
• RQ2 该推广函数在正整数处的特殊值是什么？它们与欧拉-扎吉耶尔多重ζ值有何关系？
• RQ3 对偶性恒等式η(k;l) = η(l;k)是否可对任意复数k, l严格证明，而不仅限于非正整数？
• RQ4 哪些正整数处的η值可表示为多重ζ值的有限和？
• RQ5 指标集与整数链的组合结构如何促成η值与多重ζ值之间线性关系的建立？

主要发现

• 神崎-津村多重ζ函数被推广为2r个复变量的全纯函数η(s′₁,…,s′ᵣ;s₁,…,sᵣ)，并在C^{2r}上实现完整的解析延拓。
• 该推广函数满足对称性η(s′₁,…,s′ᵣ;s₁,…,sᵣ) = η(s₁,…,sᵣ;s′₁,…,s′ᵣ)，推广了原始函数中观察到的对偶性。
• 对任意复数k和l，对偶性恒等式η(k;l) = η(l;k)已严格证明，不仅限于非正整数。
• 特殊值η(1,…,1;1,…,1)等于多重ζ值ζ(2,…,2)，为推广函数在正整数处的取值提供了具体计算结果。
• 对于正整数k和l，η(k;l)可表示为满足特定不等式关系的整数链上的有限和，该和可重写为多重ζ值的有限和。
• 本文通过恒等式η(k;l) = ∑_{J⊂J(k)} S_J，建立了η值与多重ζ值之间的一般线性关系，其中S_J对应于具有指定关系运算符的链上求和。