One kind sixth power mean of the three-term exponential sums

Xiaoying Wang 1  and Xiaoxue Li 1
  • 1 School of Mathematics, Northwest University, Shaanxi, China
Xiaoying Wang and Xiaoxue Li

Abstract

In this paper, we use the estimate for trigonometric sums and the properties of the congruence equations to study the computational problem of one kind sixth power mean of the three-term exponential sums. As a conclusion, we give an exact computational formula for it.

1 Introduction

Let q ≥ 3 be a positive integer, m and n are any integers. Then, the three-term exponential sum C(m, n, k; q) can be defined as follows:
C(m,n,k;q)=a=1q1e(ak+ma2+naq),

where k ≥ 3 is a given integer and e(y) = e2πiy.

Many studies have been concerned with the properties of related exponential sums; we refer the readers to [1]-[10]. A series of interesting results have been obtained. For example, Xiancun Du and Di Han [5] proved the identity that for any integers k ≥ 3, we have
m=1pn=1pa=1p1emak+na2+ap4=2p43p3p2C(k,p),
where the constant C(k, p) is defined as follows:
C(k,p)=a=1p1b=1p1c=1p1ak+bkck+1modpa2+b2c2+1modp1.
Especially, if k = 6, then one has the following identity
m=1pn=1pa=1p1ema6+na2+ap4=2p411p3+16p2,ifp3mod4,2p415p3+36p2,ifp1mod4.
Wenpeng Zhang and Di Han [11] obtained the identity
n=1p1a=0p1ea3+nap6=5p48p3p2,

if prime p > 3 satisfying (3, p − 1) = 1.

Yahui Yu and Wenpeng Zhang [12] considered the sixth power mean of the three-term exponential sums
m=1pn=1pχ mod p|a=1p1χ(a)e(ak+ma2+nap)|6,
and proved the that for any integer k ≥ 3, one has the identity
m=1pn=1pχ mod p|a=1p1χ(a)e(ak+ma2+nap)|6=p2(p1)2(6p221p+19),

where χ be the Dirichlet character mod p.

However, regarding the sixth power mean of the three-term exponential sums:
m=0p1n=0p1|a=1p1e(ak+ma2+nap)|6,

it seems that it has not been studied before or at least we have not found any relevant results. The problem is meaningful for it can reflect the upper bound approximation of C(m, n, k; p). It is easy to find that the mean value (1) is the best possible. Thus we believe that (2) has similar asymptotic properties to (1). In fact, we can use the analytic method and the qualities of the congruence equation to propose an exact computational formula for (2) with a special integer k = 3. That is to say, we shall prove the following identity:

Theorem
Let p > 3 be a prime with (3, p − 1) = 1. Then we have
m=0p1n=0p1|a=1p1e(a3+ma2+nap)|6=p2(5p39p28p+17),ifp=12h+5,p2(5p39p28p+21),ifp=12h+11.

From this theorem we may immediately deduce the following estimate:

Corollary
Let p > 3 be a prime with (3, p − 1)=1. Then for any integers m and n, we have the upper bound estimate
|a=1p1e(a3+ma2+nap)|<516p56.
Let p > 3 be an odd prime. For any fixed integers h ≥ 4 and k > 3 with (k, p − 1) = 1, whether there exist two computational formulae for the mean value
m=0p1n=0p1|a=1p1e(ak+ma2+nap)|6andm=0p1n=0p1|a=1p1e(a3+ma2+nap)|2h

are two open problems, we will further study.

2 Some simple lemmas

In this section, we will put up several simple Lemmas which are necessary to prove the theorem. Hereunder, we will use many properties of trigonometric sums and congruence equation, which can be found in references [6] and [13], so we will not repeat them here. First we have the following:

Lemma 2.1
For any prime p > 3 with (3, p − 1)= 1, we have the computational formula
m=0p1|a=1p1e(ma2+ap)|6=p4+2p322p220p,ifp=12h+5,p4+2p314p28p,ifp=12h+11.
Proof
For any integer n with (n, p) = 1, from [1] or [6] we know that
a=0p1e(na2p)=(np)G(p),
where is (p) the Legendre symbol, G(p)=a=0p1e(a2p)=a=1p1(ap)e(ap) and G2(p)=(1p)p. So from (3) and the properties of the reduced residue system mod p we have the identity
m=0p1|a=1p1e(ma2+ap)|6=m=1p1|a=1p1e(m¯a2+ap)|6+1=m=1p1|a=1p1e(4ma2+4map)|6+1=m=1p1|a=0p1e(m(2a+1)2mp)1|6+1=m=1p1|a=0p1e(ma2mp)1|6+1=m=1p1|(mp)e(mp)G(p)1|6+1=m=1p1(p+1(mp)e(mp)G(p)(mp)e(mp)G(p)¯)3+1=(p+1)3(p1)6(p+1)2p6(1p)(p+1)p+6(p+1)p(p1)2(3p)p26p2+1=p4+2p322p220p,if p=12h+5,p4+2p314p28p,if p=12h+11.

This proves Lemma 2.1.□

Lemma 2.2
For any prime p > 3 with (3, p − 1)= 1, we have the computational formula
a=1p1b=1p1c=1p1d=1p1e=1p1a+b+cd+e+1modpa2+b2+c2d2+e2+1modp1=p34p2+13p17,ifp=12h+5,p34p2+13p21,ifp=12h+11.
Proof
From the trigonometric identity
a=0p1e(nap)=p,if (n,p)=p,0,if (n,p)=1
we have
m=0p1n=0p1|a=1p1e(ma2+nap)|6=a=1p1b=1p1c=1p1d=1p1e=1p1f=1p1m=0p1e(m(a2+b2+c2d2e2f2)p)×n=0p1e(n(a+b+cdef)p)=p2a=1p1b=1p1c=1p1d=1p1e=1p1f=1p1a+b+cd+e+fmodpa2+b2+c2d2+e2+f2modp1=p2a=1p1b=1p1c=1p1d=1p1e=1p1f=1p1a+b+cd+e+1modpa2+b2+c2d2+e2+1modp1=p2(p1)a=1p1b=1p1c=1p1d=1p1e=1p1a+b+cd+e+1modpa2+b2+c2d2+e2+1modp1.
On the other hand, from (3) and Lemma 2.1 we also have
m=0p1n=0p1|a=1p1e(ma2+nap)|6=(p1)6+(p1)+m=1p1|a=1p1e(ma2p)|6+m=1p1n=1p1|a=1p1e(ma2+nap)|6=(p1)6+(p1)+m=1p1|(mp)G(p)1|6+m=1p1n=1p1|a=1p1e(mn¯2a2+ap)|6=(p1)6+(p1)+m=1p1|(mp)G(p)1|6+(p1)m=1p1|a=1p1e(ma2+ap)|6=(p1)6+(p1)+(p+1)3(p1)+6(1+(1p))(p1)p(p+1)+(p1)m=1p1|a=1p1e(ma2+ap)|6=(p1)(p54p4+13p321p2),if p=12h+11,(p1)(p54p4+13p317p2),if p=12h+5.
From (5) and (6) we may immediately deduce
a=1p1b=1p1c=1p1d=1p1e=1p1a+b+cd+e+1modpa2+b2+c2d2+e2+1modp1=p34p2+13p17,ifp=12h+5,p34p2+13p21,ifp=12h+11.

This proves Lemma 2.2.□

3 Proof of the theorem

In this section, we will give the proof of our theorem. Note that (3, p − 1) = 1, from (4) and the properties of reduced residue system mod p we have
m=0p1n=0p1|a=1p1e(a3+ma2+nap)|6=a=1p1b=1p1c=1p1d=1p1e=1p1f=1p1e(a3+b3+c3d3e3f3p)×m=0p1n=0p1e(m(a2+b2+c2d2e2f2)+n(a+b+cdef)p)=a=1p1b=1p1c=1p1d=1p1e=1p1f=1p1e(f3(a3+b3+c3d3e31)p)×m=0p1n=0p1e(mf2(a2+b2+c2d2e21)+nf(a+b+cde1)p)=p2a=1p1b=1p1c=1p1d=1p1e=1p1a+b+cd+e+1modpa2+b2+c2d2+e2+1modpf=1p1e(f(a3+b3+c3d3e31)p)=p3a=1p1b=1p1c=1p1d=1p1e=1p1a+b+cd+e+1modpa2+b2+c2d2+e2+1modpa3+b3+c3d3+e3+1modp1p2a=1p1b=1p1c=1p1d=1p1e=1p1a+b+cd+e+1modpa2+b2+c2d2+e2+1modp1p3Up2V
Now we compute the values of U and V in (7) respectively. It is clear that from Lemma 2.2 we have
V=p34p2+13p17,ifp=12h+5,p34p2+13p21,ifp=12h+11.
To compute the value of U, we note that the identity
(a+b+c)3+2(a3+b3+c3)3(a+b+c)(a2+b2+c2)=6abc,
so the condition
a+b+cd+e+1 mod p,a2+b2+c2d2+e2+1 mod p,a3+b3+c3d3+e3+1 mod p
is equivalent to
a+b+cd+e+1 mod p,a2+b2+c2d2+e2+1 mod p,abcde mod p
or
abc+a+b+c1ab+bc+ca mod p,a+b+cd+e+1 mod p,a2+b2+c2d2+e2+1 mod p
or
(a1)(b1)(c1)0 mod p,a+b+cd+e+1 mod p,a2+b2+c2d2+e2+1 mod p.

For all integers 1 ≤ a, b, c, d, ep − 1, we compute the number of the solutions in (9). We separate the solutions in (9) into three cases:

  1. : a = 1, 2 ≤ b, cp − 1; b = 1, 2 ≤ a, cp − 1; c = 1, 2 ≤ a, bp − 1.
  2. : a = b = 1, 2 ≤ cp − 1; a = c = 1, 2 ≤ bp − 1; b = c = 1, 2 ≤ ap − 1.
  3. : a = b = c = 1.

In the case (C), the equation (9) becomes d + e ≡ 2 mod p and d2 + e2 ≡ 2 mod p, so d = e = 1. That is, in this case, the equation (9) has only one solution (a, b, c, d, e) = (1,1,1,1,1).

In the case (B), if a = b = 1 and 2 ≤ cp − 1, then the equation (9) becomes 2 ≤ cp − 1, d + ec + 1 mod p, d2 + e2c2 + 1 mod p and dec mod p, or (d−1)(e−1)≡ 0 mod p and (d2−1)(e2−1) ≡ 0 mod p, 2 ≤ cp − 1. In this case, the number of the solutions of the congruence equation is 2(p−2). So in the case (B), the number of all solutions of the congruence equation (9) is 3 × 2(p−2) = 6(p−2).

It is clear that the number of the solutions of the congruence equation d + eb + c mod p, d2 + e2b2 + c2 mod p, 1 ≤ b, c, d, ep − 1 is (p−1)(2p−3). In fact, this congruence equation is equivalent to the congruence equation d + eb + 1 mod p, d2 + e2b2 + 1 mod p, 1 ≤ b, c, d, ep − 1. So from (B) we know that the number of the solutions is (p − 1)(2p−3). In the case (A), the congruence equation (9) becomes 2 ≤ b, cp − 1, d + eb + c mod p, d2 + e2b2 + c2 mod p. So from (B) and (C) we know that the number of the solutions of the congruence equation (9) in case (A) is 3 × [(p − 1)(2p − 3)− 4(p − 2) − 1].

Combining three cases (A), (B) and (C), we deduce that the number of all solutions of the equation (9) is
3×[(p1)(2p3)4(p2)1]+6(p2)+1=6p213p+5.
That is, for any prime p with (3, p − 1) = 1, the value of U is
U=a=1p1b=1p1c=1p1d=1p1e=1p1a+b+cd+e+1modpa2+b2+c2d2+e2+1modpa3+b3+c3d3+e3+1modp1=6p213p+5.
Combining (7), (8) and (10) we may immediately deduce the identity
m=0p1n=0p1a=1p1ea3+ma2+nap6=p2(5p39p28p+17), if p=12h+5,p2(5p39p28p+21), if p=12h+11.

This completes the proof of our theorem.

Acknowledgement

The authors would like to thank the referees for their very helpful and detailed comments, which have significantly improved the presentation of this paper.

This work is supported by N. S. F. (11371291), P. N. S. F. (2013JM1017), N. S. B. R. (2016JQ1013) and S. R. P. F. (16JK1373) of P. R. China.

References

  • [1]

    Apostol T. M., An extension of the Lehmers’ picturesque exponential sums, Math. Comp., 1993, 61, 25-28.

  • [2]

    Berndt B. C., On Gaussian sums and other exponential sums with periodic coefficients, Duke Math. J., 1973, 40, 145-156.

  • [3]

    Cochrane T. and Zheng Z., Upper bounds on a two-term exponential sums, Sci. China (Series A), 2001, 44, 1003-1015.

    • Crossref
    • Export Citation
  • [4]

    Cochrane T. and Pinner C., Using Stepanov’s method for exponential sums involving rational functions, J. Number Theory, 2006, 116, 270-292.

    • Crossref
    • Export Citation
  • [5]

    Du X., Han D., On the fourth power mean of the three-term exponential sums, J. NWU, 2013, 43, 541-544.

  • [6]

    Hua L. K., Additive prime number theory, Science Press, Beijing, 1957.

  • [7]

    Schmidt W. M., Equations over finite fields: An elementary approach, Lecture Notes in Mathematics, Springer-Verlag, New York, 1976, 536, pp. 45.

  • [8]

    Wang T., Zhang W., On the hybrid mean value of Dedekind sums and two-term exponential sums, Front. Math. China, 2011, 6, 557-563.

    • Crossref
    • Export Citation
  • [9]

    Weil A., On some exponential sums, Proc. Nat. Acad. Sci. U.S.A., 1948, 34, 204-207.

    • Crossref
    • Export Citation
  • [10]

    Zhang W., On the fourth power mean of the general Kloosterman sums, Indian J. Pure and Applied Mathematics, 2004, 35, 237-242.

  • [11]

    Zhang W., Han D., On the sixth power mean of the two-term exponential sums, J. Number Theory, 2014, 136, 403-413.

    • Crossref
    • Export Citation
  • [12]

    Yu Y., Zhang W., On the sixth power mean value of the generalized three-term exponential sums, Abstr. Appl. Anal., 2014, Article ID 474726, 1-4.

  • [13]

    Apostol T. M., Introduction to Analytic Number Theory, Springer-Verlag, New York, 1976.

If the inline PDF is not rendering correctly, you can download the PDF file here.

  • [1]

    Apostol T. M., An extension of the Lehmers’ picturesque exponential sums, Math. Comp., 1993, 61, 25-28.

  • [2]

    Berndt B. C., On Gaussian sums and other exponential sums with periodic coefficients, Duke Math. J., 1973, 40, 145-156.

  • [3]

    Cochrane T. and Zheng Z., Upper bounds on a two-term exponential sums, Sci. China (Series A), 2001, 44, 1003-1015.

    • Crossref
    • Export Citation
  • [4]

    Cochrane T. and Pinner C., Using Stepanov’s method for exponential sums involving rational functions, J. Number Theory, 2006, 116, 270-292.

    • Crossref
    • Export Citation
  • [5]

    Du X., Han D., On the fourth power mean of the three-term exponential sums, J. NWU, 2013, 43, 541-544.

  • [6]

    Hua L. K., Additive prime number theory, Science Press, Beijing, 1957.

  • [7]

    Schmidt W. M., Equations over finite fields: An elementary approach, Lecture Notes in Mathematics, Springer-Verlag, New York, 1976, 536, pp. 45.

  • [8]

    Wang T., Zhang W., On the hybrid mean value of Dedekind sums and two-term exponential sums, Front. Math. China, 2011, 6, 557-563.

    • Crossref
    • Export Citation
  • [9]

    Weil A., On some exponential sums, Proc. Nat. Acad. Sci. U.S.A., 1948, 34, 204-207.

    • Crossref
    • Export Citation
  • [10]

    Zhang W., On the fourth power mean of the general Kloosterman sums, Indian J. Pure and Applied Mathematics, 2004, 35, 237-242.

  • [11]

    Zhang W., Han D., On the sixth power mean of the two-term exponential sums, J. Number Theory, 2014, 136, 403-413.

    • Crossref
    • Export Citation
  • [12]

    Yu Y., Zhang W., On the sixth power mean value of the generalized three-term exponential sums, Abstr. Appl. Anal., 2014, Article ID 474726, 1-4.

  • [13]

    Apostol T. M., Introduction to Analytic Number Theory, Springer-Verlag, New York, 1976.

OPEN ACCESS

Journal + Issues

Search