一些超越数lévy常数-some exceeding number l é vy constants.docxVIP

1绪论数论包含超越数论与连分数理论这两个重要的组成部分，它们都与丢番图逼近论有很 大的联系，是历史悠久的数学分支.代数几何和交换代数等学科的新技术的出现，使一些 新的超越方法应运而生，这些超越方法在计算机理论科学中有相当大的应用价值.连分数理论在今天的数学中起到重要的作用，它在调和分析和丢番图逼近的研究中是 一个强大的技术工具.连分数与级数递归和概率论也紧密相关，正是由于这种重要的价值， 才使得连分数的地位逐渐上升.在这一章里，主要介绍连分数的背景知识、关于 Lévy 常数的研究进程以及得到的主 要结果.1.1连分数的背景知识连分数的思想起源于 16 世纪，虽然连分数的出现没有产生重大的效应，但连分数理 论经过无数风雨，默默地走过了几百年的时空，仍能成长为数论的一个重要分支.在印度数学家 Aryabhata 的著作中最先阐述了连分数的相关知识.而用连分数来首次 逼近无理数的是 Rafael Bombelli，1572 年，他用连分数逼近了 13 ，此后，连分数进入 了快速的发展时期.很多重量级人物如 Euler, Lagrange, Gauss 都为连分数的高速发展做出了卓越的贡献.1873 年，Gauss 利用连分数证明了 Fermat 猜想，并得到了超几何级数之比可以用连分数展开；Liouville 用连分数展开式证明了不是代数数的存在性.到了 20 世纪初 期，连分数的应用出现在其他学科领域，如可以用连分数这一技术工具来研究混沌理论.60 年代以来，分支思想与连分数的结合是连分数应用的一个新标志，出现了多元分支式插值 与逼近，这引起各国学者的大量关注.1980 年后，连分数理论不断充实并应用于工程技术， 如 I.J.Good 将连分数理论应用于控制领域，解决了传递函数的拉普拉斯变换问题.虽然连 分数是一个传统的理论，但是连分数插值逼近实在是一种新的非线性数值计算工具，已经 在大部分工程领域得到了应用，并取得了一些重要的成果.连分数在现代数学中起的作用是今非昔比的，利用连分数展开式，经济问题也能被转 化为数学问题从而得到解决.在计算机的应用中，连分数用来刻画各种复杂函数的近似， 并且在计算机编码之后能生成对科学和实际应用都有意义的结果.对于连分数中的部分商，可以将它与超越数联系起来，用 Lévy 常数来进一步刻化部分商的性质，并通过某种技术工具来研究超越数与 Lévy 常数的关系.本文就是用觭夹 行列式估算了超越数的 Lévy 常数.有关更多的连分数的背景知识及其应用请见参考文献[22，27，34].1.2几类数的 Lévy 常数研究进程如果 qm (α ) 表示数 α 的正则连分数展开式的第 m 个渐近分数的分母，极限 lim 1 q(α ) 存在且其值等于 β (α ) ，那么就说数α 有 Lévy 常数 β (α ) .在二十世纪三十年m→∞ m m代，关于 Lévy 常数这方面的研究，A. Ya. Khintchine[25]和 P. Lévy[26]就做了大量的工作， 并得到了一些经典结果，那就是几乎每一个实数都有 Lévy 常数，并且 Lévy 常数的值为π 2 (12 log 2) .如果设数α 的连分数展开式为[0,1-,…,1] ，那么就有 pm = pm?1 + pm?2 ，qm = qm?1 + qm?2 .m{ n }另外，假设序列 Fn≥1为斐波那契数列，那么就有 F1 = 1 ，F2 = 1与 Fn = Fn?1 + Fn?2 .又因为p0 = 0 ，p1 = 1，q0 = 1，q1 = 1 ，那么通过递推计算可归纳出等式 qm = Fm+1 与等式 pm = qm?1 .所以就可以得到[0,1-,…,1] =m次当 m →∞ 时，就可以得到如下不等式：Fm Fm+1q (α ) ≥ F1 ? 1+～m+25 ?mm+15 ?2?两边同取对数可得log q(α ) ≥ log 1??? 1+5 ?+ (m + 2) logm5?2???两边同时乘以1 m ，并取极限可得 Lévy 常数满足不等式 β (α ) ≥ log ((1+5 ) 2).1988 年，H. Jager 和 P. Liardet[23]证明了任意一个二次无理数都有一个 Lévy 常?数.1997 年，C. Faivre[15,16]证明了对区间 ??log ((1+5 ) 2), +∞) 内的每一个值 γ ，都有一个无理数α ，使得α 的 Lévy 常数的值为 γ .1999 年至 2003 年，E. P. Golubeva[17,18,19]先后研究了二次无理数的 Lévy 常数及 Lévy 常数与二次域和二元二次型的联系.2006 年，?J. Wu[35,36]证明了二次无