关于经典高斯和及其一个新的恒等式_张文鹏.pdf

西北大学学报（自然科学版）年 月，第 卷第 期，（）收稿日期：基金项目：国家自然科学基金项目（）第一作者：张文鹏，男，陕西礼泉人，教授，博士生导师，从事基础数学的教学与研究，。通信作者：高洁洁，女，陕西佳县人，从事基础数学的研究，。数论 【主持人语】指数和的各种性质研究是解析数论的重要内容之一，其研究工作不仅具有重要的理论意义，同时具有广泛的应用价值！特别是在近代解析数论的发展中，许多重大的数论难题之所以能够取得实质性进展都与指数和的估计密切相关，如素数分布、哥德巴赫问题、孪生素数问题、华林问题、丢番图逼近等内容都是如此。此外，我们也知道，单个指数和的值分布并不规则，没有规律性，因而很难刻画其深刻的内在性质！然而，关于其高次均值或加权均值的计算，通常却能得到精确的恒等式或较强的渐近公式。这一现象对于计算和估计指数和的上界有着十分重要的意义。因此，对于 和、二项指数和以及 和等一些特殊和式的均值问题研究已经成为当下数论研究的热门内容之一！本专题主要针对高斯和、二项指数和、推广的 和、问题等均值的计算问题进行了研究，并给出了一系列新的并且有理论意义的恒等式或渐近公式！通过对这些问题的探索，必将对该领域相关问题的研究起到积极的推动作用。【主持人】张文鹏，西北大学二级教授，博士生导师，西北大学数论及其应用研究中心主任。关于经典高斯和及其一个新的恒等式张文鹏，高洁洁（西北大学 数学学院，陕西 西安）摘要 经典高斯和是一类特征函数与指数函数加权的求和，这类和在数论问题的研究和实际应用中占有重要的位置。该文主要研究了一类特殊高斯和的方幂求和的计算问题。通过利用初等方法、解析方法以及特征和的性质得到了当 为一个奇素数且 时，经典高斯和（）的一类求和的精确计算公式，其中 表示模 的 阶特征。该结果不仅扩充了经典高斯和的研究内容，而且有助于有关方面研究工作的进一步展开。关键词 经典高斯和；初等方法；解析方法；计算公式中图分类号：，（，），（），；设 为整数，表示模 的 特征，对任意整数，经典高斯和（，；）定义为：（，；）（）()，其中（），。特别当 时，记（，；）（）。这一和式在解析数论研究中具有重要的理论意义和应用价值。因此，许多学者研究了高斯和的各种性质，并取得了一系列重要的研究成果。高斯和最基本且最重要的性质之一是它的分离性质。即当 为模 的原特征或者（，）时，有（，；）?（）（）。此外，当 为模 的原特征时，有恒等式 （）。关于高斯和的其他性质也有不少有趣的研究成果。如 等或者 及 中研究了阶特征所对应的高斯和的性质，并证明了如下结论。设 为奇素数且 ，是模的任意 阶特征，则有恒等式（）（?）。（）其中?表示 的共轭特征，并且 是由 且 唯一确定的。等研究了阶特征所对应的高斯和性质，并证明了如下结论。对任意素数 满足 ，有恒等式（）（?）（），（）其中是模 的 阶原特征，（）?()，()表示模 的勒让德符号，?。这里值得指出的是在式（）中常数（）有着特殊的意义。事实上当 时，一定可以表示成两个非零整数的平方和。即（参阅文献 中定理）（）（）?()()?()()，其中 是模 的任意二次非剩余。对模 的 阶原特征的情况进行了讨论，并证明了对任意素数 以及 阶原特征 ，有恒等式（）（?）（），若 ；（），若 ，式中 ，与式（）中的定义相同。纵观以上几个高斯和的结果，其特点是这些原特征的个数均为，即欧拉函数（）（）（）。最近，等研究了 阶特征的情况，证明了对任意素数 及 阶原特征 ，有（）（）（?）（?）（）（）（）（）（），（）其中 和（）的定义与式（）与式（）中相同。由式（）立刻推出恒等式（）（）（?）（?）（）（）（）。因为（）且当 时，模 的 阶原特征的个数也是，即欧拉函数（）。所以我们自然会想到，对应的高斯和是否也存在一个类似于式（）的恒等式，本文的主要目的就是研究这一问题，并利用初等方法以及经典高斯和的性质证明下面的结果。定理 设 是一个奇素数且 ，那么对模 的任意 阶特征，有恒等式（）（）（?）（?）（）?()式中（）的定义与式（）相同，?。注释 本文中的定理虽然给出了 阶特征高斯和的计算公式，但是其结论也有缺陷性，即表达式中含有多项式的二次特征和不能计算出具体西北大学学报（自然科学版）第 卷值。对于其中包含的二次特征和，是否能计算出它的精确值是一个有趣的公开问题！此外，注意到（），所以当 时，模的 阶原特征个数也是。对于 阶特征以及 阶特征（）对应的高斯和，是否也有一个类似于我们定理的计算公式，它是一个有意义的研究课题。建议有兴趣的读者与我们一起考虑！若干引理为了完成定理的证明，需要以下引理。在下文中，将用到初等数论知识以及高斯和性质，这些内容在文献 中有详细的描述，这里不在赘述。引理 设 是一个奇素数，为模 的任意非主特征，则有恒等式（）（）（）（）（）（）式中：()表示模 的勒让德符号。证明 事实上这一结论的一般情况可参阅文献，这里给出这一特殊情况的简单证明。对模 的任一非主特征，由经典高斯和的性质，有（）（）（）（）（?）?（）（）（）()（）（?）?（）?（）()（）（?）?（）()（）（）（?）（?）（）另一方面，对任意整数 且（，），由恒等式()（）()（）()（）（），也有（）（?）?（）（）()（?）?（）()()（）（?）?（）（）()（）?（）（）（?）（?）（）结合式（）和（），有恒等式（?）?（）（）?（）（）（?）（）（）注意到 （）（）?（）（）（?），并在式（）中以?代替 立刻推出（）（）（）（）（）（）。于是证明了引理。引理 设 是一个奇素数且 ，为模 的 阶原特征，则有恒等式（）（）（）（）（）（）（）（?）式中 为模 的 阶原特征。证明 注意到 ，有（），在引理 中取 可得（）（）（）（）（）（）（）（）（）类似也有（?）?（）?（）（?）（?）?（）?（）（）（）（）注意到（）（）?（）?（），结合式（）及（），可得（）（?）（）（）（）（）（）（）|；或者（）（）第 期 张文鹏，等：关于经典高斯和及其一个新的恒等式 （）（）（）（）（）（?）。于是证明了引理。引理 设 是一个奇素数且 ，则有恒等式?()（）（）（）（）（?）（?）（）（?）。证明 由勒让德符号的性质可得?()（）()（）（）（）（）（）?（）（）（）应用高斯和的性质，有（）（）（）（）（）（）（）（）（）（）（）（）()（）（）（）()（）（）（?）（?）（）同理可得?（）（）（）（）（?）（?）（）结合式（），（）及（），可得?()（）（）（?）（?）（）（）（）（）（?）（?）（）（?）。于是证明了引理。定理的证明有了上一节的几个引理，容易完成定理 的证明。事实上（）（?），由式（）可得（）（?）（）（?）（）。（）由式（）及引理 立刻推出（）（）（?）（?）（）（?）?()（）?()。注意到（）（）及（）（?）（），有恒等式（）（）（?）（?）（）?()()。于是完成了定理 的证明。结语本文主要利用经典高斯和的性质研究了一类特殊高斯和方幂和的计算问题，并给出了它们的一个精确计算公式。即证明了如下结论：设 为素数满足 ，为模 的任意 阶特征，那么有恒等式（）（）（?）（?）（）?()。其中（）由式（）给出，()表示勒让德符号。显然这一研究结果是有意义的，它不仅扩充了经典高斯和的研究内容，而且有助于有关方面研究工作的进一步展开！参考文献 ：，：，张文鹏，李海龙 初等数论 西安：陕西师范大学出版社，西北大学学报（自然科学版）第 卷 ，：，：，：，：，：，：，：，（），：，：张文鹏 广义四次高斯和的四次均值 陕西师范大学学报（自然科学版），：（），：，：，：（编 辑 亢小玉）第 期 张文鹏，等：关于经典高斯和及其一个新的恒等式