[論文レビュー] Representation of the Gauss hypergeometric function by multiple polylogarithms and relations of multiple zeta values

Shu Oi|ArXiv.org|May 10, 2004

Advanced Mathematical Identities参考文献 4被引用数 4

ひとこと要約

本稿では、パラメータ $ \theta,\beta,\theta $ を用いた多重多項対数関数を係数とする $ \theta $-線形結合として、ガウス超幾何関数 $ F(\theta,\beta,\theta;z) $ のべき級数表現を提示する。特異点における解の接続関係を分析し、漸近展開を比較することで、多重ゼータ値の間の新たな代数的関係が導かれる。これには、Ohno-Zagierの公式の自然な解釈と、オイラーの古典的ゼータ関係式が含まれる。

ABSTRACT

We describe a solution of the Gauss hypergeometric equation, $F(α,β,γ;z)$ by power series in paramaters $α,β,γ$ whose coefficients are $\Z$ linear combinations of multiple polylogarithms. And using the representation and connection reletions of solutions of the hypergeometric equation, we show some relations of multiple zeta values.

研究の動機と目的

• ガウス超幾何方程式の明確なべき級数解を、多重多項対数関数を係数として得ること。
• 超幾何解の接続行列と多重ゼータ値の間の代数的関係を直接結びつけること。
• 反復積分による解の構造と漸近展開を用いて、多重ゼータ値のOhno-Zagier公式を一般化・解釈すること。
• 多重多項対数的構造を用いて、より一般的なKnizhnik-Zamolodchikov方程式への応用の基盤を築くこと。

提案手法

• 行列 $ \theta''_1, \theta''_2, \theta''_3 $ が生成するリー代数における形式的変数係数をもつ反復積分を用いて、ガウス超幾何方程式の解を構成する。
• 集合 {1,2,3} の有限列に対する変換 $ T_\nu $ を定義し、非可換多項式環 $ \frak{H} $ への写像を可能にすることで、多重多項対数的項の体系的生成を可能にする。
• $ u=0 $ 近傍における基本解行列 $ \tilde{\boldsymbol{\theta}}_\nu $ の漸近的挙動を用い、$ z^{-\beta} $ および $ z^{-\beta} $ の無限遠点における特異的挙動を一致させる。
• $ \tilde{\boldsymbol{\theta}}_\nu^{-1} $ の成分に対する明示的な級数展開を、列の和として導出し、係数を多重多項対数関数 $ \text{Li}(T_\nu(\boldsymbol{\nu})x; u) $ で表す。
• 接続行列 $ C^{0\to\theta} $ と無限遠点における解の漸近展開を比較し、係数の恒等式を抽出する。
• その比較を (1,1) 成分に適用することで、$ \text{Li}_k(z) $, $ \text{Li}_k(1/z) $, およびベルヌーイ数を含む生成関数の恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $ \theta, \beta, \theta $ のべき級数として、ガウス超幾何関数を、多重多項対数関数の $ \theta $-線形結合を係数とする形に表現できるか？
• RQ2 $ z=0 $, $ z=1 $, $ z=\theta $ における解の接続関係は、どのように多重ゼータ値の間の新たな代数的恒等式を導くか？
• RQ3 反復積分の構造と超幾何解の漸近展開から、多重ゼータ値のOhno-Zagier公式を自然に導出できるか？
• RQ4 接続行列における $ \theta $-依存性の役割は何か？ また、ゼータ関数の特別値とどのように関係するか？
• RQ5 超幾何方程式に反復積分法を適用する手法を、Knizhnik-Zamolodchikov方程式のようなより一般的なFuchs型系へどの程度一般化できるか？

主な発見

• 超幾何系の解 $ \tilde{\boldsymbol{\theta}}_\nu^{-1}(u) $ は、$ \theta $, $ \beta $, $ \theta $ のべき級数として表され、係数は多重多項対数関数 $ \text{Li}(T_\nu(\boldsymbol{\nu})x; u) $ で与えられる。ここで $ T_\nu $ は列を非可換多項式に写像する。
• 接続行列 $ C^{0\to\theta} $ の (1,1) 成分から、生成関数の恒等式が得られる：$ \frac{\theta_1}{\theta_1+\theta_3} \big( \frac{(-\theta_3 \theta)^n}{n!} - \text{sum of } \text{Li}_{n-k}(z) + (-1)^{n-k} \text{Li}_{n-k}(1/z) \frac{(-\theta_3 \theta)^k}{k!} \big) = \frac{\theta_1}{\theta_1+\theta_3} \frac{\theta_3 \theta \theta}{\theta_3 \theta} \frac{\theta}{\theta} \theta $ であり、これは漸近展開と一致する。
• 偶数 $ n $ に対して $ z \to 1 $ の極限を取ると、オイラーの公式 $ -2\theta(n) = B_n \frac{(2\theta i)^n}{n!} $ が得られ、ここで $ B_n $ はベルヌーイ数である。
• 本手法により、Ohno-Zagierの公式は、同一の解を接続行列による表現と反復積分による表現の比較から自然に生じることを示す。
• $ z \to 0 $ と $ z \to \theta $ における解の挙動の関係は、多重ゼータ値と超幾何関数の特別値との間に深い関係があることを示している。
• 本フレームワークは、Fuchs型微分方程式の解のモノドロミーと漸近挙動を分析することによって、多重ゼータ値の関係を体系的に導出する手法を示唆する。