[論文レビュー] Ramanujan's Formula for $\zeta(2n+1)$

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

Advanced Mathematical Identities参考文献 31被引用数 7

ひとこと要約

本稿は、リーマンゼータ関数 ζ(2n+1) に関するラマヌジャンの公式について包括的な分析を提供し、モジュラー形式、エーゼンスタイン級数、アイヒラー積分との深い関係を確立する。現代のモジュラー関数論を用いてその公式の正当性を証明し、右辺の多項式構造がユニモジュラー根（すべての根が単位円上にある）を示すことを示し、Eulerの ζ(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.

研究の動機と目的

• Ramanujanの ζ(2n+1) に対する公式の数学的妥当性と重要性を確立すること。これは、ζ(2n) に対するEulerの公式に比して算術的な洗練さに欠ける。
• 未発表の原稿におけるRamanujanの誤った部分分数の議論の歴史的文脈を明確にし、是正すること。
• Ramanujanの恒等式の右辺に現れる多項式構造がユニモジュラー根（すべての根が単位円上）を示すことを証明すること。これは、モジュラー形式の周期多項式と共通する性質である。
• Ramanujanの恒等式がエーゼンスタイン級数の変換性質とそのアイヒラー積分から自然に生じることを示すこと。
• 公式の枠組みを高レベルのモジュラー形式および一般化されたベルヌーイ数へと拡張し、より広範な数論的含意を示唆すること。

提案手法

• 双曲正割関数の和を用いてRamanujanの恒等式を再定式化し、そのモジュラー構造を明らかにする。
• エーゼンスタイン級数およびそのアイヒラー積分の理論を適用し、恒等式に埋め込まれた変換性を解釈する。
• 解析的エーゼンスタイン級数の一般変換公式を用いて、Ramanujanの公式を特殊ケースとして導出する。
• モジュラー形式および周期多項式の性質を用いて、恒等式の右辺に現れる多項式を分析する。
• 数値的証拠および既知の周期多項式に関する結果との関連に基づき、ζ(2n+1) に関連する多項式がユニモジュラー（すべての根が単位円上）であることを証明する。
• 恒等式を高レベルのモジュラー形式およびディリクレ指標へと一般化し、一般化されたRamanujan多項式を導入し、そのユニモジュラリティを予想する。

実験結果

リサーチクエスチョン

• RQ1 なぜRamanujanの ζ(2n+1) に対する公式は、ζ(2n) に対するEulerの公式に比して算術的な洗練さに欠けるにもかかわらず、顕著とされるのか？
• RQ2 特に彼の誤った部分分数分解に関して、未発表の原稿におけるRamanujanの公式の正しい数学的解釈は何か？
• RQ3 Ramanujanの恒等式の右辺に現れる多項式のすべての根が単位円上にあるのか？ もしそうならば、その理由は何か？
• RQ4 Ramanujanの ζ(2n+1) に対する公式は、高レベルのモジュラー形式および尖点形式へとどのように一般化されるか？
• RQ5 一般化されたベルヌーイ数を用いて定義される一般化されたRamanujan多項式がユニモジュラーであることを証明できるか？ そして、これはL関数およびゼータ値にどのような含意を持つのか？

主な発見

• Ramanujanの ζ(2n+1) に対する公式は、Eulerの ζ(2n) に対する公式と同様に、エーゼンスタイン級数の一般変換公式から自然に生じる類似物である。
• Ramanujanの恒等式の右辺に現れる多項式（ベルヌーイ数の積と α, β の累乗を含む）はユニモジュラー根（すべての根が単位円上）を示す。
• Ramanujanの部分分数恒等式の修正版には対数項が含まれており、積 cot(√wα)coth(√wβ) の正しいMittag–Leffler展開と一致する。
• この恒等式は、解析的エーゼンスタイン級数の一般変換公式の特殊ケースであり、Eulerの ζ(2n) に対する公式も極限ケースとして含む。
• 数値的証拠は、一般化されたベルヌーイ数を用いて定義される一般化されたRamanujan多項式がユニモジュラーであるという予想を支持しており、高レベルのモジュラー形式への拡張を示している。
• Kanemitsu, Tanigawa, and Yoshimoto が示すように、この公式はモジュラー変換として解釈することで、ζ(3) および ζ(5) の高速計算に利用できる。