[논문 리뷰] Ramanujan's Formula for $\zeta(2n+1)$

Bruce C. Berndt, Armin Straub|arXiv (Cornell University)|2017. 01. 11.

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

한 줄 요약

이 논문은 ζ(2n+1)에 대한 라마누잔의 공식에 대한 종합적인 분석을 제공하며, 모듈라 형식, 아이zen슈타인 급수, 아이처러 적분과의 깊은 연관성을 규명한다. 현대의 모듈라 함수 이론을 통해 이 공식의 타당성을 입증하고, 오른쪽 항의 다항식 구조가 단위근을 가지며, 이는 오일러의 ζ(2n)에 대한 공식과 자연스러운 유사성을 지닌다는 것을 보여준다.

ABSTRACT

Ramanujan made many beautiful and elegant discoveries in his short life of 32 years, and one of them that has attracted the attention of several mathematicians over the years is his intriguing formula for $\\zeta(2n+1)$. To be sure, Ramanujan's formula does not possess the elegance of Euler's formula for $\\zeta(2n)$, nor does it provide direct arithmetical information. But, one of the goals of this survey is to convince readers that it is indeed a remarkable formula. In particular, we discuss the history of Ramanujan's formula, its connection to modular forms, as well as the remarkable properties of the associated polynomials. We also indicate analogues, generalizations and opportunities for further research.

연구 동기 및 목표

• 라마누잔의 ζ(2n+1)에 대한 공식의 수학적 타당성과 중요성을 입증하며, ζ(2n)에 대한 오일러의 공식만큼의 산술적 우아함을 갖추지 못하고 있음에도 불구하고 그 공식이 갖는 의미를 규명한다.
• 비공개 수기에서 잘못된 부분 분수 분해를 수정하고, 라마누잔의 공식이 등장한 역사적 배경을 명확히 한다.
• 라마누잔의 항등식 오른쪽에 있는 다항식의 구조가 단위근을 가지며, 이는 모듈라 형식의 주기 다항식과 공유하는 성질임을 보여준다.
• 라마누잔의 항등식이 아이젠슈타인 급수의 변환 성질과 그 아이처러 적분으로부터 자연스럽게 유도된다는 것을 보여준다.
• 이 공식의 프레임워크를 고수준의 모듈라 형식과 일반화된 베르누이 수로 확장하여, 더 넓은 수론적 함의를 제안한다.

제안 방법

• 라마누잔의 항등식을 쌍곡코탄젠트 합으로 재구성하여 그 모듈라 구조를 드러낸다.
• 아이젠슈타인 급수와 그 아이처러 적분 이론을 적용하여 항등식에 암묵적으로 포함된 변환 행동을 해석한다.
• 해석적 아이젠슈타인 급수의 일반 변환 공식을 사용하여, 라마누잔의 공식을 특수한 경우로 도출한다.
• 모듈라 형식과 주기 다항식의 성질을 활용하여 항등식 오른쪽에 있는 다항식을 분석한다.
• ζ(2n+1)와 관련된 다항식이 단위근을 가지며, 즉 모든 근이 단위원 위에 있다는 것을 수치적 증거와 기존 주기 다항식 결과와의 연결을 통해 입증한다.
• 항등식을 고수준의 모듈라 형식과 디리클레 특성으로 일반화하여 일반화된 라마누잔 다항식을 정의하고, 그들의 단위근성에 대한 추측을 제기한다.

실험 결과

연구 질문

• RQ1 왜 라마누잔의 ζ(2n+1)에 대한 공식은 오일러의 ζ(2n)에 대한 공식만큼의 산술적 우아함이 없음에도 불구하고 놀랍다고 여겨지는가?
• RQ2 비공개 수기에서 라마누잔이 잘못된 부분 분수 분해를 시도한 것을 올바르게 해석할 경우, 그 수학적 의미는 무엇인가?
• RQ3 라마누잔의 항등식 오른쪽에 나타나는 다항식의 모든 근이 단위원 위에 있는가? 만약 그렇다면, 그 이유는 무엇인가?
• RQ4 라마누잔의 ζ(2n+1)에 대한 공식은 고수준의 모듈라 형식과 촉성형으로 어떻게 일반화될 수 있는가?
• RQ5 일반화된 베르누이 수를 통해 정의된 일반화된 라마누잔 다항식이 단위근을 가지는 것으로 증명될 수 있으며, 이는 L-함수와 제타값에 어떤 함의를 갖는가?

주요 결과

• 라마누잔의 ζ(2n+1)에 대한 공식은 오일러의 ζ(2n)에 대한 공식과 자연스러운 유사성을 지닌다. 둘 다 같은 일반적인 아이젠슈타인 급수 변환 공식에서 유도된다.
• 라마누잔의 항등식 오른쪽에 있는 다항식은 베르누이 수의 곱과 α, β의 거듭제곱을 포함하며, 이는 단위근을 가지며, 즉 모든 근이 단위원 위에 있다.
• 라마누잔의 부분 분수 항등식의 수정된 형태는 로그 항을 포함하며, 곱 cot(√wα)coth(√wβ)의 정확한 미타그-레플레르 전개와 일치한다.
• 이 항등식은 해석적 아이젠슈타인 급수의 일반 변환 공식의 특수한 경우이며, 오일러의 ζ(2n)에 대한 공식도 이 공식의 극한 경우로 포함된다.
• 수치적 증거는 일반화된 라마누잔 다항식이 일반화된 베르누이 수를 통해 정의될 경우 단위근을 가진다는 추측을 지지하며, 이는 고수준의 모듈라 형식으로까지 확장된다.
• 칸에미츠, 타니가와, 요시모토가 보여준 바와 같이, 이 공식은 모듈라 변환으로 해석할 경우 ζ(3)과 ζ(5)를 빠르게 계산하는 데 사용될 수 있다.