[论文解读] 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

一句话总结

本文通过仅使用基本复分析，提供了一个自包含的、详细的楚德诺夫斯基公式计算 π 的证明。它通过模形式、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.

研究动机与目标

• 通过仅使用初等复分析，提供楚德诺夫斯基公式计算 π 的完整且可访问的证明。
• 在本文框架内推导并证明所用的所有高级定理（例如，Clausen 公式、Picard-Fuchs 方程）。
• 通过在特定 Heegner 点处求值，建立楚德诺夫斯基级数中的精确系数。
• 证明楚德诺夫斯基公式是涉及模函数的更一般恒等式的特例。
• 在不依赖外部高级数论结果的前提下，严格推导级数系数，仅在最后一章引用。

提出的方法

• 通过归一化的 Eisenstein 系数 E₂、E₄ 和 E₆ 推导模 j-不变量 J(τ) 和函数 s₂(τ)。
• 构建涉及求和 ∑( (1−s₂(τ))/6 + n ) ⋅ (6n)! / ((3n)!(n!)³) ⋅ (1728J(τ))⁻ⁿ 的一般恒等式。
• 运用椭圆函数、周期、准周期以及 Weierstrass ℘-函数的理论，将模参数 τ 与级数关联起来。
• 使用超几何函数，并证明 Clausen 公式，以将级数与超几何微分方程联系起来。
• 利用 Picard-Fuchs 微分方程推导支撑楚德诺夫斯基公式的函数恒等式。
• 在 τ = (1 + i√163)/2 处求值该恒等式，其中 1728J(τ) = −640320³ 且 (1−s₂(τ))/6 = 13591409/545140134，从而得到楚德诺夫斯基公式。

实验结果

研究问题

• RQ1 如何仅通过基本复分析，从第一原理推导出 1/π 的楚德诺夫斯基公式？
• RQ2 楚德诺夫斯基级数中的系数 13591409 和 545140134 的模函数理论起源是什么？
• RQ3 涉及 J(τ) 和 s₂(τ) 的一般恒等式在 Heegner 点 τ = (1 + i√163)/2 处如何简化为楚德诺夫斯基公式？
• RQ4 Eisenstein 系数及其傅里叶展开在构造 1/π 级数中起到什么作用？
• RQ5 如何利用模不变性与代数数论，严格建立级数系数的收敛性与精确性？

主要发现

• 楚德诺夫斯基公式是模函数 J(τ) 与函数 s₂(τ) 之间一般恒等式的一个特例，适用于满足 Im(τ) > 1.25 的 τ。
• 系数 13591409/545140134 来源于 Heegner 点 τ₁₆₃ = (1 + i√163)/2 处的 (1−s₂(τ₁₆₃))/6。
• 项 1728J(τ₁₆₃) 精确等于 −640320³，与楚德诺夫斯基公式中的分母完全一致。
• 该级数收敛迅速，每项可提供约 14.1816 位 π 的有效数字，与世界纪录计算中的应用一致。
• 证明在第九章之前完全自包含，仅最后一部分对特殊值的求值依赖于代数数论的外部参考。
• 该方法通过在其他 CM 点 τ 处求值一般恒等式，生成了十个额外的 1/π 级数，其中两个对应于 Ramanujan 型公式。