A new expansion of the Riemann zeta function

이 논문은 베르나르 칸델페르거 (Bernard Candelpergher) 에 의해 작성된 것으로, 리만 제타 함수 (Riemann zeta function) $\zeta(s)$를 임계 띠 (critical strip, $0 < \Re(s) < 1$) 에서 수렴하는 다항식 급수로 전개하는 새로운 방법을 제시합니다. 이 전개식은 직교 다항식 (orthogonal polynomials) $P_m(s)$를 기반으로 하며, 그 계수는 오일러 상수 $\gamma$와 제타 함수의 정수점 값들 $\zeta(2), \zeta(3), \dots$의 유리수 계수 선형 결합으로 표현됩니다.

다음은 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem)

리만 제타 함수 $\zeta(s)$는 복소평면에서 중요한 함수이며, 특히 임계선 $\Re(s)=1/2$에서의 성질은 리만 가설과 밀접하게 연관되어 있습니다. 기존 연구들 (Newton 보간법, Stieltjes 상수 활용 등) 은 제타 함수를 다항식이나 급수로 전개하려는 시도를 해왔으나, 본 논문은 다음과 같은 새로운 관점을 제시합니다:

• 수렴성: 임계 띠 내에서 제타 함수를 수렴하는 급수로 표현할 수 있는가?
• 계수의 구조: 전개식의 계수가 오일러 상수 $\gamma$와 $\zeta(k)$ 값들의 명확한 조합으로 표현될 수 있는가?
• 근의 위치: 사용된 다항식 $P_m(s)$의 근 (roots) 이 임계선 $\Re(s)=1/2$ 위에 위치하는가?

2. 방법론 (Methodology)

2.1 라마누잔의 합 (Ramanujan's Summation)

논문은 발산하는 급수를 처리하기 위해 라마누잔의 합을 핵심 도구로 사용합니다.

• 정의: 함수 $f \in E$ (특정한 해석적 함수 공간) 에 대해, 급수 $\sum_{n \ge 1} f(n)$의 라마누잔 합은 $C(f) = \frac{f(1)}{2} + i \int_0^\infty \frac{f(1+it) - f(1-it)}{e^{2\pi t} - 1} dt$로 정의됩니다.
• 제타 함수와의 관계: $\Re(s) > 1$인 경우 $\sum n^{-s} = \zeta(s)$이지만, 발산 영역에서는 라마누잔 합이 $\zeta(s) - \frac{1}{s-1}$과 일치함을 증명합니다. 이는 임계 띠 ($0 < \Re(s) < 1$) 에서 제타 함수를 정의하는 유효한 방법입니다.

2.2 라게르 다항식 (Laguerre Polynomials) 과 Mellin 변환

• 다항식 $P_m(s)$의 정의: 라게르 다항식 $L_m(x)$를 이용한 함수 $x \mapsto e^{-x}L_m(2x)$의 Mellin 변환을 통해 다항식 $P_m(s)$를 정의합니다.
  $$\Gamma(s)P_m(s) = 2 \int_0^\infty e^{-x}L_m(2x)x^{s-1} dx$$
• 생성 함수 (Generating Function): $z^{-s}$를 $P_m(s)$의 급수로 전개하는 생성 함수 관계를 유도합니다.
  $$z^{-s} = \sum_{m=0}^\infty \frac{1}{1+z} \left( \frac{z-1}{z+1} \right)^m P_m(s)$$
  여기서 $z=n$ (자연수) 을 대입하고 라마누잔 합을 적용하여 제타 함수의 전개를 유도합니다.

2.3 직교성 (Orthogonality)

• $P_m(s)$는 라게르 다항식과 밀접한 관련이 있으며, 이를 통해 $Q_m(t) = \frac{1}{2}P_m(\frac{1}{2} + it)$가 가중치 함수 $\frac{1}{\cosh(\pi t)}$를 갖는 $L^2(\mathbb{R})$ 공간에서 **완전 직교계 (complete orthonormal system)**를 이룸을 증명합니다.

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

3.1 제타 함수의 다항식 전개식

임계 띠 $0 < \Re(s) < 1$에서 리만 제타 함수는 다음과 같이 수렴하는 급수로 전개됩니다:
$$\zeta(s) = \sum_{m=0}^\infty x_m P_m(s)$$
여기서 계수 $x_m$은 다음과 같이 명시적으로 주어집니다:
$$x_m = \gamma + \sum_{k=1}^m \binom{m}{k} (-2)^k \zeta(k+1) + r_m$$

• $r_m$은 유리수이며, $(-1)^{m+1} + \sum_{k=1}^m \frac{1 + (-1)^{k-1}}{k}$로 표현됩니다.
• 이 공식은 제타 함수의 값을 오일러 상수와 $\zeta(2), \zeta(3), \dots$의 유한 합으로 표현할 수 있게 합니다.

3.2 다항식 근의 위치

• 주요 결과: 다항식 $P_m(s)$의 모든 근은 임계선 $\Re(s) = 1/2$ 위에 위치합니다.
• 이유: $Q_m(t)$가 직교 다항식 계를 이루기 때문에, 그 근은 실수축 위에 있어야 하며, 이는 $P_m(s)$의 근이 $\Re(s)=1/2$ 위에 있음을 의미합니다. 이는 리만 가설의 맥락에서 흥미로운 구조적 성질입니다.

3.3 직교 급수 전개 및 Parseval 등식

• 임계선 위의 제타 함수 $\zeta(1/2 + it)$는 직교 기저 $Q_m(t)$에 대한 직교 급수로 전개됩니다:
  $$\zeta(1/2 + it) = 2 \sum_{m=0}^\infty x_m Q_m(t)$$
• 이를 통해 Parseval 등식을 유도하여 다음과 같은 적분 값을 계산합니다:
  $$\frac{1}{2} \int_{-\infty}^\infty \frac{|\zeta(1/2 + it)|^2}{\cosh(\pi t)} dt = \log(2\pi) - \gamma - \frac{1}{2}$$
  이 결과는 제타 함수의 크기와 오일러 상수, 로그 상수 사이의 놀라운 관계를 보여줍니다.

4. 의의 (Significance)

1. 새로운 수학적 표현: 리만 제타 함수를 임계 띠에서 수렴하는 다항식 급수로 표현한 것은 기존에 알려진 뉴턴 보간법이나 Stieltjes 상수 기반 전개와 구별되는 새로운 접근법입니다.
2. 계산적 유용성: 전개식의 계수 $x_m$이 $\zeta(k)$ 값들의 유한 합으로 표현되므로, 수치 계산이나 이론적 분석에 유용한 도구가 될 수 있습니다.
3. 구조적 통찰: 다항식 $P_m(s)$의 근이 모두 임계선 위에 있다는 사실은 제타 함수의 분포와 직교 다항식 이론 사이의 깊은 연결을 시사합니다. 이는 리만 가설 연구에 대한 새로운 관점을 제공할 수 있습니다.
4. 라마누잔 합의 적용: 발산 급수를 다루는 라마누잔 합을 제타 함수의 급수 전개에 성공적으로 적용하여, 임계 띠에서의 해석적 성질을 체계적으로 규명했습니다.

결론

이 논문은 라마누잔의 합과 라게르 다항식의 Mellin 변환을 결합하여 리만 제타 함수의 새로운 급수 전개를 제시했습니다. 이 전개식은 계수가 명확한 유리수 조합으로 주어지며, 사용된 다항식의 근이 임계선 위에 위치한다는 강력한 기하학적 성질을 가지고 있습니다. 또한, 이를 통해 제타 함수의 $L^2$ 노름에 대한 새로운 적분 공식을 유도함으로써 해석적 수론과 직교 다항식 이론 간의 새로운 연결고리를 마련했습니다.