[論文レビュー] Multiple zeta-star values and multiple integrals

Shûji Yamamoto|arXiv (Cornell University)|May 26, 2014

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

ひとこと要約

本稿では、2ラベル付きposetに関連する多重積分のクラスを用いて、有限多重調和和および多重ゼータスターバリュー（MZSV）の新しい積分表現を導入する。組合せ的順序を積分領域と微分形式によって符号化することで、MZSV間の双対性関係や関数的恒等式（Euler-Zagier型およびその他の変種を含む）の明確な導出が可能になる。

ABSTRACT

We prove a kind of integral expressions for finite multiple harmonic sums and multiple zeta-star values. Moreover, we introduce a class of multiple integrals, associated with some combinatorial data (called 2-labeled posets). This class includes both multiple zeta and zeta-star values of Euler-Zagier type, and also several other types of multiple zeta values. We show that these integrals can be used to obtain some relations among such zeta values quite transparently.

研究の動機と目的

• 有限多重調和和の積分表現を確立し、それが自然に双対性関係を符号化するようにする。
• 反復積分フレームワークを一般化し、Euler-Zagier族を超える多重ゼータスターバリューおよびその他のゼータ型値を含める。
• 複数の既知の多重ゼータ値関係を、1つの組合せ的・積分的形式的体系に統一する。
• 幾何的および組合せ的構造を用いて、MZSV間の関数的恒等式を体系的に導出する方法を提供する。
• 2ラベル付きposetを用いて、非標準的ゼータ値への積分法の適用範囲を拡張する。

提案手法

• インデックスkに基づいて積分領域Δ(k)を定義し、変数間の不等式は集合J(k) = {0} ∪ A(k)に依存する。ここでA(k) = {k₁, k₁+k₂, ..., k₁+⋯+kₙ₋₁}である。
• 各変数にω₀(t) = dt/tおよびω₁(t) = dt/(1−t)の微分形式を割り当て、形式は指標関数δ(j) = 1 if (j−1) ∈ J(k)、それ以外は0で定まる。
• 積分I(Δ(k)) = ∫Δ(k) t₁^{N−1} dt₁ ωδ(2)(t₂)⋯ωδ(k)(tₖ)を構成し、有限和sₖ(N)を表す。
• 領域上で変数変換t ↦ 1−tを適用し、双対性恒等式∑ᵢ₌₀^{N−1} (−1)ⁱ (N−1 choose i) sₖ(i+1) = sₖ*(N)を導出する。ここでk*は転置インデックスである。
• N → ∞に拡張して、多重ゼータスターバリューζ*(k) = ∫Δ(k) ωδ(1)(t₁)⋯ωδ(k)(tₖ)の表現を得る。
• 一般の多重ゼータ値を2ラベル付きposetでモデル化し、頂点を黒（t）および白（1−t）のタイプに順序付け、チェーン上の全順序の細分によって積分を計算する。

実験結果

リサーチクエスチョン

• RQ1 有限多重調和和に対して、その双対性が明確に現れる統一的な積分表現を構築できるか？
• RQ2 多重ゼータスターバリューの構造を、積分領域と微分形式によって幾何的に符号化できるか？
• RQ3 2ラベル付きposetの枠組みを用いて、既知の多重ゼータ値間の関数的恒等式を明確かつ体系的に導出できるか？
• RQ4 組合せ的細分（例：チェーン上の全順序）は、[KMT]における恒等式を生成する際に果たす役割は何か？
• RQ5 この積分法は、部分分数に基づく導出における複素数または非整数パラメータへまで一般化可能か？

主な発見

• 有限多重調和和sₖ(N)は、sₖ(N) = ∫Δ(k) t₁^{N−1} dt₁ ωδ(2)(t₂)⋯ωδ(k)(tₖ)という積分表現を持つ。ここでΔ(k)はインデックスkに基づく不等式によって定義される。
• 双対性関係∑ᵢ₌₀^{N−1} (−1)ⁱ (N−1 choose i) sₖ(i+1) = sₖ*(N)は、変数変換t ↦ 1−tおよび対称性δ*(j) = 1−δ(j)から直接導かれる。
• 多重ゼータスターバリューζ*(k)は無限積分で与えられる：ζ*(k) = ∫Δ(k) ωδ(1)(t₁)⋯ωδ(k)(tₖ)。これはk₁ ≥ 2のとき有効である。
• 2ラベル付きposetの枠組みにより、[KMT]におけるような複雑な関数的恒等式が、細分されたposet上の積分を分解し、チェーン上の全順序の数え上げによって導出可能である。
• j個の黒頂点とr−1個の白頂点からなるチェーン上の全順序の数は二項係数(r−1+j choose j)で与えられ、これが得られるゼータ値の係数として現れる。
• この方法により、ζ(p; q, r) = ∑ⱼ₌₀^{q−1} (r−1+j choose j) ζ(p, r+j; q−j, q₂,…,q_b; r₂,…,r_c) + ∑ⱼ₌₀^{r−1} (q−1+j choose j) ζ(p, q+j; q₂,…,q_b; r−j, r₂,…,r_c)という恒等式が、posetの分解と順序の数え上げによって自然に再現される。