On the fourth power mean of one special two-term exponential sums

: The main purpose of this paper is using the elementary methods and the number of the solutions of some congruence equations to study the calculating problem of the fourth power mean of one special two-term exponential sums, and give an exact calculating formula for it


Introduction
Let p be an odd prime. For any integers k > h ≥ 1 and integers m and n with (n, p) = 1, the two-term exponential sums S (m, n, k, h; p) is defined as S (m, n, k, h; p) = p−1 a=0 e ma k + na h p , where e(y) = e 2πiy and i 2 = −1. This sum play a very important role in the study of analytic number theory, so many number theorists and scholars had studied the various properties of S (m, n, k, h; p), and obtained a series of meaningful research results. For example, H. Zhang and W. P. Zhang [1] proved that for any odd prime p, one has where n represents any integer with (n, p) = 1.
W. P. Zhang and D. Han [2] used elementary and analytic methods to obtain the identity: where p denotes an odd prime with 3 (p − 1). Recently, W. P. Zhang and Y. Y. Meng [3] studied the sixth power mean of S (m, 1, 3, 1; p), and proved that for any odd prime p, we have the identities where 4p = d 2 + 27 · b 2 , and d is uniquely determined by d ≡ 1 mod 3.
On the other hand, L. Chen and X. Wang [4] studied the fourth power mean of S (m, 1, 4, 1; p), and proved that the identities a + a p is an integer satisfying the following identity (see Theorem 4-11 in [5]): p denotes the Legendre's symbol, r is any quadratic non-residue modulo p and a is the solution of the congruence equation a · x ≡ 1 mod p.
In addition, T. T. Wang and W. P. Zhang [6] gave calculating formulae of the fourth and sixth power mean of S (m, n, 2, 1; p).
From the formulae (1.1)-(1.4), it is not difficult to see that the content of all these papers only involves h = 1 in S (m, n, k, h; p). Through searching literature, we have not found papers dealing with the fourth power mean of the two-term exponential sums S (m, n, k, 2; p) so far. Therefore, when k > h = 2, it is difficult to obtain some ideal results.
In this paper, we use the elementary and analytic methods, and the number of the solutions of some congruence equations to study the calculating problem of the 2k-th power mean: and give an exact calculating formula for S 4 (p) with p ≡ 3 mod 4. That is, we give the following two conclusions: where * p denotes the Legendre's symbol modulo p, and a is the solution of the congruence equation a · x ≡ 1 mod p. Theorem 1.2. Let p be a prime with p ≡ 7 mod 12, then we have the identity

Several lemmas
To complete the proofs of our theorems, we need four simple lemmas. Of course, the proofs of these lemmas need some knowledge of elementary or analytic number theory, all these can be found in references [5] and [7,8], so we do not repeat them here. First, according to W. P. Zhang and J. Y. Hu [9] or B. C. Berndt and R. J. Evans [10], we have the following: Lemma 2.1. Let p be an odd prime with p ≡ 1 mod 3. Then for any third-order character λ modulo p, we have the identity χ(a)e a p denotes the classical Gauss sums, 4p = d 2 + 27 · b 2 , and d is uniquely Related results can also be found in [11][12][13].
Lemma 2.2. Let p be an odd prime, then we have the identities where * p denotes the Legendre's symbol modulo p, and a · a ≡ 1 mod p. Proof. We only prove the second formula in Lemma 2.2. Similarly, we can deduce the first one. It is clear that from the properties of the complete residue system and the Legendre's symbol modulo p we This proves Lemma 2.2.
where d is the same as defined in Lemma 2.1.
(2.5) If 3 (p − 1), then from (2.5) and the properties of the complete residue system modulo p and Lemma 2.2, we have Now Lemma 2.4 follows from (2.6) and (2.7).

Results
In this paper, we prove the following two conclusions: where * p denotes the Legendre's symbol modulo p, and a is the solution of the congruence equation a · x ≡ 1 mod p.
Proof. Now we apply the lemmas to complete the proofs of our theorems. For any integer n, note that the trigonometrical identities From (2.5) and the properties of the reduced residue system modulo p we have, This proves Theorem 3.1. This completes the proof of Theorem 3.2.
From A. Weil's important works [14] and [15] we have the estimate: Combining this estimate and our theorems we can deduce the following: This will await our further study. If p ≡ 3 mod 4, then we can easily deduce the identities

Conclusions
The main results of this paper is to give an exact calculating formula for the fourth power mean of one special two-term exponential sums. That is, Here, we give an example to calculate the exact results of the prime number p satisfying conditions p ≡ 7 mod 12 or p ≡ 11 mod 12 . The exact results of calculation are summarised in Table 1. At the same time, our results also provides some new and effective method for the calculating problem of the fourth power mean of the higher order two-term exponential sums. We have reasons to believe that these works will play a positive role in promoting the study of relevant problems. Furthermore, it is still an open problem for the case of k > h ≥ 3 for S (m, n, k, h; p), interested readers can continue this research.