[논문 리뷰] Sum formula for multiple zeta function

Minoru Hirose, Hideki Murahara외 1명|arXiv (Cornell University)|2018. 08. 05.

Advanced Mathematical Identities참고 문헌 3인용 수 3

한 줄 요약

이 논문은 복소수 변수를 가진 오일러-자지에 다중 제타 함수(MZF)로 고전적 합 공식을 다중 제타 값(MZVs)에 대해 일반화한다. 깊이가 높은 MZVs를 통합하는 재귀적 함수족 $ G_{a,b}(s_1,\dots,s_a;s) $ 를 도입하여, $ G_{0,b}(s) = \zeta(s) $ 를 $ \Re(s) > b $ 에서 증명함으로써, 복소 변수 및 깊이 $ b \geq 2 $ 에 대한 합 공식을 확장한다.

ABSTRACT

The sum formula is a well known relation in the field of the multiple zeta values. In this paper, we present its generalization for the Euler-Zagier multiple zeta function.

연구 동기 및 목표

• 오일러-자지 다중 제타 함수(MZF)에서 양의 정수에서 복소수 변수로 다중 제타 값(MZVs)에 대한 고전적 합 공식을 확장하는 것.
• MZV 관계가 양의 정수를 초월하여 성립하는지에 대한 Matsumoto의 질문을 해결하기 위해 합 공식을 복소수 변수로 일반화하는 것.
• 깊이 $ a+b $ 의 MZVs를 통합하는 재귀적 함수족 $ G_{a,b}(s_1,\dots,s_a;s) $ 를 정의하고, 주어진 복소수 도메인 조건 하에서 수렴성을 분석하는 것.
• $ \Re(s) > b $ 에서 $ G_{0,b}(s) = \zeta(s) $ 를 증명하여, $ s \in \mathbb{Z}_{>b} $ 일 때 고전적 합 공식을 특수 케이스로 회복하는 것.

제안 방법

• MZF 값이 포함된 무한급수를 통해 $ G_{a,b}(s_1,\dots,s_a;s) $ 를 재귀적으로 정의: $ G_{a,b} = \sum_{n=0}^\infty G_{a+1,b-1}(s_1,\dots,s_a,s-n-b;n+b) - \sum_{n=0}^\infty G_{a+1,b-1}(s_1,\dots,s_a,-n;s+n) $, 기저 사례로 $ G_{a,1} = \zeta(s_1,\dots,s_a,s) $ 를 설정.
• 다중 제타 급수와의 비교를 통해, 도메인 조건 $ \Re(s) > b $, $ \Re(s + s_a) > 1 + b $, ..., $ \Re(s + s_a + \cdots + s_1) > a + b $ 하에서 $ G_{a,b} $ 의 절대 수렴성을 확립.
• 사슬 $ 0 < m_1 < \cdots < m_a < m $ 에 대한 합으로서의 $ G_{a,b} $ 의 명시적 적분 표현을 증명하며, 계수로는 $ x_1 \leq \cdots \leq x_{b-1} $ 에 대한 조화합을 포함.
• 해석적 계속을 통해 $ \Re(s) > 2 $ 에서 성립하는 항등식 $ \sum_{n=0}^\infty (\zeta(s-n-2,n+2) - \zeta(-n,s+n)) = \zeta(s) $ 를 $ \Re(s) > 1 $, $ s \neq 2 $ 로 확장.
• 정수 사슬에 대한 부분합을 나타내는 재귀 항등식 $ F_d^{(i)}(D;s) $ 를 활용하여 $ F_{d+1}(D;s) = F_d^{(1)}(D;s) - F_d^{(2)}(D;s) - F_d^{(3)}(D;s) $ 를 증명함으로써, 귀납적 수렴 제어를 가능하게 한다.
• 재귀적 구조를 적용하여 $ G_{0,b}(s) = \zeta(s) $ 를 증명함. 이는 $ m $ 에 대한 합으로 줄여내며, 최종적으로 리만 제타 함수를 회복한다.

실험 결과

연구 질문

• RQ1 오일러-자지 MZF에서 MZVs에 대한 고전적 합 공식을 복소수 변수로 일반화할 수 있는가?
• RQ2 복소수 매개변수를 가진 깊이 $ b $ 의 MZV 합을 지배하는 재귀적 구조는 무엇이며, 수렴성과 해석적 성질을 보장하는가?
• RQ3 복소수 매개변수 $ s $ 가 양의 정수이며 $ b $ 보다 클 때, 일반화된 합 공식은 고전적 합 공식과 어떻게 관련이 있는가?
• RQ4 복소수 매개변수에 어떤 조건이 필요하여 일반화된 합 공식의 수렴성과 메로모르픽 계속성을 보장할 수 있는가?
• RQ5 재귀적 함수족을 통해 MZF 값의 일반화된 합 공식을 임의의 깊이 $ b \geq 2 $ 로 확장할 수 있는가?

주요 결과

• 모든 복소수 $ s $ 에 대해 $ \Re(s) > b $ 를 만족할 때, 일반화된 합 공식 $ G_{0,b}(s) = \zeta(s) $ 가 성립하여, 고전적 합 공식이 복소수 매개변수로 확장됨을 보여준다.
• 함수 $ G_{a,b}(s_1,\dots,s_a;s) $ 는 도메인 조건 $ \Re(s) > b $, $ \Re(s + s_a) > 1 + b $, ..., $ \Re(s + s_a + \cdots + s_1) > a + b $ 하에서 잘 정의되고 절대 수렴한다.
• $ s \in \mathbb{Z}_{>b} $ 일 때, $ G_{a,b}(s_1,\dots,s_a;s) $ 는 $ \sum_{m_1+\cdots+m_b=s,\, m_i \geq 1, m_b \geq 2} \zeta(s_1,\dots,s_a,m_1,\dots,m_b) $ 로 줄어들며, 고전적 합 공식을 회복한다.
• $ \Re(s) > 2 $ 에서는 급수 변환을 통해, $ \Re(s) > 1 $, $ s \neq 2 $ 로 해석적 계속을 통해 $ \sum_{n=0}^\infty (\zeta(s-n-2,n+2) - \zeta(-n,s+n)) = \zeta(s) $ 를 증명하였다.
• $ G_{a,b} $ 의 재귀적 구조가 $ F_{d+1}(D;s) = F_d^{(1)}(D;s) - F_d^{(2)}(D;s) - F_d^{(3)}(D;s) $ 를 만족함을 보여주어, 귀납적 수렴 제어 및 명시적 평가가 가능함을 입증하였다.
• 명시적 공식 $ G_{a,b}(s_1,\dots,s_a;s) = \sum_{0<m_1<\cdots<m_a<m} \frac{1}{m_1^{s_1}\cdots m_a^{s_a} m^{s-b+1}} \sum_{m-m_a \leq x_1 \leq \cdots \leq x_{b-1} \leq m} \frac{1}{x_1 \cdots x_{b-1}} $ 이 유도되었으며, 수렴성이 입증되었다.