[論文レビュー] 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

ひとこと要約

本稿は、多重ゼータスター値（MZSV）および多重ハーモニック和（MHS）の$q$-アナログ恒等式を確立し、二対一の公式を含む古典的双対性関係を一般化する。$q$-変形されたオイラー和を導入し、Oプラス演算を用いることで、$q \to 1$ の極限において古典的恒等式を回復する$q$-アナログ双対定理を導出し、伊原らの、重みが\{2,3\} に属するホフマン$\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}$.

研究の動機と目的

• 複数のゼータスター値（MZSV）およびオイラー和にまつわる古典的恒等式を、$q$-アナログに拡張すること。
• 二対一の公式を一般化する、$q$-MZSVと$q$-オイラー和の間の$q$-変形された双対性を確立すること。
• 重みが\{2,3\} に属するホフマン$\star$-要素$\zeta^\star(s_1,\dots,s_r)$ が、多重ゼータ値の有理数ベクトル空間を張することを証明すること。
• Oプラス演算と符号付きインデックス構造を用いた、$q$-アナログ恒等式を体系的に生成するフレームワークを提供すること。
• 新しい$q$-恒等式において$q \to 1$ の極限を取ることで、以前未解決であった古典的MZSV恒等式を回復すること。

提案手法

• 符号付きインデックス集合$\mathbb{D} = \mathbb{N} \cup \overline{\mathbb{N}}$とOプラス（$\oplus$）演算を導入し、交代和と非交代和を統一する。
• $q$-整数$[k]_q$と符号付き指数を用いて、多重ハーモニック和（$H_n^\star$）および多重ゼータスター値（$\zeta^\star$）の$q$-アナログを定義する。
• 付加規則（例えば、(19)および(20)）を適用し、$\oplus$および符号変換を用いてインデックス文字列を変更することで、再帰的に$q$-アナログ恒等式を構築する。
• $q$-オイラー和$\mathfrak{z}^\sharp$-関数を用いて、$q$-MZSVを変換されたインデックス列を持つ$q$-アナログオイラー和で表現する。
• $q$-恒等式に$q \to 1$ の極限を適用し、二対一の公式や新しいMZSV恒等式を含む既知の古典的恒等式を回復する。
• 生成関数と$q$-級数恒等式（例えば、補題2.3）を用いて、$q \to 1$ の極限における収束性と代数的構造を検証する。

実験結果

リサーチクエスチョン

• RQ1 古典的双対性恒等式（多重ゼータスター値とオイラー和の間）を$q$-アナログに一般化できるか？
• RQ2 Oプラス演算の下で、$q$-MZSVに対応する$q$-アナログオイラー和の構造は何か？
• RQ3 $q$-アナログ恒等式は、$q \to 1$ の極限で既知の古典的恒等式を回復するか？
• RQ4 $q$-変形された双対性関係を用いて、重みが$\{2,3\}$ に属するホフマン$\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)$ が成り立つことを証明し、二対一の公式を$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$-オイラー和項を含む。
• $\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$-アナログ恒等式を確立し、補正項が$q \to 1$ のとき消えることを示す。
• $q \to 1$ の極限を取ることで、本稿は導入部に挙げられた未解決であった古典的MZSV恒等式（3）を回復し、その正当性を確認する。
• 著者らは、重みが$\{2,3\}$ に属するホフマン$\star$-要素$\zeta^\star(s_1,\dots,s_r)$ が、多重ゼータ値の有理数ベクトル空間を張することを証明し、伊原らの予想を確認する。
• 付加規則の再帰的適用において、$q$-MZSVと$q$-オイラー和の間の双対性が保たれ、新しい恒等式を体系的に生成可能である。