[论文解读] On Diophantine approximations with positive integers: a remark to W.M.Schmidt's theorem

Nikolay Moshchevitin|arXiv (Cornell University)|Apr 13, 2009

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

一句话总结

本文通过建立线性型 α₁x₁ + α₂x₂（x₁, x₂ 为正整数）的改进指数，推广了 W.M. Schmidt 的丢番图逼近定理。在满足丢番图条件的前提下，证明存在一个正整数对的无限序列，使得逼近误差以由函数 g(γ) 控制的速率衰减，优于经典的指数 τ = (1+√5)/2。

ABSTRACT

We prove a generalization of W.M. Schmidt's theorem related to the Diophantine approximations for a linear form of the type $α_1x_1+α_2x_2 +y$ with {\it positive} integers $x_1,x_2$.

研究动机与目标

• 推广 W.M. Schmidt 关于线性型 α₁x₁ + α₂x₂（x₁, x₂ 为正整数）的丢番图逼近定理。
• 在满足丢番图条件的前提下，将逼近速率中的指数改进至超过经典的 τ = (1+√5)/2。
• 通过依赖于丢番图指数 γ 的函数 g(γ)，建立逼近误差的定量界。
• 通过最佳逼近分析与格几何的构造性证明，得出精确的衰减速率。

提出的方法

• 引入函数 g(γ) = τ + (2τ − 2)/(τ²γ − 2)，当 γ 从 2 增加到 ∞ 时，该函数在 τ 与 2 之间插值，其中 τ = (1+√5)/2。
• 施加丢番图条件：对所有非零整数向量 (m₁,m₂)，有 ||α₁m₁ + α₂m₂|| ≥ Γ / (max{|m₁|,|m₂|})^γ，其中 Γ ∈ (0,1) 且 γ ≥ 2。
• 使用三维空间中最佳逼近的理论，定义整数向量序列 (m₀, m₁, m₂)，使 ||m₀ + α₁m₁ + α₂m₂|| 在 max{|m₁|,|m₂|} 有界时最小化。
• 应用闵可夫斯基凸集定理，推导逼近质量的界，特别是 ||ζ(ν)||M_{ν+1}² ≤ 1。
• 利用格几何与连续最佳逼近向量所张平面中的向量分解，定位新的正整数解。
• 推导两种替代构造方法 (i) 与 (ii)，用于生成新的正整数对 (x₁⁰, x₂⁰)，具体取决于连续逼近误差的相对大小。

实验结果

研究问题

• RQ1 在 Schmidt 定理中，对于 α₁x₁ + α₂x₂ ≈ 0 mod 1 的正整数解，指数 τ 是否可以被改进？
• RQ2 在丢番图条件（指数为 γ）下，当 max{x₁,x₂} → ∞ 时，||α₁x₁ + α₂x₂|| 的最优衰减速率是什么？
• RQ3 逼近质量如何依赖于下界条件中的丢番图常数 Γ 和指数 γ？
• RQ4 是否可以为无穷多个正整数解建立 ||α₁x₁ + α₂x₂|| · (max{x₁,x₂})^{g(γ)} 的统一有界性？
• RQ5 在什么条件下，连续最佳逼近向量中存在一个大小受控的新小值解？

主要发现

• 本文证明：对任意 γ ≥ 2 和 Γ ∈ (0,1)，若对所有非零 (m₁,m₂) 有 ||α₁m₁ + α₂m₂|| ≥ Γ / (max{|m₁|,|m₂|})^γ，则存在一个正整数对的无限序列 (x₁(i), x₂(i))，使得 ||α₁x₁(i) + α₂x₂(i)|| · (max{x₁(i),x₂(i)})^{g(γ)} ≤ C(Γ)。
• 指数函数 g(γ) 严格递减，满足 g(2) = 2 且 lim_{γ→∞} g(γ) = τ = (1+√5)/2，因此在经典指数 2 与 Schmidt 原始的 τ 之间插值。
• 常数 C(Γ) 明确定义为 C(Γ) = 2^{18} Γ^{(τ−τ²)/(τ²γ−2)}，其依赖于 Γ 和 γ，且可进一步减小。
• 证明依赖于对连续最佳逼近的分析，表明：要么在小范围内存在一个良好逼近（陈述 (i)），要么存在一个大小与衰减速率受控的更优逼近（陈述 (ii)）。
• 结果表明，当 M_ν → ∞ 时，Schmidt 原定理被恢复，且当 γ → ∞ 时，指数 τ 被逼近。
• 满足非退化条件 (3) 的无穷多个 ν 的存在性，确保该构造可无限次应用，从而产生所需的无限多组解。