The structure of multiplicative functions with small partial sums
The Landau-Selberg-Delange method provides an asymptotic formula for the partial sums of a multiplicative function whose average value on primes is a fixed complex number v. The shape of this asymptotic implies that f can get very small on average only if v=0,−1,−2,…. Moreover, if v<0, then the Dirichlet series associated to f must have a zero of multiplicity −v at s=1. In this paper, we prove a converse result that shows that if f is a multiplicative function that is bounded by a suitable divisor function, and f has very small partial sums, then there must be finitely many real numbers γ1, …, γm such that f(p)≈−piγ1−⋯−p−iγm on average. The numbers γj correspond to ordinates of zeroes of the Dirichlet series associated to f, counted with multiplicity. This generalizes a result of the first author, who handled the case when ∣f∣≤1 in previous work.