7
高校数学
文献あり

多重L値[1]

959
0
$$\newcommand{bm}[0]{\boldsymbol} \newcommand{dep}[0]{{\rm dep}} \newcommand{ds}[0]{\displaystyle} \newcommand{H}[0]{{\cal H}} \newcommand{Li}[0]{{\rm{Li}}} \newcommand{mi}[2]{\begin{array}{c} #1 \\ #2 \end{array}} \newcommand{MLV}[0]{{\sf MLV}} \newcommand{n}[0]{\varnothing} \newcommand{ol}[1]{\overline{#1}} \newcommand{R}[0]{{\cal R}} \newcommand{sh}[0]{ш} $$
多重L値,MLV

全て絶対値が$1$以下の複素数$z_1,\cdots,z_r$と正の整数$k_1,\cdots,k_r$について
$$L\left(\mi{z_1}{k_1},\cdots,\mi{z_r}{k_r}\right)=L\left(\mi{\bm z}{\bm k}\right):=\sum_{0< n_1<\cdots< n_r}\frac{\bm z^{\bm n}}{\bm n^{\bm k}}$$
と定義する。

$x$$0< x<1$を満たす実数とすると、
\begin{align} L\left(\mi{z_1}{k_1},\cdots,\mi{z_{r-1}}{k_{r-1}},\mi{z_rx}{k_r+1}\right) &=\sum_{0< n_1<\cdots< n_r}\frac{\bm z^{\bm n}}{\bm n^{\bm k_\uparrow}}x^{n_r} \\ &=\sum_{0< n_1<\cdots< n_r}\frac{\bm z^{\bm n}}{\bm n^{\bm k}}\frac{x^{n_r}}{n_r} \\ &=\sum_{0< n_1<\cdots< n_r}\frac{\bm z^{\bm n}}{\bm n^{\bm k}}\int_0^xt^{n_r-1}dt \\ &=\int_0^x\sum_{0< n_1<\cdots< n_r}\frac{\bm z^{\bm n}}{\bm n^{\bm k}}t^{n_r-1}dt \\ &=\int_0^xL\left(\mi{z_1}{k_1},\cdots,\mi{z_{r-1}}{k_{r-1}},\mi{z_rt}{k_r}\right)\frac{dt}{t} \end{align}

\begin{align} L\left(\mi{z_1}{k_1},\cdots,\mi{z_r}{k_r},\mi{z_{r+1}}{1}\right) &=\sum_{0< n_1<\cdots< n_r< n_{r+1}}\frac{\bm z^{\bm n}z_{r+1}^{n_{r+1}}}{\bm n^{\bm k}}\frac{x^{n_{r+1}}}{n_{r+1}} \\ &=\sum_{0< n_1<\cdots< n_r< n_{r+1}}\frac{\bm z^{\bm n}}{\bm n^{\bm k}}z_{r+1}^{n_{r+1}}\int_0^xt^{n_{r+1}-1}dt \\ &=\int_0^x\sum_{0< n_1<\cdots< n_r< n_{r+1}}\frac{\bm z^{\bm n}}{\bm n^{\bm k}}z_{r+1}^{n_{r+1}}t^{n_{r+1}-1}dt \\ &=\int_0^x\sum_{0< n_1<\cdots< n_r}\sum_{0< m}\frac{\bm z^{\bm n}}{\bm n^{\bm k}}z_{r+1}^{n_r+m}t^{n_r+m-1}dt \\ &=\int_0^xL\left(\mi{z_1}{k_1},\cdots,\mi{z_{r-1}}{k_{r-1}},\mi{z_rz_{r+1}t}{k_r}\right)z_{r+1}\sum_{0< m}(z_{r+1}t)^{m-1}dt \\ &=\int_0^xL\left(\mi{z_1}{k_1},\cdots,\mi{z_{r-1}}{k_{r-1}},\mi{z_rz_{r+1}t}{k_r}\right)\frac{dt}{z_{r+1}^{-1}-t} \end{align}

が成り立つので、多重L値の積分表示を得ることができる。

$$L\left(\mi{z_1}{k_1},\cdots,\mi{z_r}{k_r}\right)=\int_0^1\left(\frac{dt}{t}\right)^{k_r-1}\circ\frac{dt}{z_r^{-1}-t}\circ\cdots\circ\left(\frac{dt}{t}\right)^{k_1-1}\circ\frac{dt}{(z_r\cdots z_1)^{-1}-t}$$

上の式を繰り返し用いれば示すことができるので、省略する。

多重L値の分子側の変数($z_1,\cdots,z_r$)がすべて絶対値$1$であり、$\ds\zeta_N=\exp\left(\frac{2\pi i}{N}\right)$の整数乗になっているものを特にlevel$N$の多重L値と呼ぶ。特に$N=2$の場合は交代多重ゼータ値(AMZV)と呼ぶ。AMZVの文脈では$\ds\mi{1}{k}$$\ds\mi{-1}{k}$をそれぞれ$k$$\ol{k}$と略記し、$L$の代わりに$\zeta$を用いる。

level$N$の多重L値の積分表示は$\ds\frac{dt}{t},\frac{dt}{\zeta_N^{-n}-t}$という形をした微分形式のみでかけるから、$\ds a=\frac{dt}{t},b_n=\frac{dt}{\zeta_N^{-n}-t}(n=0,\cdots,N-1)$の計$N+1$個の変数の非可換多項式環$\R_N=\mathbb{Q}\langle a,b_0,\cdots,b_{N-1}\rangle$を導入すると、多重L値は$\R_N$の元の反復積分で表現される。

以降、level$N$のMLVの$\mathbb{Q}$-線形結合全体の集合を$\MLV^N$、level$N$でweightが$r$のMLVの$\mathbb{Q}$-線形結合全体の集合を$\MLV_r^N$。とおく。

参考文献

[1]
Kam Cheong Au, EVALUATION OF ONE-DIMENSIONAL POLYLOGARITHMIC INTEGRAL, WITH APPLICATIONS TO INFINITE SERIES, arXiv
投稿日:202393

この本を高評価した人

高評価したユーザはいません

この本に送られたバッジ

バッジはありません。

投稿者

Ιδέα
Ιδέα
81
5177
割り算が苦手です

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中

現在のページ

多重L値[1]
前のページへ
6 / 11
次のページへ
前ページへ
多重ゼータ値入門の表紙
次ページへ