[论文解读] Diophantine approximation on the parabola with non-monotonic approximation functions

Jing-Jing Huang|arXiv (Cornell University)|Feb 2, 2018

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

一句话总结

本文证明了标准抛物线在非单调逼近函数下仍为强Khintchine型收敛，即在非单调逼近函数下，抛物线上被有理数良好逼近的点集的Hausdorff测度为零。关键创新在于利用Burgess对特征和的有界性，提出了一种新的有理点计数估计方法，从而在经典Khintchine型定理中消除了单调性假设。

ABSTRACT

We show that the parabola is of strong Khintchine type for convergence, which is the first result of its kind for curves. Moreover, Jarnik type theorems are established in both the simultaneous and the dual settings, without monotonicity on the approximation function. To achieve the above, we prove a new counting result for the number of rational points with fixed denominators lying close to the parabola, which uses Burgess's bound on short character sums.

研究动机与目标

• 解决关于非退化平面曲线（特别是标准抛物线）是否为强Khintchine型收敛的开放问题。
• 在不假设逼近函数单调性的前提下，建立抛物线上同时逼近与对偶逼近的Jarník型定理。
• 发展一种针对分母固定的有理点在抛物线附近分布的非平均计数估计，这是消除单调性约束的关键。
• 通过克服非平均有理点计数的技术障碍，将度量丢番图逼近理论的应用范围扩展至曲线。

提出的方法

• 利用Burgess对短特征和的有界性，推导出计数函数 $ A(q, heta) $ 的新上界，该函数用于计数满足 $ \big\| \frac{a^2}{q} \big\| < \theta $ 的有理点 $ a/q $。
• 基于其最大平方因子 $ r $（满足 $ r^2 \mid q $）对 $ q $ 进行分解，以处理 $ q $ 具有大平方因子的异常情况。
• 应用Hausdorff-Cantelli引理，证明当 $ \textstyle\sum_{q=1}^\infty \theta(q)^{s+1} q^{1-s} < \infty $ 时，抛物线上良好逼近点集的 $ s $-维Hausdorff测度为零。
• 通过引入满足 $ \big\| \frac{\theta a^2}{q} \big\| < \theta $ 的有理点的加权和，并利用 dyadic 求和控制指数和，将计数估计推广至对偶逼近。
• 利用Hölder不等式控制 $ r^{1+\varepsilon} $ 项的贡献，依赖于 $ \textstyle\sum_{r} r^{(1+\varepsilon)(s+1)-4s} $ 在 $ s > 11/13 $ 时的收敛性。
• 表明Hausdorff-Cantelli论证中主级数的收敛性关键依赖于Burgess有界性；若要将 $ s $ 的范围进一步扩大，需突破这一经典有界性，而目前尚不可行。

实验结果

研究问题

• RQ1 标准抛物线 $ \{(x,x^2) : x \in [0,1]\} $ 是否在逼近函数非单调时仍为强Khintchine型收敛？
• RQ2 能否在不假设逼近函数单调性的前提下，于抛物线上建立Hausdorff测度意义下的Jarník型定理？
• RQ3 抛物线上的对偶逼近理论是否也无需单调性假设成立，特别是在Hausdorff测度意义下？
• RQ4 是否可将Jarník型定理中 $ s $ 的范围拓展至 $ 11/13 $ 以上？若可，需要何种条件？
• RQ5 是否存在非退化平面曲线不是强Khintchine型收敛的？其结构特征有何不同？

主要发现

• 证明了标准抛物线为强Khintchine型收敛，即即使逼近函数 $ \psi $ 非单调，抛物线上被有理数良好逼近的点集的Lebesgue测度仍为零。
• 当 $ s \in (11/13, 1] $ 时，若 $ \textstyle\sum_{q=1}^\infty \psi(q)^{s+1} q^{1-s} < \infty $，则集合 $ \mathscr{S}_2(\psi) \cap \mathcal{P} $ 的 $ s $-维Hausdorff测度为零，从而建立了非单调的Jarník型定理。
• 计数函数 $ A(q,\delta) $（用于计数满足 $ \big\| \frac{a^2}{q} \big\| < \delta $ 的有理点 $ a/q $）满足估计式 $ A(q,\delta) \ll \delta q + r^{1+\varepsilon} + \delta^{1/2} q^{11/16 + \varepsilon} $，其中 $ r $ 为满足 $ r^2 \mid q $ 的最大整数。
• 对偶逼近结果在无单调性假设下依然成立：当 $ s \in (0,1] $ 且 $ \textstyle\sum_{q=1}^\infty \psi(q)^s q^{2-s} < \infty $ 时，有 $ \mathcal{H}^s(\mathscr{A}_2(\psi) \cap \mathcal{P}) = 0 $。
• Hausdorff-Cantelli论证中关键级数的收敛性依赖于Burgess有界性；若要将 $ s $ 的范围扩展至 $ 11/13 $ 以上，必须突破该有界性，而目前尚不可行。
• 论文表明，在特征和的猜想有界性假设下，收敛估计中的第三项级数在 $ s \in (1/2,1] $ 时收敛，但第二项级数在 $ s \leq 2/3 $ 时发散，因此当前结果的有效范围受到限制。