[论文解读] Rational points near planar curves and Diophantine approximation

Jing-Jing Huang|arXiv (Cornell University)|Mar 28, 2014

Mathematical Dynamics and Fractals参考文献 21被引用 5

一句话总结

本文首次为靠近平面曲线的有理点数量建立了具有最优误差项的渐近公式，采用调和分析与改进的计数函数。该研究统一并强化了此前由Huxley、Vaughan-Velani以及Beresnevich-Dickinson-Velani的研究成果，提供了显式的误差界，并完成了对弱非退化曲线的Lebesgue型丢番图逼近理论。

ABSTRACT

In this paper, we establish asymptotic formulae with optimal errors for the number of rational points that are close to a planar curve, which unify and extend the results of Beresnevich-Dickinson-Velani and Vaughan-Velani. Furthermore, we complete the Lebesgue theory of Diophantine approximation on weakly non-degenerate planar curves that was initially developed by Beresnevich-Zorin in the divergence case.

研究动机与目标

• 为靠近平面曲线的有理点数量建立具有最优误差项的渐近公式。
• 统一并改进Huxley、Vaughan-Velani以及Beresnevich-Dickinson-Velani先前的界。
• 完成对弱非退化平面曲线的Lebesgue型丢番图逼近理论，特别是发散情形下的理论。
• 为计数函数提供显式且精确的误差估计，解决先前隐含常数的局限性。
• 将理论扩展至$\mathcal{F}(I;c_1,c_2)$的拓扑闭包，包括在下界中显式给出常数。

提出的方法

• 引入一个改进的计数函数$\hat{N}_f(Q,\delta)$，用于计数满足分母$q \leq Q$，$\frac{a}{q} \in I$，$\gcd(a,b,q)=1$，且$\left|f\left(\frac{a}{q}\right) - \frac{b}{q}\right| < \frac{\delta}{q}$的有理点$\left(\frac{a}{q}, \frac{b}{q}\right)$。
• 应用调和分析技术，特别是傅里叶分析与指数和，将问题从物理空间转移到频域空间。
• 以Huxley的界$\widetilde{N}_f(Q,\delta) \ll \delta^{1-\varepsilon}Q^2 + Q$作为基础输入，随后通过对偶性与频率局部化进行优化。
• 在主项中使用黎曼ζ函数$\zeta(3)$，反映在计数过程中互素三元组的自然密度。
• 推导出包含$\delta^{1/2} \log(1/\delta) Q^{3/2}$与$Q^{1+\varepsilon}$的误差项，常数依赖于$c_1$、$c_2$、$I$以及$f''$的利普希茨常数。
• 通过将分数部分$\{q f(a/q)\}$与偏差理论关联，建立强一致分布结果，从而得到$D(N)$的界。

实验结果

研究问题

• RQ1 当平面曲线的曲率远离零时，靠近该曲线的有理点数量的精确渐近行为是什么？
• RQ2 现有针对曲线附近有理点的上下界中的误差项能否被显式化并达到最优？
• RQ3 当$\delta$相对于$Q^{-1}$变化时，计数函数$\hat{N}_f(Q,\delta)$的临界行为如何？
• RQ4 曲线的算术性质如何影响附近有理点的分布，特别是在$\delta$较小时的情形？
• RQ5 能否在下界中显式给出常数，从而完成对弱非退化曲线的Lebesgue型丢番图逼近理论？

主要发现

• 本文为满足$f \in \mathcal{F}(I;c_1,c_2)$且$f''$具有利普希茨连续性的函数$f$，建立了渐近公式$\hat{N}_f(Q,\delta) = \frac{1}{\zeta(3)}|I|\delta Q^2 + O\left(\delta^{1/2} \log(1/\delta) Q^{3/2} + Q^{1+\varepsilon}\right)$。
• 误差项在最优意义下成立：$Q^{1+\varepsilon}$中的$\varepsilon$与Huxley原始界中的$\varepsilon$一致，表明该方法存在固有的限制。
• 对于$f \in \overline{\mathcal{F}}(I;c_1,c_2)$，下界$\hat{N}_f(Q,\delta) \geq c \delta Q^2$成立，其中显式常数$c = \frac{c_1^{13}(\min\{1,\sqrt{c_1}\})^{12}}{2^{89}3^{72}c_2^{15}}|I|$。
• 建立了序列$\{q f(a/q)\}$的强一致分布结果$D(N) \ll N^{3/4}$，优于经典偏差界。
• 几何与算术 regimes 之间的转变得到确认：当$\delta \gg Q^{-1}$时，分布由曲率主导；当$\delta \ll Q^{-1}$时，其依赖于算术性质。
• 该方法在本质上等价于Huxley的界，调和分析使对偶形式成为可能，从而优化了误差结构。