Sur la régularité des fonctions additives (Q2557725)

The author ingeniously generalizes a well-known result of \textit{P. Erdős} [Ann. Math. (2) 47, 1--20 (1946; Zbl 0061.07902)] to the effect that if \(f: \mathbb N \to \mathbb R\) is an additive function such that \(f(n+1 ) - f(n) = o(1)\) \((n\to +\infty)\) then \(f(n) = C \,\operatorname{Log} n\). It is shown that if \(f: \mathbb N \to \mathbb C\) is additive and \(\exists \ell\in\mathbb C\) such that \(\displaystyle \lim_{n\to +\infty} \{f(2n+1) - f (n)\} = \ell\) then \(f\) is completely additive, and applying Erdős' result \(f(n) = \frac{\ell}{\operatorname{Log} 2}\operatorname{Log} n\). More generally if \(\vert f(2n+1 ) - f(n)\vert\) is bounded above for all \(n\in \mathbb N^*\) then \(f(n ) = C \,\operatorname{Log} n + g(n)\) where \(C\) is a constant and \(g\) is a bounded additive function. This second conclusion depends on a result of \textit{E. Wirsing} [Sympos Math., Roma 4, Teoria Numeri, Dic. 1968, e Algebra, Marzo 1969, 45--57 (1970; Zbl 0223.10036)] to the effect that if \(f\) is additive and \(f(n+1) - f (n) = O(1)\) then \(f(n ) = C\, \operatorname{Log} n + g(n)\) where \(g\) is a bounded additive function.