Arithmetic functions at factorial arguments


Jean-Marie De Koninck, William Verreault




For various arithmetic functions $f:\N \to \R$, the behavior of $f(n!)$ and that of $\sum_{n\leq N} f(n!)$ can be intriguing. For instance, for some functions $f$, we have ${f(n!)=\sum_{k\leq n}f(k)}$, for others, we have ${f(n!)=\sum_{p\leq n}f(p)}$ (where the sum runs over all the primes $p\leq n$). Also, for some $f$, their minimum order coincides with $\lim_{n\to \infty}f(n!)$, for others, it is their maximum order that does so. Here, we elucidate such phenomena and more generally, we embark on a study of $f(n!)$ and of $\sum_{n\leq N}f(n!)$ for a wide variety of arithmetical functions $f$. In particular, letting $d(n)$ and $\sigma(n)$ stand respectively for the number of positive divisors of $n$ and the sum of the positive divisors of $n$, we obtain new accurate asymptotic expansions for $d(n!)$ and $\sigma(n!)$. Furthermore, setting $\rho_1(n):=\max\{d\mid n:d\leq \sqrt n\}$ and observing that no one has yet obtained an asymptotic value for $\sum_{n\leq N}\rho_1(n)$ as $N\to \infty$, we show how one can obtain the asymptotic value of $\sum_{n\leq N} \rho_1(n!)$.