Hodge-Stern-Operator

Hodge-Stern-Operator

Der Hodge-Stern-Operator oder kurz Hodge-Operator ist ein Objekt aus der Differentialgeometrie. Es wurde von dem britischen Mathematiker William Vallance Douglas Hodge eingeführt. Der Operator ist ein Isomorphismus, welcher auf der äußeren Algebra eines endlichdimensionalen Prähilbertraums operiert oder allgemeiner auf dem Raum der Differentialformen.

Inhaltsverzeichnis

Motivation

Sei M eine n-dimensionale, glatte Mannigfaltigkeit und sei \Lambda^k T^*_p M die k-te äußere Potenz des Kotangentialraums. Für alle k mit 0 \leq k \leq n haben die Vektorräume \Lambda^k T^*_p M und \Lambda^{n-k} T^*_p M dieselbe Dimension und sind deshalb isomorph. Hat M nun zusätzlich noch die Struktur einer orientierten, riemannschen Mannigfaltigkeit, so kann man beweisen, dass diese Isomorphie natürlich ist. Das heißt, es existiert ein Isomorphismus zwischen den Räumen, der unabhängig von der Wahl der Basis ist. Die Verallgemeinerung dieses Isomorphismus auf das Tangentialbündel heißt Hodge-Stern-Operator.

Definition

Da der Raum T^*_pM aus der obigen Motivation ein endlichdimensionaler Vektorraum ist, wird hier mit der Definition des Hodge-Stern-Operators auf Vektorräumen begonnen.

Hodge-Stern-Operator auf Vektorräumen

Sei V ein n-dimensionaler orientierter Vektorraum mit Skalarprodukt und V * sein Dualraum. Für 0 \le k \le n bezeichnet Λk(V * ) die k-te äußere Potenz von V * , den Vektorraum der alternierenden Multilinearformen der Stufe k über V.

Der Hodge-Stern-Operator

* \colon \Lambda^k(V^*) \rightarrow \Lambda^{n-k}(V^*)

wird durch die folgende Bedingung eindeutig festgelegt: Ist \{e_1, \ldots , e_n\} eine positiv orientierte Orthonormalbasis von V und \{e^1, \ldots , e^n\} die dazu duale Basis von V * , so ist

*(e^1\wedge e^2\wedge \dots \wedge e^k)= e^{k+1}\wedge e^{k+2}\wedge \dots \wedge e^n

Es genügt nicht, diese Bedingung für eine einzige Orthonormalbasis zu fordern. Man braucht sie aber auch nicht für jede positiv orientierte Orthonormalbasis zu fordern. Es genügt, alle geraden Permutationen einer einzelnen Basis zu betrachten: Ist \{e_1, \ldots , e_n\} eine positiv orientierte Orthonormalbasis von V und \{e^1, \ldots , e^n\} die dazu duale Basis von V * , so wird der Hodge-Stern-Operator eindeutig bestimmt durch die Bedingung

*(e^{\sigma(1)}\wedge e^{\sigma(2)}\wedge \cdots \wedge e^{\sigma(k)})= e^{\sigma(k+1)}\wedge e^{\sigma(k+2)}\wedge \cdots \wedge e^{\sigma(n)}

für jede gerade Permutation σ von \{1, \dots, n\}.

Globaler Hodge-Stern-Operator

Nach dieser Vorarbeit kann man den Hodge-Stern-Operator auf die äußere Algebra des Kotangentialbündels \textstyle T^*M = \bigsqcup_{p \in M}^{\ } T_p^*M übertragen. Wie in der Motivation sei M wieder eine orientierbare, glatte riemannsche Mannigfaltigkeit. Außerdem setze \mathcal{A}^k(M) := \Lambda^k(T^*M). Diese Menge nennt man den Raum der Differentialformen k-ten Grades. Da T * M kein Vektorraum ist, wird der Operator punktweise definiert.

Der Hodge-Stern-Operator ist ein Isomorphismus


\begin{align}
 *:\mathcal{A}^{k}(M) &\to \mathcal{A}^{n-k}(M)\\
\omega &\mapsto *\omega,
\end{align}

so dass für jeden Punkt p \in M

 \omega|_p \mapsto *\omega|_p

gilt. Die Differentialform ω, ausgewertet an der Stelle p, ist wieder ein Element eines Vektorraums, und damit greift obige Definition für Vektorräume. In dieser verallgemeinerten Definition wurde impliziert, dass die Form * ω wieder eine glatte Differentialform ist. Dies jedoch ist nicht klar und bedarf eines Beweises.

Riemannsche Volumenform

Sei M eine glatte, orientierte, riemannsche Mannigfaltigkeit. Fasst man dann 1 \in C^\infty(M) = \mathcal{A}^0(M) als konstante Einsfunktion auf, so ist die riemannsche Volumenform definiert als * 1. Diese Volumenform ist wichtiger Bestandteil der Integration mit Differentialformen. Das soll an einem einfachen Beispiel illustriert werden. Sei dafür U \subset \R^3 eine kompakte Teilmenge. Für das Volumen von U gilt \mathrm{Vol}(U) = \int_U 1\ \mathrm{d}(x_1, x_2, x_3). Fasst man nun \R^3 als eine Mannigfaltigkeit und U als eine darin enthaltene kompakte Teilmenge auf, so ist das Volumen in diesem Fall definiert als

\operatorname{Vol}(U) := \int_U *1 = \int_U \mathrm{d}x_1 \wedge \mathrm{d}x_2 \wedge \mathrm{d} x_3 = \int_U 1 \mathrm{d} (x_1, x_2, x_3).

Die Integrationstheorie auf Mannigfaltigkeiten beinhaltet also auch die Integration auf reellen Teilmengen. Nach diesem Prinzip kann man auch Funktionen auf Mannigfaltigkeiten integrieren, indem man diese mit der Volumenform multipliziert. Auf abstrakten Mannigfaltigkeiten muss man jedoch die Kartenwechsel beachten.

Siehe auch: Volumenform

Eigenschaften des Hodge-Stern-Operators

Sei M eine orientierte, glatte, riemannsche Mannigfaltigkeit, seien f_1,f_2 \in C^\infty(M)\ \omega, \nu \in \mathcal{A}(M)^k, und sei g(\cdot,\cdot) eine riemannsche Metrik. Dann hat der Hodge-Stern-Operator folgende Eigenschaften:

  1. *(f_1 \omega + f_2 \nu) = f_1 \cdot *\omega + f_2 \cdot *\nu (Linearität),
  2.  **\omega = (-1)^{k(n-k)} \cdot \omega (Bijektivität),
  3. \omega \wedge * \nu = \nu \wedge *\omega = g(\omega , \nu) \cdot *1_M,
  4. *(\omega \wedge * \nu) = *(\nu \wedge * \omega) = g(\omega, \nu),
  5. g( * ω, * ν) = g(ω,ν) (Isometrie).

Literatur

  • R. Abraham, J. E. Marsden, T. Ratiu: Manifolds, Tensor Analysis, and Applications. Springer-Verlag, Berlin 2003, ISBN 3-540-96790-7.
  • S. Morita: Geometry of Differential Forms. American Mathematical Society, ISBN 0-821-81045-6.

Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hodge — ist der Familienname folgender Personen: Aldis Hodge (* 1986), US amerikanischer Schauspieler Brian Hodge (* 1960), US amerikanischer Horrorschriftsteller Charles Hodge (1797–1878), US amerikanischer Theologe Charlie Hodge (* 1933), kanadischer… …   Deutsch Wikipedia

  • Hodge-Operator — Der Hodge Stern Operator oder kurz Hodge Operator ist ein Objekt aus der Differentialgeometrie. Es wurde von dem britischen Mathematiker William Vallance Douglas Hodge eingeführt. Der Operator ist ein Isomorphismus, welcher auf der äußeren… …   Deutsch Wikipedia

  • Hodge-Zerlegung — Die Hodge Zerlegung beziehungsweise der Satz von Hodge ist eine zentrale Aussage der Hodge Theorie. Diese Theorie verbindet die mathematischen Teilgebiete Analysis, Differentialgeometrie und algebraischen Topologie. Benannt sind die Hodge… …   Deutsch Wikipedia

  • Dolbeault-Operator — Die äußere Ableitung oder Cartan Ableitung ist eine Funktion aus den Bereichen Differentialgeometrie und Analysis. Die äußere Ableitung verallgemeinert das aus der Analysis bekannte Leibniz sche Differential auf den Raum der Differentialformen.… …   Deutsch Wikipedia

  • William Hodge — William Vallance Douglas Hodge (* 17. Juni 1903 in Edinburgh; † 7. Juli 1975 in Cambridge) war ein britischer Mathematiker. Leben und Wirken Er war der Sohn von Janet Vallence, Tochter eines Süßwarenhändlers, und Archibald James Hodge, einem… …   Deutsch Wikipedia

  • William Vallance Douglas Hodge — (* 17. Juni 1903 in Edinburgh; † 7. Juli 1975 in Cambridge) war ein britischer Mathematiker. Inhaltsverzeichnis 1 Leben und Wirken 2 Werke 3 Literatur …   Deutsch Wikipedia

  • Riemannsche Volumenform — Der Hodge Stern Operator oder kurz Hodge Operator ist ein Objekt aus der Differentialgeometrie. Es wurde von dem britischen Mathematiker William Vallance Douglas Hodge eingeführt. Der Operator ist ein Isomorphismus, welcher auf der äußeren… …   Deutsch Wikipedia

  • Äußere Ableitung — Die äußere Ableitung oder Cartan Ableitung ist eine Funktion aus den Bereichen Differentialgeometrie und Analysis. Die äußere Ableitung verallgemeinert das aus der Analysis bekannte Leibniz sche Differential auf den Raum der Differentialformen.… …   Deutsch Wikipedia

  • Cartan-Ableitung — Die äußere Ableitung oder Cartan Ableitung ist ein Begriff aus den Bereichen Differentialgeometrie und Analysis. Sie verallgemeinert die aus der Analysis bekannte Ableitung von Funktionen auf Differentialformen. Der Name Cartan Ableitung erklärt… …   Deutsch Wikipedia

  • Dachprodukt — Die Graßmann Algebra oder äußere Algebra eines Vektorraums V ist eine assoziative, graduierte Algebra mit Einselement. Sie ist – je nach Definition – eine Unteralgebra oder eine Faktoralgebra der Tensoralgebra und wird durch ΛV dargestellt. Die… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”