4个素数平方及若干2的次幂和的丢番图逼近.pdf

数 学 年 刊 2013，34A(5)：599-608 4个 素数平 方 及若干 2的次幂和 的丢番 图逼近 冰 刘 志新 孙 海伟。 提要 证明了在一定条件下，不等式I1}+A2p；+入3p；+入4 +~12ml+…+ 2m +留J叩 关于素数p1，p2，p3，p4和正整数 ml，·一，m 有无穷多解，改进了之前的结果． 关键词 丢番图不等式，圆法，Goldbach型问题 MR (2000)主题分类 l1D75，11P32，11P05，11P55 中图法分类 O156．4 文献标志码 A 文章编号 1000—8314(2013)05—059910 1 引 言 1938年，Hua[l证明了任一充分大的正整数 N三5(mod24)可以表示为 5个素数 的平方和．基于此结果和拉格朗日四平方和定理，研究者提出了一个合理的猜想：任一充 分大的正整数N三4(rood24)可以表示为4个素数的平方和．作为该猜想的有效逼近， 刘建亚等 【]证明了充分大的偶数 Ⅳ可以表示为4个素数平方及有限个2的次幂和的形 式，即 N=P；+p；+p；+ +2”+2”。+…+2． (1．1) 在文 [3】中，刘建亚和廖明哲证明了上式中可取 k=8330．此后，k的值被不断改进 (见 [4—5])． 在丢番图逼近问题中，一些作者研究了形如二元和三元线性 Goldbach的推广问题， 并证明了若干相应的结果，相关结论可见文 [6～11]．同时，有关作者也研究了含2的次幂 型丢番图问题．在文 [12]中，Parsell解决了含两个素数及2的次幂和的丢番图问题；近 来他的结果被 Languasco—Zaccagnini[】所改进． 在本文中，我们将研究如下结构的丢番图问题： 1p+A2P22+A3p；+ 4p+ 12 +…+ 。2s， 其中Pl，P2，P3，P4是素数，ml，… ，m 是正整数，系数 1，A2，入3，4和 1，… ， 是满足 适当条件的正实数．此问题可看作为二次Waring-Goldbach问题及 Goldbach-Linnik问题 的演变．显然， (1．1)的结果对应着上述问题在 入1= 2= 3= = 1=… ： 。：1 时的情形． 定理1．1设A1，2，3和 4是符号不全相同的非零实数，且比值砉(i≠J)中至少 有一个是无理数．设Jcz1，…，是非零实数，鲁(i∈{1，2，3，4))为有理数，并用丑ql表示 本文 2011年 11月22日收到． 天津大学理学院数学系，天津 300072．E-maihzhixinliu@tju．edu．CYI 山东大学 (威海)数学与统计学院，山东 威海 264209．E—ITIail：sunhaiwei08@mail．sdu．edu．cn 本文受到教育部博士点基金 (No．20120131120075)的资助． 600 数 学 年 刊 34卷A辑 其既约形式．设 叩为一足够小的正常数，满足 叩mn(il，lI，I筹}，I1)． 最后令 l。g(2丁19(q1，q2，q3jq4，￡)(壹 )一log((Sx2／—7一￡) {研) so：4+[— ———— 广———一 ]，(L2) 其中 ￡0表示任意小的常数， C(q1，q2，q3，q4，￡)=(1+~)0og。2+D．6(口1))(1og。2+D．G(q2)){ ×(1og。2+D．6(g3))(1og。2+D．G())， (1．3) 其中D6536361512，并且 6(扎)=II ． P) 则对任意实数 和整数 8s0，不等式 l1p；+ 2p；+A3p；+4pi+#12 +…+ 2 +刃l叩