ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Function
Real collection function
Euclidean real function
Complex function
Definition D3739
Laplace transform
Formulation 0
Let $f : [0, \infty) \to \mathbb{R}$ be a D4364: Real function such that
(i) \begin{equation} Z : = \left\{ z \in \mathbb{C} : \int^{\infty}_0 f(t) e^{- t z} \, d t \neq \emptyset \right\} \end{equation}
The Laplace transform of $f$ is the D4881: Complex function \begin{equation} Z \to \mathbb{C}, \quad z \mapsto \int^{\infty}_0 f(t) e^{- t z} \, d t \end{equation}