Transformationssatz

Einführung

Der Transformationssatz (auch Transformationsformel) beschreibt in der Analysis das Verhalten von Integralen unter Koordinatentransformationen. Er ist somit die Verallgemeinerung der Integration durch Substitution auf Funktionen höherer Dimensionen. Der Transformationssatz wird als Hilfsmittel bei der Berechnung von Integralen verwendet, wenn sich das Integral nach Überführung in ein anderes Koordinatensystem leichter berechnen lässt.

Formulierung des Satzes

Es sei $\mathrm{\Omega }\subseteq {ℝ}^d$ eine offene Menge und $\mathrm{\Phi }:\mathrm{\Omega }\to \mathrm{\Phi }(\mathrm{\Omega })\subseteq {ℝ}^d$ ein Diffeomorphismus. Dann ist die Funktion $f$ auf $\mathrm{\Phi }(\mathrm{\Omega })$ genau dann integrierbar, wenn die Funktion $x\mapsto f(\mathrm{\Phi }(x))\cdot |\det (D\mathrm{\Phi }(x))|$ auf $\mathrm{\Omega }$ integrierbar ist. In diesem Fall gilt:

$\underset{\mathrm{\Phi }(\mathrm{\Omega })}{\int }f(y)\mathrm{d}y=\underset{\mathrm{\Omega }}{\int }f(\mathrm{\Phi }(x))\cdot |\det (D\mathrm{\Phi }(x))|\mathrm{d}x.$

Dabei ist $D\mathrm{\Phi }(x)$ die Jacobi-Matrix und $\det (D\mathrm{\Phi }(x))$ die Funktionaldeterminante von $\mathrm{\Phi }$.

Spezialfälle

• Wählt man für $f$ die konstante Funktion 1, so stellt die linke Seite der Formel einfach das Volumen bzw. $d$-dimensionale Lebesgue-Maß der Bildmenge $\mathrm{\Phi }(\mathrm{\Omega })$ dar:

  $\mathrm{vol}(\mathrm{\Phi }(\mathrm{\Omega }))=\underset{\mathrm{\Omega }}{\int }|\det (D\mathrm{\Phi }(x))|\mathrm{d}x.$

• Ist außerdem die Abbildung $\mathrm{\Phi }$ linear oder affin, $\mathrm{\Phi }(x)=Ax+b$, wobei $A$ eine $d\times d$-Matrix ist und $b\in {ℝ}^d$, so ist $D\mathrm{\Phi }(x)=A$. Somit gilt

  $\mathrm{vol}(\mathrm{\Phi }(\mathrm{\Omega }))=|\det (A)|\cdot \mathrm{vol}(\mathrm{\Omega }).$

Beispiel - Dichtefunktion der Normalverteilung

Um zu zeigen, dass das Integral über die Dichtefunktion der Normalverteilung normiert ist (siehe Wahrscheinlichkeitsmaß), berechnet man das uneigentliche Integral über die Gauß-Glocke mit der folgenden Dichtefunktion:

$\frac{1}{\sigma \sqrt{2\pi }}{\mathrm{e}}^{-\frac{1}{2}(\frac{x-\mu }{\sigma }{)}^2}$

Beweisidee

Man zeigt, dass das Integral $I$ über die obige Dichtefunktion gleich 1 ist, indem man zeigt, dass $I^2=1$. Da das Integral über eine positive Dichtefunktion ebenfalls positiv sein muss, bleibt dann nur die Lösung, dass $I=1$ sein muss.

Lineare Transformation

Um die Parameter in der Dichtefunktion bei der Berechnung zu vereinfachen, genügt es, die folgende Aussage für die Dichte der Standardnormalverteilung zu zeigen:

${\left(\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{\mathrm{e}}^{-x^2}\mathrm{d}x\right)}^2=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{\mathrm{e}}^{-x^2-y^2}\mathrm{d}x\mathrm{d}y=\pi$

Die obige Aussage für eine allgemeine Dichte erhält man unmittelbar über die Substitionsregel der Integration.

Eigenschaften - Rotationssymmetrie

Da die Funktion $f(x,y)={\mathrm{e}}^{-x^2-y^2}={\mathrm{e}}^{-r^2}$ rotationssymmetrisch ist, liegt die Berechnung des Integrals in Polarkoordinaten statt kartesischen Koordinaten nahe:

Koordinatentransformation

Um das Integral berechnen zu können, wird eine Koordinatentransformation von dem kartesischen Koordinaten in die Polarkoordinaten durchgeführt. Dafür benötigt man die Funktionaldeterminante oder Determinante der Jacobi-Matrix.

Determinante der Jacobi-Matrix

Es sei $\mathrm{\Omega }={ℝ}_{>0}\times (0,2\pi )$ und

$\mathrm{\Phi }:\mathrm{\Omega }\to {ℝ}^2,(r,\phi )\mapsto (r\cos \phi ,r\sin \phi ).$

Dann ist die Funktionaldeterminante

$\det D\mathrm{\Phi }(r,\phi )=\left|\begin{array}{cc}\cos \phi & -r\sin \phi \\ \sin \phi & r\cos \phi \end{array}\right|=r({\cos }^2\phi +{\sin }^2\phi )=r.$

Anwendung des Transformationssatzes

Das Komplement von $\mathrm{\Phi }(\mathrm{\Omega })\subset {ℝ}^2$ ist eine Nullmenge, mit $f(x,y)={\mathrm{e}}^{-x^2-y^2}$ ergibt sich also

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{\mathrm{e}}^{-x^2-y^2}\mathrm{d}x\mathrm{d}y$

$=\underset{\mathrm{\Phi }(\mathrm{\Omega })}{\int }{\mathrm{e}}^{-x^2-y^2}\mathrm{d}x\mathrm{d}y$

$=\underset{\mathrm{\Omega }}{\int }{\mathrm{e}}^{-(r\cos \phi {)}^2-(r\sin \phi {)}^2}\cdot \det D\mathrm{\Phi }(r,\phi )\mathrm{d}r\mathrm{d}\phi$

$=\underset{\mathrm{\Omega }}{\int }{\mathrm{e}}^{-r^2}\cdot r\mathrm{d}r\mathrm{d}\phi$

$=\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{\mathrm{\infty }}{\int }}r{\mathrm{e}}^{-r^2}\mathrm{d}r\mathrm{d}\phi$

$=\underset{0}{\overset{2\pi }{\int }}\frac{1}{2}\cdot \mathrm{d}\phi =\pi .$

Die Auswertung des inneren Integrals in der vorletzten Zeile kann beispielsweise durch eine Substitution $t=r^2$ begründet werden.

Literatur

• Otto Forster: Analysis. Band 3: Maß- und Integrationstheorie, Integralsätze im Rⁿ und Anwendungen, 8. verbesserte Auflage. Springer Spektrum, Wiesbaden, 2017, ISBN 978-3-658-16745-5.
• Konrad Königsberger: Analysis 2, Springer, Berlin 2004, S. 211

Siehe auch

• Kurs:Maßtheorie auf topologischen Räumen

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Maßtheorie auf topologischen Räumen' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Transformationssatz
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Wikipedia2Wikiversity

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt:

• Transformationssatz https://de.wikipedia.org/wiki/Transformationssatz
• Datum: 25.1.2024
• Wikipedia2Wikiversity-Konverter: https://niebert.github.com/Wikipedia2Wikiversity