On the moments of averages of Ramanujan sums

Shivani Goel,M. Ram Murty
2024-01-15
Abstract:Chan and Kumchev studied averages of the first and second moments of Ramanujan sums. In this article, we extend this investigation by estimating the higher moments of averages of Ramanujan sums using the Brèteche Tauberian theorem. We also give a result for the moments of averages of Cohen-Ramanujan sums.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the high - order moment estimation of Ramanujan sums. Specifically, the author extends Chan and Kumchev's research on the first - and second - order moments of Ramanujan sums, and uses the Brètèche Tauberian theorem to estimate the higher - order moments of Ramanujan sums. ### Specific problem description 1. **Background and motivation**: - Ramanujan sums were introduced by Srinivasa Ramanujan in 1918 and are defined as: \[ c_q(n) := \sum_{\substack{1 \leq j \leq n \\ (j, q) = 1}} e\left(\frac{nj}{q}\right) = \sum_{d \mid n} \mu\left(\frac{q}{d}\right) d \] where \( e(t) = e^{2\pi i t} \) and \(\mu\) is the Möbius function. - These sums have wide applications in number theory, such as in proving Vinogradov's ternary Goldbach problem, Waring - type formulas, etc. 2. **Existing research**: - Chan and Kumchev have studied the asymptotic formulas for the first - and second - order moments: \[ S_k(x, y) := \sum_{n \leq y} \left( \sum_{q \leq x} c_q(n) \right)^k \] for \( k = 1, 2 \). - Robles and Roy attempted to generalize to higher - order moments, but their results were found to be incorrect for \( k > 2 \). 3. **Main contributions of this paper**: - Using the Brètèche Tauberian theorem, the author derives the asymptotic behavior of the high - order moments of Ramanujan sums for \( k \geq 3 \). - The specific results are as follows: \[ S_k(x, y) = yx^k Q(\log x) + O(yx^{k-\theta}) \] where \( Q \in \mathbb{R}[X] \) is a polynomial of exact degree \( 2k - 2k - 1 \) and \( 0 \leq \theta \leq 1 \). 4. **Significance**: - This result is of great significance for the development of the theory of multivariate arithmetic functions. - It corrects some errors in previous work and provides more accurate estimates. Through these studies, the author not only deepens the understanding of Ramanujan sums but also lays the foundation for further research on related problems.