[논문 리뷰] An elementary proof of Apery's theorem

Wadim Zudilin|arXiv (Cornell University)|2002. 02. 17.

Mathematics and Applications참고 문헌 10인용 수 10

한 줄 요약

이 논문은 Apery의 정리를 간단한 증명으로 제시하며, Zeilberger의 알고리즘과 초함수 항등식을 통한 창의적 축소를 통해 ζ(3)의 무리수 성질을 입증한다. $ u_n $과 $ v_n $의 수열을 구성함으로써 $ u_n\theta - v_n $가 선형 재귀를 만족하고 급격히 감소하도록 하여, $ \zeta(3) $가 유리수라는 가정 하에 모순을 이끌어내어, 기초적인 해석학과 대수적 연산만을 사용하여 그 무리수 성질을 증명한다.

ABSTRACT

We present a new `elementary' proof of the irrationality of $ζ(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.

연구 동기 및 목표

• 고전적 초월수 이론을 피한, 자가 포함된 간단한 증명을 통해 Apery의 정리, 즉 ζ(3)가 무리수라는 것을 입증하는 것.
• 창의적 축소의 Zeilberger 알고리즘이 근본적이고 접근 가능한 방식으로 근사값의 핵심 재귀를 도출하는 데 어떻게 적용될 수 있는지 보여주는 것.
• Ball의 초함수 급수와 Apery의 원래 구성 간의 관계를 동일한 재귀적 구조를 통해 통합하고 명확히 하는 것.
• 유사한 간단한 기법을 통해 ζ(4)와 같은 다른 제타 함수 값으로의 일반화를 위한 길을 제시하는 것.

제안 방법

• 합리적 함수 $ R_n(t) = \left( \frac{(t-1)\cdots(t-n)}{t(t+1)\cdots(t+n)} \right)^2 $를 정의하여, 그 도함수를 통해 $ F_n = u_n\zeta(3) - v_n $의 급수 표현을 도출한다.
• 부분분수 분해와 잔여치 이론을 사용하여 $ F_n $을 $ \zeta(3) $와 유리수 항의 선형 조합으로 표현함으로써 $ u_n \in \mathbb{Z} $ 및 $ D_n^3 v_n \in \mathbb{Z} $를 확보한다.
• Zeilberger의 창의적 축소 알고리즘을 적용하여 $ R_n(t) $에 대해 두 번째 차수 선형 재귀를 유도하고, 항등식 $ (n+1)^3 R_{n+1}(t) - (2n+1)(17n^2+17n+5) R_n(t) + n^3 R_{n-1}(t) = S_n(t+1) - S_n(t) $를 도출한다.
• $ t = 1,2,\dots $에 대해 재귀를 합하여 $ F_n $에 대한 재귀를 도출하며, $ F_n $이 Ball의 초함수 급수 $ \widetilde{F}_n $과 동일한 재귀를 만족함을 보여준다.
• 초기값 $ F_0 = \widetilde{F}_0 = 2\zeta(3) $, $ F_1 = \widetilde{F}_1 = 10\zeta(3) - 12 $를 확인하고 재귀의 유일성 해법을 이용하여 $ F_n = \widetilde{F}_n $임을 증명한다.
• 특정 $ \widetilde{R}_n(t) $에 대한 경계를 통해 $ \widetilde{F}_n $의 지수적 감쇠를 확립하여, $ \widetilde{F}_n < 20(n+1)^4(\sqrt{2}-1)^{4n} $라는 결과를 이끌어내며, 이는 1보다 큰 기수를 가진 어떤 지수함수보다도 더 빠르게 감쇠함을 의미한다.

실험 결과

연구 질문

• RQ1 Apery의 정리, 즉 ζ(3)의 무리수 성질을 창의적 축소와 간단한 방법만을 사용하여 증명할 수 있는가?
• RQ2 Apery와 Ball의 구성에 놓인 재귀적 구조는 Zeilberger의 알고리즘을 통해 어떻게 통합될 수 있는가?
• RQ3 잘 맞춘 초함수의 정확한 역할은 무엇이며, ζ(3)를 근사하는 수열을 생성하는 데 어떤 기여를 하는가?
• RQ4 고급 도구 없이 재귀식에서 직접적으로 $ u_n $과 $ v_n $의 정수성 성질을 도출할 수 있는가?
• RQ5 Rivoal이 제기한 바와 같이, 단순한 방법만으로도 $ D_n^3 v_n \in \mathbb{Z} $라는 정수성 경계를 강화할 수 있는가?

주요 결과

• 수열 $ F_n = u_n\zeta(3) - v_n $는 $ R_n(t) $의 창의적 축소를 통해 유도된 재귀 $ (n+1)^3 F_{n+1} - (2n+1)(17n^2+17n+5) F_n + n^3 F_{n-1} = 0 $을 만족한다.
• 초기값 $ F_0 = 2\zeta(3) $, $ F_1 = 10\zeta(3) - 12 $를 통해 $ F_n $이 Ball의 초함수 급수 $ \widetilde{F}_n $과 일치함을 확인하여, 모든 $ n $에 대해 $ F_n = \widetilde{F}_n $임을 증명한다.
• $ \widetilde{F}_n < 20(n+1)^4(\sqrt{2}-1)^{4n} $라는 경계는 $ \widetilde{F}_n \to 0 $이 지수적으로 빠르게 수렴함을 의미하며, $ 3^3(\sqrt{2}-1)^4 \approx 0.7948 < 1 $이다.
• $ \zeta(3) = p/q $라는 가정은 모순을 일으키며, 이는 큰 $ n $에 대해 $ qD_n^3 F_n $가 1보다 작은 양의 정수로 유계임을 의미한다.
• 이 증명은 $ u_n \in \mathbb{Z} $ 및 $ D_n^3 v_n \in \mathbb{Z} $임을 확립하며, 변환 $ v_n = u_n\zeta(3) - F_n $ 하에서 재귀가 유지됨을 보여준다.
• 이 방법은 ζ(4)와 같은 다른 제타 값으로의 일반화를 위한 프레임워크를 제공하며, 유사한 재귀적 구조와 창의적 축소를 통해 가능하다.