Intereting Posts

Prove that an open interval and a closed interval are not homeomorphic
A Vitali set is non-measurable, direct proof, without using countable additivity
Is there a rank 3 boolean interval with G simple group?
Intersection of a properly nested sequence of convex sets , if nonempty and bounded , can never be open?
How to compute force on joints of a 3D structure of balls connected by rods?
$f(x)\in\mathbb{Q}$ such that $f(\mathbb{Z})\subseteq \mathbb{Z}$ Then show that $f$ has the following form
Quantile function properties
Prove that, there exists no continuous function $f:\mathbb R\rightarrow\mathbb R$ with $f=\chi_{}$ almost everywhere.
Fermat's Last Theorem near misses?
Is it the case that for all sets $A, B, C,$ and $D$, $(A \times B) \cup (C \times D) = (A \cup B) \times (C \cup D)$?
Can the integers be made into a vector space over any Finite Field?
On the associative property of a binary operation of the fundamental group.
Trees that are isomorphic to a subgraph of a graph G.
Identity and bounding of ${ \sum\limits_{k=1}^N{ \binom{N}{k}\,\dfrac{p^k \, \left( – 1 \right)^{k} }{k} } } $ when $0<p<1$?
Intuition surrounding units in $R$

I am studying a paper in which the author uses something like that:

Let $f$ be a bounded and Lebesgue measurable function. If $$\int_0^\infty {e^{-\lambda t}f(t)\,{\rm d}t} = 0

\qquad\text{for all} \qquad \lambda \gt0$$ then $f=0$ almost everywhere.

- Criteria for formally derived Euler-Maclaurin-type formula
- If a rational number has a finite decimal representation, then it has a finite representation in base $b$ for any $b>1?$
- Can anyone tell me why the arclength integral is an uppersemicontinuous function on the set of continuously differentiable real-valued functions?
- Verification of extension result for Lipschitz functions
- Unions and Intersections of Open Sets are Open
- Subadditivity of the limit superior

Could you point me to a proof of this theorem? It is very important for me.

Thanks!

- How can I prove $\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}…}}}}=2$
- Proof of the product rule. Trick. Add and subtract the same term.
- Find the volume of the set $S=\{x=(x_1,x_2,\cdots,x_n)\in \Bbb{R}^n:0\le x_1\le x_2\le \cdots \le x_n \le 1\}$
- Let $f:\mathbb{R}\longrightarrow \mathbb{R}$ a differentiable function such that $f'(x)=0$ for all $x\in\mathbb{Q}$
- A minimization problem for a function involving maximum
- Prove by induction for $n \geq 1$, $x_n>x_{n+1} > \sqrt{R} $ and $ x_n- \sqrt{R} \leq \frac{1}{2^n} \cdotp \frac {(x_0- \sqrt{R})^2} {x_0} $
- the elements of Cantor's discontinuum
- Abel summability under the hypothesis $a_n \ge 0$

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.

- Why is $\int^\infty_{-\infty} \frac{x}{x^2+1} dx$ not zero?
- Mathematical writing: why should we not use the phrase “we have that”?
- Diagonalizable vs Normal
- Triangles area question
- Proving the limit at $\infty$ of the derivative $f'$ is $0$ if it and the limit of the function $f$ exist.
- Given a fixed prime number $p$ and fixed positive integers $a$ and $k$; Find all positive integers $n$ such that $p^k \mid a^n-1$
- Is there a classification of all finite indecomposable p-groups?
- A System of Infinite Linear Equations
- Why is a matrix of indeterminates diagonalizable?
- How do I simplify and evaluate the limit of $(\sqrt x – 1)/(\sqrt x – 1)$ as $x\to 1$?
- A nontrivial subgroup of $G$ contained in every other nontrivial subgroup.
- What's the arc length of an implicit function?
- Initial distribution under which the distribution of $X_t$ doesn't converge?
- Geometric understanding of the Cross Product
- probability distribution of $e^X$, when X ~ uniform(0,1)