一个素变量丢番图问题_数学_自然科学_专业资料.pdfVIP

数 学 年 刊 2017，38A(1)：31-42 DOI：10．16205／j．cnki．eama．2017．0004 一 个 素 变量 丢番 图问题冰 牟 全 武 吕晓东2 提要 设 I。和r是满足 ≥3及r≥ ()+1的正整数，这里当3≤惫≤4时， (惫)=2 ；而 当k≥5时， (％)= 1k(k+1)．假定5和 ￡是给定的足够小的正数， 1，2，… ，r+1是不全同 号且两两之比不全为有理数的非零实数．对于任意实数 叩与 0 呈= ，证明了：存在一个正数 ax l入1p}+ 2p§+··+ rp+入+lpr+1+hi m pA一 + 1 J 有 》 X 一哥 托 组素数解 (pi，p2，… ，P+1)，这里 (5X)素 ≤Pj≤ 专(1≤J≤r)及 ≤P+l≤X．这改进了之前的结果． 关键词 丢番图不等式，Davenport—Heilbronn方法，素数 MR (2000)主题分类 11D75，11P55 中图法分类 O156．4 文献标志码 A 文章编号 1000—8314(2017)01—0031—12 1 引 言 1967年，Baker 证明了：若入1，入2，入3是非零实数，不全同号，并且两两之比不全 为有理数，则对于任意正整数礼，不等式 IAiPl+A2p2+A3P3I(1ogmaxpj) (1．1) 有无穷多组素数解 (P1，P2，p3)．上述结果先后被Ramachandra ，Vaughan ，Lau与Liu ， Baker与Harman ，Harman ，Matom~／ki 改进，他们分别将不等式 (1．1)的右端改进为 exp(一(1ogplP2P3)一)， (maxpj)一南(1ogmaxpj)加， (maxpj)一 ， (maxpj)～i+， (maxpj)一+， (maxpj)一§+， 这里 是任意小的正数．在广义黎曼假设成立的条件下，Baker与Harman 证明了(1．1) 的右端能改进为 (maxpj)一{(1ogmaxpj)． 2011年，李伟平与王天泽 证明了若 1，2，3，4是不全同号的非零实数，并且至 少有一个 (2≤J≤4)是无理数，则对于任意实数卵与任意 0，不等式 Alp1+A2p+ 3p；+A4pi+77I(maxpj)一去+∞ (1．2) 有无限多组素数解 1，P2,P3,p4)．这一结果先后被 Languasco与Zaccagnini 刘志新与 孙海伟 改进，他们分别将 (1．2)右端指数中的一去改进为一去与一去． 2013年，李伟平、王天泽与苏白云研究了一类涉及一个素数与一些素数的k次幂的 加性丢番图不等式，他们证明了下面的定理 (见 [11，引理 2．1】和 1【2，引理 1])． 本文 2015年7月 2日收到，2016年 8月 13日收到修改稿． 西安工程大学理学院，西安 710048．E—mail：muquanwu@163．com 。扬州大学数学科学学院，江苏 扬州 225002．E．mail：xidolv~gmail．com 本文受到陕西省自然科学基础研究计划 (No．2016JM1013)，西安工程大学博士科研启动基金 (No．BS1508) 和西安工程大学基础课程质量提升项 目(高等数学)的资助． 32 数 学 年 刊 38卷 A辑 定理 1．1 设 南和 r是满足 ≥3，r≥2一 +l的正整数， 是一个给定的足够小 的正数， 1，2，… ，+1是不全同号且两两之比不全为有理数的非零实数，则对于任意 实数 叩与任意 ￡0，存在一个正数序列 一+。。，使得