2025-11-22T08:34:16.532507

Mordell--Tornheim zeta function: Kronecker limit type formulas and Special values

Sathyanarayana, Sharan

In this paper, we establish Kronecker limit type formulas for the generalized Mordell--Tornheim zeta function $Î(r,s,t,x)$ as a function of the third variable, in terms of Riemann-zeta and Gamma values. We also give series evaluations of $Î(r,s,t,x)$ in terms of Herglotz-Zagier type functions, and their derivatives. As applications of this, we derive Kronecker limit type formula in the second variable and a new infinite family of modular relations called mixed functional equations. We also study the zeroes, special values and singularities of the above function when all its arguments $r,s$ and $t$ are equal, which builds on a few earlier results due to Romik.

academic

Mordell--Tornheim 제타 함수: Kronecker 극한형 공식과 특수값

기본 정보

논문 ID: 2510.10093
제목: Mordell--Tornheim zeta function: Kronecker limit type formulas and Special values
저자: Sumukha Sathyanarayana, N. Guru Sharan
분류: math.NT (정수론)
발표 시간: 2025년 10월 11일 (arXiv 제출)
논문 링크: https://arxiv.org/abs/2510.10093

초록

본 논문은 광의의 Mordell-Tornheim 제타 함수 $\Theta(r,s,t,x)$ 에 대한 제3변수에 관한 Kronecker 극한형 공식을 확립하며, 이를 Riemann 제타 함수와 감마 함수의 값으로 표현한다. 또한 $\Theta(r,s,t,x)$ 를 Herglotz-Zagier형 함수 및 그 도함수의 급수 표현으로 나타낸다. 응용으로서, 제2변수에 관한 Kronecker 극한형 공식과 혼합 함수 방정식이라 불리는 새로운 무한족 모듈러 관계식을 유도한다. 동시에 모든 매개변수 $r,s,t$ 가 같을 때 해당 함수의 영점, 특수값 및 특이점을 연구하며, 이는 Romik의 초기 결과를 기반으로 한다.

연구 배경 및 동기

문제 배경

Mordell-Tornheim 제타 함수: 고전적인 Mordell-Tornheim 제타 함수는 다음과 같이 정의된다: $\zeta_{MT}(r,s,t) := \sum_{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{n^r m^s (n+m)^t}$
광의의 형태: 본 논문에서 연구하는 광의의 형태는 $\Theta(r,s,t,x) := \sum_{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{n^r m^s (n+mx)^t}$ 여기서 $x > 0$ 이고, 명백히 $\Theta(r,s,t,1) = \zeta_{MT}(r,s,t)$ 이다.
연구의 중요성:
- Mordell-Tornheim 제타 함수는 Witten 제타 함수, 다중 제타 함수 등과 밀접한 연관이 있다
- 리 대수 이론에서 중요한 응용을 가지며, 특히 $SU(3)$ 군과 관련된 Witten 제타 함수와 연결된다
- Kronecker 극한 공식은 해석적 정수론에서 기초적 지위를 가진다
기존의 한계:
- 해당 함수의 특이점 근처에서의 거동이 대부분 탐구되지 않았다
- 체계적인 Kronecker 극한형 공식이 부족하다
- 특수값과 영점에 대한 이해가 불완전하다

핵심 기여

Kronecker 극한형 공식 확립: $\Theta(r,s,t,x)$ 의 제3변수 $t$ 에 관한 완전한 Kronecker 극한형 공식 제시
급수 표현 유도: Herglotz-Zagier형 함수를 이용한 $\Theta(r,s,t,x)$ 의 표현
혼합 함수 방정식 획득: 새로운 무한족 모듈러 관계식(혼합 함수 방정식) 발견
특수 경우의 완전한 분석: $\Theta(s,s,s,x)$ 의 영점, 특수값 및 특이점의 체계적 연구
Romik 결과의 일반화: Witten 제타 함수에 관한 Romik의 결과를 더 일반적인 경우로 확장

방법론 상세 설명

작업 정의

광의의 Mordell-Tornheim 제타 함수 $\Theta(r,s,t,x)$ 의 해석적 성질 연구, 특히:

특이점 근처에서의 Laurent 전개
Kronecker 극한형 공식의 확립
특수값의 계산
함수 방정식의 발견

핵심 방법

1. Mellin 변환 방법

Mellin 변환과 다중 로그 함수 $\text{Li}_r(z) = \sum_{u=1}^{\infty} \frac{z^u}{u^r}$ 의 성질을 이용하여 적분 표현을 확립한다:

명제 2.1: $r \notin \mathbb{N}$ 에 대해, $\frac{1}{\Gamma(t)}\int_0^{\infty} y^{t-1}\text{Li}_s(e^{-xy})\left(\text{Li}_r(e^{-y}) - \Gamma(1-r)y^{r-1} - \sum_{k=0}^M \frac{(-1)^k\zeta(r-k)y^k}{k!}\right)dy$ $= \Theta(r,s,t,x) - \frac{\Gamma(1-r)\Gamma(t+r-1)}{x^{t+r-1}\Gamma(t)}\zeta(t+s+r-1) - \sum_{k=0}^M \frac{(-1)^k\zeta(r-k)\Gamma(t+k)}{k!x^{t+k}\Gamma(t)}\zeta(t+k+s)$

2. 부분 분수 방법

보조정리 3.1: $r,t \in \mathbb{N}\cup\{0\}$ 이고 $r+t \geq 1$ 에 대해, 부분 분수 분해가 존재한다: $\frac{1}{n^r(n+y)^t} = (-1)^r\sum_{j=0}^{t-1}\binom{j+r-1}{j}\frac{1}{y^{j+r}(n+y)^{t-j}} + \sum_{i=0}^{r-1}\binom{i+t-1}{i}\frac{(-1)^i}{n^{r-i}y^{t+i}}$

3. 해석적 연속 기법

감마 함수의 극점 구조와 제타 함수의 Laurent 전개를 분석하여 다양한 특이점 경우를 체계적으로 처리한다.

기술적 혁신점

체계적인 경우 분류: 매개변수의 서로 다른 값(정수 vs 비정수, 양수 vs 음수 등)에 따른 상세한 경우 분석
정확한 Laurent 계수: 주요 부분뿐만 아니라 Laurent 전개의 구체적 계수 계산
통일된 처리 틀: 다양한 유형의 특이점을 통일된 분석 틀에 포함
새로운 함수 방정식: $\psi$ 함수의 도함수와 조화수를 포함하는 혼합형 함수 방정식 발견

주요 결과

Kronecker 극한형 공식

정리 2.3 (제3변수의 경우)

$r \in \mathbb{Z}\setminus\mathbb{N}$ 이고 $\ell \in \mathbb{N}\cup\{0\}$ 에 대해, $t = 1-r-\ell$ 근처에서:

경우 I ( $s \notin \mathbb{Z}$ 또는 $s > r+\ell$ 이고 $s \neq \ell+1$ ): $\Theta(r,s,t,x) = \frac{(-1)^{r-1}(r+\ell-1)!x^{\ell}(-r)!\zeta(s-\ell)}{\ell!} + \sum_{k=0}^{r+\ell-1}\frac{(r+\ell-1)!\zeta(r-k)\zeta(-r+s-\ell+k+1)}{x^{1-r-\ell+k}k!(r+\ell-k-1)!} + O(|t-(1-r-\ell)|)$

경우 II ( $s = \ell+1$ ): $\Theta(r,s,t,x) = \frac{(-1)^{r-1}(-r)!x^{\ell}(r+\ell-1)!}{\ell!(t-(1-r-\ell))} + \text{상수항} + O(|t-(1-r-\ell)|)$

급수 표현 정리

정리 3.2

$r,t \in \mathbb{N}\cup\{0\}$ 이고 $r+t \geq 1$ 에 대해: $\Theta(r,s,t,x) = \sum_{i=0}^{r-2}\frac{(-1)^i}{x^{t+i}}\binom{i+t-1}{i}\zeta(s+t+i)\zeta(r-i)$ $- \frac{(-1)^r}{x^{r+t-1}}\binom{r+t-2}{t-1}\sum_{m=1}^{\infty}\frac{\gamma + \psi(mx+1)}{m^{r+s+t-1}}$ $+ (-1)^r\sum_{j=0}^{t-2}\binom{j+r-1}{j}\frac{(-1)^{t-j}}{(t-j-1)!}\frac{1}{x^{j+r}}\sum_{m=1}^{\infty}\frac{\psi^{(t-j-1)}(mx+1)}{m^{r+s+j}}$

혼합 함수 방정식

정리 3.3

함수 $F(x)$ 를 정의하면, 함수 방정식이 성립한다: $F(x) = x^{-t}F\left(\frac{1}{x}\right)$

예를 들어, $r=s=2, t=0$ 일 때: $-\sum_{m=1}^{\infty}\frac{\psi'(mx+1)}{m^2} + \sum_{m=1}^{\infty}\frac{\psi'(m/x+1)}{m^2} + \frac{2}{x}\sum_{m=1}^{\infty}\frac{\gamma + \psi(mx+1)}{m^3} = \zeta^2(2)$

특수값과 영점

정리 4.1

음이 아닌 정수 $j$ 에 대해:

홀수 경우: $\Theta(-j,-j,-j,x)_{L1} = 0$ ( $j$ 가 홀수일 때)
짝수 경우: $j$ 가 짝수일 때, $\Theta(-j,-j,-j,x)_{L1} = -\frac{(j!)^2}{2(2j+1)!}(x^{2j+1} + x^{-j-1})\zeta(-3j-1) + \sum_{k=0}^j\binom{j}{k}x^{j-k}\zeta(-j-k)\zeta(-2j+k)$

정리 4.2 (특이점 구조)

함수 $\Theta(s,s,s,x)$ 의 특이점은 정확히 다음 위치에 있다:

$s = \frac{2}{3}$ : 단순 극점, 유수는 $\frac{\Gamma^3(1/3)}{2\sqrt{3}\pi x^{1/3}}$
$s = \frac{1}{2} - j$ ( $j \in \mathbb{N}\cup\{0\}$ ): 단순 극점

실험적 검증

수치 검증

논문은 이론적 결과를 구체적 계산으로 검증한다. 예를 들어:

특수값 검증:
- $\Theta(0,0,0,x)_{L1} = \frac{1+6x+x^2}{24x}$
- $\Theta(0,0,0,1)_{L1} = \frac{1}{3}$ (Romik의 결과 검증)
서로 다른 극한 방법의 비교:
- $\Theta(0,0,0,x)_{L2} = \frac{2+6x+2x^2}{24x}$
- $\Theta(0,0,0,1)_{L2} = \frac{5}{12}$ (Komori의 결과 검증)