Skip to main content

On the classical Gauss sum and the recursive properties

Abstract

Let p be a prime with \(p\equiv1\bmod8\), ψ be an eighth character modp, and \(\tau(\psi)\) denote the classical Gauss sum modp. The main purpose of this paper is using the analytic method and the properties of the classical Gauss sum to study the computational problem of one kind rational polynomial of \(\tau(\psi)\). In the end, we prove an interesting second-order linear recursive formula for it.

Introduction

For any positive integer \(q\geq2\) and Dirichlet character \(\chi\bmod q\), the classical Gauss sum \(\tau(\chi)\) is defined as

$$\tau(\chi) = \sum_{a=1}^{q}\chi(a) e \biggl(\frac{a }{q} \biggr), $$

where \(e(y) = e^{2\pi i y}\).

This sum is very important in the study of the analytic number theory, so many authors had studied its elementary properties, and obtained a series of important results. In fact, if χ is a primitive character modq, then one has the identity \(|\tau(\chi)|=\sqrt{q}\). For the general character \(\chi\bmod q\), we have the estimate \(|\tau (\chi)|\leq\sqrt{q}\). From some special characters \(\chi\bmod q\), the Gauss sum \(\tau(\chi)\) has some interesting properties. For example, if p is a prime with \(p\equiv1\bmod3\), and ψ is any third-order character \(\bmod\ p\), then we have the identity [1, 2]

$$\tau^{3} (\psi )+ \tau^{3} (\overline{\psi} )=dp, $$

where d is uniquely determined by \(4p=d^{2}+27b^{2}\) and \(d\equiv1\bmod 3\).

Zhuoyu Chen and Wenpeng Zhang [3] obtained a similar formula for the quartic Gauss sum (see Lemma 2 below). Of course, there are also many similar results, and we are not going to list them here. The reader can refer to Refs. [47] and [8] for details.

In this paper, we are considering such a sequence \(F_{k}(p)\) as follows: Let p be a prime with \(p\equiv1\bmod8\), ψ be any eighth-order character modp. For any integer \(k\geq0\), we define the sequence \(F_{k}(p)\) as

$$ F_{k}(p)=\frac{\tau^{k} (\psi )}{\tau^{k} (\psi^{3} )}+ \frac {\tau^{k} (\psi^{3} )}{\tau^{k}(\psi)}. $$
(1)

The sequence \(F_{k}(p)\) defined in (1) is clearly a second-order linear recurrence sequence. However, to find the exact value of this sequence, noting that \(F_{0}(p)=2\), we must know its first term \(F_{1}(p)\). Generally, \(F_{1}(p)\) is very difficult to calculate. But if ψ is an eighth-order character modp, then we can deduce some interesting results. In this paper, we will focus on illustrating this point. That is, we shall prove the following two results.

Theorem 1

Let p be a prime with \(p\equiv1\bmod8\), then, for any integer \(k\geq2\), we have the second-order linear recursive formula

$$F_{k}(p)=C\cdot F_{k-1}(p)- F_{k-2}(p), $$

where \(F_{0}(p)=2\), \(C=F_{1}(p)=\pm\sqrt{2+\frac{2\alpha}{\sqrt{p}}}\), and the constant \(\alpha=\alpha(p)\) is an integer, which is closely related to prime p.

In fact, we have a very important square-sum formula,

$$p= \Biggl(\sum_{a=1}^{\frac{p-1}{2}} \biggl( \frac{a+\overline{a}}{p} \biggr) \Biggr)^{2}+ \Biggl(\sum _{a=1}^{\frac{p-1}{2}} \biggl(\frac{ra+\overline {a}}{p} \biggr) \Biggr)^{2}\equiv\alpha^{2}+\beta^{2}, $$

where \((\frac{*}{p} )\) denotes the Legendre symbol modp, r is any integer with \((\frac{r}{p} )=-1\) (see Theorem 4-11 in [9]).

Theorem 2

Let p be a prime with \(p\equiv1\bmod8\), then, for any real number \(k\geq2\), we have the second-order linear recursive formula

$$F_{2k}(p)=\frac{2\alpha}{\sqrt{p}}\cdot F_{2k-2}(p)- F_{2k-4}(p), $$

where \(F_{0}(p)=2\) and \(F_{2}(p)=\frac{2\alpha}{\sqrt{p}}\).

Since \(|\alpha|\leq\sqrt{p}\), the two roots of the equation \(x^{2}-\frac {2\alpha}{\sqrt{p}}x+1=0\) are

$$x_{1}=\frac{\alpha+i\sqrt{p-\alpha^{2}}}{\sqrt{p}} \quad\mbox{and}\quad x_{2}=\frac{\alpha-i\sqrt{p-\alpha^{2}}}{\sqrt{p}}, $$

where i is the imaginary unit. That is, \(i^{2}=-1\).

Therefore, from the properties of the second-order linear recursive sequence we have the computational formula

$$F_{2k}(p)= \biggl(\frac{\alpha+i\sqrt{p-\alpha^{2}}}{\sqrt{p}} \biggr)^{k}+ \biggl( \frac{\alpha+i\sqrt{p-\alpha^{2}}}{\sqrt{p}} \biggr)^{k}. $$

Some notes: How to determine the positive or negative signs of \(C=F_{1}(p)\) in Theorem 1 is an interesting open problem.

It is clear that \(\phi(5)=\phi(8)=\phi(12)=4\). Therefore, whether there is a similar second-order linear recurrence formula for the fifth-order (or twelfth-order) character modp remains to be further studied.

Several lemmas

In this section, we need to prove several simple lemmas, which is necessary in the proofs of our theorems. Hereinafter, we shall use many properties of the classical Gauss sum and Dirichlet characters modp (an odd prime); all of them can be found in Ref. [10], so they will not be repeated here.

Lemma 1

Let p be a prime with \(p\equiv1\bmod8\), ψ be an eighth-order character modp. Then we have the identity

$$\tau^{2} \bigl(\overline{\psi}^{2} \bigr)=p\cdot \frac{\tau^{2} (\psi ^{3} )}{\tau^{2}(\psi)}. $$

Proof

Since \(p\equiv1\bmod8\), there exist 4 eighth-order characters modp, let ψ be one of them; \(\chi_{2}\) denotes the Legendre symbol modp. For any integer m with \((m, p)=1\), note that we have the identities \(\overline{\psi}\chi_{2}=\psi^{3}\) and

$$\sum_{a=0}^{p-1}e \biggl(\frac{ma^{2}}{p} \biggr)= \sum_{a=0}^{p-1} \bigl(1+ \chi_{2}(a) \bigr)e \biggl(\frac{ma}{p} \biggr)= \chi_{2}(m)\tau(\chi_{2})=\chi _{2}(m)\sqrt{p}, $$

from the properties of the classical Gauss sum we have

$$\begin{aligned} \sum_{a=0}^{p-1}\psi \bigl(a^{2}-1 \bigr) =&\frac{1}{\tau (\overline {\psi} )}\sum_{a=0}^{p-1}\sum _{b=1}^{p-1}\overline{\psi}(b)e \biggl( \frac{b (a^{2}-1 )}{p} \biggr) \\ =&\frac{1}{\tau (\overline{\psi} )}\sum_{b=1}^{p-1} \overline {\psi}(b)e \biggl(\frac{-b}{p} \biggr)\sum _{a=0}^{p-1}e \biggl(\frac {ba^{2}}{p} \biggr) \\ =& \frac{\sqrt{p}}{\tau (\overline{\psi} )}\sum_{b=1}^{p-1}\overline{ \psi}(b)\chi_{2}(b)e \biggl(\frac{-b}{p} \biggr) \\ =&\frac{\psi(-1)\sqrt{p}}{\tau (\overline{\psi} )}\sum_{b=1}^{p-1} \psi^{3}(b)e \biggl(\frac{b}{p} \biggr) \\ =&\frac{\psi(-1)\sqrt {p}\cdot\tau (\psi^{3} )}{\tau (\overline{\psi} )}. \end{aligned}$$
(2)

On the other hand, from the properties of the classical Gauss sum we also have

$$\begin{aligned} \sum_{a=0}^{p-1}\psi \bigl(a^{2}-1 \bigr) =&\sum_{a=0}^{p-1}\psi \bigl((a+1)^{2}-1 \bigr)=\sum_{a=1}^{p-1} \psi \bigl(a(a+2) \bigr) \\ =&\frac{1}{\tau (\overline{\psi} )}\sum_{b=1}^{p-1} \overline {\psi}(b)\sum_{a=1}^{p-1}\psi(a)e \biggl(\frac{b(a+2)}{p} \biggr) =\frac{\tau(\psi)}{\tau (\overline{\psi} )}\sum _{b=1}^{p-1}\overline{\psi}^{2}(b)e \biggl( \frac{2b}{p} \biggr) \\ =&\psi^{2}(2)\cdot\frac{\tau (\overline{\psi}^{2} )\tau(\psi )}{\tau (\overline{\psi} )}. \end{aligned}$$
(3)

Note that \(\psi^{4}=\chi_{2}\) and \(\chi_{2}(2)=1\), from (2) and (3) we have the identity

$$\tau^{2} \bigl(\overline{\psi}^{2} \bigr)=p\cdot \frac{\tau^{2} (\psi ^{3} )}{\tau^{2}(\psi)}. $$

This proves Lemma 1. □

Lemma 2

Let p be an odd prime with \(p\equiv1\bmod4\), λ be any fourth-order character modp. Then we have the identity

$$\tau^{2}(\lambda)+ \tau^{2} (\overline{\lambda} )=\sqrt{p} \cdot \sum_{a=1}^{p-1} \biggl( \frac{a+\overline{a}}{p} \biggr)= 2\sqrt{p}\cdot\alpha. $$

Proof

See Lemma 2.2 in [3]. □

Lemma 3

Let p be a prime with \(p\equiv1 \bmod 8\), ψ be an eighth-order character modp. Then we have the identity

$$\frac{\tau^{2} (\psi )}{\tau^{2} (\psi^{3} )}+ \frac{\tau ^{2} (\psi^{3} )}{\tau^{2}(\psi)}=\frac{2\alpha}{\sqrt{p}}, $$

where α is defined as in Theorem 1.

Proof

It it clear that if ψ is an eighth-order character modp, then \(\psi^{3}\) is also an eighth-order character modp. So substituting ψ by \(\psi^{3}\) in Lemma 1, and noting that \(\psi ^{9}=\psi\), \(\overline{\psi}^{6}=\psi^{2}\), from Lemma 1 we have

$$ \tau^{2} \bigl(\psi^{2} \bigr)=p\cdot\frac{\tau^{2} (\psi )}{\tau ^{2} (\psi^{3} )}. $$
(4)

Note that \(\psi^{2}\) is a fourth-order character modp, from (4), Lemma 1 and Lemma 2 we may immediately deduce the identity

$$p \biggl(\frac{\tau^{2} (\psi )}{\tau^{2} (\psi^{3} )}+ \frac {\tau^{2} (\psi^{3} )}{\tau^{2}(\psi)} \biggr)= \tau^{2} \bigl(\psi ^{2} \bigr)+\tau^{2} \bigl(\overline{ \psi}^{2} \bigr)=2\sqrt{p}\cdot\alpha, $$

which implies the identity

$$\frac{\tau^{2} (\psi )}{\tau^{2} (\psi^{3} )}+ \frac{\tau ^{2} (\psi^{3} )}{\tau^{2}(\psi)}=\frac{2\alpha}{\sqrt{p}}. $$

This proves Lemma 3. □

Proofs of the theorems

Now we will complete the proofs of our main results. First we prove Theorem 1. Let p be a prime with \(p\equiv1\bmod8\), ψ be an eighth-order character modp. For any integer \(k\geq0\), we define

$$F_{k}(p)=\frac{\tau^{k} (\psi )}{\tau^{k} (\psi^{3} )}+ \frac {\tau^{k} (\psi^{3} )}{\tau^{k}(\psi)}. $$

It is clear that from Lemma 3 we have \(F_{0}(p)=2\) and

$$ \frac{2\alpha}{\sqrt{p}}+2= \frac{\tau^{2} (\psi )}{\tau^{2} (\psi^{3} )}+ \frac{\tau^{2} (\psi^{3} )}{\tau^{2}(\psi)}+2= \biggl( \frac{\tau (\psi )}{\tau (\psi^{3} )}+ \frac{\tau (\psi^{3} )}{\tau(\psi)} \biggr)^{2}. $$
(5)

From (5) we can deduce that

$$ F_{1}(p)=\pm\sqrt{2 \biggl(1+\frac{\alpha}{\sqrt{p}} \biggr)}=C. $$
(6)

If \(k\geq1\), then from the definition of \(F_{k}(p)\) we have

$$\begin{aligned} F_{k}(p)\cdot F_{1}(p)= \biggl(\frac{\tau^{k} (\psi )}{\tau^{k} (\psi ^{3} )}+ \frac{\tau^{k} (\psi^{3} )}{\tau^{k}(\psi)} \biggr) \biggl(\frac{\tau (\psi )}{\tau (\psi^{3} )}+ \frac{\tau (\psi^{3} )}{\tau(\psi)} \biggr) =F_{k+1}(p)+F_{k-1}(p) \end{aligned}$$

or the second-order linear recursive formula

$$F_{k+1}(p)=C\cdot F_{k}(p)-F_{k-1}(p), $$

where \(F_{0}(p)=2\) and \(F_{1}(p)=\pm\sqrt{2 (1+\frac{\alpha}{\sqrt {p}} )}\).

This proves Theorem 1.

Similarly, we can deduce Theorem 2. In fact, for any integer \(k\geq1\), from Lemma 3 we have

$$\frac{2\alpha}{\sqrt{p}}\cdot F_{2k}(p)= \biggl(\frac{\tau^{2} (\psi )}{\tau^{2} (\psi^{3} )}+ \frac{\tau^{2} (\psi^{3} )}{\tau^{2}(\psi)} \biggr) \biggl(\frac{\tau^{2k} (\psi )}{\tau ^{2k} (\psi^{3} )}+ \frac{\tau^{2k} (\psi^{3} )}{\tau ^{2k}(\psi)} \biggr)=F_{2k+2}(p)+F_{2k-2}(p) $$

or the second-order linear recursive formula

$$F_{2k}(p)= \frac{2\alpha}{\sqrt{p}}\cdot F_{2k-2}(p)+ F_{2k-4}(p), $$

where the first two terms are \(F_{0}(p)=2\) and \(F_{2}(p)=\frac{2\alpha }{\sqrt{p}}\).

This completes the proof of Theorem 2.

References

  1. Wenpeng, Z., Jiayuan, H.: The number of solutions of the diagonal cubic congruence equation modp. Math. Rep. 20(1), 70–76 (2018)

    Google Scholar 

  2. Berndt, B.C., Evans, R.J.: The determination of Gauss sums. Bull. Am. Math. Soc. 5, 107–128 (1981)

    MathSciNet  Article  Google Scholar 

  3. Zhuoyu, C., Wenpeng, Z.: On the fourth-order linear recurrence formula related to classical Gauss sums. Open Math. 15, 1251–1255 (2017)

    MathSciNet  Article  Google Scholar 

  4. Shimeng, S., Wenpeng, Z.: On the quartic Gauss sums and their recurrence property. Adv. Differ. Equ. 2017, 43 (2017)

    MathSciNet  Article  Google Scholar 

  5. Wenpeng, Z., Di, H.: On the sixth power mean of the two-term exponential sums. J. Number Theory 136, 403–413 (2014)

    MathSciNet  Article  Google Scholar 

  6. Li, C., Jiayuan, H.: A linear recurrence formula involving cubic Gauss sums and Kloosterman sums. Acta Math. Sinica (Chin. Ser.) 61, 67–72 (2018)

    MathSciNet  MATH  Google Scholar 

  7. Chowla, S., Cowles, J., Cowles, M.: On the number of zeros of diagonal cubic forms. J. Number Theory 9, 502–506 (1977)

    MathSciNet  Article  Google Scholar 

  8. Berndt, B.C., Evans, R.J.: Sums of Gauss, Jacobi, and Jacobsthal. J. Number Theory 11, 349–389 (1979)

    MathSciNet  Article  Google Scholar 

  9. Wenpeng, Z., Hailong, L.: Elementary Number Theory. Shaanxi Normal University Press, Xi’an (2013)

    Google Scholar 

  10. Apostol, T.M.: Introduction to Analytic Number Theory. Springer, New York (1976)

    MATH  Google Scholar 

Download references

Acknowledgements

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

Funding

This work was supported by the N. S. F. (2017MS0114) of Inner Mongolia and N. S. F. (11771351) of P.R. China.

Author information

Authors and Affiliations

Authors

Contributions

All authors have equally contributed to this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jiayuan Hu.

Ethics declarations

Competing interests

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

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Bai, H., Hu, J. On the classical Gauss sum and the recursive properties. Adv Differ Equ 2018, 387 (2018). https://doi.org/10.1186/s13662-018-1804-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1804-7

MSC

  • 11L05

Keywords

  • The classical Gauss sum
  • Eighth character
  • Rational polynomial
  • Second-order linear recursive formula
  • Analytic method