다중 제타 값

개요

리만제타함수의 다변수 일반화 \(\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

다중 제타 값

목차

개요

정의

이중 제타

여러 가지 관계식

double shuffle

오일러 분해 공식

기타

다중 제타 값의 공간

테이블

테이블

이중 제타 값

메모

관련된 항목들

계산 리소스

사전 형태의 자료

리뷰, 에세이, 강의노트

관련논문

메타데이터

위키데이터

Spacy 패턴 목록

둘러보기 메뉴

검색