上一页

ⓘ 丟番圖逼近




                                     

ⓘ 丟番圖逼近

丢番图分析 是数论的一个分支。最经典的丢番图逼近主要用於有理数逼近实数,亦即实数的有理逼近相关问题。其中有理数一般用分数形式表达,且一律要求分子为整数,分母为正整数,通常要求是 既约分数 。

丢番图逼近 的名称源于古希腊数学家丢番图。这是因为有理逼近可以归结为求不等式整数解的问题,而求方程整数解的问题一般称为丢番图方程(或不定方程),故而得名。事实上,丢番图逼近与不定方程的研究确有颇多相关。

丢番图逼近的首要问题是寻求实数的最佳(有理)丢番图逼近,简称 最佳逼近 。具体来说,对于一个实数 α {\displaystyle \alpha } ,希望找到一个" 最优”的有理数 p / q {\displaystyle p/q} 作为 α {\displaystyle \alpha } 的近似,使在分母不超过 q {\displaystyle q} 的所有有理数中, p / q {\displaystyle p/q} 与 α {\displaystyle \alpha } 的距离最小。这里的" 距离”可以是欧氏距离,即两数之差的绝对值;也可以用 | q α − p | {\displaystyle |q\alpha -p|} 等方式度量。满足此类要求的有理数 p / q {\displaystyle p/q} 称为实数 α {\displaystyle \alpha } 的一个最佳逼近。关于如何寻找实数的最佳逼近及相关论题,已于18世纪随着连分数理论的发展得到基本解决。

其后,该领域的主要注意力转向对有理逼近的误差进行估计、度量,以给出尽可能精确的上下界(一般用分母的函数表示)。作为分母的函数, 这种上下界的阶与 α {\displaystyle \alpha } 的性质密切相关。当 α {\displaystyle \alpha } 分别为有理数、代数数、超越数时,其最佳逼近误差下界的阶是不同的。基于这种思想,刘维尔在1844年建立了有关代数数逼近的一个基本结论,并由此具体地构造出了一个超越数(参见刘维尔数),证明了它的超越性。这在人类历史上尚属首次。由此可见,丢番图逼近与数论的另一分支 - - 超越数论紧密相关。

除了上述最经典的单个实数的有理逼近问题,该领域还包括多个实数的联立逼近,非齐次逼近,实数的代数数逼近,一致分布(均匀分布)等方面。甚至连p进数上的丢番图逼近也有颇多研究。

                                     

1.1. 实数的最佳丢番图逼近 有理数与实数的距离

无论何种丢番图逼近问题, 都需要定义" 距离”。对于实数的有理逼近,要考虑的是有理数 p / q {\displaystyle p/q} 与实数 α {\displaystyle \alpha } 的距离。对此一般有两种定义方式,其一是非常自然的欧氏距离 | α − p / q | {\displaystyle |\alpha -p/q|} ,其二是 | q α − p | {\displaystyle |q\alpha -p|} 第二种定义方式是有理数所独有的,在丢番图逼近的理论和实践中都很常用,不过这样定义的距离并非一个度量。

这两种距离也可看作只由分母 q {\displaystyle q} 决定的。此时,上述第二种定义变为

min { p ∈ Z: | q α − p | } = | | q α | | {\displaystyle \min\{p\in \mathbb {Z}:|q\alpha -p|\}=||q\alpha ||}

上式右端的记号在丢番图逼近中很常用。沿用此记号,第一种定义变为

min { p ∈ Z: | α − p / q | } = | | q α | | / q {\displaystyle \min\{p\in \mathbb {Z}:|\alpha -p/q|\}=||q\alpha ||/q}

此时不要求 p, q {\displaystyle p,q} 互素。

对于实数的最佳逼近问题,依" 距离”的定义不同,有第一类和第二类之分,二者的结论有所不同。未加限定时," 最佳逼近”一词一般指的是第一类最佳逼近。

                                     

1.2. 实数的最佳丢番图逼近 问题的提法

在本节中,对有理数 p / q {\displaystyle p/q} ,我们用" 优”一词形容它与给定实数 α {\displaystyle \alpha } 的距离更接近,此处的" 距离”一般是按照1.1节给出的两种定义方式之一。当 α {\displaystyle \alpha } 为无理数时,无论按上述哪一种距离,只要分母 q {\displaystyle q} 足够大, p / q {\displaystyle p/q} 总能与 α {\displaystyle \alpha } 任意接近。因此,单纯讨论" 最优”(意即与 α {\displaystyle \alpha } 最接近的)有理数意义不大,还需要对有理数的范围,主要是分母的范围加以限制。这样,给定一个实数 α {\displaystyle \alpha } 后,就产生了以下三个自然的问题:

  • 对于哪些有理数 p / q {\displaystyle p/q} ,其在分母不超过 q {\displaystyle q} 的所有有理数中是最优的?
  • 对于给定的正整数,在分母不超过它的所有有理数中,最优的是哪个?(如果有多个,一般取分母最小者)
  • 对于一个有理数(通常考虑的是最佳逼近),比它更优的有理数中分母最小的是哪个?

问题1正是经典丢番图逼近领域的一个核心问题,也是后两个问题的基础;问题2可视作问题1的扩展,从某些角度看它的提法甚至更为自然;问题3则可看作问题2的某种反问题。

丢番图逼近领域的 最佳逼近 一词,一般就指符合问题1中条件的有理数。两种距离都可以考虑,分别对应两类最佳逼近。具体来说,给定一个实数 α {\displaystyle \alpha } ,称有理数 p / q {\displaystyle p/q} 为 α {\displaystyle \alpha } 的 第一类最佳逼近 ,当且仅当对每个与 p / q {\displaystyle p/q} 不同的有理数 p ′ / q ′ {\displaystyle p/q} ,在 q ′ ≤ q {\displaystyle q\leq q} 时恒有

| α − p / q | < | α − p ′ / q ′ | {\displaystyle |\alpha -p/q| 1} ,设 q k − 1 ≤ M < q k {\displaystyle q_{k-1}\leq M t > a k / 2 {\displaystyle t> a_{k}/2} 时, C k, t {\displaystyle C_{k,t}} 是第一类最佳逼近;
  • t < a k / 2 {\displaystyle t =3/2> 113/106}

    故355/113之后的下一个第一类最佳逼近是 C 4, 292 / 2 = 52163 / 16604 {\displaystyle C_{4.292/2}=52163/16604} 。这说明355/113比分母小于16604的任何有理数都更接近π(依欧氏距离),可见密率的精确性。

                                     

2. 刘维尔定理与Roth定理

丢番图逼近理论的基础之一是刘维尔的一个关于代数数逼近的定理:

定理 :设无理数 α {\displaystyle \alpha } 是一个整系数 n {\displaystyle n} 次多项式的根,则存在常数 A > 0 {\displaystyle A> 0} ,使得对任意两整数 p, q > 0 {\displaystyle p,q> 0} 恒有

| α − p q | > A q n {\displaystyle \left|\alpha -{\frac {p}{q}}\right|> {\frac {A}{q^{n}}}}

刘维尔定理可用于构造超越数。在这之前,数学家们已利用连分数导出关于平方根与其它二次无理数的许多逼近性质。这个结果后来由Axel Thue等人改进,并导致 Roth定理 :对于代数数 α {\displaystyle \alpha } ,将刘维尔定理中的指数由其次数 n {\displaystyle n} 缩至任意的 2 + ϵ {\displaystyle 2+\epsilon } (其中 ϵ > 0 {\displaystyle \epsilon > 0} )。之后Schmidt又将此结果推广到一致逼近。这些命题的证明颇为困难,而且不能得到 A {\displaystyle A} 的确切数值,在应用上有所缺憾。

                                     

3. 均匀分布

另一个主题是模1的 均匀分布理论 。取一实数序列 a 1, a 2, … {\displaystyle a_{1},a_{2},\ldots } 并考虑其真分数部分;或抽象地说,将其看作 R / Z {\displaystyle \mathbb {R} /\mathbb {Z} } ,即拓扑学中所说的一维圆环 S 1 {\displaystyle \mathbb {S} ^{1}} 上的数列。对圆环上的任一段区间,我们研究有限集 { a n: n ≤ N } {\displaystyle \{a_{n}:n\leq N\}} 中有多大比例落在该区间内,并考虑这个比例与区间长度之间的关系。一个序列 均匀分布 意味着当 N → + ∞ {\displaystyle N\rightarrow +\infty } 时,此比例收敛于我们所" 期望”的值。赫尔曼 外尔证明了一个基本结论:均匀分布等价于该序列元素的指数和有上界。这表明丢番图逼近与指数和相消的一般问题密切相关,而后者在解析数论的误差项估计中无处不在。

                                     

4. 其它

在Roth定理以后,丢番图逼近论的主要进展与超越理论相关。均匀分布关乎分布的不规则性,因而带有组合学的本性。丢番图逼近论中仍有陈述简单却悬而未解的问题,例如李特尔伍德猜想:对任意两个实数 α, β {\displaystyle \alpha,\beta },

lim inf n → ∞ n ‖ n α ‖ ‖ n β ‖ = 0 {\displaystyle \liminf _{n\to \infty }\ n\,\Vert n\alpha \Vert \,\Vert n\beta \Vert =0}

其中 ‖ ‖ {\displaystyle \Vert \,\Vert } 表示到最近整数的距离。

                                     

5. 文献

  • Lang, S. Introduction to Diophantine Approximations New Expanded Edition. Springer-Verlag. 1995. ISBN 978-0-387-94456-2. 引文格式1维护:冗余文本 link