Kurs:Analysis (Osnabrück 2013-2015)/Teil III/Anhang D

In Analysis II vergessen.

Lemma

Es sei

$f_{n}\colon [a,b]\longrightarrow \mathbb {R}$

eine gleichmäßig konvergente Folge von stetigen Funktionen mit der Grenzfunktion

$f\colon [a,b]\longrightarrow \mathbb {R} .$

Dann gilt die Beziehung

${}\lim _{n\rightarrow \infty }\int _{a}^{b}f_{n}(t)\,dt=\int _{a}^{b}f(t)\,dt\,.$

Beweis

Da die Grenzfunktion nach Lemma 16.4 stetig ist, existiert das bestimmte Integral rechts nach Satz 23.14. Für jedes ${}\epsilon >0$ gibt es ein ${}n_{0}$ mit

${}\vert {f_{n}(t)-f(t)}\vert \leq {\frac {\epsilon }{b-a}}\,$

für alle ${}n\geq n_{0}$ und alle ${}t\in [a,b]$. Daher gilt für diese ${}n$ die Abschätzung unter Verwendung von Lemma 23.15  (3) und Lemma 23.15  (6)

${}{\begin{aligned}\vert {\int _{a}^{b}f_{n}(t)\,dt-\int _{a}^{b}f(t)\,dt}\vert &=\vert {\int _{a}^{b}f_{n}(t)-f(t)\,dt}\vert \\&\leq \int _{a}^{b}\vert {f_{n}(t)-f(t)}\vert \,dt\\&\leq \int _{a}^{b}{\frac {\epsilon }{b-a}}\,dt\\&=\epsilon .\end{aligned}}$

$\Box$

Satz

Es sei ${}(X,d)$ ein metrischer Raum und ${}[a,b]$ ein kompaktes Intervall. Es sei

$f\colon X\times [a,b]\longrightarrow \mathbb {R} ,\,(x,t)\longmapsto f(x,t),$

eine stetige Funktion.

Dann ist auch die Funktion

$X\longrightarrow \mathbb {R} ,\,x\longmapsto \int _{a}^{b}f(x,t)\,dt,$

stetig.

Beweis

Aufgrund von Satz 34.3 müssen wir für jede konvergente Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}X$ mit dem Grenzwert ${}x$ zeigen, dass die Folge der Integrale

$\int _{a}^{b}f(x_{n},t)\,dt$

gegen

$\int _{a}^{b}f(x,t)\,dt$

konvergiert. Aufgrund von Lemma Anhang C.1 genügt es zu zeigen, dass die Funktionenfolge ${}f(x_{n},-)$ gleichmäßig gegen ${}f(x,-)$ konvergiert.  Nehmen wir also an, dass diese Folge nicht gleichmäßig konvergiert. Dann gibt es ein ${}\epsilon >0$ mit der Eigenschaft, dass es zu jedem ${}n\in \mathbb {N}$ ein ${}m\geq n$ und ein ${}t_{m}\in [a,b]$ mit ${}\vert {f(x_{m},t_{m})-f(x,t_{m})}\vert \geq \epsilon$ gibt. So können wir eine Teilfolge ${}(x_{n_{k}})_{k\in \mathbb {N} }$ mit zugehörigen Punkten ${}t_{n_{k}}$ konstruieren, die diese Abstandbedingung erfüllen. Wegen Bolzano Weierstraß gibt es zu dieser Folge in ${}[a,b]$ eine konvergente Teilfolge, und durch Umbenennen können wir annehmen, dass die Folge ${}(t_{n_{k}})_{k\in \mathbb {N} }$ konvergiert, sagen wir gegen ${}t\in [a,b]$. Wegen der Stetigkeit von ${}f$ und den Konvergenzeigenschaften gibt es ein ${}k_{0}$ derart, dass für alle ${}k\geq k_{0}$ die Abschätzungen ${}\vert {f(x_{n_{k}},t_{n_{k}})-f(x,t)}\vert \leq {\frac {1}{3}}\epsilon$ und ${}\vert {f(x,t_{n_{k}})-f(x,t)}\vert \leq {\frac {1}{3}}\epsilon$ gelten. Damit ist

${}{\begin{aligned}\vert {f(x_{n_{k}},t_{n_{k}})-f(x,t_{n_{k}})}\vert &\leq \vert {f(x_{n_{k}},t_{n_{k}})-f(x,t)}\vert +\vert {f(x,t)-f(x,t_{n_{k}})}\vert \\&\leq {\frac {2\epsilon }{3}}\\&<\epsilon ,\end{aligned}}$

${}$ ein Widerspruch.

$\Box$

Satz

Es sei ${}T\subseteq \mathbb {R} ^{n}$ eine kompakte Teilmenge und sei

$f\colon T\longrightarrow M$

eine stetige Abbildung in einen metrischen Raum ${}M$.

Dann ist ${}f$ gleichmäßig stetig.

Beweis

 Wir nehmen an, dass ${}f$ nicht gleichmäßig stetig ist. Dann gibt es ein ${}\epsilon >0$ derart, dass für kein ${}\delta >0$ die Beziehung ${}f(U{\left(x,\delta \right)})\subseteq U{\left(f(x),\epsilon \right)}$ für alle ${}x\in T$ erfüllt ist. Insbesondere gibt es also für jedes ${}n\in \mathbb {N} _{+}$ ein Paar ${}x_{n},y_{n}\in T$ mit ${}d{\left(x_{n},y_{n}\right)}\leq {\frac {1}{n}}$, aber mit ${}d{\left(f(x_{n}),f(y_{n})\right)}\geq \epsilon$. Wegen der Kompaktheit gibt es aufgrund von Satz 36.9 eine Teilfolge ${}(x_{n})_{n\in N}$ (dabei ist ${}N\subseteq \mathbb {N}$ unendlich) von ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$, die gegen ein ${}x\in T$ konvergiert. Die entsprechende Teilfolge ${}(y_{n})_{n\in N}$ konvergiert ebenfalls gegen ${}x$. Wegen der Stetigkeit konvergieren die beiden Bildfolgen ${}(f(x_{n}))_{n\in N}$ und ${}(f(y_{n}))_{n\in N}$ gegen ${}f(x)$. Dies ergibt aber einen Widerspruch, da ${}d{\left(f(x_{n}),f(y_{n})\right)}\geq \epsilon$ ist.

$\Box$

Satz

Es seien ${}I=[a,b]$ und ${}J$ reelle Intervalle,

$f\colon I\times J\longrightarrow \mathbb {R} ,\,(t,x)\longmapsto f(t,x),$

eine stetige Abbildung, die in Richtung der Variablen ${}x$ stetig partiell differenzierbar sei.

Dann ist die Abbildung

$J\longrightarrow \mathbb {R} ,\,x\longmapsto \int _{a}^{b}f(t,x)dt,$

(nach ${}x$) differenzierbar und es gilt

${}{\frac {\partial }{\partial x}}{\left(x\mapsto \int _{a}^{b}f(t,x)dt\right)}=\int _{a}^{b}{\frac {\partial }{\partial x}}f(t,x)dt\,.$

Beweis

Aufgrund der Differenzierbarkeit von ${}f(t,x)$ nach ${}x$ gibt es zu jedem ${}(s,p)\in I\times J$ nach Satz 18.5 eine in ${}x$ stetige Funktion ${}r_{s}(x)$ mit ${}r_{s}(p)=0$ und mit

${}f(s,x)=f(s,p)+{\left({\frac {\partial }{\partial x}}f(s,p)\right)}(x-p)+r_{s}(x)(x-p)\,.$

Wir setzen

${}r(s,x)=r_{s}(x)\,.$

Wir zeigen zuerst, dass diese Funktion in den zwei Variablen ${}s$ und ${}x$ in jedem Punkt stetig ist. Bei ${}x\neq p$ kann man

${}r(s,x)={\frac {f(s,x)-f(s,p)}{x-p}}-{\frac {\partial }{\partial x}}f(s,p)\,$

auflösen und erhält so die Stetigkeit, da ja die partielle Ableitung nach Voraussetzung stetig ist. Bei ${}x=p$ verwenden wir das Folgenkriterium für die Stetigkeit. Es sei also ${}\left(s_{n},\,x_{n}\right)$ eine Folge, die gegen

${}(s,x)=(s,p)\,$

konvergiert. Wir können dabei annehmen, dass ${}x_{n}\neq p$ für alle ${}n$ ist, da ja ${}r(s_{n},p)=0$ ist. Es ist

${}{\begin{aligned}\vert {r(s_{n},x_{n})-r(s,p)}\vert &=\vert {r(s_{n},x_{n})}\vert \\&=\vert {{\frac {f(s_{n},x_{n})-f(s_{n},p)}{x_{n}-p}}-{\frac {\partial }{\partial x}}f(s_{n},p)}\vert .\end{aligned}}$

Nach dem Mittelwertsatz der Differentialrechnung gibt es zu jedem ${}n$ ein ${}c_{n}\in [x_{n},p]$ mit

${}{\frac {f(s_{n},x_{n})-f(s_{n},p)}{x_{n}-p}}={\frac {\partial }{\partial x}}f(s_{n},c_{n})\,$

und somit ist der obige Ausdruck gleich

$\vert {{\frac {\partial }{\partial x}}f(s_{n},c_{n})-{\frac {\partial }{\partial x}}f(s_{n},p)}\vert .$

Wegen der Stetigkeit der partiellen Ableitung und wegen ${}c_{n}\rightarrow p$ wird dies beliebig klein.

In der eingangs formulierten Identität sind also alle Bestandteile stetig. Daher kann man beidseitig über ${}[a,b]$ integrieren und erhält ($x-p$ ist in der Integration konstant)

$\int _{a}^{b}f(t,x)dt=\int _{a}^{b}f(t,p)dt+(x-p){\left(\int _{a}^{b}{\frac {\partial }{\partial x}}f(t,p)dt\right)}+(x-p)\int _{a}^{b}r(t,x)dt\,.$

Der Fehlerausdruck

${}R(x)=\int _{a}^{b}r(t,x)dt\,$

ist stetig in ${}x$, da ${}r(t,x)$ stetig ist und wegen der Stetigkeit des Integrals. Ferner ist ${}R(p)=\int _{a}^{b}r(t,p)=0$, so dass die Funktion ${}x\mapsto \int _{a}^{b}f(t,x)dt$ linear approximierbar und damit differenzierbar ist.

$\Box$

Satz

Es sei ${}I=[a,b]$ ein reelles Intervall, ${}U\subseteq \mathbb {R} ^{n}$ eine offene Teilmenge und

$f\colon I\times U\longrightarrow \mathbb {R}$

eine stetige Abbildung, die in Richtung einer jeden Variablen ${}x_{i}$, ${}i=1,\ldots ,n$, stetig partiell differenzierbar sei.

Dann ist die Abbildung

$U\longrightarrow \mathbb {R} ,\,x\longmapsto \int _{a}^{b}f(t,x)dt,$

partiell differenzierbar und es gilt

${}{\frac {\partial }{\partial x_{i}}}{\left(x\mapsto \int _{a}^{b}f(t,x)dt\right)}=\int _{a}^{b}{\frac {\partial }{\partial x_{i}}}f(t,x)dt\,.$

Beweis

Dies folgt direkt aus Fakt *****.

$\Box$