[論文レビュー] 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 $ を用いて徐々に減衰する「余分な発散」条件を導入することで、Duffin-Schaeffer 予想の強化版を確立した。$ \sum f(\psi(n)/n) \varphi(n) = \infty $ であるとき、良い近似可能な数の集合 $ W(\psi) $ は全Lebesgue測度を持つことを証明した。さらに、和が $ \epsilon = 0 $ の場合に発散する限り、$ W(\psi) $ のHausdorff次元が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.

研究の動機と目的

• 元のDuffin-Schaeffer予想を越えた「強化された発散条件」の下で、集合 $ W(\psi) $ が全Lebesgue測度を持つための十分条件を確立すること。
• Duffin-Schaeffer予想の次元類似形を証明し、和 $ \sum \psi(n)/n \cdot \varphi(n) $ が発散する限り $ \dim(W(\psi)) = 1 $ であることを示すこと。
• より弱く取り扱いやすい発散条件を伴う予想を用いてDuffin-Schaeffer予想を検討し、完全な予想に向けた洞察を得ることを目的とする。

提案手法

• 関数 $ f(x) $ を導入し、$ x(-\log x)^{-\epsilon} $ より速く減衰し、$ x^{1+\epsilon} $ より遅く減衰する性質を持つことを証明し、$ \sum f(\psi(n)/n) \varphi(n) $ の発散が $ \lambda(W(\psi)) = 1 $ を意味することを示した。
• 質量転送原理を適用して、Lebesgue測度の結果をHausdorff測度および次元へ拡張し、$ W(\psi) $ の測度論的性質と次元的性質を結びつけた。
• Borel-Cantelli補題と、二重集合 $ \lambda(\mathcal{E}_m \cap \mathcal{E}_n) $ の推定を用いて、重複する近似の確率を制御した。
• 関数 $ f $ を用いて既知の結果の間を補間した。これは、$ \epsilon > 0 $ の場合の補題1を一般化し、臨界ケース $ \epsilon = 0 $ に近づいた。
• 和 $ \sum \psi(n)/n \cdot \varphi(n) = \infty $ が発散する場合に $ \dim(W(\psi)) = 1 $ であることを示し、Duffin-Schaeffer予想の次元類似形を確認した。
• Conjecture 2 および Problem 2 を提示し、$ f(r) = r(\log 1/r)^{-1} $ に対して予想を検証することを次なる自然なステップとして提案した。

実験結果

リサーチクエスチョン

• RQ1 古典的な和 $ \sum \psi(n)/n \cdot \varphi(n) = \infty $ よりも強い発散を伴う「余分な発散」条件のもとで、Duffin-Schaeffer予想は成立するか？
• RQ2 Duffin-Schaeffer予想の次元類似形は正しいか、すなわち、古典的な和が発散する場合に $ \dim(W(\psi)) = 1 $ となるか？
• RQ3 関数 $ f $ が徐々に減衰するようなより弱い予想（例：$ f(r) = r(\log 1/r)^{-1} $）を用いて、Duffin-Schaeffer予想に近づけることができるか？これは既知のケースと臨界ケースの間にある。
• RQ4 質量転送原理は、$ r^{1-\epsilon} $ よりもLebesgue測度に近い次元関数 $ h $ に対して、Lebesgue測度の結果をHausdorff測度の結果へ拡張できるか？
• RQ5 次元関数 $ h(r) = r \log(1/r) $ に対して、Conjecture 1（一般化されたHausdorff測度版）を検証できるか？これは現在の結果のすぐ外側にある。

主な発見

• 本稿は、$ f(x) $ が任意の $ \epsilon > 0 $ に対して $ x(-\log x)^{-\epsilon} $ より速く減衰し、$ x^{1+\epsilon} $ より遅く減衰する場合に、$ \sum f(\psi(n)/n) \varphi(n) = \infty $ ならば $ \lambda(W(\psi)) = 1 $ であることを証明した。これにより、全Lebesgue測度のための新たな十分条件が確立された。
• 補題1は、ある $ \epsilon > 0 $ に対して $ \sum (\psi(n)/n)^{1+\epsilon} \varphi(n) = \infty $ ならば $ \lambda(W(\psi)) = 1 $ であることを示しており、これはHarmanの書籍に既知の結果と同等である。
• 定理2は、すべての $ \epsilon > 0 $ に対して $ \sum (\psi(n)/n)^{1-\epsilon} \varphi(n) = \infty $ ならば $ \dim(W(\psi)) = 1 $ であることを確立し、Duffin-Schaeffer予想の次元類似形を確認した。
• 補題3は、$ \sum \psi(n)/n \cdot \varphi(n) = \infty $ ならば $ \dim(W(\psi)) = 1 $ であることを確認し、元のDuffin-Schaeffer予想の次元類似形を裏付けた。
• 本稿は、次元関数 $ h(r) = r^{1 - 1/(1 + \log \log 1/r)} $ に対してConjecture 1（一般化されたHausdorff測度版）を検証した。この関数は $ r^{1-\epsilon} $ よりも遅く減衰し、$ r \log(1/r) $ よりも速く減衰するため、完全な予想への進展を示した。
• Problem 2 — $ f(r) = r(\log 1/r)^{-1} $ に対してConjecture 2 を検証すること — は、現在の結果のすぐ外側に位置するため、次なる自然なステップとして提案された。この検証が成功すれば、全次元類似形が得られる。