[论文解读] On $q$-analogues of two-one formulas for multiple harmonic sums and multiple zeta star values

Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood|arXiv (Cornell University)|Mar 31, 2013

Advanced Mathematical Identities被引用 4

一句话总结

本文建立了多重 zeta 星值的两个一公式之 $q$-类比，扩展了 Zhao 最近关于多重调和和的二项恒等式的工作。通过引入多重调和和与 $q$-zeta 星值的 $q$-类比，作者推导出有限 $q$-二项恒等式，这些恒等式在 $q \to 1$ 的极限下，恢复了 Ohno 和 Zudilin 的经典两个一公式。关键贡献是一个新的 $q$-类比恒等式，将 $\zeta_q^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1]$ 表示为 $\hat{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$ 的和，其中索引字符串具有特定结构。

ABSTRACT

Recently, the present authors jointly with Tauraso found a family of binomial identities for multiple harmonic sums (MHS) on strings $(\\{2\\}^a,c,\\{2\\}^b)$ that appeared to be useful for proving new congruences for MHS as well as new relations for multiple zeta values. Very recently, Zhao generalized this set of MHS identities to strings with repetitions of the above patterns and, as an application, proved the two-one formula for multiple zeta star values conjectured by Ohno and Zudilin. In this paper, we extend our approach to $q$-binomial identities and prove $q$-analogues of two-one formulas for multiple zeta star values.

研究动机与目标

• 将 Zhao 最近对多重 zeta 星值两个一公式的证明推广到 $q$-类比设置。
• 利用 $q$-二项系数和 $q$-整数，发展多重调和和与 $q$-zeta 星值的 $q$-类比。
• 为具有 $\{2\}^s,1$ 和 $\{2\}^s,1,\{2\}^{s_{m+1}}$ 重复模式的多重调和和建立有限 $q$-二项恒等式。
• 证明这些 $q$-恒等式在 $q \to 1$ 时的极限可恢复 Ohno 和 Zudilin 的经典两个一公式。

提出的方法

• 使用 $q$-整数 $[k]_q$ 和 $q$-二项系数 $\genfrac{[}{]}{0pt}{}{n}{k}$ 定义多重调和和 $H_n^\star[\mathbf{s}]$ 和 $\mathcal{H}_n[\mathbf{s};\mathbf{t}]$ 的 $q$-类比。
• 引入 $q$-zeta 星值 $\zeta_q^\star[\mathbf{s}]$，以及两个新的 $q$-zeta 类函数 $\hat{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$ 和 $\overline{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$，分别用于有限和无限和。
• 证明有限 $q$-二项恒等式（定理 3.2 和 3.3），将 $H_n^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1]$ 和 $H_n^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1,\{2\}^{s_{m+1}}]$ 与 $\hat{\mathfrak{z}}_q$ 和 $\overline{\mathfrak{z}}_q$ 的和联系起来。
• 使用一个极限引理（引理 4.1）来证明从有限 $q$-恒等式到无限 $q$-zeta 恒等式（当 $n \to \infty$ 时）的过渡是合理的。
• 应用极限过程，推导出定理 1.1 和 1.2，将 $q$-zeta 星值表示为具有特定结构的索引字符串的 $\hat{\mathfrak{z}}_q$ 和 $\overline{\mathfrak{z}}_q$ 的和。

实验结果

研究问题

• RQ1 能否通过 $q$-二项恒等式将多重 zeta 星值的两个一公式推广到 $q$-类比？
• RQ2 $q$-类比的多重调和和与 $q$-zeta 星值在有限和无限求和下如何表现？
• RQ3 以 $1$ 或 $2$ 结尾的字符串的两个一公式的 $q$-类比具有何种结构？
• RQ4 $q \to 1$ 的极限如何恢复 Ohno 和 Zudilin 的经典两个一公式？

主要发现

• 本文证明了多重 zeta 星值的 $q$-类比两个一公式：$\zeta_q^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1] = \sum_{\mathbf{p}=(2s_1+1)\circ\cdots\circ(2s_m+1)} \hat{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$，其中 $\circ$ 表示逗号或加号，$\widetilde{\mathbf{p}}$ 是对应的 $s_i+1$ 字符串。
• 为以 $2$ 结尾的两个一字符串建立了 $q$-类比：$\zeta_q^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1,\{2\}^{s_{m+1}}] = \sum_{\mathbf{p}=(2s_1+1)\circ\cdots\circ(2s_m+1)\circ(2s_{m+1})} \overline{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$。
• 定理 3.2 和 3.3 中的有限 $q$-二项恒等式分别对 $H_n^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1]$ 和 $H_n^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1,\{2\}^{s_{m+1}}]$ 得证，方法为递归推理和 $q$-二项系数恒等式。
• $q$-恒等式在 $q \to 1$ 时的极限恢复了经典两个一公式：Zhao 工作中的 (33) 和 (34)，确认了与已知结果的一致性。
• 建立了一个关键的技术引理（引理 4.1），用于证明当 $n \to \infty$ 时 $q$-二项系数项的收敛性，确保了 $q$-zeta 恒等式的有效性。