Laurent type expansion of multiple polylogarithms at integer points

技術要約：整数点における多重ポリログ関数のローラン型展開

問題の定義
本論文は、複素領域 $\mathbb{C}^r$ における整数点、特に標準的な収束領域の外側や級数が発散する点における、多重ポリログ関数 $Li(a_1, \dots, a_r; z_1, \dots, z_r)$ または $Liz(s_1, \dots, s_r)$ の局所的な挙動を扱うものである。これらの関数の収束性と正則性は、特定の領域（$U_r(z)$ など）内ではよく理解されているが、整数点、特に標準的な収束領域の外側や級数が発散する点における挙動は依然として繊細な問題である。著者らによる先行研究 [4] では、これらの級数の正則化プロセスを確立し、より広い収束領域 $V_r(z)$ を特定したが、正則性の問題の完全な解決や、これらの整数点における明示的な展開の提供には至らなかった。核心となる問題は、任意の整数点 $a \in \mathbb{Z}^r$ の周囲におけるこれらの関数の明示的なローラン型展開を構成すること、および、これらの点で関数が正則となる条件を決定することである。

手法
著者らは、正則化技術、組合せ論的恒等式、および漸近解析を組み合わせた多角的なアプローチを採用している：

1. 正則化と形式的べき級数： 著者らは、先行研究 [4] で定義された正則化プロセスを利用する。彼らは、対数項を含む部分和の漸近展開における定数項として「正則化された値」$\ell(a_1, \dots, a_r)_{[k_1, \dots, k_r]}(z)$ を定義する。これにより、正則化された多重ポリログ関数 $Li^{Reg}_{(z;a)}(s_1, \dots, s_r)$ を表す形式的べき級数（式 9）を構成することができる。

2. 組合せ論的恒等式： 多重ポリログ関数と多重ポリログ・スター関数（$Li^\star$）との関係は極めて重要である。著者らは、ポリログ関数の部分和を、スター関数のテイル（tail）と低次のポリログ関数を用いた交代和として表す組合せ論的恒等式（定理 5、式 19）を用いている。

3. テイルの漸近展開： 著者らは、スター関数のテイル $Li^\star_{z}(s_1, \dots, s_r)_{\ge N}$ の漸近的挙動を、$N \to \infty$ において分析する。翻訳公式（命題 1）と、深さおよび整数パラメータに関する帰納法を用いることで、特定の比較スケール $E$（$N$ と $\log N$ の冪を含む、特定の代数 $\mathbb{C}_z$ の係数を持つもの）に対するテイルの完全な漸近展開を導出している。

4. 行列の逆行列と有理関数： 正則化された関数と元の関数を関連付けるために、様々な深さにおける関数を用いた線形方程式系を設定する。これらの関係を有理関数成分を持つ行列形式（例：$V = M^{-1}V_{Reg}$）で表現することにより、それらの行列を反転させる。この反転プロセスによって、ローラン展開の明示的な係数が得られる。

主な貢献と結果

• 明示的なローラン型展開（定理 4 および定理 6）： 主要な結果は、任意の整数点 $a \in \mathbb{Z}^r$ の周囲における多重ポリログ関数 $Liz(s_1, \dots, s_r)$ の明示的なローラン型展開の導出である。

  • 点 $a$ が領域 $U_r(z)$ 内にある場合、定理 4 は、関数が特定の超平面 $H^{(i)}_j$ を含む有理関数によって正則化された関数に倍数を付けた和として表される展開を提供する。
  • 定理 6 は、これを $\mathbb{C}^r$ 内のすべての整数点へと一般化する。これは、正則化された関数の形式的べき級数が $a$ の近傍で収束し、$\mathbb{C}^r$ 上の正則関数へと拡張されることを確立している。展開は次のように与えられる：
    $$Li^{Reg}_{(z;a)}(s) = \sum_{i=0}^r (-1)^i Li_{(z_{i+1}, \dots, z_r)}(s_{i+1}, \dots, s_r) C_i(s_1, \dots, s_i)$$
    ここで、$C_i$ はベルヌーイ数とオイラー多項式を含む、明示的に定義された有理関数である。

• 整数点における正則性（系 1）： 論文では、任意の整数点 $a \in V_r(z)$ に対して、多重ポリログ関数 $Liz(s)$が$a$で正則であることを証明している。さらに、その点$a$における関数の値は、正則化された値$\ell(a_1, \dots, a_r)_{[0, \dots, 0]}(z)$ に一致する。これにより、[4] で未解決であった、これらの点における正則性の繊細な問題が解決された。

• 非収束点への拡張（系 2）： 著者らは、整数点 $a$ が $V_r(z)$ の外側にある場合でも、パラメータ $z_i$ が特定の条件（具体的には、すべての $i$ に対して $z_{[1,i]} \neq 1$）を満たすならば、関数は $\mathbb{C}^r$ 全体で正則であり、その任意の整数点における値は正則化された値に等しいことを示している。

• スター関数の漸近解析（命題 3）： 本論文は、可変係数を持つ多重ポリログ・スター関数のテイルに関する完全な漸近展開を提供しており、これは単変数ケースの先行結果を一般化したものである。

意義
本論文は、多重ゼータ関数のローラン展開を提供した [6] の研究を、パラメータとして1の冪根を持つ、より広範な多重ポリログ関数のケースへと拡張したものである。正則化されたべき級数の収束性を確立し、展開の明示的な公式を提供することで、著者らはこれらの関数の解析接続と、整数点におけるその算術的な値との間の溝を埋めている。これらの結果は、定義された正則化プロセス [4] が正しい解析接続を与えることを裏付けており、それによって、元の級数が収束しない整数点において、正則化された値が（解析接続された）正則関数の真の値であることを検証している。本研究は、数論および数理物理学において基礎となるこれらの関数の特異性と局所的な挙動を理解するための体系的な枠組みを提供するものである。