文献あり

多重ゼータ値[2]

172

一様収束性の議論とかはいちいち書くのが面倒なので記事内ではしていませんが、級数と積分の交換がすべて正しく行われていることは確認済みです。

$C^{1} := {z | z \in C, | z | = 1}, k \in \underset{i}{∐} Z_{> 0}^{i}, a \in \underset{i}{∐} (C^{1})^{i}$ とする。
$ζ (k) := \sum_{0 < n_{1} < \dots < n_{i}} \frac{1}{n^{k}}$
$ζ (k) [x] := \sum_{0 < n_{1} < \dots < n_{i}} \frac{1}{n^{k}} x^{n_{i}}$
$L_{k} (a) := \sum_{0 < n_{1} < \dots < n_{i}} \frac{a^{n}}{n^{k}}$
$L_{k} (a) [x] := \sum_{0 < n_{1} < \dots < n_{i}} \frac{a^{n}}{n^{k}} x^{n_{i}}$

上は多重 $ζ$ 値(Multiple Zeta Value,MZV)と多重 $L$ 値(Multiple L Value,MLV)の定義である。

明らかに $L_{k} (1) = ζ (k)$ である。
また、 $a$ の要素が $ζ_{N} = \exp (\frac{2 π i}{N})$ の冪のみであるとき、これをclass $N$ のMLVという。特に $N = 2$ のときはAlternating Multiple Zeta Value(日本語訳はわからない)といって、AMZVと略す。
たとえば $k = (1, 1, 2), a = (1, - 1, 1)$ のとき、 $L_{k} (a) = ζ (1, \overset{―}{1}, 2)$ となる。

Hoffman algebra

$a = \frac{d x}{x}, b_{i} = \frac{d x}{ζ_{N}^{- i} - x}, X = {a, b_{0}, \dots, b_{N - 1}}$ とおく。 $X$ が $Q$ 上張る非可換多項式代数を $H_{N}$ とおく。

反復積分を以下のように再帰的に定義する。
$\int_{a}^{b} f_{1} (x) d x \dots f_{m} (x) d x = \int_{a}^{b} f_{1} (x) d x \dots f_{m - 1} (x) d x \int_{0}^{x} f_{m} (u) d u$

$z_{k, i} = a^{k - 1} b_{i} \in H_{N}, ζ_{N}^{i_{n}} = μ_{n}$ とする。このとき、class $N$ のMLVは反復積分を用いて以下のように表される。
$L_{k_{1}, \dots, k_{m}} (μ_{1}, \dots, μ_{m}) = \int_{0}^{1} z_{k_{m}, i_{m}} z_{k_{m - 1}, i_{m} + i_{m - 1}} \dots z_{k_{1}, i_{m} + \dots + i_{1}}$

depth1,weight1の場合

$L_{1} (μ_{1}) [x] = \int_{0}^{x} z_{1, i_{1}}$

以下の証明で $x$ は $0 < x < 1$ を満たす実数とする。

$\begin{aligned} L_{1} (μ_{1}) [x] & = \sum_{0 < n} \frac{μ_{1}^{n}}{n} x^{n} \\ = \sum_{0 < n} μ_{1}^{n} \int_{0}^{x} t^{n - 1} d t \\ = \int_{0}^{x} \sum_{0 < n} μ_{1}^{n} t^{n - 1} d t \\ = \int_{0}^{x} μ_{1} \sum_{0 \leq n} (μ_{1} t)^{n} d t \\ = \int_{0}^{x} \frac{d t}{μ_{1}^{- 1} - t} \\ = \int_{0}^{x} z_{1, i_{1}} \end{aligned}$

$L_{k_{1}, \dots, k_{m} + 1} (μ_{1}, \dots, μ_{m}) [x] = \int_{0}^{x} \frac{d t}{t} L_{k_{1}, \dots, k_{m}} (μ_{1}, \dots, μ_{m}) [t]$

$\begin{aligned} L_{k_{1}, \dots, k_{m} + 1} (μ_{1}, \dots, μ_{m}) [x] & = \sum_{0 < n_{1} < \dots < n_{m}} \frac{μ_{1}^{n_{1}} \dots μ_{m}^{n_{m}}}{n_{1}^{k_{1}} \dots n_{m}^{k_{m}}} \frac{x^{n_{m}}}{n_{m}} \\ = \sum_{0 < n_{1} < \dots < n_{m}} \frac{μ_{1}^{n_{1}} \dots μ_{m}^{n_{m}}}{n_{1}^{k_{1}} \dots n_{m}^{k_{m}}} \int_{0}^{x} t^{n_{m} - 1} d t \\ = \int_{0}^{x} \sum_{0 < n_{1} < \dots < n_{m}} \frac{μ_{1}^{n_{1}} \dots μ_{m}^{n_{m}}}{n_{1}^{k_{1}} \dots n_{m}^{k_{m}}} t^{n_{m} - 1} d t \\ = \int_{0}^{x} \frac{d t}{t} L_{k_{1}, \dots, k_{m}} (μ_{1}, \dots, μ_{m}) [t] \end{aligned}$

$L_{k_{1}, \dots, k_{m}, 1} (μ_{1}, \dots, μ_{m}, μ_{m + 1}) [x] = \int_{0}^{x} \frac{d t}{μ_{m + 1}^{- 1} - t} L_{k_{1}, \dots, k_{m}} (μ_{1}, \dots, μ_{m} μ_{m + 1}) [t]$

$\begin{aligned} L_{k_{1}, \dots, k_{,} 1} (μ_{1}, \dots, μ_{m}, μ_{m + 1}) [x] & = \sum_{0 < n_{1} < \dots < n_{m + 1}} \frac{μ_{1}^{n_{1}} \dots μ_{m}^{n_{m}} μ_{m + 1}^{n_{m + 1}}}{n_{1}^{k_{1}} \dots n_{m}^{k_{m}}} \frac{x^{n_{m + 1}}}{n_{m + 1}} \\ = \sum_{0 < n_{1} < \dots < n_{m + 1}} \frac{μ_{1}^{n_{1}} \dots μ_{m}^{n_{m}}}{n_{1}^{k_{1}} \dots n_{m}^{k_{m}}} μ_{m + 1}^{n_{m + 1}} \int_{0}^{x} t^{n_{m + 1} - 1} d t \\ = \int_{0}^{x} \sum_{0 < n_{1} < \dots < n_{m + 1}} \frac{μ_{1}^{n_{1}} \dots μ_{m + 1}^{n_{m + 1}}}{n_{1}^{k_{1}} \dots n_{m}^{k_{m}}} t^{n_{m + 1} - 1} d t \\ = \int_{0}^{x} \sum_{0 < n_{1} < \dots < n_{m}} \frac{μ_{1}^{n_{1}} \dots μ_{m}^{n_{m}} μ_{m + 1}^{n_{m} + (n_{m + 1} - n_{m})}}{n_{1}^{k_{1}} \dots n_{m}^{k_{m}}} t^{n_{m} + (n_{m + 1} - n_{m} - 1)} d t \\ = \int_{0}^{x} \sum_{0 < n} μ_{m + 1}^{n} t^{n - 1} \sum_{0 < n_{1} < \dots < n_{m}} \frac{μ_{1}^{n_{1}} \dots (μ_{m} μ_{m + 1})^{n_{m}}}{n_{1}^{k_{1}} \dots n_{m}^{k_{m}}} t^{n_{m}} d t \\ = \int_{0}^{x} \frac{d t}{μ_{m + 1}^{- 1} - t} L_{k_{1}, \dots, k_{m}} (μ_{1}, \dots, μ_{m} μ_{m + 1}) [t] \end{aligned}$

補題１の結果に補題３、４の式を適用して
$L_{k_{1}, \dots, k_{m}} (μ_{1}, \dots, μ_{m}) [x] = \int_{0}^{x} z_{k_{m}, i_{m}} \dots z_{k_{1}, i_{m} + \dots + i_{1}}$
を得るので $x \to 1$ として定理１の式を得る。