Levi-Civita-Tensor: so wird Kreuzprodukt verarztet
Level 3
Jetzt nur noch nicht die \(i\)-te Komponente des Skalarprodukts betrachten, sondern das ganze Skalarprodukt (als Vektor), dann hast Du die Gleichheit der Spatprodukte vollständig gezeigt.
In Beziehungen, in denen sowohl Levi-Civita-Tensoren als auch Kronecker-Deltas vorkommen, ist die folgende Gleichung nützlich.
Definition
Levi-Civita-Tensor ist im dreidimenssionalen Fall \( i \),\( j \),\( k \) ∈ {1,2,3} folgendermaßen definiert:\[ \varepsilon_{ijk} ~=~ \begin{cases} +1, & \text{gerade} ~ijk~ \text{Permutation} \\ -1, & \text{ungerade} ~ijk~ \text{Permutation} \\ 0, & \text{min. 2 gleiche Indizes} \end{cases} \]
- \(\varepsilon_{112} = 0\)
- \(\varepsilon_{313} = 0\)
- \(\varepsilon_{222} = 0\)
- \(\varepsilon_{123} + \varepsilon_{213} = 1 + (-1) = 0\)
- \(\varepsilon_{123} \, \varepsilon_{231} = 1 \cdot 1 = 1\)
Eine gerade Permutation - ist eine Vertauschung von zwei Indizes (also alle Indizes werden bewegt).
Eine ungerade Permutation - ist eine Vertauschung von einem Index (also nur zwei Indizes werden bewegt).
Kreuzprodukt in Indexnotation
Achte auf die Definition: das erste Index (hier \( i \)) beim Levi-Civita-Tensor gehört dem Basisvektor \( \boldsymbol{\hat{e}}_i \) und die anderen beiden (hier \( j,k \)) gehören den beiden Vektorkomponenten \( a_j \) und \( b_k \).
Achte außerdem darauf, dass bei der Definition die Einsteinsche Summenkonvention verwendet wurde, damit das Kreuzprodukt schön kompakt ist! Hierbei lässt Du einfach die drei Summenzeichen \(\boxed{+}\) weg:\[ \underset{i=1}{\overset{3}{\boxed{+}}} \, \underset{j=1}{\overset{3}{\boxed{+}}} \, \underset{k=1}{\overset{3}{\boxed{+}}} \, \boldsymbol{\hat{e}}_i \, \varepsilon_{ijk} \, a_j \, b_k ~\rightarrow~ \boldsymbol{\hat{e}}_i \, \varepsilon_{ijk} \, a_j \, b_k \]
Auch, wenn die drei Summenzeichen weggelassen wurden, wird trotzdem weiterhin über die auftretenden Indizes \( i \), \( j \) und \( k \) summiert!
Du kannst das Kreuzprodukt auch in Komponentenschreibweise ausdrücken. Um nur eine Komponente des Kreuzproduktes zu bekommen, versiehst Du das Kreuzprodukt einfach mit einem Index \( i \), also \( \left( \boldsymbol{a} ~\times~ \boldsymbol{b} \right)_i \). Damit ist gemeint: Du betrachtest die \( i \)-te Komponente des Kreuzprodukts - also die erste, zweite oder dritte Komponente. Nur statt für \( i \) eine konkrete Zahl (1,2,3) einzusetzen, hälst Du es allgemein, deshalb \( i \).
Und, weil Du nur eine Komponente betrachtest, ist \( \left( \boldsymbol{a} ~\times~ \boldsymbol{b} \right)_i \) eine reine Zahl, bei der der Basisvektor \( \boldsymbol{\hat{e}}_i \) nicht mehr vorkommen darf:
Ob Du mit dem vollständigen Kreuzprodukt oder mit nur einer Komponente arbeiten möchtest, bleibt Dir überlassen!
Dazu schreibst Du statt dem allgemein gehaltenen Index \( i \) die Zahl 1, die die 1. Komponente des Kreuzprodukts repräsentiert:\[ \left( \boldsymbol{a} ~\times~ \boldsymbol{b} \right)_1 ~=~ \varepsilon_{1jk} \, a_j \, b_k \]
Du hast also jetzt die Komponente, die Du ausrechnen möchtest festgelegt. Jetzt musst Du über \( j \) und \( k \) summieren. Um alle Fälle durchzugehen, habe ich \( j = 1 \) gesetzt und alle Fälle für \( k =1,2,3 \) durchgegangen. Dann habe ich \( j = 2 \) gesetzt und alle Fälle für \( k =1,2,3 \) durchgegangen und analog für \( j = 3 \). Insgesamt müssen 3*3 = 9 Summanden herauskommen: \[ \varepsilon_{1jk} \, a_j \, b_k ~=~ \varepsilon_{111} \, a_1 \, b_1 ~+~ \varepsilon_{112} \, a_1 \, b_2 ~+~ \varepsilon_{113} \, a_1 \, b_3 ~+~ \varepsilon_{121} \, a_2 \, b_1 ~+~ \varepsilon_{122} \, a_2 \, b_2 ~+~ \varepsilon_{123} \, a_2 \, b_3 ~+~ \varepsilon_{131} \, a_3 \, b_1 ~+~ \varepsilon_{132} \, a_3 \, b_2 ~+~ \varepsilon_{133} \, a_3 \, b_3 \]
Nach Definition des Levi-Civita-Tensors, sind von neun Termen nur zwei ungleich Null und zwar die mit unterschiedlichen Indizes:\[ \varepsilon_{1jk} \, a_j \, b_k ~=~ \varepsilon_{123} \, a_2 \, b_3 ~+~ \varepsilon_{132} \, a_3 \, b_2 \]
Dabei ist \( \varepsilon_{123} ~= 1 \), weil es eine gerade Permutation ist. Und \( \varepsilon_{132} ~= -1 \), weil es eine ungerade Permutation ist. Einsetzen ergibt: \[ \varepsilon_{1jk} \, a_j \, b_k ~=~ a_2 \, b_3 ~-~ \, a_3 \, b_2 \]
Analog gehtst Du mit der 2. und 3. Komponenten vor und erhälst so alle drei Komponenten des Ergebnisvektors des Kreuzprodukts.
Spatprodukt in Indexnotation
Mit dem Levi-Civita-Tensor lässt sich bei Spatprodukt zeigen, dass: \[ \boldsymbol{a} \cdot \left( \boldsymbol{b} ~\times~ \boldsymbol{c} \right) ~=~ \boldsymbol{c} \cdot \left( \boldsymbol{a} ~\times~ \boldsymbol{b} \right) ~=~ \boldsymbol{b} \cdot \left( \boldsymbol{c} ~\times~ \boldsymbol{a} \right) \] Dabei muss Dir die zyklische Permutation der drei Vektoren auffallen!
Wie kannst Du das Spatprodukt in Indexnotation beweisen?
Starte mit dem linken Seite der Gleichung. Da es sich um ein Skalarprodukt zwischen \( \boldsymbol{a} \) und \( \left( \boldsymbol{b} ~\times~ \boldsymbol{c} \right) \) handelt, versiehst Du sowohl das Kreuzprodukt als auch den Vektor \( \boldsymbol{a} \) mit einem - gleichen - Index, z.B. \( i \), über den - nach der Einsteinschen Summenkonvention - summiert wird: \[ a_i \, \left( \boldsymbol{b} ~\times~ \boldsymbol{c} \right)_i \]
Jetzt hast Du ein gewöhnliches Produkt von zwei Zahlen: \( a_i \) und \( \left( \boldsymbol{b} ~\times~ \boldsymbol{c} \right)_i \), weshalb das Skalarprodukt-Punkt weg ist.
Du hast außerdem vorher gelernt, dass die \( i \)-te Komponente des Kreuzprodukts sich mit Hilfe des Levi-Civita-Tensors umschreiben lässt. Benutze also die Definition obige: \[ a_i \, \left( \boldsymbol{b} ~\times~ \boldsymbol{c} \right)_i ~=~ a_i \, \varepsilon_{ijk} \, b_j \, c_k \]
Jetzt sind es alles reine Zahlen und es gelten übliche Rechengesetze, unter anderem das Kommutativgesetzt. Vertausche die Faktoren soviel Du willst! Packe beispielsweise den Levi-Civita-Tensor an den Anfang: \[ a_i \, \left( \boldsymbol{b} ~\times~ \boldsymbol{c} \right)_i ~=~ \varepsilon_{ijk} \, a_i \, b_j \, c_k \]
Um die obige Idenität des Spatprodukts zu zeigen, nutze die Eigenschaft des Levi-Civita-Tensors aus, dass bei gerader Permutation sich nichts verändert. Das heißt: eine gerade Vertauschung der Indizes ändert nichts an der Gleichheit! Bei ungerader Permutation dagegen würde sich das Vorzeichen verändern.
Für die erste gerade Permutation 'rotierst' Du Indizes einmal im Kreis: \( ijk ~\rightarrow~ kij \). Da sich am Ergebnis nichts ändert, sind die permutierte und nicht-permutierte Versionen gleich: \[ \varepsilon_{ijk} \, a_i \, b_j \, c_k ~=~ \varepsilon_{kij} \, a_i \, b_j \, c_k \]
Nächste gerade Permutation (d.h. nochmal rotieren) der Indizes \( kij ~\rightarrow~ jki \), ergibt einen weiteren Term, der den anderen gleicht: \[ \varepsilon_{ijk} \, a_i \, b_j \, c_k ~=~ \varepsilon_{kij} \, a_i \, b_j \, c_k ~=~ \varepsilon_{jki} \, a_i \, b_j \, c_k \]
Würdest Du die Indizes ein drittes Mal rotieren, dann kommst Du zum Anfangszustand \( jki ~\rightarrow~ ijk \)! Es bringt also nichts, noch ein weiteres Mal eine gerade Vertauschung durchzuführen. Schreibe am besten das Ganze in der "passenderen" Reihenfolge auf (Du kannst ja jetzt alle Faktoren vertauschen wie Du willst): \[ \varepsilon_{ijk} \, a_i \, b_j \, c_k ~=~ \varepsilon_{kij} \, c_k \, a_i \, b_j ~=~ \varepsilon_{jki} \, b_j \, c_k \, a_i \]
Schreibst Du die drei Seiten wieder als Kreuzprodukt - mithilfe der Levi-Civita-Tensor-Definition - auf, dann bekommst Du: \[ a_i \, \left( \boldsymbol{b} ~\times~ \boldsymbol{c} \right)_i ~=~ c_k \, \left( \boldsymbol{a} ~\times~ \boldsymbol{b} \right)_k ~=~ b_j \, \left( \boldsymbol{c} ~\times~ \boldsymbol{a} \right)_j \]
