Abschnitt 4.1: Konvergenzsätze
Aufgabe 1
Auf dem kompakten Intervall \( [0,1]\subset\mathbb R \) betrachten wir die Funktionenfolge \[ f^{(0)}(x):=1,\quad f^{(k)}(x) :=\left\{ \begin{array}{cl} f^{(k-1)}(x), & \quad\displaystyle\frac{1}{2^k}\lt x\le 1 \\[1ex] \displaystyle\frac{1}{2^k}\,, & \quad\displaystyle 0\le x\le\frac{1}{2^k} \end{array} \right.,\quad k=1,2,\ldots \]
| (i) | Skizzieren Sie die \( f^{(k)} \) für \( k=1,2,3. \) |
| (ii) | Die \( f^{(k)} \) konvergieren in \( [0,1] \) punktweise gegen eine Funktion |
\[ f(x):=\sum_{k=1}^\infty c_k\chi_{\Omega_k}(x),\quad x\in[0,1]. \]
| Bestimmen Sie hierfür geeignete Koeffizienten \( c_k\in\mathbb R \) sowie zugehörige halboffene, paarweise disjunkte Intervalle \( \Omega_k\subset\mathbb R. \) | |
| (iii) | Berechnen Sie das Integral |
\[ \int\limits_{[0,1]}f(x)\,d\ell_1(x) \]
| mit Hilfe des Satzes über majorisierte Konvergenz. |
→ Lösung
Aufgabe 2
Es sei \( \Omega\subseteq\mathbb R^n \) Lebesguemessbar. Wir betrachten die Lebesguemessbaren Funktionen \( f^{(k)}\colon\Omega\to\mathbb R, \) \( k=1,2,\ldots, \) für welche eine Lebesgueintegrierbare Funktion \( g\colon\Omega\to\mathbb R \) existiere mit \[ \left|\,\sum_{k=1}^Nf^{(k)}(x)\right|\le g(x)\quad\mbox{für fast alle}\ x\in\Omega\ \mbox{und alle}\ N=1,2,\ldots \] Ferner sei \[ f(x):=\sum_{k=1}^\infty f^{(k)}(x),\quad x\in\Omega, \] Lebesguemessbar in \( \Omega. \) Zeigen Sie, dass dann \( f \) Lebesgueintegrierbar in \( \Omega \) ist, und dass gilt \[ \int\limits_\Omega f(x)\,d\ell_n(x)=\sum_{k=1}^\infty\int\limits_\Omega f^{(k)}(x)\,d\ell_n(x). \] Wenden Sie hierzu den Satz über majorisierte Konvergenz auf folgende Partialsummen an \[ p^{(N)}(x):=\sum_{k=1}^Nf^{(k)}(x),\quad N=1,2,\ldots \]
→ Lösung
Aufgabe 3
Auf dem kompakten Intervall \( [0,1]\subset\mathbb R \) betrachten wir die Funktionenfolge \[ f^{(k)}(x):=\frac{kx}{1+k^2x^2}\,,\quad k=1,2,\ldots \]
| (i) | Skizzieren Sie \( f^{(k)} \) für \( k=1,2,3. \) |
| (ii) | Verifizieren Sie |
\[ 0\le f^{(k)}(x)\le\frac{1}{2}\quad\mbox{für alle}\ x\in[0,1]\ \mbox{und alle}\ k=1,2,\ldots \]
| (iii) | Verifizieren Sie |
\[ \lim_{k\to\infty}f^{(k)}(x)=0,\quad x\in[0,1]. \]
| (iv) | Folgern Sie mit Hilfe des Satzes über beschränkte Konvergenz |
\[ \lim_{k\to\infty}\int\limits_{[0,1]}f^{(k)}(x)\,d\ell_1(x)=0. \]
→ Lösung
Aufgabe 4
Es ist zu ermitteln \[ \lim_{k\to\infty}\int\limits_{[1,\infty)}\frac{\sqrt{x}}{2+kx^3}\,d\ell_1(x). \] Gehen Sie dabei wie folgt vor:
| (i) | Zeigen Sie zunächst, dass für alle \( k=1,2,\ldots \) gilt |
\[ 0\le\frac{\sqrt{x}}{2+kx^3}\le\frac{1}{x^\frac{5}{2}}\le 1\quad\text{in}\ [1,\infty). \] Wir setzen nun \[ g^{(k)}(x):=g(x)\chi_{[1,k+1]}\quad\text{mit}\ g(x):=\frac{1}{x^\frac{5}{2}}\quad x\in[1,\infty). \]
| (ii) | Zeigen Sie, dass \( \{g^{(k)}\}_{k=1,2,\ldots} \) eine Folge nichtnegativer, monoton wachsender und Lebesguemessbarer Funktionen ist mit dem punktweisen Grenzwert |
\[ g(x)=\lim_{k\to\infty}g^{(k)}(x),\quad x\in[1,\infty). \]
| (iii) | Unter Verwendung des Satzes von der monotonen Konvergenz ist zu zeigen |
\[ \int\limits_{[1,\infty)}g(x)\,d\ell_1(x)\lt\infty\,. \]
| Es ist also \( g \) eine geeignete Lebesgueintegrierbare Majorante für unser Ausgangsproblem. | |
| (iv) | Berechnen Sie nun den gesuchten Grenzwert. |
→ Lösung
Aufgabe 5
Zeigen Sie unter Verwendung des Lebesgueschen Kriteriums zur Riemannintegrierbarkeit, dass die Funktion \[ f(x) :=\left\{ \begin{array}{rl} 1, & \displaystyle\text{falls}\ \frac{1}{2n}\lt x\le\frac{1}{2n-1}\,,\ n=1,2,\ldots \\[1ex] 0, & \text{sonst} \end{array} \right. \] Riemannintegrierbar auf \( [0,1] \) ist.
→ Lösung