A higher order Levin-Faĭnleĭb theorem (Q2682387)

Let \(f\) be a non-negative multiplicative function, and define the associated arithmetic function \(\Lambda_f\) by \(\Lambda_f(n)=0\) when \(n\) is not a prime power, and otherwise by the formal power expansion \[ \sum_{k=0}^\infty\frac{\Lambda_f(p^k)}{p^{ks}}=\left(\sum_{k=1}^\infty\frac{f(p^k)\log p}{p^{ks}}\right)\left(\sum_{k=0}^\infty\frac{f(p^k)}{p^{ks}}\right)^{-1}. \] The authors assume validity of the approximation \[ \sum_{n\leq x}\frac{\Lambda_f(n)}{n}=\kappa\log x+\eta_0+E, \] for any \(x\geq 1\), for some integer \(h\geq 0\), and for some constants \(\kappa\geq 0\), \(A>0\) and \(\eta_0\) with \(|E|\leq A/\log^h(2x)\). They further assume that \(|\eta_0|\leq A\). Then, they deduce that there exist constants \(a_1, \dots, a_h\) such that \begin{multline*} \sum_{n\leq x}\frac{f(n)}{n}\,(\log n)^{h+1}=C\left(\log x\right)^{\kappa+h+1}\left(1+\frac{a_1}{\log x}+\dots+\frac{a_h}{\log^h x}\right)\\ +O_{A,\kappa, h}((\log x)^\kappa(\log\log(3x))^{(h+1)(h+2)/2}), \end{multline*} and the constant \(C\) determined explicitly. Meanwhile, the authors study several properties of the arithmetic function \(\Lambda_f\) and some generalizations of it, by using Faà di Bruno formula. Approximate solutions of an Euler differential equation has been used among other techniques for the proof.