[论文解读] On $q$-Analogs of Some Families of Multiple Harmonic Sum and Multiple Zeta Star Value Identities

Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood+1 more|arXiv (Cornell University)|Jul 30, 2013

Advanced Mathematical Identities参考文献 13被引用 10

一句话总结

本文建立了多重zeta星值（MZSV）与多重调和和（MHS）的$q$-类恒等式，推广了经典的对偶关系（如Two-one公式）。通过引入Euler和的$q$-变形并使用O-plus运算，作者推导出$q$-类对偶定理，这些定理在$q \to 1$极限下恢复经典恒等式，证明了Ihara等人关于权重属于\{2,3\}的Hoffman $\star$-元素张成MZV空间的猜想。

ABSTRACT

In recent years, there has been intensive research on the ${\mathbb Q}$-linear relations between multiple zeta (star) values. In this paper, we prove many families of identities involving the $q$-analog of these values, from which we can always recover the corresponding classical identities by taking $q o 1$. The main result of the paper is the duality relations between multiple zeta star values and Euler sums and their $q$-analogs, which are generalizations of the Two-one formula and some multiple harmonic sum identities and their $q$-analogs proved by the authors recently. Such duality relations lead to a proof of the conjecture by Ihara et al. that the Hoffman $\star$-elements $ζ^{\star}(s_1,\dots,s_r)$ with $s_i\in\{2,3\}$ span the vector space generated by multiple zeta values over ${\mathbb Q}$.

研究动机与目标

• 将涉及多重zeta星值（MZSV）和Euler和的经典恒等式推广至其$q$-类形式。
• 建立$q$-MZSV与$q$-Euler和之间的$q$-变形对偶关系，推广Two-one公式。
• 证明权重属于\{2,3\}的Hoffman $\star$-元素$\zeta^\star(s_1,\dots,s_r)$张成多重zeta值的有理向量空间。
• 提供一个系统框架，利用O-plus运算和带符号索引结构生成$q$-类恒等式。
• 通过取$q \to 1$的极限，从新的$q$-恒等式中恢复此前未被证明的经典MZSV恒等式。

提出的方法

• 引入带符号索引集$\mathbb{D} = \mathbb{N} \cup \overline{\mathbb{N}}$与O-plus（$\oplus$）运算，统一处理交错与非交错和。
• 利用$q$-整数$[k]_q$与带符号指数，定义多重调和和（$H_n^\star$）与多重zeta星值（$\zeta^\star$）的$q$-类形式。
• 应用附着规则（如（19）与（20）），通过$\oplus$与符号变换修改索引串，递归构建$q$-类恒等式。
• 使用$q$-Euler和$\mathfrak{z}^\sharp$-函数，将$q$-MZSV表示为经变换的索引序列对应的$q$-类Euler和。
• 在$q$-恒等式中取极限$q \to 1$，以恢复已知的经典恒等式，包括Two-one公式与新的MZSV恒等式。
• 利用生成函数与$q$-级数恒等式（如引理2.3）验证在$q \to 1$极限下的收敛性与代数结构。

实验结果

研究问题

• RQ1 经典恒等式中关于多重zeta星值与Euler和的对偶关系能否推广至$q$-类形式？
• RQ2 在O-plus运算下，与$q$-MZSV对应的$q$-类Euler和具有何种结构？
• RQ3 $q$-类恒等式是否在极限$q \to 1$下恢复已知的经典恒等式？
• RQ4 $q$-变形对偶关系能否用于证明权重属于$\{2,3\}$的Hoffman $\star$-元素张成MZV的有理向量空间？
• RQ5 形式为$\zeta^\star(\{2\}^a, 1, \{2\}^b, 3, \{2\}^c, 1)$的MZSV的$q$-类恒等式的确切形式为何？

主要发现

• 本文证明了$\zeta^\star(\{2\}^a, {\bf s}) = \iota_{\bf s} \zeta^\sharp(2a \oplus \lambda_1, \dots, \lambda_m)$，将Two-one公式推广至$q$-类形式。
• 对于任意形如$\zeta^\star(\{2\}^a, 1, \{2\}^b, 1, \{2\}^c, 3, \{2\}^d, 1)$的$q$-MZSV，恒等式$\zeta^\star[\{2\}^a,1,\{2\}^b,1,\{2\}^c,3,\{2\}^d,1] = \sum \mathfrak{z}[\cdot]$成立，且包含七个不同的$q$-Euler和项。
• 建立了$q$-类恒等式$\zeta^\star[\{2\}^a,3,\{2\}^b,1] + \zeta^\star[\{2\}^b,3,\{2\}^a,1] - \zeta^\star[\{2\}^{a+1}] olimits \zeta^\star[\{2\}^{b+1}] = (1-q)\mathfrak{z}[2a+2b+3;a+b+2;2]$，且修正项在$q \to 1$时趋于零。
• 通过取$q \to 1$，本文恢复并证明了引言中此前未被证明的经典MZSV恒等式（3），确认其有效性。
• 作者证明了权重满足$s_i \in \{2,3\}$的Hoffman $\star$-元素$\zeta^\star(s_1,\dots,s_r)$张成多重zeta值的有理向量空间，证实了Ihara等人提出的猜想。
• 在递归应用附着规则下，$q$-MZSV与$q$-Euler和之间的对偶关系得以保持，从而可系统性地生成新恒等式。