[论文解读] A strengthening of the Nyman-Beurling criterion for the Riemann hypothesis, 2

Luis Báez‐Duarte|ArXiv.org|May 1, 2002

Spectral Theory in Mathematical Physics被引用 33

一句话总结

该论文在黎曼猜想的假设下，通过证明区间 $ (0,1] $ 的特征函数 $ \chi $ 属于由自然数 $ a \in \mathbb{N} $ 生成的子空间 $ \mathcal{B}^{\text{nat}} $ 的闭包，强化了尼曼-伯尔林准则。此外，论文建立了定量误差估计：$ \chi $ 与截断加权和 $ -\sum_{a=1}^n \mu(a) e^{-c \log a / \log \log n} \rho_a $ 之间的距离在 $ L^2(0,\infty) $ 范数下为 $ \ll (\log \log n)^{-1/3} $，给出了逼近的明确速率。

ABSTRACT

Let $ρ(x)=x-[x]$, $χ=χ_{(0,1)}$. In $L_2(0,\infty)$ consider the subspace $\B$ generated by $\{ρ_a|a\geq1\}$ 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 the first version of this paper, posted in arXiv:math.NT/0202141 v2, 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\}$. This second version differs from the first in showing that under the Riemann hypothesis for some constant $c>0$ the distance between $χ$ and $-\sum_{a=1}^nμ(a)e^{-c\frac{\log a}{\log\log n}}ρ_a$ is of order $(\log\log n)^{-1/3}$.

研究动机与目标

• 通过将完整的贝鲁林子空间 $ \mathcal{B} $ 替换为由自然数参数生成的更小子空间 $ \mathcal{B}^{\text{nat}} $，建立黎曼猜想的更强版本尼曼-伯尔林准则。
• 在黎曼猜想假设下，提供特征函数 $ \chi $ 被 $ \mathcal{B}^{\text{nat}} $ 中元素逼近的定量估计。
• 针对经典逼近方法 $ F_n = \sum_{a=1}^n \mu(a) \rho_a $ 在 $ L^2 $ 中发散的问题，引入指数加权截断 $ e^{-c \log a / \log \log n} $，以恢复收敛性。
• 利用傅里叶-梅林变换与普朗切尔定理，分析逼近误差的 $ L^2 $-范数。
• 通过巴尔扎尔德-赛亚斯与伯诺尔估计，将收敛速率与黎曼 zeta 函数零点分布及莫比乌斯函数的增长联系起来。

提出的方法

• 定义函数 $ f_{\epsilon,n}(x) = \sum_{a=1}^n \frac{\mu(a)}{a^\epsilon} \rho_a(x) $，其中 $ \rho_a(x) = \rho(1/(ax)) $，并通过傅里叶-梅林变换分析其 $ L^2 $-范数。
• 应用普朗切尔定理，将 $ f_{\epsilon,n} + \chi $ 的 $ L^2 $-范数表示为临界线 $ \Re(z) = 1/2 $ 上的积分，涉及表达式 $ \left| \zeta(z) \sum_{a=1}^n \frac{\mu(a)}{a^{z+\epsilon}} - 1 \right|^2 $。
• 利用巴尔扎尔德-赛亚斯引理估计部分和 $ \sum_{a=1}^n \frac{\mu(a)}{a^{z+\epsilon}} $，在黎曼猜想假设下证明其逼近 $ 1/\zeta(z+\epsilon) $，误差为 $ O(n^{-\epsilon/3}) $。
• 利用函数方程与 Gamma 函数渐近展开，估计临界线上 $ \left| \frac{\zeta(z)}{\zeta(z+\epsilon)} \right| $，在黎曼猜想下得到 $ \ll |z|^{\epsilon/2} $ 的上界。
• 将积分划分为靠近与远离 zeta 零点的区域，结合经典零点密度估计与伯诺尔的界 $ \left| \frac{\zeta(z)}{\zeta(z+\epsilon)} \right| \ll |z|^{\epsilon/2} $，通过选择 $ \epsilon = c / \log \log n $ 优化误差。
• 合并两部分积分的误差界，导出最终估计 $ \| f_{\epsilon,n} + \chi \|_{\mathcal{H}}^2 \ll n^{-2\epsilon/3} + \epsilon^{2/3} $，并令 $ \epsilon = c / \log \log n $，从而获得 $ (\log \log n)^{-1/3} $ 的衰减速率。

实验结果

研究问题

• RQ1 黎曼猜想是否等价于特征函数 $ \chi $ 属于由自然数 $ a \in \mathbb{N} $ 生成的子空间 $ \mathcal{B}^{\text{nat}} $ 的闭包 $ \overline{\mathcal{B}^{\text{nat}}} $，而非完整的 $ \mathcal{B} $？
• RQ2 在黎曼猜想假设下，$ \chi $ 被 $ \mathcal{B}^{\text{nat}} $ 中元素逼近的最优逼近速率是多少？
• RQ3 在 $ L^2(0,\infty) $ 中，加权和 $ -\sum_{a=1}^n \mu(a) e^{-c \frac{\log a}{\log \log n}} \rho_a $ 与 $ \chi $ 的比较如何？其精确误差界为何？
• RQ4 经典逼近 $ F_n = \sum_{a=1}^n \mu(a) \rho_a $ 在 $ L^2 $ 中发散，是否可通过适当的可和法恢复收敛性？
• RQ5 在加权和 $ f_{\epsilon,n} $ 中选择 $ \epsilon = c / \log \log n $ 是否能实现接近最优的收敛速率？其与 $ \zeta(s) $ 的零点区域有何关联？

主要发现

• 黎曼猜想等价于 $ \chi \in \overline{\mathcal{B}^{\text{nat}}} $，其中 $ \mathcal{B}^{\text{nat}} $ 是集合 $ \{ \rho_a \mid a \in \mathbb{N} \} $ 的闭线性张成，从而强化了经典尼曼-伯尔林准则。
• 在黎曼猜想假设下，$ \chi $ 与加权和 $ -\sum_{a=1}^n \mu(a) e^{-c \frac{\log a}{\log \log n}} \rho_a $ 在 $ L^2(0,\infty) $ 中的距离被控制在 $ \ll (\log \log n)^{-1/3} $ 以内，给出了明确的逼近速率。
• 逼近速率 $ (\log \log n)^{-1/3} $ 是通过平衡两部分误差得到的：一部分来自 $ \sum \mu(a)/a^{s} $ 的部分和逼近，另一部分来自比值 $ \zeta(z)/\zeta(z+\epsilon) $，最优选择为 $ \epsilon = c / \log \log n $。
• 巴尔扎尔德-赛亚斯引理提供了关键估计：对于 $ \Re(z) = 1/2 $，有 $ \sum_{a=1}^n \frac{\mu(a)}{a^{z+\epsilon}} = \frac{1}{\zeta(z+\epsilon)} + O(n^{-\epsilon/3} e^{b \mathcal{L}(t)}) $，这是获得 $ n^{-2\epsilon/3} $ 误差项的关键。
• 利用伯诺尔的另一估计 $ \left| \frac{\zeta(z)}{\zeta(z+\epsilon)} \right| \ll |z|^{\epsilon/2} $，控制了临界线上 zeta 函数比值，使在零点附近的误差分析成为可能。
• 结果表明，经典逼近 $ F_n = \sum_{a=1}^n \mu(a) \rho_a $ 虽在 $ L^2 $ 中发散，但可通过指数加权截断稳定化，且此类方法在黎曼猜想下可实现非平凡的收敛速率。