[論文レビュー] Notes on the Zeros of Riemann's Zeta Function

Michael Milgram|arXiv (Cornell University)|Nov 6, 2009

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

ひとこと要約

この論文は、リーマン・ゼータ関数の関数等式を実部と虚部に分解することで、非自明な全零点が常に臨界線 σ = 1/2 上にしか存在できないことを示した新規な分析を提案している。全零点を同定する2つの超越方程式が導出されたが、その後の修正により、リーマン予想の証明であるという主張は無効となった。

ABSTRACT

The functional equation for Riemann's Zeta function is studied, from which it is shown why all of the non-trivial, full-zeros of the Zeta function $ζ(s)$ will only occur on the critical line {$σ=1/2$} where {$s=σ+I ρ$}, thereby establishing the truth of Riemann's hypothesis. Further, two relatively simple transcendental equations are obtained; the numerical solution of these equations locates all of the zeros of {$ζ(s)$} on the critical line.

研究の動機と目的

• 関数等式の実部および虚部を用いたリーマン・ゼータ関数の非自明な零点の位置を調査すること。
• 関数等式が全零点が臨界線 σ = 1/2 上に制限されることを示すかを検証すること。
• 臨界線上の ζ(s) のすべての零点に対応する明示的な超越方程式を導出すること。
• 実変数解析を用いた数値的枠組みを提供し、半零点および全零点の両方を同定すること。

提案手法

• ζ(s) の関数等式を実部と虚部に分解し、ζ_R(σ,ρ) および ζ_I(σ,ρ) をそれぞれ ζ(σ + iρ) の実部および虚部として定義する。
• これらの成分に作用する関数等式の形をとる変換関数 ˜ζ_R および ˜ζ_I を導入し、連立された方程式系を構築する。
• ˜ζ_R(σ,ρ_p) = ζ_R(σ,ρ_p) および ˜ζ_I(σ,ρ_p) = ζ_I(σ,ρ_p) を満たす対称性制約を導入し、零点候補の線を同定する。
• 半零点（片方の成分のみが消える）を検出するための補助関数 N, D_R, D_I を定義し、N² = 0 が臨界線上のすべての半零点を特定する。
• 超越方程式 (4.7): D_R ⋅ ζ'_I + N ⋅ ζ'_R = 0 を導出し、m = 1 の場合に全零点を同定するための必要条件とする。
• スターリングの公式などの漸近近似を用いて、ρ が大きい場合のガンマ関数比 Γ_I/Γ_R の表現を簡略化し、方程式の近似形を導出する。

実験結果

リサーチクエスチョン

• RQ1 ζ(s) の関数等式を用いて、非自明な全零点が臨界線 σ = 1/2 上に制限されることを示せるか？
• RQ2 臨界線上の ζ(s) の零点に正確に対応する明示的な超越方程式が存在するか？
• RQ3 ζ(s) の実部および虚部を用いて、半零点および全零点を同定する数値的手法を導出できるか？
• RQ4 関数等式が示す対称性により、全零点が σ = 1/2 を軸として対称に現れ、その位置が制限されるか？
• RQ5 導関数の比 ζ'_R / ζ'_I を用いて、解ける超越方程式により全零点を特定できるか？

主な発見

• 実部および虚部に分解した関数等式は、σ ≤ 1/2 に存在する任意の全零点が、σ ≥ 1/2 に対応する全零点と対称的に存在することを示唆しており、σ = 1/2 を中心とした対称性を示している。
• 結合制約に基づき、非自明な全零点が存在可能な唯一の領域は臨界線 σ = 1/2 であると特定された。
• 方程式 (4.1): C_m ⋅ cos(ρ_π) − C_p ⋅ sin(ρ_π) = 0 は、臨界線上の ζ(s) のすべての半零点を同定するものであり、ζ_R = 0 と ζ_I = 0 が交互に現れる。
• 方程式 (4.7): D_R ⋅ ζ'_I + N ⋅ ζ'_R = 0 は、臨界線上の ζ(s) の全零点を同定するための必要条件であるが、十分条件ではなく、導関数の情報が必要である。
• 論文は、関数等式の制約と整合する唯一の領域が σ = 1/2 であると主張し、リーマン予想が真であると結論づけていたが、この主張は後に撤回された。
• 2015年の修正により、元のリーマン予想の証明主張は無効となった。これは後続論文における反例の提示によるものであるが、ζ(1/2 + iρ) の分析自体は有効であるままである。