Äußeres Tensorprodukt: Unterschied zwischen den Versionen

Äußeres Tensorprodukt: Unterschied zwischen den Versionen

85.93.75.6 (Diskussion)
 
imported>Phzh
K (Form, typo)
 
Zeile 1: Zeile 1:
Das '''äußere Tensorprodukt''' ist in der [[Mathematik]] ein spezielles Produkt zweier Dyaden, die aus zwei mit dem [[Dyadisches Produkt|dyadischen Produkt]] verknüpften [[Vektor]]en bestehen. Beim äußeren Tensorprodukt werden [[Kreuzprodukt]]e 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.
Das '''äußere Tensorprodukt''' ist in der [[Mathematik]] ein spezielles Produkt zweier Dyaden, die aus zwei mit dem [[Dyadisches Produkt|dyadischen Produkt]] verknüpften [[Vektor]]en bestehen. Beim äußeren Tensorprodukt werden [[Kreuzprodukt]]e 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 [[Dyadisches Produkt|dyadische Produkt]] von Tensoren als „äußeres Tensorprodukt“ bezeichnet. Die Benennung hier folgt W. Ehlers.<ref>{{Literatur |Autor=W. Ehlers |Titel=Ergänzung zu den Vorlesungen, Technische Mechanik und Höhere Mechanik |Datum=2014 |Seiten=24 f. |Online=http://www.mechbau.uni-stuttgart.de/ls2/Downloads/vektortensor.pdf |Abruf=2015-02-28}}</ref>
Die Bezeichnung „äußeres Tensorprodukt“ leitet sich aus dem Zweitnamen „äußeres Produkt“ des Kreuzproduktes von Vektoren her. Gelegentlich wird auch das [[Dyadisches Produkt|dyadische Produkt]] von Tensoren als „äußeres Tensorprodukt“ bezeichnet. Die Benennung hier folgt W. Ehlers.<ref>{{Literatur|Autor=W. Ehlers|Titel=Ergänzung zu den Vorlesungen, Technische Mechanik und Höhere Mechanik|Jahr=2014|Online= http://www.mechbau.uni-stuttgart.de/ls2/Downloads/vektortensor.pdf|Zugriff=2015-02-28|Seiten=24f}}</ref>


== Definition ==
== Definition ==
Gegeben seien vier Vektoren <math>\vec{a},\,\vec{b},\,\vec{g},\,\vec{h}\in\mathbb{V}^3</math> aus dem dreidimensionalen [[Prähilbertraum|euklidischen Vektorraum]] <math>\mathbb{V}^3</math>. Dann ist das äußere Tensorprodukt „#“ mit dem [[Dyadisches Produkt|dyadischen Produkt]] „<math>\otimes</math>“ definiert über:
Gegeben seien vier Vektoren <math>\vec{a},\,\vec{b},\,\vec{g},\,\vec{h}\in\mathbb{V}^3</math> aus dem dreidimensionalen [[Prähilbertraum|euklidischen Vektorraum]] <math>\mathbb{V}^3</math>. Dann ist das äußere Tensorprodukt „#“ mit dem [[Dyadisches Produkt|dyadischen Produkt]] „<math>\otimes</math>“ definiert über:
:<math>(\vec{a}\otimes\vec{g})\#(\vec{b}\otimes\vec{h})
:<math>(\vec{a}\otimes\vec{g})\#(\vec{b}\otimes\vec{h})
:=(\vec{a}\times\vec{b})\otimes(\vec{g}\times\vec{h})\,.
:=(\vec{a}\times\vec{b})\otimes(\vec{g}\times\vec{h})
</math>
</math>
Tensoren zweiter Stufe sind Summen von Dyaden. Seien <math>\vec{a}_{1,2,3},\,\vec{b}_{1,2,3},\,\vec{g}_{1,2,3}</math> und <math>\vec{h}_{1,2,3}</math> [[Vektorraumbasis|Vektorraumbasen]]. Dann kann jeder Tensor zweiter Stufe '''A''' als Summe
Tensoren zweiter Stufe sind Summen von Dyaden. Seien <math>\vec{a}_{1,2,3},\,\vec{b}_{1,2,3},\,\vec{g}_{1,2,3}</math> und <math>\vec{h}_{1,2,3}</math> [[Vektorraumbasis|Vektorraumbasen]]. Dann kann jeder Tensor zweiter Stufe '''A''' als Summe
:<math>\mathbf{A}
:<math>\mathbf{A}
=A^{ij}\vec{a}_i\otimes\vec{g}_j
=A^{ij}\vec{a}_i\otimes\vec{g}_j
=A^{*ij}\vec{b}_i\otimes\vec{h}_j
=A^{*ij}\vec{b}_i\otimes\vec{h}_j
</math>
</math>
mit zu bestimmenden Komponenten A<sup>ij</sup> bzw. A<sup>*ij</sup> 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:
mit zu bestimmenden Komponenten A<sup>ij</sup> bzw. A<sup>*ij</sup> 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:
:<math>\mathbf{A}\#\mathbf{B}
:<math>\mathbf{A}\#\mathbf{B}
= \left(A^{ij}\vec{a}_i\otimes\vec{g}_j\right)\#
=\left(A^{ij}\vec{a}_i\otimes\vec{g}_j\right)\#
\left(B^{kl}\vec{b}_k\otimes\vec{h}_l\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)\,.
=A^{ij}B^{kl}\left(\vec{a}_i\times\vec{b}_k\right)\otimes\left(\vec{g}_j\times\vec{h}_l\right)
</math>
</math>


== Koordinatenfreie Darstellung ==
== Koordinatenfreie Darstellung ==
Wenn diese Tensoren wie beispielsweise in <math>\mathbf{A} = A_{ij} \hat{e}_i\otimes\hat{e}_j</math> bezüglich der [[Standardbasis]] <math>\hat{e}_{1,2,3}</math> notiert werden, dann gilt mit dem [[Levi-Civita-Symbol]] <math>\varepsilon_{ijk}:=(\hat{e}_i\times\hat{e}_j)\cdot\hat{e}_k</math>:
Ohne Referenz auf Dyaden kann das äußere Tensorprodukt zweier Tensoren '''A''' und '''B''' symbolisch mit dem [[Einheitstensor]] '''1''' geschrieben werden als
:<math>\mathbf{A}\#\mathbf{B}
 
= (A_{ij}\hat{e}_i\otimes\hat{e}_j) \# (B_{kl} \hat{e}_k\otimes\hat{e}_l)
:<math>\begin{align}
= A_{ij} B_{kl} (\hat{e}_i\times\hat{e}_k)\otimes ( \hat{e}_j\times\hat{e}_l)
\mathbf{A}\#\mathbf{B}
= \varepsilon_{ikm} \varepsilon_{jln} A_{ij} B_{kl} \hat{e}_m \otimes \hat{e}_n
=&
</math>
[\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})
-\operatorname{Sp}(\mathbf{A\cdot B})]\mathbf1
\\&
+[\mathbf{A\cdot B}+\mathbf{B\cdot A}
-\operatorname{Sp}(\mathbf{A})\mathbf{B}-\operatorname{Sp}(\mathbf{B})\mathbf{A}]^\top
\end{align}</math>
 
Denn wenn diese Tensoren wie beispielsweise in <math>\mathbf{A}=A_{ij}\hat{e}_i\otimes\hat{e}_j</math> bezüglich der [[Standardbasis]] ê<sub>1,2,3</sub> notiert werden, dann gilt mit dem [[Levi-Civita-Symbol]] <math>\varepsilon_{ijk}:=(\hat{e}_i\times\hat{e}_j)\cdot\hat{e}_k</math>:
 
:<math>\begin{align}
\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{align}</math>
 
Das Produkt zweier Levi-Civita-Symbole hängt über die [[Determinante]]
Das Produkt zweier Levi-Civita-Symbole hängt über die [[Determinante]]
:<math>
 
\varepsilon_{ikm} \varepsilon_{jln}
:<math>\begin{align}
=
\varepsilon_{ikm}\varepsilon_{jln}
=&
\begin{vmatrix}
\begin{vmatrix}
\delta_{ij} & \delta_{il} & \delta_{in} \\
\delta_{ij} &\delta_{il} &\delta_{in}\\
\delta_{kj} & \delta_{kl} & \delta_{kn} \\
\delta_{kj} &\delta_{kl} &\delta_{kn}\\
\delta_{mj} & \delta_{ml} & \delta_{mn}
\delta_{mj} &\delta_{ml} &\delta_{mn}
\end{vmatrix}
\end{vmatrix}
=
\\=&
\delta_{ij} \delta_{kl} \delta_{mn} + \delta_{il} \delta_{kn} \delta_{mj} + \delta_{in} \delta_{kj} \delta_{ml}
\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}
\\&
</math>
-\delta_{ij}\delta_{kn}\delta_{ml}-\delta_{il}\delta_{kj}\delta_{mn}-\delta_{in}\delta_{kl}\delta_{mj}
\end{align}</math>
 
mit dem [[Kronecker-Delta]] δ<sub>ij</sub> zusammen. Daraus ergibt sich:
mit dem [[Kronecker-Delta]] δ<sub>ij</sub> zusammen. Daraus ergibt sich:
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
\mathbf{A}\#\mathbf{B}
\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_{kl}\delta_{mn}+\delta_{il}\delta_{kn}\delta_{mj}
- \delta_{ij} \delta_{kn} \delta_{ml} - \delta_{il} \delta_{kj} \delta_{mn} - \delta_{in} \delta_{kl} \delta_{mj})
+\delta_{in}\delta_{kj}\delta_{ml}
A_{ij} B_{kl} \hat{e}_m \otimes \hat{e}_n
\\&&
-\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_{ii}B_{kk}\hat{e}_m\otimes\hat{e}_m
+ A_{ij} B_{ki} \hat{e}_j \otimes \hat{e}_k
+A_{ij}B_{ki}\hat{e}_j\otimes\hat{e}_k
+ A_{ij} B_{jl} \hat{e}_l \otimes \hat{e}_i
+A_{ij}B_{jl}\hat{e}_l\otimes\hat{e}_i
\\&&
\\&&
- A_{ii} B_{kl} \hat{e}_l \otimes \hat{e}_k
-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_{ji}\hat{e}_m\otimes\hat{e}_m
- A_{ij} B_{kk} \hat{e}_j \otimes \hat{e}_i
-A_{ij}B_{kk}\hat{e}_j\otimes\hat{e}_i
\\
\\
&=&
&=&
\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})\mathbf{I}
\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})\mathbf1
+ \mathbf{A^\top\cdot B^\top}
+\mathbf{A^\top\cdot B^\top}
+ \mathbf{B^\top\cdot A^\top}
+\mathbf{B^\top\cdot A^\top}
- \operatorname{Sp}(\mathbf{A}) \mathbf{B}^\top
\\&&
-\operatorname{Sp}(\mathbf{A\cdot B})\mathbf{I}
-\operatorname{Sp}(\mathbf{A})\mathbf{B}^\top
-\operatorname{Sp}(\mathbf{B}) \mathbf{A}^\top
-\operatorname{Sp}(\mathbf{A\cdot B})\mathbf1
\\
-\operatorname{Sp}(\mathbf{B})\mathbf{A}^\top
\rightarrow
\mathbf{A}\#\mathbf{B}
&=&
[\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})
-\operatorname{Sp}(\mathbf{A\cdot B})]\mathbf{I}
+ [\mathbf{A\cdot B} + \mathbf{B\cdot A}
- \operatorname{Sp}(\mathbf{A}) \mathbf{B} -\operatorname{Sp}(\mathbf{B}) \mathbf{A}]^\top\,.
\end{array}</math>
\end{array}</math>
Der Tensor '''I''' ist der [[Einheitstensor]].
 
was der eingangs gegebenen Identität entspricht.


== Eigenschaften ==
== Eigenschaften ==
Aus der obigen Formel lässt sich ablesen:
Aus der [[#Koordinatenfreie Darstellung|koordinatenfreien Darstellung]] lässt sich ablesen:
 
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
\mathbf{I}\#\mathbf{I}&=& (9-3+1+1-3-3)\,\mathbf{I}=2\,\mathbf{I}
\mathbf1\#\mathbf1&=&2\,\mathbf1
\\
\\
\mathbf{A}\#\mathbf{I}&=&
\mathbf{A}\#\mathbf1&=&\operatorname{Sp}(\mathbf{A})\mathbf1-\mathbf{A}^\top
(3-1-1)\operatorname{Sp}(\mathbf{A})\mathbf{I}
+(1+1-3)\mathbf{A}^\top
=\operatorname{Sp}(\mathbf{A})\mathbf{I}-\mathbf{A}^\top  
\\
\\
(\mathbf{A}\#\mathbf{B})^\top&=& (\mathbf{A}^\top)\#(\mathbf{B}^\top)
(\mathbf{A}\#\mathbf{B})^\top&=& (\mathbf{A}^\top)\#(\mathbf{B}^\top)
Zeile 89: Zeile 107:


=== Assoziativität ===
=== Assoziativität ===
Das äußere Tensorprodukt ist ''nicht'' [[Assoziativgesetz|assoziativ]]:
Das äußere Tensorprodukt ist ''nicht'' [[Assoziativgesetz|assoziativ]]:


Zeile 95: Zeile 112:
\ne(\mathbf{A}\#\mathbf{B})\#\mathbf{C}</math>
\ne(\mathbf{A}\#\mathbf{B})\#\mathbf{C}</math>


wie das Beispiel '''B'''='''C'''='''I''' zeigt:
wie das Beispiel '''B'''='''C'''='''1''' zeigt:


:<math>\begin{align}
:<math>\begin{align}
\mathbf{A}\#(\mathbf{I}\#\mathbf{I})=&\mathbf{A}\#2\mathbf{I}
\mathbf{A}\#(\mathbf1\#\mathbf1)=&\mathbf{A}\#2\mathbf1
=2\operatorname{Sp}(\mathbf{A})\mathbf{I}-2\mathbf{A}^\top
=2\operatorname{Sp}(\mathbf{A})\mathbf1-2\mathbf{A}^\top
\\
\\
(\mathbf{A}\#\mathbf{I})\#\mathbf{I}
(\mathbf{A}\#\mathbf1)\#\mathbf1
=& [\operatorname{Sp}(\mathbf{A})\mathbf{I}-\mathbf{A}^\top]\#\mathbf{I}
=&[\operatorname{Sp}(\mathbf{A})\mathbf1-\mathbf{A}^\top]\#\mathbf1
\\=&
\\=&
2\operatorname{Sp}(\mathbf{A})\mathbf{I}
2\operatorname{Sp}(\mathbf{A})\mathbf1
-[\operatorname{Sp}(\mathbf{A}^\top)\operatorname{Sp}(\mathbf{I})
-[\operatorname{Sp}(\mathbf{A}^\top)\operatorname{Sp}(\mathbf1)
-\operatorname{Sp}(\mathbf{A^\top\cdot I})]\mathbf{I}
-\operatorname{Sp}(\mathbf{A^\top\cdot1})]\mathbf1
- [\mathbf{A^\top\cdot I} + \mathbf{I\cdot A^\top}
\\&-[\mathbf{A^\top\cdot1}+\mathbf{1\cdot A^\top}
- \operatorname{Sp}(\mathbf{A}^\top) \mathbf{I}
-\operatorname{Sp}(\mathbf{A}^\top)\mathbf1
-\operatorname{Sp}(\mathbf{I}) \mathbf{A}^\top]^\top
-\operatorname{Sp}(\mathbf1)\mathbf{A}^\top]^\top
\\=&
\\=&
\operatorname{Sp}(\mathbf{A})\mathbf{I}+\mathbf{A}
\operatorname{Sp}(\mathbf{A})\mathbf1+\mathbf{A}
\,.\end{align}</math>
\end{align}</math>


=== Kommutativität ===
=== Kommutativität ===
Das äußere Tensorprodukt ist [[Kommutativgesetz|kommutativ]]:
Das äußere Tensorprodukt ist [[Kommutativgesetz|kommutativ]]:


Zeile 123: Zeile 139:


=== Distributivgesetz ===
=== Distributivgesetz ===
 
Das äußere Tensorprodukt ist [[Distributivgesetz|distributiv]] über der Addition und Substraktion:
Das äußere Tensorprodukt ist [[Distributivgesetz|distributiv]] über der Addition und Subtraktion:


:<math>\begin{align}
:<math>\begin{align}
\mathbf{A\#(B+C)}=&\mathbf{A\# B}+\mathbf{A\# C}
\mathbf{A}\#(\mathbf{B+C})=&\mathbf{A}\#\mathbf{B}+\mathbf{A}\#\mathbf{C}
\\
\\
\mathbf{(A+B)\# C}=&\mathbf{A\# C}+\mathbf{B\# C}
\mathbf{(A+B)}\#\mathbf{C}=&\mathbf{A}\#\mathbf{C}+\mathbf{B}\#\mathbf{C}
\end{align}</math>
\end{align}</math>


Zeile 135: Zeile 150:


=== Zusammenhang mit dem doppelten Kreuzprodukt von Tensoren ===
=== Zusammenhang mit dem doppelten Kreuzprodukt von Tensoren ===
H. Altenbach<ref>{{Literatur|Autor=H. Altenbach|Titel=Kontinuumsmechanik|Verlag=Springer|Jahr=2012|ISBN=978-3-642-24118-5|Seiten=32}}</ref> definiert das doppelte Kreuzprodukt von Dyaden als
H. Altenbach<ref>{{Literatur |Autor=H. Altenbach |Titel=Kontinuumsmechanik |Verlag=Springer |Datum=2012 |ISBN=978-3-642-24118-5 |Seiten=32}}</ref> definiert das doppelte Kreuzprodukt von Dyaden als
 
:<math>(\vec{a}\otimes\vec{g})\times\times(\vec{b}\otimes\vec{h})
:<math>(\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}\times\vec{b})\otimes(\vec{a}\times\vec{h})
= (\vec{g}\otimes\vec{a})\#(\vec{b}\otimes\vec{h})\,,
= (\vec{g}\otimes\vec{a})\#(\vec{b}\otimes\vec{h})\,,
</math>
</math>
das sich also nur durch die Transposition des ersten Faktors vom äußeren Tensorprodukt unterscheidet.
das sich also nur durch die Transposition des ersten Faktors vom äußeren Tensorprodukt unterscheidet.


=== Isotropie ===
=== Isotropie ===
Das äußere Tensorprodukt zweier Tensoren kann als Funktion dieser Tensoren aufgefasst werden:
Das äußere Tensorprodukt zweier Tensoren kann als Funktion dieser Tensoren aufgefasst werden:
:<math>\mathbf{f}(\mathbf{A, B}):=\mathbf{A}\#\mathbf{B}\,.</math>
 
Gegeben sei ein beliebiger [[orthogonaler Tensor]] '''Q''', bei dem also die Identität <math>\mathbf{Q^\top\cdot Q}=\mathbf{I}</math> zutrifft. Dann gilt
:<math>\mathbf{f}(\mathbf{A, B}):=\mathbf{A}\#\mathbf{B}</math>
 
Gegeben sei ein beliebiger [[orthogonaler Tensor]] '''Q''', bei dem also die Identität <math>\mathbf{Q^\top\cdot Q}=\mathbf1</math> zutrifft. Dann gilt
 
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
\mathbf{f}(\mathbf{Q\cdot A\cdot Q^\top, Q\cdot B\cdot Q^\top})
&&\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})
(\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})\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{I}
-\operatorname{Sp}((\mathbf{Q\cdot A\cdot Q^\top})\cdot (\mathbf{Q\cdot B\cdot Q^\top}))]\mathbf1
\\&&
\\&&
+ (\mathbf{Q\cdot A\cdot Q^\top})^\top\cdot (\mathbf{Q\cdot B\cdot Q^\top})^\top
+ (\mathbf{Q\cdot A\cdot Q^\top})^\top\cdot (\mathbf{Q\cdot B\cdot Q^\top})^\top
Zeile 163: Zeile 183:
&=&
&=&
\mathbf{Q}\cdot\bigl\{[\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})
\mathbf{Q}\cdot\bigl\{[\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})
-\operatorname{Sp}(\mathbf{A\cdot B})]\mathbf{I}
-\operatorname{Sp}(\mathbf{A\cdot B})]\mathbf1
+ \mathbf{A^\top\cdot B^\top}
+\mathbf{A^\top\cdot B^\top}
+ \mathbf{B^\top\cdot A^\top}
+\mathbf{B^\top\cdot A^\top}
\\&&\quad\quad\quad
\\&&\quad\quad\quad
-\operatorname{Sp}(\mathbf{A}) \mathbf{B}^\top
-\operatorname{Sp}(\mathbf{A})\mathbf{B}^\top
-\operatorname{Sp}(\mathbf{B}) \mathbf{A}^\top\bigr\}\cdot \mathbf{Q}^\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\,.
\mathbf{Q}\cdot\mathbf{f}(\mathbf{A, B})\cdot\mathbf{Q}^\top
\end{array}
\end{array}
</math>
</math>
Das äußere Tensorprodukt ist mithin eine [[isotrope Tensorfunktion]].
Das äußere Tensorprodukt ist mithin eine [[isotrope Tensorfunktion]].


=== Skalarprodukt mit einem dritten Tensor ===
=== Skalarprodukt mit einem dritten Tensor ===
Bildung des [[Frobenius-Skalarprodukt#Darstellung als Spur|Frobenius-Skalarproduktes]] „:“ des äußeren Tensorproduktes '''A'''#'''B''' mit einem dritten Tensor '''C''' liefert:
Bildung des [[Frobenius-Skalarprodukt#Darstellung als Spur|Frobenius-Skalarproduktes]] „:“ des äußeren Tensorproduktes '''A'''#'''B''' mit einem dritten Tensor '''C''' liefert:
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
(\mathbf{A}\#\mathbf{B}):\mathbf{C}
(\mathbf{A}\#\mathbf{B}):\mathbf{C}
&=& [\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})\mathbf{I}
&=& [\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})\mathbf1
+ \mathbf{A^\top\cdot B^\top}
+\mathbf{A^\top\cdot B^\top}
+ \mathbf{B^\top\cdot A^\top}
+\mathbf{B^\top\cdot A^\top}
- \operatorname{Sp}(\mathbf{A}) \mathbf{B}^\top
\\&&
-\operatorname{Sp}(\mathbf{A\cdot B})\mathbf{I}
-\operatorname{Sp}(\mathbf{A})\mathbf{B}^\top
-\operatorname{Sp}(\mathbf{B}) \mathbf{A}^\top]:\mathbf{C}
-\operatorname{Sp}(\mathbf{A\cdot B})\mathbf1
-\operatorname{Sp}(\mathbf{B})\mathbf{A}^\top]:\mathbf{C}
\\
\\
&=&
&=&
Zeile 194: Zeile 217:
-\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{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{C})\operatorname{Sp}(\mathbf{A\cdot B})
-\operatorname{Sp}(\mathbf{B})\operatorname{Sp}(\mathbf{C\cdot A})\,.
-\operatorname{Sp}(\mathbf{B})\operatorname{Sp}(\mathbf{C\cdot A})
\end{array}</math>
\end{array}</math>
Daraus ist die zyklische Vertauschbarkeit
Daraus ist die zyklische Vertauschbarkeit
:<math>(\mathbf{A}\#\mathbf{B}):\mathbf{C}
:<math>(\mathbf{A}\#\mathbf{B}):\mathbf{C}
= (\mathbf{B}\#\mathbf{C}):\mathbf{A}
= (\mathbf{B}\#\mathbf{C}):\mathbf{A}
=(\mathbf{C}\#\mathbf{A}):\mathbf{B}
=(\mathbf{C}\#\mathbf{A}):\mathbf{B}
</math>
</math>
ablesbar.
ablesbar.


=== Zusammenhang mit den Hauptinvarianten ===
=== Zusammenhang mit den Hauptinvarianten ===
{{Hauptartikel|Hauptinvariante}}
{{Hauptartikel|Hauptinvariante}}
Aus <math>\mathbf{T}\#\mathbf{I}=\operatorname{Sp}(\mathbf{T})\mathbf{I}-\mathbf{T}^\top</math> und der zyklischen Vertauschbarkeit der Faktoren im Produkt <math>(\mathbf{A}\#\mathbf{B}):\mathbf{C}</math> folgt:
Aus <math>\mathbf{T}\#\mathbf1=\operatorname{Sp}(\mathbf{T})\mathbf1-\mathbf{T}^\top</math> und der zyklischen Vertauschbarkeit der Faktoren im Produkt <math>(\mathbf{A}\#\mathbf{B}):\mathbf{C}</math> folgt:
 
:<math>\begin{array}{rclcl}
:<math>\begin{array}{rclcl}
(\mathbf{T}\#\mathbf{I}):\mathbf{I} &=& 3\operatorname{Sp}(\mathbf{T})-\operatorname{Sp}(\mathbf{T})
(\mathbf{T}\#\mathbf1):\mathbf1 &=& 3\operatorname{Sp}(\mathbf{T})-\operatorname{Sp}(\mathbf{T})
&=& 2 \operatorname{I}_1(\mathbf{T})
&=& 2\operatorname{I}_1(\mathbf{T})
\\
\\
(\mathbf{T}\#\mathbf{T}):\mathbf{I} &=& (\mathbf{T}\#\mathbf{I}):\mathbf{T}
(\mathbf{T}\#\mathbf{T}):\mathbf1 &=& (\mathbf{T}\#\mathbf1):\mathbf{T}
= \operatorname{Sp}(\mathbf{T})^2 - \operatorname{Sp}(\mathbf{T\cdot T})
=\operatorname{Sp}(\mathbf{T})^2 -\operatorname{Sp}(\mathbf{T\cdot T})
&=& 2 \operatorname{I}_2(\mathbf{T})
&=& 2\operatorname{I}_2(\mathbf{T})
\\
\\
(\mathbf{T}\#\mathbf{T}):\mathbf{T} &=&
(\mathbf{T}\#\mathbf{T}):\mathbf{T} &=&
Zeile 219: Zeile 246:
-3\operatorname{Sp}(\mathbf{T})\operatorname{Sp}(\mathbf{T}^2)
-3\operatorname{Sp}(\mathbf{T})\operatorname{Sp}(\mathbf{T}^2)
&=&
&=&
6\operatorname{I}_3(\mathbf{T})\,.
6\operatorname{I}_3(\mathbf{T})
\end{array}</math>
\end{array}</math>
Die Funktionen I<sub>1,2,3</sub> sind die drei Hauptinvarianten des Tensors '''T'''.
Die Funktionen I<sub>1,2,3</sub> sind die drei Hauptinvarianten des Tensors '''T'''.


=== Berechnung des Kofaktors und der Adjunkten ===
=== Berechnung des Kofaktors und der Adjunkten ===
Der Kofaktor eines invertierbaren Tensors ist der Tensor <math>\operatorname{cof}(\mathbf{T}) = \operatorname{det}(\mathbf{T})\mathbf{T}^{\top-1}</math>, der nach dem [[Satz von Cayley-Hamilton]]
Der Kofaktor eines invertierbaren Tensors ist der Tensor <math>\operatorname{cof}(\mathbf{T}) =\operatorname{det}(\mathbf{T})\mathbf{T}^{\top-1}</math>, der nach dem [[Satz von Cayley-Hamilton]]
 
:<math>\operatorname{cof}(\mathbf{T})
:<math>\operatorname{cof}(\mathbf{T})
= \mathbf{T^\top\cdot T^\top}-\operatorname{Sp}(\mathbf{T})\mathbf{T}^\top
=\mathbf{T^\top\cdot T^\top}-\operatorname{Sp}(\mathbf{T})\mathbf{T}^\top
+\operatorname{I}_2(\mathbf{T})\mathbf{I}
+\operatorname{I}_2(\mathbf{T})\mathbf1
</math>
</math>
lautet. Letztere Identität gilt auch für nicht invertierbare Tensoren. Das äußere Tensorprodukt eines Tensors mit sich selbst liefert den doppelten Kofaktor:
lautet. Letztere Identität gilt auch für nicht invertierbare Tensoren. Das äußere Tensorprodukt eines Tensors mit sich selbst liefert den doppelten Kofaktor:
:<math>\mathbf{T}\#\mathbf{T}
 
=
:<math>\begin{align}
\mathbf{T}\#\mathbf{T}
=&
[\operatorname{Sp}(\mathbf{T})^2
[\operatorname{Sp}(\mathbf{T})^2
-\operatorname{Sp}(\mathbf{T\cdot T})]\mathbf{I}
-\operatorname{Sp}(\mathbf{T\cdot T})]\mathbf1
+2 \mathbf{T^\top\cdot T^\top}
+2\mathbf{T^\top\cdot T^\top}
- \operatorname{Sp}(\mathbf{T}) \mathbf{T}^\top
-\operatorname{Sp}(\mathbf{T})\mathbf{T}^\top
-\operatorname{Sp}(\mathbf{T}) \mathbf{T}^\top
-\operatorname{Sp}(\mathbf{T})\mathbf{T}^\top
=
\\=&
2\operatorname{cof}(\mathbf{T})\,.</math>
2\operatorname{cof}(\mathbf{T})
\end{align}</math>
 
Die [[Adjunkte]] ist der transponierte Kofaktor:
Die [[Adjunkte]] ist der transponierte Kofaktor:
:<math>\operatorname{adj}(\mathbf{T})
:<math>\operatorname{adj}(\mathbf{T})
=
=
Zeile 252: Zeile 287:
Mit <math>\varepsilon_{pqu}\varepsilon_{stu}=\varepsilon_{upq}\varepsilon_{ust}
Mit <math>\varepsilon_{pqu}\varepsilon_{stu}=\varepsilon_{upq}\varepsilon_{ust}
=\delta_{ps}\delta_{qt}-\delta_{pt}\delta_{qs}</math>
=\delta_{ps}\delta_{qt}-\delta_{pt}\delta_{qs}</math>
kann
kann
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
(\mathbf{A}\#\mathbf{B})\cdot(\mathbf{C}\#\mathbf{D})
(\mathbf{A}\#\mathbf{B})\cdot(\mathbf{C}\#\mathbf{D})
&=&
&=&
\varepsilon_{ikm} \varepsilon_{pqu} A_{ip} B_{kq} \hat{e}_m \otimes \hat{e}_u
\varepsilon_{ikm}\varepsilon_{pqu} A_{ip} B_{kq}\hat{e}_m\otimes\hat{e}_u
\cdot
\cdot
\varepsilon_{stv} \varepsilon_{jln} C_{sj} D_{tl} \hat{e}_v \otimes \hat{e}_n
\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}
\varepsilon_{ikm}\varepsilon_{pqu}\varepsilon_{stu}\varepsilon_{jln} A_{ip} B_{kq} C_{sj} D_{tl}
\hat{e}_m \otimes \hat{e}_n
\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}
\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
\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_{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
+\varepsilon_{ikm}\varepsilon_{ljn} A_{ip} D_{pl} B_{kq} C_{qj}\hat{e}_m\otimes\hat{e}_n
\\
\\
\rightarrow
\rightarrow
Zeile 278: Zeile 315:
+(\mathbf{A\cdot D})\#(\mathbf{B\cdot C})
+(\mathbf{A\cdot D})\#(\mathbf{B\cdot C})
\end{array}</math>
\end{array}</math>
ausgerechnet werden.
ausgerechnet werden.


== Transformationseigenschaften ==
== Transformationseigenschaften ==
=== Kreuzprodukt ===
=== Kreuzprodukt ===
Mit Hilfe des äußeren Tensorprodukts lassen sich Tensoren aus dem Kreuzprodukt zweier Vektoren „ausklammern.Zum Nachweis wird das Kreuzprodukt zweier Vektoren mit Komponenten bezüglich der Standardbasis mittels des Levi-Civita-Symbols dargestellt:
Mit Hilfe des äußeren Tensorprodukts lassen sich Tensoren aus dem Kreuzprodukt zweier Vektoren „ausklammern“:
:<math>\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\,.</math>
 
:<math>(\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})
</math>
 
Dieses Ergebnis wird bei der Berechnung der [[Strecktensor#Flächeninhalte|Inhalte verformter Flächen]] gebraucht.
 
Zum Nachweis wird das Kreuzprodukt zweier Vektoren mit Komponenten bezüglich der Standardbasis mittels des Levi-Civita-Symbols dargestellt:
 
:<math>\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</math>
 
Anwendung des äußeren Tensorprodukts zweier Tensoren auf dieses Produkt liefert:
Anwendung des äußeren Tensorprodukts zweier Tensoren auf dieses Produkt liefert:
:<math>(\mathbf{A}\#\mathbf{B})\cdot(\vec{u}\times\vec{v})
:<math>(\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)
=\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
\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
\varepsilon_{ikm}\varepsilon_{pqn}\varepsilon_{jln} A_{ij} B_{kl} u_p v_q\hat{e}_m
</math>
</math>
Nun ist
Nun ist
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
(\mathbf{A}\cdot\vec{u})\times (\mathbf{B}\cdot\vec{v})
(\mathbf{A}\cdot\vec{u})\times (\mathbf{B}\cdot\vec{v})
-(\mathbf{A}\cdot\vec{v})\times(\mathbf{B}\cdot\vec{u})
-(\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} 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
-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_j v_l\hat{e}_m
-\varepsilon_{ikm} A_{ij} B_{kl} u_l v_j \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}(\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
\varepsilon_{ikm}\varepsilon_{pqn}\varepsilon_{jln} A_{ij} B_{kl} u_p v_q\hat{e}_m
\\
\\
\rightarrow
\rightarrow
Zeile 313: Zeile 366:
-(\mathbf{A}\cdot\vec{v})\times(\mathbf{B}\cdot\vec{u})
-(\mathbf{A}\cdot\vec{v})\times(\mathbf{B}\cdot\vec{u})
&=&
&=&
(\mathbf{A}\#\mathbf{B})\cdot(\vec{u}\times\vec{v})\,.
(\mathbf{A}\#\mathbf{B})\cdot(\vec{u}\times\vec{v})
\end{array}</math>
\end{array}</math>
In der Gleichungskette wurde <math>\varepsilon_{pqn}\varepsilon_{jln}
In der Gleichungskette wurde <math>\varepsilon_{pqn}\varepsilon_{jln}
=\varepsilon_{npq}\varepsilon_{njl}=\delta_{jp}\delta_{lq}-\delta_{lp}\delta_{jq}</math> ausgenutzt. Speziell berechnet sich mit '''B'''='''A'''
=\varepsilon_{npq}\varepsilon_{njl}=\delta_{jp}\delta_{lq}-\delta_{lp}\delta_{jq}</math> ausgenutzt. Speziell berechnet sich mit '''B'''='''A''' der eingangs aufgeführte Zusammenhang.
:<math>(\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})\,.
</math>
Dieses Ergebnis wird bei der Berechnung der [[Strecktensor#Flächeninhalte|Inhalte verformter Flächen]] gebraucht.


=== Spatprodukt ===
=== Spatprodukt ===
In Komponenten bezüglich der Standardbasis berechnet sich
In Komponenten bezüglich der Standardbasis berechnet sich
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
(\mathbf{A}\#\mathbf{B}):\mathbf{C}
(\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
&=& (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_{ikm}\varepsilon_{jln} A_{ij} B_{kl} C_{mn}
\\
\\
&=&
&=&
Zeile 346: Zeile 396:
-[(\mathbf{A}\cdot\hat{e}_1)\times(\mathbf{B}\cdot\hat{e}_3)]\cdot(\mathbf{C}\cdot\hat{e}_2)
-[(\mathbf{A}\cdot\hat{e}_1)\times(\mathbf{B}\cdot\hat{e}_3)]\cdot(\mathbf{C}\cdot\hat{e}_2)
\end{array}</math>
\end{array}</math>
Anstatt der Standardbasis kann hier auch jede andere [[Orthonormalbasis]] eingesetzt werden.
Anstatt der Standardbasis kann hier auch jede andere [[Orthonormalbasis]] eingesetzt werden.


Zeile 353: Zeile 404:
== Einzelnachweise ==
== Einzelnachweise ==
<references />
<references />
{{SORTIERUNG:Ausseres Tensorprodukt}}
{{SORTIERUNG:Ausseres Tensorprodukt}}
[[Kategorie:Kontinuumsmechanik]]
[[Kategorie:Kontinuumsmechanik]]
[[Kategorie:Algebra]]
[[Kategorie:Algebra]]
[[Kategorie:Differentialgeometrie]]

Aktuelle Version vom 2. März 2022, 07:54 Uhr

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 $ {\vec {a}},\,{\vec {b}},\,{\vec {g}},\,{\vec {h}}\in \mathbb {V} ^{3} $ aus dem dreidimensionalen euklidischen Vektorraum $ \mathbb {V} ^{3} $. Dann ist das äußere Tensorprodukt „#“ mit dem dyadischen Produkt „$ \otimes $“ definiert über:

$ ({\vec {a}}\otimes {\vec {g}})\#({\vec {b}}\otimes {\vec {h}}):=({\vec {a}}\times {\vec {b}})\otimes ({\vec {g}}\times {\vec {h}}) $

Tensoren zweiter Stufe sind Summen von Dyaden. Seien $ {\vec {a}}_{1,2,3},\,{\vec {b}}_{1,2,3},\,{\vec {g}}_{1,2,3} $ und $ {\vec {h}}_{1,2,3} $ Vektorraumbasen. Dann kann jeder Tensor zweiter Stufe A als Summe

$ \mathbf {A} =A^{ij}{\vec {a}}_{i}\otimes {\vec {g}}_{j}=A^{*ij}{\vec {b}}_{i}\otimes {\vec {h}}_{j} $

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:

$ \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) $

Koordinatenfreie Darstellung

Ohne Referenz auf Dyaden kann das äußere Tensorprodukt zweier Tensoren A und B symbolisch mit dem Einheitstensor 1 geschrieben werden als

$ {\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}} $

Denn wenn diese Tensoren wie beispielsweise in $ \mathbf {A} =A_{ij}{\hat {e}}_{i}\otimes {\hat {e}}_{j} $ bezüglich der Standardbasis ê1,2,3 notiert werden, dann gilt mit dem Levi-Civita-Symbol $ \varepsilon _{ijk}:=({\hat {e}}_{i}\times {\hat {e}}_{j})\cdot {\hat {e}}_{k} $:

$ {\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}} $

Das Produkt zweier Levi-Civita-Symbole hängt über die Determinante

$ {\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}} $

mit dem Kronecker-Delta δij zusammen. Daraus ergibt sich:

$ {\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}} $

was der eingangs gegebenen Identität entspricht.

Eigenschaften

Aus der koordinatenfreien Darstellung lässt sich ablesen:

$ {\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}} $

Assoziativität

Das äußere Tensorprodukt ist nicht assoziativ:

$ \mathbf {A} \#(\mathbf {B} \#\mathbf {C} )\neq (\mathbf {A} \#\mathbf {B} )\#\mathbf {C} $

wie das Beispiel B=C=1 zeigt:

$ {\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}} $

Kommutativität

Das äußere Tensorprodukt ist kommutativ:

$ \mathbf {A} \#\mathbf {B} =\mathbf {B} \#\mathbf {A} $

wie aus der koordinatenfreien Darstellung ablesbar ist.

Distributivgesetz

Das äußere Tensorprodukt ist distributiv über der Addition und Substraktion:

$ {\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}} $

was in der koordinatenfreien Darstellung nachweisbar ist.

Zusammenhang mit dem doppelten Kreuzprodukt von Tensoren

H. Altenbach[2] definiert das doppelte Kreuzprodukt von Dyaden als

$ ({\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}})\,, $

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:

$ \mathbf {f} (\mathbf {A,B} ):=\mathbf {A} \#\mathbf {B} $

Gegeben sei ein beliebiger orthogonaler Tensor Q, bei dem also die Identität $ \mathbf {Q^{\top }\cdot Q} =\mathbf {1} $ zutrifft. Dann gilt

$ {\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}} $

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:

$ {\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}} $

Daraus ist die zyklische Vertauschbarkeit

$ (\mathbf {A} \#\mathbf {B} ):\mathbf {C} =(\mathbf {B} \#\mathbf {C} ):\mathbf {A} =(\mathbf {C} \#\mathbf {A} ):\mathbf {B} $

ablesbar.

Zusammenhang mit den Hauptinvarianten

Aus $ \mathbf {T} \#\mathbf {1} =\operatorname {Sp} (\mathbf {T} )\mathbf {1} -\mathbf {T} ^{\top } $ und der zyklischen Vertauschbarkeit der Faktoren im Produkt $ (\mathbf {A} \#\mathbf {B} ):\mathbf {C} $ folgt:

$ {\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}} $

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 $ \operatorname {cof} (\mathbf {T} )=\operatorname {det} (\mathbf {T} )\mathbf {T} ^{\top -1} $, der nach dem Satz von Cayley-Hamilton

$ \operatorname {cof} (\mathbf {T} )=\mathbf {T^{\top }\cdot T^{\top }} -\operatorname {Sp} (\mathbf {T} )\mathbf {T} ^{\top }+\operatorname {I} _{2}(\mathbf {T} )\mathbf {1} $

lautet. Letztere Identität gilt auch für nicht invertierbare Tensoren. Das äußere Tensorprodukt eines Tensors mit sich selbst liefert den doppelten Kofaktor:

$ {\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}} $

Die Adjunkte ist der transponierte Kofaktor:

$ \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) $

Tensorprodukt zweier äußerer Produkte

Mit $ \varepsilon _{pqu}\varepsilon _{stu}=\varepsilon _{upq}\varepsilon _{ust}=\delta _{ps}\delta _{qt}-\delta _{pt}\delta _{qs} $

kann

$ {\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}} $

ausgerechnet werden.

Transformationseigenschaften

Kreuzprodukt

Mit Hilfe des äußeren Tensorprodukts lassen sich Tensoren aus dem Kreuzprodukt zweier Vektoren „ausklammern“:

$ (\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}}) $

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:

$ {\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} $

Anwendung des äußeren Tensorprodukts zweier Tensoren auf dieses Produkt liefert:

$ (\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} $

Nun ist

$ {\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}} $

In der Gleichungskette wurde $ \varepsilon _{pqn}\varepsilon _{jln}=\varepsilon _{npq}\varepsilon _{njl}=\delta _{jp}\delta _{lq}-\delta _{lp}\delta _{jq} $ ausgenutzt. Speziell berechnet sich mit B=A der eingangs aufgeführte Zusammenhang.

Spatprodukt

In Komponenten bezüglich der Standardbasis berechnet sich

$ {\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}} $

Anstatt der Standardbasis kann hier auch jede andere Orthonormalbasis eingesetzt werden.

Siehe auch

Formelsammlung Tensoralgebra

Einzelnachweise

  1. 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]).
  2. H. Altenbach: Kontinuumsmechanik. Springer, 2012, ISBN 978-3-642-24118-5, S. 32.

Die News der letzten Tage