[논문 리뷰] A new series for $π^3$ and related congruences

Zhi‐Wei Sun|arXiv (Cornell University)|2010. 09. 27.

Advanced Mathematical Identities참고 문헌 14인용 수 5

한 줄 요약

이 논문은 중심 이항계수와 일반화된 조화수를 포함하는 $ olimits\pi^3$의 새로운 무한급수를 제시한다: $ olimits\sum_{k=1}^{\infty}\frac{2^{k}H_{k-1}^{(2)}}{k\binom{2k}{k}} = \frac{\pi^3}{48}$, 이는 $ olimits\pi/4$의 라이프니츠 급수보다 빠르게 수렴한다. 이 결과는 $p$-진 합동식을 통해 오일러 수와 조화합의 산술적 성질을 연결하는 바이며, $p^3$ 모듈로에서의 오일러 수와 조화합의 합에 대한 $p$-진 합동식을 기반으로 유도된다.

ABSTRACT

Let $H_n^{(2)}$ denote the second-order harmonic number $\sum_{03$, where $E_0,E_1,E_2,\ldots$ are Euler numbers. Motivated by the Amdeberhan-Zeilberger identity $\sum_{k=1}^\infty(21k-8)/(k^3\binom{2k}k^3)=π^2/6$, we also establish the congruence $$\sum_{k=1}^{(p-1)/2}\frac{21k-8}{k^3\binom{2k}k^3}\equiv(-1)^{(p+1)/2}4E_{p-3}\pmod p$$ for each prime $p>3$.

연구 동기 및 목표

• 중앙 이항계수와 제2형 조화수를 포함하는 $ olimits\pi^3$의 새로운 빠르게 수렴하는 급수를 발견하고 증명하는 것.
• 형태 $\nolimits\sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{2^k}H_k^{(2)} \mod p$ 의 $p$-진 합동식을 확립하여 오일러 수와 연결하는 것.
• 이러한 합동식을 $p$의 더 높은 거듭제곱으로 확장하여 $ olimits\zeta(3)$ 및 $ olimits\pi^3$ 과 관련된 급수의 더 깊은 산술적 구조를 드러내는 것.
• $\nolimits\binom{2k}{k}/4^k$ 와 $B_{p-3}, E_{p-3}$ 를 포함하는 일반화된 조화합의 $p$-진 행동에 대한 추측을 제안하고 뒷받침하는 것.
• 고전적 $ olimits\pi^3$ 급수와 현대적 $p$-진 해석을 연결하여, 이항계수에 대한 변환과 모듈로 산술을 활용하는 것.

제안 방법

• 주요 급수 항등식의 유도: $p^3$ 모듈로에서 알려진 합동식 $ olimits\sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{2^k}H_k^{(2)} \equiv -E_{p-3} \pmod{p}$ 에서 출발하여, 이항계수 역수성과 조화수 항등식을 사용해 합을 변형하는 것.
• 스티링의 근사법과 점근적 분석을 적용하여 새로운 급수의 수렴 속도를 확인하고, $\sim \frac{\zeta(2)\sqrt{\pi}}{2^k\sqrt{k}}$ 의 형태로 감소함을 보이는 것.
• 생성함수 항등식과 기존의 보조정리(예: [Su2, 보조정리 2.1])를 사용하여 $\binom{2(p-k)}{p-k}/p$ 를 $\frac{-2}{k\binom{2k}{k}} \mod p$ 와 연결하는 것.
• 레지오드 심볼과 페르마 몫 $q_p(2) = (2^{p-1}-1)/p$ 를 사용하여 $H_{(p-1)/2}$ 와 $H_k^{(2)}$ 의 $p$ 및 $p^2$ 모듈로 합동식을 표현하는 것.
• $k=1$ 에서 $p-1$ 까지의 합을 $p$-진 극한을 통해 무한급수 형태로 변환하여 $ olimits\pi^3/48$ 의 정확한 항등식을 이끌어내는 것.
• Mathematica 7 를 사용하여 주요 항등식을 수치적으로 검증하여 $n \geq 500$ 일 때 $10^{-150}$ 이내의 일치를 보이는 것.

실험 결과

연구 질문

• RQ1 조화수와 중심 이항계수를 사용하여 $ olimits\pi^3$ 의 새로운 빠르게 수렴하는 급수를 구성할 수 있는가?
• RQ2 형태 $\nolimits\binom{2k}{k}/2^k$ 와 $H_k^{(2)}$ 를 포함하는 합의 $p^3$ 모듈로에서의 $p$-진 합동식은 무엇인가?
• RQ3 이러한 합동식은 $ olimits\pi^3$ 급수, 오일러 수, 베르누이 수 간의 깊은 연결을 어떻게 반영하는가?
• RQ4 아무데르반-지엘러거 급수의 $ olimits\zeta(2)$ 형식이 유사한 $p$-진 항등식을 통해 $ olimits\pi^3$ 로 확장될 수 있는가?
• RQ5 형태 $\nolimits\binom{2k}{k}/4^k$ 와 $H_k^{(2)}$ 를 포함하는 일반화된 조화합의 $p$-진 극한은 무엇이며, $B_{p-5}$ 와 $H_{p-1}/p^2$ 와 어떻게 관련되는가?

주요 결과

• 논문은 $\sum_{k=1}^{\infty}\frac{2^{k}H_{k-1}^{(2)}}{k\binom{2k}{k}} = \frac{\pi^3}{48}$ 라는 항등식을 확립하여, Mathematica 7 에서 이전에 알려지지 않은 $ olimits\pi^3$ 의 새로운 급수를 제시한다.
• 이 급수는 $ olimits\pi/4$ 의 라이프니츠 급수보다 빠르게 수렴하며, 자커의 $ olimits\pi^3/32$ 급수보다는 느리게 수렴하며, 점근적 감소율은 $\sim \frac{\zeta(2)\sqrt{\pi}}{2^k\sqrt{k}}$ 로 나타난다.
• 모든 홀수 소수 $p>3$ 에 대해 합동식 $\sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{2^k}H_k^{(2)} \equiv -E_{p-3} \pmod{p}$ 가 성립하며, 이는 조화합을 오일러 수와 연결한다.
• 항등식 $\sum_{k=1}^{p-1}\frac{\binom{2k}{k}}{4^k}H_k \equiv 2 - 2p + 4p^2 q_p(2) \pmod{p^3}$ 이 증명되었으며, 이는 조화합을 페르마 몫과 연결한다.
• 논문은 $\sum_{k=0}^{(p-1)/2}(21k+8)\binom{2k}{k}^3 \equiv 8p + (-1)^{(p-1)/2}32p^3 E_{p-3} \pmod{p^4}$ 라는 항등식을 증명하여 기존의 합동식을 더 높은 정밀도로 확장한다.
• 논문은 $\binom{2k}{k}/k4^k$ 와 $H_k^{(2)}$ 를 포함하는 합의 $p$-진 행동이 $B_{p-5}$ 와 $H_{p-1}/p^2$ 와 어떻게 관련되는지를 제안하는 추측을 내놓으며, Mathematica 를 통한 수치적 증거를 제시한다.