[論文レビュー] A new necessary and sufficient condition for the Riemann hypothesis

Luis Báez‐Duarte|ArXiv.org|Jul 16, 2003

advanced mathematical theories参考文献 2被引用数 6

ひとこと要約

この論文は、有限有理結合 $ c_k = \sum_{j=0}^k (-1)^j \binom{k}{j} \frac{1}{\zeta(2j+2)} $ の減衰率に基づいて、リーマン予想の新たな必要十分条件を提示する。リーマン予想が成り立つのは、すべての $ \epsilon > 0 $ に対して $ c_k \ll k^{-3/4 + \epsilon} $ が成り立つときであり、かつそのときに限ることを証明しており、ポッホハマー多項式におけるゼータ関数の逆数の展開から導かれた数値的に取り扱いやすい基準を提供する。

ABSTRACT

We give a new equivalent condition for the Riemann hypothesis consisting in an order condition for certain finite rational combinations of the values of the Riemann zeta-function at even positive integers.

研究の動機と目的

• リーマン予想と同値な、新たな数値的に取り扱いやすい基準を確立すること。
• リーマン予想を、$ \zeta(2j+2)^{-1} $ を含む有限和の漸近的減衰率の観点から再定式化すること。
• $ \zeta(s) $ が $ \Re(s) > 1/2 $ でゼロをとらないことと、ポッホハマー多項式における級数の収束性を結びつけること。
• リーマンの古典的基準（リエシュやハーディ＝リトルウッドのもの）の簡素化された代替案を提供すること。この基準は、偶数の正の整数における $ \zeta(s) $ の値のみに依存する。

提案手法

• 定義：$ c_k = \sum_{j=0}^k (-1)^j \binom{k}{j} \frac{1}{\zeta(2j+2)} $、これは偶数の整数における逆ゼータ関数値の有限有理結合である。
• 恒等式 $ \left(1 - \frac{1}{n^2}\right)^k $ の二項展開を用いて、$ \frac{1}{\zeta(s)} $ をポッホハマー多項式 $ P_k(s/2) $ の級数として表現する。
• オイラー＝マクローリンの公式と全 Variation の推定を用いて、$ q_k = \sum_{n=1}^\infty \frac{1}{n^2} \left(1 - \frac{1}{n^2}\right)^k \ll k^{-1/2} $ を得る。これは重要な補助的推定である。
• 和分法を用いて $ c_k $ を変形し、メルテンス関数 $ M(x) $ を含む積分に書き換える。リーマン予想のもとでは $ M(x) \ll x^{1/2 + \epsilon} $ が成り立つ。
• 古典的なベータ積分推定 $ \int_0^1 x^\lambda (1 - x^2)^k dx \ll k^{-1/2 - \lambda/2} $ を用いて、得られた積分を抑え、減衰率を導出する。
• 減衰条件 $ c_k \ll k^{-3/4 + \epsilon} $ のもとで、$ \sum c_k P_k(s/2) $ のコンパクト集合上で一様収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 減衰率 $ c_k \ll k^{-3/4 + \epsilon} $ がリーマン予想の真偽を特徴づけるか？
• RQ2 リーマン予想は、$ \zeta(s) $ の偶数の正の整数における値のみを用いて同値に再定式化可能か？
• RQ3 有限の交互和として定義される $ c_k $（$ \zeta(2j+2)^{-1} $ の和）の振る舞いは、$ \zeta(s) $ の零点なし領域とどのように関係するか？
• RQ4 提案された基準は数値的に検証可能であり、リエシュやハーディ＝リトルウッドの基準よりも効率的である可能性はあるか？
• RQ5 リーマン予想に依存しない、$ c_k $ の未条件での減衰率は何か？

主な発見

• リーマン予想が成り立つのは、すべての $ \epsilon > 0 $ に対して $ c_k \ll k^{-3/4 + \epsilon} $ が成り立つときであり、かつそのときに限る。これにより、必要十分条件が確立された。
• 未条件でも、$ c_k \ll k^{-1/2} $ が成り立つ。これは、予想とは独立した基本的な減衰率を示している。
• 逆ゼータ関数は $ \frac{1}{\zeta(s)} = \sum_{k=0}^\infty c_k P_k\left(\frac{s}{2}\right) $ と表現可能であり、リーマン予想を仮定しないでも、$ \Re(s) > 1 $ のコンパクト集合上で一様収束する。
• リーマン予想のもとでは、和分法と $ M(x) \ll x^{1/2 + \epsilon} $ の推定を組み合わせ、ベータ積分推定を用いて、$ c_k \ll k^{-3/4 + \epsilon} $ の減衰が証明される。
• $ k = 1000 $ まで計算した数値的計算結果から、$ c_k k^{3/4} \log^2 k $ が有限の極限に近づくことが示され、滑らかで規則的な減衰が予想される上限と整合的である。
• この基準は、従来の同値条件よりも単純であり、$ \zeta(2j+2)^{-1} $ の有限有理結合にのみ依存するため、数値的検証に適している。