[论文解读] The Duffin-Schaeffer Conjecture with extra divergence

Alan Haynes, Andrew Pollington+1 more|ArXiv.org|Nov 7, 2008

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

一句话总结

本文通过引入一个缓慢衰减函数 $ f $ 的“额外发散”条件，建立了杜芬-施艾弗猜想的强化版本，证明当 $ \sum f(\psi(n)/n) \varphi(n) = \infty $ 时，佳近似数集 $ W(\psi) $ 具有全勒贝格测度。此外，还证明了当 $ \epsilon = 0 $ 时该和发散，则 $ W(\psi) $ 的豪斯多夫维数为 1，从而确认了该猜想的维数类比。

ABSTRACT

Given a nonnegative function $ψ: \N o \R $, let $W(ψ)$ denote the set of real numbers $x$ such that $|nx -a| < ψ(n) $ for infinitely many reduced rationals $a/n (n>0) $. A consequence of our main result is that $W(ψ)$ is of full Lebesgue measure if there exists an $ε> 0 $ such that $$ extstyle \sum_{n\in\N}(\frac{ψ(n)}{n})^{1+ε}φ(n)=\infty . $$ The Duffin-Schaeffer Conjecture is the corresponding statement with $ε= 0$ and represents a fundamental unsolved problem in metric number theory. Another consequence is that $W(ψ)$ is of full Hausdorff dimension if the above sum with $ε= 0$ diverges; i.e. the dimension analogue of the Duffin-Schaeffer Conjecture is true.

研究动机与目标

• 在原始杜芬-施艾弗猜想之外，建立一个更强的发散条件，以充分保证集合 $ W(\psi) $ 具有全勒贝格测度。
• 证明杜芬-施艾弗猜想的维数类比，即当和 $ \sum \psi(n)/n \cdot \varphi(n) $ 发散时，有 $ \dim(W(\psi)) = 1 $。
• 通过引入额外发散的、更易处理的较弱猜想，研究杜芬-施艾弗猜想，以期为完整猜想提供洞见。

提出的方法

• 引入一个函数 $ f(x) $，其衰减速度比 $ x(-\log x)^{-\epsilon} $ 快，但比 $ x^{1+\epsilon} $ 慢，并证明若 $ \sum f(\psi(n)/n) \varphi(n) $ 发散，则 $ \lambda(W(\psi)) = 1 $。
• 应用质量传递原理，将勒贝格测度结果推广至豪斯多夫测度与维数，建立 $ W(\psi) $ 的测度论与维数性质之间的联系。
• 利用贝尔-坎泰利引理及对成对交集 $ \lambda(\mathcal{E}_m \cap \mathcal{E}_n) $ 的估计，控制近似重叠的概率。
• 使用函数 $ f $ 在已知结果之间进行插值：它推广了推论 1（对应 $ \epsilon > 0 $ 的情形），并趋近于临界情形 $ \epsilon = 0 $。
• 证明当 $ \sum \psi(n)/n \cdot \varphi(n) = \infty $ 时，有 $ \dim(W(\psi)) = 1 $，从而确认了杜芬-施艾弗猜想的维数类比。
• 提出猜想 2 与问题 2 作为自然的下一步，重点在于验证 $ f(r) = r(\log 1/r)^{-1} $ 情形下的猜想，该情形恰好位于已知结果之外。

实验结果

研究问题

• RQ1 在‘额外发散’条件下，杜芬-施艾弗猜想是否成立，即在经典和 $ \sum \psi(n)/n \cdot \varphi(n) = \infty $ 的基础上进一步强化发散性？
• RQ2 杜芬-施艾弗猜想的维数类比是否成立，即当经典和发散时，是否恒有 $ \dim(W(\psi)) = 1 $？
• RQ3 是否可通过涉及缓慢衰减函数 $ f $ 的较弱猜想（如 $ f(r) = r(\log 1/r)^{-1} $）来逼近杜芬-施艾弗猜想？该类函数介于已知情形与临界情形之间。
• RQ4 质量传递原理是否允许将勒贝格测度结果推广至更接近勒贝格测度的维数函数 $ h $，其形式优于 $ r^{1-\epsilon} $？
• RQ5 能否验证猜想 1（广义豪斯多夫测度版本）在维数函数 $ h(r) = r \log(1/r) $ 下的成立性？该函数位于当前结果之外，是迈向完整猜想的重要一步。

主要发现

• 本文证明：若 $ \sum f(\psi(n)/n) \varphi(n) = \infty $，其中 $ f(x) $ 的衰减速率比 $ x(-\log x)^{-\epsilon} $ 快但比 $ x^{1+\epsilon} $ 慢（对任意 $ \epsilon > 0 $），则 $ \lambda(W(\psi)) = 1 $，从而确立了全勒贝格测度的新充分条件。
• 推论 1 表明：当 $ \sum (\psi(n)/n)^{1+\epsilon} \varphi(n) = \infty $ 对某个 $ \epsilon > 0 $ 成立时，有 $ \lambda(W(\psi)) = 1 $，这与哈曼著作中的已知结果等价。
• 定理 2 建立了：若对所有 $ \epsilon > 0 $，有 $ \sum (\psi(n)/n)^{1-\epsilon} \varphi(n) = \infty $，则 $ \dim(W(\psi)) = 1 $，从而确认了杜芬-施艾弗猜想的维数类比。
• 推论 3 确认：当 $ \sum \psi(n)/n \cdot \varphi(n) = \infty $ 时，有 $ \dim(W(\psi)) = 1 $，即原始杜芬-施艾弗猜想的维数类比。
• 本文验证了猜想 1（广义豪斯多夫测度版本）在维数函数 $ h(r) = r^{1 - 1/(1 + \log \log 1/r)} $ 下的成立性，该函数衰减速率慢于 $ r^{1-\epsilon} $ 但快于 $ r \log(1/r) $，标志着向完整猜想的进展。
• 问题 2 —— 验证猜想 2 在 $ f(r) = r(\log 1/r)^{-1} $ 下的成立性 —— 被提出为下一步自然研究方向，因其恰好位于当前结果之外，且若成立将直接推出完整的维数类比。