uni/ws2020/ana/uebungen/ana8.tex

\documentclass[uebung]{../../../lecture}

\title{Analysis 3: Übungsblatt 8}
\author{Leon Burgard, Christian Merten}
\usepackage[]{mathrsfs}

\begin{document}

\punkte

\begin{aufgabe}
    \begin{enumerate}[a)]
        \item Es ist $\exp(x) \neq 0$ $\forall x \in \R$, d.h. $\text{spt}(\phi) = \overline{B_1(0)}$.
            Außerdem ist $\exp(x) \in C^{\infty}(\R)$ und $\frac{1}{|x|^2 - 1} \in C^{\infty}(B_1(0))$.
            Offensichtlich gilt auch
            $\partial^{\alpha} \exp\left( \frac{1}{|x|^2 -1} \right) \xrightarrow{x \to 1} 0$
            also folgt $\phi \in C_c^{\infty}(\R^{n})$.
        \item Sei nun $\epsilon > 0$. Nach Konstruktion ist $\Vert \varphi \Vert_{L^{1}(\R^{n})} = 1$.
            Außerdem ist $\varphi_{\epsilon}(x) \neq 0 \iff \varphi\left( \frac{x}{\epsilon} \right) \neq 0
            \iff \frac{|x|}{\epsilon} < 1 \iff x \in B_{\epsilon}(0)$. Damit folgt
            \begin{salign*}
                1 &= \int_{\R^{n}}^{} \varphi(x) \d{x} \\
                &\stackrel{\text{Trafo.satz}}{=} \int_{\R^{n}}^{} \frac{1}{\epsilon^{n}}
                \phi\left(\frac{y}{\epsilon}\right) \d{y} \\
                &= \int_{\R^{n}}^{} \varphi_{\epsilon}(y) \d{y} \\
                &= \int_{B_{\epsilon}(0)}^{} \varphi_{\epsilon}(y) \d{y} \\
                &\stackrel{\text{Trafo.satz}}{=} \int_{B_{\epsilon}(x)}^{} \varphi_{\epsilon}(x - y) \d{y} 
            .\end{salign*}
            Weiter ist $\phi \in C^{\infty}$, insbesondere stetig. Da $\text{spt}(\varphi)$ kompakt,
            nimmt $\varphi$ dort ein Maximum an. Setze $C \coloneqq \max_{x \in \R^{n}} \varphi(x)$.
            Damit gilt zunächst für $x \in \R^{n}$:
            \begin{salign*}
                |(f * \varphi_{\epsilon})(x) - f(x)|
                &= \left|  \int_{\R^{n}}^{} f(y)\varphi_{\epsilon}(x-y) \d{y} - f(x) \int_{B_{\epsilon}(x)}^{} 
                \varphi_{\epsilon}(x-y)\d{y} \right|  \\
                &= \int_{B_{\epsilon}(x)}^{} (f(y) - f(x)) \varphi_{\epsilon}(x-y) \d{y} \\
                &\le \int_{B_{\epsilon}(x)}^{} |f(x)-f(y)| \frac{1}{\epsilon^{n}} \varphi\left( \frac{x-y}{\epsilon} \right)  \d{y}  \\
                &= \frac{C}{\epsilon^{n}} \int_{B_{\epsilon}(x)}^{} |f(x) - f(y)| \d{y} 
            .\end{salign*}

            Sei nun $\delta > 0$ beliebig. Da $f$ gleichmäßig stetig, ex. ein $\epsilon_0 > 0$, s.d.
            \[
                \forall x, y \in \R^{n}\colon |x-y| < \epsilon_0 \implies |f(x) - f(y)| < \frac{\delta }{C |B_1|}
            ,\] wobei $|B_1| = \mathscr{L}^{n}(B_1(0))$ bezeichne. Dann gilt für $\epsilon < \epsilon_0$:
            \begin{salign*}
                \Vert f * \varphi_{\epsilon} - f \Vert_{L^{\infty}}
                &= \text{ess }\sup_{x \in \R^{n}} |f * \varphi_{\epsilon} - f| \\
                &\le \text{ess }\sup_{x \in \R^{n}} \frac{C}{\epsilon^{n}} \int_{B_{\epsilon}(x)}^{} |f(x) - f(y)| \d{y} \\
                &< \text{ess }\sup_{x \in \R^{n}} \frac{C}{\epsilon^{n}} \int_{B_{\epsilon}(x)}^{} \frac{\delta }{C |B_1|} \d{y}\\
                &= \text{ess }\sup_{x \in \R^{n}} \frac{\delta}{|B_1|\epsilon^{n}}
                \underbrace{\mathscr{L}^{n}(B_{\epsilon}(x))}_{= \epsilon^{n} |B_1|} \\
                &= \delta
            .\end{salign*}
            Also folgt $\Vert f * \varphi_{\epsilon} - f \Vert_{L^{\infty}} \xrightarrow{\epsilon \to 0} 0$.
    \end{enumerate}
\end{aufgabe}

\begin{aufgabe}
    Mit $\varphi$ aus Aufgabe 8.1. ist $\varphi \in C_c^{\infty}$ und $\int_{\R^{n}}^{} \varphi \d{x} = 1$
    nach Konstruktion, also insbesondere $\varphi \in L^{1}(\R^{n})$, da $\varphi \ge 0$.
    Für $\delta > 0$ setze
    $\varphi_{\delta} \coloneqq \frac{1}{\delta ^{n}} \varphi\left( \frac{x}{\delta} \right) $.
    Dann ist $\varphi_{\delta} \in C_c^{\infty}(\R^{n}) \cap L^{1}(\R^{n})$ und nach
    Faltungsapproximationssatz ist
    $\Vert f * \varphi_{\delta} - f \Vert_{L^{1}(\R^{n})} \xrightarrow{\delta \to 0} 0$.

    Sei nun $\epsilon > 0$. Dann ex. also ein $\delta > 0$ s.d. $\forall \tilde{\delta} \le \delta$
    gilt: $\Vert f * \varphi_{\tilde{\delta}} - f \Vert_{L^{1}(\R^{n})} < \frac{\epsilon}{2}$. Setze
    $K_n \coloneqq \overline{B_n(0)}$ und
    $g_n \coloneqq (f * \varphi_{\delta}) \chi_{K_n}$. Dann ist $g_n \in C_c^{\infty}(\R^{n})$,
    da $\varphi_{\delta} \in C^{\infty}(\R^{n})$ und $K_n$ kompakt.

    Dann gilt $|f|\chi_{K_n} \nearrow |f|$. Also
    ex. ein $n_0 \in \N$, s.d. $\forall n \ge n_0$:
    \[
    \left| \Vert f \chi_{K_n} \Vert_{L^{1}} - \Vert f \Vert_{L^{1}} \right| < \frac{\epsilon}{2}
    .\] Damit folgt $\forall n \ge n_0$:
    \begin{salign*}
        \underbrace{\Vert f \Vert_{L^{1}}}_{< \infty}
        &= \underbrace{\int_{K_n}^{} |f| \d{x}}_{< \infty} + \underbrace{\int_{K_n^{c}}^{} |f| \d{x}}_{< \infty} \\
        \intertext{Also}
        \int_{K_n^{c}}^{} |f| \d{x} &= \int_{\R^{n}}^{} |f| \d{x} - \int_{K^{n}}^{} |f| \d{x}  \\
        &= \Vert f \Vert_{L^{1}} -  \Vert f \chi_{K_n} \Vert \\
        &< \frac{\epsilon}{2}
    .\end{salign*}
    Setze nun $f_{\epsilon} \coloneqq g_{n_0}$. Dann ist $f_{\epsilon} \in C_c^{\infty}$ und es gilt
    \begin{salign*}
    \Vert 
    .\end{salign*}
\end{aufgabe}

\end{document}