[论文解读] Exponents of Diophantine approximation

Yann Bugeaud, Laurent Michel|ArXiv.org|Nov 12, 2006

Mathematical Dynamics and Fractals被引用 5

一句话总结

本文研究了丢番图逼近的指数，特别是同时逼近和线性型逼近的均匀与非均匀指数。它建立了这些指数的精确下界，通过连分数构造刻画了它们的谱，并证明了均匀指数 $\hat{w}_2$ 和 $\hat{\lambda}_2$ 的谱分别在 $[2, (3+\sqrt{5})/2]$ 和 $[1/2, (√{5}-1)/2]$ 中稠密，且通过斐波那契型连分数可实现不可数多个取值。

ABSTRACT

The paper is mostly a survey on recent results in Diophantine approximation, with emphasis on properties of exponents measuring various notions of Diophantine

研究动机与目标

• 刻画实矩阵在满秩条件下均匀与非均匀丢番图逼近指数 $\hat{w}_{n,m}$ 和 $\hat{\lambda}_{n,m}$ 的谱。
• 以转置矩阵的对应量表示，建立 $\omega_{n,m}(A)$ 和 $\hat{\omega}_{n,m}(A)$ 的精确下界，扩展了 Jarník 和 Apfelbeck 的经典结果。
• 通过连分数展开构造不可数多个实数 $\xi$，使其具有预设的 $\hat{w}_2(\xi)$ 和 $\hat{\lambda}_2(\xi)$ 值。
• 研究 $\hat{w}_2$ 和 $\hat{\lambda}_2$ 谱的结构，特别是其是否稠密或包含孤立点。
• 解决关于谱性质的开放问题，表明其在特定区间内稠密，且不等于整个区间 $[2, (3+\sqrt{5})/2]$。

提出的方法

• 使用形如 $[0; s_k, s_{k-1}, \dots, s_1]$ 的连分数展开，构造具有可控逼近指数的实数 $\xi$。
• 通过矩阵乘法 $S_n = \begin{pmatrix} a & 1 \\ 1 & 0 \end{pmatrix}$ 的递推关系，生成满足同时逼近不等式的序列 $x_0^{(n)}, x_1^{(n)}, x_2^{(n)}$。
• 应用递推关系 $Q_n \approx Q_{n-1}^{(1+\sqrt{5})/2}$ 来控制分母的增长并推导指数估计。
• 推导关键不等式 $\kappa_n \asymp \kappa_{n-1}^{-1/\gamma}$，其中 $\gamma = (1+\sqrt{5})/2$，以估计逼近质量。
• 应用传递原理，关联 $\omega_{n,m}(A)$ 与 $\omega_{m,n}({}^tA)$，并将其扩展至均匀指数。
• 利用 Borel–Cantelli 引理证明对几乎所有矩阵 $A$ 有 $\hat{\omega}_{n,m}(A) = m/n$，从而确立极值性的基准。

实验结果

研究问题

• RQ1 实数 $\xi$ 的均匀指数 $\hat{w}_2(\xi)$ 的谱具有何种结构？
• RQ2 $\hat{w}_2$ 和 $\hat{\lambda}_2$ 的谱是否分别在区间 $[2, (3+\sqrt{5})/2]$ 和 $[1/2, (√{5}-1)/2]$ 中稠密？
• RQ3 能否通过连分数方法显式构造不可数多个 $\hat{w}_2(\xi)$ 和 $\hat{\lambda}_2(\xi)$ 的取值？
• RQ4 当 $\hat{\omega}_{n,m}(A)$ 较大时，下界 $\omega_{n,m}(A) \geq \hat{\omega}_{n,m}(A)^{m/(m-1)} - 3\hat{\omega}_{n,m}(A)$ 是否是精确的？
• RQ5 $\hat{w}_2$ 的谱是否包含孤立点，还是在整个区间 $[2, (3+\sqrt{5})/2]$ 中稠密？

主要发现

• 通过构造斐波那契型的可数多个 $\xi$，证明了 $\hat{w}_2$ 的谱在 $[2, (3+\sqrt{5})/2]$ 中稠密，$\hat{\lambda}_2$ 的谱在 $[1/2, (√{5}-1)/2]$ 中稠密。
• 对于任意有界序列 $(s_j)$，存在实数 $\xi$ 使得 $\hat{w}_2(\xi) = 2 + \sigma$ 且 $\hat{\lambda}_2(\xi) = (1+\sigma)/(2+\sigma)$，其中 $\sigma = \liminf_k [0; s_k, \dots, s_1]$，从而证明了不可数多个取值可被实现。
• 对于所构造的 $\xi$，关系式 $\lambda_2(\xi) = \frac{w_2(\xi)(\hat{w}_2(\xi)-1)}{w_2(\xi)+\hat{w}_2(\xi)}$ 成立，表明定理 7 中传递界达到等号。
• 值 $(3+\sqrt{5})/2 \approx 2.618$ 在 $\hat{w}_2$ 的谱中不是孤立点，但谱并非整个区间 $[2, (3+\sqrt{5})/2]$，如 Fischler 关于上端附近可数交集的结果所示。
• $\hat{w}_2$ 和 $\hat{\lambda}_2$ 谱的豪斯多夫维数为 1，表明其具有丰富而复杂的结构。
• 本文证明了对 $\xi = \xi_{a,b}$ 有 $\hat{\lambda}_2(\xi) \geq (√{5}-1)/2 \approx 0.618$，该结果源于斐波那契递推关系及对 $Q_n$ 的增长估计。