[论文解读] 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)}$ 属于由 $\rho_a(x) = \rho(1/(ax))$（$a \in \mathbb{N}$ 为自然数）生成的子空间 $\mathcal{B}^{\text{nat}}$ 的闭包，从而强化了 Nyman-Beurling 准则。证明使用了一种基于函数 $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\}$.

研究动机与目标

• 通过将完整的子空间 $\mathcal{B}$ 替换为由 $a \in \mathbb{N}$ 生成的更小子空间 $\mathcal{B}^{\text{nat}}$，建立黎曼猜想的更强版本的 Nyman-Beurling 准则。
• 证明黎曼猜想蕴含 $\chi \in \overline{\mathcal{B}^{\text{nat}}}$，从而强化已知的等价关系。
• 通过基于 $\epsilon$-正则化的可求和方法，提供一种避免使用深层 Hardy 空间理论的新证明方法，以重新证明 Nyman-Beurling 准则。
• 分析自然逼近 $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)$，该级数点态收敛，并在黎曼猜想成立下证明其在 $L_2(0,\infty)$ 中收敛。
• 利用傅里叶-梅林变换 $\mathbf{M}(f)(\tau) = \int_0^\infty x^{-1/2 + i\tau} f(x) dx$ 分析变换域中的收敛性，借助 $\zeta(s)$ 的已知积分表示。
• 应用引理 2.1（Balazard-Saias）控制部分和 $\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$，确保变换域中的可积性，从而通过 Plancherel 定理实现 $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 黎曼猜想是否等价于 $\chi \in \overline{\mathcal{B}^{\text{nat}}}$，其中 $\mathcal{B}^{\text{nat}}$ 是由 $a \in \mathbb{N}$ 的 $\rho_a$ 生成的子空间，而非 $a \in \mathbb{R}_{\geq 1}$？
• RQ2 能否通过将生成函数限制在自然数 $a$ 上，来强化经典的 Nyman-Beurling 准则？
• RQ3 在黎曼猜想成立下，正则化和 $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ 是否在 $L_2(0,\infty)$ 中收敛于 $-\chi$？
• RQ4 能否在不依赖深层 Hardy 空间理论的前提下，建立 $f_\epsilon$ 在 $L_2$ 中的收敛性？

主要发现

• 黎曼猜想等价于 $\chi \in \overline{\mathcal{B}^{\text{nat}}}$，其中 $\mathcal{B}^{\text{nat}}$ 是 $L_2(0,\infty)$ 中 $\{\rho_a \mid a \in \mathbb{N}\}$ 的闭线性张成，从而强化了 Nyman-Beurling 准则。
• 在黎曼猜想成立的假设下，函数 $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ 在 $\epsilon \downarrow 0$ 时收敛于 $-\chi$，且收敛方式为 $L_2(0,\infty)$。
• 通过傅里叶-梅林变换和估计 $|\zeta(1/2 - \epsilon + i\tau)/\zeta(1/2 + \varepsilon + i\tau)| \leq C(1 + |\tau|)^\epsilon$ 建立了收敛性，该估计确保了变换域中的可积性。
• 通过 Plancherel 定理和对 $0 < \epsilon < 1/4$ 的一致控制（由 $L^2$-可积函数控制），证明了 $X_\epsilon f_{2\epsilon,n}$ 在 $L_2$ 中收敛于 $X_\epsilon f_{2\epsilon}$。
• 该证明提供了一种新的、自包含的 Nyman-Beurling 准则证明，避免使用 Hardy 空间技术，转而采用基于 $\epsilon$-正则化的可求和方法。
• 结果表明，自然逼近 $F_n = \sum_{a=1}^n \mu(a) \rho_a$ 在 $L_2$ 中发散，但其正则化版本 $f_\epsilon$ 收敛于 $-\chi$，说明收敛仅能通过可求和方法实现。