On Ikehara type Tauberian theorems with \(O(x^\gamma )\) remainders (Q1640166)

For \(x\geq 1\), let \(f\) denote a non-negative and non-decreasing function with Mellin transform \(F(s)=\int_{1}^{\infty }f(x)x^{-s-1}\,dx\). Assume that \( F(s)-A/(s-1)\) has a continuous extension to the halfplane \(\{\mathrm{Re }s\geq \alpha \}\). If \(\alpha =1\), \textit{S. Ikehara} [J. Math. Phys., Mass. Inst. Techn. 10, 1--12 (1931; JFM 57.0212.01; Zbl 0001.12902)] (see also [\textit{S. Bochner}, Math. Z. 37, 1--9 (1933; JFM 59.0252.01)]) proved that \(f(x)/x\rightarrow A\). In the present paper, the author takes \(\alpha \in (0,1)\) and, under suitable conditions on \(f\), proves that \(f(x)=Ax+O(x^{\gamma })\), where \(\gamma <1\).