Abstract and Applied Analysis

Volume 2013 (2013), Article ID 760505, 6 pages

http://dx.doi.org/10.1155/2013/760505

Research Article

On the Hybrid Mean Value Involving Kloosterman Sums and Sums Analogous to Dedekind Sums

Di Han and Wenpeng Zhang

Department of Mathematics, Northwest University, Xi'an, Shaanxi 710127, China

Received 3 July 2013; Accepted 19 September 2013

Academic Editor: Claudia Timofte

Copyright © 2013 Di Han and Wenpeng Zhang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The main purpose of this paper is using the properties of Gauss sums and the mean value theorem of Dirichlet -functions to study one kind of hybrid mean value problems involving Kloosterman sums and sums analogous to Dedekind sums and give two exact computational formulae for them.

1. Introduction

Let be a natural number and let be an integer prime to . The classical Dedekind sums

where

describe the behaviour of the logarithm of the eta-function (see [1, 2]) under modular transformations. Gandhi [3] also introduced another sum analogous to Dedekind sums as follows:

where denotes any positive even number and denotes any integer with .

About the arithmetical properties of and related sums, many authors had studied them and obtained a series of interesting results; see [1–9]. For example, the second author [7] proved the following conclusion.

Let be a positive integer with and . Then we have the asymptotic formula

where denotes the summation over all integers such that , denotes the product over all prime divisors of such that and , is the Euler function, and .

The sum is important, because it has close relations with the classical Dedekind sums . But unfortunately, so far, we knew that all results of are the properties of their own, or the relationships between and , and had nothing to do with the other arithmetic functions. If we can find some relations between and other arithmetic function, that will be very useful for further study of the properties of .

On the other hand, we introduce the classical Kloosterman sums , which are defined as follows. For any positive integer and integer ,

where denotes the solution of the congruence and .

Some elementary properties of can be found in [10, 11].

The main purpose of this paper is using the properties of the Gauss sums and the mean square value theorem of Dirichlet -functions to study a hybrid mean value problem involving and Kloosterman sums and give two exact computational formulae for them. That is, we will prove the following.

Theorem 1. Let be an odd prime. Then one has the identity

where .

Theorem 2. Let be an odd prime; then one has the identity

where denotes the class number of the quadratic field .

2. Several Lemmas

In this section, we will give several lemmas, which are necessary in the proof of our theorems. Hereinafter, we will use many properties of Gauss sums, all of which can be found in [12], so they will not be repeated here. First we have the following.

Lemma 3. Let be an odd prime; then one has the identity

Proof. It is clear that if pass through a complete residue system , then also pass through a complete residue system . So for any nonprincipal character , from the properties of Gauss sums (see Theorem 8.9 of [12])

we have the identity

This proves Lemma 3.

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 [8].

Lemma 5. Let be an odd prime. Then for any odd number with , one has the identity

where satisfies the congruence .

Proof. Note that the divisors of are , and . So from Lemma 4 and the definition of and we have

where denotes the principal character .

From the Euler infinite product formula (see Theorem 11.6 of [12]) we have,

where denotes the product over all primes .

From Lemma 4 we also have the identity

Note that is an odd number; combining (14), (15), and (16) we have the identity

This proves Lemma 5.

Lemma 6. Let be an odd prime. Then one has the identities

(A)

(B)

Proof. From the definition of Dedekind sums we have

If , then, from (20) and noting that the reciprocity theorem of Dedekind sums (see [5]), we have the computational formula

Now taking in (21), from (16) we may immediately deduce the identity

Taking in (21), from (16) we can also deduce the identity

Now Lemma 6 follows from (22) and (23).

3. Proof of the Theorems

In this section, we will complete the proof of our theorems. First we prove Theorem 1. Note that if is a nonprincipal character , then and

From (24) and Lemmas 4, 5, and 6 we have

This proves Theorem 1.

Now we prove Theorem 2. If , then from Lemmas 3, 5, and 6 we have

If , then note that the Legendre symbol , (see Dirichlet's class number formula, Chapter 6 of [13]), and

so from Lemmas 3, 5, and 6 we have

Note that if ; and if , from (28) we may immediately deduce

Now Theorem 2 follows from (26) and (29).

This completes the proofs of all results.

Acknowledgments

The authors would like to thank the referee for their very helpful and detailed comments, which have significantly improved the presentation of this paper. This work is supported by the NSF (11071194) of China.

References

H. Rademacher, “On the transformation of log ,” Journal of the Indian Mathematical Society, vol. 19, pp. 25–30, 1955.

H. Rademacher, Dedekind Sums, Carus Mathematical Monographs, Mathematical Association of America, Washington, DC, USA, 1972.

J. M. Gandhi, “On sums analogous to Dedekind sums,” in Proceedings of the 5th Manitoba Conference on Numerical Mathematics, pp. 647–655, Winnipeg, Mantiboba, 1975.

B. C. Berndt, “Analytic Eisenstein series, theta-functions, and series relations in the spirit of Ramanujan,” Journal für die Reine und Angewandte Mathematik, vol. 1978, no. 303-304, pp. 332–365, 2009.

L. Carlitz, “The reciprocity theorem of Dedekind sums,” Pacific Journal of Mathematics, vol. 3, no. 3, pp. 513–522, 1953.

J. B. Conrey, E. Fransen, R. Klein, and C. Scott, “Mean values of Dedekind sums,” Journal of Number Theory, vol. 56, no. 2, pp. 214–226, 1996.

W. Zhang, “A sum analogous to the Dedekind sum and its mean value formula,” Journal of Number Theory, vol. 89, no. 1, pp. 1–13, 2001.

Z. Wenpeng, “On the mean values of Dedekind sums,” Journal de Theorie des Nombres de BorDeaux, vol. 8, no. 2, pp. 429–442, 1996.

R. Sitaramachandraro, “Dedekind and Hardy sums,” Acta Arithmetica, vol. 48, no. 4, pp. 325–340, 1987.

S. Chowla, “On Kloosterman's sums,” Det Kongelige Norske Videnskabers Selskabs Forhandlinger, vol. 40, pp. 70–72, 1967.

A. V. Malyshev, “A generalization of Kloosterman sums and their estimates,” Vestnik Leningrad University, vol. 15, pp. 59–75, 1960 (Russian).

T. M. Apostol, Introduction to Analytic Number Theory, Springer, New York, NY, USA, 1976.

H. Davenport, Multiplicative Number Theory, Markham, Chicago, Ill, USA, 1967.