A Hybrid Mean Value Involving Dedekind Sums and the General Exponential Sums
The main purpose of this paper is using the analytic method, A. Weil’s classical work for the upper bound estimate of the general exponential sums, and the properties of Gauss sums to study the hybrid mean value problem involving Dedekind sums and the general exponential sums and give a sharp asymptotic formula for it.
For a positive integer and an arbitrary integer , the classical Dedekind sums are defined by where The various properties of were investigated by many authors; see [1–5]. For example, Conrey et al.  studied the mean value distribution of and proved the asymptotic formula where denotes the summation over all such that , and
Zhang  established a close contact between and the mean square value of Dirichlet -functions (see Lemma 4). Maybe the most important property of is its reciprocity theorem (see ). That is, for all positive integers and with , we have the identity
On the other hand, Liu and Zhang  studied the hybrid mean value problem involving and and proved the following conclusion.
Let be a square-full number; then where is the Ramanujan sum, defined as (see Theorem 8.6 of ) and is the famous Möbius function.
Weil  studied the upper bound estimate of the general exponential sums and proved the estimate (see Corollary 2F of [9, page 45]) where , is an odd prime, denotes the big- constant which depends only on , and is th integral coefficients polynomial with .
The content and form of this paper are different from the references [3, 6]. Conrey et al.  studied the general th power mean of Dedekind sums and obtained an asymptotic formula. Zhang  only obtained a relationship between and the mean square value of Dirichlet -functions. Our work is using Zhang’s result, Weil’s classical work for the upper bound estimate of the general exponential sums, and the properties of Gauss sums to study the hybrid mean value problem involving Dedekind sums and the general exponential sums and give a sharper asymptotic formula for it.
2. Main Theorems
In this paper, we will obtain the following two results.
Theorem 1. Let be an odd prime and let be any fixed positive integer. Suppose that is a polynomial with integral coefficients having and . Then we have the asymptotic formula where denotes the solution of the congruence equation .
For the classical Kloosterman sums, we can also obtain a similar conclusion. That is, we have the following.
Theorem 2. Let be an odd prime; then we have the asymptotic formula where denotes the classical Kloosterman sums.
3. Lemmas and Proofs of the Theorems
In order to complete the proof of our theorems, we need the following several simple lemmas. Hereinafter, we will use many definitions and properties of Gauss sums, Kloosterman sums, and character sums, all of which can be found in [7, 10–13], so they will not be repeated here. First we have the following.
Lemma 3. Let be an odd prime and let be the Dirichlet character . Then one has the estimate where denotes the summation over all odd characters .
Proof. From the method of proving Lemma 5 in  we may immediately deduce this estimate.
Lemma 4. Let be an integer; then for any integer with , one has the identity where denotes the Dirichlet -function corresponding to character .
Proof. See Lemma 2 of .
Lemma 5. Let be an odd prime; then one has the asymptotic formula
Proof. See the theorem and corollary of .
Proof of Theorem 1. From Lemma 4 with , an odd prime, we have From the definition of and the properties of Gauss sum, we have Note that for any nonprincipal character , we have . For any integer , since , the polynomial satisfying . Applying (9), we have the estimate Now combining (16), (17), (18), (19), and Lemma 3, we have the asymptotic formula This proves Theorem 1.
Conflict of Interests
The authors declare that they have no conflict of interests.
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 Specific Fundation of Xi’an University of Technology (no. 2013TS011) and the Specific Fundation for Talents of Northwest A&F University.
T. M. Apostol, Modular Functions and Dirichlet Series in Number Theory, Springer, New York, NY. USA, 1976.View at: MathSciNet
L. Carlitz, “The reciprocity theorem of Dedekind Sums,” Pacific Journal of Mathematics, vol. 3, pp. 513–522, 1953.View at: Google Scholar
T. M. Apostol, Introduction to Analytic Number Theory, Springer, New York, NY, USA, 1976.View at: MathSciNet
W. M. Schmidt, Equations Over Finite Fields—An Elementary Approach, Springer, New York, NY, USA, 1976.View at: MathSciNet
S. Chowla, On Kloostermann's Sum, vol. 40 of Kongelige Norske Videnskabers Selskab; Forhandlinger, 1967.
A. V. Malyshev, “A generalization of Kloostermann sums and their estimates,” Vestnik Leningrad University, vol. 15, pp. 59–75, 1960 (Russian).View at: Google Scholar