[論文レビュー] A detailed proof of the Chudnovsky formula with means of basic complex analysis -- Ein ausführlicher Beweis der Chudnovsky-Formel mit elementarer Funktionentheorie

Lorenz Milla|arXiv (Cornell University)|Sep 3, 2018

Algebraic and Geometric Analysis参考文献 8被引用数 3

ひとこと要約

この論文は、基本的な複素解析のみを用いて、πを計算するためのChudnovskyの公式の自己完結的で詳細な証明を提示する。この公式は、モジュラー形式、Eisenstein級数、超幾何関数を通じて導出され、Picard-Fuchs方程式とClausenの公式を用いて恒等式が確立され、最終的な結果はHeegner点τ = (1 + i√163)/2で検証される。

ABSTRACT

In this paper we give another proof of the Chudnovsky formula for calculating $π$ - a proof in detail with means of basic complex analysis. With the exception of the tenth chapter, the proof is self-contained, with proofs provided for all the advanced theorems we use (e.g. for the Clausen formula and for the Picard-Fuchs differential equation). -- In diesem Aufsatz wird die Chudnovsky-Formel zur Berechnung von $π$ erneut bewiesen - wesentlich ausführlicher, mit elementaren Methoden der Funktionentheorie und der Analysis. Die benötigten fortgeschrittenen Sätze (z.B. die Clausen-Formel und die Picard-Fuchs-Differentialgleichung) werden ihrerseits ausführlich bewiesen. Nur im zehnten Kapitel verweisen wir auf externe Quellen.

研究の動機と目的

• 基本的な複素解析のみを用いて、Chudnovskyの公式の完全でアクセス可能な証明を提供すること。
• 論文の枠組み内で、Clausenの公式やPicard-Fuchs方程式などの高度な定理をすべて導出し、証明すること。
• 特定のHeegner点での評価を通じて、Chudnovsky級数の正確な係数を確立すること。
• Chudnovskyの公式が、モジュラー関数を含むより一般な恒等式の特別な場合であることを示すこと。
• 外部の高度な数論的結果に依存せず、最終章を除いては級数の係数の厳密な導出を実現すること。

提案手法

• 正規化されたEisenstein級数E₂, E₄, E₆を用いて、モジュラーj不 invariant J(τ)と関数s₂(τ)を導出する。
• 和∑( (1−s₂(τ))/6 + n ) ⋅ (6n)! / ((3n)!(n!)³) ⋅ (1728J(τ))⁻ⁿを含む一般恒等式を構築する。
• 楕円関数、周期、準周期、Weierstrass ℘-関数の理論を用いて、モジュラー媒介変数τと級数との関係を確立する。
• 超幾何関数を用い、Clausenの公式を証明することで、級数と超幾何微分方程式を結びつける。
• Picard-Fuchs微分方程式を用いて、Chudnovskyの公式の背後にある関数的恒等式を導出する。
• τ = (1 + i√163)/2で恒等式を評価し、1728J(τ) = −640320³および(1−s₂(τ))/6 = 13591409/545140134が成り立つことから、Chudnovskyの公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 基本的な複素解析のみを用いて、Chudnovskyの公式1/πを第一原理からどのように導出できるか？
• RQ2 Chudnovsky級数における係数13591409および545140134のモジュラー関数論的起源は何か？
• RQ3 J(τ)とs₂(τ)を含む一般恒等式が、Heegner点τ = (1 + i√163)/2でどのようにChudnovskyの公式に簡約されるか？
• RQ4 Eisenstein級数およびそのフーリエ展開は、1/πの級数を構築するために果たす役割は何か？
• RQ5 モジュラー不変性と代数的数論を用いて、級数の収束性と係数の正確性をどのように厳密に確立できるか？

主な発見

• Chudnovskyの公式は、Im(τ) > 1.25を満たすτに対して、モジュラー関数J(τ)と関数s₂(τ)を含む一般恒等式の特別な場合として得られる。
• 係数13591409/545140134は、Heegner点τ₁₆₃ = (1 + i√163)/2における(1−s₂(τ₁₆₃))/6から生じる。
• 項1728J(τ₁₆₃)は正確に−640320³に評価され、Chudnovskyの公式における分母と一致する。
• 級数は急速に収束し、1項あたり約14.1816桁のπの精度をもたらし、世界記録計算での使用と整合的である。
• 証明は第9章まで自己完結的であり、特殊値の最終評価を除いて外部の代数的数論の参照に依存しない。
• この手法により、他のCM点τでの一般恒等式の評価を通じて、πの逆数のための追加10個の級数が得られ、そのうち2つはRamanujan型の公式に対応する。