[論文レビュー] A strengthening of the Nyman-Beurling criterion for the Riemann Hypothesis

Luis Báez‐Duarte|ArXiv.org|Feb 15, 2002

Spectral Theory in Mathematical Physics参考文献 7被引用数 47

ひとこと要約

この論文は、リーマン予想のニーマン＝ベルリング基準を強化し、特徴関数 $\chi = \chi_{(0,1)}$ が自然数 $a \in \mathbb{N}$ に対する $\rho_a(x) = \rho(1/(ax))$ によって生成される部分空間 $\mathcal{B}^{\text{nat}}$ の閉包に属することと、リーマン予想が同値であることを証明している。証明は、$\epsilon > 0$ に対して $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ と定義される和法に基づくもので、$\epsilon \downarrow 0$ のとき、リーマン予想のもとで $f_\epsilon \to -\chi$ が $L_2(0,\infty)$ で成り立つことを示し、より強い同値性を確立している。

ABSTRACT

Let $ρ(x)=x-[x]$, $χ=χ_{(0,1)}$. In $L_2(0,\infty)$ consider the subspace $\B$ generated by $\{ρ_a | a \geq 1\}$ where $ρ_a(x):=ρ(\frac{1}{ax})$. By the Nyman-Beurling criterion the Riemann hypothesis is equivalent to the statement $χ\in\bar{\B}$. For some time it has been conjectured, and proved in this paper, that the Riemann hypothesis is equivalent to the stronger statement that $χ\in\bar{\Bnat}$ where $\Bnat$ is the much smaller subspace generated by $\{ρ_a | a\in\Nat\}$.

研究の動機と目的

• リーマン予想のニーマン＝ベルリング基準のより強い形を確立することを目的とし、全実数 $a \geq 1$ に対する部分空間 $\mathcal{B}$ の代わりに、自然数 $a \in \mathbb{N}$ に対するより小さい部分空間 $\mathcal{B}^{\text{nat}}$ を用いる。
• リーマン予想が $\chi \in \overline{\mathcal{B}^{\text{nat}}}$ を意味することを示し、既知の同値性を強化すること。
• $\epsilon$-正則化に基づく和法に依存する新しい証明を提供し、ハードィ空間理論の深い技術を避けること。
• 自然近似 $F_n = \sum_{a=1}^n \mu(a) \rho_a$ の収束性を分析し、$L_2$ で発散することを示し、正則化されたバージョンの必要性を動機づけること。

提案手法

• リーマン予想のもとで、$\epsilon > 0$ に対して $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ を定義し、点ledo収束することを示し、$\epsilon \downarrow 0$ のとき $L_2(0,\infty)$ で収束することを示す。
• 収束性を解析するため、フーリエ＝メリン変換 $\mathbf{M}(f)(\tau) = \int_0^\infty x^{-1/2 + i\tau} f(x) dx$ を用い、$\zeta(s)$ の既知の積分表現を活用する。
• 補題 2.1（バラザール＝サイアス）を用いて、部分和 $\sum_{a=1}^n \mu(a)/a^{1/2 + \epsilon + i\tau}$ を制御し、$1/\zeta(1/2 + \epsilon + i\tau)$ に収束することと、誤差が制御可能であることを示す。
• 補題 2.2 を用いて、比 $|\zeta(1/2 - \epsilon + i\tau)/\zeta(1/2 + \epsilon + i\tau)| \leq C(1 + |\tau|)^\epsilon$ を得る。この不等式により、可積分性が保証され、プラナッセルの定理を用いて $L_2$ 収束を可能にする。
• $X_\epsilon f_{2\epsilon,n} \to X_\epsilon f_{2\epsilon}$ が $L_2$ で成り立ち、$\epsilon \downarrow 0$ のとき $f_\epsilon \to -\chi$ が $L_2$ で成り立つことを示し、$\chi \in \overline{\mathcal{B}^{\text{nat}}}$ を証明する。
• $\zeta(s)$ の関数等式と $\Gamma$-関数の漸近的性質を用いて、補題 2.2 の境界を導出し、リーマン予想に依存しない。

実験結果

リサーチクエスチョン

• RQ1 リーマン予想は、自然数 $a \in \mathbb{N}$ に対する $\rho_a$ によって生成される部分空間 $\mathcal{B}^{\text{nat}}$ の閉包に属する特徴関数 $\chi$ と同値であるか？（全実数 $a \in \mathbb{R}_{\geq 1}$ ではなく。）
• RQ2 古典的なニーマン＝ベルリング基準は、生成関数を自然数 $a$ に制限することで強化可能か？
• RQ3 正則化された和 $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ は、リーマン予想のもとで $\epsilon \downarrow 0$ のとき $L_2(0,\infty)$ で $-\chi$ に収束するか？
• RQ4 $L_2$ 収束を、ハードィ空間理論に依存せずに確立できるか？

主な発見

• リーマン予想は、$\mathcal{B}^{\text{nat}}$ が $L_2(0,\infty)$ 内の $\{\rho_a \mid a \in \mathbb{N}\}$ の閉じた線形包であるとすると、$\chi \in \overline{\mathcal{B}^{\text{nat}}}$ と同値である。これにより、ニーマン＝ベルリング基準が強化される。
• $\epsilon > 0$ に対して $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ は、リーマン予想のもとで $\epsilon \downarrow 0$ のとき $L_2(0,\infty)$ で $-\chi$ に収束する。
• $f_\epsilon$ の収束は、フーリエ＝メリン変換と不等式 $|\zeta(1/2 - \epsilon + i\tau)/\zeta(1/2 + \varepsilon + i\tau)| \leq C(1 + |\tau|)^\epsilon$ を用いて確立され、変換領域での可積分性を保証する。
• $X_\epsilon f_{2\epsilon,n}$ が $L_2$ で $X_\epsilon f_{2\epsilon}$ に収束することは、プラナッセルの定理と $0 < \epsilon < 1/4$ の範囲で $L^2$-可積分関数による一様上界により示される。
• 証明は、$\epsilon$-正則化に基づく和法を用いることで、ハードィ空間理論を避ける、完全に自己完結的なニーマン＝ベルリング基準の証明を提供する。
• この結果は、自然近似 $F_n = \sum_{a=1}^n \mu(a) \rho_a$ が $L_2$ で発散するが、正則化されたバージョン $f_\epsilon$ は $-\chi$ に収束することを示し、収束は和法によってのみ可能であることを示唆する。