diff --git a/ws2020/ana/uebungen/ana8.pdf b/ws2020/ana/uebungen/ana8.pdf new file mode 100644 index 0000000..617e9d8 Binary files /dev/null and b/ws2020/ana/uebungen/ana8.pdf differ diff --git a/ws2020/ana/uebungen/ana8.tex b/ws2020/ana/uebungen/ana8.tex new file mode 100644 index 0000000..f69e512 --- /dev/null +++ b/ws2020/ana/uebungen/ana8.tex @@ -0,0 +1,92 @@ +\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}