On a sum involving the Euler function (Q5919530): Difference between revisions

Let \(f\) be any arithmetic function. In the paper under review, the author studies the sum \(S_f(x)=\sum_{n\leq x}f([x/n])\). Assuming that \(f(n)\ll n^{\alpha}(\log n)^{\theta}\) for some fixed real numbers \(\alpha\in[0,1)\) and \(\theta>0\), the author shows that \[ S_f(x)=C_f\,x+O(x^{\frac{1+\alpha}{2}}(\log x)^{\theta}), \] where \(C_f=\sum_{n\geq 1}f(n)/(n(n+1))\). Also, assuming that \(f(n)\ll n^{\alpha}(\log n)^{\theta}\) and \(\sum_{n\leq b}|f(n)|\ll b^{1+\beta}(\log b)^\eta\) with \(b\geq 2\) for some fixed real numbers \(\alpha\in[0,1)\), \(\beta\in[0,\alpha)\) and \(\theta>0\), the author shows that \[ S_f(x)=C_f\,x+O(x^{\frac{1+\beta}{2-\alpha+\beta}}(\log x)^\frac{\theta(1+\beta)+\eta(1-\alpha)}{2-\alpha+\beta}). \] The author considers the more precise case \(f=\varphi\), the Euler function, and shows that \[ S_\varphi(x)=\frac{6}{\pi^2}\,x\log x+O(x(\log x)^\frac{2}{3}(\log\log x)^\frac{1}{3}), \] and \[ S_\varphi(x)=\frac{6}{\pi^2}\,x\log x+\Omega(x). \]