Proposition 30.4.10 (Existence of Approximate Identity).label Let $G$ be a locally compact group and $\fB \subset \cn_{G}(1)$ be a fundamental system of neighbourhoods at $1$, directed under reverse inclusion. For each $U \in \fB$, let $\phi_{U} \in L^{+}(G)$ with $\ol{\bracsn{\phi_U \ne 0}}\subset U$ and $\int_{G} \phi_{U} = 1$, then:

  1. (1)

    For each $p \in [1, \infty)$ and $f \in L^{p}(G; \complex)$, $\phi_{U} * f \to f$ in $L^{p}(G; \complex)$.

  2. (2)

    For each left uniformly continuous $f \in C(G; \complex)$, $\phi_{U} * f \to f$ uniformly.

If in addition, $\phi_{U}(x^{-1}) = \phi_{U}(x)$ for all $x \in G$, then:

  1. (3)

    For each $p \in [1, \infty)$ and $f \in L^{p}(G; \complex)$, $f * \phi_{U} \to f$ in $L^{p}(G; \complex)$.

  2. (4)

    For each right uniformly continuous $f \in C(G; \complex)$, $f * \phi_{U} \to f$ uniformly.

Proof, [Proposition 2.44, Fol16]. (1): Let $U \in \fB$, $f \in L^{p}(G; \complex)$, and $x \in G$, then since $\int_{G} \phi_{U} = 1$,

\[(\phi_{U} * f)(x) - f(x) = \int_{G} \phi_{U}(y)[L_{y}f(x) - f(x)]dy\]

By Minkowski’s Inequality for integrals,

\begin{align*}\norm{\phi_U * f - f}_{L^p(G; \complex)}&= \braks{\int_G \abs{\int_G \phi_U(y)[L_yf(x) - f(x)]dy}^p dx}^{1/p}\\&\le \braks{\int_G \phi_U(y)\norm{L_yf - f}_{L^p(G; \complex)}^p dy }^{1/p}\\&\le \sup_{y \in U}\norm{L_yf - f}_{L^p(G; \complex)}\end{align*}

Therefore by continuity of translation, $\phi_{U} * f \to f$ in $L^{p}(G; \complex)$.

(3): Let $U \in \fB$, $f \in L^{p}(G; \complex)$, and $x \in G$, then since $\phi_{U}(y) = \phi_{U}(y^{-1})$ for all $y \in G$,

\begin{align*}(f * \phi_{U})(x) - f(x)&= \int_{G} [R_{y}f(x) - f(x)]\phi_{U}(y^{-1})dy \\&= \int_{G} \phi_{U}(y)[R_{y}f(x) - f(x)]dy\end{align*}

By Minkowski’s Inequality for integrals,

\[\norm{f * \phi_U - f}_{L^p(G; \complex)}\le \sup_{y \in U}\norm{R_yf - f}_{L^p(G; \complex)}\]

and $f * \phi_{U} \to f$ in $L^{p}(G; \complex)$ by continuity of translation.$\square$

Post a Comment

Name:Email:
Please enter the tag of the current page (1F6) to post the comment.
Tag: