Kurs:Analysis (Osnabrück 2014-2016)/Teil II/Vorlesung 58

Um eine weitere wichtige Charakterisierung für Gradientenfelder beweisen zu können, müssen wir wissen, wie sich Integrale verhalten, die von Parametern abhängen.

Differenzierbarkeit des Integrals

Wir beginnen mit einem Beispiel.

Beispiel

Wir betrachten das Integral

$\int _{1}^{2}t^{x}dt,$

wobei ${}x>-1$ sei. Eine Stammfunktion zu ${}t\mapsto t^{x}$ ist durch ${}{\frac {1}{x+1}}t^{x+1}$ gegeben. Daher ist

${}\int _{1}^{2}t^{x}dt={\left({\frac {1}{x+1}}t^{x+1}\right)}{|}_{1}^{2}={\frac {1}{x+1}}{\left(2^{x+1}-1\right)}=g(x)\,.$

Diese Funktion ${}g(x)$ drückt den Wert des bestimmten Integrals zum Parameter ${}x$ aus. Ein Blick auf die Bauart zeigt, dass ${}g$ stetig und auch differenzierbar ist, und zwar ist nach der Produktregel

${}g'(x)={\frac {-1}{(x+1)^{2}}}{\left(2^{x+1}-1\right)}+{\frac {1}{x+1}}{\left({\left(\ln 2\right)}2^{x+1}\right)}\,.$

Andererseits kann man auch die Funktion ${}t^{x}$ nach ${}x$ ableiten und erhält

${}{\frac {\partial }{\partial x}}t^{x}={\left(\ln t\right)}t^{x}\,.$

Eine Stammfunktion nach ${}t$ zu dieser Funktion findet man mittels partieller Integration, nämlich

${}\int {\left(\ln t\right)}t^{x}={\left(\ln t\right)}{\frac {t^{x+1}}{x+1}}-\int {\frac {1}{t}}\cdot {\frac {t^{x+1}}{x+1}}\,,$

und somit ist

${\frac {\ln t}{x+1}}\cdot t^{x+1}-{\frac {1}{(x+1)^{2}}}t^{x+1}$

eine Stammfunktion. Daher ist

${}{\begin{aligned}\int _{1}^{2}{\frac {\partial }{\partial x}}t^{x}dt&={\left({\frac {\ln t}{x+1}}\cdot t^{x+1}-{\frac {1}{(x+1)^{2}}}t^{x+1}\right)}|_{1}^{2}\\&={\frac {\ln 2}{x+1}}\cdot 2^{x+1}-{\frac {1}{(x+1)^{2}}}2^{x+1}+{\frac {1}{(x+1)^{2}}}.\end{aligned}}$

Dies stimmt mit der Ableitung von ${}g$ überein, d.h. es ist

${}{\left(x\mapsto \int _{1}^{2}t^{x}dt\right)}'=\int _{1}^{2}{\frac {\partial }{\partial x}}t^{x}dt\,.$

Dahinter verbirgt sich ein allgemeiner Zusammenhang, der in Satz 58.3 beschrieben wird.

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 23.15 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$

Unter stärkeren Voraussetzungen hängen Integrale sogar differenzierbar von Parametern ab.

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$, sodass 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 Satz 58.3.

$\Box$

Die Integrabilitätsbedingung

Wie kann man erkennen, ob ein gegebenes Vektorfeld ein Gradientenfeld ist? Eine notwendige Bedingung schlägt sich in der folgenden Definition nieder.

Definition

Es sei ${}U\subseteq \mathbb {R} ^{n}$ eine offene Teilmenge und

$G\colon U\longrightarrow \mathbb {R} ^{n}$

ein differenzierbares Vektorfeld. Man sagt, dass ${}G$ die Integrabilitätsbedingung erfüllt (oder lokal integrabel ist), wenn

${}{\frac {\partial G_{i}}{\partial x_{j}}}(P)={\frac {\partial G_{j}}{\partial x_{i}}}(P)\,$

für alle ${}P\in U$ und alle ${}i,j$ gilt.

Lemma

Das Gradientenfeld einer zweimal stetig differenzierbaren Funktion

erfüllt die Integrabilitätsbedingung.

Beweis

Dies folgt direkt aus Satz 44.10.

$\Box$

Beispiel

Das lineare Vektorfeld

$G\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,{\begin{pmatrix}x\\y\end{pmatrix}}\longmapsto {\begin{pmatrix}-y\\x\end{pmatrix}}={\begin{pmatrix}0&-1\\1&0\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}},$

erfüllt wegen

${}{\frac {\partial G_{1}}{\partial y}}=-1\neq 1={\frac {\partial G_{2}}{\partial x}}\,$

nicht die Integrabilitätsbedingung. Es kann also nach Lemma 58.6 kein Gradientenfeld sein.

Definition

Eine Teilmenge ${}T\subseteq \mathbb {R} ^{n}$ heißt sternförmig bezüglich eines Punktes ${}P\in T$, wenn für jeden Punkt ${}Q\in T$ die Verbindungsstrecke ${}sQ+(1-s)P$, ${}s\in [0,1]$, ganz in ${}T$ liegt.

Satz

Es sei ${}U\subseteq \mathbb {R} ^{n}$ eine sternförmige offene Teilmenge und

$G\colon U\longrightarrow \mathbb {R} ^{n}$

ein stetig differenzierbares Vektorfeld. Dann sind die folgenden Eigenschaften äquivalent.

1. ${}G$ ist ein Gradientenfeld.
2. ${}G$ erfüllt die Integrabilitätsbedingung.
3. Für jeden stetig differenzierbaren Weg ${}\gamma \colon [a,b]\rightarrow U$ hängt das Wegintegral ${}\int _{\gamma }G$ nur vom Anfangspunkt ${}\gamma (a)$ und Endpunkt ${}\gamma (b)$ ab.

Beweis

Die Äquivalenz ${}(1)\Longleftrightarrow (3)$ folgt aus Satz 57.10 und die Implikation ${}(1)\Longrightarrow (2)$ aus Lemma 58.6. Es bleibt also ${}(2)\Longrightarrow (1)$ zu zeigen, wobei wir explizit eine Stammfunktion ${}h$ zum Vektorfeld ${}G$ angeben. Es sei ${}P\in U$ ein Punkt derart, dass ${}U$ bezüglich ${}P$ sternförmig ist. Wir definieren ${}h(Q)$ über das Wegintegral zu ${}G$ zum linearen Verbindungsweg

$\gamma \colon [0,1]\longrightarrow U,\,t\longmapsto P+t(Q-P),$

also

${}h(Q):=\int _{\gamma }G=\int _{0}^{1}\left\langle G(\gamma (t)),Q-P\right\rangle dt\,.$

Wir müssen zeigen, dass der Gradient zu ${}h$ gleich ${}G$ ist, d.h. es ist

${}{\frac {\partial h}{\partial x_{i}}}=G_{i}\,$

zu zeigen. Dafür können wir ${}P=0$ annehmen und wir schreiben ${}v$ statt ${}Q$. Mit diesen Bezeichnungen und Voraussetzungen ist

${}{\begin{aligned}{\frac {\partial }{\partial x_{i}}}h(v)&={\frac {\partial }{\partial x_{i}}}{\left(\int _{0}^{1}\left\langle G(tv),v\right\rangle dt\right)}\\&=\int _{0}^{1}{\left({\frac {\partial }{\partial x_{i}}}\left\langle G(tv),v\right\rangle \right)}dt\\&=\int _{0}^{1}{\left({\frac {\partial }{\partial x_{i}}}{\left(\sum _{j=1}^{n}G_{j}(tv)\cdot v_{j}\right)}\right)}dt\\&=\int _{0}^{1}t\sum _{j=1}^{n}v_{j}{\left({\frac {\partial }{\partial x_{i}}}G_{j}\right)}(tv)+G_{i}(tv)dt\\&=\int _{0}^{1}t\sum _{j=1}^{n}v_{j}{\left({\frac {\partial }{\partial x_{j}}}G_{i}\right)}(tv)+G_{i}(tv)dt\\&=\int _{0}^{1}{\left(t\mapsto t\cdot G_{i}(tv)\right)}^{\prime }dt\\&={\left(t\cdot G_{i}(tv)\right)}{|}_{0}^{1}\\&=G_{i}(v).\end{aligned}}$

Dabei beruht die zweite Gleichung auf der Vertauschbarkeit von Integration und Differentiation (angewendet auf die stetig differenzierbare Funktion ${}[0,1]\times U\longrightarrow \mathbb {R}$, ${}(t,v)\longmapsto \left\langle G(tv),v\right\rangle$), die vierte Gleichung auf Aufgabe 43.11, die fünfte Gleichung auf der Integrabilitätsbedingung, die sechste Gleichung auf der Kettenregel und der Produktregel und die siebte Gleichung auf der Newton-Leibniz-Formel.

$\Box$

Beispiel

Wir betrachten das Vektorfeld

$G\colon \mathbb {R} ^{2}\setminus \{(0,0)\}\longrightarrow \mathbb {R} ^{2},\,{\begin{pmatrix}x\\y\end{pmatrix}}\longmapsto {\frac {1}{x^{2}+y^{2}}}{\begin{pmatrix}-y\\x\end{pmatrix}}.$

Wegen

${}{\frac {\partial G_{1}}{\partial y}}={\frac {\partial }{\partial y}}{\left({\frac {-y}{x^{2}+y^{2}}}\right)}={\frac {-(x^{2}+y^{2})+y(2y)}{(x^{2}+y^{2})^{2}}}={\frac {-x^{2}+y^{2}}{(x^{2}+y^{2})^{2}}}\,$

und

${}{\frac {\partial G_{2}}{\partial x}}={\frac {\partial }{\partial x}}{\left({\frac {x}{x^{2}+y^{2}}}\right)}={\frac {(x^{2}+y^{2})-x(2x)}{(x^{2}+y^{2})^{2}}}={\frac {-x^{2}+y^{2}}{(x^{2}+y^{2})^{2}}}\,$

erfüllt dieses Vektorfeld die Integrabilitätsbedingung. Es handelt sich aber nicht um ein Gradientenfeld: Das Wegintegral zur (geschlossenen) trigonometrischen Parametrisierung des Einheitskreises

$\gamma \colon [0,2\pi ]\longrightarrow \mathbb {R} ^{2},\,t\longmapsto {\begin{pmatrix}\cos t\\\sin t\end{pmatrix}},$

ist

${}{\begin{aligned}\int _{\gamma }G&=\int _{0}^{2\pi }\left\langle G(\gamma (t)),{\begin{pmatrix}-\sin t\\\cos t\end{pmatrix}}\right\rangle dt\\&=\int _{0}^{2\pi }\left\langle {\begin{pmatrix}-\sin t\\\cos t\end{pmatrix}},{\begin{pmatrix}-\sin t\\\cos t\end{pmatrix}}\right\rangle dt\\&=\int _{0}^{2\pi }\sin ^{2}t+\cos ^{2}tdt\\&=\int _{0}^{2\pi }1dt\\&=2\pi \\&\neq 0\end{aligned}}$

im Gegensatz zu Korollar 57.9.

<< | Kurs:Analysis (Osnabrück 2014-2016)/Teil II | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)