[論文レビュー] Alternating Euler sums and special values of Witten multiple zeta function attached to so(5)

Jianqiang Zhao|arXiv (Cornell University)|Mar 3, 2009

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

ひとこと要約

本稿では、リー代数 𝔰𝔬(5) に関連するウィッテン多重ゼータ関数の非負整数における特殊値が、同じ重みで深さが2以下の交互エイラー和の有限有理係数線形結合として表現可能であることを確立している。ただし、最後の一つまたは二つの引数のみが非ゼロである場合を除き、ζ(w−1) が必要となる。これらの結果は、既知の多重ゼータ値の関係を一般化し、ζₛₒ(₅)(2m,2m,2m,2m) のような対称的ケースにおける明示的な有理係数公式を提供する。

ABSTRACT

In this note we shall study the Witten multiple zeta function associated to the Lie algebra so(5) defined by Matsumoto. Our main result shows that its special values at nonnegative integers are always expressible by alternating Euler sums. More precisely, every such special value of weight w>2 is a finite rational linear combination of alternating Euler sums of weight w and depth at most two, except when the only nonzero argument is one of the two last variables in which case $ζ(w-1)$ is needed.

研究の動機と目的

• リー代数 𝔰𝔬(5) に関連するウィッテン多重ゼータ関数の非負整数における特殊値を特徴づけること。
• これらの特殊値が、特に交互エイラー和を含む既知の特殊関数で表現可能かどうかを調査すること。
• 多重ゼータ値の偶奇関係および還元可能性に関する既知の結果を、𝔰𝔬(5) の設定に拡張すること。
• ζₛₒ(₅)(2m,2m,2m,2m) のような対称的ケースにおける明示的な有理係数公式を提示し、ザジエールの予想がその関係が π^{8m} の有理数倍であることに解決すること。

提案手法

• 𝔰𝔬(5) のウィッテン多重ゼータ関数を、正の整数上での4変数和として定義し、分母に m^{s₁}n^{s₂}(m+n)^{s₃}(m+2n)^{s₄} を含める。
• 収束性を保証するため、モーデル＝トールンハイム・ゼータ関数に基づく積分表現と収束基準を用いる。
• 多重ポリログラスの単位根における正則化技術と二重シャッフル関係を適用し、交互エイラー和を簡略化する。
• 代数的恒等式と既知の関係式（例：ζ({3}ⁿ) = 8ⁿζ({̄2,1}ⁿ)）を用いて、元の和を交互エイラー和の線形結合に還元する。
• 多重ゼータ値およびベルヌーイ数の理論を用いて、対称的ケースの閉形式表現を導出する。
• Komori, Matsumoto, Tsumura の既知の結果と照合し、10⁻¹⁰⁰ の精度まで数値的一致を確認する。

実験結果

リサーチクエスチョン

• RQ1 𝔰𝔬(5) のウィッテン多重ゼータ関数の非負整数における特殊値は、交互エイラー和で表現可能か？
• RQ2 これらの特殊値を表す有理係数線形結合の構造は何か？また、一般パターンからの例外は存在するか？
• RQ3 これらの結果は、ζₛₒ(₅)(2m,2m,2m,2m) が π^{8m} の有理数倍であるというザジエールの予想とどのように関係しているか？
• RQ4 交互エイラー和の恒等式を用いて、ザジエールの公式における有理係数を明示的に決定可能か？
• RQ5 ベルヌーイ数と組み合わせ的和は、対称的特殊値の閉形式表現において果たす役割は何か？

主な発見

• 𝔰𝔬(5) のウィッテンゼータ関数の収束するすべての特殊値は、重み w で深さが2以下の交互エイラー和の有限 ℚ-線形結合として表現可能である。
• 唯一の例外は、s₁ = s₂ = s₃ = 0 または s₁ = s₂ = s₄ = 0 の場合であり、この場合には交互エイラー和に加えて ζ(w−1) が必要となる。
• 対称的引数 (2m,2m,2m,2m) の場合、値は正確に c(m)·π^{8m} であり、c(m) ∈ ℚ である。本稿では、c(m) の明示的公式をベルヌーイ数と組み合わせ的和を用いて提示する。
• c(m) の公式は、c(m) = 2^{8m−3}/(8m)! × Σ_{ν=0}^{m} B_{2ν}B_{8m−2ν} (8m choose 2ν) × [符号付き二項係数の和] で与えられ、Komori らの既知の結果と一致する。
• 数値的検証により、導出された恒等式が 10⁻¹⁰⁰ の精度で正しく確認され、代数的導出を支持する。
• 本稿は、ザジエールの元の予想を、ζₛₒ(₅)(2m,2m,2m,2m) の閉形式有理係数を明示的に提示することで解決し、ベルヌーイ数および二項係数と明示的に関連付ける。