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
▼ Simple map
▼ Simple function
▼ Measurable simple complex function
▼ Simple integral
▼ Unsigned basic integral
▼ P-integrable basic function
▼ Set of P-integrable complex Borel functions
▼ Convolution
Definition D121
Complex Lebesgue convolution
Formulation 3
Let $M = (\mathbb{R}^N, \mathcal{L}, \ell)$ be a D1744: Lebesgue measure space such that
(i) $f, g : \mathbb{R}^N \to \mathbb{C}$ are each an D1921: Absolutely integrable function on $M$
(ii) \begin{equation} X : = \{ x \in \mathbb{R}^N : y \mapsto f(x - y) g(y) \text{ is absolutely integrable on } M \} \end{equation}
The convolution of $f$ with $g$ is the D4881: Complex function \begin{equation} X \to \mathbb{C}, \quad x \mapsto \int_{\mathbb{R}^N} f(x - y) g(y) \, \ell(d y) \end{equation}
Children
▶ D5632: Complex Lebesgue convolution approximate identity
Results
▶ R90: Complex function convolution is homogeneous to degree one
▶ R88: Convolution is associative
▶ R87: Convolution is commutative