[論文レビュー] Irrationalité de valeurs de zêta (d'après Apéry, Rivoal, ...)

Stéphane Fischler|arXiv (Cornell University)|Mar 5, 2003

Analytic Number Theory Research参考文献 12被引用数 24

ひとこと要約

この論文は、奇数のゼータ値の無理数性を示すための手法を包括的に統合し、特に ζ(3) のアペリーの証明と、1, ζ(3), ζ(5), ζ(7), … が張る Q-ベクトル空間の次元が無限大であるというリボアルの画期的な結果に焦点を当てる。双曲的級数、多重積分、パデ近似、多対数関数といった多様なアプローチを統一し、それらの背後にある共通の構造を明らかにするとともに、無限個の奇数のゼータ値が無理数であることを証明し、具体的な定量的改善を示して、ζ(5), ζ(7), ζ(9), ζ(11) のうち少なくとも1つが無理数であることを示している。

ABSTRACT

This survey text deals with irrationality, and linear independence over the rationals, of values at positive odd integers of Riemann zeta function. The first section gives all known proofs (and connections between them) of Apéry's Theorem (1978) : $ζ(3)$ is irrational. The second section is devoted to a variant of the proof, published by Rivoal and Ball-Rivoal, that infinitely many $ζ(2n+1)$ are irrational. The end of this text deals with more quantitative statements.

研究の動機と目的

• 奇数の整数 2k+1 ≥q 3 に対して、ζ(2k+1) の算術的性質に関する長年の未解決問題に取り組む。
• 双曲的、積分的、パデ近似的、多対数的といった複数のアプローチを統合し、ζ(3) の無理数性を示す手法を統一する。
• 1, ζ(3), ζ(5), ζ(7), … が生成する Q-ベクトル空間が無限次元であるというリボアルの定理の詳細な証明を提供する。
• 具体的な定量的結果を提示し、特定の有限集合における無理数の奇数のゼータ値の数に対する有効な下界を示す。
• さまざまな線形形式の構成法とそれらの漸近的減衰率との関係を明確にする。

提案手法

• 線形形式 $I_n = u_n\zeta(3) - v_n$ が $\limsup_{n\to\infty} |I_n|^{1/n} \leq (\sqrt{2}-1)^4 \approx 0.0294$ を満たすような有理数列 $u_n$ と $v_n$ を構成する。
• 最小公倍数 $d_n = \text{lcm}(1,\dots,n)$ を用いて、$2d_n^3 v_n \in \mathbb{Z}$ かつ $u_n \in \mathbb{Z}$ であることを保証し、整数性の議論を可能にする。
• 素数定理（または弱いチェビシェフ型推定）を用いて $\log d_n / n \to 1$ を示し、$d_n^{3} |I_n| \to 0$ が $n \to \infty$ のとき成り立つことを導く。
• 双曲的級数、多重積分、モジュラー形式、パデ近似といった複数の同等な構成法を用い、いずれも同じ線形形式 $I_n$ を得ることを示す。
• アペリー型の構成法を、多対数関数 $\text{Li}_k(z)$ のヘルムート・パデ近似を用いて、より高い奇数のゼータ値へ一般化する。
• 一般化された超幾何関数 ${}_{q+1}F_q$ の理論を用いて近似式の漸近的挙動を分析し、無理数性の基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 ζ(3) の無理数性は、同一の線形形式 $I_n = u_n\zeta(3) - v_n$ を得る複数の独立した構成法によって証明可能か？
• RQ2 双曲的級数、多重積分、モジュラー形式、パデ近似といった異なるアプローチは、無理数性証明のための共通の枠組みの下でどのように統合されるか？
• RQ3 無理数性証明に用いられる線形形式 $I_n$ の正確な漸近的減衰率は何か？ そしてそれは無理数度とどのように関係するか？
• RQ4 ζ(3) の証明に用いられた手法を、無限個の ζ(2k+1) が無理数であることを示すために拡張可能か？
• RQ5 集合 $\{\zeta(5), \zeta(7), \zeta(9), \zeta(11)\}$ のうち、最小でいくつの無理数値が存在するか？ そしてその数はどのように有効に下界付けられるか？

主な発見

• リボアルの定理が証明された：1, ζ(3), ζ(5), ζ(7), … が生成する $\mathbb{Q}$-ベクトル空間は無限次元である。
• したがって、ζ(s) が無理数であるような奇数 s ≥q 3 は無限個存在する。
• 有効な改善が得られた：ζ(5), ζ(7), ζ(9), ζ(11) のうち少なくとも1つが無理数である。
• ズディリンの結果により、さらに強化された：ζ(5) から ζ(21) の9つの値のうち、少なくとも1つは無理数である。
• 同じ線形形式 $I_n$ が、アペリーの双曲的級数、ビューケルスの多重積分、ソロキンのパデ近似といった多様な構成法から再現され、深い構造的統一性を示している。
• 漸近的減衰率 $\limsup |I_n|^{1/n} \leq (\sqrt{2}-1)^4 \approx 0.0294$ は、$I_n$ の非消滅とスケーリングされた形式の整数性を示すために無理数性の証明において極めて重要である。