[논문 리뷰] Desingularization of complex multiple zeta-functions

Hidekazu Furusho, Yasushi Komori외 2명|arXiv (Cornell University)|2015. 08. 27.

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

한 줄 요약

이 논문은 일반화된 올러-자지어 유형의 복소 다중 리만 제타함수의 무수히 많은 특이 초평면을 제거하기 위한 탈특이화 방법을 제안한다. 이 방법은 이동된 변수를 가진 유한 선형 조합을 통해 특이성을 제거하고 전체 함수로 변환한다. 주요 결과는 탈특이화된 함수가 비정수 정수에서 잘 정의된 특수값을 가지며, 이는 베르누이 수로 명시적으로 표현된다는 것이다.

ABSTRACT

We introduce the method of desingularization of multi-variable multiple zeta-functions (of the generalized Euler-Zagier type), under the motivation of finding suitable rigorous meaning of the values of multiple zeta-functions at non-positive integer points. We reveal that multiple zeta-functions (which are known to be meromorphic in the whole space with infinitely many singular hyperplanes) turn to be entire on the whole space after taking the desingularization. The desingularized function is given by a suitable finite `linear' combination of multiple zeta-functions with some arguments shifted. It is shown that specific combinations of Bernoulli numbers attain the special values at their non-positive integers of the desingularized ones. We also discuss twisted multiple zeta-functions, which can be continued to entire functions, and their special values at non-positive integer points can be explicitly calculated.

연구 동기 및 목표

• 비정수 정수 지점에 위치한 무수히 많은 특이 초평면으로 인해 다중 제타함수의 부정확성이 제거되는 것.
• 극한 의존 결과의 모호함을 피하기 위해 비정수 정수에서 다중 제타함수의 값에 대해 엄밀하고 모호하지 않은 정의를 제공하는 것.
• 단일 변수에서 특이성을 제거하는 것(예: (s−1)ζ(s)가 전체 함수임)의 아이디어를 다변수 경우로 일반화하는 것.
• 왜곡된 다중 제타함수로의 탈특이화 접근법을 확장하고 전체 해석적 계속성 및 특수값을 도출하는 것.
• 특히 일반화된 올러-자지어 유형에 대해 탈특이화된 값의 명시적 공식을 베르누이 수로 수립하는 것.

제안 방법

• 변수에 따라 달라지는 계수를 가진 이동된 다중 제타함수들의 유한 선형 조합으로 탈특이화된 다중 제타함수를 구성하는 것.
• 특이 초평면의 구조(예: s_r=1, s_{r-1}+s_r=2,1,0,...)를 이용해 특이성을 상쇄시키기 위해 이동 및 계수를 선택하는 것.
• 근본적으로 근의 단위근을 가진 일반화된 올러-자지어 유형 다중 제타함수 ζ_r((s_j);(γ_j)) 및 그 왜곡된 형태에 이 방법을 적용하는 것.
• 다중 베르누이 수를 사용하여 비정수 정수에서 탈특이화된 함수의 명시적 공식을 도출하는 것.
• 대수적 항등식을 통해 모든 특이성이 상쇄됨을 보여 탈특이화된 함수가 전체 함수임을 입증하는 것.
• 기존의 항등식(예: ζ_2(0,s) = ζ(s−1)−ζ(s))을 활용하여 탈특이화된 값이 알려진 제타함수와 관련지어 결과를 검증하는 것.

실험 결과

연구 질문

• RQ1 무수히 많은 특이 초평면으로 인해 비정수 정수 지점에서 다중 제타함수의 값이 부정확할 수 있는데, 이에 대해 엄밀하고 모호하지 않은 값을 부여할 수 있는가?
• RQ2 유한 선형 조합을 통해 이동된 형태의 유리형 다중 제타함수로부터 전체 함수를 구성할 수 있는가?
• RQ3 탈특이화된 다중 제타함수의 비정수 정수에서의 특수값의 명시적 형태는 무엇인가?
• RQ4 탈특이화된 함수의 특수값은 다중 베르누이 수와 어떻게 관련이 있는가?
• RQ5 탈특이화 방법과 기존의 재정규화 기법(예: 군-창, 만코른-페이차) 사이에 관계가 존재하는가?

주요 결과

• 탈특이화된 다중 제타함수는 C^r에서 전체 함수이며, 모든 특이성이 유한 선형 조합에 의한 이동된 제타함수들에 의해 상쇄된다.
• r=2일 때, (−k,−l)에서의 탈특이화된 값은 베르누이 수에 대한 이중 합으로 주어진다: ζ²_des(−k,−l;1,1) = (−1)^{k+l} Σ Σ Σ B_{k+ν+κ+1}B_{l−κ+ρ+1}B_{m−ν−ρ+1} γ₁^{k+ν+κ+1}γ₂^{l−κ+ρ+1} 과 같은 다항계수를 포함한다.
• r=3일 때, (−k,−l,−m)에서의 탈특이화된 값은 다중 베르누이 수와 다항계수에 대한 삼중 합으로 명시적으로 계산된다.
• 탈특이화된 함수는 (−1,1;1,1)에서 1/8로 평가되며, (−1,4;1,1)에서는 ζ(3)−ζ(4)로 평가되어 알려진 제타값과 일관성을 보인다.
• 이 방법은 재정규화 기법과 다른 값을 도출한다: 예를 들어, ζ²_des(0,−2;1,1) = 1/18이며, 군-창의 1/120 및 만코른-페이차의 7/720와 다릅니다.
• 탈특이화된 함수는 비가역적 인덱스(예: (1,1), (2,1))에서도 잘 정의된 평가를 가능하게 하며, ζ²_des(1,1;1,1) = 1/2 및 ζ²_des(2,1;1,1) = −ζ(2)+2ζ(3)를 얻는다.