丢番图逼近

✍ dations ◷ 2025-06-09 11:06:41 #数论,解析数论

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

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

丢番图逼近的首要问题是寻求实数的最佳(有理)丢番图逼近,简称最佳逼近。具体来说,对于一个实数 ,希望找到一个“最优”的有理数 p / q {\displaystyle p/q} 与 的距离最小。这里的“距离”可以是欧氏距离,即两数之差的绝对值;也可以用 | q α p | {\displaystyle |q\alpha -p|} 的一个最佳逼近。关于如何寻找实数的最佳逼近及相关论题,已于18世纪随着连分数理论的发展得到基本解决。

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

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

无论何种丢番图逼近问题, 都需要定义“距离”。对于实数的有理逼近,要考虑的是有理数 与实数 的距离。对此一般有两种定义方式,其一是非常自然的欧氏距离 | α p / q | {\displaystyle |\alpha -p/q|} 决定的。此时,上述第二种定义变为

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

此时不要求 互素。

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

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

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

丢番图逼近领域的最佳逼近一词,一般就指符合问题1中条件的有理数。两种距离都可以考虑,分别对应两类最佳逼近。具体来说,给定一个实数 ,称有理数 为 的第一类最佳逼近,当且仅当对每个与 不同的有理数 ,在 q q {\displaystyle q'\leq q} 为 的第二类最佳逼近。显然,第二类最佳逼近一定是第一类的,反之则未必。例如对于2/3来说,1/2是第一类最佳逼近,但不是第二类的。

对于问题2, 3,依“距离”的定义不同,也有类似的第一类和第二类之分。问题1解决后,不难得到问题2, 3的结论。事实上,后两个问题中所求的有理数一定是一个最佳逼近。

实数最佳逼近问题与连分数理论有密切联系,后者提供了计算最佳逼近的理论依据和具体算法。下面总假设实数 的简单连分数表达式为

再设 = 为 的k阶渐进分数(即), = 的第t个k阶中间渐近分数(简称,又名,参见连分数#半收敛),其中

习惯上认为中间分数不包括渐近分数,因此,上述记号中一般要求 t < a k ,   t N {\displaystyle t<a_{k},\ t\in \mathbb {N} ^{*}} 为有理数时,它的简单连分数展开要取最后一位不是1的那个。例如2/3的连分数要写成而不是,故此时=1/2不是2/3的渐近分数。事实上,1/2确实不是2/3的第二类最佳逼近。另外,此论断有一个平凡的例外:若 a k = 1 {\displaystyle a_{k}=1} 的第0个渐近分数并非第二类最佳逼近。

对于问题2,给定正整数 M > 1 {\displaystyle M>1} ( 为半整数时有例外,此时 a 0 + 1 {\displaystyle a_{0}+1}

对于第一类最佳逼近,问题要复杂一些。此时渐近分数当然仍是最佳逼近,但某些中间分数亦是。具体来说,

另一方面,第一类最佳逼近一定是渐近分数或中间分数。为使此论断无例外,需补充定义-1阶渐进分数为1/0,这样可以考虑0阶的中间分数。这里还需要特别注意: 为有理数时,它的简单连分数展开要取最后一位是1的那个。例如2/3的连分数要写成而不是,故此时=1/2是2/3的渐近分数。事实上,1/2确实是2/3的第一类最佳逼近。

总结起来, 的第一类最佳逼近恰有三类:

问题2, 3的结论与上一小节类似。

考虑自然对数底 e=2.718281828459045235……,其连分数表达式为

它的第二类最佳逼近依次是:

它的第一类最佳逼近依次是:

和渐近分数一样,最佳逼近一般也按分母由小到大排列。

又如圆周率 π=3.145926535897……,其连分数表达式为

它的前几个渐近分数如下:

其中的22/7正是约率,而355/113正是密率。按上面的结论,由于292为偶数,且

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

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

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

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

另一个主题是模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 } 时,此比例收敛于我们所“期望”的值。赫尔曼·外尔证明了一个基本结论:均匀分布等价于该序列元素的指数和有上界。这表明丢番图逼近与指数和相消的一般问题密切相关,而后者在解析数论的误差项估计中无处不在。

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

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

相关

  • 塞纳河塞纳河(法语:Seine)是流经巴黎市中心的法国第二大河,全长780公里,流域面积7.8万平方公里。位于巴黎的塞纳河沿岸地区于1991年被联合国教科文组织列为世界文化遗产。塞纳河主流源
  • 牡丹牡丹(学名:Paeonia × suffruticosa)为芍药科芍药属落叶灌木,是起源于中国的一个园艺杂交种,主要亲本为中原牡丹(Paeonia cathayana),其他亲本包括紫斑牡丹(Paeonia rockii)、圆裂牡丹
  • 公子贞公子贞(?-前559年),芈姓,字子囊,是春秋时期楚国的令尹。楚庄王的儿子,楚恭王的兄弟。鄢陵之战以前,子囊不同意和晋国直接作战。前568年,他成为继承叔父子重、子辛的新一代令尹。当时,晋
  • span class=nowrapAgsub2/subSe/span硒化银(化学式:Ag2Se),是银的硒化物,是有金属颜色的晶体,难溶于水。可以用作特殊材料,存在于自然界中。银和硒混合不加热情况下直接化合,氧化银与硒加热生成硒化银,或可溶硒化物与银
  • 花剌子模人民苏维埃共和国花剌子模人民苏维埃共和国(乌兹别克语:Xorazm Xalq Sho'ro Jumhuriyati;俄语:Хорезмская Народная Советская Республика),1920年2月2日建
  • 瓦尔多·菲略瓦尔多·菲略(1964年1月12日-),前巴西职业足球员,巴西国家足球队成员,现为MC阿尔及尔助教。从1987年到1993年,他共为巴西国家足球队出场45次,打进4球。1990年世界杯足球赛代表巴西国
  • 迈克尔·鲍威尔迈克尔·鲍威尔(Michael Latham Powell ,1905年9月30日-1990年2月19日)是一位英国导演,也是英国电影史上最有影响力的导演之一。迈克尔·鲍威尔与匈牙利籍的导演艾默利·普莱斯柏
  • 旭Production株式会社旭Production(日语:株式会社旭プロダクション,英语:Asahi Production Co.,Ltd.)是日本一家位于东京都练马区,专门从事动画的摄影工作的日本动画企业。成立于1973年。旭Pro
  • 弱点:比赛进程弱点:比赛进程(英文:The Blind Side: Evolution of a Game)是迈克尔·刘易斯于2006年出版的一本关于美式橄榄球的书籍。书中主要讲述了两个故事。一个是关于劳伦斯·泰勒(Lawrenc
  • WriterWriter或WRITER可以指: