Integral to Infinity of Function over Argument
Jump to navigation
Jump to search
Theorem
Let $f: \R \to \R$ or $\R \to \C$ be a continuous function on any interval of the form $0 \le t \le A$.
Let $\laptrans f = F$ denote the Laplace transform of $f$.
Then:
- $\ds \int_0^\infty {\dfrac {\map f t} t} = \int_0^{\to \infty} \map F u \rd u$
provided the integrals converge.
Proof
\(\ds \laptrans {\dfrac {\map f t} t}\) | \(=\) | \(\ds \int_s^{\to \infty} \map F u \rd u\) | Integral of Laplace Transform | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \int_0^\infty e^{-s t} {\dfrac {\map f t} t} \rd t\) | \(=\) | \(\ds \int_s^{\to \infty} \map F u \rd u\) | Definition of Laplace Transform | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds \lim_{s \mathop \to 0} \int_0^\infty e^{-s t} \dfrac {\map f t} t \rd t\) | \(=\) | \(\ds \lim_{s \mathop \to 0} \int_s^{\to \infty} \map F u \rd u\) | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \int_0^\infty \dfrac {\map f t} t \rd t\) | \(=\) | \(\ds \int_0^{\to \infty} \map F u \rd u\) |
$\blacksquare$
Also see
Sources
- 1965: Murray R. Spiegel: Theory and Problems of Laplace Transforms ... (previous) ... (next): Chapter $1$: The Laplace Transform: Solved Problems: Division by $t$: $22 \ \text{(a)}$