Das äußere Tensorprodukt ist in der Mathematik ein spezielles Produkt zweier Dyaden, die aus zwei mit dem dyadischen Produkt verknüpften Vektoren bestehen. Beim äußeren Tensorprodukt werden Kreuzprodukte der Vektoren gebildet, so dass dieses Tensorprodukt auf drei dimensionale Räume eingeschränkt ist. Weil im äußeren Tensorprodukt das Kreuzprodukt „ד doppelt vorkommt wird es hier mit dem Symbol „#“ geschrieben. Mit dem äußeren Tensorprodukt lassen sich die Hauptinvarianten, der Kofaktor und die Adjunkte eines Tensors elegant ausdrücken und das Kreuzprodukt von mit einem Tensor transformierten Vektoren angeben. Die Bezeichnung „äußeres Tensorprodukt“ leitet sich aus dem Zweitnamen „äußeres Produkt“ des Kreuzproduktes von Vektoren her. Gelegentlich wird auch das dyadische Produkt von Tensoren als „äußeres Tensorprodukt“ bezeichnet. Die Benennung hier folgt W. Ehlers.[1]
Definition
Gegeben seien vier Vektoren
aus dem dreidimensionalen euklidischen Vektorraum
. Dann ist das äußere Tensorprodukt „#“ mit dem dyadischen Produkt „
“ definiert über:
![{\displaystyle ({\vec {a}}\otimes {\vec {g}})\#({\vec {b}}\otimes {\vec {h}}):=({\vec {a}}\times {\vec {b}})\otimes ({\vec {g}}\times {\vec {h}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a4adfd55ea6e3bcefbaf9684a783dc07de8c15b)
Tensoren zweiter Stufe sind Summen von Dyaden. Seien
und
Vektorraumbasen. Dann kann jeder Tensor zweiter Stufe A als Summe
![{\displaystyle \mathbf {A} =A^{ij}{\vec {a}}_{i}\otimes {\vec {g}}_{j}=A^{*ij}{\vec {b}}_{i}\otimes {\vec {h}}_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9538e7b68cae3a20bcd815bf661938d99d9ed9f)
mit zu bestimmenden Komponenten Aij bzw. A*ij dargestellt werden. In dieser Gleichung wie auch in den folgenden ist die Einsteinsche Summenkonvention anzuwenden, der zufolge über alle, in einem Produkt doppelt vorkommende Indizes, hier i und j, von eins bis drei zu summieren ist. Das äußere Tensorprodukt zweier Tensoren zweiter Stufe lautet dann:
![{\displaystyle \mathbf {A} \#\mathbf {B} =\left(A^{ij}{\vec {a}}_{i}\otimes {\vec {g}}_{j}\right)\#\left(B^{kl}{\vec {b}}_{k}\otimes {\vec {h}}_{l}\right)=A^{ij}B^{kl}\left({\vec {a}}_{i}\times {\vec {b}}_{k}\right)\otimes \left({\vec {g}}_{j}\times {\vec {h}}_{l}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f27321351fa5991a4eefd116f0ab2d2dd18764d)
Koordinatenfreie Darstellung
Ohne Referenz auf Dyaden kann das äußere Tensorprodukt zweier Tensoren A und B symbolisch mit dem Einheitstensor 1 geschrieben werden als
![{\displaystyle {\begin{aligned}\mathbf {A} \#\mathbf {B} =&[\operatorname {Sp} (\mathbf {A} )\operatorname {Sp} (\mathbf {B} )-\operatorname {Sp} (\mathbf {A\cdot B} )]\mathbf {1} \\&+[\mathbf {A\cdot B} +\mathbf {B\cdot A} -\operatorname {Sp} (\mathbf {A} )\mathbf {B} -\operatorname {Sp} (\mathbf {B} )\mathbf {A} ]^{\top }\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32fd28f20a124d8f5e25f133c4f956b868a8654e)
Denn wenn diese Tensoren wie beispielsweise in
bezüglich der Standardbasis ê1,2,3 notiert werden, dann gilt mit dem Levi-Civita-Symbol
:
![{\displaystyle {\begin{aligned}\mathbf {A} \#\mathbf {B} =&(A_{ij}{\hat {e}}_{i}\otimes {\hat {e}}_{j})\#(B_{kl}{\hat {e}}_{k}\otimes {\hat {e}}_{l})\\=&A_{ij}B_{kl}({\hat {e}}_{i}\times {\hat {e}}_{k})\otimes ({\hat {e}}_{j}\times {\hat {e}}_{l})\\=&\varepsilon _{ikm}\varepsilon _{jln}A_{ij}B_{kl}{\hat {e}}_{m}\otimes {\hat {e}}_{n}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56207d08d0d4c741e09a492af7a259b8744ec275)
Das Produkt zweier Levi-Civita-Symbole hängt über die Determinante
![{\displaystyle {\begin{aligned}\varepsilon _{ikm}\varepsilon _{jln}=&{\begin{vmatrix}\delta _{ij}&\delta _{il}&\delta _{in}\\\delta _{kj}&\delta _{kl}&\delta _{kn}\\\delta _{mj}&\delta _{ml}&\delta _{mn}\end{vmatrix}}\\=&\delta _{ij}\delta _{kl}\delta _{mn}+\delta _{il}\delta _{kn}\delta _{mj}+\delta _{in}\delta _{kj}\delta _{ml}\\&-\delta _{ij}\delta _{kn}\delta _{ml}-\delta _{il}\delta _{kj}\delta _{mn}-\delta _{in}\delta _{kl}\delta _{mj}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/038b30fe9f5f151a22c58efbdb727e64a8c52108)
mit dem Kronecker-Delta δij zusammen. Daraus ergibt sich:
![{\displaystyle {\begin{array}{rcl}\mathbf {A} \#\mathbf {B} &=&(\delta _{ij}\delta _{kl}\delta _{mn}+\delta _{il}\delta _{kn}\delta _{mj}+\delta _{in}\delta _{kj}\delta _{ml}\\&&-\delta _{ij}\delta _{kn}\delta _{ml}-\delta _{il}\delta _{kj}\delta _{mn}-\delta _{in}\delta _{kl}\delta _{mj})A_{ij}B_{kl}{\hat {e}}_{m}\otimes {\hat {e}}_{n}\\&=&A_{ii}B_{kk}{\hat {e}}_{m}\otimes {\hat {e}}_{m}+A_{ij}B_{ki}{\hat {e}}_{j}\otimes {\hat {e}}_{k}+A_{ij}B_{jl}{\hat {e}}_{l}\otimes {\hat {e}}_{i}\\&&-A_{ii}B_{kl}{\hat {e}}_{l}\otimes {\hat {e}}_{k}-A_{ij}B_{ji}{\hat {e}}_{m}\otimes {\hat {e}}_{m}-A_{ij}B_{kk}{\hat {e}}_{j}\otimes {\hat {e}}_{i}\\&=&\operatorname {Sp} (\mathbf {A} )\operatorname {Sp} (\mathbf {B} )\mathbf {1} +\mathbf {A^{\top }\cdot B^{\top }} +\mathbf {B^{\top }\cdot A^{\top }} \\&&-\operatorname {Sp} (\mathbf {A} )\mathbf {B} ^{\top }-\operatorname {Sp} (\mathbf {A\cdot B} )\mathbf {1} -\operatorname {Sp} (\mathbf {B} )\mathbf {A} ^{\top }\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/255f88824345a172d31a1b8365dd3824c7be8dc5)
was der eingangs gegebenen Identität entspricht.
Eigenschaften
Aus der koordinatenfreien Darstellung lässt sich ablesen:
![{\displaystyle {\begin{array}{rcl}\mathbf {1} \#\mathbf {1} &=&2\,\mathbf {1} \\\mathbf {A} \#\mathbf {1} &=&\operatorname {Sp} (\mathbf {A} )\mathbf {1} -\mathbf {A} ^{\top }\\(\mathbf {A} \#\mathbf {B} )^{\top }&=&(\mathbf {A} ^{\top })\#(\mathbf {B} ^{\top })\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00f52d778c07e5914f477167312bb67628227b15)
Assoziativität
Das äußere Tensorprodukt ist nicht assoziativ:
![{\displaystyle \mathbf {A} \#(\mathbf {B} \#\mathbf {C} )\neq (\mathbf {A} \#\mathbf {B} )\#\mathbf {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8434ab1f1e9193c2cbbb841f036f64fcb8e2bf2a)
wie das Beispiel B=C=1 zeigt:
![{\displaystyle {\begin{aligned}\mathbf {A} \#(\mathbf {1} \#\mathbf {1} )=&\mathbf {A} \#2\mathbf {1} =2\operatorname {Sp} (\mathbf {A} )\mathbf {1} -2\mathbf {A} ^{\top }\\(\mathbf {A} \#\mathbf {1} )\#\mathbf {1} =&[\operatorname {Sp} (\mathbf {A} )\mathbf {1} -\mathbf {A} ^{\top }]\#\mathbf {1} \\=&2\operatorname {Sp} (\mathbf {A} )\mathbf {1} -[\operatorname {Sp} (\mathbf {A} ^{\top })\operatorname {Sp} (\mathbf {1} )-\operatorname {Sp} (\mathbf {A^{\top }\cdot 1} )]\mathbf {1} \\&-[\mathbf {A^{\top }\cdot 1} +\mathbf {1\cdot A^{\top }} -\operatorname {Sp} (\mathbf {A} ^{\top })\mathbf {1} -\operatorname {Sp} (\mathbf {1} )\mathbf {A} ^{\top }]^{\top }\\=&\operatorname {Sp} (\mathbf {A} )\mathbf {1} +\mathbf {A} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0450ba91d5e69c3430a89d9f29d0ac6223bc37e)
Kommutativität
Das äußere Tensorprodukt ist kommutativ:
![{\displaystyle \mathbf {A} \#\mathbf {B} =\mathbf {B} \#\mathbf {A} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b774064fe9c6688cc91fb870a3b40d685dc25ce)
wie aus der koordinatenfreien Darstellung ablesbar ist.
Distributivgesetz
Das äußere Tensorprodukt ist distributiv über der Addition und Subtraktion:
![{\displaystyle {\begin{aligned}\mathbf {A} \#(\mathbf {B+C} )=&\mathbf {A} \#\mathbf {B} +\mathbf {A} \#\mathbf {C} \\\mathbf {(A+B)} \#\mathbf {C} =&\mathbf {A} \#\mathbf {C} +\mathbf {B} \#\mathbf {C} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd06ca59be99098bf84e6c088de97b31d9901951)
was in der koordinatenfreien Darstellung nachweisbar ist.
Zusammenhang mit dem doppelten Kreuzprodukt von Tensoren
H. Altenbach[2] definiert das doppelte Kreuzprodukt von Dyaden als
![{\displaystyle ({\vec {a}}\otimes {\vec {g}})\times \times ({\vec {b}}\otimes {\vec {h}}):=({\vec {g}}\times {\vec {b}})\otimes ({\vec {a}}\times {\vec {h}})=({\vec {g}}\otimes {\vec {a}})\#({\vec {b}}\otimes {\vec {h}})\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f033acbe960ebf3b1b1cd4f5fefabf5b585085fb)
das sich also nur durch die Transposition des ersten Faktors vom äußeren Tensorprodukt unterscheidet.
Isotropie
Das äußere Tensorprodukt zweier Tensoren kann als Funktion dieser Tensoren aufgefasst werden:
![{\displaystyle \mathbf {f} (\mathbf {A,B} ):=\mathbf {A} \#\mathbf {B} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/95f268ef06a14584746b723fade7f7f66466f9d0)
Gegeben sei ein beliebiger orthogonaler Tensor Q, bei dem also die Identität
zutrifft. Dann gilt
![{\displaystyle {\begin{array}{rcl}&&\mathbf {f} (\mathbf {Q\cdot A\cdot Q^{\top },Q\cdot B\cdot Q^{\top }} )\\&=&(\mathbf {Q\cdot A\cdot Q^{\top }} )\#(\mathbf {Q\cdot B\cdot Q^{\top }} )\\&=&[\operatorname {Sp} (\mathbf {Q\cdot A\cdot Q^{\top }} )\operatorname {Sp} (\mathbf {Q\cdot B\cdot Q^{\top }} )-\operatorname {Sp} ((\mathbf {Q\cdot A\cdot Q^{\top }} )\cdot (\mathbf {Q\cdot B\cdot Q^{\top }} ))]\mathbf {1} \\&&+(\mathbf {Q\cdot A\cdot Q^{\top }} )^{\top }\cdot (\mathbf {Q\cdot B\cdot Q^{\top }} )^{\top }+(\mathbf {Q\cdot B\cdot Q^{\top }} )^{\top }\cdot (\mathbf {Q\cdot A\cdot Q^{\top }} )^{\top }\\&&-\operatorname {Sp} (\mathbf {Q\cdot A\cdot Q^{\top }} )(\mathbf {Q\cdot B\cdot Q^{\top }} )^{\top }-\operatorname {Sp} (\mathbf {Q\cdot B\cdot Q^{\top }} )(\mathbf {Q\cdot A\cdot Q^{\top }} )^{\top }\\&=&\mathbf {Q} \cdot {\bigl \{}[\operatorname {Sp} (\mathbf {A} )\operatorname {Sp} (\mathbf {B} )-\operatorname {Sp} (\mathbf {A\cdot B} )]\mathbf {1} +\mathbf {A^{\top }\cdot B^{\top }} +\mathbf {B^{\top }\cdot A^{\top }} \\&&\quad \quad \quad -\operatorname {Sp} (\mathbf {A} )\mathbf {B} ^{\top }-\operatorname {Sp} (\mathbf {B} )\mathbf {A} ^{\top }{\bigr \}}\cdot \mathbf {Q} ^{\top }\\&=&\mathbf {Q} \cdot \mathbf {f} (\mathbf {A,B} )\cdot \mathbf {Q} ^{\top }\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c004b046094e54863c6421a3a63276b972f8d0c)
Das äußere Tensorprodukt ist mithin eine isotrope Tensorfunktion.
Skalarprodukt mit einem dritten Tensor
Bildung des Frobenius-Skalarproduktes „:“ des äußeren Tensorproduktes A#B mit einem dritten Tensor C liefert:
![{\displaystyle {\begin{array}{rcl}(\mathbf {A} \#\mathbf {B} ):\mathbf {C} &=&[\operatorname {Sp} (\mathbf {A} )\operatorname {Sp} (\mathbf {B} )\mathbf {1} +\mathbf {A^{\top }\cdot B^{\top }} +\mathbf {B^{\top }\cdot A^{\top }} \\&&-\operatorname {Sp} (\mathbf {A} )\mathbf {B} ^{\top }-\operatorname {Sp} (\mathbf {A\cdot B} )\mathbf {1} -\operatorname {Sp} (\mathbf {B} )\mathbf {A} ^{\top }]:\mathbf {C} \\&=&\operatorname {Sp} (\mathbf {A} )\operatorname {Sp} (\mathbf {B} )\operatorname {Sp} (\mathbf {C} )+\operatorname {Sp} (\mathbf {B\cdot A\cdot C} )+\operatorname {Sp} (\mathbf {A\cdot B\cdot C} )\\&&-\operatorname {Sp} (\mathbf {A} )\operatorname {Sp} (\mathbf {B\cdot C} )-\operatorname {Sp} (\mathbf {C} )\operatorname {Sp} (\mathbf {A\cdot B} )-\operatorname {Sp} (\mathbf {B} )\operatorname {Sp} (\mathbf {C\cdot A} )\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffcd627716e32137de020b4afcb8b6c261deb588)
Daraus ist die zyklische Vertauschbarkeit
![{\displaystyle (\mathbf {A} \#\mathbf {B} ):\mathbf {C} =(\mathbf {B} \#\mathbf {C} ):\mathbf {A} =(\mathbf {C} \#\mathbf {A} ):\mathbf {B} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/17057bab60b50eeed54f52e8caaaa88dac27c495)
ablesbar.
Zusammenhang mit den Hauptinvarianten
Aus
und der zyklischen Vertauschbarkeit der Faktoren im Produkt
folgt:
![{\displaystyle {\begin{array}{rclcl}(\mathbf {T} \#\mathbf {1} ):\mathbf {1} &=&3\operatorname {Sp} (\mathbf {T} )-\operatorname {Sp} (\mathbf {T} )&=&2\operatorname {I} _{1}(\mathbf {T} )\\(\mathbf {T} \#\mathbf {T} ):\mathbf {1} &=&(\mathbf {T} \#\mathbf {1} ):\mathbf {T} =\operatorname {Sp} (\mathbf {T} )^{2}-\operatorname {Sp} (\mathbf {T\cdot T} )&=&2\operatorname {I} _{2}(\mathbf {T} )\\(\mathbf {T} \#\mathbf {T} ):\mathbf {T} &=&\operatorname {Sp} (\mathbf {T} )^{3}+2\operatorname {Sp} (\mathbf {T} ^{3})-3\operatorname {Sp} (\mathbf {T} )\operatorname {Sp} (\mathbf {T} ^{2})&=&6\operatorname {I} _{3}(\mathbf {T} )\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/697bd21c9b6d057e24a54b9952a825ca7a355fca)
Die Funktionen I1,2,3 sind die drei Hauptinvarianten des Tensors T.
Berechnung des Kofaktors und der Adjunkten
Der Kofaktor eines invertierbaren Tensors ist der Tensor
, der nach dem Satz von Cayley-Hamilton
![{\displaystyle \operatorname {cof} (\mathbf {T} )=\mathbf {T^{\top }\cdot T^{\top }} -\operatorname {Sp} (\mathbf {T} )\mathbf {T} ^{\top }+\operatorname {I} _{2}(\mathbf {T} )\mathbf {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/35fbff3097ae074bbe4420137e26e8e0660bb62b)
lautet. Letztere Identität gilt auch für nicht invertierbare Tensoren. Das äußere Tensorprodukt eines Tensors mit sich selbst liefert den doppelten Kofaktor:
![{\displaystyle {\begin{aligned}\mathbf {T} \#\mathbf {T} =&[\operatorname {Sp} (\mathbf {T} )^{2}-\operatorname {Sp} (\mathbf {T\cdot T} )]\mathbf {1} +2\mathbf {T^{\top }\cdot T^{\top }} -\operatorname {Sp} (\mathbf {T} )\mathbf {T} ^{\top }-\operatorname {Sp} (\mathbf {T} )\mathbf {T} ^{\top }\\=&2\operatorname {cof} (\mathbf {T} )\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad2b083d58a2ecce072d1394f8fbbbdc0569e823)
Die Adjunkte ist der transponierte Kofaktor:
![{\displaystyle \operatorname {adj} (\mathbf {T} )=\operatorname {cof} (\mathbf {T} )^{\top }={\frac {1}{2}}(\mathbf {T} \#\mathbf {T} )^{\top }={\frac {1}{2}}\left(\mathbf {T} ^{\top }\right)\#\left(\mathbf {T} ^{\top }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f91c038cdbdf8990ee9f145462d361b51c0099ce)
Tensorprodukt zweier äußerer Produkte
Mit
kann
![{\displaystyle {\begin{array}{rcl}(\mathbf {A} \#\mathbf {B} )\cdot (\mathbf {C} \#\mathbf {D} )&=&\varepsilon _{ikm}\varepsilon _{pqu}A_{ip}B_{kq}{\hat {e}}_{m}\otimes {\hat {e}}_{u}\cdot \varepsilon _{stv}\varepsilon _{jln}C_{sj}D_{tl}{\hat {e}}_{v}\otimes {\hat {e}}_{n}\\&=&\varepsilon _{ikm}\varepsilon _{pqu}\varepsilon _{stu}\varepsilon _{jln}A_{ip}B_{kq}C_{sj}D_{tl}{\hat {e}}_{m}\otimes {\hat {e}}_{n}\\&=&\varepsilon _{ikm}(\delta _{ps}\delta _{qt}-\delta _{qs}\delta _{pt})\varepsilon _{jln}A_{ip}B_{kq}C_{sj}D_{tl}{\hat {e}}_{m}\otimes {\hat {e}}_{n}\\&=&\varepsilon _{ikm}\varepsilon _{jln}A_{ip}C_{pj}B_{kq}D_{ql}{\hat {e}}_{m}\otimes {\hat {e}}_{n}+\varepsilon _{ikm}\varepsilon _{ljn}A_{ip}D_{pl}B_{kq}C_{qj}{\hat {e}}_{m}\otimes {\hat {e}}_{n}\\\rightarrow (\mathbf {A} \#\mathbf {B} )\cdot (\mathbf {C} \#\mathbf {D} )&=&(\mathbf {A\cdot C} )\#(\mathbf {B\cdot D} )+(\mathbf {A\cdot D} )\#(\mathbf {B\cdot C} )\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d50bfe38a9b44724210124a043dd6c504e26eb20)
ausgerechnet werden.
Kreuzprodukt
Mit Hilfe des äußeren Tensorprodukts lassen sich Tensoren aus dem Kreuzprodukt zweier Vektoren „ausklammern“:
![{\displaystyle (\mathbf {A} \cdot {\vec {u}})\times (\mathbf {A} \cdot {\vec {v}})={\frac {1}{2}}\mathbf {A} \#\mathbf {A} \cdot ({\vec {u}}\times {\vec {v}})=\operatorname {cof} (\mathbf {A} )\cdot ({\vec {u}}\times {\vec {v}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca0423d35ea77bbfdbc8d50f6d030ae87cee23de)
Dieses Ergebnis wird bei der Berechnung der Inhalte verformter Flächen gebraucht.
Zum Nachweis wird das Kreuzprodukt zweier Vektoren mit Komponenten bezüglich der Standardbasis mittels des Levi-Civita-Symbols dargestellt:
![{\displaystyle {\vec {u}}\times {\vec {v}}=u_{p}{\hat {e}}_{p}\times v_{q}{\hat {e}}_{q}=\varepsilon _{pqr}u_{p}v_{q}{\hat {e}}_{r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe3f6542b1518905fc9070cbbd9a45d9983780aa)
Anwendung des äußeren Tensorprodukts zweier Tensoren auf dieses Produkt liefert:
![{\displaystyle (\mathbf {A} \#\mathbf {B} )\cdot ({\vec {u}}\times {\vec {v}})=\varepsilon _{ikm}\varepsilon _{jln}A_{ij}B_{kl}({\hat {e}}_{m}\otimes {\hat {e}}_{n})\cdot \varepsilon _{pqr}u_{p}v_{q}{\hat {e}}_{r}=\varepsilon _{ikm}\varepsilon _{pqn}\varepsilon _{jln}A_{ij}B_{kl}u_{p}v_{q}{\hat {e}}_{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0e7bd55ca03f135a5420027208039715d26761e)
Nun ist
![{\displaystyle {\begin{array}{rcl}(\mathbf {A} \cdot {\vec {u}})\times (\mathbf {B} \cdot {\vec {v}})-(\mathbf {A} \cdot {\vec {v}})\times (\mathbf {B} \cdot {\vec {u}})&=&A_{ij}u_{j}{\hat {e}}_{i}\times B_{kl}v_{l}{\hat {e}}_{k}-A_{ij}v_{j}{\hat {e}}_{i}\times B_{kl}u_{l}{\hat {e}}_{k}\\&=&\varepsilon _{ikm}A_{ij}B_{kl}u_{j}v_{l}{\hat {e}}_{m}-\varepsilon _{ikm}A_{ij}B_{kl}u_{l}v_{j}{\hat {e}}_{m}\\&=&\varepsilon _{ikm}(\delta _{jp}\delta _{lq}-\delta _{lp}\delta _{jq})A_{ij}B_{kl}u_{p}v_{q}{\hat {e}}_{m}\\&=&\varepsilon _{ikm}\varepsilon _{pqn}\varepsilon _{jln}A_{ij}B_{kl}u_{p}v_{q}{\hat {e}}_{m}\\\rightarrow (\mathbf {A} \cdot {\vec {u}})\times (\mathbf {B} \cdot {\vec {v}})-(\mathbf {A} \cdot {\vec {v}})\times (\mathbf {B} \cdot {\vec {u}})&=&(\mathbf {A} \#\mathbf {B} )\cdot ({\vec {u}}\times {\vec {v}})\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e21f36a21e96905a97436744132c2ff0d49f969)
In der Gleichungskette wurde
ausgenutzt. Speziell berechnet sich mit B=A der eingangs aufgeführte Zusammenhang.
Spatprodukt
In Komponenten bezüglich der Standardbasis berechnet sich
![{\displaystyle {\begin{array}{rcl}(\mathbf {A} \#\mathbf {B} ):\mathbf {C} &=&(A_{ij}{\hat {e}}_{i}\otimes {\hat {e}}_{j})\#(B_{kl}{\hat {e}}_{k}\otimes {\hat {e}}_{l}):C_{pq}{\hat {e}}_{p}\otimes {\hat {e}}_{q}=\varepsilon _{ikm}\varepsilon _{jln}A_{ij}B_{kl}C_{mn}\\&=&\varepsilon _{jln}(A_{ij}{\hat {e}}_{i}\times B_{kl}{\hat {e}}_{k})\cdot C_{mn}{\hat {e}}_{m}=\varepsilon _{jln}[(\mathbf {A} \cdot {\hat {e}}_{j})\times (\mathbf {B} \cdot {\hat {e}}_{l})]\cdot (\mathbf {C} \cdot {\hat {e}}_{n})\\\rightarrow (\mathbf {A} \#\mathbf {B} ):\mathbf {C} &=&\;\;\;[(\mathbf {A} \cdot {\hat {e}}_{1})\times (\mathbf {B} \cdot {\hat {e}}_{2})]\cdot (\mathbf {C} \cdot {\hat {e}}_{3})+[(\mathbf {A} \cdot {\hat {e}}_{2})\times (\mathbf {B} \cdot {\hat {e}}_{3})]\cdot (\mathbf {C} \cdot {\hat {e}}_{1})+[(\mathbf {A} \cdot {\hat {e}}_{3})\times (\mathbf {B} \cdot {\hat {e}}_{1})]\cdot (\mathbf {C} \cdot {\hat {e}}_{2})\\&&-[(\mathbf {A} \cdot {\hat {e}}_{2})\times (\mathbf {B} \cdot {\hat {e}}_{1})]\cdot (\mathbf {C} \cdot {\hat {e}}_{3})-[(\mathbf {A} \cdot {\hat {e}}_{3})\times (\mathbf {B} \cdot {\hat {e}}_{2})]\cdot (\mathbf {C} \cdot {\hat {e}}_{1})-[(\mathbf {A} \cdot {\hat {e}}_{1})\times (\mathbf {B} \cdot {\hat {e}}_{3})]\cdot (\mathbf {C} \cdot {\hat {e}}_{2})\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af667f29746dd191a47795a3981a7ad7e8eadd48)
Anstatt der Standardbasis kann hier auch jede andere Orthonormalbasis eingesetzt werden.
Siehe auch
Formelsammlung Tensoralgebra
Einzelnachweise
- ↑ W. Ehlers: Ergänzung zu den Vorlesungen, Technische Mechanik und Höhere Mechanik. 2014, S. 24 f. (uni-stuttgart.de [PDF; abgerufen am 28. Februar 2015]).
- ↑ H. Altenbach: Kontinuumsmechanik. Springer, 2012, ISBN 978-3-642-24118-5, S. 32.