Differentialform

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Begriff Differentialform (oft auch alternierende Differentialform genannt) geht auf den Mathematiker Élie Joseph Cartan zurück. Differentialformen sind ein grundlegendes Konzept der Differentialgeometrie. Sie erlauben eine koordinatenunabhängige Integration auf allgemeinen orientierten differenzierbaren Mannigfaltigkeiten.

Kontext[Bearbeiten]

Es sei U eine offene Teilmenge

In jedem dieser Fälle gibt es

  • den Begriff der differenzierbaren Funktion auf U; der Raum der beliebig oft differenzierbaren Funktionen auf U werde mit C^\infty(U) bezeichnet;
  • den Begriff des Tangentialraums \mathrm T_pU an U in einem Punkt p\in U;
  • den Begriff der Richtungsableitung \tfrac{\partial f}{\partial X} für einen Tangentialvektor X\in\mathrm T_pU und eine differenzierbare Funktion f;
  • den Begriff des differenzierbaren Vektorfeldes auf U; der Raum der Vektorfelder auf U sei mit \Gamma\mathrm TU bezeichnet.

Der Dualraum des Tangentialraums \mathrm T_pU wird als Kotangentialraum \mathrm T^*_pU bezeichnet.

Differentialformen[Bearbeiten]

Definition[Bearbeiten]

Eine Differentialform vom Grad k oder kurz k-Form \omega ist ein glatter Schnitt in der k-ten äußeren Potenz des Kotangentialbündels von U, in mathematischer Schreibweise: \omega \in \Gamma(\Lambda^k(T^*U)).

Dies bedeutet, dass jedem Punkt p \in U eine alternierende Multilinearform \omega_p auf dem Tangentialraum T_pU zugeordnet wird; und zwar so, dass für k glatte Vektorfelder X_1,\ldots,X_k die Funktion

p\mapsto\omega_p((X_1)_p,\ldots,(X_k)_p)\in\mathbb R

glatt (das heißt: unendlich oft differenzierbar) ist.

Alternativ dazu kann man eine k-Form \omega als eine alternierende, glatte multilineare Abbildung \omega\colon (\Gamma TU)^k \to C^\infty(U) auffassen. Das bedeutet: \omega ordnet k Vektorfeldern X_1,\ldots,X_k eine Funktion \omega(X_1,\ldots,X_k) zu, sodass

  • \omega(X_1,\ldots,X'_i+X''_i,\ldots,X_k)=\omega(X_1,\ldots,X'_i,\ldots,X_k)+\omega(X_1,\ldots,X''_i,\ldots,X_k)
  • \omega(X_1,\ldots,f\cdot X_i,\ldots,X_k)=f\cdot\omega(X_1,\ldots,X_i,\ldots,X_k) für f\in C^\infty(U),1\leq i\leq k

und

  • \omega(X_1,\ldots,X_i,\ldots,X_j,\ldots,X_k)=-\omega(X_1,\ldots,X_j,\ldots,X_i,\ldots,X_k)

gilt.

Alternative unter Rückgriff auf Tensorfelder: Eine k-Form ist ein alternierendes, kovariantes Tensorfeld der Stufe k.

Raum der Differentialformen[Bearbeiten]

Die Menge der k-Formen auf U bildet einen Vektorraum und wird mit \Omega^k(U) bezeichnet. Weiterhin setzt man

\Omega(U) = \bigoplus_{k=1}^\infty \Omega^k(U).

Für endlichdimensionale Mannigfaltigkeiten ist diese Summe endlich, da für k>\dim U der Vektorraum \Omega^k(U) der Nullvektorraum ist. Die Menge \Omega(U) ist eine Algebra mit dem äußeren Produkt als Multiplikation und somit auch wieder ein Vektorraum. Aus topologischer Sicht ist dieser Raum auch eine Garbe.

Man kann \omega_p als Element der äußeren Potenz \Lambda^k (T^*_pU) auffassen; infolgedessen definiert das äußere Produkt (d. h. das Produkt \wedge in der äußeren Algebra) Abbildungen

\Omega^k(U)\times\Omega^\ell(U)\to\Omega^{k+\ell}(U),\quad(\omega,\eta)\mapsto\omega\wedge\eta,

wobei \omega\wedge\eta durch

(\omega\wedge\eta)_p=\omega_p\wedge\eta_p

punktweise definiert ist.

Dieses Produkt ist graduiert-kommutativ, es gilt

\omega\wedge\eta=(-1)^{\deg\omega\cdot\deg\eta}\cdot\eta\wedge\omega;

dabei bezeichnet \deg \omega den Grad von \omega, d. h. ist \omega eine k-Form, so ist \deg \omega=k. Das heißt, dass das Produkt zweier Formen ungeraden Grades antikommutativ ist, in allen anderen Kombinationen ist das Produkt kommutativ.

Beispiele[Bearbeiten]

Koordinatendarstellung[Bearbeiten]

Es sei M eine n-dimensionale differenzierbare Mannigfaltigkeit. Weiter sei (U,x) ein lokales Koordinatensystem (eine Karte). So ist

B = \{\mathrm dx_{i_1}\wedge\ldots\wedge\mathrm dx_{i_k}\mid i_1<\ldots<i_k \}

eine Basis der äußeren Algebra über dem Kotangentialraum von M, also von \Lambda(T_p^*M).

Jede Differentialform \omega \in \Omega(M) hat auf allen Karten (U,x) eine eindeutige Darstellung

\omega|_U=\sum_{1\leq i_1<\ldots<i_k\leq n}a_{i_1,\ldots,i_k}(x) \cdot\mathrm dx_{i_1}\wedge\ldots\wedge\mathrm dx_{i_k}

mit geeigneten differenzierbaren Funktionen a_{i_1,\ldots,i_k}. Auf den Kartenübergangsgebieten ist die Differentialform ebenfalls wohldefiniert. An dieser Darstellung kann man leicht ablesen, dass für k>n die Nullform \omega=0 die einzige Differentialform ist.

Äußere Ableitung[Bearbeiten]

Hauptartikel: Äußere Ableitung

Die äußere Ableitung ist ein Operator, der einer k-Differentialform eine k+1-Differentialform zuordnet. Betrachtet man sie auf der Menge der 0-Differentialformen, also auf der Menge der glatten Funktionen, so entspricht die äußere Ableitung der üblichen Ableitung für Funktionen.

Definition[Bearbeiten]

Die äußere Ableitung \mathrm d\omega einer k-Form \omega wird induktiv mithilfe der Lie-Ableitung und der Cartan-Formel

\mathcal L_X=i_X\circ\mathrm d+\mathrm d\circ i_X

definiert; dabei ist X ein Vektorfeld, \mathcal L_X die Lie-Ableitung und i_X die Einsetzung von X.

Ist beispielsweise \omega eine 1-Form, so ist

(\mathcal L_X\omega)(Y)=\mathcal L_X(\omega(Y))-\omega (\mathcal L_X(Y))=X\omega(Y)-\omega([X,Y])

und

((\mathrm d\circ i_X)\omega)(Y)=(\mathrm d(\omega(X)))(Y)=Y\omega(X),

also

\,\mathrm d\omega(X,Y)=X\omega(Y)-Y\omega(X)-\omega([X,Y])

für Vektorfelder X,Y; dabei bezeichnet [X,Y] die Lie-Klammer.

Die allgemeine Formel lautet

\begin{array}{rcl}
\mathrm d\omega(X_0,\ldots,X_k)
&=&\sum_{i=0}^k(-1)^{i} X_i\omega(X_0,\ldots,\hat X_i,\ldots,X_k)+\\[0.5em]
&&+\sum_{0\leq i<j \leq k}(-1)^{i+j}
   \omega([X_i,X_j],X_0,\ldots,\hat X_i,\ldots,\hat X_j,\ldots,X_k)\,;
\end{array}

dabei bedeutet der Haken in \hat X_i, dass das entsprechende Argument wegzulassen ist.

Eigenschaften[Bearbeiten]

Die äußere Ableitung hat folgende Eigenschaften:

  • Die äußere Ableitung ist eine Antiderivation. Das heißt, \mathrm d ist \mathbb R-linear, und für \alpha \in \Omega^k(U), \beta \in \Omega^l(U) gilt die Leibnizregel
 \mathrm{d}(\alpha \wedge \beta) = \mathrm{d} \alpha \wedge \beta + (-1)^{k} \alpha \wedge \mathrm{d}\beta.
  • Sei f \in C^\infty(U), dann stimmt die äußere Ableitung mit dem totalen Differential überein.
  • \mathrm{d}^2 = \mathrm d \circ \mathrm d = 0
  • Die äußere Ableitung respektiert Einschränkungen. Es sei also U \subset V \subset M offen und \alpha \in \Omega^k(V). Dann gilt \mathrm{d}(\alpha|_U) = (\mathrm{d}\alpha)|_U. Man nennt die äußere Ableitung deshalb auch einen lokalen Operator.

Diese vier Eigenschaften charakterisieren die äußere Ableitung vollständig. Das heißt, man kann aus diesen Eigenschaften die obige Summenformel herleiten. Rechnet man mit der äußeren Ableitung, so bevorzugt man das Rechnen mit den Eigenschaften der Ableitung und vermeidet die obige Formel.

Koordinatendarstellung der äußeren Ableitung[Bearbeiten]

Sei p \in M ein Punkt auf der Mannigfaltigkeit. Die äußere Ableitung hat in diesem Punkt die Darstellung

\mathrm d\omega|_p=\sum_{1\leq i_1<\ldots<i_k\leq n} \sum_{i=1}^n \left. \frac{\partial a_{i_1,\ldots,i_k}}{\partial x_{i}}\right|_p \mathrm d x_{i}\wedge\mathrm dx_{i_1}\wedge\ldots\wedge\mathrm dx_{i_k}.

Um die dabei entstehenden Ausdrücke wieder durch die Standardbasis auszudrücken, sind die Identitäten

\mathrm dx_i\wedge\mathrm dx_j=-\mathrm dx_j\wedge\mathrm dx_i

und

\mathrm dx_i\wedge\mathrm dx_i=0

wichtig.

Beispiel[Bearbeiten]

  • Für n=2 gilt
\begin{array}{cl}
&\mathrm d(f_1\cdot\mathrm dx_1+f_2\cdot\mathrm dx_2)\\
=&\mathrm df_1\wedge\mathrm dx_1+\mathrm df_2\wedge\mathrm dx_2\\[0.5em]
=&\frac{\partial f_1}{\partial x_1}\cdot\mathrm dx_1\wedge\mathrm dx_1 +\frac{\partial f_1}{\partial x_2}\cdot\mathrm dx_2\wedge\mathrm dx_1
+\frac{\partial f_2}{\partial x_1}\cdot\mathrm dx_1\wedge\mathrm dx_2
+\frac{\partial f_2}{\partial x_2}\cdot\mathrm dx_2\wedge\mathrm dx_2\\[0.5em]
=&\left(\frac{\partial f_2}{\partial x_1}-\frac{\partial f_1}{\partial x_2}\right)\cdot\mathrm dx_1\wedge\mathrm dx_2.
\end{array}
  • Für n=3 bilden die Koeffizienten der Differentialform bei analogem Vorgehen den (Rotations-) Vektor rot der Vektoranalysis.

Weitere Operationen auf Differentialformen[Bearbeiten]

Inneres Produkt[Bearbeiten]

Sei X \in T(M) ein glattes Vektorfeld. Das innere Produkt ist eine lineare Abbildung

i_X \colon \Omega^k(M) \to \Omega^{k-1}(M),

die durch

\omega \mapsto \omega(X, \cdot , \ldots , \cdot)

gegeben ist. Das heißt, das innere Produkt bildet eine k-Form \omega auf eine (k-1)-Form ab, indem die Form an einem festen Vektorfeld X ausgewertet wird. Diese Abbildung ist ein Analogon der Tensorverjüngung auf dem Raum der Differentialformen. Deshalb wird diese Operation im Englischen auch manchmal contraction genannt.

Das innere Produkt i_X ist eine Antiderivation. Das heißt, für \omega \in \Omega^k(M) und \nu \in \Omega^l(M) gilt die Leibnizregel

i_X(\omega \wedge \nu) = (i_X \omega) \wedge \nu + (-1)^k\omega \wedge (i_X \nu).

Außerdem gilt für das innere Produkt i_X \circ i_X = 0.

Rücktransport (Pullback) von Differentialformen[Bearbeiten]

Hauptartikel: Pullback

Ist f\colon M \to N eine differenzierbare Abbildung zwischen differenzierbaren Mannigfaltigkeiten, so ist für \omega \in \Omega^k(N) die mittels f  zurückgeholte Form ( f^*\omega ) \in \Omega^k(M) wie folgt definiert:

( f^*\omega )(X_1, \ldots, X_k) := \omega(\mathrm d f(X_1), \ldots, \mathrm df(X_k))\,.

Dabei ist df\colon TM \to TN die durch f induzierte Abbildung der Ableitungen, auch „push-forward“ genannt. Mit den anderen Operationen ist das Zurückziehen verträglich, es gilt:

1.) (f^*(\mathrm d\omega)) = \mathrm d(f^*\omega)

(pedantisch geschrieben: auf der linken Seite \mathrm d = \mathrm d^{(N)}, auf der rechten Seite dagegen \mathrm d = \mathrm d^{(M)}) und

2.) (f^*(\omega \wedge \eta)) = (f^*\omega ) \wedge (f^*\eta )

für alle \omega, \eta \in \Omega^{pback}(N)

Insbesondere induziert f eine Abbildung

f^{pback}\colon\mathrm H^k_{\mathrm{dR}}(N)\longrightarrow\mathrm H^k_{\mathrm{dR}}(M),

wobei die Umkehr der Pfeilrichtung gegenüber f\colon M\to N zu beachten ist („pull-back“, „Kohomologie“ statt „Homologie“).

Davon abgesehen können die „pull-back“-Operationen von Differentialformen aber i. W. als „trivial“ bezeichnet werden.

Duale Form und Stern-Operator[Bearbeiten]

Hauptartikel: Hodge-Stern-Operator

Betrachtet werden äußere Formen in einem n-dimensionalen Raum, in dem ein inneres Produkt (Metrik) definiert ist, sodass eine orthonormale Basis e_i des Raumes gebildet werden kann. Die zu einer äußeren Form von Grad k in diesem n-dimensionalen Raum duale Form ist eine (n-k)-Form

*(e_1\wedge e_2\wedge \ldots \wedge e_k)= e_{k+1}\wedge e_{k+2}\wedge \ldots \wedge e_n.

Dabei seien beide Seiten in orientierter Form geschrieben. Formal wird die duale Form durch Anwendung des (Hodge-) *-Operators bezeichnet. Speziell für Differentialformen im dreidimensionalen euklidischen Raum ergibt sich:

*\mathrm{d}x=\mathrm{d}y\wedge \mathrm{d}z
*\mathrm{d}y=\mathrm{d}z\wedge \mathrm{d}x
*\mathrm{d}z=\mathrm{d}x\wedge \mathrm{d}y

mit den 1-Formen dx, dy dz. Dabei wurde berücksichtigt, dass die orientierte Reihenfolge hier (y,z), (x,y) und (z,x) ist (zyklische Verstauschungen in (x,y,z)).

Das *-Symbol soll die Tatsache unterstreichen, dass damit ein inneres Produkt im Raum der Formen auf einem zugrundeliegenden Raum M gegeben ist, denn \alpha \wedge *\beta lässt sich für zwei k-Formen \alpha und \beta als Volumenform schreiben und das Integral

(\alpha,\beta)=\int_M \alpha\wedge *\beta

liefert eine reelle Zahl. Der Zusatz dual zeigt an, dass die zweifache Anwendung auf eine k-Form wieder die k-Form ergibt - bis auf das Vorzeichen, das gesondert betrachtet werden muss. Genauer gilt für eine k-Form in einem n-dimensionalen Raum, dessen Metrik die Signatur s hat (s=+1 im euklidischen Raum, s=−1 im Minkowski-Raum):

**\alpha=(-1)^{k(n-k)}s\;\alpha

Oben wurde gezeigt, wie sich im 3-dimensionalen euklidischen Raum bei äußerer Ableitung einer 1-Form \alpha die 2-Form d \wedge \alpha ergibt mit den Komponenten des Rotations-Vektors der Vektoranalysis als Koeffizienten. Diesen rot-Vektor kann man mit Hilfe des *-Operators nun auch formal direkt als 1-Form schreiben: * ( d \wedge \alpha ). Analog wird der *-Operator zur „Übersetzung“ des oben formulierten Satzes von Stokes in die Vektoranalysis-Form benutzt.

Die relativistischen Maxwell-Gleichungen der Elektrodynamik auf einer vierdimensionalen Raum-Zeit-Mannigfaltigkeit M (mit Metrik g_{\alpha ,\beta} und Determinante der Metrik g, wobei hier natürlich die Signatur eines Minkowski-Raumes vorliegt, etwa \mathrm{diag}(+1,-1,-1,-1) für \alpha =0,1,2,3, entsprechend der früher gegebenen Definition der Pseudo-Länge \mathrm{ds}) lauten beispielsweise unter Verwendung dieser Symbolik:

 \mathrm{d}\bold{F} = 2(\partial_{\gamma} F_{\alpha\beta} + \partial_{\beta} F_{\gamma\alpha} + \partial_{\alpha} F_{\beta\gamma})\mathrm{d}\,x^{\alpha}\wedge \mathrm{d}\,x^{\beta} \wedge \mathrm{d}\,x^{\gamma} = 0

(die so genannte Bianchi-Identität) und

 \mathrm{d} (* \bold{F}) = {F^{\alpha\beta}}_{;\alpha}\sqrt{-g} \, \epsilon_{\beta\gamma\delta\eta}\mathrm{d}\,x^{\gamma} \wedge \mathrm{d}\,x^{\delta} \wedge \mathrm{d}\,x^{\eta} = \bold{j}

mit dem elektromagnetischen Feldtensor ausgedrückt als 2-Form

 \bold{F} = F_{\alpha\beta} \,\mathrm{d}\,x^{\alpha} \wedge \mathrm{d}\,x^{\beta}\,,

z. B. F_{1,2}=B_z mit der z-Komponente des Vektors der magnetischen Induktion und mit dem Strom (geschrieben als 3-Form)

 \bold{j} = j^{\alpha} \sqrt{-g} \, \epsilon_{\alpha\beta\gamma\delta} \mathrm{d}\,x^{\beta} \wedge \mathrm{d}\,x^{\gamma} \wedge \mathrm{d}\,x^{\delta}.

Hierbei ist \epsilon_{\alpha\beta\gamma\delta} das Antisymmetrisierungs-Symbol (Levi-Civita-Symbol), und das Semikolon steht für die kovariante Ableitung. Wie üblich wird über doppelt vorkommende Indizes summiert (Einsteinsche Summenkonvention) und es werden natürliche Einheiten verwendet (Lichtgeschwindigkeit c ersetzt durch 1). Durch Anwendung des *-Operators kann man den zweiten Satz der vier Maxwellgleichungen auch alternativ mit einer 1-Form für den Strom schreiben. Aus den Maxwellgleichungen sieht man, dass \mathbf F und *\mathbf F in der Elektrodynamik ganz unterschiedlichen Gleichungen gehorchen, die Dualität also keine Symmetrie dieser Theorie ist. Das liegt daran, dass die Dualität elektrische und magnetische Felder vertauscht, in der Elektrodynamik aber keine magnetischen Monopole bekannt sind. Die freien Maxwellgleichungen, die sich für \mathbf j\equiv 0 ergeben, haben dagegen duale Symmetrie.

Die Besonderheiten, die sich beim Übergang zum Dualen dadurch ergeben, dass der Elektrodynamik nicht der euklidische Raum \mathbb{R}^4, sondern der Minkowski-Raum \mathbb{M}^4 zugrunde liegt, wurden in einem früheren Paragraphen bereits angedeutet und hier benutzt.

De-Rham-Kohomologie[Bearbeiten]

Hauptartikel: De-Rham-Kohomologie

Aus der graduierten Algebra \Omega(U) kann zusammen mit der äußeren Ableitung ein Kokettenkomplex konstruiert werden. Aus diesem wird dann mit den üblichen Methoden der homologischen Algebra eine Kohomologie definiert. Georges de Rham konnte zeigen, dass diese nach ihm benannte Kohomologietheorie mit der singulären Kohomologie übereinstimmt. Um die De-Rham-Kohomologie zu definieren, werden zuerst die Begriffe der exakten und der geschlossenen Differentialform definiert:

Exakte und geschlossene Formen[Bearbeiten]

Eine k-Form \omega heißt geschlossen, wenn \mathrm d\omega=0 gilt; sie heißt exakt, wenn es eine (k-1)-Form \eta gibt, sodass \omega=\mathrm d\eta gilt. Aufgrund der Formel \mathrm d\mathrm d\eta=0 ist jede exakte Form geschlossen. Man beachte, dass Geschlossenheit im Gegensatz zu Exaktheit eine lokale Eigenschaft ist: Ist \{V_\alpha\} eine offene Überdeckung von U, so ist eine k-Form \omega genau dann geschlossen, wenn die Einschränkung von \omega auf V_\alpha für jedes \alpha geschlossen ist.

Die De-Rham-Kohomologiegruppen[Bearbeiten]

Der Faktorraum

{geschlossene k-Formen auf U}/{exakte k-Formen auf U}

heißt k-te de-Rham-Kohomologiegruppe \mathrm H^k_{\mathrm{dR}}(U). Sie enthält Informationen über die globale topologische Struktur von U.

Das Lemma von Poincaré[Bearbeiten]

Hauptartikel: Poincaré-Lemma

Allgemeiner gilt die Aussage des besagten Lemmas für zusammenziehbare offene Teilmengen U des \mathbb R^n. Der Beweis ist konstruktiv, d. h. es werden explizite Beispiele konstruiert, was für Anwendungen sehr wichtig ist. Man beachte, dass \mathrm H^0_{\mathrm{dR}}(U) aus den lokal konstanten Funktionen besteht, da es per definitionem keine exakten 0-Formen gibt. Es ist also \mathrm H^0_{\mathrm{dR}}(U)\not=0 für jedes U\not=\varnothing.

Ist \omega geschlossen und \eta=\mathrm d\eta' exakt, so folgt

\omega\wedge\eta=\omega\wedge\mathrm d\eta'=(-1)^{\deg\omega}\mathrm d(\omega\wedge\eta')\,.

Entsprechendes gilt, falls \omega exakt und \eta geschlossen ist. Damit gibt es induzierte Abbildungen

\mathrm H^k_{\mathrm{dR}}(U)\times H^m_{\mathrm{dR}}(U)\longrightarrow\mathrm H^{k+m}_{\mathrm{dR}}(U).

Ein Beispiel aus der Elektrodynamik[Bearbeiten]

In der Elektrodynamik impliziert das Lemma von Poincaré, dass zu jedem Paar \vec E ,\vec B elektromagnetischer Felder, die zu einer zweistufigen alternierenden Differentialform \mathbf F in einem vierdimensionalen sog. Minkowskiraum zusammengefasst werden können, eine einstufige Vektorpotentialform \mathbf A mit \mathbf F=\mathrm{d}\mathbf{A} existiert, ein sog. „Viererpotential“ (siehe auch: Vierervektor).

Auch Strom- und Ladungsdichten können zu einem Vierervektor bzw. zu einer entsprechenden 3-Form \mathbf j zusammengefasst werden.

Die Feldstärkeform \mathbf F erfüllt \mathrm{d}\mathbf F =0. Das entspricht den ersten beiden Maxwellschen Gleichungen. Die dritte und vierte der Maxwell-Gleichungen ergeben (in geeigneten Einheiten)

\mathrm{d}(\mathbf{F^*})=\mathbf j,

wobei \mathbf{F^*} die zu \mathbf F duale Form ist (s. u.).

Die Potentialform \mathbf{A} ist nur bis auf einen additiven Zusatz \mathrm d\chi eindeutig: \mathbf{A} und \mathbf{A} +\mathrm d\chi ergeben dasselbe \mathbf F, mit einer Eichform \chi, die \mathrm d(\mathrm d\chi )\equiv 0 erfüllt, aber ansonsten willkürlich ist. Man kann diese zusätzliche sog. Eichfreiheit benutzen, um punktweise zusätzliche Nebenbedingungen zu erfüllen. In der Elektrodynamik fordert man beispielsweise, dass für \mathbf A überall die zusätzliche sogenannten Lorenz-Bedingung (Lorenz-Eichung) \mathrm{d}(*\mathbf A )=0 gelten soll (in den vier Komponenten lautet diese Bedingung einfach \partial_\nu A^\nu =0). Durch diese „Eichfixierung“ ergibt sich schließlich als eindeutige Lösung aller vier Maxwell-Gleichungen das sog. „retardierte Potential“:

A^\nu (\mathbf r , t) =\int\,\frac{j^\nu (\mathbf{r'},t-\frac{|\mathbf r -\mathbf{r'}|}{c}) }{4\pi|\mathbf r -\mathbf{r'}|}\,\mathrm d^3 r'\,

Beim Übergang zum Dualen ist zu beachten, dass man es nicht mit dem \mathbb{R}^4, sondern mit \mathbb{M}^4 zu tun hat mit einer entsprechend anderen Metrik. Das bei Lorentztransformationen invariante Linienelement ist \mathrm{d}s^2=-c^2\mathrm d\tau ^2=dx^2+ dy^2+dz^2-c^2dt^2 =-\mathrm dx_\nu\mathrm dx^\nu, wobei \mathrm d\tau das Differential der Eigenzeit ist und die Summenkonvention verwendet wurde. Ko- und kontravariante Vierervektorkomponenten unterscheiden sich nun. Zwar ist +\mathrm dx_0\equiv +\mathrm dx^0=c\, dt, aber -\mathrm d x_1\equiv +\mathrm dx^1= dx,\,\,-\mathrm dx_2\equiv +\mathrm dx^2= dy,\,\,-\mathrm dx_3\equiv +\mathrm dx^3=dz.

Integrationstheorie[Bearbeiten]

Orientierung[Bearbeiten]

Hauptartikel: Orientierung (Mathematik)

Ist n=\dim U, so heißt eine n-Form auf U, die in keinem Punkt verschwindet, eine Orientierung auf U. U zusammen mit einer derartigen Form heißt orientiert. Eine Orientierung \omega definiert Orientierungen der Tangential- und Kotangentialräume: Eine Basis \eta_1,\ldots,\eta_n des Kotangentialraums in einem Punkt p sei positiv orientiert, wenn

\omega_p=a\cdot\eta_1\wedge\ldots\wedge\eta_n

mit einer positiven Zahl a gilt; eine Basis X_1,\ldots,X_n des Tangentialraums in einem Punkt p sei positiv orientiert, wenn

\omega(X_1,\ldots,X_n)>0

gilt.

Zwei Orientierungen heißen äquivalent, wenn sie sich nur um einen überall positiven Faktor unterscheiden; diese Bedingung ist äquivalent dazu, dass sie auf jedem Tangential- oder Kotangentialraum dieselbe Orientierung definieren.

Ist U zusammenhängend, so gibt es entweder genau zwei oder gar keine Äquivalenzklassen.

U heißt orientierbar, wenn eine Orientierung von U existiert.

Integral von Differentialformen[Bearbeiten]

Es sei wieder n=\dim U, und wir nehmen an, auf U sei eine Orientierung gewählt. Dann gibt es ein kanonisches Integral

\int_U\omega

für n-Formen \omega. Ist U\subseteq\mathbb R^n eine offene Teilmenge, x_1,\ldots,x_n eine positiv orientierte Basis und

\omega=f(x_1,\dots ,x_n)\,\,\mathrm dx_1\wedge\ldots\wedge\mathrm dx_n,

so gilt

\int_U\omega=\int_U f(x_1, \dots , x_n)\,\, \mathrm dx_1 \ldots \mathrm dx_n;

das Integral auf der rechten Seite ist das gewöhnliche Lebesgue-Integral im \mathbb R^n.

Aus dem Transformationssatz folgt, dass diese Definition invariant gegenüber Koordinatenwechsel ist.

Satz von Stokes[Bearbeiten]

Hauptartikel: Satz von Stokes

Ist M eine kompakte orientierte n-dimensionale differenzierbare Mannigfaltigkeit mit Rand \partial M und versieht man \partial M mit der induzierten Orientierung, so gilt für jede (n-1)-Form \omega

\int_M\mathrm d\omega=\int_{\partial M}\omega.

Dieser Satz ist eine weitreichende Verallgemeinerung des Hauptsatzes der Differential- und Integralrechnung.

Ist M geschlossen, das heißt gilt \partial M = \emptyset, so folgt für jede exakte n-Form \omega^{\text{exakt}}, d. h. für \omega \equiv\omega^\text{exakt} =\mathrm{d}\varphi, die Beziehung:


\int_M\omega^\text{exakt}
 =\int_M\mathrm d\varphi
 =\int_{\partial M=\emptyset}\varphi
 = 0\,

Zur Verdeutlichung der genannten Eigenschaft von M benutzt man oft die Formulierung mit einem Kreis-Integral:

\oint_M \omega^\text{exakt} =0

Das Integral liefert eine Abbildung

\mathrm H^n_{\mathrm{dR}}(M)\to\mathbb R.

Ist M zusammenhängend, so ist diese Abbildung ein Isomorphismus. Man kommt damit zur De-Rham-Kohomologie zurück (s. o.).

Komplexe Differentialformen[Bearbeiten]

Hauptartikel: Komplexe Differentialform

In der Theorie der komplexen Differentialformen wird das hier eingeführte Kalkül auf komplexe Mannigfaltigkeiten übertragen. Dies funktioniert größtenteils analog zur Definition der hier beschriebenen Formen. Jedoch werden hier analog zu den komplexen Zahlen die Räume der komplexen Differentialformen in zwei Räume (reeller) Differentialformen

\mathcal{E}^r(M) \cong \Omega^{r,r}(M) = \Omega^r(M) \oplus i\Omega^r(M)

zerlegt. Der Raum \Omega^{p,q} heißt dann der Raum der (p,q)-Formen. Auf diesen Räumen kann man analog zur äußeren Ableitung zwei neue Ableitungen definieren. Diese werden Dolbeault- und Dolbeault-Quer-Operator genannt, und analog zur De-Rham-Kohomologie kann man mit Hilfe des Dolbeault-Quer-Operators wieder eine Kohomologie bilden. Diese heißt Dolbeault-Kohomologie.

Literatur[Bearbeiten]

  • Shigeyuki Morita: Geometry of differential forms., American Mathematical Society 2001, ISBN 0821810456.
  • Harley Flanders: Differential forms with applications to the physical sciences. Academic Press 1963.
  • Harold Edwards: Advanced Calculus- a differential forms approach. Birkhäuser 1994 (zuerst 1969).
  • Steven H. Weintraub: Differential Forms- a complement to vector calculus. Academic Press 1997.