Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Vorlesung 75/kontrolle

Die Transformationsformel für Integrale

Korollar Korollar 75.1 ändern

Es seien ${}G$ und ${}H$ offene Mengen im ${}\mathbb {R} ^{n}$ und es sei

\varphi \colon G\longrightarrow H

ein ${}C^{1}$ - Diffeomorphismus mit der Jacobi-Determinante ${}(J(\varphi ))(x)=\det \left(D\varphi \right)_{x}$ für ${}x\in G$ . Es sei ${}Q\subseteq G$ ein kompakter achsenparalleler Quader.

Dann gilt

${}\lambda ^{n}(\varphi (Q))=\int _{Q}\vert {(J(\varphi ))(x)}\vert \,d\lambda ^{n}\,.$

Beweis

Da ${}\varphi$ stetig differenzierbar ist, ist die Abbildung

G\longrightarrow \mathbb {R} ,\,x\longmapsto j(x)=\vert {(J(\varphi ))(x)}\vert =\vert {\det \left(D\varphi \right)_{x}}\vert ,

stetig und daher nach Satz 22.11 gleichmäßig stetig auf dem kompakten Quader ${}Q$ . D.h. zu jedem ${}\epsilon >0$ gibt es ein ${}\delta >0$ mit ${}j(B\left(x,\delta \right))\subseteq B\left(j(x),\epsilon \right)$ für alle ${}x\in Q$ . Dann gibt es auch ein ${}{\tilde {\delta }}>0$ derart, dass für alle kompakten Teilquader ${}K\subseteq Q$ mit maximaler Kantenlänge ${}\leq {\tilde {\delta }}$ das Bild ${}j(K)$ in einem abgeschlossenen Intervall der Länge ${}2\epsilon$ liegt. Damit ist die Differenz zwischen dem Minimum und dem Maximum von ${}{\left\{j(x)\mid x\in K\right\}}$ maximal gleich ${}2\epsilon$ .

Sei ${}\epsilon >0$ gegeben. Wir unterteilen ${}Q$ in ${}k^{n}$ kompakte Teilquader, indem wir jede Quaderkante in ${}k$ gleichlange Teile unterteilen, und wählen dabei ${}k\in \mathbb {N}$ so groß, dass die entstehenden ${}k^{n}$ Teilquader die oben beschriebene Eigenschaft haben. Es sei ${}I$ eine Indexmenge zu dieser Unterteilung, es ist also ${}Q=\bigcup _{i\in I}K_{i}$ und damit ${}\varphi (Q)=\bigcup _{i\in I}\varphi (K_{i})$ . Diese beiden Vereinigungen sind nicht disjunkt, jedoch sind die Schnittmengen der Quader nach Lemma 67.11 und die Schnittmengen der ${}\varphi (K_{i})$ als Bilder von Quaderseiten nach Korollar 74.6 Nullmengen. Wir wenden Lemma 74.7 auf die Teilquader ${}K_{i}$ an und erhalten

{}{\begin{aligned}\sum _{i\in I}\lambda ^{n}(K_{i})\cdot {\min {\left(j(x),x\in K_{i}\right)}}&\leq \lambda ^{n}(\varphi (Q))\\&=\sum _{i\in I}\lambda ^{n}(\varphi (K_{i}))\\&\leq \sum _{i\in I}\lambda ^{n}(K_{i})\cdot {\max {\left(j(x),x\in K_{i}\right)}}.\end{aligned}}

Dabei ist die Differenz zwischen links und rechts durch

{}\sum _{i\in I}\lambda ^{n}(K_{i})2\epsilon =2\epsilon \lambda ^{n}(Q)\,

beschränkt, kann also durch ${}\epsilon \rightarrow 0$ beliebig klein gemacht werden. Die gleichen Abschätzungen gelten wegen der Monotonie des Integrals auch für das Integral ${}\int _{Q}j(x)\,d\lambda ^{n}(x)$ , sodass

{}\lambda ^{n}(\varphi (Q))=\int _{Q}j(x)\,d\lambda ^{n}(x)\,

gilt.

\Box

Satz Satz 75.2 ändern

Es seien ${}G$ und ${}H$ offene Mengen im ${}\mathbb {R} ^{n}$ und es sei

\varphi \colon G\longrightarrow H

ein ${}C^{1}$ -Diffeomorphismus mit der Jacobi-Determinante ${}(J(\varphi ))(x)=\det \left(D\varphi \right)_{x}$ für ${}x\in G$ . Es sei ${}S\subseteq G$ eine messbare Menge.

Dann ist ${}\varphi (S)$ ebenfalls messbar und es gilt

${}\lambda ^{n}(\varphi (S))=\int _{S}\vert {J(\varphi )}\vert \,d\lambda ^{n}\,.$

Beweis

Ein Diffeomorphismus und seine Umkehrabbildung sind stetig, daher liegt eine Bijektion der messbaren Teilmengen von ${}G$ und von ${}H$ vor. Wir betrachten die beiden Zuordnungen

{\mathcal {B}}(G)\longrightarrow {\overline {\mathbb {R} }},\,S\longmapsto \int _{S}\vert {J(\varphi )(x)}\vert \,d\lambda ^{n}(x),

also das Maß auf ${}G$ mit der Dichte ${}\vert {J(\varphi )(x)}\vert$ , und

{\mathcal {B}}(G)\longrightarrow {\overline {\mathbb {R} }},\,S\longmapsto \lambda ^{n}(\varphi (S)),

also das Bildmaß von ${}\lambda ^{n}$ unter der Umkehrabbildung ${}\varphi ^{-1}$ , und müssen zeigen, dass diese beiden Maße gleich sind.
Nach Korollar 75.1 gilt die Gleichheit für alle kompakten achsenparallelen Quader. Aufgrund von Aufgabe 70.2 bzw. Korollar 74.6 gilt die Gleichheit auch für alle offenen bzw. „nach oben halboffenen“ achsenparallelen Quader, also Produkte von nach oben halboffenen Intervallen. Die Menge der endlichen disjunkten Vereinigungen von diesen zuletzt genannten Quadern bilden einen Mengen-Präring im ${}\mathbb {R} ^{n}$ . Diese Menge ist auch ein durchschnittsstabiles Erzeugendensystem für das System der Borelmengen. Daher müssen nach Satz 64.7 die beiden Maße generell übereinstimmen.

\Box

Wir kommen zur Transformationsformel für Integrale.

Satz Satz 75.3 ändern

Es seien ${}G$ und ${}H$ offene Mengen im ${}\mathbb {R} ^{n}$ und es sei

\varphi \colon G\longrightarrow H

ein ${}C^{1}$ - Diffeomorphismus mit der Jacobi-Determinante

{}(J(\varphi ))(x)=\det \left(D\varphi \right)_{x}\,

für ${}x\in G$ . Es sei

f\colon H\longrightarrow \mathbb {R}

eine messbare Funktion.

Dann ist ${}f$ auf ${}H$ genau dann integrierbar, wenn die Hintereinanderschaltung ${}f\circ \varphi$ auf ${}G$ integrierbar ist. In diesem Fall gilt

${}\int _{H}f\,d\lambda ^{n}=\int _{G}(f\circ \varphi )\vert {J(\varphi )}\vert \,d\lambda ^{n}\,.$

Beweis

Die Zuordnung ${}S\mapsto \lambda ^{n}(\varphi (S))$ für messbare Mengen ${}S\subseteq G$ ist ein Maß auf ${}{\mathcal {B}}(G)$ und zwar handelt es sich um das Bildmaß ${}\varphi _{*}^{-1}\lambda ^{n}$ von ${}\lambda ^{n}$ unter der Umkehrabbildung

\varphi ^{-1}\colon H\longrightarrow G.

Nach Satz 75.2 besitzt dieses Maß die Dichte ${}x\mapsto \vert {(J(\varphi ))(x)}\vert$ . Daher gilt nach Aufgabe 75.4 und der allgemeinen Transformationsformel

{}{\begin{aligned}\int _{G}(f\circ \varphi )\cdot \vert {J(\varphi )}\vert \,d\lambda ^{n}&=\int _{G}(f\circ \varphi )\,d(\varphi _{*}^{-1}\lambda ^{n})\\&=\int _{H}(f\circ \varphi \circ \varphi ^{-1})\,d\lambda ^{n}\\&=\int _{H}f\,d\lambda ^{n}.\end{aligned}}

\Box

Beispiele zur Transformationsformel

Korollar Korollar 75.4 ändern

Es sei

\varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(r,\theta )\longmapsto (r\cos \theta ,r\sin \theta ),

die Polarkoordinatenauswertung und es seien ${}G$ und ${}H$ offene Mengen, auf denen ${}\varphi$ einen Diffeomorphismus induziert. Es sei

f\colon H\longrightarrow \mathbb {R}

eine integrierbare Funktion.

Dann ist

$\int _{H}f(x,y)\,d\lambda ^{2}(x,y)=\int _{G}f(r\cos \theta ,r\sin \theta )\cdot \vert {r}\vert \,d\lambda ^{2}(r,\theta )\,.$

Dies gilt auch dann, wenn außerhalb von Nullmengen ein Diffeomorphismus vorliegt. Insbesondere gilt bei stetigem ${}f$ die Formel

\int _{\mathbb {R} ^{2}}f(x,y)\,d\lambda ^{2}(x,y)=\int _{0}^{\infty }\int _{0}^{2\pi }f(r\cos \theta ,r\sin \theta )\cdot r\,d\theta \,dr\,.

Beweis

Dies folgt wegen

{}\det \left(D\varphi \right)_{(r,\theta )}=\det {\begin{pmatrix}\cos \theta &-r\sin \theta \\\sin \theta &r\cos \theta \end{pmatrix}}=r\cos ^{2}\theta +r\sin ^{2}\theta =r\,

direkt aus Satz 75.3.

\Box

Lemma Lemma 75.5 ändern

Es ist

${}\int _{-\infty }^{+\infty }e^{-x^{2}}\,dx={\sqrt {\pi }}\,.$

Beweis

Durch eine einfache Substitution ist die Aussage äquivalent zu

{}\int _{-\infty }^{+\infty }{\frac {1}{\sqrt {2\pi }}}e^{-{\frac {t^{2}}{2}}}\,dt=1\,.

Nennen wir dieses Integral ${}I$ . Nach Korollar 74.2 ist

{}I^{2}={\left(\int _{-\infty }^{+\infty }{\frac {1}{\sqrt {2\pi }}}e^{-{\frac {t^{2}}{2}}}\,dt\right)}\cdot {\left(\int _{-\infty }^{+\infty }{\frac {1}{\sqrt {2\pi }}}e^{-{\frac {t^{2}}{2}}}\,dt\right)}=\int _{\mathbb {R} ^{2}}{\frac {1}{2\pi }}e^{-{\frac {x^{2}+y^{2}}{2}}}\,d\lambda ^{2}\,.

Durch Einführung von Polarkoordinaten ${}x=r\cos \theta$ und ${}y=r\sin \theta$ ist dieses Integral nach Korollar 75.4 und nach einer erneuten Anwendung von Korollar 74.2 gleich

{}{\begin{aligned}\,&={\frac {1}{2\pi }}\int _{[0,2\pi ]\times \mathbb {R} _{\geq 0}}e^{-{\frac {r^{2}}{2}}}\cdot r\,d\lambda ^{2}(r,\theta )\\&={\frac {1}{2\pi }}{\left(\int _{[0,2\pi ]}1\,d\lambda ^{1}(\theta )\right)}{\left(\int _{\mathbb {R} _{\geq 0}}e^{-{\frac {r^{2}}{2}}}\cdot r\,d\lambda ^{1}(r)\right)}\\&=\int _{\mathbb {R} _{\geq 0}}e^{-{\frac {r^{2}}{2}}}\cdot r\,d\lambda ^{1}(r)\\&=\int _{0}^{\infty }e^{-{\frac {r^{2}}{2}}}\cdot r\,dr\\&=-e^{-{\frac {r^{2}}{2}}}|_{0}^{\infty }\\&=1.\end{aligned}}

Damit ist auch ${}I=1$ .

\Box

Beispiel Referenznummer erstellen

Es soll eine Straße in der Ebene der Breite ${}2a$ asphaltiert werden. Dabei wird die Straße durch den Verlauf des Mittelstreifen vorgegeben, der durch die Kurve

[0,s]\longrightarrow \mathbb {R} ^{2},\,t\longmapsto \psi (t)={\begin{pmatrix}f(t)\\g(t)\end{pmatrix}},

bestimmt ist. Dabei sei ${}\psi$ zweimal stetig differenzierbar und bogenparametrisiert, d.h. es sei ${}f'(t)^{2}+g'(t)^{2}=1$ , was bedeutet, dass die Mittelstreifenkurve mit normierter Geschwindigkeit durchlaufen wird. Die Breite ist dabei senkrecht zum Mittelstreifen zu messen. Die zu asphaltierende Trasse wird dann durch die Abbildung

\varphi \colon [0,s]\times [-a,a]\longrightarrow \mathbb {R} ^{2},\,(t,r)\longmapsto {\begin{pmatrix}f(t)\\g(t)\end{pmatrix}}+r{\begin{pmatrix}-g'(t)\\f'(t)\end{pmatrix}},

parametrisiert. Wir nehmen an, dass diese Parametrisierung injektiv ist, was erfüllt ist, wenn die Mittelstreifenabbildung ${}\psi$ injektiv ist und die Straße nicht zu breit werden soll.

Die Jacobi-Matrix der Parametrisierung ist