No label defined (Q4673689)

Let \(f(s)=\sum_{m=1}^\infty a_m\exp(-\lambda_ms)\) be a general Dirichlet series with complex coefficients \(a_m\) and real exponents \(\lambda_m\), satisfying \(\lim_{m\to\infty}\lambda_m=+\infty\). Suppose that the series defining \(f(s)\) converges absolutely for \(\Re s>\sigma_a\), \(f(s)\) has an analytic continuation to the half-plane \(\Re s>\sigma_a-\sigma_0\) for some \(\sigma_0>0\) such that \(f(s)=O(| \Im s|^b)\) for some positive constant \(b\) and \[ \int_0^T| f(\sigma+it)|^2 \,dt=O(T). \] Under these mild assumptions on \(f(s)\), the author proves \[ \lim_{n\to\infty}\limsup_{T\to\infty}{1\over T}\int_0^T\sup_{s\in K}| f(s+i\tau)-f_n(s+i\tau)| \,d\tau=0, \] where \(K\) is a compact subset of the half-plane \(\Re s>\sigma_a-\sigma_0\) and \[ f_n(s):=\sum_{m=1}^\infty a_m\exp(-\exp(\lambda_m-\lambda_n)\sigma_1-\lambda s) \] for some \(\sigma_1>\sigma_0\) (which implies that this series converges absolutely for \(\Re s>\sigma_a-\sigma_0\)). Hence, \(f_n(s)\) approximates \(f(s)\) uniformly on \(K\); this kind of approximation is often useful in proofs of limit theorems.