A simple proof of the Wiener-Ikehara Tauberian theorem (Q6536730)

In this paper under review, the authors adopt a Fourier analytic approach to prove the Wiener-Ikehara Tauberian theorem. The technique is inspired by the method developed in the articles [\textit{D. H. J. Polymath}, Res. Math. Sci. 1, Paper No. 12, 83 p. (2014; Zbl 1365.11110)] and [\textit{A. Vatwani}, Czech. Math. J. 68, No. 1, 169--193 (2018; Zbl 1458.11140)] dealing with bounded gaps between consecutive primes and the higher rank sieve method. Their method allows to obtain explicit error terms. For instance, let \N\[\NG(s) =\sum_{t=1}^\infty \frac{b(t)}{t^s}\N\]\Nbe a Dirichlet series with non-negative coefficients. Suppose \N\[\NG(s)=\zeta^k(s)g(s),\N\]\Nwhere \(k \in \mathbb{N}\), \(g(s)\) is a Dirichlet series absolutely convergent in \(\Re(s) \geq 1\), with \(g(1) \neq 0\). Then, as \(x\to \infty\), \N\[\N\sum_{t\leq x} b(t)=\frac{R}{(k-1)!}x(\log x)^{k-1} +O(x(\log x)^{k-2}),\N\]\Nwhere \(R\) is the residue of \(G(s)\) at \(s = 1\).