[Math] Can we extract information about how fast a function decay from its Laplace transform

ca.classical-analysis-and-odesfa.functional-analysisfourier analysislaplace transformpr.probability

My question is whether we can extract information about how fast an integrable function converges to zero by looking at the asymptotics of its Laplace transform.

More concrete case, let $f:\mathbb{R} \to \mathbb{R}_+$ be a smooth function in $L^1(\mathbb{R})$. If we know that its Laplace transform exists on the positive real axis and:

$\int_{\mathbb{R}} f(x) e^{sx} {\rm d}x \geq e^{\frac{s^2}{2}}, \quad \forall s > 0$,

can we conclude that the speed that $f$ converge to zero cannot be faster than $e^{-\frac{x^2}{2}}$, say,

$\liminf_{|x| \to \infty} \frac{f(x)}{e^{\frac{-x^2}{2} (1 – \epsilon)}} > 0$

for some small $\epsilon \in (0, 1)$? In a more probabilistic setup, if we know the moment generating function is lower bounded by that of Gaussian, can we conclude that it is "super-Gaussian"? I know that the other direction seems to be true and is called sub-Gaussian.

If the information on the right-half real axis is not enough, do we need to know more? Will Fourier transform be more helpful? How about the other direction, i.e., lower bound on the Laplace transform and upper bound on the decay of $f$?

Best Answer

Can you control the oscillation of f(x) as x increases? If you can show that the ratio of f(x) to your 'simplified' form is 'slowly varying' then your asymptotics will probably work out.

A simple example of what you cannot afford is a log-periodic oscillation; this is because the limits of oscillation of the function and Laplace transform need not agree. The simplest example of a log-periodic oscillation is a complex exponential:

$\int_{0}^{\infty }e^{-st}t^{\alpha +i\beta }dt=\left[ \frac{\Gamma \left( \alpha +i\beta +1\right) }{\Gamma \left( \alpha +1\right) }e^{i\beta \log t}\right] \frac{\Gamma \left( \alpha +1\right) }{s}s^{-\alpha }$

In a sense you can view the imaginary part of the exponential as a 'wobbly constant' which changes more and more slowly. The point is the amplitude of the wobble in the transform depends on β but not for the function.

If you do have this sort of problem (it happens all the time in analysis of algorithms and chaotic dynamics) then you can for example resort to the 'gamma function method' of DeBruijn.

The same thing holds true for the moment question. If you look up a counterexample for the moment problem, (e.g. Feller volume II p. 227) you see the ubiquitous log-periodic oscillation.

Not surprisingly the log-periodic oscillation also shows up in convergence questions of Fourier series, but there it is not oscillating more and more slowly, but faster and faster.

Related Question