[论文解读] Generalizations of a result of Jarnik on simultaneous approximation

Johannes Schleischitz|arXiv (Cornell University)|Oct 24, 2014

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

一句话总结

本文将Jarník关于同时丢番图逼近的经典结果推广至连续幂次向量$(\zeta, \zeta^2, \ldots, \zeta^k)$的情形，证明了存在实数$\zeta$，使得逼近误差$\|q\zeta^j - p_j\|$对无穷多个$q$满足$\Psi(q) = o(q^{-1})$的有界性，但对任意更小的函数$c\Psi(q)$（其中$c < 1$）则不成立。该构造采用块方法结合连分数，适用于分形集（如康托尔集），并得出不可数多个此类$\zeta$，其逼近阈值达到最优。

ABSTRACT

Consider a non-increasing function $Ψ$ from the positive reals to the positive reals with decay $o(1/x)$ as $x$ tends to infinity. Jarnik proved in 1930 that there exist real numbers $ζ_{1},...,ζ_{k}$ together with $1$ linearly independent over $\mathbb{Q}$ with the property that all $qζ_{j}$ have distance to the nearest integer smaller than $Ψ(q)$ for infinitely many positive integers $q$, but not much smaller in a very strict sense. We give an effective generalization of this result to the case of successive powers of real $ζ$. The method also allows to generalize corresponding results for $ζ$ contained in special fractal sets such as the Cantor set.

研究动机与目标

• 将Jarník 1930年的同步逼近结果推广至实数$\zeta$的连续幂次$\zeta, \zeta^2, \ldots, \zeta^k$的情形。
• 证明存在$\zeta$，使得对无穷多个$q$有$\|q\zeta^j - p_j\| \leq \Psi(q)$成立，但对任意$c\Psi(q)$（其中$c < 1$）不成立，且$\Psi(q) = o(q^{-1})$。
• 将上述结果推广至$\zeta$位于特殊分形集（如康托尔集）的情形，通过在$b$进制展开中施加数字限制。
• 提供此类$\zeta$的有效构造，给出其连分数或二进制展开形式，确保逼近阈值达到最优。

提出的方法

• 通过连分数或$b$进制数字展开构造$\zeta$，采用块构造法，以控制逼近行为。
• 应用折叠引理（Folding Lemma）并估计线性型，以控制$1 \leq j \leq k$范围内的同步逼近误差$\|q\zeta^j - p_j\|$。
• 对$\Psi(q)$施加条件(A1)–(A3)与(B1)–(B2)，确保衰减性与单调性，以获得有效界。
• 通过递归选择块构造$\zeta$，使得最小逼近误差被$\Psi(q)$控制，但不被任何$c\Psi(q)$（$c < 1$）控制。
• 通过限制$b$进制展开中的数字，将方法适配至分形集，确保$\zeta$位于康托尔集等集合中。
• 利用引理3.10及线性型估计，证明不存在更优逼近，从而证明界的紧致性。

实验结果

研究问题

• RQ1 Jarník关于同步逼近的结果能否推广至实数$\zeta$的向量形式$(\zeta, \zeta^2, \ldots, \zeta^k)$？
• RQ2 对于给定的$\Psi(q) = o(q^{-1})$，是否存在$\zeta$使得对无穷多个$q$有$\|q\zeta^j - p_j\| \leq \Psi(q)$成立，但对$c\Psi(q)$（$c < 1$）不成立？
• RQ3 能否通过连分数或$b$进制数字展开显式构造出此类$\zeta$？
• RQ4 这些结果能否推广至$\zeta$位于分形集（如康托尔集）的情形，且在$b$进制中施加数字限制？
• RQ5 此类$\zeta$存在的最优$\Psi(q)$界是什么？该界能否进一步改进？

主要发现

• 对于任意满足(A1)与(B1)的非增函数$\Psi(q) = o(q^{-1})$，存在不可数多个$\zeta \in \mathbb{R} \setminus \mathbb{Q}$，使得对无穷多个$q$有$\|q\zeta^j - p_j\| \leq \Psi(q)$成立，但对任意$c\Psi(q)$（$c < 1$）不成立，从而证明了该界的紧致性。
• 该构造生成的$\zeta$具有连分数或二进制展开形式，其逼近误差被$\Psi(q)$控制，但不被任何更小的$c\Psi(q)$控制，从而证明了最优性。
• 对于$\Psi(q) < q^{-\theta}$且$\theta > \gamma$的情形，该方法可构造出使得更优逼近不可能的$\zeta$，从而改进了早期结果。
• 通过限制$b$进制展开中的数字，该方法可推广至$\zeta$位于康托尔集的情形，同时保持最优逼近阈值。
• 结果表明，当前方法下逼近误差中的常数$1/(b-1)$已近乎最优，且可被任意接近。
• 使用块构造与折叠引理的证明技术可实现此类$\zeta$的有效构造，并可推广至$b=2$的二进制展开情形。