(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} |
(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} |
▶ | D5632: Complex Lebesgue convolution approximate identity |
▶ | R90: Complex function convolution is homogeneous to degree one |
▶ | R88: Convolution is associative |
▶ | R87: Convolution is commutative |