The fourth power mean value of one kind two-term exponential sums

Jinmin Yu; Renjie Yuan; Tingting Wang; Jinmin Yu; Renjie Yuan; Tingting Wang

doi:10.3934/math.2022937

AIMS Mathematics

2022, Volume 7, Issue 9: 17045-17060. doi: 10.3934/math.2022937

Previous Article Next Article

Research article

The fourth power mean value of one kind two-term exponential sums

College of Science, Northwest A & F University, Yangling, Shaanxi, China

Received: 28 December 2021 Revised: 30 June 2022 Accepted: 11 July 2022 Published: 20 July 2022
MSC : 11L03, 11L07

In this paper, based on the analytic method and the properties of Gauss sums, we study the computational problems of the fourth power mean value of one kind two-term exponential sums through the classification and estimation of Dirichlet characters and give it a calculation formula or asymptotic formula in different conditions.

Keywords:

Citation: Jinmin Yu, Renjie Yuan, Tingting Wang. The fourth power mean value of one kind two-term exponential sums[J]. AIMS Mathematics, 2022, 7(9): 17045-17060. doi: 10.3934/math.2022937

Related Papers:

[1]	Jin Zhang, Wenpeng Zhang . A certain two-term exponential sum and its fourth power means. AIMS Mathematics, 2020, 5(6): 7500-7509. doi: 10.3934/math.2020480
[2]	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
[3]	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
[4]	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
[5]	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
[6]	Xuan Wang, Li Wang, Guohui Chen . The fourth power mean of the generalized quadratic Gauss sums associated with some Dirichlet characters. AIMS Mathematics, 2024, 9(7): 17774-17783. doi: 10.3934/math.2024864
[7]	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
[8]	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
[9]	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
[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

Abstract

1. Introduction

The mean value calculation and upper bound estimation of exponential sums has always been a classical problem in analytic number theory. Exponential sum method plays an important role in many number theory problems. As a special kind of exponential sum, Gauss sum plays an important role not only in the study of analytic number theory, but also in cryptography. Any substantial progress in this field will play an important role in promoting the development of analytic number theory and cryptography. In this paper, we will estimate and calculate the fourth power mean value of one kind two-term exponential sums.

Let $q \geq 3$ be a positive integer. For any integers $m$ and $n$ , the two-term exponential sums $G(m, n, k, h;q)$ are defined as follows:

$G(m, n, k, h;q) = \sum\limits_{a = 0}^{q-1} e\left(\frac{ma^k+na^h}{q}\right),$

where $e(y) = e^{2\pi i y}$ and $i^2 = -1$ , $k$ and $h$ are both positive integers.

As a special form of exponential sums, we define the $k$ -th Gauss sums $G(m, k;q)$ as follows:

$\begin{eqnarray*} &&G(m, k;q) = \sum\limits_{a = 0}^{q-1}e\left(\frac{ma^k}{q}\right). \nonumber \end{eqnarray*}$

In addition, another form of exponential sums

$\begin{eqnarray*} &&K(m, n;q) = \mathop{\sum\limits_{a = 0}^{q-1}}_{(a, q) = 1}e\left(\frac{ma+n\overline{a}}{q}\right), \nonumber\\ \end{eqnarray*}$

which are the famous Kloosterman sums, and $\overline{a}$ denotes the multiplicative inverse of $a$ mod $q$ , that means $a\overline{a}\equiv 1\bmod q$ .

The calculations of exponential sums are important in number theory, because they are related to many classical mathematical problems, such as Waring's problem. Many scholars have studied the properties of $G(m, n, k, h;q)$ in different forms, and obtained many interesting results, see ^[1,2,3,4]. For example, H. Zhang and W. P. Zhang ^[5] obtained an important result of $G(m, n, 3, 1;p)$ and proved an identity

$\sum\limits_{m = 1}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{ma^3+na}{p}\right)\right|^4 = \left\{ \begin{array}{ll} 2p^3-p^2, & \text{ if} \ 3\nmid p-1 , \\ 2p^3-7p^2, & \text{ if} \ 3\mid p-1 , \end{array}\right.$

where $p$ is an odd prime and gcd ( $n$ , $p$ ) = 1.

Z. Y. Chen and W. P. Zhang ^[6] studied the hybrid mean value of the 4-th Gauss sums and the Kloosterman sums, and obtain the following formula:

$\begin{eqnarray*} \sum\limits_{m = 1}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{ma^4}{p}\right)\right|^2 \cdot \left|\sum\limits_{c = 1}^{p-1}e\left(\frac{mc+\overline{c}}{p}\right)\right|^2 = 3p^3-3p^2+2p^{\frac{3}{2}}\alpha-3p, \end{eqnarray*}$

where $p$ is an odd prime with $p\equiv 5\bmod 8$ .

L. Chen and X. Wang ^[7] studied a kind of two-term exponential sums and obtained the following formula:

$\begin{eqnarray*} && \sum\limits_{m = 1}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{ma^4+a}{p}\right)\right|^{4} = \left\{ \begin{array}{ll} 2p^2(p-2), & \text{ if}~~ p = 12k+7 , \\ 2p^3, & \text{ if}~~\ p = 12k+11 , \\ 2p(p^2-10p-2\alpha^2), & \text{ if}~~ p = 24k+1 , \\ 2p(p^2-4p-2\alpha^2), & \text{ if}~~ p = 24k+5 , \\ 2p(p^2-6p-2\alpha^2), & \text{ if}~~ p = 24k+13 , \\ 2p(p^2-8p-2\alpha^2), & \text{ if } ~~ p = 24k+17 .\\ \end{array}\right.\nonumber\\ \end{eqnarray*}$

More relevant to it, W. P. Zhang and D. Han ^[8] studied a kind of two-term exponential sums and obtained an important result

$\begin{eqnarray*} \sum\limits_{n = 1}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{a^3+na}{p}\right)\right|^6 = 5p^4-8p^3-p^2. \end{eqnarray*}$

The above formula gives the calculation formulae of the sixth mean value of exponential sums in this form when $k = 3$ and $h = 1$ . Inspired by the conclusion, we intended to calculate higher-order forms, such as the case of $k = 4$ and $h = 1$ which are more meaningful. But this form of sixth mean value is too difficult to calculate, and some formulas have not been obtained yet. But yet, we can get a result for the fourth mean value in this condition:

$\begin{eqnarray*} \sum\limits_{m = 0}^{q-1}\left|C(1, m, 4, 1;q)\right|^4 = \sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{a^4+ma}{p}\right)\right|^{4}. \end{eqnarray*}$

The problem in our paper is more complex than the results in ^[7] by L. Chen and X. Wang. First of all, these are two completely different sums, and in this case $m$ is multiplied by $a$ instead of $a^4$ . Secondly, their summation over $m$ can get rid of the fourth power part of the expansion. Finally, the summation over $m$ in this paper can only deal with the first power part in the expansion process, which means that we have to deal with a higher order trigonometric sum and solve a simultaneous congruence equation. We not only give the essential relationship between the solution of the sum and the number of solutions of the system of congruence equations, but also give a concise and good-looking result in this high-dimensional case, this is also the difficulty of this paper.

Regarding this problem, we shall prove the following conclusions:

Theorem 1.1. Let $p$ be a prime with $p\equiv 1\bmod 4$ , then we have the asymptotic formula

$\begin{eqnarray*} && \sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{a^4+ma}{p}\right)\right|^{4} = 2p^3+O(p^{\frac{5}{2}}).\nonumber \end{eqnarray*}$

Theorem 1.2. Let $p > 3$ be a prime with $p\equiv 3\bmod 4$ , then we have the identity

$\begin{eqnarray*} && \sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{a^4+ma}{p}\right)\right|^{4} = \left\{ \begin{array}{ll} 2p^3-3p^2, & { if ~~ p = 12k+7 , } \\ 2p^3+p^2, & { if \ ~ p = 12k+11 .}\\ \end{array}\right.\nonumber \end{eqnarray*}$

Corollary 1.1. Let $p$ be a prime, we have the asymptotic formula

$\begin{eqnarray*} && \sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{a^4+ma}{p}\right)\right|^{4} = 2p^3+O(p^{\frac{5}{2}}).\nonumber \end{eqnarray*}$

Notes. If $p > 3$ , the corollary is obvious according to the theorems, now we declaration the condition $p\leq 3$ .

If $p = 2$ , according to Euler's formula, we have

$\begin{eqnarray*} && \sum\limits_{m = 0}^{1}\left|\sum\limits_{a = 0}^{1}e\left(\frac{a^4+ma}{2}\right)\right|^{4}\nonumber\\ & = &\sum\limits_{m = 0}^{1}\left|1+e\left(\frac{1+m}{2}\right)\right|^{4}\nonumber\\ & = &\left|1+e\left(\frac{1}{2}\right)\right|^{4}+16\nonumber\\ & = &\left|1+cos\pi+isin\pi\right|^{4}+16\nonumber\\ & = &16 = 2p^3. \end{eqnarray*}$

Similarly, if $p = 3$ we can verify the corollary. So the corollary holds for all the primes.

2. Several lemmas

In this section, we shall give six lemmas that are necessary in the proof of our theorems. According to the elementary and analytical methods, we use the properties of Gauss sums and the character sums to obtain the lemmas as follows:

Lemma 2.1. Let $p$ be a prime with $p = 4k+1$ , $\lambda$ be a fourth-order character mod $p$ , then we have the estimation

$\begin{eqnarray*} &&\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(a^4+b^4-(a+b-1)^4-1) = O(p^{\frac{3}{2}}), \end{eqnarray*}$

where $\tau(\lambda) = \sum_{a = 0}^{p-1}\lambda(a)e\left(\frac{a}{p}\right)$ denotes the Gauss sums.

Proof. By using the properties of fourth-order character and complete residue systems, we know that when $a$ and $b$ are integers, and they pass through a complete residue systems, $a-1$ , $ab$ , $ka$ , $kb$ , $a+b$ and $2a+b$ also pass through a complete residue systems, then we have

$\begin{eqnarray*} &&\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(a^4+b^4-(a+b-1)^4-1)\nonumber\\ & = &\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(4(b-1)^3+6(b-1)^2+4(b-1)-4a(b-1)^3-6a^2(b-1)^2-4a^3(b-1))\nonumber\\ & = &\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(4b^3+6b^2+4b-4ab^3-6a^2b^2-4a^3b)\nonumber\\ & = &\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\overline{\lambda}(4b^3+6b^2+4b-4ab^4-6a^2b^4-4a^3b^4)\nonumber\\ & = &\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\overline{\lambda}(b^4)\overline{\lambda}(4\overline{b}+6\overline{b}^2+4\overline{b}^3-4a-6a^2-4a^3).\nonumber \end{eqnarray*}$

For $\lambda$ be a fourth-order character mod $p$ , then $\overline{\lambda}(b^4) = 1$ , so we have

$\begin{eqnarray*} &&\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\overline{\lambda}(4\overline{b}+6\overline{b}^2+4\overline{b}^3-4a-6a^2-4a^3)\nonumber\\ & = &\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(4b^3+6b^2+4b-4a^3-6a^2-4a)-\tau(\lambda)\sum\limits_{a = 0}^{p-1}\overline{\lambda}(-4a^3-6a^2-4a)\nonumber\\ & = &\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(8b^3+12b^2+8b-8a^3-12a^2-8a)+O(p)\nonumber\\ & = &\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}((2b)^3+3(2b)^2+4(2b)-(2a)^3-3(2a)^2-4(2a))+O(p).\nonumber \end{eqnarray*}$

According to the properties of the reduced residue system mod $p$ , we are aware of that if $a$ and $b$ pass through a reduced residue system mod $p$ respectively, obviously, 2 $a$ and 2 $b$ also pass through the same reduced residue system mod $p$ . So, in the formula $((2b)^3+3(2b)^2+4(2b)-(2a)^3-3(2a)^2-4(2a))$ above, we change 2 $b$ into $b$ , 2 $a$ into $a$ , that equals $(b^3+3b^2+4b-a^3-3a^2-4a)$ mod $p$ . Therefore, we can conclude that

$\begin{eqnarray} &&\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}((2b)^3+3(2b)^2+4(2b)-(2a)^3-3(2a)^2-4(2a))+O(p)\\ & = &\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+3b^2+4b-a^3-3a^2-4a)+O(p)\\ & = &\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+3b^2+3b+1+b+1-a^3-3a^2-3a-1-a-1)+O(p)\\ & = &\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}((b+1)^3+(b+1)-(a+1)^3-(a+1))+O(p)\\ & = &\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+b-a^3-a)+O(p)\\ & = &\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+3b^2a+3ba^2+a^3+b+a-a^3-a)+O(p)\\ & = &\tau(\lambda)\lambda(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+3b^2a+3ba^2+b)+O(p)\\ & = &\tau(\lambda)\lambda(8)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+3b(2a+b)^2+4b)+O(p)\\ & = &\tau(\lambda)\overline{\lambda}(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+3ba^2+4b)+O(p). \end{eqnarray}$

(2.1)

Let $\chi_2 = (\frac{*}{p})$ , where $(\frac{*}{p})$ be the Legendre symbol, directly by using of the conclusions in the reference [8, Lemma 1], we have

$\begin{eqnarray} \sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+3ba^2+4b) & = &\frac{\tau(\lambda\chi_{2})}{\tau(\lambda)}\sum\limits_{b = 0}^{p-1}C(1, 0, 2;p)\chi_{2}(3b^4+12b^2)\overline{\lambda}(b^3+4b)\\ & = &\frac{C^2(1, 0, 2;p)}{p}\sum\limits_{a = 1}^{p-1}\overline{\lambda}(a)\chi_{2}(1-a)\sum\limits_{b = 0}^{p-1}\chi_{2}(3b^4+12b^2)\overline{\lambda}(b^3+4b)\\ & = &\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\overline{\lambda}(a)\chi_{2}(1-a)\sum\limits_{b = 0}^{p-1}\chi_{2}(b^2+4)\overline{\lambda}(b^3+4b)\\ & = &\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\overline{\lambda}(a)\chi_{2}(1-a)\sum\limits_{b = 0}^{p-1}\chi_{2}(b^2+4)\overline{\lambda}(b^2+4)\overline{\lambda}(b)\\ & = &\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\overline{\lambda}(a^3-2a^2+a)\sum\limits_{b = 0}^{p-1}\lambda(b^3+4b), \end{eqnarray}$

(2.2)

where

$\begin{eqnarray*} C(1, 0, 2;p) = \sum\limits_{a = 0}^{p-1}e\left(\frac{a^2}{p}\right) = \tau(\chi_{2}). \end{eqnarray*}$

Therefore, we have

$\begin{eqnarray*} &&\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(a^4+b^4-(a+b-1)^4-1)\nonumber\\ & = &\tau(\lambda)\overline{\lambda}(2)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+3ba^2+4b)\nonumber\\ & = &\tau(\lambda)\overline{\lambda}(2)\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\overline{\lambda}(a)\chi_{2}(1-a)\sum\limits_{b = 0}^{p-1}\chi_{2}(b^2+4)\overline{\lambda}(b^3+4b)\nonumber\\ & = &\tau(\lambda)\overline{\lambda}(2)\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\overline{\lambda}(a^3-2a^2+a)\sum\limits_{b = 0}^{p-1}\lambda(b^3+4b). \end{eqnarray*}$

From Weil's classical work ^[9] we know that if $\chi$ is a q-th-order character to the prime modulo $p$ , and if polynomial $f(x)$ is not a perfect q-th power modulo p, then we have the estimate

$\begin{eqnarray*} &&\sum\limits_{x = N+1}^{N+H}\chi(f(x)) = O(\sqrt{p}), \end{eqnarray*}$

where $N$ and $H$ are any positive integers. So from the estimate we have

$\begin{eqnarray} &&\tau(\lambda)\overline{\lambda}(2)\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\overline{\lambda}(a^3-2a^2+a)\sum\limits_{b = 0}^{p-1}\lambda(b^3+4b)\\ & = &O(p^{\frac{3}{2}}). \end{eqnarray}$

(2.3)

Similarly, we also have

$\begin{eqnarray} &&\tau(\overline{\lambda})\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\lambda(a^4+b^4-(a+b-1)^4-1)\\ & = &\tau(\overline{\lambda})\lambda(2)\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\lambda(a^3-2a^2+a)\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+4b)+O(p)\\ & = &O(p^{\frac{3}{2}}). \end{eqnarray}$

(2.4)

This proves Lemma 2.1.

Lemma 2.2. If $p > 3$ is a prime, $\chi_{2}$ denotes the Legendre symbol, then we have the following results:

$\begin{eqnarray*} &&\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(a^4+b^4-(a+b-1)^4-1) = \left\{ \begin{array}{ll} 2\chi_{2}(6)p^{\frac{3}{2}}+O(p), & \text{ if}~~ p = 4k+1 , \\ \sqrt{p}\chi_{2}(4a^3+6a^2+4a), & \text{ if}~~ \ p = 4k+3 .\\ \end{array}\right.\nonumber \end{eqnarray*}$

Proof. From the properties of reduced residue system mod $p$ and Gauss sums, we have

$\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(a^4+b^4-(a+b-1)^4-1)\\ = \sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(4b^3+6b^2+4b-4ab^3-6a^2b^2-4a^3b)\\ = \sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\chi_{2}(4b^3+6b^2+4b-4ab^3-6a^2b^2-4a^3b)\\ = \sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(4b^3+6b^2+4b-4a^3-6a^2-4a)-\chi_{2}(-1)\sqrt{p}\\ \sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a)\\ = \chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(8b^3+12b^2+8b-8a^3-12a^2-8a)-\chi_{2}(-1)\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a)\\ = \chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}((2b)^3+3(2b)^2+4(2b)-(2a)^3-3(2a)^2-4(2a))\\ -\chi_{2}(-1)\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a)\\ = \chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}((b^3+3b^2+4b-a^3-3a^2-4a)-\chi_{2}(-1)\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a)\\ = \chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}((b+1)^3+(b+1)-(a+1)^3-(a+1))-\chi_{2}(-1)\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}\\ (4a^3+6a^2+4a)\\ = \chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(b^3+b-a^3-a)-\chi_{2}(-1)\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a).$

(2.5)

Let $p$ be a prime with $p = 4k+1$ , note that $\chi_{2}(-1) = 1$ , then the formula (2.5) equals to

$\begin{eqnarray} &&\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(a^4+b^4-(a+b-1)^4-1)\\ & = &\chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\chi_{2}(b^3+3ba^2+4b)-\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a)\\ & = &\chi_{2}(2)p^{\frac{3}{2}}\cdot\mathop{\sum\limits_{b = 1}^{p-1}}_{b^3+4b\equiv 0\bmod p}\chi_{2}(3b)-\sum\limits_{b = 1}^{p-1}\chi_{2}(3b)-\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a)\\ & = &\chi_{2}(2)p^{\frac{3}{2}}\cdot\mathop{\sum\limits_{b = 1}^{p-1}}_{b^2+1\equiv 0\bmod p}\chi_{2}(6b)-\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a)\\ & = &2\chi_{2}(6)p^{\frac{3}{2}}-\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a)\\ & = &2\chi_{2}(6)p^{\frac{3}{2}}+O(p). \end{eqnarray}$

(2.6)

On the other hand, let $p > 3$ be an odd prime with $p = 4k+3$ , $\chi_{2}(-1) = -1$ , then we have the identity

$\begin{eqnarray} &&\chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(b^3+b-a^3-a)\\ & = &\chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(-b^3-b+a^3+a)\\ & = &-\chi_{2}(2)\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(b^3+b-a^3-a)\\ & = &0. \end{eqnarray}$

(2.7)

Combining the identities (2.5) and (2.7), for any prime $p > 3$ , if $p = 4k+3$ , we obtain

$\begin{eqnarray} &&\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(a^4+b^4-(a+b-1)^4-1) = \sqrt{p}\chi_{2}(4a^3+6a^2+4a). \end{eqnarray}$

(2.8)

Combining the identities (2.6) and (2.8), for any prime $p > 3$ , we have the following results:

$\begin{eqnarray*} &&\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(a^4+b^4-(a+b-1)^4-1) = \left\{ \begin{array}{ll} 2\chi_{2}(6)p^{\frac{3}{2}}+O(p), & \text{ if }~~ p = 4k+1 , \\ \sqrt{p}\chi_{2}(4a^3+6a^2+4a), & \text{ if}~~ \ p = 4k+3 .\\ \end{array}\right.\nonumber \end{eqnarray*}$

This proves Lemma 2.2.

Lemma 2.3. Let $p > 3$ be a prime with $p = 4k+1$ , $\lambda$ be a fourth-order character mod $p$ and $\chi_{2}$ denotes the Legendre symbol, then we have the asymptotic formula

Proof. Note that $\lambda$ is a fourth-order character mod $p$ , and $\chi_{2}$ denotes the Legendre symbol, so, if $p\equiv 1\bmod 4$ , then from the formulas (2.3) and (2.4) we have

$\begin{eqnarray} &&\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 0}^{p-1}}_{a+b\equiv c+1\bmod p}e\left(\frac{d^{4}(a^4+b^4-c^4-1)}{p}\right)\\ & = &\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 0}^{p-1}}_{a+b\equiv c+1\bmod p}(1+\lambda(d)+\chi_{2}(d)+\overline{\lambda}(d))e\left(\frac{d(a^4+b^4-c^4-1)}{p}\right)\\ & = &p\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^4+b^4\equiv c^4+1\bmod p}}_{a+b\equiv c+1\bmod p}1+\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{d = 0}^{p-1}(\lambda(d)+\chi_{2}(d)+\overline{\lambda}(d))e\left(\frac{d(a^4+b^4-(a+b-1)^4-1)}{p}\right)\\ & = &\tau(\lambda)\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\overline{\lambda}(a^4+b^4-(a+b-1)^4-1)+ \tau(\overline{\lambda})\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\lambda(a^4+b^4-(a+b-1)^4-1)\\ &&+\sqrt{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\chi_{2}(a^4+b^4-(a+b-1)^4-1)+p\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^4+b^4\equiv c^4+1\bmod p}}_{a+b\equiv c+1\bmod p}1\\ & = &2\chi_{2}(6)p^{\frac{3}{2}}+\tau(\lambda)\overline{\lambda}(2)\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\overline{\lambda}(a^3-2a^2+a)\sum\limits_{b = 0}^{p-1}\lambda(b^3+4b)+ p\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^4+b^4\equiv c^4+1\bmod p}}_{a+b\equiv c+1\bmod p}1\\ &&+\tau(\overline{\lambda})\lambda(2)\chi_{2}(-3)\sum\limits_{a = 1}^{p-1}\lambda(a^3-2a^2+a)\sum\limits_{b = 0}^{p-1}\overline{\lambda}(b^3+4b)+O(p)\\ & = &p\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^4+b^4\equiv c^4+1\bmod p}}_{a+b\equiv c+1\bmod p}1+O(p^{\frac{3}{2}}), \end{eqnarray}$

(2.9)

where

$\begin{eqnarray*} &&\sum\limits_{d = 0}^{p-1}e\left(\frac{md^4}{p}\right) = \sum\limits_{d = 0}^{p-1}(1+\chi_2(d))e\left(\frac{md^2}{p}\right) = \sum\limits_{d = 0}^{p-1}e\left(\frac{md^2}{p}\right) = \sum\limits_{d = 0}^{p-1}(1+\chi_2(d))e\left(\frac{md}{p}\right). \end{eqnarray*}$

From L. Chen and X. Wang ^[7], for any prime $p > 3$ , if $p = 24k+13$ or $p = 24k+1$ , we have

$\begin{eqnarray} &&\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^4+b^4\equiv c^4+1\bmod p}}_{a+b\equiv c+1\bmod p}1 = 3p-5-\chi_{2}(7). \end{eqnarray}$

(2.10)

For any prime $p > 3$ , if $p = 24k+5$ or $p = 24k+17$ , we have

(2.11)

Thus, for any prime $p > 3$ , we have the asymptotic formula

This proves Lemma 2.3.

Lemma 2.4. Let $p > 3$ be a prime with $p = 4k+3$ , $\lambda$ be a fourth-order character mod $p$ and $\chi_{2}$ denotes the Legendre symbol, then we have the identity

$\begin{eqnarray*} &&\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 0}^{p-1}}_{a+b\equiv c+1\bmod p}e\left(\frac{d^{4}(a^4+b^4-c^4-1)}{p}\right)\nonumber\\ & = &\left\{ \begin{array}{ll} 3p^2-5p+\chi_{2}(7)p+i\sqrt{p}\sum\limits_{b = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a), & \text{ if}~~ \ p = 12k+7 , \\ 3p^2-p+\chi_{2}(7)p+i\sqrt{p}\sum\limits_{b = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a), & \text{ if}~~ \ p = 12k+11 . \end{array}\right.\nonumber \end{eqnarray*}$

Proof. Note that $\tau(\chi_2) = i\sqrt{p}$ when $p\equiv 3\bmod 4$ , then from the definition of Gauss sums and identity (2.8), we have

(2.12)

From L. Chen and X. Wang ^[7], for any prime $p > 3$ , if $p = 12k+7$ , we have

(2.13)

If $p = 12k+11$ , we have

(2.14)

So for any prime $p > 3$ , if $p\equiv 3\bmod 4$ , combining the formulas (2.12)-(2.14), we have

$\begin{eqnarray*} &&\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 0}^{p-1}}_{a+b\equiv c+1\bmod p}e\left(\frac{d^{4}(a^4+b^4-c^4-1)}{p}\right)\nonumber\\ & = & \left\{ \begin{array}{ll} 3p^2-5p+\chi_{2}(7)p+i\sqrt{p}\sum\limits_{b = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a), & \text{ if}~~ \ p = 12k+7 , \\ 3p^2-p+\chi_{2}(7)p+i\sqrt{p}\sum\limits_{b = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a), & \text{ if}~~ \ p = 12k+11 . \end{array}\right.\nonumber \end{eqnarray*}$

This proves Lemma 2.4.

Lemma 2.5. Let $p > 3$ be a prime with $p = 4k+1$ , $\lambda$ be a fourth-order character mod $p$ and $\chi_{2}$ denotes the Legendre symbol, then we have the estimation

$\begin{eqnarray*} &&\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right) = O(p). \end{eqnarray*}$

Proof. Note that $\tau(\chi_2) = \sqrt{p}$ when $p\equiv 1\bmod 4$ , then from the definition of Gauss sums we have

$\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right)\\ = \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}}_{a+b\equiv 0\bmod p}e\left(\frac{a^4+b^4}{p}\right) +\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 1}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right)\\ = \sum\limits_{a = 0}^{p-1}e\left(\frac{2a^4}{p}\right) +\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 1}^{p-1}}_{a+b\equiv 1\bmod p}e\left(\frac{c^{4}(a^4+b^4-1)}{p}\right)\\ = \sum\limits_{a = 0}^{p-1}(1+\lambda(a)+\chi_{2}(a)+\overline{\lambda}(a))e\left(\frac{2a}{p}\right) +\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv 1\bmod p}e\left(\frac{c^{4}(a^4+b^4-1)}{p}\right)-\\ \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}}_{a+b\equiv 1\bmod p}1\\ = \tau(\lambda)\overline{\lambda}(2)+\chi(2)\sqrt{p}+\\ \tau(\overline{\lambda})\lambda(2) +\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}(\lambda(c)+\chi_{2}(c)+\overline{\lambda}(c))e\left(\frac{c(2a^{4}-4a^{3}+6a^{2}-4a)}{p}\right)\\ +p\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}}_{a^4+b^4\equiv 1\bmod p}}_{a+b\equiv 1\bmod p}1-p.$

(2.15)

For any prime $p > 3$ , note that the properties of Gauss sums, we have

$\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}(\lambda(c)+\chi_{2}(c)+\overline{\lambda}(c))e\left(\frac{c(2a^{4}-4a^{3}+6a^{2}-4a)}{p}\right)\\ = \sum\limits_{a = 0}^{p-1}\tau(\lambda)\overline{\lambda}(2a^{4}-4a^{3}+6a^{2}-4a)+ \sum\limits_{a = 0}^{p-1}\tau(\overline{\lambda})\lambda(2a^{4}-4a^{3}+6a^{2}-4a)\\ +\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(2a^{4}-4a^{3}+6a^{2}-4a)\\ = \lambda(8)\tau(\lambda)\sum\limits_{a = 0}^{p-1}\overline{\lambda}((2a)^{4}-4(2a)^{3}+12(2a)^{2}-16(2a))\\ +\overline{\lambda}(8)\tau(\overline{\lambda})\sum\limits_{a = 0}^{p-1}\lambda((2a)^{4}-4(2a)^{3}+12(2a)^{2}-16(2a))\\ +\sqrt{p}\chi_{2}(2)\sum\limits_{a = 0}^{p-1}\chi_{2}((2a)^{4}-4(2a)^{3}+12(2a)^{2}-16(2a))\\ = \lambda(8)\tau(\lambda)\sum\limits_{a = 0}^{p-1}\overline{\lambda}(a^{4}-4a^{3}+12a^{2}-16a)+ \overline{\lambda}(8)\tau(\overline{\lambda})\sum\limits_{a = 0}^{p-1}\lambda(a^{4}-4a^{3}+12a^{2}-16a)\\ +\sqrt{p}\chi_{2}(2)\sum\limits_{a = 0}^{p-1}\chi_{2}\\ (a^{4}-4a^{3}+12a^{2}-16a)\\ = \lambda(8)\tau(\lambda)\sum\limits_{a = 0}^{p-1}\overline{\lambda}((a-1)^{4}+6(a-1)^{2}-7)+ \overline{\lambda}(8)\tau(\overline{\lambda})\sum\limits_{a = 0}^{p-1}\\ \lambda((a-1)^{4}+6(a-1)^{2}-7)\\ +\sqrt{p}\chi_{2}(2)\sum\limits_{a = 0}^{p-1}\chi_{2}((a-1)^{4}+6(a-1)^{2}-7)\\ = \lambda(8)\tau(\lambda)\sum\limits_{a = 0}^{p-1}\overline{\lambda}(a^{4}+6a^{2}-7)+ \overline{\lambda}(8)\tau(\overline{\lambda})\sum\limits_{a = 0}^{p-1}\lambda(a^{4}+6a^{2}-7)+\sqrt{p}\chi_{2}(2)\sum\limits_{a = 0}^{p-1}\chi_{2}\\ (a^{4}+6a^{2}-7)\\ = \overline{\lambda}(2)\tau(\lambda)\sum\limits_{a = 0}^{p-1}\overline{\lambda}(a^{4}+6a^{2}-7)+ \lambda(2)\tau(\overline{\lambda})\sum\limits_{a = 0}^{p-1}\lambda(a^{4}+6a^{2}-7)+\sqrt{p}\chi_{2}(2)\sum\limits_{a = 0}^{p-1}\chi_{2}\\ (a^{4}+6a^{2}-7)\\ = O(p).$

(2.16)

Combining the formulas (2.15) and (2.16), we have the estimation

$\begin{eqnarray*} &&\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right) = O(p). \end{eqnarray*}$

This proves Lemma 2.5.

Lemma 2.6. Let $p$ be an odd prime with $p = 4k+3$ , $\chi_{2}$ denotes the Legendre symbol. Then we have the identity

$\begin{eqnarray*} \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right) = (2-\chi_{2}(7))p-i\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a). \end{eqnarray*}$

Proof. For any prime $p > 3$ , if $p = 4k+3$ , then $\chi_{2}(-1) = -1$ and $\tau(\chi_{2}) = i\sqrt{p}$ , we have

$\begin{eqnarray} &&\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right)\\ & = &\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a\equiv c\bmod p}e\left(\frac{a^4-c^4}{p}\right) +\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right)\\ & = &p+\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+1\equiv c\bmod p}e\left(\frac{b^{4}(a^4-c^4+1)}{p}\right)\\ & = &p+\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+1\equiv c\bmod p}e\left(\frac{b^{4}(a^4-c^4+1)}{p}\right)-\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+1\equiv c\bmod p}1\\ & = &\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+1\equiv c\bmod p}(1+\chi_{2}(b))e\left(\frac{b(a^4-c^4+1)}{p}\right)\\ & = &i\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(-4a^3-6a^2-4a)+p\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^4+1\equiv c^4\bmod p}}_{a+1\equiv c\bmod p}1\\ & = &i\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(-4a^3-6a^2-4a)+p\mathop{\sum\limits_{a = 0}^{p-1}}_{2a^3+3a^2+2a\equiv 0\bmod p}1\\ & = &i\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(-4a^3-6a^2-4a)+p+p\mathop{\sum\limits_{a = 1}^{p-1}}_{2a^2+3a+2\equiv 0\bmod p}1\\ & = &i\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(-4a^3-6a^2-4a)+p+p\mathop{\sum\limits_{a = 0}^{p-1}}_{(4a+3)^2\equiv -7\bmod p}1\\ & = &i\sqrt{p}\sum\limits_{a = 0}^{p-1}\chi_{2}(-4a^3-6a^2-4a)+(2-\chi_{2}(7))p. \end{eqnarray}$

(2.17)

So for any prime $p > 3$ , if $p\equiv 3\bmod 4$ , we have the identity

This proves Lemma 2.6.

3. Proofs of the theorems

In this section, we will complete the proofs of our theorems. Applying several basic lemmas in Section 2, we can easily deduce our theorems.

$\sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{a^4+ma}{p}\right)\right|^{4} = \sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 0}^{p-1}\sum\limits_{m = 0}^{p-1}e\left(\frac{a^4+b^4-c^4-d^4+m\left(a+b-c-d\right)}{p}\right)\\ = p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 0}^{p-1}}_{a+b\equiv c+d\bmod p}e\left(\frac{a^4+b^4-c^4-d^4}{p}\right)\\ = p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right)+ p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 1}^{p-1}}_{a+b\equiv c+d\bmod p}e\left(\frac{a^4+b^4-c^4-d^4}{p}\right)\\ = p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right)+ p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 1}^{p-1}}_{a+b\equiv c+1\bmod p}e\left(\frac{d^{4}(a^4+b^4-c^4-1)}{p}\right)\\ = p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right)+ p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 0}^{p-1}}_{a+b\equiv c+1\bmod p}e\left(\frac{d^{4}(a^4+b^4-c^4-1)}{p}\right)\\ -p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c+1\bmod p}1.$

(3.1)

For any prime $p$ , if $p = 4k+1$ , then from Lemma 2.3 we know that

(3.2)

From Lemma 2.5 we know that

$\begin{eqnarray} &&p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right) = O(p^2). \end{eqnarray}$

(3.3)

Therefore, from the formulas (3.1)-(3.3), we may immediately deduce

$\begin{eqnarray*} && \sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{a^4+ma}{p}\right)\right|^{4} = 2p^3+O(p^{\frac{5}{2}}), \nonumber \end{eqnarray*}$

when $p = 4k+1$ . This proves Theorem 1.1.

For any prime $p > 3$ , if $p = 4k+3$ , then from Lemma 2.4 we know that

$\begin{eqnarray} &&p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{d = 0}^{p-1}}_{a+b\equiv c+1\bmod p}e\left(\frac{d^{4}(a^4+b^4-c^4-1)}{p}\right)\\ & = &\left\{ \begin{array}{ll} 3p^3-5p^2+\chi_{2}(7)p^2+ip^{\frac{3}{2}}\sum\limits_{b = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a), & \text{ if\ p = 12k+7 , }\\ 3p^3-p^2+\chi_{2}(7)p^2+ip^{\frac{3}{2}}\sum\limits_{b = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a), & \text{ if\ p = 12k+11 .} \end{array}\right. \end{eqnarray}$

(3.4)

From Lemma 2.6 we know that

$\begin{eqnarray} p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a+b\equiv c\bmod p}e\left(\frac{a^4+b^4-c^4}{p}\right) = (2-\chi_{2}(7))p^2-ip^{\frac{3}{2}}\sum\limits_{a = 0}^{p-1}\chi_{2}(4a^3+6a^2+4a). \end{eqnarray}$

(3.5)

Therefore, from the formulas (3.1), (3.4) and (3.5), for any prime $p > 3$ , we may immediately deduce

$\begin{eqnarray*} && \sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{a^4+ma}{p}\right)\right|^{4} = \left\{ \begin{array}{ll} 2p^3-3p^2, & \text{ if}~~ p = 12k+7 , \\ 2p^3+p^2, & \text{ if}~~ \ p = 12k+11 , \\ \end{array}\right.\nonumber \end{eqnarray*}$

when $p = 4k+3$ . This completes the proof of our main results.

4. Conclusions

This paper mainly proposed two theorems, which are all closely related to the fourth power mean of the two-term exponential sums. Theorem 1.1 obtained an asymptotic formula of $p\equiv 1\bmod 4$ and an exact formula of $p\equiv 3\bmod 4$ . The skill of this paper is to solve a class of quartic congruence equations in the process of calculation. In general, this work not only calculates a new kind of two-term exponential sum but also lays a foundation for the follow-up study of related problems.

Acknowledgments

This work was supported by the Youth Science and Technology New Star Program of Shaanxi Province (2019KJXX-076), and the Natural Science Basic Research Program of Shaanxi Province (2022JM-013).

Conflict of interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

References

[1]	T. Cochrane, Z. Y. Zheng, Bounds for certain exponential sums, Asian J. Math., 4 (2000), 757-774. https://doi.org/10.4310/AJM.2000.v4.n4.a3 doi: 10.4310/AJM.2000.v4.n4.a3
[2]	T. Cochrane, C. Pinner, Using Stepanov's method for exponential sums involving rational functions, J. Number Theory, 116 (2006), 270-292. https://doi.org/10.1016/j.jnt.2005.04.001 doi: 10.1016/j.jnt.2005.04.001
[3]	T. Cochrane, Z. Y. Zheng, Upper bounds on a two-term exponential sums, Sci. China Ser. A Math., 44 (2001), 1003-1015. https://doi.org/10.1007/BF02878976 doi: 10.1007/BF02878976
[4]	T. Cochrane, J. Coffelt, C. Pinner, A further refinement of Mordell's bound on exponential sums, Act Arith., 116 (2005), 35-41. https://doi.org/10.4064/aa116-1-4 doi: 10.4064/aa116-1-4
[5]	H. Zhang, W. P. Zhang, The fourth power mean of two-term exponential sums and its application, Math. Reports, 19 (2017), 75-83.
[6]	Z. Y. Chen, W. P. Zhang, On the fourth-order linear recurrence formula related to classical Gauss sums, Open Math., 15 (2017), 1251-1255. https://doi.org/10.1515/math-2017-0104 doi: 10.1515/math-2017-0104
[7]	C. Li, W. Xiao, A new fourth power mean of two-term exponential sums, Open Math., 17 (2019), 407-414. https://doi.org/10.1515/math-2019-0034 doi: 10.1515/math-2019-0034
[8]	W. P. Zhang, D. Han, On the sixth power mean of the two-term exponential sums, J. Number Theory, 136 (2014), 403-413. https://doi.org/10.1016/j.jnt.2013.10.022 doi: 10.1016/j.jnt.2013.10.022
[9]	D. A. Burgess, On Dirichlet characters of polynomials, Proc. London Math. Soc., s3-13 (1963), 537-548. https://doi.org/10.1112/plms/s3-13.1.537 doi: 10.1112/plms/s3-13.1.537

This article has been cited by:

1.	Guohui Chen, Wenpeng Zhang, One kind two-term exponential sums weighted by third-order character, 2024, 9, 2473-6988, 9597, 10.3934/math.2024469
2.	Guohui Chen, Tingting Du, The Fourth Hybrid Power Mean Involving the Character Sums and Exponential Sums, 2025, 13, 2227-7390, 1680, 10.3390/math13101680

Reader Comments

Your name:*

Email:*
© 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

AIMS Mathematics

1.8 3.1

Metrics

Article views(2006) PDF downloads(82) Cited by(2)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

AIMS Mathematics

The fourth power mean value of one kind two-term exponential sums

Related Papers:

Abstract

1. Introduction

2. Several lemmas

3. Proofs of the theorems

4. Conclusions

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Catalog

AIMS Mathematics

The fourth power mean value of one kind two-term exponential sums

Related Papers:

Abstract

1. Introduction

2. Several lemmas

3. Proofs of the theorems

4. Conclusions

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog