×

实数的有界代数逼近。 (英语) Zbl 1200.11050号

Dirichlet证明,对于任何实数无理数\(\xi\),存在无限多个有理数\(\frac{p}{q}\),使得\(|\xi-\frac{p}{q}|<\frac{1}{q^2}\)。作者证明了一个结果,该结果改进了以前关于用代数次数\(\leqn,\;n>2\)逼近的情况下的推广的所有估计。
设(mathbf A_n,;n>2)表示次数代数数的集合。设\(alpha\in\mathbf A_n\)和\(H(\alpha)\)的高度,即其最小多项式系数的最大绝对值。1961年,E.Wirsing公司[J.Reine Angew.数学.206,67–77(1961;Zbl 0097.03503号)]假设对于任何实数(xi不在mathbf A_n中)和任何实数\[|\xi-\alpha|\ll H(\alpha)^{-n-1-\varepsilon},\tag{1}\]其中,\(\ll\)表示Vinogradov符号,隐式常数仅取决于\(\xi,n\)和\(\varepsilon\)。稍后,W.M.施密特【丢番图近似。柏林等:斯普林格(1980;Zbl 0421.10019号)]推测了(1)中的最优指数(-n-1)。V.G.斯普林德舒克[Izv.Akad.Nauk SSSR,Ser.Mat.29,379–436(1965年;Zbl 0156.05405号)]表明Wirsing猜想在几乎所有实数中都成立。在[loc.cit.]中,Wirsing证明了对于任何实数(xi不In mathbf A_n)都存在无穷多个代数数(alpha In mathbfA_n\[|\xi-\alpha|\ll H(\alpha)^{-C(n)}\]其中,\(lim_{n\to\infty}(C(n)-n/2)=2\)和隐式常量仅依赖于\(xi\)和\(n\)。1993年,V.I.Bernik和作者在[Dokl.Akad.Nauk Belarusi 37,No.5,9-11(1993;Zbl 0811.11048号)]对于任何实数,都存在无穷多个代数数,因此\[|\xi-\alpha|\ll H(\alpha)^{-B(n)}\]其中,(lim_{n\to\infty}(B(n)-n/2)=3)和隐式常数仅依赖于(xi)和(n)。
在本文中,作者改进了以下定理中关于(n>2)的实际情况的所有先前估计。
设(n)至少是一个整数。那么对于任何实数\(xi \ not \ in \ mathbf A_n\)都存在无穷多个代数数\(alpha \ in \mathbf A _n\),因此\[|\xi-\alpha|\ll H(\alpha)^{-A(n)},\]其中\(A(n)\)是多项式的最大实根\[\开始{split}T(x)=4x^5-(4n+18)x^4+(n^2+11n+30)x^3\\\]如果(n=3,4,5)和\[T(x)=2x^5-(n+12)x^4+(2n+30)x^3+(2n-41)x^2-(3n-29)x+2n-10\]如果\(n>5\)。隐式常量仅依赖于\(\xi\)和\(n\)。
此表给出了一个示例,用于比较\(C(n)、B(n)和\(A(n)\)的一些整数值\(n)。\[\开始{矩阵}n&C(n)&B(n)&A(n)\\3&3.28&3.5&3.73 \\4&3.82&4.12&4.45 \\5&4.35&4.71&5.14 \\10&6.92&7.47&8.06 \\100&51.99&52.92&53.84 \\结束{矩阵}\]

MSC公司:

11月17日 固定字段中的数字近似
11J04型 一个数的齐次逼近
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bernik,V.I。;Tishchenko,K.I.,系数值溢出的积分多项式和Wirsing问题,Dokl。阿卡德。Nauk Belarusi,37,9-11(1993)·Zbl 0811.11048号
[2] 达文波特,H。;施密特,W.M.,用二次有理数逼近实数,学报。,13, 169-176 (1967) ·Zbl 0155.09503号
[3] 达文波特,H。;施密特,W.M.,《线性形式定理》,《阿里斯学报》。,14, 209-223 (1968) ·Zbl 0179.07303号
[4] 达文波特,H。;Schmidt,W.M.,《线性形式定理的补充》,(数论,数论,Colloq.János Bolyai Math.Soc.,Debrecen,1968(1970),北荷兰:北荷兰阿姆斯特丹),15-25·Zbl 0214.30003号
[5] Gelfond,A.O.,《关于某些类超越数的代数独立性》,Uspekhi Mat.Nauk(N.S.),4,5,14-48(1949)·Zbl 0039.04401号
[6] Morrison,J.F.,用有界次数的代数数逼近(p)-adic数,J.数论,10,334-350(1978)·Zbl 0389.10027号
[7] 施密特,W.M.,丢番图近似(1980),施普林格:施普林格柏林,299页·Zbl 0529.10032号
[8] 斯普林德·尤克,V.G.,马勒关于s数集测度猜想的证明,Izv。阿卡德。Nauk SSSR序列。材料,29,2379-436(1965年)·Zbl 0156.05405号
[9] Tishchenko,K.I.,具有高度间隙的线性独立多项式系统和Wirsing问题,Vestsi Akad。Navuk Belarusi Ser.公司。菲兹-Mat.Navuk,4,16-22(1996)·Zbl 0871.11047号
[10] Tishchenko,K.I.,《关于代数数逼近实数》,《阿拉伯学报》。,94,1-24(2000年)·兹比尔1035.11029
[11] Tishchenko,K.I.,关于用有界次数的代数数逼近复数,Dokl。阿卡德。Nauk Belarusi,3,25-28(2000)·Zbl 1177.11061号
[12] Tishchenko,K.I.,关于用代数数逼近(p)-adic数的问题,Vestsi Akad。Navuk Belarusi Ser.公司。菲兹-Mat.Navuk,4129-130(2001)·Zbl 1163.11334号
[13] Vaaler,J.D.,《关于线性形式和丢番图近似》,太平洋数学杂志。,90, 475-482 (1980) ·Zbl 0466.10021号
[14] Wirsing,E.,《代数逼近》,J.Reine Angew。数学。,206, 67-77 (1961) ·Zbl 0097.03503号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。