[论文解读] Contribution to Vojtech Jarnik

Nikolay Moshchevitin|arXiv (Cornell University)|Dec 12, 2009

Language and Culture参考文献 2被引用 3

一句话总结

本文通过建立三个关键情形下个体丢番图指数 β(Θ) 的更紧下界，改进了 Vojtěch Jarník 关于丢番图逼近指数的经典定理：m=1,n=3；m=3,n=1；以及 m=n=2。利用几何与格理论方法，包括闵可夫斯基凸体定理及最佳逼近分析，作者推导出新的显式函数 g₁(α)、g₂(α) 和 g₃(α)，使得 β(Θ) ≥ α(Θ)·g(α(Θ))，该不等式在 α(Θ) 的特定范围内严格优于 Jarník 的原始不等式。

ABSTRACT

We find new inequalities between uniform and individual Diophantine exponents for three-dimensional Diophantine approximations. Also we give a result for two linear forms in two variables. The results improves V.Jarnik's theorem (1954).

研究动机与目标

• 精炼 Vojtěch Jarník 于 1954 年提出的多维逼近中一致与个体丢番图指数的定理。
• 填补现有界在 m=1,n=3；m=3,n=1；以及 m=n=2 情形下 β(Θ) 的不足，此时 Jarník 的不等式并非最优。
• 基于几何与解析技术，建立以统一指数 α(Θ) 表示的个体丢番图指数 β(Θ) 的新、更优下界。
• 证明在 α(Θ) 的特定范围内，新界严格优于 Jarník 的原始不等式，尤其在 m=1,n=3 情形中 α(Θ) ∈ (1/3, α₀)，以及在 m=n=2 情形中 α(Θ) > 1。
• 提供基于最佳逼近与闵可夫斯基凸体定理的证明框架，适用于多变量线性型。

提出的方法

• 将一致丢番图指数 α(Θ) 定义为满足当 t→∞ 时 t^γ ψ_Θ(t) 有界的最大 γ。
• 将个体丢番图指数 β(Θ) 定义为满足 t^γ ψ_Θ(t) 的下极限为有限的最大 γ。
• 引入新函数 g₁(α)、g₂(α) 和 g₃(α)，作为由几何约束导出的特定二次或三次方程的解。
• 利用最佳逼近理论 (x_ν) 及其关联向量 z_ν ∈ ℤ^{m+n} 分析 ||L_j(x)|| 的衰减速率。
• 对二维格 Λ ⊂ ℤ^{d}（d = m+n）应用闵可夫斯基凸体定理，通过格行列式与子空间间夹角 δ 来界定乘积 ζ_ν M_{ν+1}。
• 推导涉及 ψ(t) = t^{-α+ε} 的渐近不等式，并利用 M_ν 的增长速率比较 ψ(M_ν) 与 ζ_ν，从而导出对 β(Θ) 的改进界。

实验结果

研究问题

• RQ1 Jarník 1954 年关于丢番图指数的不等式在 m=1,n=3、m=3,n=1 和 m=n=2 情形下能否得到改进？
• RQ2 在上述三种情形下，以统一指数 α(Θ) 表示的个体丢番图指数 β(Θ) 的最优下界是什么？
• RQ3 新界是否在 α(Θ) 的某些范围内严格优于 Jarník 的原始不等式？
• RQ4 最佳逼近的几何结构与格子子空间如何影响 ||L_j(x)|| 的衰减速率？
• RQ5 最佳逼近方法与闵可夫斯基定理能否推广以获得比先前已知更紧的界？

主要发现

• 对于 m=1, n=3 且三个数在 ℤ 上线性无关并加上 1 的情形，不等式 β(Θ) ≥ α(Θ)g₁(α(Θ)) 在 1/3 < α(Θ) < α₀ 范围内优于 Jarník 的不等式，其中 α₀ ≈ 0.545 是方程 x³ - x² + 2x - 1 = 0 的实根。
• 对于 m=3, n=1 且三个数在 ℤ 上线性无关并加上 1 的情形，不等式 β(Θ) ≥ α(Θ)g₂(α(Θ)) 在所有 α(Θ) ≥ 3 时优于 Jarník 的不等式 (3)，其中 g₂(α) = √(α + 1/α² - 7/4) + 1/α - 1/2。
• 对于 m=n=2 且四个数在 ℤ 上线性无关并加上 1 的情形，不等式 β(Θ) ≥ α(Θ)g₃(α(Θ)) 在 1 < α(Θ) < ((1+√5)/2)² ≈ 2.618 范围内优于 Jarník 的不等式 (2)，其中 g₃(α) 是方程 αx² + (α-1)x - (2α² - 2α + 1) = 0 的解。
• 在各自范围内，新界严格优于 Jarník 的界，这由 g₁(α) > (α²)/(1−α) 对 α ∈ (1/3, α₀) 成立，且类似关系对 g₂ 与 g₃ 成立可得证明。
• 证明依赖于对最佳逼近序列 (x_ν) 及其关联向量 z_ν ∈ ℤ^{m+n} 的分析，利用闵可夫斯基定理作用于格 Λ = π ∩ ℤ^{d}，其中 π 为二维子空间。
• 对 M_ν 的增长与 ψ(t) = t^{-α+ε} 的衰减进行渐近分析，得出 ζ_ν ≪ ψ(M_ν^{g(α)/h(α)}) 对适当的 g 与 h 成立，从而推出对 β(Θ) 的改进界。