A note on the multiple zeta functions and their variants at identical arguments

논문 개요

이 논문은 Pawan Singh Mehta 가 저술한 것으로, **다중 제타 함수 (Multiple Zeta Functions, MZF)**와 그 변형들 (다중 제타-스타 함수, 다중 $t$-함수, 다중 $t$-스타 함수) 을 동일한 인수 $(s, s, \dots, s)$에서 연구합니다. 저자는 **조화 곱 (harmonic product)**과 **완전 벨 다항식 (Complete Bell polynomials)**을 활용하여 이러한 함수들을 리만 제타 함수의 다항식으로 명시적으로 표현하고, 이를 통해 특이점 구조를 규명하며 다양한 함수 간의 새로운 함수 관계를 도출합니다.

---

1. 연구 문제 (Problem)

• 배경: 다중 제타 함수 $\zeta_r(s_1, \dots, s_r)$와 그 변형들은 오일러의 연구에서 기원하며, 최근 30 년간 심도 있게 연구되어 왔습니다. 특히, 이러한 함수들이 동일한 인수 $(s, \dots, s)$를 가질 때의 성질은 중요한 주제입니다.
• 기존 연구의 한계: Matsumoto, Matsusaka, Tanackov 등은 다중 제타 함수를 리만 제타 함수의 다항식으로 표현할 수 있음을 보였으나, 그 계수 (coefficients) 에 대한 명시적인 설명은 부족했습니다. 또한, 이러한 표현을 통해 함수의 특이점 (singularities) 을 완전히 기술하거나, 서로 다른 변형 함수들 (예: $\zeta_r$과 $\zeta^\star_r$, $t_r$과 $t^\star_r$) 사이의 관계를 체계적으로 규명하는 데 한계가 있었습니다.
• 목표:
  1. 다중 제타 함수 및 그 변형들을 리만 제타 함수의 다항식으로 표현할 때의 계수를 완전 벨 다항식을 사용하여 명시적으로 기술하는 것.
  2. 이를 통해 함수의 **특이점 (singularities)**을 완전히 규명하는 것.
  3. 서로 다른 변형 함수들 간의 새로운 함수 관계식을 확립하는 것.
  4. 정수점 (특히 0 과 양의 짝수) 에서의 **특수한 값 (special values)**을 계산하는 것.

---

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구와 기법을 활용했습니다.

• 조화 곱 (Harmonic Product / Stuffle Product): 다중 제타 함수의 곱셈 법칙을 이용하여 점화식 (recurrence relations) 을 유도합니다.
  • 예: $r\zeta_r(s) = \sum_{j=1}^r (-1)^{j-1} \zeta_{r-j}(s)\zeta(js)$
• 벨 다항식 (Bell Polynomials):
  • **부분 벨 다항식 (Partial Bell polynomials, $B_{n,k}$)**과 **완전 벨 다항식 (Complete Bell polynomials, $Y_n$)**의 성질을 활용합니다.
  • 특히, 함수의 합성 (composition) 에 대한 Faà di Bruno 공식을 통해 점화식을 벨 다항식의 형태로 변환합니다.
• 형식적 멱급수 및 미분방정식:
  • 점화식을 만족하는 계수들을 생성함수 (generating function) $p(x)$로 정의하고, 이를 만족하는 미분방정식 $p'(x) = \pm p(x)q(x)/x$를 풀어 해를 구합니다.
  • 이 해를 벨 다항식의 생성함수와 비교하여 명시적인 공식을 유도합니다.
• 대칭 함수 이론: 다중 제타 함수를 무한 개의 변수에 대한 대칭 함수 (기초 대칭 함수 $e_r$과 완전 대칭 함수 $h_r$) 의 극한으로 해석하여 뉴턴의 항등식 (Newton's identities) 을 적용합니다.

---

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 명시적 다항식 표현 (Theorems 1 & 2)

다중 제타 함수와 그 변형들을 리만 제타 함수 $\zeta(s)$의 다항식으로 표현하는 공식을 완전 벨 다항식을 사용하여 명시적으로 제시했습니다.

• Theorem 1 (다중 제타 함수 및 $t$-함수):
  $$\zeta_r(s) = \sum_{\substack{c_1, \dots, c_r \ge 0 \\ c_1 + 2c_2 + \dots + rc_r = r}} \frac{(-1)^{r + \sum c_i}}{1^{c_1}c_1! \cdots r^{c_r}c_r!} \zeta(s)^{c_1} \zeta(2s)^{c_2} \cdots \zeta(rs)^{c_r}$$
  $t_r(s)$에 대해서도 유사한 부호 변화를 가진 공식이 유도되었습니다.
• Theorem 2 (다중 제타-스타 함수 및 $t$-스타 함수):
  $$\zeta^\star_r(s) = \sum_{\substack{c_1, \dots, c_r \ge 0 \\ c_1 + 2c_2 + \dots + rc_r = r}} \frac{1}{1^{c_1}c_1! \cdots r^{c_r}c_r!} \zeta(s)^{c_1} \zeta(2s)^{c_2} \cdots \zeta(rs)^{c_r}$$
  이 공식들은 기존 연구에서 암시적이었던 계수들을 벨 다항식을 통해 명확히 규명했습니다.

B. 특이점의 완전한 기술 (Remark 1)

• 위 공식 (10) 을 통해 $\zeta_r(s)$의 특이점이 $s = 1/k$ ($1 \le k \le r$) 에서만 발생함을 재확인했습니다.
• $s = 1/k$에서의 극점 (pole) 의 차수는 $[r/k]$ (가장 큰 정수) 임을 증명하고, 로랑 급수 (Laurent series) 의 주계수 (leading coefficient) 를 명시적으로 계산했습니다. 이는 기존 Matsumoto 등의 결과를 간결하게 재증명하고 확장한 것입니다.

C. 함수 간의 새로운 관계식 (Theorem 3)

벨 다항식의 성질 (합에 대한 분해 공식) 을 활용하여 서로 다른 변형 함수들 사이의 새로운 항등식을 도출했습니다.

• Theorem 3:
  $$t_r(s) = \sum_{j=0}^r \frac{(-1)^{r-j}}{2^{(r-j)s}} \zeta_j(s) \zeta^\star_{r-j}(s)$$
  $$t^\star_r(s) = \sum_{j=0}^r \frac{(-1)^{r-j}}{2^{(r-j)s}} \zeta_{r-j}(s) \zeta^\star_j(s)$$
  이 관계식은 $t$-함수와 제타 함수, 제타-스타 함수를 연결하여 새로운 대수적 구조를 보여줍니다.

D. 특수한 값의 계산 (Section 4)

• 양의 짝수점 ($s=2k$): $\zeta_r(2k)$와 $\zeta^\star_r(2k)$가 $\pi^{2k}$와 유리수의 곱으로 표현됨을 보였으며, 베르누이 수 (Bernoulli numbers) 를 이용한 명시적 공식을 유도했습니다.
• 영점 ($s=0$):
  • $t_r(0) = t^\star_r(0) = 0$임을 보였습니다.
  • Corollary 1: $\zeta_r(0)$과 $\zeta^\star_r(0)$이 0 이 아닌 유리수임을 증명하고, 이를 **이항계수 (binomial coefficients)**와 **제 1 종 스털링 수 (Stirling numbers of the first kind)**를 사용하여 다음과 같이 명시했습니다.
    $$\zeta_r(0) = \frac{(-1)^r}{4^r} \binom{2r}{r}, \quad \zeta^\star_r(0) = -\frac{1}{r 2^{2r-1}} \binom{2r-2}{r-1}$$
  • 또한 $r \to \infty$일 때의 점근적 거동도 분석했습니다.

---

4. 의의 및 중요성 (Significance)

1. 계수의 명시적 규명: 기존 연구에서 계수가 명시적으로 주어지지 않았던 다중 제타 함수의 다항식 표현에 대해, 완전 벨 다항식을 통해 계수를 체계적이고 명시적으로 제시했습니다. 이는 계산적 접근과 이론적 분석을 모두 용이하게 합니다.
2. 통일된 접근법: 조화 곱, 뉴턴 항등식, 벨 다항식, 생성함수 기법을 통합하여 다양한 다중 제타 함수 변형들 ($\zeta, \zeta^\star, t, t^\star$) 을 하나의 프레임워크 안에서 다뤘습니다.
3. 새로운 함수 관계: 서로 다른 정의 (부등호의 종류, 홀수/짝수 분모 등) 를 가진 함수들 사이에 존재하는 놀라운 대수적 관계 (Theorem 3) 를 발견하여, 이 분야에 대한 이해를 심화시켰습니다.
4. 특수 값의 확장: 정수점뿐만 아니라 0에서의 값에 대한 정확한 계산과 점근적 성질을 제시함으로써, 다중 제타 함수의 해석적 성질에 대한 지식을 확장했습니다.

이 논문은 다중 제타 함수 이론에서 벨 다항식의 강력한 적용 가능성을 보여주며, 향후 관련 함수들의 특수 값 계산 및 특이점 분석에 중요한 기초를 제공합니다.