Current browse context:
math.NT
Change to browse by:
References & Citations
Mathematics > Number Theory
Title: Multiplicative functions that are close to their mean
(Submitted on 14 Nov 2019 (v1), revised 18 Dec 2019 (this version, v2), latest version 18 Mar 2021 (v4))
Abstract: We introduce a simple approach to study partial sums of multiplicative functions which are close to their mean value. As a first application, we show that a completely multiplicative function $f : \mathbb{N} \to \mathbb{C}$ satisfies \begin{align*} \sum_{n\leq x}f(n)=cx+O(1) \end{align*} with $c\neq 0$ if and only if $f(p)=1$ for all but finitely many primes and $|f(p)|<1$ for the remaining primes. This answers a question of Imre Ruzsa.
For the case $c = 0,$ we show, under the additional hypothesis $\sum_{p : |f(p)| < 1} 1/p < \infty$, that $f$ has bounded partial sums if and only if $f(p) = \chi(p)p^{it}$ for some non-principal Dirichlet character $\chi$ modulo $q$ and $t \in \mathbb{R}$ except on a finite set of primes that contains the primes dividing $q$, wherein $|f(p)| < 1.$ This essentially resolves another problem of Ruzsa and generalizes previous work of the first and the second author on Chudakov's conjecture. We also consider some other applications, which include a proof of a recent conjecture of Aymone concerning the discrepancy of square-free supported multiplicative functions.
Submission history
From: Oleksiy Klurman [view email][v1] Thu, 14 Nov 2019 17:42:30 GMT (23kb,D)
[v2] Wed, 18 Dec 2019 23:19:18 GMT (24kb,D)
[v3] Sun, 13 Dec 2020 22:48:51 GMT (23kb,D)
[v4] Thu, 18 Mar 2021 09:05:44 GMT (25kb,D)
Link back to: arXiv, form interface, contact.