有限域上的素数定理、Dirichlet定理和最小范数不可约多项式.pdfVIP

论文独创性声明 本论文是我个人在导师指导下进行的研究工作及取得的研究成果。论文中除 了特别加以标注和致谢的地方外，不包含其他人或其它机构已经发表或撰写过的 研究成果。其他同志对本研究的启发和所做的贡献均已在论文中作了明确的声明 并表示了谢意。 作者签名： ．至雄 日期：五则 论文使用授权声明 本人完全了解复旦大学有关保留、使用学位论文的规定，即：学校有权保留 送交论文的复印件，允许论文被查阅和借阅；学校可以公布论文的全部或部分内 容，可以采用影印、缩印或其它复制手段保存论文。保密的论文在解密后遵守此 规定。 作者签名：j澄导师签名： 日期： 引言 §1 引言 在自然数集合中，素数的分布问题是十九、二十世纪数论中一个非常活 跃的研究课题。设7r(z)表示不大于击的素数个数，最初是由Legendre提出 猜想：当z充分大时，7r(z)可近似表示为面丢}6瓦·到了1849年，Gauss通 过大量的计算提出：当$一o。时，7r(z)一譬譬。他们的猜想均可表示为： 当z—oo时，7r(z)一毒；，这就是著名的素数定理。 1859年，黎曼在他那篇划时代的论文中指出了考察素数分布关键在于 研究作为复变量函数的zeta函数。沿着黎曼所设想的路线，1896年，Hardmard 和delaVall6ePoussin分别独立地证明了素数定理，但他们使用了很多调和 分析的方法。与此同时，还有很多人在寻求用初等方法来证明素数定理。直 到20世纪中期，Selberg和ErdSs同时分别用初等方法证明了素数定理。于 是，关于整数环上素数定理的研究就渐渐淡出了人们的视野。 至于算术级数中相关问题的讨论，在1837年，Dirichlet证明了算术级数 中素数个数的无限性，利用素数定理的证明思想，算术级数中的素数分布可 以类似得到。 zeta函数及其推广形式在研究素数定理及各种其它环上的对应定理 过程中起着至关重要的作用，zeta函数的零点分布决定了素数定理中余 项的阶，最好情况就是假定e(s)=∑嘉的所有非平凡零点均落在直线 Re(s)={上，即著名的黎曼猜想成立。 对于算术级数中最小素数的研究，也是数论中～个非常重要的问题。设 o，q为互素的自然数，且 P!a(modg)) P(q，a)=min{p为素数l 假定黎曼猜想成立，可以证明p(q，a)《∞(q)logq)2(见{1】)，在黎曼猜想 和另外一个猜想的帮助下，刘建亚和叶杨波在2005年证明了当q为素数且 了存在C≥1，L≥2，使得p(q，a)《Cq。(见f3】j【4】，【5】)。后来许多研究者给 出了L的具体值，中国数学家王元、潘承洞和陈景润都曾对L值的改进作 出过贡献，目前的最好结果是1992年由Heath-Brown给出的5．5(见【6】)。 就有理整数环中的工作，还应该一提的是，生于澳大利亚的华裔数学家 引言 2 陶哲轩证明了著名的Erdos-Turan猜想：素数序列中有任意长的等差子序 列。他的证明是遍历论、组合数学和调和分析的完美结合。 对于有限域情形，设日是含有q=矿个元素的有限域，其中P为素 数，，为自然数。日M表示系数在晶中的一元多项式环。1986年，Hensley 了有限域上的素数定理和Dirichlet定理(见Isl中定理2．2和定理4．8)，但形 式上与经典情形不太一致，而且要利用一个类似于有限域上黎曼猜想的条 件。至于有限域上最小范数不可约多项式的研究，就作者所知，目前还没有 见到有关的研究结果。 在这篇文章里，我们定义了有限域上的zeta函数和L函数，讨论了它们 的解析性质，并在不假定黎曼猜想的情况下，导出了有限域上的多项式环及 其算术级数中不可约多项式的分布。然后，我们通过一系列的技术性处理， 给出了算术级数中不可约多项式的最小范数的估计。 至于Erdos-Turan猜想在有限域中的平行命题，可以有如下一种表述： 有限域上的不