[論文レビュー] An elementary proof of Apery's theorem

Wadim Zudilin|arXiv (Cornell University)|Feb 17, 2002

Mathematics and Applications参考文献 10被引用数 10

ひとこと要約

この論文は、Zeilbergerのアルゴリズムと超幾何級数の恒等式を用いた創造的テレスコーピングを通じて、Aperyの定理の初等的証明を提示する。$ u_n $ と $ v_n $ のような数列を構成し、$ u_n\theta - v_n $ が線形再帰関係に従い、急速に減少するようにする。$ \zeta(3) $ が有理数であるという仮定の下で、この構成が矛盾を引き起こすことを示し、基本的な解析と代数的変形のみを用いて $ \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の定理、すなわち $ \zeta(3) $ が無理数であることを、自己完結的で初等的な証明を提供すること。
• 創造的テレスコーピングのZeilbergerのアルゴリズムが、近似分数の主要な再帰関係を最小限かつ容易に導出できる方法を示すこと。
• Ballの超幾何級数とAperyの元々の構成との間の関係を、共通の再帰構造を通じて統一的かつ明確にすること。
• 同様の初等的技法を用いて、$ \zeta(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) $ に対する2階線形再帰関係を導出し、恒等式 $ (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 $ を検証し、再帰の解の一意性を用いて、すべての $ n $ に対して $ 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の定理、すなわち $ \zeta(3) $ の無理数性は、初等的手段と創造的テレスコーピングのみで証明可能か？
• RQ2 AperyとBallの構成に共通する再帰構造は、Zeilbergerのアルゴリズムによってどのように統一できるか？
• RQ3 適切に配置された超幾何関数が、$ \zeta(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 $ を仮定すると、$ qD_n^3 F_n $ は0でない整数であるが、$ n $ が十分に大きいと1より小さい値で上界をもつため、矛盾が生じる。
• 証明により、$ u_n \in \mathbb{Z} $ および $ D_n^3 v_n \in \mathbb{Z} $ が示され、再帰関係は変換 $ v_n = u_n\zeta(3) - F_n $ においても保存される。
• この方法は、同様の再帰構造と創造的テレスコーピングを用いて、$ \zeta(4) $ のような他のゼータ値への一般化のための枠組みを提供する。