다중 제타 값

개요

리만제타함수의 다변수 일반화 $\zeta(s_1, \ldots, s_k)$
$s_i$ 가 양의 정수일 때, 오일러 합이라 불림
정수론의 중요한 주제
물리에서 산란 진폭 등의 계산에서 등장

정의

$s_1>1, \cdots, s_k$가 양의 정수라 하자
다중 제타 값을 다음과 같이 정의

\[ \zeta(s_1, \ldots, s_k) : = \sum_{n_1 > n_2 > \cdots > n_k > 0} \ \frac{1}{n_1^{s_1} \cdots n_k^{s_k}} = \sum_{n_1 > n_2 > \cdots > n_k > 0} \ \prod_{i=1}^k \frac{1}{n_i^{s_i}}, \!\]

$w=s_1+\cdots+s_k$를 weight, $k$를 depth로 부른다

이중 제타

오일러의 공식

$$\zeta(2,1)=\zeta(3)$$

여러 가지 관계식

double shuffle

정리

$m,n>1$ 일 때, $$\zeta(m)\zeta(n)=\zeta(m,n)+\zeta(n,m)+\zeta(m+n)$$

증명

$$ \zeta(m)\zeta(n)=(\sum_{j}\frac{1}{j^{m}})(\sum_{k}\frac{1}{k^{n}})=\sum_{j>k}\frac{1}{j^mk^n}+\sum_{j=k}\frac{1}{j^mk^n}+\sum_{j<k}\frac{1}{j^mk^n} $$

오일러 분해 공식

$r,s>1$ 일 때,

$$\zeta(r)\zeta(s)=\sum_{a=0}^{s-1}\binom{a+r-1}{a}\zeta(r+a,s-a)+\sum_{a=0}^{r-1}\binom{a+s-1}{a}\zeta(s+a,r-a)$$

예

$$ \zeta(2) \zeta(3)=\zeta(2,3)+3\zeta(3,2)+6 \zeta(4,1) $$

기타

다음이 성립한다

$$ 2\zeta(n,1)=n \zeta(n+1)-\sum_{i=1}^{n-2}\zeta(n-i)\zeta(i+1) $$

예

$$ \begin{align} \zeta(2,1)&=\zeta(3) \\ 2\zeta(3,1)&=-\zeta(2)^2+3\zeta(4) \\ \zeta(4,1)&=2\zeta(5)-\zeta(2)\zeta(3) \\ 2\zeta(5,1)&=-\zeta(3)^2-2\zeta(2)\zeta(4)+5\zeta(6) \end{align} $$

다중 제타 값의 공간

주어진 무게를 갖는 다중 제타 값이 이루는 유리수체 위에서 정의된 벡터 공간의 차원
$\{a_n\}_{n=1}^{\infty}$를 $a_n = a_{n-2} + a_{n-3}$, $a_0=1, a_1=a_2=0$.
이를 파도반 수열이라 한다
1, 0, 0, 1, 0, 1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151, 200, 265, 351, 465, 616, 816, 1081, 1432, 1897
Zagier conjectures that a(n+3) is the maximum number of multiple zeta values of weight n > 1 which are linearly independent over the rationals.

테이블

추측

주어진 무게 $s$의 다중 제타 값으로 생성되는 $\mathbb{Q}$-벡터 공간은 다음과 같은 기저를 갖는다 \begin{array}{c|c} s & \\ \hline 2 & \zeta_2 \\ 3 & \zeta_3 \\ 4 & \zeta_2^2 \\ 5 & \zeta_5,\zeta_2 \zeta_3 \\ 6 & \zeta_3^2,\zeta_2^3 \\ 7 & \zeta_7,\zeta_2 \zeta_5,\zeta_2^2 \zeta_3 \\ 8 & \zeta_{5,3},\zeta_3 \zeta_5,\zeta_2 \zeta_3^2,\zeta_2^4 \\ 9 & \zeta_9,\zeta_2 \zeta_7,\zeta_2^2 \zeta_5,\zeta_3^3,\zeta_2^3 \zeta_3 \\ 10 & \zeta_{7,3},\zeta_2 \zeta_{5,3},\zeta_3 \zeta_7,\zeta_5^2,\zeta_2 \zeta_3 \zeta_5,\zeta_2^2 \zeta_3^2,\zeta_2^5 \\ \end{array}

테이블

이중 제타 값

$$ \begin{array}{c|c|c} \zeta (2,1) & 1.2021 & \zeta (3) \\ \zeta (2,2) & 0.81174 & \frac{\pi ^4}{120} \\ \zeta (2,3) & 0.71157 & \frac{9 \zeta (5)}{2}-\frac{\pi ^2 \zeta (3)}{3} \\ \zeta (2,4) & 0.67452 & \frac{5 \pi ^6}{2268}-\zeta (3)^2 \\ \zeta (2,5) & 0.65875 & -\frac{\pi ^4 \zeta (3)}{45}+10 \zeta (7)-\frac{2 \pi ^2 \zeta (5)}{3} \\ \zeta (2,6) & 0.65157 & \frac{\pi ^8}{14175}-\zeta (6,2) \\ \zeta (2,7) & 0.64817 & -\frac{1}{945} 2 \pi ^6 \zeta (3)-\pi ^2 \zeta (7)+\frac{35 \zeta (9)}{2}-\frac{2 \pi ^4 \zeta (5)}{45} \\ \zeta (3,1) & 0.27058 & \frac{\pi ^4}{360} \\ \zeta (3,2) & 0.22881 & \frac{1}{2} \left(\pi ^2 \zeta (3)-11 \zeta (5)\right) \\ \zeta (3,3) & 0.21380 & \frac{\zeta (3)^2}{2}-\frac{\pi ^6}{1890} \\ \zeta (3,4) & 0.20751 & \frac{\pi ^4 \zeta (3)}{90}+\frac{5 \pi ^2 \zeta (5)}{3}-18 \zeta (7) \\ \zeta (3,5) & 0.20466 & -4 \zeta (3) \zeta (5)+\frac{5 \zeta (6,2)}{2}+\frac{41 \pi ^8}{75600} \\ \zeta (3,6) & 0.20332 & \frac{\pi ^6 \zeta (3)}{945}+\frac{\pi ^4 \zeta (5)}{15}+\frac{7 \pi ^2 \zeta (7)}{2}-\frac{85 \zeta (9)}{2} \\ \zeta (4,1) & 0.096551 & 2 \zeta (5)-\frac{\pi ^2 \zeta (3)}{6} \\ \zeta (4,2) & 0.088483 & \zeta (3)^2-\frac{4 \pi ^6}{2835} \\ \zeta (4,3) & 0.085160 & 17 \zeta (7)-\frac{5 \pi ^2 \zeta (5)}{3} \\ \zeta (4,4) & 0.083673 & \frac{\pi ^8}{113400} \\ \zeta (4,5) & 0.082978 & \frac{1}{90} \left(-4 \pi ^4 \zeta (5)-525 \pi ^2 \zeta (7)+5625 \zeta (9)\right) \\ \zeta (5,1) & 0.040537 & \frac{\pi ^6-630 \zeta (3)^2}{1260} \\ \zeta (5,2) & 0.038575 & \frac{\pi ^4 \zeta (3)}{45}+\frac{5 \pi ^2 \zeta (5)}{6}-11 \zeta (7) \\ \zeta (5,3) & 0.037708 & 5 \zeta (3) \zeta (5)-\frac{5 \zeta (6,2)}{2}-\frac{7 \pi ^8}{10800} \\ \zeta (5,4) & 0.037305 & \frac{1}{18} \left(\pi ^4 \zeta (5)+105 \pi ^2 \zeta (7)-1143 \zeta (9)\right) \\ \zeta (6,1) & 0.018356 & -\frac{\pi ^4 \zeta (3)}{90}+3 \zeta (7)-\frac{\pi ^2 \zeta (5)}{6} \\ \zeta (6,2) & 0.017820 & \zeta (6,2) \\ \zeta (6,3) & 0.017573 & -\frac{\pi ^4 \zeta (5)}{15}+\frac{83 \zeta (9)}{2}-\frac{7 \pi ^2 \zeta (7)}{2} \\ \end{array} $$

메모

계산 리소스

https://docs.google.com/file/d/0B8XXo8Tve1cxU0NmSDg0cGNyYmM/edit
https://oeis.org/A000931
Multisum
Anzai, C., and Y. Sumino. ‘Algorithms to Evaluate Multiple Sums for Loop Computations’. arXiv:1211.5204 [hep-Ph, Physics:hep-Th, Physics:math-Ph], 22 November 2012. http://arxiv.org/abs/1211.5204.
- http://www.tuhep.phys.tohoku.ac.jp/~program/

사전 형태의 자료

http://en.wikipedia.org/wiki/Multiple_zeta_function

리뷰, 에세이, 강의노트

Schneps, Leila. ‘ARI, GARI, Zig and Zag: An Introduction to Ecalle’s Theory of Multiple Zeta Values’. arXiv:1507.01534 [math], 6 July 2015. http://arxiv.org/abs/1507.01534.
Brown, Francis. “Motivic Periods and the Projective Line Minus Three Points.” arXiv:1407.5165 [math], July 19, 2014. http://arxiv.org/abs/1407.5165.
http://www.math.jussieu.fr/~leila/MIT4B.pdf
Survey of the theory of multiple zeta values, Leila Schneps
Pierre Deligne Multizetas, d´aprés Francis Brown, Seminaire Bourbaki, Nr. 1048, January 2012, http://www.math.ias.edu/files/deligne/012312MultiZetas.pdf