Part a.) Given the equation:
$$(f*g)(x) = \int_{\mathbb{R}^d} f(x-y)g(y) \hspace{0.1cm}dy$$
If we assume $f$ is integrable, and $\exists M \geq 0$ such that $|g| \leq M \hspace{0.1cm} \forall x \in \mathbb{R}^d$, we have:
$$\big|(f*g)(x) - (f*g)(z)\big| = \ldots$$
$$\ldots = \Bigg|\int_{\mathbb{R}^d} \bigg(f(x-y) - f(z - y)\bigg)g(y) \hspace{0.1cm}dy\Bigg| \leq \ldots$$
$$\ldots \leq M\int_{\mathbb{R}^d} \bigg|f(x-y) - f(z - y)\bigg| \hspace{0.1cm}dy =\ldots$$
$$\ldots = M\int_{\mathbb{R}^d} \bigg|f(-y) - f((z - x) - y)\bigg| \hspace{0.1cm}dy$$
Thus since $f$ is $L^1(\mathbb{R}^d)$, by Proposition 2.5, $\forall \epsilon > 0,\hspace{0.25cm} \exists \delta$ such that $||z - x|| < \delta \hspace{0.25cm} \Rightarrow ||f(y) - f(y-(z-x))||_{L^1} < \epsilon$.
Thus, since
$$\big|(f*g)(x) - (f*g)(z)\big| \leq ||f(y) - f(y-(z-x))||_{L^1}$$
The convolution $(f*g)(x)$ must be uniformly continuous.
Part b.) If $f$ and $g$ are both $L^1(\mathbb{R}^d)$, we proved in exercise 21 part d that $(f*g)(x)$ is also $L^1(\mathbb{R}^d)$. Thus, since $(f*g)(x)$ is uniformly continuous, and integrable, we have (by exercise 6 part b) that:
$$\lim_{|x| \to \infty} (f*g)(x) = 0$$
...as desired.
No comments:
Post a Comment