Optimal Tauberian constant in Ingham's theorem for Laplace transforms (Q1618128)

The purpose of this paper is to generalize and improve the following Tauberian theorem due to \textit{A. E. Ingham} [Proc. Lond. Math. Soc. (2) 38, 458--480 (1935; Zbl 0010.35202; JFM 61.0218.01)]. {Theorem 1.1.} Let \(\rho\in L^\infty[0,\infty)\). Assume there is a constant \(\lambda>0\) such that its Laplace transform \[ G(s)=\mathfrak{L}\{\rho;s\}=\int_0^\infty \rho(x)e^{-sx}\,dx \] possesses analytic continuation through every point of the segment \((-i\lambda, i\lambda)\) of the imaginary axis, and set \(b=G(0)\). Then, there exists an absolute constant \(\mathfrak{C}>0\) such that \[ \limsup_{x\to\infty} \left|\int_0^x\rho(u)\,du-b\right|\leq\frac{\mathfrak{C}}{\lambda} \,\limsup_{x\to\infty}|\rho(x)|. \tag{1} \] In a recent paper [``Complex Tauberian theorems for Laplace transforms with local pseudofunction boundary behavior'', J. Anal. Math. (to appear); \url{arxiv:1604.05069}], the authors have weakened the assumption of analytic continuation in Theorem 1.1 to the so-called local pseudofunction boundary behavior of the function \[ \frac{\mathfrak{L}\{\rho;s\}-b}{s}, \tag{2} \] which includes \(L^1_{loc}\)-extension. The main result in the present paper is the following optimal version of Theorem 1.1. {Theorem 1.2.} Let \(\rho\in L^\infty[0,\infty)\). If there are constants \(\lambda>0\) and \(b\) such that the function (2) admits local pseudofunction boundary behavior on \((-i\lambda, i\lambda)\), then (1) holds with \(\mathfrak{C}=\pi/2\). The constant \(\pi/2\) is sharp. The authors go on deriving several important consequences from this result. They optimize Tauberian constants in finite forms of other complex Tauberian theorems and obtain generalizations and corollaries of Theorem 1.2 under two-sided Tauberian conditions, while studying corresponding problems with one-sided Tauberian hypotheses. In particular, they prove the following stronger version of Ingham's theorem: {Theorem 1.3.} Let \(\rho\in L^1_{loc}[0,\infty)\) be such that its Laplace transform is convergent on the half-plane \(\Re s>0\). If there are constants \(\lambda>0\) and \(b\) such that (2) has local pseudofunction boundary behavior on \((-i\lambda, i\lambda)\), then \[ \limsup_{x\to\infty}\left|\int_0^x\rho(u)\,du-b\right|\leq\dfrac{\pi}{\lambda}\, \max\left\{-\liminf_{x\to\infty}\rho(x),0\right\}. \] The constant \(\pi\) is sharp.