[논문 리뷰] On analogues of Arakawa-Kaneko zeta functions of Mordell-Tornheim type

Takuma Ito|arXiv (Cornell University)|2016. 03. 14.

Advanced Mathematical Identities참고 문헌 7인용 수 5

한 줄 요약

이 논문은 모델-토르헤임 형식의 아라카와-카네코 제타 함수의 유사체를 도입하여, 이러한 새로운 함수와 모델-토르헤임 다중 제타 함수 사이의 함수적 관계를 수립한다. 이는 해석적 계속성을 전체 함수로 보장하고, $\zeta_{MT,3}(2,1,1;1) = 2\zeta(2)\zeta(3) - \zeta(5)$와 같은 항등식을 포함한 다중 제타 값에 대한 명시적 공식을 도출한다.

ABSTRACT

In this paper, we construct certain analogues of the Arakawa-Kaneko zeta functions. We prove functional relations between these functions and the Mordell-Tornheim multiple zeta functions. Furthermore we give some formulas among Mordell-Tornheim multiple zeta values as their applications.

연구 동기 및 목표

• 모델-토르헤임 프레임워크 내에서 아라카와-카네코 제타 함수의 유사체를 구성하는 것.
• 이러한 새로운 제타 함수와 모델-토르헤임 다중 제타 함수 사이의 함수적 관계를 수립하는 것.
• 함수적 관계의 응용으로 모델-토르헤임 다중 제타 값에 대한 명시적 공식을 도출하는 것.
• 더 높은 차수의 다중 적분과 더 많은 변수를 가진 다중 제타 함수로 결과를 일반화하는 것.

제안 방법

• 모든 $\mathbf{k} \in \mathbb{N}^r$ 및 $\Re(s) > 1 - r$ 에 대해 $\xi_{MT}(\mathbf{k};s) = \frac{1}{\Gamma(s)}\int_0^\infty \frac{t^{s-1}}{e^t - 1} \prod_{j=1}^r \operatorname{Li}_{k_j}(1 - e^{-t}) dt$ 를 정의한다.
• 경로 적분과 감마 함수의 성질을 이용하여 $\xi_{MT}(\mathbf{k};s)$ 의 해석적 계속성을 전체 함수로 증명한다.
• 적분 항등식과 생성 함수를 통해 $\xi_{MT}(\mathbf{k};s)$ 와 모델-토르헤임 제타 함수 사이의 함수적 관계를 수립한다.
• 경로 변형과 잔여물 계산법을 사용하여 음의 정수에서의 값이 일반화된 다중 베르누이 수 $C^{\mathbf{k}}_{m,MT}$ 와 관련됨을 밝힌다.
• g중적 곱을 통해 $\xi_{MT,g}(\mathbf{k}_1, \dots, \mathbf{k}_g; s)$ 를 정의함으로써, 더 높은 차수의 다중 제타 함수로 프레임워크를 확장한다.
• 다중 제타 값과 이항 계수, Pochhammer 기호를 연결하는 주요 함수적 관계(정리 15)를 도출한다.

실험 결과

연구 질문

• RQ1 다중 다중로그함수를 사용하여 아라카와-카네코 제타 함수를 모델-토르헤임 설정으로 일반화할 수 있는가?
• RQ2 새로운 모델-토르헤임 형식의 제타 함수와 고전적 모델-토르헤임 다중 제타 함수 사이에 어떤 함수적 관계가 존재하는가?
• RQ3 이러한 함수적 관계로부터 모델-토르헤임 다중 제타 값에 대한 명시적 공식을 도출할 수 있는가?
• RQ4 일반화된 제타 함수 $\xi_{MT,g}(\mathbf{k}_1, \dots, \mathbf{k}_g; s)$ 의 구조는 어떠한가? 그리고 다중 제타 값과 어떻게 관련되어 있는가?
• RQ5 기존 문헌의 알려진 항등식들을 통합하는 고차원 일반화된 함수적 관계가 존재하는가?

주요 결과

• $\Re(s) > 1 - r$ 에서 함수 $\xi_{MT}(\mathbf{k};s)$ 는 전체 함수로 해석적 계속되며, $m \in \mathbb{N}_0$ 에 대해 $\xi_{MT}(\mathbf{k}; -m) = (-1)^m C^{\mathbf{k}}_{m,MT}$ 를 만족한다.
• 함수적 관계가 수립된다: $\zeta(2)^2\zeta(s) - 2\zeta(2)\xi_{MT}(2;s) + \xi_{MT}(2,2;s) = \zeta_{MT,3}(2,2,0;s) + 2s\zeta_{MT,3}(2,1,0;s+1) + s(s+1)\zeta_{MT,3}(1,1,0;s+2)$.
• 명시적 평가가 이루어진다: $\zeta_{MT,3}(2,1,1;1) = 2\zeta(2)\zeta(3) - \zeta(5)$.
• 일반화된 함수적 관계(정리 15)는 N중 적분과 모델-토르헤임 제타 함수를 연결하며, 부분집합에 대한 합과 다항계수를 포함한다.
• 보조정리가 증명된다: $\sum_{j=1}^g r_j! \, \xi_{MT,g-1}(\dots, \mathbf{1}_{r_j+1}, \dots; r_j+1) = \prod_{j=1}^g \zeta_{MT,r_j}(\{1\}^{r_j};1)$, 이는 일반화된 제타 값을 제타 함수의 곱과 연결한다.
• 정리 15의 $N=2$ 경우는 오일러 분해 항등식을 복원한다: $\zeta(k+1)\zeta(r+1) = \sum_{m=0}^k \binom{r+m}{r} \zeta(k+1-m, r+1+m) + \sum_{n=0}^r \binom{k+n}{k} \zeta(r+1-n, k+1+n)$.