이항계수와 이중성 원리를 통한 새로운 무리수 급수 연구

초록

저자는 단일 이항계수 (\binom{6k}{3k}) 가 포함된 급수를 정밀히 분석하고, 적분·베타함수·귀납법을 이용해 (\displaystyle\sum_{k\ge0}\frac{(63k^{2}+78k+22)8^{k}}{(2k+1)(6k+1)(6k+5)\binom{6k}{3k}}=\frac{3\pi}{2}) 등 4개의 새로운 폐쇄형 식을 증명한다. 또한, 가우스 확장 (\mathbb{Q}(\sqrt d)) 의 비자명 갈루아 자동사상을 이용한 “이중성 원리(Duality Principle)”를 제안하고, 이를 바탕으로 라마누잔·제일버거 유형의 26개 새로운 무리수 급수 추측을 제시한다. 추측식들은 종종 L‑함수값 (L_{-d}(2)) 과 연결된다.

상세 분석

본 논문은 (\binom{6k}{3k}) 형태의 단일 이항계수가 등장하는 급수에 초점을 맞춘다. 저자는 먼저 베타함수 (B(a,b)=\int_{0}^{1}x^{a-1}(1-x)^{b-1}dx)와 감마함수 관계를 이용해 (\displaystyle\sum_{k\ge0}\frac{(63k^{2}+18k+2)8^{k}}{(6k+1)\binom{6k}{3k}}= \frac{3}{2}\pi+4) 라는 보조 항등식을 도출한다. 여기서 핵심은 (\displaystyle\frac{1}{\binom{6k}{3k}}=\frac{\Gamma(3k+1)^{2}}{\Gamma(6k+2)}) 를 베타함수 형태로 변환하고, 급수를 (x)‑에 대한 멱급수로 전개한 뒤 적분으로 환산하는 과정이다.

다음 단계에서는 두 개의 다항식 (P_{1}(k),P_{2}(k)) 를 적절히 조합해 (\displaystyle\sum_{k\ge0}\frac{(63k^{2}+78k+22)8^{k}}{(2k+1)(6k+1)(6k+5)\binom{6k}{3k}}=\frac{3\pi}{2}) 를 얻는다. 이 과정은 Lemma 2.2와 2.3에서 제시된 일반적인 합변환 식을 이용해, 무한급수의 부분합을 유도하고 (n\to\infty) 한 극한을 취함으로써 목표 식을 도출한다. 특히, 식 (2.4)와 (2.5)에서 나타나는 “상쇄” 현상은 복잡한 다항식 계수를 정밀히 설계함으로써 얻어진다.

정리 1.2의 증명에서는 기존에 알려진 식 (1.12)와 새로운 항등식 (2.6),(2.7)을 결합한다. 여기서 핵심 아이디어는 (\displaystyle\sum_{k\ge0}\frac{k(252k^{2}-264k+61)}{(2k-1)(6k-1)(6k-5)4096^{k}}\binom{6k}{3k}^{-1}= \frac{1}{12}\sqrt3) 라는 결과를 이용해, 복합 다항식들을 선형 결합해 목표 급수를 얻는 것이다.

논문의 가장 혁신적인 부분은 “이중성 원리”이다. 가우스 확장 (\mathbb{Q}(\sqrt d)) 의 비자명 갈루아 자동사상 (\sigma_{d}) 를 이용해, 원래 급수 (P=\sum a_{k}) (각 항 (a_{k}\in\mathbb{Q}(\sqrt d))) 의 “대수적 쌍대” (\sigma_{d}(P)=\sum\sigma_{d}(a_{k})) 를 정의한다. 이 원리는 라마누잔 급수와 제일버거 급수에서 나타나는 무리수 계수를 자동으로 교환시켜, 새로운 무리수 급수를 생성한다. 예를 들어, (4.1)의 라마누잔 급수는 (\sqrt5) 를 포함하고, 그 대수적 쌍대는 (4.3)에서 제시된 형태가 된다.

이 원리를 바탕으로 저자는 26개의 새로운 무리수 급수 추측을 제시한다. 대부분은 (\displaystyle\sum_{k\ge1}\frac{(ak+b)k^{m}}{k^{3}\binom{2k}{k}^{2}\binom{3k}{k}},) 형태이며, 오른쪽 항은 (L_{-d}(2)) 형태의 디리클레 L‑값과 (\sqrt d) 의 선형 결합으로 표현된다. 예시로 제시된 (4.4), (4.5) 식은 (\sqrt5) 를 포함한 L‑값과 (\pi) 가 동시에 나타난다.

기술적으로는 WZ 방법, 초월함수 적분 변환, 그리고 고차 조화수와 베타함수의 결합을 활용한다. 또한, 급수의 수렴률이 기하급수적으로 빠르기 때문에 수치 검증을 Mathematica 로 손쉽게 수행할 수 있다.

이러한 결과는 기존에 알려진 36개의 유리 라마누잔 급수와 7개의 무리수 라마누잔 급수 외에, 이항계수 (\binom{6k}{3k}) 를 중심으로 한 새로운 무리수 급수 체계를 제시함으로써, 급수와 L‑함수, 그리고 갈루아 이론 사이의 깊은 연관성을 드러낸다.