Funktionaldeterminante

Die Funktionaldeterminante oder Jacobi-Determinante ist eine mathematische Größe, die in der mehrdimensionalen Integralrechnung, also der Berechnung von Oberflächen- und Volumenintegralen, eine Rolle spielt. Insbesondere findet sie in der Flächenformel und dem aus dieser hervorgehenden Transformationssatz Verwendung.

Lokales Verhalten einer Funktion

Die Funktionaldeterminante gibt zu einem gegebenen Punkt wichtige Informationen über das Verhalten der Funktion in der Nähe dieses Punktes. Wenn beispielsweise die Funktionaldeterminante einer stetig differenzierbaren Funktion in einem Punkt ungleich null ist, so ist die Funktion in einer Umgebung von invertierbar. Weiterhin gilt, dass bei positiver Determinante in die Funktion ihre Orientierung beibehält und bei negativer Funktionaldeterminante die Orientierung umkehrt. Der absolute Wert der Determinante im Punkt gibt den Wert an, mit dem die Funktion in der Nähe von expandiert oder schrumpft.

Definition

Für eine differenzierbare Funktion $f\colon \mathbb{R} ^{n}\to \mathbb{R} ^{n}$ ist die Funktionaldeterminante definiert als die Determinante der Jacobi-Matrix von , also als

$\det \,Df(x)$

mit

$Df(x)=\left({\frac {\partial f_{i}}{\partial x_{j}}}(x)\right)_{{i,j=1,\dotsc ,n}}$ .

Für die Transformation von Volumenelementen, einen wichtigen Anwendungsfall in der Physik, reicht diese Definition aus. Die Flächenformel der Maß- und Integrationstheorie beschreibt dagegen auch, wie sich Integrale über Funktionen, die Räume unterschiedlicher Dimension ineinander abbilden, transformieren. In diesem Anwendungsfall ist keine quadratische Matrix mehr, sodass der Ausdruck oben nicht mehr definiert ist. Man verwendet dann die folgende Definition:

Die verallgemeinerte Funktionaldeterminante einer Funktion $f:\mathbb{R} ^{n}\to \mathbb{R} ^{m}$ ist definiert als

${\mathcal J}\!f(x):={\sqrt {\det \left(\left(Df(x)\right)^{T}\cdot Df(x)\right)}}$

Dabei bezeichnet $Df(x)\in \mathbb{R} ^{{m\times n}}$ die Jacobi-Matrix und $(Df(x))^{T}$ ihre Transponierte. Der Ausdruck $\det \left(\left(Df(x)\right)^{T}\cdot Df(x)\right)$ wird gramsche Determinante von genannt.

Solange die betrachtete Abbildung keine Selbstabbildung ist, ist es üblich, das Präfix verallgemeinerte wegzulassen. Bei Selbstabbildungen kann dies allerdings zu Missverständnissen führen, da beide Definitionen im Allgemeinen unterschiedliche Werte annehmen. Es gilt ja

${\mathcal J}\!f(x)={\sqrt {(\det Df)^{2}}}=|\det Df|\neq \det Df$

Im Kontext der Flächen- bzw. Transformationsformel wird allerdings ohnehin immer der Betrag verwendet.

Beispiele

Bei der Integration über geometrische Objekte ist es oft unpraktisch, über kartesische Koordinaten zu integrieren. So lässt sich in der Physik das Integral über ein radialsymmetrisches Potentialfeld, dessen Wert nur von einem Radius abhängt, wesentlich leichter in Kugelkoordinaten berechnen.

Um dies zu tun, wendet man eine Koordinatentransformation $\Phi$ an. Nach dem Transformationssatz gilt dann in diesem Beispiel:

$\int _{{\Omega }}U({\vec r})dV=\int _{{\Phi ^{{-1}}(\Omega )}}U(\Phi (r,\theta ,\varphi ))\cdot \left|\det D\Phi (r,\theta ,\varphi )\right|\,{\mathrm {d}}r\,{\mathrm {d}}\theta \,{\mathrm {d}}\varphi$

Im Folgenden sind Rechnungen zu drei Koordinatensystemen aufgeführt:

Polarkoordinaten

Die Umrechnungsformeln von Polarkoordinaten in kartesische Koordinaten lauten:

$x=r\cos \varphi$

$y=r\sin \varphi$

Die Funktionaldeterminante lautet also:

$\det {\frac {\partial (x,y)}{\partial (r,\varphi )}}=\det {\begin{pmatrix}\cos \varphi &-r\sin \varphi \\\sin \varphi &r\cos \varphi \end{pmatrix}}=r\cdot (\cos \varphi )^{2}+r\cdot (\sin \varphi )^{2}=r$

Folglich ergibt sich für das Flächenelement $\mathrm {d} A$ :

${\mathrm {d}}A=\left|\det {\frac {\partial (x,y)}{\partial (r,\varphi )}}\right|\,{\mathrm {d}}r\,{\mathrm {d}}\varphi =r\,{\mathrm {d}}r\,{\mathrm {d}}\varphi .$

Kugelkoordinaten

Die Umrechnungsformeln von Kugelkoordinaten ( $r,\theta ,\varphi$ ) in kartesische Koordinaten lauten:

$x=r\sin \theta \cos \varphi$ ,

$y=r\sin \theta \sin \varphi$ und

$z=r\cos \theta \quad$ .

Die Funktionaldeterminante lautet also:

$\det {\frac {\partial (x,y,z)}{\partial (r,\theta ,\varphi )}}=\det {\begin{pmatrix}\sin \theta \cos \varphi &r\cos \theta \cos \varphi &-r\sin \theta \sin \varphi \\\sin \theta \sin \varphi &r\cos \theta \sin \varphi &r\sin \theta \cos \varphi \\\cos \theta &-r\sin \theta &0\end{pmatrix}}=r^{2}\sin \theta .$

Folglich ergibt sich für das Volumenelement $\mathrm {d} V$ :

${\mathrm {d}}V=\left|\det {\frac {\partial (x,y,z)}{\partial (r,\theta ,\varphi )}}\right|\,{\mathrm {d}}r\,{\mathrm {d}}\theta \,{\mathrm {d}}\varphi =r^{2}\sin \theta \,{\mathrm {d}}r\,{\mathrm {d}}\theta \,{\mathrm {d}}\varphi .$

Manchmal ist es praktischer, mit folgender Konvention zu arbeiten:

$x=r\cos \theta \cos \varphi$ ,

$y=r\cos \theta \sin \varphi$ und

$z=r\sin \theta \quad$ .

Die Funktionaldeterminante lautet somit:

$\det {\frac {\partial (x,y,z)}{\partial (r,\theta ,\varphi )}}=\det {\begin{pmatrix}\cos \theta \cos \varphi &-r\sin \theta \cos \varphi &-r\cos \theta \sin \varphi \\\cos \theta \sin \varphi &-r\sin \theta \sin \varphi &r\cos \theta \cos \varphi \\\sin \theta &r\cos \theta &0\end{pmatrix}}=-r^{2}\cos \theta .$

Also ergibt sich für das Volumenelement $\mathrm {d} V$ :

$\mathrm {d} V=\left|\det {\frac {\partial (x,y,z)}{\partial (r,\theta ,\varphi )}}\right|\,\mathrm {d} r\,\mathrm {d} \theta \,\mathrm {d} \varphi =r^{2}\cos \theta \,\mathrm {d} r\,\mathrm {d} \theta \,\mathrm {d} \varphi .$

Zylinderkoordinaten

Die Umrechnungsformeln von Zylinderkoordinaten ( $\rho$ , $\varphi$ , ) in kartesische Koordinaten lauten:

$x=\rho \cos \varphi$

$y=\rho \sin \varphi$

$\!z=z$

Die Funktionaldeterminante lautet also:

$\det {\frac {\partial (x,y,z)}{\partial (\rho ,\varphi ,z)}}=\det {\begin{pmatrix}\cos \varphi &-\rho \sin \varphi &0\\\sin \varphi &\rho \cos \varphi &0\\0&0&1\end{pmatrix}}=\rho .$

Folglich ergibt sich für das Volumenelement $\mathrm {d} V$ :

${\mathrm {d}}V=\left|\det {\frac {\partial (x,y,z)}{\partial (\rho ,\varphi ,z)}}\right|\,{\mathrm {d}}\rho \,{\mathrm {d}}\varphi \,{\mathrm {d}}z=\rho \,{\mathrm {d}}\rho \,{\mathrm {d}}\varphi \,{\mathrm {d}}z.$

Genauso gut hätte man eine andere Reihenfolge der Zylinderkoordinaten wählen können. Die Funktionaldeterminante lautet dann beispielsweise:

$\det {\frac {\partial (x,y,z)}{\partial (\rho ,z,\varphi )}}=\det {\begin{pmatrix}\cos \varphi &0&-\rho \sin \varphi \\\sin \varphi &0&\rho \cos \varphi \\0&1&0\end{pmatrix}}=-\rho .$

In das Transformationsgesetz geht jedoch immer nur der Betrag der Determinante ein, also ist das Ergebnis dann unabhängig von der gewählten Reihenfolge der Variablen, nach denen abgeleitet wird.

Basierend auf einem Artikel in:

Wikipedia.de