[논문 리뷰] Congruences involving the reciprocals of central binomial coefficients

Roberto Tauraso|ArXiv.org|2009. 06. 28.

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

한 줄 요약

이 논문은 소수 $ p $ 의 거듭제곱을 모듈로로 하여 중심 이항계수의 역수 합에 대한 새로운 합동식을 수립하며, 이를 다중 조화합수와 베르누이 수와 연결한다. 특히, $ \sum_{k=1}^{p-1} \frac{(-1)^k}{k^3} \binom{2k}{k}^{-1} \equiv -\frac{2}{5} \frac{H(1)}{p^2} \pmod{p^3} $ 및 $ \sum_{k=1}^{p-1} \frac{1}{k^2} \binom{2k}{k}^{-1} \equiv \frac{1}{3} \frac{H(1)}{p} \pmod{p^3} $ 를 증명하며, 여기서 $ H(1) = \sum_{k=1}^{p-1} \frac{1}{k} $ 이다. 이는 아페리의 $ \zeta(3) $ 과 $ \zeta(2) $ 에 대한 작업을 확장한다.

ABSTRACT

We present several congruences modulo a power of prime $p$ concerning sums of the following type $\sum_{k=1}^{p-1}{m^k\over k^r}{2k\choose k}^{-1}$ which reveal some interesting connections with the analogous infinite series.

연구 동기 및 목표

• 소수 $ p > 5 $ 에 대해 $ \sum_{k=1}^{p-1} \frac{m^k}{k^r} \binom{2k}{k}^{-1} $ 형태의 합에 대한 새로운 합동식을 $ p^3 $ 이나 그 이상의 거듭제곱을 모듈로로 설정하여 수립하는 것.
• 아페리의 $ \zeta(2) $ 와 $ \zeta(3) $ 에 대한 항등식을 소수 거듭제곱을 모듈로로 하는 유한한 유사체로 확장하는 것.
• 유한한 중심 이항계수의 역수 합을 다중 조화합수와 베르누이 수와 연결하는 것.
• 항등식 $ \binom{2k}{k}^{-1} $ 과 $ \binom{2k}{k} $ 을 포함하는 합 사이의 이중성 관계를 증명하여 더 깊은 산술적 구조를 드러내는 것.

제안 방법

• 조화합수 $ H(r) = \sum_{k=1}^{p-1} k^{-r} $ 를 $ p^5 $ 모듈로에서 베르누이 수를 이용해 표현하기 위해 오일러 정리와 포르헤버 공식을 사용하는 것.
• 레마 2.2 를 적용하여 다중 조화합수로 전개되는 이항계수 $ \binom{n}{k} $ 과 $ \binom{n+k-1}{k} $ 를 전개하는 것.
• 특히 $ H(1) \equiv -\frac{1}{2}p H(2) \pmod{p^4} $ 와 같은 다중 조화합수 $ H(a_1,\dots,a_r) $ 의 알려진 합동식을 $ p^3 $ 또는 $ p^4 $ 모듈로로 적용하는 것.
• 헤르난데스와 스타버의 항등식을 활용하여 역수 이항계수 합을 조화합수와 연결하고 핵심 합동식을 도출하는 것.
• 유한한 합을 조화합수 표현식으로 줄이기 위해 항등식 $ \sum_{k=1}^n \frac{1}{k^2} \binom{2k}{k}^{-1} = -\frac{2}{3} \sum_{k=1}^n \frac{(-1)^k}{k^2} - \frac{(-1)^n}{3} \sum_{k=1}^n \frac{(-1)^k}{k^2} \binom{n+k}{k}^{-1} \binom{n}{k}^{-1} $ 을 사용하는 것.
• 립다이크 합의 $ p $-진 전개를 유도하기 위해 항등식 $ \sum_{k=1}^n \frac{(-1)^k}{k^3} \binom{2k}{k}^{-1} = -\frac{2}{5} \sum_{k=1}^n \frac{1}{k^3} + \frac{1}{5} \sum_{k=1}^n \frac{(-1)^k}{k^3} \binom{n+k}{k}^{-1} \binom{n}{k}^{-1} $ 을 활용하는 것.

실험 결과

연구 질문

• RQ1 소수 $ p > 5 $ 에 대해 형태 $ \sum_{k=1}^{p-1} \frac{(-1)^k}{k^3} \binom{2k}{k}^{-1} $ 의 합이 $ p^3 $ 모듈로에서 어떻게 행동하는가?
• RQ2 아페리의 항등식 $ \sum_{k=1}^\infty \frac{(-1)^k}{k^3} \binom{2k}{k}^{-1} = -\frac{2}{5} \zeta(3) $ 이 $ p $-진 설정에서의 유한한 유사체는 무엇인가?
• RQ3 항등식 $ \binom{2k}{k}^{-1} $ 과 $ \binom{2k}{k} $ 를 포함하는 합 사이의 이중성은 조화합수 항등식을 통해 체계적으로 설명될 수 있는가?
• RQ4 다중 조화합수 $ H(1,2) $, $ H(2,1) $, $ H(1,3) $ 는 이러한 역수 이항계수 합의 $ p $-진 전개에서 어떤 역할을 하는가?
• RQ5 합동식 $ \sum_{k=1}^{p-1} \frac{1}{k^2} \binom{2k}{k}^{-1} $ 과 $ \sum_{k=1}^{p-1} \frac{(-1)^k}{k^2} \binom{2k}{k} $ 이 울스턴홀름 정리와 베르누이 수와 어떻게 관련되어 있는가?

주요 결과

• 모든 소수 $ p > 5 $ 에 대해 $ \sum_{k=1}^{p-1} \frac{(-1)^k}{k^3} \binom{2k}{k}^{-1} \equiv -\frac{2}{5} \frac{H(1)}{p^2} \pmod{p^3} $ 를 만족하며, 여기서 $ H(1) = \sum_{k=1}^{p-1} \frac{1}{k} $ 이다.
• 합 $ \sum_{k=1}^{p-1} \frac{1}{k^2} \binom{2k}{k}^{-1} \equiv \frac{1}{3} \frac{H(1)}{p} \pmod{p^3} $ 는 고전적 항등식 $ \sum_{k=1}^\infty \frac{1}{k^2} \binom{2k}{k}^{-1} = \frac{1}{3} \zeta(2) $ 의 유한한 형태를 확인한다.
• 이중 합 $ \sum_{k=1}^{p-1} \frac{(-1)^k}{k^2} \binom{2k}{k} \equiv \frac{4}{5} \left( \frac{H(1)}{p} + 2p H(3) \right) \pmod{p^4} $ 를 만족하며, 여기서 $ H(3) = \sum_{k=1}^{p-1} \frac{1}{k^3} $ 이다.
• 합 $ \sum_{k=1}^{p-1} \frac{1}{k} \binom{2k}{k} \equiv -\frac{8}{3} H(1) \pmod{p^4} $ 는 기존의 합동식을 확장하며, 역수 경우와의 이중성 관계를 확인한다.
• 합동식 $ H(1,2) \equiv -H(2,1) \equiv -3 \frac{H(1)}{p^2} \pmod{p^2} $ 가 수립되며, 이는 이전의 다중 조화합수에 대한 $ p^2 $ 모듈로 결과를 정밀화한다.
• $ \frac{1}{2} \binom{2p}{p} \equiv 1 + 2p H(1) + \frac{2}{3} p^3 H(3) \pmod{p^6} $ 의 전개가 조화합수 항등식과 베르누이 수 관계를 활용하여 증명된다.