×

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

Dirichlet证明了,对于任何实无理数(xi),存在无穷多个有理数(frac{p}{q}),使得(|xi-\frac{p}}{q{|<frac{1}{q^2})。作者证明了一个结果,它改进了以往关于推广到代数次数逼近情形的所有估计。
设(mathbf A_n,;n>2)表示次数代数数的集合。设\(alpha\in\mathbf A_n\)和\(H(\alpha)\)的高度,即其最小多项式系数的最大绝对值。1961年,E.Wirsing公司[J.Reine Angew.数学.206,67–77(1961;兹比尔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) ·兹比尔0155.09503
[3] 达文波特,H。;施密特,W.M.,《线性形式定理》,《阿里斯学报》。,14, 209-223 (1968) ·兹标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) ·Zbl 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) ·兹伯利0466.10021
[14] Wirsing,E.,《代数逼近》,J.Reine Angew。数学。,206, 67-77 (1961) ·兹比尔0097.03503
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。