If $\int_0^\infty {e^{-\lambda t}f(t){\rm d}t} = 0$ for all $\lambda >0$ then $f=0$ a.e.?

This is pretty easy to prove with Dynkin's multiplicative system theorem:

Theorem. Suppose $H$ is a vector space of bounded measurable functions on some measurable space $X$, which contains the constants and is closed under bounded pointwise convergence of sequences (i.e. if $f_n \in H$, $f_n \to f$ pointwise, and $|f_n| \le C$ for all $n$, then $f \in H$). Suppose $M \subset H$ is closed under pointwise multiplication, and let $\mathcal{G}$ be the $\sigma$-algebra generated by $M$ (i.e. the smallest $\sigma$-algebra on $X$ that makes all functions from $M$ measurable). Then $H$ contains all bounded $\mathcal{G}$-measurable functions.

The statement looks complicated, but the proof is elementary, and can be found, for instance, in Chapter II.8 of these notes, along with other references.

Now to prove your theorem, take $X = (0,\infty)$ with its Borel $\sigma$-algebra. We note it suffices to show $g(t) := e^{-t} f(t) = 0$ a.e. ($g$ is integrable, which is more convenient.)

Let $H$ be the set of all bounded measurable functions $h$ such that $\int_0^\infty h(t) g(t) dt = 0$. $H$ is clearly a vector space which contains the constants, and is closed under bounded convergence thanks to the dominated convergence theorem.

Let $M$ be the set of all functions of the form $h(t) = e^{-\lambda t}$, where $\lambda > 0$. By assumption, $M \subset H$, and $M$ is clearly closed under multiplication.

Finally, consider the $\sigma$-algebra $\mathcal{G}$ generated by $M$. Note that for any $h \in M$ and any open interval $(a,b) \subset \mathbb{R}$, we have by definition that $h^{-1}((a,b)) \in \mathcal{G}$. Taking $h(t) = e^{-t}$ and $(a,b) = (e^{-d}, e^{-c})$ we see that $(c,d) \in \mathcal{G}$. Since $\mathcal{G}$ contains all open intervals it must be the Borel $\sigma$-algebra of $(0, \infty)$.

So by Dynkin's theorem, $H$ contains all bounded Borel-measurable functions on $(0, \infty)$. In particular it contains ${g}$! This means that $\int_0^\infty g(t)^2 dt = 0$, so clearly $g = 0$ a.e.

The multiplicative system theorem is really a functional version of the better known $\pi$-$\lambda$ theorem, and acts as sort of a measurable-function analogue of the Stone-Weierstrass theorem. I've used it here as sort of an advertisement, since I think the theorem deserves to be more widely known given how useful it can be.

I'll also remark that the proof works just as well if we only assume that $\int_0^\infty e^{-\lambda t} f(t) dt = 0$ for large values of $\lambda$. Integer values of $\lambda$ would also suffice.


It looks like the result you're looking for is called Lerch's Theorem - essentially, if two functions have the same Laplace transform (or other linear integral transform) then their difference is a null function; i.e., its integral vanishes. In your case, one of the two functions is simply the zero function; since its Laplace transform is (trivially) identically zero, then any function whose Laplace transform is also identically zero must differ from it by a null function - or in other words, must be a null function itself; it is then (by definition!) zero a.e.