|
|
|
@@ -0,0 +1,215 @@ |
|
|
|
\documentclass[uebung]{../../../lecture} |
|
|
|
|
|
|
|
\title{Analysis 3: Übungsblatt 5} |
|
|
|
\author{Leon Burgard, Christian Merten} |
|
|
|
|
|
|
|
\begin{document} |
|
|
|
|
|
|
|
\punkte |
|
|
|
|
|
|
|
\begin{aufgabe} |
|
|
|
Beh.: $f_k g_k \to fg$ in $L^{1}(X, \mu)$. |
|
|
|
\begin{proof} |
|
|
|
\begin{enumerate}[(i)] |
|
|
|
\item Es ist $f$ integrabel, also $\int_{X}^{} f_+ \d{\mu} < \infty$ |
|
|
|
und $\int_{X}^{} f_- \d{\mu} < \infty$, also |
|
|
|
folgt $\text{ess sup } f_+ < \infty$ und $\text{ess sup } f_- < \infty$, also |
|
|
|
folgt mit $f = f_+ - f_-$, auch $\text{ess sup } f = M < \infty$ |
|
|
|
für ein $M \in \R$. |
|
|
|
\item Es ist $\sup_{k \in \N} \Vert g_k \Vert_{L^{\infty}} \le S < \infty$ |
|
|
|
für ein $S \in \R$, |
|
|
|
also auch $\text{ess sup } g < \infty$ (Ang.: es gäbe |
|
|
|
ein $A \in \mathcal{E}$ mit $\mu(A) > 0$ und |
|
|
|
$g(x) = \infty$ für $x \in A$, dann folgt |
|
|
|
$g_k(x) \not\to g(x)$, da $g_k(x) \le S < \infty$ $\contr$). |
|
|
|
Also OE $\text{ess sup } g \le S$. |
|
|
|
\item Es ist $g_k \xrightarrow{k \to \infty} g$ $\mu$ fast überall, d.h. |
|
|
|
\[ |
|
|
|
\int_{X}^{} \lim_{k \to \infty} |g_k - g| \d{\mu} = 0 |
|
|
|
.\] |
|
|
|
\item Betrachte $h \coloneqq 2 S |f|$. Dann gilt $\forall k \in \N$: |
|
|
|
\[ |
|
|
|
|f| |g_k - g| \le |f| (|g_k| + |g|) \stackrel{\text{(ii)}}{\le} 2 S |f| = h |
|
|
|
.\] $h$ ist außerdem integrabel, da $f$ integrabel, also $f_+$ und $f_-$ integrabel, |
|
|
|
insbesondere $|f| = f_+ + f_-$ integrabel. |
|
|
|
Damit folgt mit dominierter Konvergenz |
|
|
|
\begin{salign*} |
|
|
|
\lim_{k \to \infty} \int_{X}^{} |f| |g_k - g| \d{\mu} |
|
|
|
&\stackrel{\text{3.19}}{=} \int_{X}^{} \lim_{k \to \infty} |f| |g_k - g| \d{\mu} \\ |
|
|
|
&\stackrel{\text{(i)}}{\le } \int_{X}^{} M \lim_{k \to \infty} |g_k - g| \d{\mu} \\ |
|
|
|
&\stackrel{\text{(iii)}}{=} 0 |
|
|
|
.\end{salign*} |
|
|
|
\item Da $f_k \to f$ in $L^{1}$ folgt |
|
|
|
$\int_{X}^{} |f_k - f| \d{\mu} = \Vert f_k - f \Vert_{L^{1}} \xrightarrow{k \to \infty} 0$. |
|
|
|
Damit folgt |
|
|
|
\begin{salign*} |
|
|
|
\Vert f_k g_k - fg \Vert_{L^{1}} &= \int_{X}^{} |f_k g_k - fg| \d{\mu} \\ |
|
|
|
&= \int_{X}^{} |f_k g_k - g_k f + g_k f - fg| \d{\mu} \\ |
|
|
|
&\le \int_{X}^{} |g_k| |f_k - f| \d{\mu} |
|
|
|
+ \int_{X}^{} |f| |g_k - g| \d{\mu} \\ |
|
|
|
&\stackrel{\text{(ii)}}{\le} M |
|
|
|
\underbrace{\int_{X}^{} |f_k - f | \d{\mu} }_{\xrightarrow{k \to \infty} 0} |
|
|
|
+ \underbrace{\int_{X}^{} |f| |g_k - g| \d{\mu} }_{\xrightarrow{k \to \infty} 0}\\ |
|
|
|
&\xrightarrow{k \to \infty} 0 |
|
|
|
.\end{salign*} |
|
|
|
Also $f_k g_k \to fg$ in $L^{1}$. |
|
|
|
\end{enumerate} |
|
|
|
\end{proof} |
|
|
|
\end{aufgabe} |
|
|
|
|
|
|
|
\begin{aufgabe} |
|
|
|
\begin{enumerate}[a)] |
|
|
|
\item Beh.: $L^{1}(X, \mu) \cap L^{\infty}(X, \mu) \subseteq L^{p}(X, \mu)$ für |
|
|
|
$1 < p < \infty$ und |
|
|
|
\[ |
|
|
|
\Vert f \Vert_{L^{p}} \le \Vert f \Vert_{L^{1}}^{\frac{1}{p}} |
|
|
|
\Vert f \Vert_{L^{\infty}} ^{\frac{p-1}{p}} \qquad |
|
|
|
\text{für alle } f \in L^{1}(X, \mu) \cap L^{\infty}(X, \mu) |
|
|
|
.\] |
|
|
|
\begin{proof} |
|
|
|
Sei $1 < p < \infty$ und $f \in L^{1}(X, \mu) \cap L^{\infty}(X, \mu)$. Dann |
|
|
|
ist |
|
|
|
\begin{salign*} |
|
|
|
\int_{X}^{} |f|^{p} \d{\mu} &= |
|
|
|
\int_{X}^{} |f|^{1} |f|^{p-1} \d{\mu} \\ |
|
|
|
&\stackrel{\text{Hölder}}{\le } \Vert f \Vert_{1} \Vert f^{p-1} \Vert_{\infty} \\ |
|
|
|
&= \Vert f \Vert_1 \text{ess sup}_{X} |f^{p-1}| \\ |
|
|
|
&\stackrel{p-1>0}{=} \Vert f \Vert_1 \left( \text{ess sup}_X |f| \right)^{p-1} \\ |
|
|
|
&= \Vert f \Vert_1 \Vert f \Vert_{\infty}^{p-1} \\ |
|
|
|
&\stackrel{p < \infty}{<} \infty |
|
|
|
\intertext{Da beide Seiten nicht-negativ, folgt durch Potenzieren mit $\frac{1}{p}$:} |
|
|
|
\Vert f \Vert_p &\le \Vert f \Vert_1^{\frac{1}{p}} \Vert f \Vert_{\infty}^{\frac{p-1}{p}} < \infty |
|
|
|
.\end{salign*} |
|
|
|
Das zeigt beide Behauptungen. |
|
|
|
\end{proof} |
|
|
|
\item Sei $\mu(X) < \infty$ und $1 \le p \le q \le \infty$. Beh.: |
|
|
|
$L^{q}(X, \mu) \subseteq L^{p}(X, \mu)$ und $\exists C \in \R$, s.d. $\forall f \in L^{q}(X, \mu)$ |
|
|
|
\[ |
|
|
|
\Vert f \Vert_p \le C \Vert f \Vert_q |
|
|
|
.\] |
|
|
|
\begin{proof} |
|
|
|
Sei $f \in L^{q}(X, \mu)$. Dann wähle $r \coloneqq \frac{q}{p} \ge 1$ und |
|
|
|
$r' = \frac{q}{q-p}$. Damit folgt |
|
|
|
\[ |
|
|
|
\frac{1}{r} + \frac{1}{r'} = \frac{p}{q} + \frac{q-p}{q} = 1 |
|
|
|
.\] Dann betrachte |
|
|
|
\begin{salign*} |
|
|
|
\int_{X}^{} |f|^{p} \d{\mu} &= \int_{X}^{} |f|^{p}\cdot 1 \d{\mu} \\ |
|
|
|
&\stackrel{\text{Hölder}}{\le } \Vert 1 \Vert_{r'} \Vert f^{p} \Vert_r \\ |
|
|
|
&= \Vert 1 \Vert_{r'} \left( \int_{X}^{} (|f|^{p})^{r} \d{\mu} \right)^{\frac{1}{r}} \\ |
|
|
|
&\stackrel{r = q / p}{=} |
|
|
|
\Vert 1 \Vert_{r'} \left( \int_{X}^{} |f|^{q} \d{\mu} \right)^{\frac{p}{q}} \\ |
|
|
|
\intertext{Da beide Seiten nichtnegativ, folgt durch Potenzieren mit $\frac{1}{p}$} |
|
|
|
\Vert f \Vert_p &\le \Vert 1 \Vert_{r'}^{\frac{1}{p}} \Vert f \Vert_q |
|
|
|
\intertext{Für die Konstante folgt} |
|
|
|
\Vert 1 \Vert_{r'}^{\frac{1}{p}} |
|
|
|
&= \left( \int_{X}^{} 1^{r'} \d{\mu} \right)^{\frac{1}{pr'}} \\ |
|
|
|
&\stackrel{r' = q / (q-p)}{=} \left( \int_{X}^{} 1 \d{\mu} \right)^{\frac{q-p}{pq}} \\ |
|
|
|
&= \mu(X)^{\frac{q-p}{pq}} \eqqcolon C < \infty |
|
|
|
\intertext{Damit folgt insgesamt} |
|
|
|
\Vert f \Vert_p &\le C \Vert f \Vert_q < \infty |
|
|
|
.\end{salign*} |
|
|
|
Also insbesondere $f \in L^{p}(X, \mu)$. |
|
|
|
\end{proof} |
|
|
|
Beh.: Es ist $L^{4}((0,1), \lambda) \subsetneqq L^{1}((0,1), \lambda)$. |
|
|
|
\begin{proof} |
|
|
|
Betrachte $f = x^{-\frac{1}{2}}$. Dann ist |
|
|
|
\begin{salign*} |
|
|
|
\int_{0}^{1} |f|^{4} \d{\lambda} &= \int_{0}^{1} x^{-2} \d{\lambda} = |
|
|
|
- x^{-1}\Big|_{0}^{1} = -1 + \lim_{k \to \infty} \frac{1}{\frac{1}{k}} = \infty \\ |
|
|
|
\int_{0}^{1} |f| \d{\lambda} &= \int_{0}^{1} x^{-\frac{1}{2}} \d{\mu} |
|
|
|
= 2 (\sqrt{1} - \sqrt{0}) = 2 < \infty |
|
|
|
.\end{salign*} |
|
|
|
Also ist $f \in L^{1}((0, 1), \lambda)$, aber $f \not\in L^{4}((0,1), \lambda)$. |
|
|
|
\end{proof} |
|
|
|
\end{enumerate} |
|
|
|
\end{aufgabe} |
|
|
|
|
|
|
|
\begin{aufgabe} |
|
|
|
\begin{enumerate}[a)] |
|
|
|
\item Beh.: $f_k \to f$ in $L^{1}(X, \mu)$ $\iff$ |
|
|
|
\[ |
|
|
|
\int_{X}^{} |f_k| \d{\mu} \xrightarrow{ k \to \infty} \int_{X}^{} |f| \d{\mu} |
|
|
|
.\] |
|
|
|
\begin{proof} |
|
|
|
\begin{itemize} |
|
|
|
\item ,,$\implies$''. Sei $\Vert f_k - f \Vert_{L^{1}} \xrightarrow{k \to \infty} 0$. Dann |
|
|
|
folgt |
|
|
|
\begin{salign*} |
|
|
|
0 &\le \left| \int_{X}^{} |f_k| \d{\mu} - \int_{X}^{} |f| \d{\mu} \right| \\ |
|
|
|
&= \left| \int_{X}^{} (|f_k| - |f|) \d{\mu} \right| \\ |
|
|
|
&\stackrel{\triangle}{\le } \int_{X}^{} | |f_k| - |f| | \d{\mu} \\ |
|
|
|
&\stackrel{\triangledown}{=} \int_{X}^{} |f_k - f| \d{\mu} |
|
|
|
\xrightarrow{k \to \infty} 0 |
|
|
|
.\end{salign*} |
|
|
|
\item ,,$\impliedby$''. Sei $\lim_{k \to \infty} \int_{X}^{} |f_k| \d{\mu} |
|
|
|
= \int_{X}^{} |f| \d{\mu} $ $(*)$. |
|
|
|
Es ist zunächst $|f_k - f| = |f_k + (-f)| \le |f_k| + |f|$. Dann |
|
|
|
betrachte $g_k \coloneqq |f_k| + |f| - |f_k -f| \ge 0$. Da |
|
|
|
$f_k \xrightarrow{ k \to \infty} f$ $\mu$-f.ü., folgt |
|
|
|
$g_k \xrightarrow{k \to \infty} 2 |f|$ $\mu$ f.ü. Damit folgt |
|
|
|
mit Lemma von Fatou |
|
|
|
\begin{salign*} |
|
|
|
\int_{X}^{} 2 |f| \d{\mu} &= \int_{X}^{} \liminf_{k \to \infty} g_k \d{\mu} \\ |
|
|
|
&\stackrel{\text{3.18}}{\le } \liminf_{k \to \infty} \int_{X}^{} g_k \d{\mu} \\ |
|
|
|
&= \liminf_{k \to \infty} \left( \int_{X}^{} 2|f_k| \d{\mu} |
|
|
|
+ \int_{X}^{} 2 |f| \d{\mu} - \int_{X}^{} |f_k - f| \d{\mu} \right) \\ |
|
|
|
&\stackrel{(*)}{=} \int_{X}^{} |f| \d{\mu} + \int_{X}^{} |f| \d{\mu} |
|
|
|
- \limsup_{k \to \infty} \int_{X}^{} |f_k -f| \d{\mu} |
|
|
|
\intertext{Umstellen liefert} |
|
|
|
0 &\le \limsup_{k \to \infty} \int_{X}^{} |f_k -f| \d{\mu} \le 0 |
|
|
|
\intertext{Wegen $0 \le \liminf_{k \to \infty} \int_{X}^{} |f_k - f|\d{\mu} |
|
|
|
\le \limsup_{k \to \infty} \int_{X}^{} |f_k -f| \d{\mu} \le 0$ folgt} |
|
|
|
0 &= \lim_{k \to \infty} \int_{X}^{} |f_k -f| \d{\mu} |
|
|
|
.\end{salign*} |
|
|
|
Also $f_k \to f$ in $L^{1}(X, \mu)$. |
|
|
|
\end{itemize} |
|
|
|
\end{proof} |
|
|
|
\item Beh.: $f_k \to f$ in $L^{1}(X, \mu)$. |
|
|
|
\begin{proof} |
|
|
|
Definiere $g_k := g \coloneqq 1$. Dann ist $g = g_k$ integrabel, da |
|
|
|
\[ |
|
|
|
\int_{X}^{} g \d{\mu} = \int_{X}^{} 1 \d{\mu} = \mu(X) < \infty |
|
|
|
.\] Außerdem sind $f_k, f$ integrierbar, insbesondere messbar. Außerdem |
|
|
|
gilt $f_k g_k = f_k \cdot 1 = f_k$ und $f g = f \cdot 1 = g$. Dann folgt |
|
|
|
die Aussage aus Aufgabe 1. |
|
|
|
\end{proof} |
|
|
|
\end{enumerate} |
|
|
|
\end{aufgabe} |
|
|
|
|
|
|
|
\begin{aufgabe} |
|
|
|
Beh.: $f \coloneqq \prod_{j=1}^{n} f_j \in L^{p}(X, \mu) $ und |
|
|
|
\[ |
|
|
|
\Vert f \Vert_{L^{P}(X, \mu)} \le \prod_{j=1}^{n} \Vert f_j \Vert_{L^{p_j}(X, \mu)} |
|
|
|
.\] |
|
|
|
\begin{proof} |
|
|
|
per Induktion über $n$. $n=1$: Dann gilt $p_1 = p$ und $f = f_1$, also trivial. |
|
|
|
Sei nun $n \in \N$ mit Aussage gezeigt für $n$. Sei $1 \le p \le \infty$ und seien $1 \le p_j < \infty$ |
|
|
|
für $j \in \{ 1, \ldots, n+1\} $ und |
|
|
|
\[ |
|
|
|
\sum_{j=1}^{n+1} \frac{1}{p_j} = \frac{1}{p} |
|
|
|
.\] Dann ist $p \le p_j$ für $j \in \{1, \ldots, n+1\} $. |
|
|
|
Definiere $q \coloneqq \frac{p p_{n+1}}{p_{n+1}-p} \ge 1$. Dann ist |
|
|
|
\begin{salign*} |
|
|
|
\frac{1}{q} = \frac{p_{n+1} - p}{p p_{n+1}} = \frac{1}{p} - \frac{1}{p_{n+1}} = |
|
|
|
\sum_{j=1}^{n} \frac{1}{p_j} |
|
|
|
.\end{salign*} |
|
|
|
Außerdem definiere $r \coloneqq \frac{p_{n+1}}{p} \ge 1$. Dann ist |
|
|
|
$r' = \frac{p_{n+1}}{p_{n+1}-p}$, denn |
|
|
|
$\frac{1}{r} + \frac{1}{r'} = \frac{p_{n+1} -p}{p_{n+1}} + \frac{p}{p_{n+1}} = 1$. |
|
|
|
Seien nun $f_j \in L^{p_j}(X, \mu)$ für $j \in \{1, \ldots, n+1\} $. |
|
|
|
Damit betrachte |
|
|
|
\begin{salign*} |
|
|
|
\int_{X}^{} |f|^{p} \d{\mu} &= \int_{X}^{} \left| \prod_{j=1}^{n+1} f_j \cdot f_{n+1}\right| \d{\mu} \\ |
|
|
|
&\stackrel{\text{Hölder}}{\le } \left\Vert \left( \prod_{j=1}^{n} f_j \right)^{p} \right\Vert_{r'} |
|
|
|
\left\Vert f_{n+1}^{p} \right\Vert_r \\ |
|
|
|
&= \left( \int_{X}^{} \left| \prod_{j=1}^{n} f_j \right|^{\frac{p p_{n+1}}{p_{n+1}-p}} \d{\mu} \right)^{\frac{p_{n+1} -p}{p_{n+1}}} \left( \int_{X}^{} |f_{n+1}|^{p_{n+1}} \d{\mu} \right)^{\frac{p}{p_{n+1}}} \\ |
|
|
|
\intertext{Da beide Seiten nicht-negativ sind, folgt durch Potenzieren mit $\frac{1}{p}$} |
|
|
|
\Vert f \Vert_p &\le \left\Vert \prod_{j=1}^{n} f_j \right\Vert_q \Vert f_{n+1} \Vert_{p_{n+1}} \\ |
|
|
|
&\stackrel{\text{IV}}{=} \prod_{j=1}^{n} \Vert f_j \Vert_{p_j} \Vert f_{n+1} \cdot \Vert_{p_{n+1}} \\ |
|
|
|
&= \prod_{j=1}^{n+1} \Vert f_j \Vert_{p_j} |
|
|
|
.\end{salign*} |
|
|
|
\end{proof} |
|
|
|
\end{aufgabe} |
|
|
|
|
|
|
|
\end{document} |
