On some sums involving small arithmetic functions
type: Item
instance of: scholarly article
title: On some sums involving small arithmetic functions
author: Wenguang Zhai
publication date: 2024-11-20T00:00:00Z
review text: The article under review belongs to the papers dealing with sums of the shape \[S_f(x) := \sum_{n \leqslant x} f \left \lfloor x/n \right \rfloor\] a topic which has been introduced in [\textit{O. Bordellès} et al., J. Number Theory 202, 278--297 (2019; Zbl 1454.11009)], in which it is proven that, assuming \(f(n) \ll n^{\alpha} (\log n)^{\theta}\) and \(0 \leqslant \alpha < 1\) \[S_f(x) = x \sum_{n \geqslant 1} \frac{f(n)}{n(n+1)} + E_f(x)\] where \(E_f(x) \ll x^{\frac{1+\alpha}{2}} (\log x)^{\theta}\). In this work, assuming that \(f\) satisfies the Ramanujan hypothesis \(f(n) \ll n^{\varepsilon}\), the main aim of this paper is twofold: firstly, the author investigates the mean square of \(E_f(x)\), showing that \[\int_T^{2T} \left| E_f(x)\right|^{2} \, \mathrm{d}x \ll T^{9/5+\varepsilon} \quad \left( T \geqslant 10 \right).\] Secondly, the author proves that, if \(k \geqslant 2\) and \(\ell \geqslant 1\) are two fixed integers and if \(f \in \{ \tau_k, \mu_\ell,\Lambda_\ell,\omega_\ell\}\), then \(E_f(x) \ll x^{8/17+\varepsilon}\), where the notation \(g_\ell\) means \[g_\ell(n) := \sum_{n=n_1 \dotsb n_\ell} g(n_1) \dotsb g(n_\ell)\] for any arithmetic function \(g\). As a corollary, the author gets \[\sum_{\substack{n \leqslant x \\\N\lfloor x/n \rfloor \: \mathrm{prime} }} 1 = x \sum_{p} \frac{1}{p(p+1)} + O \left( x^{8/17+\varepsilon} \right) \] improving the result obtained in [\textit{R. Heyman}, Integers 22, Paper A59, 10 p. (2022; Zbl 1504.11095)] and in [\textit{R. Ma} and \textit{J. Wu}, Bull. Aust. Math. Soc. 108, No. 2, 236--243 (2023; Zbl 1537.11124)]. The proof rests on some usual techniques in analytic number theory, such as Vaaler's approximation of the first Bernoulli function, exponential sums techniques involving some spacing problems, and also two precise estimates of some specific sums of types I and II.
reviewed by: Olivier Bordellès
Mathematics Subject Classification ID: 11L07
Mathematics Subject Classification ID: 11N37
zbMATH DE Number: 7946958
zbMATH Keywords: small arithmetic function
zbMATH Keywords: exponential sum
zbMATH Keywords: asymptotic formula
MaRDI profile type: MaRDI publication profile
cites work: On certain sums of number theory
cites work: On a sum involving the Euler function
cites work: Exponential sums with monomials
cites work: The Pjateckii-Sapiro prime number theorem
cites work: Primes in floor function sets
cites work: Q4692762
cites work: A variant of the prime number theorem
cites work: On some sums involving the integral part function
cites work: On a sum involving certain arithmetic functions and the integral part function
cites work: On a sum involving the divisor function
cites work: On a sum involving the Mangoldt function
cites work: ON THE PRIMES IN FLOOR FUNCTION SETS
cites work: Three-dimensional exponential sums with monomials
cites work: The fractional sum of small arithmetic functions
cites work: Some extremal functions in Fourier analysis
cites work: On a sum involving the Euler totient function
cites work: Note on a paper by Bordellès, Dai, Heyman, Pan and Shparlinski
cites work: On the average number of direct factors of a finite abelian group
cites work: On a sum involving small arithmetic functions
cites work: On the average numer of unitary factors of finite abelian groups. II
cites work: On the average number of direct factors of finite abelian groups
published in: Acta Mathematica Sinica, English Series
DOI: 10.1007/S10114-024-2129-Y
description: scientific article; zbMATH DE number 7946958