Citation: Jin Zhang, Wenpeng Zhang. A certain two-term exponential sum and its fourth power means[J]. AIMS Mathematics, 2020, 5(6): 7500-7509. doi: 10.3934/math.2020480
[1] | Wenpeng Zhang, Yuanyuan Meng . On the fourth power mean of one special two-term exponential sums. AIMS Mathematics, 2023, 8(4): 8650-8660. doi: 10.3934/math.2023434 |
[2] | Jinmin Yu, Renjie Yuan, Tingting Wang . The fourth power mean value of one kind two-term exponential sums. AIMS Mathematics, 2022, 7(9): 17045-17060. doi: 10.3934/math.2022937 |
[3] | Yan Zhao, Wenpeng Zhang, Xingxing Lv . A certain new Gauss sum and its fourth power mean. AIMS Mathematics, 2020, 5(5): 5004-5011. doi: 10.3934/math.2020321 |
[4] | Wenpeng Zhang, Yuanyuan Meng . On the sixth power mean of one kind two-term exponential sums weighted by Legendre's symbol modulo $ p $. AIMS Mathematics, 2021, 6(7): 6961-6974. doi: 10.3934/math.2021408 |
[5] | Xue Han, Tingting Wang . The hybrid power mean of the generalized Gauss sums and the generalized two-term exponential sums. AIMS Mathematics, 2024, 9(2): 3722-3739. doi: 10.3934/math.2024183 |
[6] | Junfeng Cui, Li Wang . The generalized Kloosterman's sums and its fourth power mean. AIMS Mathematics, 2023, 8(11): 26590-26599. doi: 10.3934/math.20231359 |
[7] | Wenpeng Zhang, Jiafan Zhang . The hybrid power mean of some special character sums of polynomials and two-term exponential sums modulo $ p $. AIMS Mathematics, 2021, 6(10): 10989-11004. doi: 10.3934/math.2021638 |
[8] | Shujie Zhou, Li Chen . On the sixth power mean values of a generalized two-term exponential sums. AIMS Mathematics, 2023, 8(11): 28105-28119. doi: 10.3934/math.20231438 |
[9] | He Yanqin, Zhu Chaoxi, Chen Zhuoyu . A sum analogous to Kloosterman sum and its fourth power mean. AIMS Mathematics, 2020, 5(3): 2569-2576. doi: 10.3934/math.2020168 |
[10] | Xiaoxue Li, Wenpeng Zhang . A note on the hybrid power mean involving the cubic Gauss sums and Kloosterman sums. AIMS Mathematics, 2022, 7(9): 16102-16111. doi: 10.3934/math.2022881 |
Let q≥3 be a fixed integer. For any integers k≥2 and m with (m,q)=1, we define the two-term exponential sums G(m,k;q) as
G(m,k;q)=q−1∑a=0e(mak+aq), |
where as usual, e(y)=e2πiy and i2=−1.
This sum play a very important role in the study of analytic number theory, many number theory problems are closely related to it. Such is the case with the famous Waring problem. Therefore, it is necessary to study the various properties of G(m,k;q), in order to promote the development of research work in related fields. The work in this area mainly includes two aspects, one is the upper bound estimate of the exponential sum, the other is the mean value of the exponential sum. In fact, a great deal of work has been done in this field and a series of meaningful research results have been obtained, we do not want to enumerate here, interested readers can refer to references [5,6,7,8,9,10,11,12,13,14,15].
For example, H. Zhang and W. P. Zhang [5] proved that for any odd prime p, one has the identity
p−1∑m=1|p−1∑a=0 e(ma3+nap)|4={2p3−p2if ∤p−1$,2p3−7p2if |p−1$, |
where n represents any integer with (n,p)=1.
W. P. Zhang and D. Han [6] obtained the identity
p−1∑a=1|p−1∑n=0e(n3+anp)|6=5p4−8p3−p2, |
where p denotes an odd prime with 3∤(p−1).
X. Y. Liu and W. P. Zhang [8] proved that for any prime p with 3∤(p−1), one has the identity
∑χmodpp−1∑m=0|p−1∑a=1χ(a)e(ma3+ap)|6=p(p−1)(6p3−28p2+39p+5), |
where ∑χmodp denotes the summation over all Dirichlet characters modulo p.
In this paper, we will use the properties of Legendre's symbol and the classical Gauss sums to prove the following main result:
Theorem. Let p>3 be a prime, then we have the identity
p−1∑m=1(mp)|p−1∑a=0e(ma3+ap)|4={p2(δ−3),if p≡1mod6;p2(δ+3),if p≡−1mod6, |
where as usual, (∗p) denotes the Legendre's symbol modulo p, d⋅¯d≡1modp, δ=p−1∑d=1(d−1+¯dp) is an integer which satisfies the estimate |δ|≤2√p.
From this theorem and H. Zhang and W. P. Zhang [5] we may immediately deduce the following three corollaries:
Corollary 1. Let p>3 be a prime, then we have the identity
p−1∑m=1|p−1∑a=0e(m2⋅a3+ap)|4={2p3+p2(δ−10),if p≡1mod6;2p3+p2(δ+2),if p≡−1mod6. |
Corollary 2. Let p>3 be a prime, n be any quadratic non-residue modulo p. Then we have the identity
p−1∑m=1|p−1∑a=0e(n⋅m2⋅a3+ap)|4=2p3−p2(δ+4). |
Corollary 3. Let p>3 be a prime. Then for any integer n with (n,p)=1, we have the asymptotic formula
p−1∑m=1|p−1∑a=0e(n⋅m2⋅a3+ap)|4=2p3+O(p52). |
Some notes: From our theorem and A. Weil's work [15] we can also deduce the following nontrivial estimate:
|p−1∑m=1(mp)|p−1∑a=0e(ma3+ap)|4|=O(p52). |
Obviously, this estimate saves p12 compared to the trivial estimate p3, and may be used in some analytic number theory problems.
In addition, the distribution of exponential sums is very irregular, so it should be meaningful to study their power means and obtain an accurate calculation formula.
It is interesting to ask whether a formula analogous to our theorem can be obtained for the general 2h-th power means
p−1∑m=1(mp)|p−1∑a=0e(ma3+ap)|2h, where h≥3. |
This is an open problem. We hope that interested readers will join us in considering this problem.
In this section, we will give some basic lemmas. Of course, the proofs of these lemmas need some knowledge of elementary and analytic number theory. They can be found in references [1,2,3,4], and we do not repeat them. At the beginning, we are going to introduce the definition of the classical Gauss sums τ(χ) as follows: For any integer q>1, let χ denotes any Dirichlet character modulo q, then the classical Gauss sums τ(χ) is defined as
τ(χ)=q∑a=1χ(a)e(aq), |
where e(y)=e2πiy. Based on this definition and its properties:
q∑a=1χ(a)e(maq)=¯χ(m)⋅τ(χ), |
providing (m,q)=1 or χ is a primitive character modulo q, we have the following:
Lemma 1. If p>3 be an odd prime, then we have the identity
p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2=−(−3p)⋅p, |
where (∗p)=χ2 denotes the Legendre symbol modp.
Proof. Note that χ32=χ2 and τ2(χ2)=χ2(−1)⋅p, from the definition and properties of the Gauss sums and reduced residue system modulo p we have
p−1∑m=1χ2(m)(p−1∑a=0e(ma3+ap))2=p−1∑m=1χ2(m)p−1∑a=0e(ma3+ap)(1+p−1∑b=1e(mb3+bp))=p−1∑m=1χ2(m)p−1∑a=0e(ma3+ap)+p−1∑m=1χ2(m)p−1∑a=0p−1∑b=1e(ma3+mb3+a+bp)=τ(χ2)p−1∑a=1χ2(a)e(ap)+τ(χ2)p−1∑a=0p−1∑b=1χ2(a3+b3)e(a+bp)=τ(χ2)p−1∑a=1χ2(a)e(ap)+τ(χ2)p−1∑a=0χ2(a3+1)p−1∑b=1χ2(b)e(b(a+1)p)=τ2(χ2)+τ2(χ2)⋅p−1∑a=0χ2(a3+1)χ2(a+1)=χ2(−1)⋅p+χ2(−1)⋅p⋅p−2∑a=0χ2(a2−a+1)=χ2(−1)⋅p+χ2(−1)⋅p⋅p−2∑a=0((2a−1)2+3p)=χ2(−1)⋅p−(−3p)⋅p+χ2(−1)⋅p⋅p−1∑b=0(b2+3p). | (2.1) |
Note that for any odd prime p, we have the identity
p−1∑a=0(a2+np)=(np)+p−1∑a=1(1+(ap))(a+np)=p−1∑a=0(a+np)+p−1∑a=1(a(a+n)p)=p−1∑a=1(1+n⋅¯a)p)=p−1∑a=1(1+nap)={p−1if p∣n,−1if p∤n. | (2.2) |
From (2.1) and (2.2) we have
p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2=−(−3p)⋅p. |
This proves Lemma 1.
Lemma 2. Let p>3 be an odd prime, then we have the identity
p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=0e(−mb3−bp))=(−1p)⋅p2+(−6p)⋅p2⋅p−1∑a=0a3+2≡0modp(a+2p). |
Proof. From Lemma 1 and its proving methods we have
p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=0e(−mb3−bp))=p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(1+p−1∑b=1e(−mb3−bp))=−(−3p)⋅p+p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=1e(−mb3−bp))=−χ2(−3)⋅p+χ2(−1)⋅p⋅p−1∑a=0p−1∑b=0(a3+b3−1p)(a+b−1p). | (2.3) |
Let c=b−1, if b pass through a complete residue system modp, then c also passes a complete residue system modp, from (2.2), (2.3) and the properties of the complete residue system modp we have
p−1∑a=0p−1∑b=0(a3+b3−1p)(a+b−1p)=p−1∑a=0p−1∑c=0(a3+(c+1)3−1p)(a+cp)=p−1∑a=0p−1∑c=1(a3c3+c3+3c2+3cp)(ac+cp)+p−1∑a=1(a4p)=(p−1)+p−1∑a=0(a+1p)p−1∑c=1(a3+1+3¯c+3¯c2p)=(p−1)−p−1∑a=0((a3+1)(a+1)p)+p−1∑a=0(a+1p)p−1∑c=0(3c2+3c+a3+1p)=(p−1)−p−2∑a=0(a2−a+1p)+p−1∑a=0(a+1p)p−1∑c=0(3(2c+1)2+4a3+1p)=p−1+(3p)−p−1∑a=0((2a−1)2+3p)+p−1∑a=0(a+1p)p−1∑c=0(3c2+4a3+1p)=p+(3p)+(3p)pp−1∑a=04a3+1≡0modp(a+1p)−(3p)p−1∑a=0(a+1p)=p+(3p)+(3p)⋅p⋅p−1∑a=0¯2⋅a3+1≡0modp(¯2a+1p)=p+(3p)+(3p)⋅p⋅p−1∑a=0a3+2≡0modp(a+2p)(2p)=p+(3p)+(6p)⋅p⋅p−1∑a=0a3+2≡0modp(a+2p). | (2.4) |
Combining (2.3) and (2.4) we have the identity
p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=0e(−mb3−bp))=(−1p)⋅p2+(−6p)⋅p2⋅p−1∑a=0a3+2≡0modp(a+2p). |
This proves Lemma 2.
Lemma 3. If p>3 is an odd prime, then we have
p−1∑a=0p−1∑b=0p−1∑c=0(a3+b3−c3−1p)(a+b−c−1p)=(−1p)⋅p⋅p−1∑d=1(d−1+¯dp)−p−3(3p)⋅p−(6p)⋅p⋅p−1∑d=1d3+2≡0modp(d+2p). |
Proof. Let d=a−1, e=b−c. Then from the properties of the complete residue system modulo p we have
p−1∑a=0p−1∑b=0p−1∑c=0(a3+b3−c3−1p)(a+b−c−1p)=p−1∑d=0p−1∑e=0p−1∑c=0((d+1)3+(e+c)3−c3−1p)(d+ep)=p−1∑d=0p−1∑e=0p−1∑c=0(d3+3d2+3d+e3+3e2c+3ec2p)(d+ep)=p−1∑d=0p−1∑e=1p−1∑c=0(d3+3d2e+3de2+1+3ec+3e2c2p)(d+1p)+pp−1∑d=1(d2+3d+3p). | (2.5) |
If c pass through a complete residue system mod p, then 2ce+1 also passes a complete residue system modp, so from (2.2) and (2.5) we have
p−1∑a=0p−1∑b=0p−1∑c=0(a3+b3−c3−1p)(a+b−c−1p)=p−1∑d=0p−1∑e=1p−1∑c=0(3(2ce+1)2+1+4d3+12d2e+12de2p)(d+1p)+pp−1∑d=0((2d+3)2+3p)−(3p)p=p−1∑d=0p−1∑e=1p−1∑c=0(3c2+1+4d3+12d2e+12de2p)(d+1p)+pp−1∑d=0(d2+3p)−(3p)p=(3p)pp−1∑d=0p−1∑e=112de2+12d2e+4d3+1≡0modp(d+1p)−(3p)p−1∑d=0p−1∑e=1(d+1p)−p−(3p)p=(3p)pp−1∑d=1p−1∑e=13d2(2e+d)2+d4+d≡0modp(d+1p)−p−(3p)p=(3p)pp−1∑d=1p−1∑e=03e2+d4+d≡0modp(d+1p)−(3p)pp−1∑d=18d3+2≡0modp(d+1p)−p−(3p)p=(3p)pp−1∑d=1(1+(−3(d4+d)p))(d+1p)−p−(3p)p−(3p)pp−1∑d=1(2d)3+2≡0modp(2d+2p)(2p)=pp−1∑d=1(−d4−dp)(d+1p)−p−2(3p)p−(6p)pp−1∑d=1d3+2≡0modp(d+2p)=(−1p)pp−2∑d=1(dp)(d2−d+1p)−p−2(3p)p−(6p)pp−1∑d=1d3+2≡0modp(d+2p)=(−1p)pp−1∑d=1(d−1+¯dp)−p−3(3p)p−(6p)pp−1∑d=1d3+2≡0modp(d+2p). |
This proves Lemma 3.
Applying the basic lemmas of the previous section, we can easily complete the proof of our theorem. Our proof idea is to decompose the proof process of the theorem into the form of lemmas, and then apply Lemma 2 and Lemma 3 directly. In fact for any prime p>3, note that τ2(χ2)=χ2(−1)⋅p and the identity
p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=0e(−mb3−bp))(p−1∑c=1e(−mc3−cp))=p−1∑a=0p−1∑b=0p−1∑c=0p−1∑d=1p−1∑m=1(mp)e(m(a3+b3−c3−d3)+a+b−c−dp)=τ(χ2)p−1∑a=0p−1∑b=0p−1∑c=0p−1∑d=1(a3+b3−c3−d3p)e(a+b−c−dp)=τ(χ2)p−1∑a=0p−1∑b=0p−1∑c=0(a3+b3−c3−1p)p−1∑d=1(dp)e(d(a+b−c−1)p)=τ2(χ2)p−1∑a=0p−1∑b=0p−1∑c=0(a3+b3−c3−1p)(a+b−c−1p)=(−1p)⋅p⋅p−1∑a=0p−1∑b=0p−1∑c=0(a3+b3−c3−1p)(a+b−c−1p), | (3.1) |
from (3.1), Lemma 2 and Lemma 3 we have
p−1∑m=1(mp)|p−1∑a=0e(ma3+ap)|4=p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=0e(−mb3−bp))(1+p−1∑b=1e(−mb3−bp))=p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=0e(−mb3−bp))+p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=0e(−mb3−bp))(p−1∑b=1e(−mb3−bp))=p−1∑m=1(mp)(p−1∑a=0e(ma3+ap))2(p−1∑b=0e(−mb3−bp))+p(−1p)p−1∑a=0p−1∑b=0p−1∑c=0(a3+b3−c3−1p)(a+b−c−1p)=(−1p)p2+(−6p)p2p−1∑a=0a3+2≡0modp(a+2p)+p2p−1∑d=1(d−1+¯dp)−(−1p)p2−3(−3p)p2−(−6p)p2p−1∑d=1d3+2≡0modp(d+2p)=p2⋅p−1∑d=1(d−1+¯dp)−3(−3p)⋅p2. | (3.2) |
Note that (−3p)=1, if p≡1mod6; And (−3p)=−1, if p≡−1mod6. From (3.2) we may immediately deduce our theorem.
In this article, we obtained an identity for the fourth power mean of a certain two-term exponential sum with the weight of the Legendre's symbol modulo p. This result is the further promotion and extension of [5,6], and it is new contribution in the related fields.
The authors would like to express their heartfelt thanks to the reviewers for their valuable comments and suggestions. In particular, the calculation errors are pointed out, which makes this paper further improved and perfected.
This work is supported by the N. S.F. (11771351) of P. R. China and Sci-Tech Program of Xi'an (Grant No. 2020KJWL08) of P. R. China.
The authors declare that there are no conflicts of interest regarding the publication of this paper.
[1] | T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, New York, 1976. |
[2] | W. P. Zhang, H. L. Li, Elementary Number Theory, Shaanxi Normal University Press, Xi'an, 2013. |
[3] | W. Narkiewicz, Classical Problems in Number Theory, Polish Scientifc Publishers, WARSZAWA, 1986. |
[4] | K. Ireland, M. Rosen, A classical introduction to modern number theory, Springer-Verlag, New York, 1982. |
[5] | H. Zhang, W. P. Zhang, The fourth power mean of two-term exponential sums and its application, Mathematical Reports, 19 (2017), 75-81. |
[6] | W. P. Zhang, D. Han, On the sixth power mean of the two-term exponential sums, J. Number Theory, 136 (2014), 403-413. |
[7] | D. Han, A Hybrid mean value involving two-term exponential sums and polynomial character sums, Czechoslovak Mathematical J., 64 (2014), 53-62. |
[8] | X. Y. Liu, W. P. Zhang, On the high-power mean of the generalized Gauss sums and Kloosterman sums, Mathematics, 7 (2019), 907. |
[9] | X. X. Li, J. Y. Hu, The hybrid power mean quartic Gauss sums and Kloosterman sums, Open Math., 15 (2017), 151-156. |
[10] | L. Chen, Z. Y. Chen, Some new hybrid power mean formulae of trigonometric sums, Advances Differences Equation, (2020) 2020: 220. |
[11] | L. Chen, J. Y. Hu, A linear Recurrence Formula Involving Cubic Gauss Sums and Kloosterman Sums, Acta Mathematica Sinica (Chinese Series), 61 (2018), 67-72. |
[12] | S. Chowla, J. Cowles, M. Cowles, On the number of zeros of diagonal cubic forms, J. Number Theory, 9 (1977), 502-506. |
[13] | W. P. Zhang, J. Y. Hu, The number of solutions of the diagonal cubic congruence equation mod p, Mathematical Reports, 20 (2018), 70-76. |
[14] | A. Weil, Basic number theory, Springer-Verlag, New York, 1974 |
[15] | A. Weil, On some exponential sums, Proc. Nat. Acad. Sci. U.S.A., 34 (1948), 203-210. |
1. | Jingzhe Wang, Tingting Wang, On the Hybrid Fourth Power Mean Involving Legendre’s Symbol and One Kind Two-Term Exponential Sums, 2021, 2021, 2314-4785, 1, 10.1155/2021/5560902 | |
2. | Xiaoxue Li, Li Chen, Tingting Wang, One-Kind Hybrid Power Means of the Two-Term Exponential Sums and Quartic Gauss Sums, 2021, 2021, 2314-4785, 1, 10.1155/2021/6673594 | |
3. | Wenpeng Zhang, Yuanyuan Meng, On the sixth power mean of one kind two-term exponential sums weighted by Legendre's symbol modulo p, 2021, 6, 2473-6988, 6961, 10.3934/math.2021408 | |
4. | Wen Peng Zhang, Yuan Yuan Meng, On the Sixth Power Mean of the Two-term Exponential Sums, 2022, 38, 1439-8516, 510, 10.1007/s10114-022-0541-8 | |
5. | Dewang Cui, Wenpeng Zhang, Generalized quadratic Gauss sums and their 2mth power mean, 2024, 22, 2391-5455, 10.1515/math-2024-0074 | |
6. | Guohui Chen, Wenpeng Zhang, One kind two-term exponential sums weighted by third-order character, 2024, 9, 2473-6988, 9597, 10.3934/math.2024469 | |
7. | Tingting Wang, Wenpeng Zhang, On the eighth power mean of the two-term exponential sums, 2023, 92, 10715797, 102285, 10.1016/j.ffa.2023.102285 | |
8. | Wencong Liu, Shushu Ning, On the generalized exponential sums and their fourth power mean, 2024, 22, 2391-5455, 10.1515/math-2023-0187 | |
9. | Guohui Chen, Tingting Du, The Fourth Hybrid Power Mean Involving the Character Sums and Exponential Sums, 2025, 13, 2227-7390, 1680, 10.3390/math13101680 |