[论文解读] An improvement on Gauss's Circle Problem and Dirichlet's Divisor Problem

Xiaochun Li, Xuerui Yang|arXiv (Cornell University)|Aug 28, 2023

Mathematics and Applications被引用 4

一句话总结

本文通过改进Bombieri-Iwaniec方法，结合限制性技术与间距问题分析，将高斯圆问题和狄利克雷除数问题的最佳已知上界进一步提升。通过优化指数和分解、有理逼近及泊松求和在黎曼ζ函数均值与除数和估计中的相互作用，得出了新的指数 θ* ≈ 0.314483，优于许斯利此前的界限 131/416 ≈ 0.3149。

ABSTRACT

Using Bombieri-Iwaniec method, we establish an improvement on both Gauss's Circle Problem and Dirichlet's Divisor Problem. More precisely, we derive a new estimate for the first spacing problem and combine it with Huxley's results on the second spacing problem.

研究动机与目标

• 改进高斯圆问题与狄利克雷除数问题误差项的最佳已知上界。
• 通过融入Bourgain关于ζ函数上界研究中的限制性理论洞见，进一步优化Bombieri-Iwaniec方法。
• 在来自除数问题与圆问题的指数和背景下，优化间距问题分析。
• 通过求解涉及有理逼近与指数和衰减的非线性方程，推导出新的指数 θ* < 131/416。
• 通过严格验证主弧与小弧分解中不等式的成立性，验证新界限的有效性。

提出的方法

• 利用Bombieri-Iwaniec方法将长指数和分解为短和，实现局部化分析。
• 对相位函数（如 log m, T/m）应用泰勒展开，用关于 m 的二次或三次多项式近似。
• 利用狄利克雷逼近定理对相位函数的系数进行有理化，从而实现结构化的泊松求和。
• 应用泊松求和，将和转化为形如 (l, kl, l√k, l/√k) 的向量所构成的结构化指数和。
• 采用双重大筛不等式，控制小弧上这些指数和的均值。
• 将许斯利的间距问题分析与通过非线性方程对指数的新优化相结合。

实验结果

研究问题

• RQ1 Bombieri-Iwaniec方法能否被进一步优化，以获得高斯圆问题误差项更优的上界？
• RQ2 同一方法能否将狄利克雷除数问题的当前最佳上界进一步降低至 131/416 以下？
• RQ3 通过结合限制性技术与间距问题优化，所能达到的最优指数 θ* 是什么？
• RQ4 有理逼近、泊松求和与指数和衰减之间的相互作用如何影响最终的误差界？
• RQ5 在当前方法论框架下，新指数 θ* = 0.3144831759741... 是否为最优可能？

主要发现

• 本文为 R(X) 与 Δ(X) 建立了新的上界，表明对所有 ε > 0，有 R(X) = Oε(Xθ*+ε) 与 Δ(X) = Oε(Xθ*+ε)。
• 新指数为 θ* ≈ 0.3144831759741，严格小于许斯利此前的界限 131/416 ≈ 0.3149038。
• 指数 θ* 被定义为一个包含平方根与有理函数的非线性方程的唯一解，确保指数和估计中衰减的最优性。
• 证明依赖于对两个关键不等式的验证：(5.23) 与 (5.24)，以确保在所选参数化下最终界限的有效性。
• 通过优化有理逼近中的分母 q 与由此产生的指数和衰减速率之间的相互作用，实现了更优的衰减。
• 最终界限通过一系列代换与代数化简推导得出，最终表达式为 T^{-8/25 x - 1/200 (√(2(1-14x)) - 5√(-1-8x))² + 51/200 + ε}，其在 x = -θ* 处取得最大值。