[論文レビュー] Double Shuffle Relations of Euler Sums

Jianqiang Zhao|arXiv (Cornell University)|May 16, 2007

Advanced Mathematical Identities参考文献 14被引用数 11

ひとこと要約

本稿は、Euler和に対する一般化された二重シャッフル関係の枠組みを確立し、1996年にボーウライン、ブレッドリー、ブロードハーストが提起した長年の予想である、すべての正の整数 $n$ に対して $\zeta(\{3\}^n) = 8^n \zeta(\{\overline{2},1\}^n)$ を、拡張された二重シャッフル関係と新規の分配関係を用いて証明する。証明は非可換代数 $\mathfrak{A}$ 内の反復積分表現と代数的変形に依拠し、複数のzeta値と交代型Euler和の間の構造的恒等式を統一的に扱う。

ABSTRACT

In this paper we shall develop a theory of (extended) double shuffle relations of Euler sums which generalizes that of multiple zeta values (see Ihara, Kaneko and Zagier, \emph{Derivation and double shuffle relations for multiple zeta values}. Compos. Math. extbf{142} (2)(2006), 307--338). After setting up the general framework we provide some numerical evidence for our two main conjectures. At the end we shall prove the following long standing conjecture: for every positive integer n $$ζ(\{3\}^n)=8^nζ(\{\ol2,1\}^n).$$ The main idea is to use the double shuffle relations and the distribution relation. This particular distribution relation doesn't follow from the double shuffle relation in general. But we believe it does follow from the extended double shuffle relations.

研究の動機と目的

• Euler和に対する拡張された二重シャッフル関係の一般化理論を構築し、多重zeta値に対して確立された枠組みを拡張すること。
• Euler和の間の代数的関係に関する2つの主要な予想に対する数値的証拠を提供すること。
• 多重zeta値 $\zeta(\{3\}^n)$ と交代型Euler和 $\zeta(\{\overline{2},1\}^n)$ の間の長年の予想を証明すること。
• 有限二重シャッフル関係から導けない分配関係が、拡張された二重シャッフル枠組みから導かれることが示されること。

提案手法

• 微分形式 $a = dt/t$、$b = dt/(1-t)$、$c = -dt/(1+t)$ を用いて、$[0,1]$ 上の反復積分としてEuler和を形式化すること。
• 非可換代数 $\mathfrak{A} = \mathbb{Q}\langle a,b,c \rangle$ 及びその適切な語の部分代数 $\mathfrak{A}^0$ を定義し、$Z(w)$ を用いてEuler和を表現すること。
• 代数的構造 $\mathfrak{A}^0$ 内で、級数乗算および反復積分表現からの二重シャッフル関係を適用すること。
• 有限二重シャッフル関係からは導けないが、拡張された枠組みから導出可能な、新規の分配関係を導入・利用すること。
• 代数的再帰的恒等式および $\mathfrak{A}$ 内の語代数の操作を用いて、主要な恒等式 $\sum_{i=0}^{2n}(-1)^i \mathcal{X}_i((cd)^{\star n}) = f_n(a,b,c)$ を証明し、これが主結果の根拠となること。
• 再帰的関係と無限積の極限を用いて、$\zeta(\{3\}^n)$ と $\zeta(\{\overline{2},1\}^n)$ の母関数の間の関係を確立すること。

実験結果

リサーチクエスチョン

• RQ1 拡張された二重シャッフル関係枠組みは、有限二重シャッフル関係からは導けないEuler和の分配関係を十分に捉えているか？
• RQ2 代数的構造と反復積分を用いて、予想される恒等式 $\zeta(\{3\}^n) = 8^n \zeta(\{\overline{2},1\}^n)$ を厳密に証明できるか？
• RQ3 ボーウライン、ブレッドリー、ブロードハーストらが観察したEuler和の恒等式の数値的パターンは、拡張された二重シャッフル関係の結果であると解釈できるか？
• RQ4 $\mathfrak{A}^0$ 内の代数的関係は、多重zeta値と交代型Euler和を統一的な枠組みでどのように表現しているか？
• RQ5 主恒等式が示唆するように、$\zeta(\{\overline{2},1\}^n)$ の母関数は $\prod_{n=1}^\infty (1 + t/(8n^3))$ に等しいか？

主な発見

• 本稿は、1996年にボーウライン、ブレッドリー、ブロードハーストが提起した予想を、すべての正の整数 $n$ に対して $\zeta(\{3\}^n) = 8^n \zeta(\{\overline{2},1\}^n)$ として解決する。
• 証明に用いられた分配関係は、有限二重シャッフル関係からは導けないが、拡張された二重シャッフル枠組みからは導出可能である。
• $\zeta(\{\overline{2},1\}^n)$ の母関数は $\sum_{n=1}^\infty \zeta(\{\overline{2},1\}^n) t^n = \sum_{n=1}^\infty \zeta(\{3\}^n) \frac{t^n}{8^n}$ であることが示され、指数的スケーリング要因が確認された。
• 部分和の母関数を記述する再帰的関係 $n(n+1)^2 a_{n+2} = n(2n+1)a_{n+1} + (n^3 + (-1)^{n+1}t)a_n$ が導かれ、Euler和の恒等式と超幾何型列の間の関連が示された。
• 極限 $\lim_{n\to\infty} a_n(t) = \prod_{n=1}^\infty (1 + t/(8n^3))$ が確立され、Euler和の母関数と無限積との等価性が示された。
• 証明は、代数 $\mathfrak{A}$ 内の再帰的恒等式 $\sum_{i=0}^{2n}(-1)^i \mathcal{X}_i((cd)^{\star n}) = f_n(a,b,c)$ に依拠しており、これは帰納法と語代数の簡略化により検証された。