[논문 리뷰] Extensions of Ramanujan's two formulas for $1/\pi$

Chuanan Wei, Dianxuan Gong|arXiv (Cornell University)|2012. 02. 06.

Advanced Mathematical Identities참고 문헌 17인용 수 7

한 줄 요약

이 논문은 초함수 급수 항등식을 사용하여 라마누잔의 두 개의 고전적 $1/\pi$ 공식을 확장하며, 자유 매개변수를 포함하는 $1/\pi$에 대한 7개의 새로운 합공식을 유도한다. 게셀-스타턴 및 가스퍼의 초함수 항등식을 적용함으로써 저자들은 정수 매개변수를 포함하도록 라마누잔의 결과를 일반화하여, 조정 가능한 매개변수와 유리수 또는 대수적 계수를 가진 $1/\pi$로 수렴하는 새로운 무한급수를 도출한다.

ABSTRACT

In terms of the hypergeometric method, we establish the extensions of two formulas for $1/\\pi$ due to Ramanujan [27]. Further, other five summation formulas for $1/\\pi$ with free parameters are also derived in the same way.

연구 동기 및 목표

• 초함수 급수 기법을 사용하여 라마누잔의 두 개의 기초적인 $1/\pi$ 공식을 확장한다.
• 기존 결과를 일반화하기 위해 자유 정수 매개변수를 포함하는 새로운 $1/\pi$ 합공식을 도출한다.
• 기존의 초함수 변환 항등식을 적용하여 매개변수화된 항등식을 수립한다.
• 매개변수가 0이 되는 특수한 경우에 라마누잔의 원래 공식을 복원한다.
• 해석적 계속성과 매개변수 특수화를 통해 $1/\pi$를 유도하는 초함수 급수의 구조를 탐구한다.

제안 방법

• 자기 균형 잡힌 $_7F_6$ 급수의 게셀-스타턴 초함수 항등식(값이 $z=1$일 때)을 활용하여 자유 매개변수를 포함하는 네 개의 새로운 $1/\pi$ 합공식을 도출한다.
• 가스퍼의 초함수 항등식(값이 $z=1$인 $_7F_6$ 급수)을 적용하여 자유 매개변수를 포함하는 세 개의 추가 $1/\pi$ 합공식을 도출한다.
• 초함수 항등식에서 $n \to \infty$로의 극한을 취함으로써, $z=1/4$와 $z=1/9$에서 균형 잡힌 $_5F_4$ 급수를 도출하며, 이는 두 개의 라마누잔 유형 급수에 해당한다.
• 예를 들어 $a = \frac{1}{2} + 2p$, $b = \frac{1}{2} + 2q$, $c = \frac{1}{2} + r$와 같은 매개변수 치환을 도입하여 정수 매개변수를 포함하는 일반화된 형태를 생성한다.
• 포흐하머 기호와 감마 함수 항등식을 사용하여 도출된 급수를 유리수 또는 대수적 계수를 가진 $1/\pi$ 형태로 표현한다.
• 점근적 분석과 매개변수의 극한(예: $c \to -\infty$)을 적용하여 부호가 번갈아 나오는 항과 다른 수렴 행동을 보이는 추가 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 라마누잔의 두 개의 $1/\pi$ 공식은 초함수 항등식을 통해 자유 정수 매개변수를 포함하도록 어떻게 일반화할 수 있는가?
• RQ2 $_5F_4$ 초함수 급수의 $z=1/4$와 $z=1/9$에서 어떤 조건이 자유 매개변수를 가진 정확한 $1/\pi$ 평가를 가능하게 하는가?
• RQ3 게셀-스타턴 및 가스퍼의 초함수 항등식은 체계적으로 새로운 $1/\pi$ 합공식을 도출하는 데 사용될 수 있는가?
• RQ4 어떤 매개변수 치환을 통해 원래 라마누잔 공식으로 수렴하는 새로운 항등식을 도출할 수 있는가?
• RQ5 부호 변화와 매개변수 이동은 도출된 $1/\pi$ 급수의 수렴성과 구조에 어떤 영향을 미치는가?

주요 결과

• 정리 1은 라마누잔의 첫 번째 공식을 자유 매개변수 $p$, $q$, $r$를 포함하도록 확장하며, 조건 $\min\{p+q, p-q\} \geq 0$ 하에 유리수 계수를 가진 새로운 $1/\pi$ 급수를 도출한다.
• 예시 1 ($p=q=1$, $r=2$)은 $\frac{256}{3\pi} = \sum_{k=0}^{\infty} \frac{(5/2)_k^3}{(k!)^2 (k+2)!} \frac{6k+5}{4^k}$를 제공하며, 이는 새로운 매개변수화된 $1/\pi$ 공식이다.
• 정리 5는 라마누잔의 두 번째 공식을 매개변수 $p$, $q$를 포함하도록 일반화하며, 결과로 $\frac{2(-1)^q}{3^{3q-1/2}\pi} = (1/2)_{p+2q} \sum_{k=0}^{\infty} \frac{(1/2)_{k+3p}(1/2)_{k+3q}(1/2)_{2k-3q}}{k!(k+p-q)!(2k+3p+3q)!} \frac{8k+6p+1}{9^k}$가 도출된다.
• 예시 9 ($p=q=1$)는 $\frac{1024\sqrt{3}}{405\pi} = \sum_{k=0}^{\infty} \frac{(7/2)_k (-5/4)_k (-3/4)_k}{(k!)^2 (k+3)!} \frac{8k+7}{9^k}$를 도출하며, 이는 새로운 정확한 $1/\pi$ 급수이다.
• 정리 3과 정리 4는 $c \to -\infty$로 취한 극한을 통해 부호가 번갈아 나오는 $1/\pi$ 공식을 도출하며, 분모에 $(-8)^k$와 $√{2}/\pi$ 스케일링을 포함한다.
• 예시 5 ($p=q=0$)는 라마누잔의 원래 공식을 복원한다: $\frac{2\sqrt{2}}{\pi} = \sum_{k=0}^{\infty} \frac{(1/2)_k^3}{(k!)^3} \frac{6k+1}{(-8)^k}$로, 방법의 일관성을 확인한다.