Optimal Tauberian constant in Ingham's theorem for Laplace transforms (Q1618128): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2875174904 / rank | |||
Normal rank |
Revision as of 02:40, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Optimal Tauberian constant in Ingham's theorem for Laplace transforms |
scientific article |
Statements
Optimal Tauberian constant in Ingham's theorem for Laplace transforms (English)
0 references
13 November 2018
0 references
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.
0 references
Laplace transform
0 references
Tauberian theorem
0 references
one-sided Tauberian condition
0 references
two-sided Tauberian condition
0 references
local pseudofunction boundary behavior
0 references
sharp estimate.
0 references