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

Wenpeng Zhang; Yuanyuan Meng; Wenpeng Zhang; Yuanyuan Meng

doi:10.3934/math.2023434

AIMS Mathematics

2023, Volume 8, Issue 4: 8650-8660. doi: 10.3934/math.2023434

Previous Article Next Article

Research article

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

Wenpeng Zhang ,
Yuanyuan Meng ^,

Research Center for Number Theory and Its Applications, Northwest University, Xi'an, 710127, Shaanxi, China

Received: 17 August 2022 Revised: 14 January 2023 Accepted: 28 January 2023 Published: 06 February 2023
MSC : 11L03, 11L05

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.

Keywords:

Citation: Wenpeng Zhang, Yuanyuan Meng. On the fourth power mean of one special two-term exponential sums[J]. AIMS Mathematics, 2023, 8(4): 8650-8660. doi: 10.3934/math.2023434

Related Papers:

[1]	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
[2]	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
[3]	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
[4]	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
[5]	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
[6]	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
[7]	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
[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]	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
[10]	Xiaoge Liu, Yuanyuan Meng . On the $ k $-th power mean of one kind generalized cubic Gauss sums. AIMS Mathematics, 2023, 8(9): 21463-21471. doi: 10.3934/math.20231093

Abstract

1. Introduction

Let $p$ be an odd prime. For any integers $k > h\geq 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) = \sum\limits_{a = 0}^{p-1} e\left(\frac{ma^k+na^h}{p}\right),$

where $e(y) = e^{2\pi i y}$ 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

$\begin{eqnarray} \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. \end{eqnarray}$

(1.1)

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:

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

(1.2)

where $p$ denotes an odd prime with $3\nmid (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

$\begin{eqnarray} \sum\limits_{m = 1}^{p-1}\left|\sum\limits_{a = 0}^{p-1} e\left(\frac{ma^3+a}{p}\right)\right|^6 = \left\{ \begin{array}{ll} 5p^3\cdot\left(p-1\right), & \text{ if } \ p\equiv 5 \bmod 6;\\ p^2\cdot \left(5p^2-23p-d^2\right), & \text{ if} \ p\equiv 1\bmod 6, \end{array}\right. \end{eqnarray}$

(1.3)

where $4p = d^2+27\cdot b^2$ , and $d$ is uniquely determined by $d\equiv 1\bmod 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

$\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\equiv 7 \bmod 12, \\ 2p^3, & \text{ if} \ p\equiv 11\bmod 12, \\ 2p(p^2-10p-2\alpha^2), & \text{ if} \ p\equiv 1\bmod 24, \\ 2p(p^2-4p-2\alpha^2), & \text{ if} \ p\equiv 5\bmod 24, \\ 2p(p^2-6p-2\alpha^2), & \text{ if} \ p\equiv 13\bmod 24, \\ 2p(p^2-8p-2\alpha^2), & \text{ if} \ p\equiv 17\bmod 24, \\ \end{array}\right. \end{eqnarray}$

(1.4)

where $\alpha = \alpha(p) = \sum\limits_{a = 1}^{\frac{p-1}{2}}\left(\frac{a+\overline{a}}{p}\right)$ is an integer satisfying the following identity (see Theorem 4–11 in ^[5]):

$\begin{eqnarray*} p = \alpha^2+\beta^2 = \left(\sum\limits_{a = 1}^{\frac{p-1}{2}}\left(\frac{a+\overline{a}}{p}\right)\right)^2+\left(\sum\limits_{a = 1}^{\frac{p-1}{2}}\left(\frac{a+r\overline{a}}{p}\right)\right)^2, \end{eqnarray*}$

$\left(\frac{*}{p}\right)$ denotes the Legendre's symbol, $r$ is any quadratic non-residue modulo $p$ and $\overline{a}$ is the solution of the congruence equation $a\cdot x\equiv 1\bmod 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:

$S_{2k}(p) = \sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{ma^3+a^2}{p}\right)\right|^{2k},$

and give an exact calculating formula for $S_4(p)$ with $p\equiv 3\bmod 4$ .

That is, we give the following two conclusions:

Theorem 1.1. Let $p$ be a prime with $p\equiv 11$ mod 12, then we have the identity

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

where $\left(\frac{*}{p}\right)$ denotes the Legendre's symbol modulo $p$ , and $\overline{a}$ is the solution of the congruence equation $a\cdot x\equiv 1$ mod $p$ .

Theorem 1.2. Let $p$ be a prime with $p\equiv 7$ mod 12, then we have the identity

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

2. 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\equiv 1$ mod 3. Then for any third-order character $\lambda$ modulo $p$ , we have the identity

$\tau^3\left(\lambda\right)+ \tau^3\left(\overline{\lambda}\right) = dp,$

where $\tau(\chi) = \sum\limits_{a = 1}^{p-1}\chi(a)e\left(\frac{a}{p}\right)$ denotes the classical Gauss sums, $4p = d^2+27\cdot b^2$ , and $d$ is uniquely determined by $d\equiv 1$ mod 3.

Related results can also be found in ^[11,12,13].

Lemma 2.2. Let $p$ be an odd prime, then we have the identities

$\mathop {\mathop {\sum\limits_{a = 0}^{p - 1} {\mathop \sum \limits_{c = 0}^{p - 1} } }\limits_{{a^3} + 1 \equiv {c^3}\,\bmod \,p} }\limits_{{a^2} + 1 \equiv {c^2}\,\bmod \,p} 1 = 2 + \left( {\frac{{ - 2}}{p}} \right)$

and

$\mathop {\mathop {\sum\limits_{a = 0}^{p - 1} {\sum\limits_{b = 0}^{p - 1} {\mathop \sum \limits_{c = 0}^{p - 1} } } }\limits_{{a^3} + {b^3} \equiv {c^3} + 1\,\bmod \,p} }\limits_{{a^2} + {b^2} \equiv {c^2} + 1\,\bmod \,p} 1 = 3p - 5 - \left( {\frac{{ - 2}}{p}} \right) + \left( {\frac{{ - 3}}{p}} \right) \cdot \sum\limits_{a = 1}^{p - 1} {\left( {\frac{{a - 1 + \bar a}}{p}} \right)} ,$

where $\left(\frac{*}{p}\right)$ denotes the Legendre's symbol modulo $p$ , and $a\cdot \overline{a}\equiv 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 have

$\begin{eqnarray*} &&\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}}_{a^2+b^2\equiv c^2+1\bmod p}1 = \mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+3a^2c+3ac^2+b^3+3b^2+3b\equiv 0\bmod p}}_{a^2+2ac+b^2+2b\equiv 0\bmod p}1\nonumber\\ & = &\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+3a^2c+3ac^2 +1+3\overline{b}+3\overline{b}^2\equiv 0\bmod p}}_{a^2+2ac+1+2\overline{b}\equiv 0\bmod p}1+ \mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+3a^2c+3ac^2\equiv 0\bmod p}}_{a^2+2ac\equiv 0\bmod p}1\nonumber\\ & = &\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+3a(2c+a)^2+1+3(2b+1)^2\equiv 0\bmod p}}_{a(a+2c)+1+2b\equiv 0\bmod p}1+ p-\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+3a^2c+3ac^2 +1\equiv 0\bmod p}}_{a^2+2ac+1\equiv 0\bmod p}1\nonumber\\ & = &\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+3ac^2+1+3b^2\equiv 0\bmod p}}_{ac+b\equiv 0\bmod p}1+ p-\mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+3a(2c+a)^2 +4\equiv 0\bmod p}}_{a(2c+a)+1\equiv 0\bmod p}1\nonumber\\ & = &\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{\left(a+1\right)\left(a^2-a+1 +3ac^2\right)\equiv 0\bmod p}1+ p-\mathop{\mathop{\sum\limits_{a = 1}^{p-1}\sum\limits_{c = 1}^{p-1}}_{a^3+3ac^2 +4\equiv 0\bmod p}}_{ac+1\equiv 0\bmod p}1\nonumber\\ & = &2p+\mathop{\sum\limits_{a = 0}^{p-2}\sum\limits_{c = 0}^{p-1}}_{a^2-a+1 +3ac^2\equiv 0\bmod p}1-\mathop{\sum\limits_{a = 1}^{p-1}}_{a^3+3\overline{a}+4\equiv0\bmod p}1\nonumber\\ & = &2p-2+ \mathop{\sum\limits_{a = 1}^{p-1}\sum\limits_{c = 0}^{p-1}}_{3a(a^2-a+1) +c^2\equiv 0\bmod p}1-\mathop{\sum\limits_{a = 1}^{p-1}}_{(a+1)(a^3-a^2+a+3)\equiv0\bmod p}1\nonumber\\ & = &2p-3+ \sum\limits_{a = 1}^{p-1}\left(1+\left(\frac{-3a(a^2-a+1)}{p}\right)\right)-\mathop{\sum\limits_{a = 1}^{p-2}}_{a^3-a^2+a+3\equiv0\bmod p}1\nonumber\\ & = &3p-4+ \left(\frac{-3}{p}\right)\cdot \sum\limits_{a = 1}^{p-1}\left(\frac{a-1+\overline{a}}{p}\right)-\mathop{\sum\limits_{a = 1}^{p-2}}_{(a+1)(a^2-2a+3)\equiv0\bmod p}1\nonumber\\ & = &3p-4+ \left(\frac{-3}{p}\right)\cdot \sum\limits_{a = 1}^{p-1}\left(\frac{a-1+\overline{a}}{p}\right)-\mathop{\sum\limits_{a = 0}^{p-1}}_{(a-1)^2+2\equiv0\bmod p}1\nonumber\\ & = &3p-5-\left(\frac{-2}{p}\right)+ \left(\frac{-3}{p}\right)\cdot \sum\limits_{a = 1}^{p-1}\left(\frac{a-1+\overline{a}}{p}\right). \end{eqnarray*}$

This proves Lemma 2.2.

Lemma 2.3. Let $p$ be an odd prime, then we have the identities

$\begin{eqnarray*} \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1} }_{a^3+1\equiv c^3\bmod p}1 = \left\{ \begin{array}{ll} p & \ { if }\ 3\nmid (p-1); \\ p+d-2 & \ { if }\ 3\mid (p-1), \end{array}\right. \end{eqnarray*}$

and

$\begin{eqnarray*} \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1} }_{a^3+b^3\equiv c^3+1\bmod p}1 = \left\{ \begin{array}{ll} p^2 & \ { if }\ 3\nmid (p-1); \\ p^2-d+6p & \ { if }\ 3\mid (p-1), \end{array}\right. \end{eqnarray*}$

where $d$ is the same as defined in Lemma 2.1.

Proof. We only prove the second formula in Lemma 2.3. Similarly, we can deduce the first one. If $(3, p-1) = 1$ , then from the properties of the complete residue system modulo $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^3+b^3\equiv c^3+1\bmod p}1 = \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 = p^2. \end{eqnarray}$

(2.1)

If $(3, p-1) = 3$ , let $\lambda$ denote any third-order primitive character modulo $p$ and

$A(m) = \sum\limits_{a = 0}^{p-1}e\left(\frac{ma^3}{p}\right).$

Then for any integer $m$ with $(m, p) = 1$ , from Lemma 2.1, the definition and properties of the classical Gauss sums we have

$\begin{eqnarray} A(m) = 1+ \sum\limits_{a = 1}^{p-1}\left(1+\lambda(a)+\overline{\lambda}(a)\right)\cdot e\left(\frac{ma}{p}\right) = \overline{\lambda}(m)\cdot \tau(\lambda)+\lambda(m)\cdot \tau\left(\overline{\lambda}\right), \end{eqnarray}$

(2.2)

and

$\begin{eqnarray} A^3(m) = \tau^3(\lambda)+ \tau^3\left(\overline{\lambda}\right)+3p\cdot A(m) = dp+3p\cdot A(m). \end{eqnarray}$

(2.3)

Note that $A(m) = A(-m)$ , then from (2.2), (2.3) and the properties of the trigonometric sums we have

$\begin{eqnarray} &&\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}1 = \frac{1}{p}\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}\sum\limits_{m = 0}^{p-1}e\left(\frac{m\left(a^3+b^3-c^3-1 \right)}{p}\right)\\ & = &p^2+ \frac{1}{p}\sum\limits_{m = 1}^{p-1}e\left(\frac{-m}{p}\right) A^2(m)\cdot A(-m) = p^2+ \frac{1}{p}\sum\limits_{m = 1}^{p-1}e\left(\frac{-m}{p}\right) A^3(m)\\ & = &p^2+\frac{1}{p}\sum\limits_{m = 1}^{p-1}\left(dp+ 3p\cdot A(m)\right)e\left(\frac{-m}{p}\right) = p^2-d+6\cdot \tau(\lambda)\cdot \overline{\tau(\lambda)}\\ & = &p^2-d+6p. \end{eqnarray}$

(2.4)

Now Lemma 2.3 follows from (2.1) and (2.4).

Lemma 2.4. Let $p$ be an odd prime, then we have the identities

$\begin{eqnarray*} \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3\equiv c^3 \bmod p}e\left(\frac{a^2-c^2}{p}\right) = \left\{ \begin{array}{ll} p, & \ { if }\ 3\nmid (p-1); \\ p-2+ \tau\left(\chi_2\right)\cdot\mathop{\sum\limits_{a = 1}^{p-1}}_{a^3\equiv 1 \bmod p}\left(\frac{a^2-1}{p}\right), & \ { if }\ 3\mid (p-1), \end{array}\right. \end{eqnarray*}$

where $\chi_2 = \left(\frac{*}{p}\right)$ denotes the Legendre's symbol modulo $p$ .

Proof. For any integer $n$ with $(n, p) = 1$ , note the identity

$\begin{eqnarray} \sum\limits_{a = 0}^{p-1}e\left(\frac{na^2}{p}\right) = 1+\sum\limits_{a = 1}^{p-1}\left(1+\chi_2(a)\right)e\left(\frac{na}{p}\right) = \chi_2(n)\cdot \tau\left(\chi_2\right). \end{eqnarray}$

(2.5)

If $3\nmid (p-1)$ , then from (2.5) and the properties of the complete residue system modulo $p$ and Lemma 2.2, we have

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

(2.6)

If $3\mid (p-1)$ , then we have

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

(2.7)

Now Lemma 2.4 follows from (2.6) and (2.7).

3. Results

In this paper, we prove the following two conclusions:

Theorem 3.1. Let $p$ be a prime with $p\equiv 11$ mod 12, then we have the identity

where $\left(\frac{*}{p}\right)$ denotes the Legendre's symbol modulo $p$ , and $\overline{a}$ is the solution of the congruence equation $a\cdot x\equiv 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

$\sum\limits_{a = 0}^{p-1}e\left(\frac{na}{p}\right) = \left\{ \begin{array}{ll} p & \text{ if }\ p\mid n; \\ 0 & \text{ if }\ p\nmid n.\end{array}\right.$

From (2.5) and the properties of the reduced residue system modulo $p$ we have,

$\begin{eqnarray} S_4(p)& = &\sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{ma^3+a^2}{p}\right)\right|^4 = p\cdot\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^3+b^3\equiv c^3+d^3\bmod p}e\left(\frac{a^2+b^2-c^2-d^2}{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^3+b^3\equiv c^3+1\bmod p}e\left(\frac{d^2\left(a^2+b^2-c^2-1\right)}{p}\right)+p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3\bmod p}e\left(\frac{a^2+b^2-c^2}{p}\right)\\ & = &p \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}\sum\limits_{d = 0}^{p-1}e\left(\frac{d^2\left(a^2+b^2-c^2-1\right)}{p}\right)\\ &\quad& +p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3\bmod p}e\left(\frac{a^2+b^2-c^2}{p}\right)-p \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}1\\ & = &p^2 \mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}}_{a^2+b^2\equiv c^2+1\bmod p}1 + p\cdot \tau\left(\chi_2\right)\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}\left(\frac{a^2+b^2-c^2-1}{p}\right)\\ &\quad& +p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 1}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+1\equiv c^3\bmod p}e\left(\frac{b^2(a^2+1-c^2)}{p}\right)-p \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}1 +p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3\equiv c^3\bmod p}e\left(\frac{a^2-c^2}{p}\right)\\ & = &p^2 \mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}}_{a^2+b^2\equiv c^2+1\bmod p}1 + p\cdot \tau\left(\chi_2\right)\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}\left(\frac{a^2+b^2-c^2-1}{p}\right)\\ &\quad & +p^2\cdot \mathop{\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+1\equiv c^3\bmod p}}_{a^2+1\equiv c^2\bmod p}1+p\cdot \tau\left(\chi_2\right)\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+1\equiv c^3\bmod p}\left(\frac{a^2+1-c^2}{p}\right)\\ &\quad& -p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+1\equiv c^3\bmod p}1-p \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}1+ p\mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3\equiv c^3\bmod p}e\left(\frac{a^2-c^2}{p}\right). \end{eqnarray}$

(3.1)

It is clear that $S_4(p)$ is a real number. If $p = 12k+11$ , then $3\nmid (p-1)$ , $p\equiv 3\bmod 4$ , $\left(\frac{-1}{p}\right) = -1$ and $\left(\frac{3}{p}\right) = 1$ . Note that $\tau\left(\chi_2\right) = i\cdot \sqrt{p}$ is a pure imaginary number. So from Lemma 2.2, Lemma 2.3, Lemma 2.4 and (3.1), we have

$\begin{eqnarray*} &&S_4(p) = \sum\limits_{m = 0}^{p-1}\left|\sum\limits_{a = 0}^{p-1}e\left(\frac{ma^3+a^2}{p}\right)\right|^4\nonumber\\ & = &p^2\left(3p-5-\left(\frac{-2}{p}\right)+ \left(\frac{-3}{p}\right)\cdot \sum\limits_{a = 1}^{p-1}\left(\frac{a-1+\overline{a}}{p}\right)\right)+p^2\left(2+\left(\frac{-2}{p}\right)\right)\nonumber\\ &&+ p\cdot \tau\left(\chi_2\right)\cdot \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}\left(\frac{a^2+b^2-c^2-1}{p}\right)\nonumber\\ &&+ p\cdot \tau\left(\chi_2\right)\cdot \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+1\equiv c^3\bmod p}\left(\frac{a^2+1-c^2}{p}\right) -p\left(p+p^2\right)+p^2\nonumber\\ & = &2p^3-p^2\cdot \left(3+\sum\limits_{a = 1}^{p-1}\left(\frac{a-1+\overline{a}}{p}\right)\right)-p\cdot \tau\left(\chi_2\right)\cdot \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{b = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+b^3\equiv c^3+1\bmod p}\left(\frac{a^2+b^2-c^2-1}{p}\right)\nonumber\\ &&- p\cdot \tau\left(\chi_2\right)\cdot \mathop{\sum\limits_{a = 0}^{p-1}\sum\limits_{c = 0}^{p-1}}_{a^3+1\equiv c^3\bmod p}\left(\frac{a^2+1-c^2}{p}\right)\nonumber\\ & = &2p^3-p^2\cdot \left(3+\sum\limits_{a = 1}^{p-1}\left(\frac{a-1+\overline{a}}{p}\right)\right). \end{eqnarray*}$

This proves Theorem 3.1.

Theorem 3.2. Let $p$ be a prime with $p\equiv 7$ mod 12, then we have the identity

Proof. Similarly, if $p = 12k+7$ , then $S_4(p)$ is also a real number, note that $3\mid(p-1)$ , $\left(\frac{-1}{p}\right) = -1$ , $\left(\frac{3}{p}\right) = -1$ and $\tau\left(\chi_2\right) = i\cdot \sqrt{p}$ , so from Lemma 2.2, Lemma 2.3, Lemma 2.4 and (3.1) we have

This completes the proof of Theorem 3.2.

From A. Weil's important works ^[14] and ^[15] we have the estimate:

$\left|\sum\limits_{a = 1}^{p-1}\left(\frac{a-1+\overline{a}}{p}\right)\right| = \left|\sum\limits_{a = 1}^{p-1}\left(\frac{a^3-a^2+a}{p}\right)\right|\ll \sqrt{p}.$

Combining this estimate and our theorems we can deduce the following:

Corollary 3.1. Let $a$ be an integer, $p-1\geq a\geq 0$ . Let $p$ be an odd prime with $p\equiv 3$ mod 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{ma^3+a^2}{p}\right)\right|^4 = 2p^3 +O\left(p^{\frac{5}{2}}\right). \end{eqnarray*}$

Remark 3.1. In this paper, we only discussed the case $p\equiv 3$ mod 4. If $p\equiv 1\bmod 4$ , then we can not calculate the exact value of $S_4(p)$ yet. The reason is that we do not know the exact values of

$\mathop {\sum\limits_{a = 0}^{p - 1} {\sum\limits_{b = 0}^{p - 1} {\mathop \sum \limits_{c = 0}^{p - 1} } } }\limits_{{a^3} + {b^3} \equiv {c^3} + 1\,\bmod \,p} \left( {\frac{{{a^2} + {b^2} - {c^2} - 1}}{p}} \right) + \mathop {\sum\limits_{a = 0}^{p - 1} {\mathop \sum \limits_{c = 0}^{p - 1} } }\limits_{{a^3} + 1 \equiv {c^3}\,\bmod \,p} \left( {\frac{{{a^2} + 1 - {c^2}}}{p}} \right).$

This will await our further study.

If $p\equiv 3\bmod 4$ , then we can easily deduce the identities

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

4. 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,

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

with the case $p\equiv 3\bmod 4$ .

Here, we give an example to calculate the exact results of the prime number p satisfying conditions $p\equiv 7\bmod 12$ or $p\equiv 11\bmod 12$ . The exact results of calculation are summarised in Table 1.

Table 1. The calculation of

$S_4(p)$ .

$p$	$S_4(p)$	$p$	$S_4(p)$
7	$S_4(7)=245$	11	$S_4(11)=2783$
19	$S_4(19)=11913$	23	$S_4(23)=18515$
31	$S_4(31)=43245$	47	$S_4(47)=201019$
43	$S_4(43)=134977$	59	$S_4(59)=414239$
67	$S_4(67)=579081$	71	$S_4(71)=741027$
79	$S_4(79)=979837$	83	$S_4(83)=1095351$
103	$S_4(103)=1920229$	107	$S_4(107)=2278351$
127	$S_4(127)=4080637$	131	$S_4(131)=4376055$
139	$S_4(139)=5429201$	167	$S_4(167)=9900595$
151	$S_4(151)=7045509$	179	$S_4(179)=11759047$

| Show Table

DownLoad: CSV

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 \geq 3$ for $S(m, n, k, h; p)$ , interested readers can continue this research.

Acknowledgments

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 the N. S.F. (12126357) of P. R. China.

Conflict of interest

The authors declare no conflict of interest.

References

[1]	H. Zhang, W. P. Zhang, The fourth power mean of two-term exponential sums and its application, Math. Rep., 19 (2017), 75–81.
[2]	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
[3]	W. P. Zhang, Y. Y. Meng, On the sixth power mean of the two-term exponential sums, Acta Math. Sin. (Engl. Ser.), 38 (2022), 510–518. http://doi.org/10.1007/s10114-022-0541-8 doi: 10.1007/s10114-022-0541-8
[4]	L. Chen, X. Wang, 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
[5]	W. P. Zhang, H. L. Li, Elementary Number Theory, Xi'an: Shaanxi Normal University Press, 2013.
[6]	T. T. Wang, W. P. Zhang, On the fourth and sixth power mean of mixed exponential sums, Sci. Sin. Math., 41 (2011), 265–270. https://doi.org/10.1360/012010-753 doi: 10.1360/012010-753
[7]	T. M. Apostol, Introduction to Analytic Number Theory, New York: Springer, 1976.
[8]	K. Ireland, M. Rosen, A Classical Introduction to Modern Number Theory, New York: Springer, 1982.
[9]	W. P. Zhang, J. Y. Hu, The number of solutions of the diagonal cubic congruence equation $\bmod p$ , Math. Rep., 20 (2018), 73–80.
[10]	B. C. Berndt, R. J. Evans, The determination of Gauss sums, Bull. Amer. Math. Soc., 5 (1981), 107–129.
[11]	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
[12]	L. Chen, On the classical Gauss sums and their properties, Symmetry, 10 (2018), 625. https://doi.org/10.3390/sym10110625 doi: 10.3390/sym10110625
[13]	W. P. Zhang, X. D. Yuan, On the classical Gauss sums and their some new identities, AIMS Mathematics, 7 (2022), 5860–5870. https://doi.org/10.3934/math.2022325 doi: 10.3934/math.2022325
[14]	A. Weil, On some exponential sums, Proc. Natl. Acad. Sci. USA, 34 (1948), 204–207. https://doi.org/10.1073/pnas.34.5.204
[15]	A. Weil, Basic Number Theory, Heidelberg: Springer Berlin, 1995.

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.	Emrullah Arslan, Deniz Ozalp Kızılay, Yasemin Atik Altinok, Bahar Girgin Dundar, Arzu Jalilova, Gunay Demir, Samim Ozen, Sukran Darcan, Ruhsar Damla Goksen, Continuous Glucose Monitoring Systems and the Efficacy of Acarbose Treatment in Cystic Fibrosis-related Dysglycemia, 2023, 13085727, 10.4274/jcrpe.galenos.2023.2023-2-12

Reader Comments

Your name:*

Email:*
© 2023 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(1815) PDF downloads(76) Cited by(2)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

Figures and Tables

Tables(1)

AIMS Mathematics

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

Related Papers:

Abstract

1. Introduction

2. Several lemmas

3. Results

4. Conclusions

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

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

Metrics

Figures and Tables

Other Articles By Authors

Catalog

AIMS Mathematics

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

Related Papers:

Abstract

1. Introduction

2. Several lemmas

3. Results

4. Conclusions

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

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

Metrics

Figures and Tables

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog