[논문 리뷰] $q$-Analogues of two Ramanujan-type formulas for $1/\pi$

Victor J. W. Guo, Ji-Cai Liu|arXiv (Cornell University)|2018. 02. 06.

Advanced Mathematical Identities참고 문헌 6인용 수 10

한 줄 요약

이 논문은 $q$-WZ 쌍을 사용하여 두 개의 라마누잔 유형 $1/\pi$ 공식에 대한 $q$-해석을 수립하며, $q$-Pochhammer 기호와 $q$-정수를 포함하는 두 개의 무한급수 항등식을 증명한다. 핵심 결과는 $q \to 1^{-}$일 때 원래의 라마누잔 공식으로 축소되는 $q$-급수를 도출하는 것으로, 이는 무한 $q$-곱 전개의 정확한 닫힌 형태로 표현된다.

ABSTRACT

We give $q$-analogues of the following two Ramanujan-type formulas for $1/\\pi$: \\begin{align*} \\sum_{k=0}^\\infty (6k+1)\\frac{(\\frac{1}{2})_k^3}{k!^3 4^k} =\\frac{4}{\\pi} \\quad\ ext{and}\\quad \\sum_{k=0}^\\infty (-1)^k(6k+1)\\frac{(\\frac{1}{2})_k^3}{k!^3 8^k } =\\frac{2\\sqrt{2}}{\\pi}. \\end{align*} Our proof is based on two $q$-WZ pairs found by the first author in his earlier work.

연구 동기 및 목표

• 첫 번째 저자가 제안한 두 개의 라마누잔 유형 $1/\pi$ 급수에 대한 $q$-해석을 수립하기 위해.
• 해당 $q$-급수가 $q \to 1^{-}$일 때 $q$-Pochhammer 기호를 포함하는 닫힌 형태의 곱으로 수렴함을 증명하기 위해.
• 이 결과들을 홀수 $n$에 대해 $\Phi_n(q)^2$ 모듈로의 $q$-초합동식으로 확장하여 $p$-진 성질과 연결하기 위해.
• $p^2$ 모듈로에서 중심 이항계수 합 $\sum_{k=0}^{(p-1)/2} \frac{\binom{2k}{k}}{8^k}$에 대한 선의 $p$-진 합동식에 대한 엄밀한 $q$-해석을 제공하기 위해.

제안 방법

• 이전 연구에서 알려진 두 개의 $q$-WZ 쌍을 활용하여 $q$-초함수 항등식을 유도한다.
• $q$-WZ 방법을 적용하여 유한합을 $q$-시프트 계승계수를 포함하는 텔레스코프 항등식으로 변환한다.
• $q$-해석의 슬레이터 항등식을 적용하여 $n \to \infty$일 때의 무한급수 극한을 평가한다.
• $q$-급수 변환과 곱 항등식을 사용하여 유도된 표현을 무한 $q$-곱 형태로 단순화한다.
• $\Phi_n(q)^2$ 모듈로의 $q$-합동 기법을 적용하며, 원분 다항식의 성질을 활용한다.
• 정지형 $q$-Whipple 합을 적용하여 정리 1.2의 $q$-초합동식을 증명한다.

실험 결과

연구 질문

• RQ1 두 개의 라마누잔 유형 급수 $\sum (6k+1)\frac{(1/2)_k^3}{k!^3 4^k}$ 및 $\sum (-1)^k(6k+1)\frac{(1/2)_k^3}{k!^3 8^k}$에 대한 $q$-해석을 구성할 수 있는가?
• RQ2 원래의 $1/\pi$ 공식으로 수렴하는 정확한 닫힌 형태의 $q$-급수 표현은 무엇인가? ($q \to 1^{-}$의 극한에서)
• RQ3 이 $q$-해석은 홀수 $n$에 대해 $\Phi_n(q)^2$ 모듈로에서 어떻게 행동하며, 어떤 $p$-진 합동식을 유도하는가?
• RQ4 이 $q$-해석을 사용하여 중심 이항계수 합에 대한 선의 $p$-진 합동식의 $q$-버전을 도출할 수 있는가?
• RQ5 $q$-WZ 쌍과 $q$-초함수 항등식은 이러한 $q$-해석을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 첫 번째 라마누잔 공식의 $q$-해석은 $\sum_{k=0}^{\infty} q^{k^2}[6k+1]\frac{(q;q^2)_k^2(q^2;q^4)_k}{(q^4;q^4)_k^3} = \frac{(1+q)(q^2;q^4)_\infty(q^6;q^4)_\infty}{(q^4;q^4)_\infty^2}$로 증명된다.
• 두 번째 라마누잔 공식의 $q$-해석은 $\sum_{k=0}^{\infty} (-1)^k q^{3k^2}[6k+1]\frac{(q;q^2)_k^3}{(q^4;q^4)_k^3} = \frac{(q^3;q^4)_\infty(q^5;q^4)_\infty}{(q^4;q^4)_\infty^2}$로 증명된다.
• $q \to 1^{-}$일 때 두 $q$-급수 모두 원래의 라마누잔 유형 공식 $1/\pi$로 수렴함을 확인하여, 이들이 진정한 $q$-해석임을 입증한다.
• $q$-급수는 홀수 $n$에 대해 $\Phi_n(q)^2$ 모듈로에서 $q$-초합동식을 만족하며, $\sum_{k=0}^{(n-1)/2} q^{k^2}\frac{(q;q^2)_k}{(q^4;q^4)_k} \equiv (-q)^{(1-n^2)/8} \pmod{\Phi_n(q)^2}$로 주어진다.
• 이 증명은 유한합을 $\Phi_n(q)^2$ 모듈로에서 평가하기 위해 $q$-해석의 Whipple ${}_3F_2$ 합의 일반화를 활용한다.
• 결과적으로 첫 번째 저자가 제안한 반-하임의 초합동식에 대한 $q$-해석에 관한 두 개의 추측을 확인한다.