[论文解读] The Average Number of Goldbach Representations

D. A. Goldston, Liyang Yang|arXiv (Cornell University)|Jan 26, 2016

Analytic Number Theory Research参考文献 5被引用 9

一句话总结

本文在黎曼猜想假设下，通过改进Bhowmik与Schlage-Puchta的方法，对偶数表示为两个素数之和的平均Goldbach表示数进行了细化，关键修改实现了更优的误差界。研究建立了von Mangoldt加权表示数之和的渐近公式，误差项为$ O(N\log^3 N) $，并进一步推广至Cesfiro平均版本，误差项为$ O(N) $，从而确认并改进了Languasco与Zaccagnini近期的结果。

ABSTRACT

Assuming the Riemann Hypothesis, we obtain asymptotic formulas for the average number representations of an even integer as the sum of two primes. We use the method of Bhowmik and Schlage-Puchta and refine their results slightly to obtain a more recent result of Languasco and Zaccagnini, and a new result on a smoother average.

研究动机与目标

• 改进偶数表示为两个素数之和的von Mangoldt加权表示数之和的渐近公式的误差项。
• 改进Bhowmik与Schlage-Puchta的方法，使其误差界与Languasco与Zaccagnini的$ O(N \log^3 N) $结果相当甚至更优。
• 分析Cesfiro平均对表示数和误差结构的影响，特别是在黎曼猜想下的表现。
• 通过在$ x $上平均，建立素数定理在短区间上误差均方值的更精确估计。

提出的方法

• 使用生成函数$ S_0(\alpha,x) = \sum_{n \leq x} \Lambda_0(n) e(n\alpha) $，其中$ \Lambda_0(n) = \Lambda(n) - 1 $，来建模表示函数。
• 应用恒等式$ \int_0^1 S_0(\alpha,x)^2 T(-\alpha,N) d\alpha = \sum_{n \leq N} R(n,x) t(n) $，其中$ T $为具有紧支集的三角多项式。
• 引入期望值算子$ E_N(f) = \frac{1}{N} \int_N^{2N} f(\alpha,x) dx $，以消除误差分析中对$ x $的依赖。
• 利用黎曼猜想来界定素数定理误差的均方值：$ \int_0^x (\psi(t) - t)^2 dt \ll x^2 $。
• 应用二元分解和$ L^1 $-型界估计$ |I(-\alpha,N)| $的积分，利用$ |I(-\alpha,N)| \ll \min(N, ||\alpha||^{-1}) $。
• 使用估计$ \int_{-1/(2h)}^{1/(2h)} |E_N(S_0(\alpha))^2| d\alpha \ll \frac{N (\log N)^2}{h} $来控制主项并推导误差界。

实验结果

研究问题

• RQ1 在黎曼猜想下，$ \sum_{n \leq N} r_2(n) $ 的最优误差项是什么，其中$ r_2(n) $ 表示带von Mangoldt权重的两个素数之和的表示数？
• RQ2 Bhowmik与Schlage-Puchta的方法能否被改进，以达到与Languasco与Zaccagnini的$ O(N \log^3 N) $ 相同的误差界？
• RQ3 参数$ k=1 $ 的Cesfiro平均如何影响Goldbach表示数和中的振荡误差项？
• RQ4 对$ x \in [N,2N] $ 平均$ S_0(\alpha,x)^2 $，对涉及三角多项式$ T(-\alpha,N) $ 的积分估计有何影响？

主要发现

• 在黎曼猜想下，有$ \sum_{n \leq N} r_2(n) = \frac{1}{2}N^2 - \sum_{\rho} \frac{N^{\rho+1}}{\rho(\rho+1)} + O(N \log^3 N) $，与Languasco与Zaccagnini的结果一致。
• 对于参数$ k=1 $ 的Cesfiro平均和，有$ \sum_{n \leq N} \left(1 - \frac{n}{N}\right) r_2(n) = \frac{1}{6}N^2 - 2\sum_{\rho} \frac{N^{\rho+1}}{\rho(\rho+1)(\rho+2)} + O(N) $，在黎曼猜想下成立。
• Fujii公式中的误差项$ E_2(x) $ 在黎曼猜想下被改进为$ O(N \log^3 N) $，优于早期的$ O((x \log x)^{4/3}) $ 和$ O(x (\log x)^5) $。
• 在$ S_0(\alpha,x) $ 的$ L^2 $-范数中对$ x \in [N,2N] $ 进行平均，可得到一个紧致界：$ \int_{-1/(2h)}^{1/(2h)} |E_N(S_0(\alpha))^2| d\alpha \ll \frac{N (\log N)^2}{h} $。
• 捕捉短区间边界误差的项$ K(x,h) $ 满足$ E_N(K(x,h)) \ll hN $，优于逐点估计。
• 该方法证实，当使用$ k=1 $ 的Cesfiro平均时，$ r_2(n) $ 中误差的振荡分量被有效平滑，与Languasco与Zaccagnini的无条件公式一致。