[论文解读] 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

一句话总结

本文提出了高斯超几何函数 $ F(\theta,\beta,\theta;z) $ 的幂级数表示，其系数为 $ \theta, \beta, \theta $-系数的多重 polylogarithm，以 $ \theta $-线性组合的形式表达。通过分析奇点处解之间的连接关系并比较渐近展开，作者推导出多重 zeta 值之间新的代数关系，包括对 Ohno-Zagier 公式的自然解释以及欧拉经典 zeta 关系的推广。

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.

研究动机与目标

• 使用多重 polylogarithm 作为系数，为高斯超几何方程提供一个具体的幂级数解。
• 建立超几何解的连接矩阵与多重 zeta 值之间代数关系的直接联系。
• 通过迭代积分解的结构，推广并解释 Ohno-Zagier 公式在多重 zeta 值中的意义。
• 通过多重 polylogarithmic 结构，为将该方法推广到更一般的 Knizhnik-Zamolodchikov 方程奠定基础。

提出的方法

• 通过在由矩阵 $ \theta''_1, \theta''_2, \theta''_3 $ 生成的李代数中使用形式变量系数，构造高斯超几何方程的解。
• 定义一个变换 $ T_\nu $，作用于 {1,2,3} 的有限序列，将非交换变量的单项式映射到自由代数 $ \frak{H} $ 中的元素，从而系统地生成多重 polylogarithmic 项。
• 利用基本解矩阵 $ \tilde{\boldsymbol{\theta}}_\nu $ 在 $ u=0 $ 附近的渐近行为，匹配在无穷远处的 $ z^{-\beta} $ 和 $ z^{-\beta} $ 奇异性。
• 推导出 $ \tilde{\boldsymbol{\theta}}_\nu^{-1} $ 各分量的显式级数展开，其形式为序列上的求和，系数表示为多重 polylogarithm $ \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 $-线性组合的多重 polylogarithm？
• RQ2 在 $ z=0 $、$ z=1 $ 和 $ z=\theta $ 处解之间的连接关系如何导出多重 zeta 值之间新的代数恒等式？
• RQ3 Ohno-Zagier 公式能否自然地从迭代积分结构和超几何解的渐近展开中推导出来？
• RQ4 连接矩阵中的 $ \theta $-依赖性起什么作用，它与 zeta 函数的特殊值有何关联？
• RQ5 将迭代积分方法应用于超几何方程的范围在多大程度上可推广至其他 Fuchsian 系统，如 Knizhnik-Zamolodchikov 方程？

主要发现

• 超几何系统的解 $ \tilde{\boldsymbol{\theta}}_\nu^{-1}(u) $ 以 $ \theta $、$ \beta $、$ \theta $ 的幂级数形式表示，其系数为多重 polylogarithm $ \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 $ 时的行为之间的联系，揭示了多重 zeta 值与超几何函数特殊值之间的深刻联系。
• 该框架为通过分析 Fuchsian 微分方程解的单值性与渐近性，系统推导多重 zeta 值之间的关系提供了新途径。