[논문 리뷰] Multiple zeta functions of Kaneko-Tsumura type and their values at positive integers

Shûji Yamamoto|arXiv (Cornell University)|2016. 07. 07.

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

한 줄 요약

이 논문은 카네코-츠무라 다중 제타 함수를 2r개의 복소변수에 대한 해석적 함수로 확장하며, 그 해석적 계속성과 양의 정수에서의 특수값과 유진-자지에 다중 제타 값 사이의 선형 관계를 증명한다. 주요 결과로는 임의의 복소수 k, l에 대해 duality 항등식 η(k;l) = η(l;k)의 증명이며, 명시적 평가로는 η(1,…,1;1,…,1) = ζ(2,…,2)가 포함된다.

ABSTRACT

Kaneko and Tsumura introduced a new kind of multiple zeta functions $η(k_1,\ldots,k_r;s_1,\ldots,s_r)$. This is an analytic function of complex variables $s_1,\ldots,s_r$, while $k_1,\ldots,k_r$ are non-positive integer parameters. In this paper, we first extend this function to an analytic function $η(s'_1,\ldots,s'_r;s_1,\ldots,s_r)$ of $2r$ complex variables. Then we investigate its special values at positive integers. In particular, we prove some linear relations among these $η$-values and the multiple zeta values $ζ(k_1,\ldots,k_r)$ of Euler-Zagier type.

연구 동기 및 목표

• 비음수 정수 매개변수에 국한된 원래 정의를 일반화하여, 카네코-츠무라 다중 제타 함수를 2r개의 복소변수에 대한 해석적 함수로 확장하는 것.
• 경로 적분 방법을 사용하여 확장된 함수를 전체 복소공간 C^{2r}로 해석적 계속성함을 증명하는 것.
• 확장된 함수의 양의 정수에서의 특수값을 조사하고, 오일러-자지에 다중 제타 값과의 선형 관계를 유도하는 것.
• 이전에는 음수 정수에 대해서만 관찰된 바 있었던, 임의의 복소수 k, l에 대해 η(k;l) = η(l;k)의 duality 항등식을 엄밀히 증명하는 것.
• 일부 양의 정수에서의 η-값을 다중 제타 값의 유한합으로 표현하며, η(1,…,1;1,…,1) = ζ(2,…,2)와 같은 명시적 평가를 포함하는 것.

제안 방법

• r개의 변수를 가진 다중 로그로그함수를 포함하는 다중 적분 표현을 통해 확장된 함수 η(s′₁,…,s′ᵣ;s₁,…,sᵣ)를 정의한다.
• 매개변수를 복소수로 확장하기 위해 고전적인 경로 적분 방법을 사용하며, 경로 C_ε를 활용한다.
• 식 (2.1)의 적분 표현을 이용하여 다중 로그로그함수를 감마 함수와 경로 적분의 곱으로 표현함으로써, C^{2r}로의 해석적 계속성을 가능하게 한다.
• 대칭성 확립: η(s′₁,…,s′ᵣ;s₁,…,sᵣ) = η(s₁,…,sᵣ;s′₁,…,s′ᵣ), 이는 원래 함수의 duality를 일반화한다.
• 특수값 공식 유도에 있어 적분 변환과 급수 전개를 활용하며, 특히 로그 적분과 다중 제타 값 항등식을 중심으로 한다.
• 인덱스 집합에 대한 조합적 항등식과 포함-배제 원리를 활용하여 정수의 사슬에 대한 합을 다중 제타 값과 연결하며, 이를 레이마 A.2와 정리 A.1로 체계화한다.

실험 결과

연구 질문

• RQ1 카네코-츠무라 다중 제타 함수는 어떻게 2r개의 복소변수에 대한 해석적 함수로 확장될 수 있는가?
• RQ2 확장된 함수의 양의 정수에서의 특수값은 무엇이며, 오일러-자지에 다중 제타 값과 어떤 관계가 있는가?
• RQ3 이전에는 음수 정수에서만 관찰된 바 있었던, 임의의 복소수 k, l에 대해 η(k;l) = η(l;k)의 duality 항등식을 엄밀히 증명할 수 있는가?
• RQ4 양의 정수에서의 η-값 중 어떤 것들이 다중 제타 값의 유한합으로 표현될 수 있는가?
• RQ5 인덱스 집합과 정수의 사슬의 조합적 구조는 η-값과 다중 제타 값 사이의 선형 관계에 어떻게 기여하는가?

주요 결과

• 카네코-츠무라 다중 제타 함수는 2r개의 복소변수에 대한 해석적 함수 η(s′₁,…,s′ᵣ;s₁,…,sᵣ)로 확장되었으며, C^{2r} 전체에 걸쳐 해석적 계속성이 보장된다.
• 확장된 함수는 η(s′₁,…,s′ᵣ;s₁,…,sᵣ) = η(s₁,…,sᵣ;s′₁,…,s′ᵣ)의 대칭성을 만족하며, 원래 함수에서 관찰된 duality를 일반화한다.
• 이전에는 음수 정수에 대해서만 관찰된 바 있었던, 임의의 복소수 k와 l에 대해 η(k;l) = η(l;k)의 duality 항등식이 엄밀히 증명되었다.
• 특수값 η(1,…,1;1,…,1)은 다중 제타 값 ζ(2,…,2)와 동일하며, 양의 정수에서의 확장된 함수에 대한 구체적인 평가를 제공한다.
• 양의 정수 k와 l에 대해 η(k;l)는 특정 부등식 조건을 만족하는 정수의 사슬에 대한 유한합으로 표현되며, 이를 다중 제타 값의 유한합으로 재기록할 수 있다.
• 논문은 η(k;l) = ∑_{J⊂J(k)} S_J 라는 항등식을 통해 η-값과 다중 제타 값 사이의 일반적인 선형 관계를 설정한다. 여기서 S_J는 주어진 관계 연산자를 갖는 사슬에 대한 합을 의미한다.