English

Optimal Tauberian constant in Ingham's theorem for Laplace transforms

Classical Analysis and ODEs 2019-08-20 v3 Complex Variables Number Theory

Abstract

It is well known that there is an absolute constant C>0\mathfrak{C}>0 such that if the Laplace transform G(s)=0ρ(x)esxdxG(s)=\int_{0}^{\infty}\rho(x)e^{-s x}\:\mathrm{d}x of a bounded function ρ\rho has analytic continuation through every point of the segment (iλ,iλ)(-i\lambda ,i\lambda ) of the imaginary axis, then lim supx0xρ(u)duG(0)Cλlim supxρ(x). \limsup_{x\to\infty} \left|\int_{0}^{x}\rho(u)\:\mathrm{d}u - G(0)\right|\leq \frac{ \mathfrak{C}}{\lambda} \: \limsup_{x\to\infty} |\rho(x)|. The best known value of the constant C\mathfrak{C} was so far C=2\mathfrak{C}=2. In this article we show that the inequality holds with C=π/2\mathfrak{C}=\pi/2 and that this value is best possible. We also sharpen Tauberian constants in finite forms of other related complex Tauberian theorems for Laplace transforms.

Cite

@article{arxiv.1705.00667,
  title  = {Optimal Tauberian constant in Ingham's theorem for Laplace transforms},
  author = {Gregory Debruyne and Jasson Vindas},
  journal= {arXiv preprint arXiv:1705.00667},
  year   = {2019}
}

Comments

22 pages