[論文レビュー] Equivalence of Riesz and Baez-Duarte criterion for the Riemann Hypothesis

Jerzy Cisło, Marek Wolf|ArXiv.org|Jul 31, 2006

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

ひとこと要約

本稿は、リーマン予想のためのリエシとベイズ＝デュアールト基準の間の明確な数学的同等性を確立し、関数 $ R(x) $ と列 $ c_k $ の間の明示的な関数的関係を導出する。任意の $ \delta \in (0,1) $ に対して、$ c_k = \mathcal{O}(k^{-\delta}) $ であることは、$ R(x) = \mathcal{O}(x^{1-\delta}) $ であることと同値であることを証明する。これは、既知の $ \delta = 3/4 $ および $ \delta = 1/4 $ の場合を一般化したものであり、両列の漸近的公式および数値的境界を提供する。

ABSTRACT

We investigate the relation between the Riesz and the Baez-Duarte criterion for the Riemann Hypothesis. In particular we present the relation between the function $R(x)$ appearing in the Riesz criterion and the sequence $c_k$ appearing in the Baez-Duarte formulation. It is shown that $R(x)$ can expressed by $c_k$ and vice versa the sequence $c_k$ can be obtained from the values of $R(x)$ at integer arguments. We give also some relations involving $c_k$ and $R(x)$, in particular value of the alternating sum of $c_k$.

研究の動機と目的

• リーマン予想のためのリーマン関数 $ R(x) $ とベイズ＝デュアールト列 $ c_k $ の間の厳密な数学的関係を確立すること。
• 既知の $ \delta = 3/4 $ および $ \delta = 1/4 $ の指数対応を任意の $ \delta \in (0,1) $ に一般化し、$ c_k = \mathcal{O}(k^{-\delta}) \Leftrightarrow R(x) = \mathcal{O}(x^{1-\delta}) $ を示すこと。
• 直接和を用いた計算よりも高速に収束する $ R(x) $ および $ c_k $ のための計算式を提供すること。
• 特に $ \sum_{k=0}^n c_k $ の部分和の漸近的挙動を分析し、交代和 $ \sum_{k=0}^n (-1)^k c_k $ の収束性を調査すること。

提案手法

• モービウス関数を用いた加速された級数表現を導出し、$ R(x) = x \sum_{n=1}^\infty \frac{\mu(n)}{n^2} e^{-x/n^2} $ を得ることで、より高速な数値計算を可能にする。
• 列の前進差分を用いて $ R(x) $ を $ c_k $ で表すことで、両基準の間の直接的な関数的関係を確立する。
• ベイズ＝デュアールトの漸近的公式 $ c_{k-1} \approx \frac{1}{2k} \sum_\rho \frac{k^{\rho/2} \Gamma(1 - \rho/2)}{\zeta'(\rho)} $ を適用し（ここで $ \rho $ は非自明なゼータ関数の零点を走査）、$ c_k $ の減衰率を分析する。
• 近似誤差 $ |R(k)/k - c_k| \leq C k^{-3/2} $ の境界を導出し、$ k > 16 $ のとき $ c_k \approx R(k)/k $ が高精度で成り立つことを示す。
• 積分推定とスターリングの近似を用いて、$ R(x) $ および $ c_k $ の級数における指数関数的近似と二項係数近似の差を評価する。
• 主なゼータ零点 $ \rho_1 = \frac{1}{2} + i\gamma_1 $ の寄与により、$ c_k $ の振動的挙動を分析し、$ \log k $ の関数としての減衰コサイン関数に類似した挙動を示す。

実験結果

リサーチクエスチョン

• RQ1 リーマン予想のリエシ基準 $ R(x) = \mathcal{O}(x^{1/4+\epsilon}) $ が、ベイズ＝デュアールト基準 $ c_k = \mathcal{O}(k^{-3/4+\epsilon}) $ とより一般的な形で同等であることを示せるか？
• RQ2 リーマン関数 $ R(x) $ とベイズ＝デュアールト列 $ c_k $ は解析的にどのように関係しているか？ 一方が他方で表現可能か？
• RQ3 部分和 $ \sum_{k=0}^n c_k $ の漸近的挙動は何か？ 収束するか、振幅が増大する振動を示すか？
• RQ4 近似 $ c_k \approx R(k)/k $ は厳密に正当化可能か？ この近似の誤差境界は何か？
• RQ5 交代和 $ \sum_{k=0}^n (-1)^k c_k $ は極限に収束するか？ もしそうなら、収束速度はどの程度か？

主な発見

• 本稿は、任意の $ \delta \in (0,1) $ に対して $ c_k = \mathcal{O}(k^{-\delta}) $ であることと $ R(x) = \mathcal{O}(x^{1-\delta}) $ であることの一般化された同等性を証明する。これは、既知の $ \delta = 3/4 $ および $ \delta = 1/4 $ の場合を拡張するものである。
• $ c_k $ と $ R(k)/k $ の間の近似誤差は、$ |R(k)/k - c_k| \leq \frac{3\sqrt{\pi}}{16} k^{-3/2} + \mathcal{O}(k^{-2}) $ で有界であり、$ k > 16 $ のとき主項は $ \sim k^{-3/2} $ である。
• 部分和 $ \sum_{k=0}^n c_k $ は $ -2 $ のまわりで振動し、振幅は $ \mathcal{O}(n^{1/4}) $ で増大するため、発散する。
• 交代和 $ \sum_{k=0}^n (-1)^k c_k $ は $ s \approx 0.782527985 $ に収束し、誤差は $ \mathcal{O}(n^{-3/4}) $ である。これは安定な極限があることを示唆する。
• $ c_k $ の振動的性質は、最初の非自明なゼータ零点 $ \rho_1 $ の寄与によって説明され、$ k $ が大きいとき $ c_k \approx \text{Re}\left( a_1 \cos(\gamma_1 \log k / 2) \right) $ と近似できる。
• 積分表現 $ \int_0^1 (1 - y^2)^k dy = \frac{1}{2} B(\frac{1}{2}, k+1) \sim \frac{\sqrt{\pi}}{2\sqrt{k+1}} $ は、$ c_k $ の二項係数項の漸近的挙動を確認する。