Kovarianz (Physik)

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

Kovarianz hat in der Physik zwei verschiedene, aber eng miteinander verwobene Bedeutungen. Zum einen gibt es die Kovarianz von Theorien bzw. deren zugrundeliegenden Gleichungen, zum anderen gibt es im Tensorkalkül die Unterscheidung zwischen kovarianten und kontravarianten vektoriellen Größen.

Eine Theorie oder Gleichung ist kovariant, wenn die Form der Gleichungen unter einer Gruppe simultaner, aufeinander abgestimmter Transformationen aller beteiligten Größen invariant bleibt. Verknüpft die Gleichung vektorielle Größen, ist also ein Gleichungssystem, dann stellt sich die Invarianz der Gleichung erst nach einer entsprechenden Transformation beider Seiten des Gleichungssystems ein.

So transformieren sich beispielsweise die Beschleunigung und die Kraft in den newtonschen Bewegungsgleichungen im gleichen Sinne wie die Ortsvektoren unter Galilei-Transformationen. Daher sind die Newtonschen Bewegungsgleichungen und damit die klassische Mechanik kovariant bzgl. der Gruppe der Galilei-Transformationen. Im gleichen Sinne sind die Einstein-Gleichungen der Gravitation in der allgemeinen Relativitätstheorie kovariant unter beliebigen (nichtlinearen glatten) Koordinatentransformationen und die Dirac-Gleichung der Quantenelektrodynamik kovariant unter der Gruppe der linearen Lorentz-Transformationen[1].

Die linke Seite der Klein-Gordon-Gleichung für ein Skalarfeld ändert sich unter Lorentztransformationen nicht, sie ist spezieller invariant oder skalar.

Im Tensorkalkül transformieren sich die kontravarianten Anteile eines Tensors wie die Koordinatentupel eines Ortsvektors und die kovarianten wie die Koordinaten einer Linearform. Infolgedessen sind ko- und kontravariante Größen nach einer Transformation genau dann Null, wenn sie vor der Transformation Null waren.

Zur Notation: die Koordinaten von kontravarianten Vektoren, die wie die Koordinaten des Ortsvektors linear transformieren, schreibt man mit oberen Indizes a^m, die Koordinaten von kovarianten Vektoren (oder von Linearformen) mit unteren Indizes a_m. Nach Anwendung der Einsteinschen Summenkonvention muss jeder Term einer Gleichung die gleiche Indexstellung aufweisen.

Ko- und Kontravariant[Bearbeiten]

In einem engeren Wortsinn bezeichnet kovariant in der mathematischen Physik Größen, die so wie Differentialformen transformieren. Diese kovarianten Größen P bilden einen Vektorraum \mathcal V^*, auf dem eine Gruppe von linearen Transformationen wirkt.

Die Menge der linearen Abbildungen der kovarianten Größen in die reellen Zahlen

Q:P\mapsto Q(P)\in\mathbb R\ ,\quad Q(a\,P+b\,\tilde P)=a\,Q(P)+b\,Q(\tilde P)

bildet den zu \mathcal V^* dualen Vektorraum \mathcal V. Schreiben wir die transformierten, kovarianten Größen P^\prime mit einer Matrix \Lambda als

P^\prime=\Lambda\,P\,,

dann definiert Q^\prime(P^\prime)=Q(P) das kontravariante oder kontragrediente Transformationsgesetz des Dualraumes

Q^\prime=\Lambda^{-1\,\text{T}}\,Q\,.

Wegen

(\Lambda_2)^{-1\,\text{T}}\,(\Lambda_1)^{-1\,\text{T}}=(\Lambda_2\,\Lambda_1)^{-1\,\text{T}}

genügt die kontravariante Transformation derselben Gruppenverknüpfung wie die kovariante Transformation.

Tensoren aus dem u-fachen Tensorprodukt von \mathcal V^* mit dem o-fachen Tensorprodukt von \mathcal V heißen u-fach kovariant und o-fach kontravariant.

In Indexschreibweise macht man an der Indexstellung mit unten und oben stehenden Indizes deutlich, ob es sich um die Komponenten eines kovarianten oder eines kontravarianten Vektors handelt,

P^{\prime}_m=\sum_n\Lambda_m{}^ n\,P_n\ ,\quad Q^{\prime\,m} = \sum_r(\Lambda^{-1\,\text{T}})^m{}_r\,Q^{\,r}\,.

Dass Q^\prime(P^\prime) = Q(P) gilt, zeigen die Rechenschritte

 \begin{align}
Q^\prime(P^\prime) & =\sum_m Q^{\prime\,m}\, P^{\prime}_m \\
  & = \sum_{mnr}(\Lambda^{-1\,\text{T}})^m{}_r\,Q^{\,r}\,\Lambda_m{}^n\,P_n \\
  & = \sum_{mnr}\Lambda^{-1}{}_r{}^m\,\Lambda_m{}^n\,Q^{\,r}\,P_n \\
  & = \sum_{nr}\delta_r{}^n\,Q^{\,r}\,P_n \\
  & = \sum_n Q^{\,n}\,P_n \\
  & = Q(P)\,.
\end{align}

Indexziehen[Bearbeiten]

Ist das kontravariante Transformationsgesetz dem kovarianten äquivalent und gilt für alle \Lambda der Transformationsgruppe

\Lambda^{-1\,\text{T}}=\eta\,\Lambda\,\eta^{-1}

mit einer invertierbaren, symmetrischen Matrix \eta=\eta^ {\text{T}}, dann handelt es sich bei der Transformationsgruppe wegen

\Lambda^{\text{T}}\,\eta\,\Lambda= \eta

um eine Untergruppe der orthogonalen Gruppe, die die symmetrische Bilinearform (P,\tilde P)=P^{\text{T}}\,\eta\,\tilde P invariant lässt. Dann definiert \eta \,P einen kontravarianten Vektor, wenn P ein kovarianter Vektor ist. In Indexschreibweise schreibt man für die Komponenten von \eta \,P abkürzend

P^m = \sum_n \eta^{mn}\,P_n\,.

Dann gilt umgekehrt

P_m = \sum_n \eta^{-1}{}_{mn}\,P^n\,.

Diesen Zusammenhang der Komponenten des kovarianten Vektors P und des kontravarianten Vektors \eta P nennt man Indexziehen oder auch heben bzw. senken.

Ist das kontravariante Transformationsgesetz dem kovarianten äquivalent und gilt für alle \Lambda der Transformationsgruppe

\Lambda^{-1\,\text{T}}=\epsilon\,\Lambda\,\epsilon^{-1}

mit einer invertierbaren, antisymmetrischen Matrix \epsilon=-\epsilon^ {\text{T}}, dann handelt es sich bei der Transformationsgruppe wegen

\Lambda^{\text{T}}\,\epsilon\,\Lambda= \epsilon

um eine Untergruppe der symplektischen Gruppe, die die antisymmetrische Bilinearform \langle P,\tilde P\rangle =P^{\text{T}}\,\epsilon\,\tilde P invariant lässt. Dann definiert \epsilon \,P einen kontravarianten Vektor, wenn P ein kovarianter Vektor ist. In Indexschreibweise kann man für die Komponenten von \epsilon \,P abkürzend

P^m = \sum_n \epsilon^{mn}\,P_n

schreiben. Dann gilt umgekehrt

P_m = \sum_n \epsilon^{-1}{}_{mn}\,P^n\,.

Dieser Zusammenhang der Komponenten des kovarianten Vektors P und des kontravarianten Vektors \epsilon P definiert das Indexziehen von Vektoren, die unter der symplektischen Gruppe transformieren.

Siehe auch[Bearbeiten]

Bücher[Bearbeiten]

  • Peter Szekeres, A Course in Modern Mathematical Physics, Cambridge University Press, New York, 2004 ISBN 0-521-82960-7

Weblinks[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. James Bjorken und Sidney Drell: Relativistische Quantenmechanik, BI-Wissenschaftsverlag, Mannheim, 1990, (BI-Hochschultaschenbuch Band 98), ISBN 3-411-00098-8, Kapitel 2