Laurent type expansion of multiple polylogarithms at integer points

기술 요약: 정수점에서의 다중 폴리로그함수의 로랑 유형 전개

문제 정의
본 논문은 복소 영역 $\mathbb{C}^r$ 내의 정수점에서의 다중 폴리로그함수 $Li(a_1, \dots, a_r; z_1, \dots, z_r)$ 또는 $Liz(s_1, \dots, s_r)$의 국소적 거동을 다룬다. 이러한 함수들의 수렴성과 정칙성(holomorphicity)은 특정 도메인(예: $U_r(z)$) 내에서는 잘 알려져 있으나, 표준 수렴 도메인을 벗어나거나 급수가 발산하는 정수점에서의 거동은 여전히 까다로운 문제로 남아 있다. 저자들의 이전 연구 [4]는 이러한 급수에 대한 정규화 과정을 확립하고 더 넓은 수렴 도메인 $V_r(z)$를 식별하였으나, 정칙성 문제를 완전히 해결하거나 이 정수점들에서의 명시적인 전개를 제공하지는 못했다. 핵심 과제는 임의의 정수점 $a \in \mathbb{Z}^r$ 주변에서 이 함수들에 대한 명시적인 로랑 유형 전개를 구성하고, 이 지점들에서 함수가 정칙이 되기 위한 조건을 결정하는 것이다.

방법론
저자들은 정규화 기법, 조합 항등식, 그리고 점근 분석을 결합한 다각적인 접근 방식을 채택한다:

1. 정규화 및 형식적 멱급수: 저자들은 이전 연구 [4]에서 정의된 정규화 과정을 활용한다. 이들은 "정규화된 값" $\ell(a_1, \dots, a_r)_{[k_1, \dots, k_r]}(z)$를 로그 항을 포함하는 부분합의 점근 전개에서의 상수항으로 정의한다. 이를 통해 정규화된 다중 폴리로그 함수 $Li^{Reg}_{(z;a)}(s_1, \dots, s_r)$를 나타내는 형식적 멱급수(식 9)를 구성할 수 있다.

2. 조합 항등식: 다중 폴리로그 함수와 다중 폴리로그-스타 함수($Li^\star$) 사이의 관계가 중요한 단계이다. 저자들은 다중 폴리로그의 부분합을 스타-함수의 꼬리(tail)와 낮은 깊이의 폴리로그들을 포함하는 교대합으로 표현하는 조합 항등식(정리 5, 식 19)을 사용한다.

3. 꼬리 함수의 점근 전개: 저자들은 $N \to \infty$일 때 스타-함수의 꼬리 $Li^\star_{z}(s_1, \dots, s_r)_{\ge N}$의 점근적 거동을 분석한다. 이동 공식(Proposition 1)과 깊이 및 정수 매개변수에 대한 귀납법을 사용하여, 저자들은 특정 비교 척도 $E$($N$의 거듭제곱과 $\log N$을 포함하며 계수가 특정 대수 $\mathbb{C}_z$에 속함)에 대한 이들의 완전한 점근 전개를 유도한다.

4. 행렬 역행렬 및 유리 함수: 정규화된 함수를 원래 함수와 연관시키기 위해, 다양한 깊이에서의 함수들을 포함하는 선형 방정식 체계를 설정한다. 이러한 관계를 행렬 형태(예: $V = M^{-1}V_{Reg}$)로 표현함으로써, 저자들은 유리 함수 성분을 가진 상삼각 행렬을 역행렬로 계산한다. 이 역행렬 과정은 로랑 전개의 명시적 계수들을 산출한다.

주요 기여 및 결과

• 명시적 로랑 유형 전개 (정리 4 및 정리 6): 주요 결과는 임의의 정수점 $a \in \mathbb{Z}^r$ 주변에서 다중 폴리로그 함수 $Liz(s_1, \dots, s_r)$에 대한 명시적인 로랑 유형 전개를 도출하는 것이다.

  • 점 $a$가 도메인 $U_r(z)$ 내에 있는 경우, 정리 4는 함수가 특정 초평면 $H^{(i)}_j$를 포함하는 유리 함수들에 의해 곱해진 정규화된 함수들의 합으로 표현되는 전개를 제공한다.
  • 정리 6은 이를 $\mathbb{C}^r$ 내의 모든 정수점으로 일반화한다. 이는 정규화된 함수의 형식적 멱급수가 $a$의 근방에서 수렴하며, $\mathbb{C}^r$ 상의 메로모르픽(meromorphic) 함수로 확장됨을 입증한다. 전개식은 다음과 같다:
    $$Li^{Reg}_{(z;a)}(s) = \sum_{i=0}^r (-1)^i Li_{(z_{i+1}, \dots, z_r)}(s_{i+1}, \dots, s_r) C_i(s_1, \dots, s_i)$$
    여기서 $C_i$는 베르누이 수와 오일러 다항식을 포함하여 명시적으로 정의된 유리 함수들이다.

• 정수점에서의 정칙성 (따름정리 1): 저자들은 임의의 정수점 $a \in V_r(z)$에 대해 다중 폴리로그 함수 $Liz(s)$가$a$에서 정칙임을 증명한다. 또한,$a$에서의 함수의 값은 정확히 정규화된 값$\ell(a_1, \dots, a_r)_{[0, \dots, 0]}(z)$와 같다. 이는 [4]에서 미해결 상태로 남겨졌던 정수점에서의 정칙성 문제를 해결한다.

• 비수렴 점으로의 확장 (따름정리 2): 저자들은 $V_r(z)$ 외부의 정수점에 대해서도, 매개변수 $z_i$가 특정 조건(구체적으로 모든 $i$에 대해 $z_{[1,i]} \neq 1$)을 만족하면 함수가 $\mathbb{C}^r$ 전체에서 정칙이며, 임의의 정수점에서의 값이 정규화된 값과 같음을 보여준다.

• 스타-함수의 점근 분석 (Proposition 3): 본 논문은 단일 변수 사례에 대한 기존 결과를 일반화하여, 가변 계수를 갖는 다중 폴리로그-스타 함수의 꼬리에 대한 완전한 점근 전개를 제공한다.

의의
본 논문은 다중 제타 함수에 대한 로랑 전개를 제공했던 [6]의 연구를, 일차 단위(roots of unity)를 매개변수로 갖는 더 넓은 범위의 다중 폴리로그 함수로 확장한다고 주장한다. 정규화된 멱급수의 수렴성을 확립하고 전개를 위한 명시적 공식을 제공함으로써, 저자들은 이 함수들의 해석적 연속과 정수점에서의 산술적 값 사이의 간극을 메운다. 이 결과들은 [4]에서 정의된 정규화 과정이 올바른 해석적 연속을 제공함을 확인하며, 이를 통해 원래의 급수가 수렴하지 않을 수 있는 정수점에서도 정규화된 값이 진정한 값임을 검증한다. 이 연구는 수론 및 수학 물리학에서 근간이 되는 이 함수들의 특이점과 국소적 거동을 이해하기 위한 체계적인 프레임워크를 제공한다.