[논문 리뷰] New Properties of Fourier Series and Riemann Zeta Function

Guang-Qing Bi, Yuekai Bi|arXiv (Cornell University)|2010. 08. 30.

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

한 줄 요약

이 논문은 복소수 미분 연산자 $\cos(h\partial_x)$ 와 $\sin(h\partial_x)$ 를 활용하여 거듭제곱 급수의 합을 삼각급수의 합으로 매핑하는 새로운 방법을 제안한다. 주요 기여는 $\mathfrak{D}(2r)$ 와 $\mathcal{D}(2r+1)$ 의 닫힌 형태 표현을 얻는 재귀적 접근법으로, $\mathfrak{D}(6) = \frac{361\pi^6}{491520}$ 와 $\mathcal{D}(7) = \frac{307\pi^7}{1310720}$ 와 같은 정확한 값들을 포함하며, $\zeta(2n+1)$ 에 대한 새로운 통찰을 제공한다.

ABSTRACT

We establish the mapping relations between analytic functions and periodic functions using the abstract operators $\cos(h\partial_x)$ and $\sin(h\partial_x)$, including the mapping relations between power series and trigonometric series, and by using such mapping relations we obtain a general method to find the sum function of a trigonometric series. According to this method, if each coefficient of a power series is respectively equal to that of a trigonometric series, then if we know the sum function of the power series, we can obtain that of the trigonometric series, and the non-analytical points of which are also determined at the same time, thus we obtain a general method to find the sum of the Dirichlet series of integer variables, and derive several new properties of $ζ(2n+1)$.

연구 동기 및 목표

• 분석 함수와 주기 함수 사이의 체계적 매핑을 $\cos(h\partial_x)$ 와 $\sin(h\partial_x)$ 와 같은 추상적 연산자를 통해 수립하기 위해.
• 기존의 거듭제곱 급수의 합을 활용하여 삼각급수의 합 함수를 결정하는 일반적인 방법을 개발하기 위해.
• 특히 $\mathcal{D}(2r+1)$ 와 같은 홀수 제타 함수 값 $\zeta(2n+1)$ 를 포함하는 딜리클레 급수에 대한 새로운 닫힌 형태의 표현을 유도하기 위해.
• 기존의 제타 함수와 딜리클레 베타 함수 값들을 활용하여 $\mathfrak{D}(2r)$ 와 $\mathcal{D}(2r+1)$ 의 재귀적 계산을 가능하게 하는 재귀 관계를 제공하기 위해.

제안 방법

• 이 방법은 지수 함수와 삼각함수에 대한 함수 항등식을 통해 거듭제곱 급수의 합을 삼각급수의 합으로 매핑하는 데 추상적 연산자 $\cos(h\partial_x)$ 와 $\sin(h\partial_x)$ 를 활용한다.
• 식 $\cos(h\partial_x)e^{bx} = \cos(bh)e^{bx}$ 와 $\sin(h\partial_x)e^{bx} = \sin(bh)e^{bx}$ 를 이용하여 급수 유형 간의 변환 규칙를 유도한다.
• 분석적 성질과 주기적 행동 간의 관계를 설정하기 위해 연산자 항등식 $\cos(h\partial_x)f(x) = \Re[f(x+ih)]$ 와 $\sin(h\partial_x)f(x) = \Im[f(x+ih)]$ 를 활용한다.
• 핵심 기법으로는 특정 구간, 예를 들어 $[0, c/4]$ 에서 삼각급수를 평가하여 다항식 근사와 재귀 관계를 도출하는 것이다.
• 특정 점 $x_0 = c/4$ 에서의 급수 평가로부터 유도된 재귀 공식, 예를 들어 $\sum_{k=0}^{r-1} (-1)^k \frac{1}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathfrak{D}(2r-2k) = \frac{2^{2r}-1}{2^{2r+1}} \zeta(2r)$ 를 적용한다.
• 기존의 $\zeta(2r)$ 와 $\lambda(2r)$ 값들을 활용하여 기호적 미분 연산 대수를 통해 수렴 문제 없이 $\mathfrak{D}(2r)$ 와 $\mathcal{D}(2r+1)$ 를 재귀적으로 계산한다.

실험 결과

연구 질문

• RQ1 기본적인 거듭제곱 급수의 합으로부터 추상적 미분 연산자를 활용해 삼각급수의 합을 체계적으로 유도할 수 있는가?
• RQ2 형태 $\mathfrak{D}(2r) = \frac{1}{\sqrt{2}}\sum_{n=1}^\infty (-1)^{[n/2]} \frac{1}{(2n-1)^{2r}}$ 를 가진 딜리클레 급수의 합을 지배하는 재귀 관계는 무엇인가?
• RQ3 이 방법을 통해 $\mathcal{D}(2r+1) = \frac{1}{\sqrt{2}}\sum_{n=0}^\infty (-1)^{[n/2]} \frac{1}{(2n+1)^{2r+1}}$ 의 정확한 닫힌 형태 표현을 도출할 수 있는가?
• RQ4 비해석적 점을 포함하는 삼각급수의 합을 통해 $\zeta(2n+1)$ 의 값들을 어떻게 연구할 수 있는가?

주요 결과

• 논문은 $\mathfrak{D}(6) = \frac{361\pi^6}{491520}$ 를 도출하여 홀수 정수를 포함하는 딜리클레 급수의 6차 항에 대한 닫힌 형태 표현을 제공한다.
• 또한 $\mathcal{D}(7) = \frac{307\pi^7}{1310720}$ 를 계산하여 홀수 제타 함수 관련 급수의 7차 항에 대한 정확한 값을 제공한다.
• 재귀 관계 $\sum_{k=0}^{r-1} (-1)^k \frac{1}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathfrak{D}(2r-2k) = \frac{2^{2r}-1}{2^{2r+1}} \zeta(2r)$ 는 $\mathfrak{D}(2r)$ 의 재귀적 계산을 가능하게 한다.
• $\mathcal{D}(2r+1)$ 에 대해서는 $\sum_{k=0}^{r} \frac{(-1)^k}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathcal{D}(2r+1-2k) = \frac{1}{2}\beta(2r+1)$ 라는 재귀 관계가 확립되었으며, $\beta(2r+1)$ 는 특수함수로부터 알려져 있다.
• 이 방법은 수렴 영역 분석이 필요 없이 거듭제곱 급수의 합을 삼각급수의 합으로 성공적으로 매핑하였으며, 테일러 전개의 한계를 피할 수 있었다.