[논문 리뷰] 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)|2018. 09. 03.

Algebraic and Geometric Analysis참고 문헌 8인용 수 3

한 줄 요약

이 논문은 기본 복소해석학을 사용하여 π를 계산하는 Chudnovsky 공식의 자가 포함된 세밀한 증명을 제시한다. 모듈라 형식, 에이젠스타인 급수, 초함수를 통해 공식을 유도하며, 피카르-푸아수 미분방정식과 클로즈텐의 공식을 통해 항등식을 확립한다. 최종 결과는 헤그너 점 τ = (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 공식에 대한 완전하고 접근 가능한 증명을 제공하는 것.
• 논문의 틀 안에서 고급 정리들(예: 클로즈텐의 공식, 피카르-푸아수 미분방정식)을 모두 유도하고 증명하는 것.
• 특정 헤그너 점에서의 평가를 통해 Chudnovsky 급수의 정확한 계수를 확립하는 것.
• Chudnovsky 공식이 모듈라 함수를 포함하는 더 일반적인 항등식의 특수한 경우임을 보여주는 것.
• 외부 고급 수론 결과에 의존하지 않고, 유일하게 마지막 장에서만 이를 제외하고는 급수 계수의 엄밀한 유도를 제공하는 것.

제안 방법

• 정규화된 에이젠스타인 급수 E₂, E₄, E₆를 사용하여 모듈라 j-불변량 J(τ)와 함수 s₂(τ)를 유도한다.
• 합 ∑( (1−s₂(τ))/6 + n ) ⋅ (6n)! / ((3n)!(n!)³) ⋅ (1728J(τ))⁻ⁿ을 포함하는 일반 항등식을 구성한다.
• 타원 함수 이론, 주기, 준주기, 위어스트라스 ℘-함수를 활용하여 모듈라 매개변수 τ를 급수와 연결한다.
• 초함수와 클로즈텐의 공식을 증명하여 급수를 초함수 미분방정식과 연결한다.
• 피카르-푸아수 미분방정식을 사용하여 Chudnovsky 공식의 기초가 되는 함수적 항등식을 도출한다.
• τ = (1 + i√163)/2에서 항등식을 평가하여 1728J(τ) = −640320³ 이고 (1−s₂(τ))/6 = 13591409/545140134 임을 도출함으로써 Chudnovsky 공식을 얻는다.

실험 결과

연구 질문

• RQ1 기본 복소해석학만을 사용하여 π에 대한 Chudnovsky 공식을 제1원리에서 어떻게 도출할 수 있는가?
• RQ2 Chudnovsky 급수의 계수 13591409와 545140134는 어떤 모듈라 함수 이론적 기원을 갖는가?
• RQ3 J(τ)와 s₂(τ)를 포함하는 일반 항등식이 헤그너 점 τ = (1 + i√163)/2에서 Chudnovsky 공식으로 어떻게 축소되는가?
• RQ4 에이젠스타인 급수와 그 푸리에 전개는 1/π에 대한 급수를 구성하는 데 어떤 역할을 하는가?
• RQ5 모듈라 불변성과 대수적 수론을 활용하여 급수 계수의 수렴성과 정확성을 어떻게 엄밀히 확립할 수 있는가?

주요 결과

• Chudnovsky 공식은 Im(τ) > 1.25인 τ에 대해 모듈라 함수 J(τ)와 함수 s₂(τ)를 포함하는 일반 항등식의 특수한 경우로 도출된다.
• 계수 13591409/545140134는 헤그너 점 τ₁₆₃ = (1 + i√163)/2에서 (1−s₂(τ₁₆₃))/6의 값에서 유래한다.
• 1728J(τ₁₆₃)는 정확히 −640320³로 평가되며, 이는 Chudnovsky 공식의 분모와 정확히 일치한다.
• 급수는 빠르게 수렴하여 약 14.1816자리의 π를 각 항당 제공하며, 세계 기록 계산에 사용되는 것과 일치한다.
• 증명은 제9장까지 자가 포함되어 있으며, 특수한 값의 평가를 제외하고는 외부 참조 없이 이루어진다.
• 이 방법은 다른 CM 점 τ에서 일반 항등식을 평가하여 π에 대한 10개의 추가 급수를 생성한다. 그 중 두 개는 라마누잔 유형 공식에 해당한다.