Orthogonaler Tensor: Unterschied zwischen den Versionen

Orthogonaler Tensor: Unterschied zwischen den Versionen

78.50.236.199 (Diskussion)
(→‎Definition: Komma usw.)
 
imported>Naturwiki
K (Vektor ergänzt)
 
Zeile 1: Zeile 1:
[[Datei:Tensorbild.png|mini|Lineare Abbildung eines Vektors <math>\vec{v}</math> durch einen Tensor <math>\mathbf{T}</math>.]]
[[Datei:Tensorbild.svg|mini|Lineare Abbildung eines Vektors <math>\vec{v}</math> durch einen Tensor '''T'''.]]
[[Datei:Orthotensor.png|mini|Drehung eines Vektors <math>\vec{v}</math> um die Drehachse <math>\vec{n}</math> mit Winkel <math>\alpha</math> durch einen orthogonalen Tensor <math>\mathbf{Q}</math>.]]
[[Datei:Orthotensor.png|mini|Drehung eines Vektors <math>\vec{v}</math> um die Drehachse <math>\vec{n}</math> mit Winkel <math>\alpha</math> durch einen orthogonalen Tensor '''Q'''.]]
'''Orthogonale Tensoren''' sind einheitenfreie [[Tensor]]en zweiter Stufe, die eine [[Drehung]] oder [[Drehspiegelung]] im [[Prähilbertraum|euklidischen Vektorraum]] ausführen. In der [[Kontinuumsmechanik]], die physikalische Prozesse beschreibt, werden nur Drehungen betrachtet, denn Drehspiegelungen kommen in der Natur nicht vor.
'''Orthogonale Tensoren''' sind einheitenfreie [[Tensor]]en zweiter Stufe, die eine [[Drehung]] oder [[Drehspiegelung]] im [[Prähilbertraum|euklidischen Vektorraum]] ausführen. In der [[Kontinuumsmechanik]] werden nur Drehungen betrachtet, denn Drehspiegelungen kommen in den von der [[Schwerkraft]] bestimmten [[Physikalisches Gesetz|physikalischen Gesetzen]] der makroskopischen Welt nicht vor.


Tensoren zweiter Stufe werden hier als [[lineare Abbildung]]en von geometrischen Vektoren auf geometrische Vektoren benutzt, die im Allgemeinen dabei gedreht und gestreckt werden, siehe Abbildung rechts oben. Bei einem orthogonalen Tensor, der eine Drehung oder Drehspiegelung repräsentiert, entfällt die Streckung, so dass der Betrag des Vektors bei der Transformation nicht verändert wird, siehe die untere Abbildung rechts. Orthogonale Tensoren werden üblicher Weise mit den Formelzeichen <math>\mathbf{Q}</math> oder <math>\mathbf{R}</math> bezeichnet, wobei <math>\mathbf{R}</math> zumeist für den Rotationstensor in der Polarzerlegung des [[Deformationsgradient]]en steht.
Tensoren zweiter Stufe werden hier als [[lineare Abbildung]]en von geometrischen Vektoren auf geometrische Vektoren benutzt, die im Allgemeinen dabei gedreht und gestreckt werden, siehe Abbildung rechts oben. Bei einem orthogonalen Tensor, der eine Drehung oder Drehspiegelung repräsentiert, entfällt die Streckung, sodass der Betrag des Vektors bei der Transformation nicht verändert wird, siehe die untere Abbildung rechts. Orthogonale Tensoren werden üblicherweise mit den Formelzeichen '''Q''' oder '''R''' bezeichnet, wobei '''R''' zumeist für den Rotationstensor in der Polarzerlegung des [[Deformationsgradient]]en steht.


Bezüglich der [[Standardbasis]] können orthogonale Tensoren wie [[orthogonale Matrix| orthogonale Matrizen]] geschrieben werden und haben auch analoge Eigenschaften. Anders als Matrizen referenzieren die Koeffizienten eines Tensors jedoch auf ein Basissystem des zugrunde liegenden Vektorraums, so dass sich die Koeffizienten des Tensors bei einem Wechsel des Basissystems auf charakteristische Weise ändern. Jeder Tensor besitzt ''Invarianten'', die bei einem Wechsel des Basissystems unverändert bleiben. Bei einem orthogonalen Tensor geben diese Invarianten über den Drehwinkel, die Drehachse und darüber, ob der Tensor eine Drehung oder Drehspiegelung repräsentiert, Auskunft.
Bezüglich der [[Standardbasis]] können orthogonale Tensoren wie [[Orthogonale Matrix|orthogonale Matrizen]] geschrieben werden und haben auch analoge Eigenschaften. Anders als Matrizen referenzieren die Koeffizienten eines Tensors jedoch auf ein Basissystem des zugrunde liegenden Vektorraums, sodass sich die Koeffizienten des Tensors bei einem Wechsel des Basissystems auf charakteristische Weise ändern. Jeder Tensor besitzt ''Invarianten'', die bei einem Wechsel des Basissystems unverändert bleiben. Bei einem orthogonalen Tensor geben diese Invarianten über den Drehwinkel, die Drehachse und darüber, ob der Tensor eine Drehung oder Drehspiegelung repräsentiert, Auskunft.


Orthogonale Tensoren treten in der [[Euklidische Transformation|euklidischen Transformation]] auf, mit der die Beziehung zwischen beliebig bewegten Bezugssystemen und in ihnen vorliegenden physikalischen Größen beschrieben wird. In der [[Materialtheorie]] helfen orthogonale Tensoren dabei, bezugssysteminvariante Materialgleichungen aufzustellen. Außerdem wird die Richtungsabhängigkeit eines Materials ([[Transversale Isotropie]], [[Orthotropie]]) mit orthogonalen Tensoren beschrieben.
Orthogonale Tensoren treten in der [[Euklidische Transformation|euklidischen Transformation]] auf, mit der die Beziehung zwischen beliebig bewegten Bezugssystemen und in ihnen vorliegenden physikalischen Größen beschrieben wird. In der [[Materialtheorie]] helfen orthogonale Tensoren dabei, bezugssysteminvariante Materialgleichungen aufzustellen. Außerdem wird die Richtungsabhängigkeit eines Materials ([[Transversale Isotropie]], [[Orthotropie]]) mit orthogonalen Tensoren beschrieben.


== Definition ==
== Definition ==
Orthogonale Tensoren sind Tensoren zweiter Stufe <math>\mathbf{Q}</math>, für die gilt:
Orthogonale Tensoren sind Tensoren zweiter Stufe '''Q''', für die gilt:
:<math>\mathbf{Q}^{-1}=\mathbf{Q}^\top  
:<math>\mathbf{Q}^{-1}=\mathbf{Q}^\top</math>&nbsp;&nbsp;oder&nbsp;&nbsp;<math>\mathbf{Q^\top\cdot Q}=\mathbf{Q\cdot Q}^\top =\mathbf{1}</math>
\quad\textsf{oder}\quad
\mathbf{Q^\top\cdot Q}=\mathbf{Q\cdot Q}^\top =\mathbf{I}\,.</math>


Die hochgestellte <math>-1</math> kennzeichnet den [[Inverse Matrix|inversen]], <math>\left(\cdot\right)^\top</math> den [[Transponierte Matrix|transponierten]] Tensor und <math>\mathbf{I}</math> den [[Einheitstensor]]. Wegen
Die hochgestellte −1 kennzeichnet den [[Inverse Matrix|inversen]], (·)<sup></sup> den [[Transponierte Matrix|transponierten]] Tensor und '''1''' den [[Einheitstensor]]. Wegen
:<math>1=\operatorname{det}(\mathbf{I})
 
:<math>1=\operatorname{det}(\mathbf{1})
=\operatorname{det}(\mathbf{Q^\top\cdot Q})
=\operatorname{det}(\mathbf{Q^\top\cdot Q})
=\operatorname{det}(\mathbf{Q}^\top )\operatorname{det}(\mathbf{Q})
=\operatorname{det}(\mathbf{Q}^\top )\operatorname{det}(\mathbf{Q})
=\operatorname{det}{(\mathbf{Q})}^2</math>  
=\operatorname{det}{(\mathbf{Q})}^2</math>
 
ist
ist
:<math>\operatorname{det}(\mathbf{Q})=\pm 1\,.</math>
 
Ein orthogonaler Tensor, der eine reine Drehung repräsentiert, wird ''eigentlich orthogonal'' genannt und hat die [[Determinante]] +1. Bei <math>\operatorname{det}(\mathbf{Q})=-1</math> führt der Tensor einer Drehspiegelung aus. Weil Spiegelungen in der Natur nicht vorkommen, ist in einem physikalischen Kontext stets <math>\operatorname{det}(\mathbf{Q})=+1</math>.
:<math>\operatorname{det}(\mathbf{Q})=\pm 1</math>
 
Ein orthogonaler Tensor, der eine reine Drehung repräsentiert, wird ''eigentlich orthogonal'' genannt und hat die [[Determinante]] +1. Bei det('''Q''')&nbsp;=&nbsp;-1 führt der Tensor eine Drehspiegelung aus. Weil Spiegelungen in der Mechanik nicht betrachtet werden, ist dort stets det('''Q''')&nbsp;=&nbsp;+1.


== Starrkörperbewegungen ==
== Starrkörperbewegungen ==
[[Datei:starrkoerper.png|mini|Geschwindigkeitsfeld (schwarz) eines Starrkörpers (grau) entlang seines Weges (hellblau) setzt sich zusammen aus der Schwerpunktsgeschwindigkeit (blau) und der Drehgeschwindigkeit (rot)]]
[[Datei:starrkoerper.png|mini|Geschwindigkeitsfeld (schwarz) eines Starrkörpers (grau) entlang seines Weges (hellblau) setzt sich zusammen aus der Schwerpunktsgeschwindigkeit (blau) und der Drehgeschwindigkeit (rot)]]
Jede [[Starrkörper#Allgemeine Bewegungen starrer Körper|Starrkörperbewegung]] lässt sich in eine Translation und eine Rotation zerlegen. Als Drehzentrum eignet sich jeder ruhende oder bewegte Punkt und auch der Schwerpunkt des Körpers, siehe Abbildung rechts. Sei <math>\vec{r}(\vec{X})=\vec{X}-\vec{S}</math> der zeitlich fixierte Differenzvektor zwischen einem Partikel <math>\vec{X}</math> des starren Körpers und seinem Schwerpunkt <math>\vec{S}</math> zu einem Zeitpunkt <math>{t}_{0}</math>. Die Translation des Körpers kann dann mit seiner Schwerpunktsbewegung <math>\vec{s}(t)</math> (mit <math>\vec{s}(t_0)=\vec{S}</math>) und seine Drehung mit einem von der Zeit aber nicht vom Ort abhängigen orthogonalen Tensor <math>\mathbf{Q}(t)</math> (mit <math>\mathbf{Q}({t}_{0})=\mathbf{I}</math>) dargestellt werden. Translation und Rotation zusammengenommen definieren die Bewegungsfunktion  <math>\vec{\chi}(\vec{X},t)</math> des Partikels <math>\vec{X}</math>:
Jede [[Starrkörper#Allgemeine Bewegungen starrer Körper|Starrkörperbewegung]] lässt sich in eine Translation und eine Rotation zerlegen. Als Drehzentrum eignet sich jeder ruhende oder bewegte Punkt und auch der Schwerpunkt des Körpers, siehe Abbildung rechts. Sei <math>\vec{r}(\vec{X})=\vec{X}-\vec{S}</math> der zeitlich fixierte Differenzvektor zwischen einem Partikel <math>\vec{X}</math> des starren Körpers und seinem Schwerpunkt <math>\vec{S}</math> zu einem Zeitpunkt <math>{t}_{0}</math>. Die Translation des Körpers kann dann mit seiner Schwerpunktsbewegung <math>\vec{s}(t)</math> (mit <math>\vec{s}(t_0)=\vec{S}</math>) und seine Drehung mit einem von der Zeit aber nicht vom Ort abhängigen orthogonalen Tensor <math>\mathbf{Q}(t)</math> (mit <math>\mathbf{Q}({t}_{0})=\mathbf{1}</math>) dargestellt werden. Translation und Rotation zusammengenommen definieren die Bewegungsfunktion  <math>\vec{\chi}(\vec{X},t)</math> des Partikels <math>\vec{X}</math>:


:<math>\vec{\chi}(\vec{X},t)=\vec{s}(t)+\mathbf{Q}(t)\cdot(\vec{X}-\vec{S})
:<math>\begin{align}
\quad\rightarrow\quad
\vec{\chi}(\vec{X},t)=&\vec{s}(t)+\mathbf{Q}(t)\cdot(\vec{X}-\vec{S})
\vec{X}-\vec{S}=\mathbf{Q}^\top(t)\cdot(\vec{\chi}(\vec{X},t)-\vec{s}(t))\,.</math>
\\ \rightarrow\;
\vec{X}-\vec{S}=&\mathbf{Q}^\top(t)\cdot(\vec{\chi}(\vec{X},t)-\vec{s}(t))\end{align}</math>


Die Geschwindigkeit des Partikels ist dann
Die Geschwindigkeit des Partikels ist dann
:<math>\begin{array}{rcl}
 
:<math>\begin{align}
\dot{\vec{\chi}}(\vec{X},t)
\dot{\vec{\chi}}(\vec{X},t)
&=&
=&
\dot{\vec{s}}(t)+\dot{\mathbf{Q}}(t)\cdot(\vec{X}-\vec{S})
\dot{\vec{s}}(t)+\dot{\mathbf{Q}}(t)\cdot(\vec{X}-\vec{S})
=\dot{\vec{s}}(t)
\\=&
\dot{\vec{s}}(t)
+\dot{\mathbf{Q}}(t)\cdot\mathbf{Q}^\top (t)\cdot
+\dot{\mathbf{Q}}(t)\cdot\mathbf{Q}^\top (t)\cdot
(\vec{\chi}(\vec{X},t)-\vec{s}(t))
(\vec{\chi}(\vec{X},t)-\vec{s}(t))
\\
\\
\rightarrow \vec{v}(\vec{x},t)
\rightarrow \vec{v}(\vec{x},t)
&=&
=&
\dot{\vec{s}}(t)+\boldsymbol{\Omega}(t)\cdot(\vec{x}-\vec{s}(t))
\dot{\vec{s}}(t)+\boldsymbol{\Omega}(t)\cdot(\vec{x}-\vec{s}(t))
\end{array}</math>
\end{align}</math>
 
Der Vektor <math>\vec{x}=\vec{\chi}(\vec{X},t)</math> ist hier der Ort des Partikels zur Zeit ''t'' und <math>\vec{v}(\vec{x},t)=\dot{\vec{\chi}}(\vec{X},t)</math> ist seine Geschwindigkeit zur Zeit ''t''. Beim Übergang von der oberen zur unteren Gleichung vollzieht sich der Wechsel von der [[Lagrangesche Betrachtungsweise|lagrangeschen]] zur [[Eulersche Betrachtungsweise|eulerschen Darstellung]] der Bewegung. Der Tensor <math>\boldsymbol{\Omega}:=\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top</math> ist [[Schiefsymmetrische Matrix|schiefsymmetrisch]]:


Der Vektor <math>\vec{x}=\vec{\chi}(\vec{X},t)</math> ist hier der Ort des Partikels zur Zeit t und <math>\vec{v}(\vec{x},t)=\dot{\vec{\chi}}(\vec{X},t)</math> ist seine Geschwindigkeit zur Zeit t. Beim Übergang von der oberen zur unteren Gleichung vollzieht sich der Wechsel von der [[Lagrangesche Betrachtungsweise| lagrangeschen]] zur [[Eulersche Betrachtungsweise| eulerschen Betrachtungsweise]] der Bewegung. Der Tensor <math>\boldsymbol{\Omega}:=\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top</math> ist [[Schiefsymmetrische Matrix|schiefsymmetrisch]]:
:<math>
:<math>
\boldsymbol{\Omega} +\boldsymbol{\Omega}^\top  
\boldsymbol{\Omega}+\boldsymbol{\Omega}^\top
=\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top  
=\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top
+\mathbf{Q}\cdot\dot{\mathbf{Q}}^\top
+\mathbf{Q}\cdot\dot{\mathbf{Q}}^\top
=\frac{\text{d}}{\text{d}t}(\mathbf{Q\cdot Q}^\top )
=(\mathbf{Q\cdot Q}^\top\dot{)\,}
=\dot{\mathrm{I}}
=\dot\mathbf1
=\mathbf{0}
=\mathbf0
\rightarrow
\quad\rightarrow\quad
\boldsymbol{\Omega}^\top =-\boldsymbol{\Omega}
\boldsymbol\Omega^\top=-\boldsymbol\Omega
</math>
</math>


und besitzt daher einen [[Vektorinvariante#Dualer Vektor und Kreuzproduktmatrix|dualen Vektor]] <math>\vec{\omega}</math> mit der Eigenschaft:
und besitzt daher einen [[Vektorinvariante#Dualer Vektor und Kreuzproduktmatrix|dualen Vektor]] <math>\vec{\omega}</math> mit der Eigenschaft:


:<math>\boldsymbol{\Omega}\cdot \vec{v}=\vec{\omega}\times \vec{v}
:<math>\boldsymbol{\Omega}\cdot \vec{v}=\vec{\omega}\times\vec{v}</math>&nbsp;&nbsp;für alle&nbsp;&nbsp;<math>\vec{v}</math>
\quad\text{für alle}\quad\vec{v}\,.</math>


Einsetzen des dualen Vektors in das Geschwindigkeitsfeld führt auf die ''[[Starrer Körper#Allgemeine Bewegungen starrer Körper|eulersche Geschwindigkeitsgleichung]]''
Einsetzen des dualen Vektors in das Geschwindigkeitsfeld führt auf die ''[[Starrer Körper#Allgemeine Bewegungen starrer Körper|eulersche Geschwindigkeitsgleichung]]''


:<math>\vec{v}(\vec{x},t)=\dot{\vec{s}}(t)+\vec{\omega}(t)\times (\vec{x}-\vec{s}(t))\,,</math>
:<math>\vec{v}(\vec{x},t)=\dot{\vec{s}}(t)+\vec{\omega}(t)\times (\vec{x}-\vec{s}(t))</math>


die keinen sichtbaren Tensor enthält. Nur im Kreuzprodukt, das einer Tensortransformation entspricht, verbirgt sich noch ein Hinweis auf einen Tensor.
die keinen sichtbaren Tensor enthält. Nur im Kreuzprodukt, das einer Tensortransformation entspricht, verbirgt sich noch ein Hinweis auf einen Tensor.
Zeile 72: Zeile 77:


=== Vektortransformation ===
=== Vektortransformation ===
Ein orthogonaler Tensor dreht Vektoren, denn das Skalarprodukt zweier beliebiger Vektoren bleibt unter der linearen Abbildung mit <math>\mathbf{Q}</math> erhalten:
Ein orthogonaler Tensor dreht Vektoren, denn das Skalarprodukt zweier beliebiger Vektoren bleibt unter der linearen Abbildung mit '''Q''' erhalten:
:<math>(\mathbf{Q}\cdot\vec{u})\cdot (\mathbf{Q}\cdot\vec{v})
:<math>(\mathbf{Q}\cdot\vec{u})\cdot (\mathbf{Q}\cdot\vec{v})
=\vec{u}\cdot \mathbf{Q^\top\cdot Q}\cdot\vec{v}
=\vec{u}\cdot \mathbf{Q^\top\cdot Q}\cdot\vec{v}
=\vec{u}\cdot \vec{v}\,.</math>
=\vec{u}\cdot \vec{v}</math>


Insbesondere ist mit <math>\vec{v}=\vec{u}</math> :
Insbesondere ist mit <math>\vec{v}=\vec{u}</math> :
:<math>{|\mathbf{Q}\cdot\vec{u}|}^2
:<math>{|\mathbf{Q}\cdot\vec{u}|}^2
=(\mathbf{Q}\cdot\vec{u})\cdot (\mathbf{Q}\cdot\vec{u})
=(\mathbf{Q}\cdot\vec{u})\cdot (\mathbf{Q}\cdot\vec{u})
=\vec{u}\cdot \vec{u}={|\vec{u}|}^2\,,</math>
=\vec{u}\cdot \vec{u}={|\vec{u}|}^2</math>


weswegen ein orthogonaler Tensor <math>\mathbf{Q}</math> die [[Frobeniusnorm]] eines Vektors nicht verändert. Weil die Drehachse <math>\vec{n}</math> bei einer reinen Drehung auf sich selbst abgebildet wird, ist die Drehachse der Drehung ein Eigenvektor eines eigentlich orthogonalen Tensors <math>\mathbf{Q}</math> mit Eigenwert eins:
weswegen ein orthogonaler Tensor '''Q''' die [[Frobeniusnorm]] eines Vektors nicht verändert. Weil die Drehachse <math>\vec{n}</math> bei einer reinen Drehung auf sich selbst abgebildet wird, ist die Drehachse der Drehung ein Eigenvektor eines eigentlich orthogonalen Tensors '''Q''' mit Eigenwert eins:
:<math>\mathbf{Q}\cdot\vec{n}=\vec{n}\,.</math>
:<math>\mathbf{Q}\cdot\vec{n}=\vec{n}</math>


Ist <math>\mathbf{Q}</math> ein uneigentlich orthogonaler Tensor, dann ist
Ist '''Q''' ein uneigentlich orthogonaler Tensor, dann ist
:<math>\mathbf{Q}\cdot\vec{n}=-\vec{n}\,.</math>
:<math>\mathbf{Q}\cdot\vec{n}=-\vec{n}</math>


=== Spatprodukt und Kreuzprodukt ===
=== Spatprodukt und Kreuzprodukt ===
[[Datei:Parallelepiped2.svg|mini|Spat, der von drei Vektoren aufgespannt wird]]
[[Datei:Parallelepiped2.svg|mini|Spat, der von drei Vektoren aufgespannt wird]]
Das [[Spatprodukt]] dreier Vektoren ist das Volumen des von den Vektoren aufgespannten Spats, siehe Bild. Werden die drei Vektoren wie im Bild mit <math>\vec{a},\,\vec{b},\,\vec{c}</math> bezeichnet und mit einem orthogonalen Tensor transformiert, berechnet sich das Spatprodukt zu:
Das [[Spatprodukt]] dreier Vektoren ist das Volumen des von den Vektoren aufgespannten Spats, siehe Bild. Werden die drei Vektoren wie im Bild mit <math>\vec{a},\,\vec{b},\,\vec{c}</math> bezeichnet und mit einem orthogonalen Tensor transformiert, berechnet sich das Spatprodukt zu:
:<math>\begin{array}{rcl}
:<math>\begin{align}
(\mathbf{Q}\cdot\vec{a})\cdot[(\mathbf{Q}\cdot\vec{b})\times(\mathbf{Q}\cdot\vec{c})]
(\mathbf{Q}\cdot\vec{a})\cdot[(\mathbf{Q}\cdot\vec{b})\times(\mathbf{Q}\cdot\vec{c})]
&=&
=&
\operatorname{det}\begin{pmatrix}
\operatorname{det}\begin{pmatrix}
\mathbf{Q}\cdot\vec{a} & \mathbf{Q}\cdot\vec{b} & \mathbf{Q}\cdot\vec{c}\end{pmatrix}
\mathbf{Q}\cdot\vec{a} & \mathbf{Q}\cdot\vec{b} & \mathbf{Q}\cdot\vec{c}\end{pmatrix}
=
\\=&
\operatorname{det}\left[\mathbf{Q}\cdot
\operatorname{det}\left[\mathbf{Q}\cdot
\begin{pmatrix}\vec{a} & \vec{b} & \vec{c}\end{pmatrix}\right]
\begin{pmatrix}\vec{a} & \vec{b} & \vec{c}\end{pmatrix}\right]
\\
\\=&
&=&
\operatorname{det}(\mathbf{Q})\operatorname{det}\begin{pmatrix}\vec{a} & \vec{b} & \vec{c}\end{pmatrix}
\operatorname{det}(\mathbf{Q})\operatorname{det}\begin{pmatrix}\vec{a} & \vec{b} & \vec{c}\end{pmatrix}
= \operatorname{det}(\mathbf{Q})\,\vec{a}\cdot(\vec{b}\times\vec{c})
\\=&
\,.
\operatorname{det}(\mathbf{Q})\,\vec{a}\cdot(\vec{b}\times\vec{c})
\end{array}</math>
\end{align}</math>
 
Wenn der Tensor eigentlich orthogonal ist, dann wird das Spatprodukt also durch ihn nicht verändert, andernfalls kehrt das Spatprodukt sein Vorzeichen um. Weiter folgt:
Wenn der Tensor eigentlich orthogonal ist, dann wird das Spatprodukt also durch ihn nicht verändert, andernfalls kehrt das Spatprodukt sein Vorzeichen um. Weiter folgt:
:<math>\begin{array}{l}
:<math>\begin{array}{l}
Zeile 127: Zeile 132:
geschlossen werden kann. Deshalb kann ein eigentlich orthogonaler Tensor aus dem Kreuzprodukt herausgezogen werden während bei einem uneigentlich orthogonalen Tensor noch ein Vorzeichenwechsel stattfindet.
geschlossen werden kann. Deshalb kann ein eigentlich orthogonaler Tensor aus dem Kreuzprodukt herausgezogen werden während bei einem uneigentlich orthogonalen Tensor noch ein Vorzeichenwechsel stattfindet.


Mit dem Spatprodukt berechnet sich das [[Volumenelement]] und mit dem Kreuzprodukt berechnet sich das [[Oberflächenelement]]. Bei einer Drehspiegelung wechseln beide Elemente ihr Vorzeichen, weshalb sie nur bei einer Transformation mit einem ''eigentlich orthogonalen'' Tensor <math>\mathbf{Q}</math> invariant gegenüber einer [[Euklidische Transformation|euklidischen Transformation]] sind.
Mit dem Spatprodukt berechnet sich das [[Volumenelement]] und mit dem Kreuzprodukt berechnet sich das [[Oberflächenelement]]. Bei einer Drehspiegelung wechseln beide Elemente ihr Vorzeichen, weshalb sie nur bei einer Transformation mit einem ''eigentlich orthogonalen'' Tensor '''Q''' invariant gegenüber einer [[Euklidische Transformation|euklidischen Transformation]] sind.


=== Tensortransformation ===
=== Tensortransformation ===
Sei <math>\mathbf{T}</math> ein beliebiger Tensor zweiter Stufe, der einen Eigenwert <math>\lambda</math> und zugehörigen Eigenvektor <math>\vec{v}</math> besitzt, also
Sei '''T''' ein beliebiger Tensor zweiter Stufe, der einen Eigenwert <math>\lambda</math> und zugehörigen Eigenvektor <math>\vec{v}</math> besitzt, also
:<math>\mathbf{T}\cdot\vec{v}=\lambda \vec{v}</math>  
:<math>\mathbf{T}\cdot\vec{v}=\lambda \vec{v}</math>


gilt, und <math>\mathbf{Q}</math> sei ein orthogonaler Tensor. Dann ist
gilt, und '''Q''' sei ein orthogonaler Tensor. Dann ist
:<math>\mathbf{Q\cdot T}\cdot\vec{v}
:<math>\mathbf{Q\cdot T}\cdot\vec{v}
=(\mathbf{Q\cdot T\cdot Q}^\top )\cdot
=(\mathbf{Q\cdot T\cdot Q}^\top )\cdot
(\mathbf{Q}\cdot\vec{v})
(\mathbf{Q}\cdot\vec{v})
=\lambda (\mathbf{Q}\cdot\vec{v})\,.</math>
=\lambda (\mathbf{Q}\cdot\vec{v})</math>


Also hat der Tensor <math>\mathbf{S}:=\mathbf{Q\cdot T\cdot Q}^\top</math> dieselben Eigenwerte wie <math>\mathbf{T}</math> aber die mit <math>\mathbf{Q}</math> gedrehten Eigenvektoren. Daraus folgt unmittelbar, dass die [[Hauptinvariante]]n und Beträge von <math>\mathbf{S}</math> und <math>\mathbf{T}</math> übereinstimmen.
Also hat der Tensor '''S'''&nbsp;:=&nbsp;'''Q'''·'''T'''·'''Q'''<sup>⊤</sup> dieselben Eigenwerte wie '''T''' aber die mit '''Q''' gedrehten Eigenvektoren. Daraus folgt unmittelbar, dass die [[Hauptinvariante]]n und Beträge von '''S''' und '''T''' übereinstimmen.


== Berechnung von orthogonalen Tensoren ==
== Berechnung von orthogonalen Tensoren ==
Zeile 154: Zeile 159:
\mathbf{Q}
\mathbf{Q}
&=&
&=&
+\mathbf{I}+\sin (\alpha )\hat{n}\times \mathbf{I}
+\mathbf{1}+\sin (\alpha )\hat{n}\times \mathbf{1}
+(\cos (\alpha )-1)(\mathbf{I}-\hat{n}\otimes \hat{n})
+(\cos (\alpha )-1)(\mathbf{1}-\hat{n}\otimes \hat{n})
\\
\\
&=&+\hat{n}\otimes \hat{n}+\cos (\alpha )(\mathbf{I}-\hat{n}\otimes \hat{n})
&=&+\hat{n}\otimes \hat{n}+\cos (\alpha )(\mathbf{1}-\hat{n}\otimes \hat{n})
+\sin (\alpha )\hat{n}\times \mathbf{I}
+\sin (\alpha )\hat{n}\times \mathbf{1}
\end{array}</math>
\end{array}</math>


eigentlich orthogonal und dreht um die Achse <math>\hat{n}</math> mit Drehwinkel <math>\alpha</math>. Das [[Kreuzprodukt]] von <math>\hat{n}</math> mit dem Einheitstensor ergibt den schiefsymmetrischen ''axialen Tensor'' von <math>\hat{n}</math> :
eigentlich orthogonal und dreht um die Achse <math>\hat{n}</math> mit Drehwinkel <math>\alpha</math>. Das [[Kreuzprodukt]] von <math>\hat{n}</math> mit dem Einheitstensor ergibt den schiefsymmetrischen ''axialen Tensor'' von <math>\hat{n}</math> :
:<math>\hat{n}\times \mathbf{I}
:<math>\hat{n}\times \mathbf{1}
=\hat{n}\times \left( \sum_{i=1}^3\hat{e}_i\otimes \hat{e}_i \right)
=\hat{n}\times \left( \sum_{i=1}^3\hat{e}_i\otimes \hat{e}_i \right)
:=\sum_{i=1}^3(\hat{n}\times \hat{e}_i)\otimes \hat{e}_i
:=\sum_{i=1}^3(\hat{n}\times \hat{e}_i)\otimes \hat{e}_i
Zeile 168: Zeile 173:
0& - n_3& n_2\\
0& - n_3& n_2\\
  n_3& 0& - n_1\\
  n_3& 0& - n_1\\
- n_2& n_1& 0\end{pmatrix}\,,</math>
- n_2& n_1& 0\end{pmatrix}</math>


wenn <math>n_{1,2,3}</math> die Komponenten von <math>\hat{n}</math> bezüglich der [[Standardbasis]] <math>\hat{e}_{1,2,3}</math> sind.
wenn <math>n_{1,2,3}</math> die Komponenten von <math>\hat{n}</math> bezüglich der [[Standardbasis]] ê<sub>1,2,3</sub> sind.


Bei einer Drehspiegelung wäre
Bei einer Drehspiegelung wäre
:<math>\begin{array}{lcl}
:<math>\begin{array}{lcl}
\mathbf{Q}
\mathbf{Q}
&=& {\color{red}-}\mathbf{I}+\sin (\alpha )\hat{n}\times \mathbf{I}
&=& {\color{red}-}\mathbf{1}+\sin (\alpha )\hat{n}\times \mathbf{1}
+(\cos (\alpha){\color{red}+}1)(\mathbf{I}-\hat{n}\otimes \hat{n})
+(\cos (\alpha){\color{red}+}1)(\mathbf{1}-\hat{n}\otimes \hat{n})
\\
\\
&=& {\color{red}-}\hat{n}\otimes \hat{n}+\cos (\alpha )(\mathbf{I}-\hat{n}\otimes \hat{n})
&=& {\color{red}-}\hat{n}\otimes \hat{n}+\cos (\alpha )(\mathbf{1}-\hat{n}\otimes \hat{n})
+\sin (\alpha )\hat{n}\times \mathbf{I}
+\sin (\alpha )\hat{n}\times \mathbf{1}
\end{array}</math>
\end{array}</math>


Der Tensor <math>\mathbf{Q}</math> hat jedenfalls die [[Spur (Mathematik)|Spur]] und den schiefsymmetrischen Anteil
Der Tensor '''Q''' hat jedenfalls die [[Spur (Mathematik)|Spur]] und den schiefsymmetrischen Anteil
 
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
\operatorname{Sp}(\mathbf{Q})
\operatorname{Sp}(\mathbf{Q})
&=& \operatorname{Sp}[\operatorname{det}(\mathbf{Q})\hat{n}\otimes \hat{n}
&=& \operatorname{Sp}[\operatorname{det}(\mathbf{Q})\hat{n}\otimes \hat{n}
+\cos (\alpha )(\mathbf{I}-\hat{n}\otimes \hat{n})
+\cos (\alpha )(\mathbf{1}-\hat{n}\otimes \hat{n})
+\sin (\alpha )\hat{n}\times \mathbf{I}]
+\sin (\alpha )\hat{n}\times \mathbf{1}]
\\
\\
&=& \operatorname{det}(\mathbf{Q}) + 2\cos (\alpha )
&=& \operatorname{det}(\mathbf{Q}) + 2\cos (\alpha )
Zeile 193: Zeile 200:
\frac{1}{2}(\mathbf{Q}-\mathbf{Q}^\top )
\frac{1}{2}(\mathbf{Q}-\mathbf{Q}^\top )
&=&
&=&
\sin (\alpha )\hat{n}\times \mathbf{I}
\sin (\alpha )\hat{n}\times \mathbf{1}
=
=
\sin (\alpha )
\sin (\alpha )
Zeile 200: Zeile 207:
  n_3& 0& - n_1\\
  n_3& 0& - n_1\\
- n_2& n_1& 0
- n_2& n_1& 0
\end{pmatrix}\,.
\end{pmatrix}
\end{array}</math>
\end{array}</math>
Die eingangs angegebene Formel für <math>\mathbf{Q}</math> kann auch mit einem Rotationsvektor <math>\vec{\alpha}:=\alpha \hat{n}</math> geschrieben werden:
Die eingangs angegebene Formel für '''Q''' kann auch mit einem Rotationsvektor <math>\vec{\alpha}:=\alpha \hat{n}</math> geschrieben werden:
:<math>\mathbf{Q}
:<math>\mathbf{Q}
=\mathbf{I}+\frac{\sin (\alpha)}{\alpha}\vec{\alpha}\times \mathbf{I}
=\mathbf{1}+\frac{\sin (\alpha)}{\alpha}\vec{\alpha}\times \mathbf{1}
+\frac{1-\cos (\alpha)}{{\alpha}^{2}}
+\frac{1-\cos (\alpha)}{{\alpha}^{2}}
(\vec{\alpha}\otimes \vec{\alpha}-(\vec{\alpha}\cdot\vec{\alpha})\mathbf{I})
(\vec{\alpha}\otimes \vec{\alpha}-(\vec{\alpha}\cdot\vec{\alpha})\mathbf{1})
=
=
\exp(\vec{\alpha}\times\mathbf{I})
\exp(\vec{\alpha}\times\mathbf{1})
\,.</math>
</math>


Das [[Exponentialfunktion|Exponential]] der schiefsymmetrischen Matrix <math>\vec{\alpha}\times\mathbf{I}</math> wird bei [[Drehmatrix|Drehmatrizen]] definiert und verwendet.
Das [[Exponentialfunktion|Exponential]] der schiefsymmetrischen Matrix <math>\vec{\alpha}\times\mathbf{1}</math> wird bei [[Drehmatrix|Drehmatrizen]] definiert und verwendet.


Es können auch Rotationsvektoren mit anderer Länge benutzt werden:
Es können auch Rotationsvektoren mit anderer Länge benutzt werden:
:<math>\begin{array}{lcl}
:<math>\begin{array}{lcl}
\vec{\alpha}
\vec{\alpha}
Zeile 219: Zeile 227:
& \rightarrow &
& \rightarrow &
\mathbf{Q}
\mathbf{Q}
=\mathbf{I}+\dfrac{2}{1+\vec{\alpha}\cdot \vec{\alpha}}
=\mathbf{1}+\dfrac{2}{1+\vec{\alpha}\cdot \vec{\alpha}}
(\vec{\alpha}\times \mathbf{I}+\vec{\alpha}\otimes \vec{\alpha}
(\vec{\alpha}\times \mathbf{1}+\vec{\alpha}\otimes \vec{\alpha}
-(\vec{\alpha}\cdot\vec{\alpha})\mathbf{I})
-(\vec{\alpha}\cdot\vec{\alpha})\mathbf{1})
\\[2ex]
\\[2ex]
\vec{\alpha}
\vec{\alpha}
Zeile 227: Zeile 235:
& \rightarrow &
& \rightarrow &
\mathbf{Q}
\mathbf{Q}
=\mathbf{I}+\vec{\alpha}\times \mathbf{I}+\dfrac{1}{1+\cos (\alpha)}
=\mathbf{1}+\vec{\alpha}\times \mathbf{1}+\dfrac{1}{1+\cos (\alpha)}
(\vec{\alpha}\otimes \vec{\alpha}-(\vec{\alpha}\cdot\vec{\alpha})\mathbf{I})
(\vec{\alpha}\otimes \vec{\alpha}-(\vec{\alpha}\cdot\vec{\alpha})\mathbf{1})
\\[2ex]
\\[2ex]
\vec{\alpha} = \sin \left(\dfrac{\alpha}{2}\right)\;\hat{n}
\vec{\alpha} = \sin \left(\dfrac{\alpha}{2}\right)\;\hat{n}
& \rightarrow &
& \rightarrow &
\mathbf{Q}
\mathbf{Q}
=\mathbf{I}+2 \cos \left(\dfrac{\alpha}{2}\right) \vec{\alpha}\times \mathbf{I}
=\mathbf{1}+2 \cos \left(\dfrac{\alpha}{2}\right) \vec{\alpha}\times \mathbf{1}
+ 2 ( \vec{\alpha}\otimes \vec{\alpha}
+ 2 ( \vec{\alpha}\otimes \vec{\alpha}
-(\vec{\alpha}\cdot\vec{\alpha})\mathbf{I})
-(\vec{\alpha}\cdot\vec{\alpha})\mathbf{1})
\end{array}</math>
\end{array}</math>


Letztere Variante ist in Anlehnung an die Quaternionen. In Büchter (1992)<ref>{{Literatur|Autor=N. Büchter |Titel=Zusammenführung von Degenerationskonzept und Schalentheorie bei endlichen Rotationen |Kommentar=Bericht Nr. 14 des Instituts für Baustatik der Universität Stuttgart |Jahr=1992 |Online=[https://www.ibb.uni-stuttgart.de/publikationen/fulltext_new/1992/buechter-1992.pdf]}} </ref> findet sich eine ausführliche Diskussion der verschiedenen Parametrisierungsmöglichkeiten von Rotationen.
Letztere Variante ist in Anlehnung an die Quaternionen. In Büchter (1992)<ref>{{Literatur |Autor=N. Büchter |Titel=Zusammenführung von Degenerationskonzept und Schalentheorie bei endlichen Rotationen |Datum=1992 |Kommentar=Bericht Nr. 14 des Instituts für Baustatik der Universität Stuttgart |Online=[http://web.archive.org/web/20141019075455/http://www.ibb.uni-stuttgart.de/publikationen/fulltext/1992/buechter-1992.pdf PDF-Version, archiviert am 2014-10-19]}}</ref> findet sich eine ausführliche Diskussion der verschiedenen Parametrisierungsmöglichkeiten von Rotationen.


=== Urbild- und Bildvektoren gegeben ===
=== Urbild- und Bildvektoren gegeben ===
Gegeben seien drei [[Lineare Unabhängigkeit|linear unabhängige]] Vektoren <math>\vec{u}_{1,2,3}</math>, die demnach eine [[Vektorraumbasis]] bilden. Die dazu [[duale Basis]] sei <math>\vec{u}^{1,2,3}</math>, so dass also
Gegeben seien drei [[Lineare Unabhängigkeit|linear unabhängige]] Vektoren <math>\vec{u}_{1,2,3}</math>, die demnach eine [[Vektorraumbasis]] bilden. Die dazu [[duale Basis]] sei <math>\vec{u}^{1,2,3}</math>, sodass also


:<math>\vec{u}_i\cdot \vec{u}^j=\delta_{ij}
:<math>\vec{u}_i\cdot \vec{u}^j=\delta_{ij}
:=\begin{cases} 1 & \textsf{falls}\;i=j \\ 0 & \textsf{sonst} \end{cases}
:=\begin{cases} 1 & \textsf{falls}\;i=j \\ 0 & \textsf{sonst} \end{cases}
\;,\quad i,j={1,2,3}</math>  
\;,\quad i,j={1,2,3}</math>


gilt. Das Symbol <math>\delta_{ij}</math> ist das [[Kronecker-Delta]]. Wenn nun die Vektorgruppe <math>\vec{v}_{1,2,3}</math> durch Drehung aus der Basis <math>\vec{u}_{1,2,3}</math> hervorgeht, dann gibt es einen orthogonalen Tensor <math>\mathbf{Q}</math>, für den gilt:
gilt. Das Symbol <math>\delta_{ij}</math> ist das [[Kronecker-Delta]]. Wenn nun die Vektorgruppe <math>\vec{v}_{1,2,3}</math> durch Drehung aus der Basis <math>\vec{u}_{1,2,3}</math> hervorgeht, dann gibt es einen orthogonalen Tensor '''Q''', für den gilt:


:<math>\mathbf{Q}\cdot\vec{u}_i = \vec{v}_i\,,\quad i=1,2,3\,.</math>
:<math>\mathbf{Q}\cdot\vec{u}_i = \vec{v}_i\,,\quad i=1,2,3</math>


Dieser Tensor erhält mit dem [[Dyadisches Produkt|dyadischen Produkt]] „<math>\otimes</math>“ von Vektoren die Form:
Dieser Tensor erhält mit dem [[Dyadisches Produkt|dyadischen Produkt]] „<math>\otimes</math>“ von Vektoren die Form:


:<math>\mathbf{Q}=\sum_{i=1}^3\vec{v}_i\otimes \vec{u}^i\,.</math>
:<math>\mathbf{Q}=\sum_{i=1}^3\vec{v}_i\otimes \vec{u}^i</math>


Mit der zu <math>\vec{v}_{1,2,3}</math> dualen Basis <math>\vec{v}^{1,2,3}</math> berechnet sich
Mit der zu <math>\vec{v}_{1,2,3}</math> dualen Basis <math>\vec{v}^{1,2,3}</math> berechnet sich
:<math>\sum_{k=1}^3 (\vec{v}^k\otimes \vec{u}_k)\cdot\mathbf{Q}^\mathrm{T}
 
:<math>\sum_{k=1}^3 (\vec{v}^k\otimes \vec{u}_k)\cdot\mathbf{Q}^\top
=\sum_{i,k=1}^3 (\vec{v}^k\otimes \vec{u}_k)\cdot
=\sum_{i,k=1}^3 (\vec{v}^k\otimes \vec{u}_k)\cdot
(\vec{u}^i\otimes \vec{v}_i)
(\vec{u}^i\otimes \vec{v}_i)
=\sum_{i=1}^3 \vec{v}^i\otimes \vec{v}_i
=\sum_{i=1}^3 \vec{v}^i\otimes \vec{v}_i
=
=
\mathbf{I}</math>
\mathbf{1}</math>


weswegen nun die beiden Darstellungen
weswegen nun die beiden Darstellungen
Zeile 270: Zeile 279:
</math>
</math>


vorliegen. Derselbe Tensor <math>\mathbf{Q}</math> überführt also auch die dualen Basen ineinander:
vorliegen. Derselbe Tensor '''Q''' überführt also auch die dualen Basen ineinander:


:<math>\mathbf{Q}\cdot\vec{u}^i = \vec{v}^i\,,\quad i=1,2,3\,.</math>
:<math>\mathbf{Q}\cdot\vec{u}^i = \vec{v}^i\,,\quad i=1,2,3</math>


Die [[Hauptinvariante|Determinante]] des Tensors berechnet sich mit den obigen Darstellungen zu:
Die [[Hauptinvariante|Determinante]] des Tensors berechnet sich mit den obigen Darstellungen zu:
Zeile 306: Zeile 315:
</math>
</math>


weil oben eine Drehung und damit dieselbe [[Rechtssystem (Mathematik)|Händigkeit]] der Basen vorausgesetzt wurde. Bei einer Drehspiegelung wäre <math>\operatorname{det}(\mathbf{Q}) = -1</math> und die Händigkeiten der beiden Basen wäre verschieden.
weil oben eine Drehung und damit dieselbe [[Rechtssystem (Mathematik)|Händigkeit]] der Basen vorausgesetzt wurde. Bei einer Drehspiegelung wäre det('''Q''')&nbsp;=&nbsp;-1 und die Händigkeiten der beiden Basen wäre verschieden.


=== Tensor gegeben ===
=== Tensor gegeben ===
Die Drehachse eines orthogonalen Tensors <math>\mathbf{Q}</math> ist seine ''[[Vektorinvariante]]'' <math>\vec{n}:=\mathbf{I}\cdot\!\!\times \mathbf{Q}</math>. Seien die Basen <math>\vec{u}_i\,,\vec{v}_i</math> und deren duale Basen <math>\vec{u}^i\,,\vec{v}^i</math> für ''i''=1,2,3 sowie der orthogonale Tensor <math>\mathbf{Q}</math> wie im vorigen Abschnitt definiert. Dann ergibt sich für die Drehachse von <math>\mathbf{Q}</math>:
Die Drehachse eines orthogonalen Tensors '''Q''' ist seine ''[[Vektorinvariante]]'' <math>\vec{n}:=\mathbf{1}\cdot\!\!\times \mathbf{Q}</math>. Seien die Basen <math>\vec{u}_i\,,\vec{v}_i</math> und deren duale Basen <math>\vec{u}^i\,,\vec{v}^i</math> für ''i''=1,2,3 sowie der orthogonale Tensor '''Q''' wie im vorigen Abschnitt definiert. Dann ergibt sich für die Drehachse von '''Q''':
:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
\vec{n}=\mathbf{I}\cdot\!\!\times \mathbf{Q}
\vec{n}=\mathbf{1}\cdot\!\!\times \mathbf{Q}
&=&\displaystyle
&=&\displaystyle
\sum_{i=1}^3 \mathbf{I}\cdot\!\!\times (\vec{v}_i\otimes \vec{u}^i)
\sum_{i=1}^3 \mathbf{1}\cdot\!\!\times (\vec{v}_i\otimes \vec{u}^i)
=\sum_{i=1}^3 \vec{v}_i\times \vec{u}^i
=\sum_{i=1}^3 \vec{v}_i\times \vec{u}^i
\\
\\
&=&\displaystyle
&=&\displaystyle
\sum_{i=1}^3 \mathbf{I}\cdot\!\!\times (\vec{v}^i\otimes \vec{u}_i)
\sum_{i=1}^3 \mathbf{1}\cdot\!\!\times (\vec{v}^i\otimes \vec{u}_i)
=\sum_{i=1}^3 \vec{v}^i\times \vec{u}_i
=\sum_{i=1}^3 \vec{v}^i\times \vec{u}_i
\end{array}</math>
\end{array}</math>


denn das Skalarkreuzprodukt mit dem Einheitstensor vertauscht das dyadische Produkt durch das Kreuzprodukt. Wegen  
denn das Skalarkreuzprodukt „·×“ mit dem Einheitstensor vertauscht das dyadische Produkt durch das Kreuzprodukt. Wegen
:<math>\begin{array}{lcl}
:<math>\begin{array}{lcl}
\mathbf{Q}\cdot\vec{n}
\mathbf{Q}\cdot\vec{n}
Zeile 328: Zeile 337:
=\operatorname{det}(\mathbf{Q}) \sum_{i=1}^3(\mathbf{Q}\cdot\vec{v}_i)\times(\mathbf{Q}\cdot\vec{u}^i)
=\operatorname{det}(\mathbf{Q}) \sum_{i=1}^3(\mathbf{Q}\cdot\vec{v}_i)\times(\mathbf{Q}\cdot\vec{u}^i)
\\
\\
&=&\displaystyle  
&=&\displaystyle
\operatorname{det}(\mathbf{Q})
\operatorname{det}(\mathbf{Q})
\sum_{i,k=1}^3 (\vec{u}^k\cdot\vec{v}_i)\vec{v}_k\times\vec{v}^i
\sum_{i,k=1}^3 (\vec{u}^k\cdot\vec{v}_i)\vec{v}_k\times\vec{v}^i
Zeile 337: Zeile 346:
\end{array}</math>
\end{array}</math>


ist die Vektorinvariante tatsächlich ein Eigenvektor und daher parallel zur Drehachse. In der Matrizendarstellung mit den Zeilen <math>\vec{z}_{1,2,3}</math> und Spalten <math>\vec{s}_{1,2,3}</math> von <math>\mathbf{Q}</math> bezüglich der Standardbasis <math>\hat{e}_{1,2,3}</math> ergibt sich:
ist die Vektorinvariante tatsächlich ein Eigenvektor und daher parallel zur Drehachse. In der Matrizendarstellung mit den Zeilen <math>\vec{z}_{1,2,3}</math> und Spalten <math>\vec{s}_{1,2,3}</math> von '''Q''' bezüglich der Standardbasis ê<sub>1,2,3</sub> ergibt sich:
:<math>\mathbf{Q}
:<math>\mathbf{Q}
=\sum_{i=1}^3 \hat{e}_i\otimes \vec{z}_i
=\sum_{i=1}^3 \hat{e}_i\otimes \vec{z}_i
=\sum_{i=1}^3 \vec{s}_i\otimes\hat{e}_i
=\sum_{i=1}^3 \vec{s}_i\otimes\hat{e}_i
\quad\rightarrow\quad
\quad\rightarrow\quad
\vec{n}=\mathbf{I}\cdot\!\!\times \mathbf{Q}
\vec{n}=\mathbf{1}\cdot\!\!\times \mathbf{Q}
=\sum_{i=1}^3\hat{e}_i\times \vec{z}_i
=\sum_{i=1}^3\hat{e}_i\times \vec{z}_i
=\sum_{i=1}^3\vec{s}_i\times\hat{e}_i
=\sum_{i=1}^3\vec{s}_i\times\hat{e}_i
\,.</math>
</math>


Aus dem Abschnitt [[#Drehachse und Winkel gegeben]] sind die folgenden Beziehungen bekannt. Der Drehwinkel berechnet sich aus der [[Spur (Mathematik)|Spur]]
Aus dem Abschnitt [[#Drehachse und Winkel gegeben]] sind die folgenden Beziehungen bekannt. Der Drehwinkel berechnet sich aus der [[Spur (Mathematik)|Spur]]
Zeile 361: Zeile 370:
\,,\quad
\,,\quad
\sqrt{n_1^2 + n_2^2 + n_3^2}=1
\sqrt{n_1^2 + n_2^2 + n_3^2}=1
</math>  
</math>


ermittelt werden.
ermittelt werden.


Das Eigensystem offenbart, dass die beiden konjugiert komplexen Eigenwerte <math>{e}^{\pm \mathrm{i}\alpha}</math> von <math>\mathbf{Q}</math> [[Exponentialfunktion]]en des Winkels sind.
Das Eigensystem offenbart, dass die beiden konjugiert komplexen Eigenwerte <math>{e}^{\pm \mathrm{i}\alpha}</math> von '''Q''' [[Exponentialfunktion]]en des Winkels sind.


== Eigensystem ==
== Eigensystem ==
Wenn drei Vektoren <math>\hat{q}_{1,2,3}</math> paarweise zueinander senkrecht sind und die Beträge eins haben, <math>\hat{q}_1</math> die Drehachse und <math>\alpha</math> der Drehwinkel des Tensors <math>\mathbf{Q}</math> ist, dann hat dieser die Eigenwerte und -Vektoren
Wenn drei Vektoren <math>\hat{q}_{1,2,3}</math> paarweise zueinander senkrecht sind und die Beträge eins haben, <math>\hat{q}_1</math> die Drehachse und <math>\alpha</math> der Drehwinkel des Tensors '''Q''' ist, dann hat dieser die Eigenwerte und -Vektoren
:<math>\begin{array}{lcllcl}
:<math>\begin{array}{lcllcl}
\lambda_1 &=& \pm 1,
\lambda_1 &=& \pm 1,
Zeile 381: Zeile 390:
&
&
\vec{v}_3 &=&\frac{1}{\sqrt2}(\hat{q}_2+\mathrm{i}\hat{q}_3)
\vec{v}_3 &=&\frac{1}{\sqrt2}(\hat{q}_2+\mathrm{i}\hat{q}_3)
\end{array}</math>  
\end{array}</math>


Die Zahl i ist die [[imaginäre Einheit]] und ''e'' die [[Eulersche Zahl]]. Die Vektoren <math>\hat{q}_{2,3}</math> liegen in der Drehebene, sind in dieser, solange <math>\hat{q}_2 \cdot \hat{q}_3 = 0</math> gewährleistet ist, aber beliebig orientiert. Aus diesem Eigensystem ergibt sich die Darstellung
Die Zahl i ist die [[imaginäre Einheit]] und ''e'' die [[Eulersche Zahl]]. Die Vektoren <math>\hat{q}_{2,3}</math> liegen in der Drehebene, sind in dieser, solange <math>\hat{q}_2 \cdot \hat{q}_3 = 0</math> gewährleistet ist, aber beliebig orientiert. Aus diesem Eigensystem ergibt sich die Darstellung
Zeile 403: Zeile 412:
{{Hauptartikel|Hauptinvariante}}
{{Hauptartikel|Hauptinvariante}}


Wenn <math>\alpha</math> der Drehwinkel des orthogonalen Tensors <math>\mathbf{Q}</math> ist, dann gilt:
Wenn <math>\alpha</math> der Drehwinkel des orthogonalen Tensors '''Q''' ist, dann gilt:
:<math>\begin{array}{lcl}
:<math>\begin{array}{lcl}
\operatorname{Sp}(\mathbf{Q})
\operatorname{Sp}(\mathbf{Q})
Zeile 414: Zeile 423:
\\
\\
\operatorname{det}(\mathbf{Q})&=&\pm 1
\operatorname{det}(\mathbf{Q})&=&\pm 1
\end{array}</math>  
\end{array}</math>
denn die zweite Hauptinvariante ist die Spur des [[Minor (Mathematik)#Kofaktoren|Kofaktors]]
denn die zweite Hauptinvariante ist die Spur des [[Minor (Mathematik)#Kofaktoren|Kofaktors]]
:<math>\operatorname{cof}(\mathbf{Q})
:<math>\operatorname{cof}(\mathbf{Q})
Zeile 421: Zeile 430:
</math>
</math>
Mit der obigen Darstellung
Mit der obigen Darstellung
:<math>\mathbf{Q}=\sum_{i=1}^3\vec{v}_i\otimes \vec{u}^i</math>  
:<math>\mathbf{Q}=\sum_{i=1}^3\vec{v}_i\otimes \vec{u}^i</math>


berechnen sich die Hauptinvarianten:
berechnen sich die Hauptinvarianten:
:<math>\begin{array}{lcl}
:<math>\begin{array}{lcl}
\operatorname{Sp}(\mathbf{Q})
\operatorname{Sp}(\mathbf{Q})
&=&\displaystyle  
&=&\displaystyle
\sum_{i=1}^3\vec{v}_i\cdot \vec{u}^i
\sum_{i=1}^3\vec{v}_i\cdot \vec{u}^i
\\
\\
\operatorname{I}_2(\mathbf{Q})&=&\displaystyle  
\operatorname{I}_2(\mathbf{Q})&=&\displaystyle
\left( \sum_{i=1}^3\vec{v}_i\cdot \vec{u}^i\right)
\left( \sum_{i=1}^3\vec{v}_i\cdot \vec{u}^i\right)
\frac{\operatorname{det}\begin{pmatrix}\vec{v}_1 & \vec{v}_2 & \vec{v}_3 \end{pmatrix}}
\frac{\operatorname{det}\begin{pmatrix}\vec{v}_1 & \vec{v}_2 & \vec{v}_3 \end{pmatrix}}
Zeile 435: Zeile 444:
\\
\\
\operatorname{det}(\mathbf{Q})
\operatorname{det}(\mathbf{Q})
&=&\displaystyle  
&=&\displaystyle
\frac{\operatorname{det}\begin{pmatrix}
\frac{\operatorname{det}\begin{pmatrix}
\vec{v}_1& \vec{v}_2& \vec{v}_3
\vec{v}_1& \vec{v}_2& \vec{v}_3
Zeile 441: Zeile 450:
\vec{u}_1& \vec{u}_2& \vec{u}_3
\vec{u}_1& \vec{u}_2& \vec{u}_3
\end{pmatrix}}=\pm 1
\end{pmatrix}}=\pm 1
\end{array}</math>  
\end{array}</math>


Die Vektorinvariante ist, wie im Abschnitt [[#Tensor gegeben]], die Drehachse, die mit dem Einheitstensor berechnet wird:
Die Vektorinvariante ist, wie im Abschnitt [[#Tensor gegeben]], die Drehachse, die mit dem Einheitstensor berechnet wird:
:<math>\vec{\operatorname{i}}(\mathbf{Q})=\mathbf{I\cdot\!\!\times Q}
:<math>\vec{\operatorname{i}}(\mathbf{Q})=\mathbf{1\cdot\!\!\times Q}
= \sum_{i=1}^3\vec{v}_i\times\vec{u}^i=\sum_{i=1}^3\vec{v}^i\times\vec{u}_i\,.
= \sum_{i=1}^3\vec{v}_i\times\vec{u}^i=\sum_{i=1}^3\vec{v}^i\times\vec{u}_i
</math>
</math>


Die [[Frobeniusnorm]] eines orthogonalen Tensors ist immer gleich der Wurzel der Raumdimension:
Die [[Frobeniusnorm]] eines orthogonalen Tensors ist immer gleich der Wurzel der Raumdimension:
:<math>\parallel \mathbf{Q}\parallel= \sqrt{\mathbf{Q}: \mathbf{Q}}
:<math>\parallel \mathbf{Q}\parallel= \sqrt{\mathbf{Q}: \mathbf{Q}}
=\sqrt{(\mathbf{Q}^\top \cdot\mathbf{Q}): \mathbf{I}}=\sqrt{\mathbf{I}: \mathbf{I}}=\sqrt3\,.</math>
=\sqrt{(\mathbf{Q}^\top \cdot\mathbf{Q}): \mathbf{1}}=\sqrt{\mathbf{1}: \mathbf{1}}=\sqrt3</math>


== Siehe auch ==
== Siehe auch ==
Zeile 462: Zeile 471:


== Literatur ==
== Literatur ==
* {{Literatur|Autor=H. Altenbach|Titel=Kontinuumsmechanik|Verlag=Springer|Jahr=2012|ISBN=978-3-642-24118-5}}
* {{Literatur
* J. Hanson: [http://arxiv.org/abs/1103.5263 ''Rotations in three, four, and five dimensions.''] Bei: ''arxiv.org.''
  |Autor=H. Altenbach
  |Titel=Kontinuumsmechanik
  |Verlag=Springer
  |Datum=2012
  |ISBN=978-3-642-24118-5}}
* {{Literatur
  |Autor=J. Hanson
  |Titel=Drehungen in drei, vier und fünf Dimensionen
  |Datum=2011
  |Sprache=en
  |Originaltitel=Rotations in three, four, and five dimensions
  |arXiv=1103.5263}}


[[Kategorie:Kontinuumsmechanik]]
[[Kategorie:Kontinuumsmechanik]]

Aktuelle Version vom 28. Oktober 2021, 10:05 Uhr

Lineare Abbildung eines Vektors $ {\vec {v}} $ durch einen Tensor T.
Drehung eines Vektors $ {\vec {v}} $ um die Drehachse $ {\vec {n}} $ mit Winkel $ \alpha $ durch einen orthogonalen Tensor Q.

Orthogonale Tensoren sind einheitenfreie Tensoren zweiter Stufe, die eine Drehung oder Drehspiegelung im euklidischen Vektorraum ausführen. In der Kontinuumsmechanik werden nur Drehungen betrachtet, denn Drehspiegelungen kommen in den von der Schwerkraft bestimmten physikalischen Gesetzen der makroskopischen Welt nicht vor.

Tensoren zweiter Stufe werden hier als lineare Abbildungen von geometrischen Vektoren auf geometrische Vektoren benutzt, die im Allgemeinen dabei gedreht und gestreckt werden, siehe Abbildung rechts oben. Bei einem orthogonalen Tensor, der eine Drehung oder Drehspiegelung repräsentiert, entfällt die Streckung, sodass der Betrag des Vektors bei der Transformation nicht verändert wird, siehe die untere Abbildung rechts. Orthogonale Tensoren werden üblicherweise mit den Formelzeichen Q oder R bezeichnet, wobei R zumeist für den Rotationstensor in der Polarzerlegung des Deformationsgradienten steht.

Bezüglich der Standardbasis können orthogonale Tensoren wie orthogonale Matrizen geschrieben werden und haben auch analoge Eigenschaften. Anders als Matrizen referenzieren die Koeffizienten eines Tensors jedoch auf ein Basissystem des zugrunde liegenden Vektorraums, sodass sich die Koeffizienten des Tensors bei einem Wechsel des Basissystems auf charakteristische Weise ändern. Jeder Tensor besitzt Invarianten, die bei einem Wechsel des Basissystems unverändert bleiben. Bei einem orthogonalen Tensor geben diese Invarianten über den Drehwinkel, die Drehachse und darüber, ob der Tensor eine Drehung oder Drehspiegelung repräsentiert, Auskunft.

Orthogonale Tensoren treten in der euklidischen Transformation auf, mit der die Beziehung zwischen beliebig bewegten Bezugssystemen und in ihnen vorliegenden physikalischen Größen beschrieben wird. In der Materialtheorie helfen orthogonale Tensoren dabei, bezugssysteminvariante Materialgleichungen aufzustellen. Außerdem wird die Richtungsabhängigkeit eines Materials (Transversale Isotropie, Orthotropie) mit orthogonalen Tensoren beschrieben.

Definition

Orthogonale Tensoren sind Tensoren zweiter Stufe Q, für die gilt:

$ \mathbf {Q} ^{-1}=\mathbf {Q} ^{\top } $  oder  $ \mathbf {Q^{\top }\cdot Q} =\mathbf {Q\cdot Q} ^{\top }=\mathbf {1} $

Die hochgestellte −1 kennzeichnet den inversen, (·) den transponierten Tensor und 1 den Einheitstensor. Wegen

$ 1=\operatorname {det} (\mathbf {1} )=\operatorname {det} (\mathbf {Q^{\top }\cdot Q} )=\operatorname {det} (\mathbf {Q} ^{\top })\operatorname {det} (\mathbf {Q} )=\operatorname {det} {(\mathbf {Q} )}^{2} $

ist

$ \operatorname {det} (\mathbf {Q} )=\pm 1 $

Ein orthogonaler Tensor, der eine reine Drehung repräsentiert, wird eigentlich orthogonal genannt und hat die Determinante +1. Bei det(Q) = -1 führt der Tensor eine Drehspiegelung aus. Weil Spiegelungen in der Mechanik nicht betrachtet werden, ist dort stets det(Q) = +1.

Starrkörperbewegungen

Geschwindigkeitsfeld (schwarz) eines Starrkörpers (grau) entlang seines Weges (hellblau) setzt sich zusammen aus der Schwerpunktsgeschwindigkeit (blau) und der Drehgeschwindigkeit (rot)

Jede Starrkörperbewegung lässt sich in eine Translation und eine Rotation zerlegen. Als Drehzentrum eignet sich jeder ruhende oder bewegte Punkt und auch der Schwerpunkt des Körpers, siehe Abbildung rechts. Sei $ {\vec {r}}({\vec {X}})={\vec {X}}-{\vec {S}} $ der zeitlich fixierte Differenzvektor zwischen einem Partikel $ {\vec {X}} $ des starren Körpers und seinem Schwerpunkt $ {\vec {S}} $ zu einem Zeitpunkt $ {t}_{0} $. Die Translation des Körpers kann dann mit seiner Schwerpunktsbewegung $ {\vec {s}}(t) $ (mit $ {\vec {s}}(t_{0})={\vec {S}} $) und seine Drehung mit einem von der Zeit aber nicht vom Ort abhängigen orthogonalen Tensor $ \mathbf {Q} (t) $ (mit $ \mathbf {Q} ({t}_{0})=\mathbf {1} $) dargestellt werden. Translation und Rotation zusammengenommen definieren die Bewegungsfunktion $ {\vec {\chi }}({\vec {X}},t) $ des Partikels $ {\vec {X}} $:

$ {\begin{aligned}{\vec {\chi }}({\vec {X}},t)=&{\vec {s}}(t)+\mathbf {Q} (t)\cdot ({\vec {X}}-{\vec {S}})\\\rightarrow \;{\vec {X}}-{\vec {S}}=&\mathbf {Q} ^{\top }(t)\cdot ({\vec {\chi }}({\vec {X}},t)-{\vec {s}}(t))\end{aligned}} $

Die Geschwindigkeit des Partikels ist dann

$ {\begin{aligned}{\dot {\vec {\chi }}}({\vec {X}},t)=&{\dot {\vec {s}}}(t)+{\dot {\mathbf {Q} }}(t)\cdot ({\vec {X}}-{\vec {S}})\\=&{\dot {\vec {s}}}(t)+{\dot {\mathbf {Q} }}(t)\cdot \mathbf {Q} ^{\top }(t)\cdot ({\vec {\chi }}({\vec {X}},t)-{\vec {s}}(t))\\\rightarrow {\vec {v}}({\vec {x}},t)=&{\dot {\vec {s}}}(t)+{\boldsymbol {\Omega }}(t)\cdot ({\vec {x}}-{\vec {s}}(t))\end{aligned}} $

Der Vektor $ {\vec {x}}={\vec {\chi }}({\vec {X}},t) $ ist hier der Ort des Partikels zur Zeit t und $ {\vec {v}}({\vec {x}},t)={\dot {\vec {\chi }}}({\vec {X}},t) $ ist seine Geschwindigkeit zur Zeit t. Beim Übergang von der oberen zur unteren Gleichung vollzieht sich der Wechsel von der lagrangeschen zur eulerschen Darstellung der Bewegung. Der Tensor $ {\boldsymbol {\Omega }}:={\dot {\mathbf {Q} }}\cdot \mathbf {Q} ^{\top } $ ist schiefsymmetrisch:

$ {\boldsymbol {\Omega }}+{\boldsymbol {\Omega }}^{\top }={\dot {\mathbf {Q} }}\cdot \mathbf {Q} ^{\top }+\mathbf {Q} \cdot {\dot {\mathbf {Q} }}^{\top }=(\mathbf {Q\cdot Q} ^{\top }{\dot {)\,}}={\dot {\mathbf {1} }}=\mathbf {0} \quad \rightarrow \quad {\boldsymbol {\Omega }}^{\top }=-{\boldsymbol {\Omega }} $

und besitzt daher einen dualen Vektor $ {\vec {\omega }} $ mit der Eigenschaft:

$ {\boldsymbol {\Omega }}\cdot {\vec {v}}={\vec {\omega }}\times {\vec {v}} $  für alle  $ {\vec {v}} $

Einsetzen des dualen Vektors in das Geschwindigkeitsfeld führt auf die eulersche Geschwindigkeitsgleichung

$ {\vec {v}}({\vec {x}},t)={\dot {\vec {s}}}(t)+{\vec {\omega }}(t)\times ({\vec {x}}-{\vec {s}}(t)) $

die keinen sichtbaren Tensor enthält. Nur im Kreuzprodukt, das einer Tensortransformation entspricht, verbirgt sich noch ein Hinweis auf einen Tensor.

Transformationseigenschaften

Vektortransformation

Ein orthogonaler Tensor dreht Vektoren, denn das Skalarprodukt zweier beliebiger Vektoren bleibt unter der linearen Abbildung mit Q erhalten:

$ (\mathbf {Q} \cdot {\vec {u}})\cdot (\mathbf {Q} \cdot {\vec {v}})={\vec {u}}\cdot \mathbf {Q^{\top }\cdot Q} \cdot {\vec {v}}={\vec {u}}\cdot {\vec {v}} $

Insbesondere ist mit $ {\vec {v}}={\vec {u}} $ :

$ {|\mathbf {Q} \cdot {\vec {u}}|}^{2}=(\mathbf {Q} \cdot {\vec {u}})\cdot (\mathbf {Q} \cdot {\vec {u}})={\vec {u}}\cdot {\vec {u}}={|{\vec {u}}|}^{2} $

weswegen ein orthogonaler Tensor Q die Frobeniusnorm eines Vektors nicht verändert. Weil die Drehachse $ {\vec {n}} $ bei einer reinen Drehung auf sich selbst abgebildet wird, ist die Drehachse der Drehung ein Eigenvektor eines eigentlich orthogonalen Tensors Q mit Eigenwert eins:

$ \mathbf {Q} \cdot {\vec {n}}={\vec {n}} $

Ist Q ein uneigentlich orthogonaler Tensor, dann ist

$ \mathbf {Q} \cdot {\vec {n}}=-{\vec {n}} $

Spatprodukt und Kreuzprodukt

Spat, der von drei Vektoren aufgespannt wird

Das Spatprodukt dreier Vektoren ist das Volumen des von den Vektoren aufgespannten Spats, siehe Bild. Werden die drei Vektoren wie im Bild mit $ {\vec {a}},\,{\vec {b}},\,{\vec {c}} $ bezeichnet und mit einem orthogonalen Tensor transformiert, berechnet sich das Spatprodukt zu:

$ {\begin{aligned}(\mathbf {Q} \cdot {\vec {a}})\cdot [(\mathbf {Q} \cdot {\vec {b}})\times (\mathbf {Q} \cdot {\vec {c}})]=&\operatorname {det} {\begin{pmatrix}\mathbf {Q} \cdot {\vec {a}}&\mathbf {Q} \cdot {\vec {b}}&\mathbf {Q} \cdot {\vec {c}}\end{pmatrix}}\\=&\operatorname {det} \left[\mathbf {Q} \cdot {\begin{pmatrix}{\vec {a}}&{\vec {b}}&{\vec {c}}\end{pmatrix}}\right]\\=&\operatorname {det} (\mathbf {Q} )\operatorname {det} {\begin{pmatrix}{\vec {a}}&{\vec {b}}&{\vec {c}}\end{pmatrix}}\\=&\operatorname {det} (\mathbf {Q} )\,{\vec {a}}\cdot ({\vec {b}}\times {\vec {c}})\end{aligned}} $

Wenn der Tensor eigentlich orthogonal ist, dann wird das Spatprodukt also durch ihn nicht verändert, andernfalls kehrt das Spatprodukt sein Vorzeichen um. Weiter folgt:

$ {\begin{array}{l}(\mathbf {Q} \cdot {\vec {a}})\cdot [(\mathbf {Q} \cdot {\vec {b}})\times (\mathbf {Q} \cdot {\vec {c}})]={\vec {a}}\cdot \mathbf {Q} ^{\top }\cdot [(\mathbf {Q} \cdot {\vec {b}})\times (\mathbf {Q} \cdot {\vec {c}})]=\operatorname {det} (\mathbf {Q} )\,{\vec {a}}\cdot ({\vec {b}}\times {\vec {c}})\\\rightarrow {\vec {a}}\cdot \left\{\mathbf {Q} ^{\top }\cdot [(\mathbf {Q} \cdot {\vec {b}})\times (\mathbf {Q} \cdot {\vec {c}})]-\operatorname {det} (\mathbf {Q} )({\vec {b}}\times {\vec {c}})\right\}=0\end{array}} $

Das gilt für jeden Vektor $ {\vec {a}} $, weshalb der Vektor in den geschweiften Klammern verschwindet und auf

$ (\mathbf {Q} \cdot {\vec {b}})\times (\mathbf {Q} \cdot {\vec {c}})=\operatorname {det} (\mathbf {Q} )\mathbf {Q} \cdot ({\vec {b}}\times {\vec {c}}) $

geschlossen werden kann. Deshalb kann ein eigentlich orthogonaler Tensor aus dem Kreuzprodukt herausgezogen werden während bei einem uneigentlich orthogonalen Tensor noch ein Vorzeichenwechsel stattfindet.

Mit dem Spatprodukt berechnet sich das Volumenelement und mit dem Kreuzprodukt berechnet sich das Oberflächenelement. Bei einer Drehspiegelung wechseln beide Elemente ihr Vorzeichen, weshalb sie nur bei einer Transformation mit einem eigentlich orthogonalen Tensor Q invariant gegenüber einer euklidischen Transformation sind.

Tensortransformation

Sei T ein beliebiger Tensor zweiter Stufe, der einen Eigenwert $ \lambda $ und zugehörigen Eigenvektor $ {\vec {v}} $ besitzt, also

$ \mathbf {T} \cdot {\vec {v}}=\lambda {\vec {v}} $

gilt, und Q sei ein orthogonaler Tensor. Dann ist

$ \mathbf {Q\cdot T} \cdot {\vec {v}}=(\mathbf {Q\cdot T\cdot Q} ^{\top })\cdot (\mathbf {Q} \cdot {\vec {v}})=\lambda (\mathbf {Q} \cdot {\vec {v}}) $

Also hat der Tensor S := Q·T·Q dieselben Eigenwerte wie T aber die mit Q gedrehten Eigenvektoren. Daraus folgt unmittelbar, dass die Hauptinvarianten und Beträge von S und T übereinstimmen.

Berechnung von orthogonalen Tensoren

Bei der Berechnung von orthogonalen Tensoren können sich die drei Aufgaben stellen:

  • Wie wird aus der Drehachse und dem Drehwinkel der entsprechende orthogonale Tensor konstruiert?
  • Welcher orthogonale Tensor transformiert zwei gegebene, gegeneinander verdrehte Vektorraumbasen ineinander?
  • Wie lautet die Drehachse und der Drehwinkel eines gegebenen orthogonalen Tensors?

Diese Fragen werden in den folgenden Abschnitten beantwortet.

Drehachse und Winkel gegeben

Sei $ {\hat {n}} $ ein Einheitsvektor (der Länge eins) und $ \alpha $ ein Winkel. Dann ist der Tensor

$ {\begin{array}{lcl}\mathbf {Q} &=&+\mathbf {1} +\sin(\alpha ){\hat {n}}\times \mathbf {1} +(\cos(\alpha )-1)(\mathbf {1} -{\hat {n}}\otimes {\hat {n}})\\&=&+{\hat {n}}\otimes {\hat {n}}+\cos(\alpha )(\mathbf {1} -{\hat {n}}\otimes {\hat {n}})+\sin(\alpha ){\hat {n}}\times \mathbf {1} \end{array}} $

eigentlich orthogonal und dreht um die Achse $ {\hat {n}} $ mit Drehwinkel $ \alpha $. Das Kreuzprodukt von $ {\hat {n}} $ mit dem Einheitstensor ergibt den schiefsymmetrischen axialen Tensor von $ {\hat {n}} $ :

$ {\hat {n}}\times \mathbf {1} ={\hat {n}}\times \left(\sum _{i=1}^{3}{\hat {e}}_{i}\otimes {\hat {e}}_{i}\right):=\sum _{i=1}^{3}({\hat {n}}\times {\hat {e}}_{i})\otimes {\hat {e}}_{i}={\begin{pmatrix}0&-n_{3}&n_{2}\\n_{3}&0&-n_{1}\\-n_{2}&n_{1}&0\end{pmatrix}} $

wenn $ n_{1,2,3} $ die Komponenten von $ {\hat {n}} $ bezüglich der Standardbasis ê1,2,3 sind.

Bei einer Drehspiegelung wäre

$ {\begin{array}{lcl}\mathbf {Q} &=&{\color {red}-}\mathbf {1} +\sin(\alpha ){\hat {n}}\times \mathbf {1} +(\cos(\alpha ){\color {red}+}1)(\mathbf {1} -{\hat {n}}\otimes {\hat {n}})\\&=&{\color {red}-}{\hat {n}}\otimes {\hat {n}}+\cos(\alpha )(\mathbf {1} -{\hat {n}}\otimes {\hat {n}})+\sin(\alpha ){\hat {n}}\times \mathbf {1} \end{array}} $

Der Tensor Q hat jedenfalls die Spur und den schiefsymmetrischen Anteil

$ {\begin{array}{rcl}\operatorname {Sp} (\mathbf {Q} )&=&\operatorname {Sp} [\operatorname {det} (\mathbf {Q} ){\hat {n}}\otimes {\hat {n}}+\cos(\alpha )(\mathbf {1} -{\hat {n}}\otimes {\hat {n}})+\sin(\alpha ){\hat {n}}\times \mathbf {1} ]\\&=&\operatorname {det} (\mathbf {Q} )+2\cos(\alpha )\\{\frac {1}{2}}(\mathbf {Q} -\mathbf {Q} ^{\top })&=&\sin(\alpha ){\hat {n}}\times \mathbf {1} =\sin(\alpha ){\begin{pmatrix}0&-n_{3}&n_{2}\\n_{3}&0&-n_{1}\\-n_{2}&n_{1}&0\end{pmatrix}}\end{array}} $

Die eingangs angegebene Formel für Q kann auch mit einem Rotationsvektor $ {\vec {\alpha }}:=\alpha {\hat {n}} $ geschrieben werden:

$ \mathbf {Q} =\mathbf {1} +{\frac {\sin(\alpha )}{\alpha }}{\vec {\alpha }}\times \mathbf {1} +{\frac {1-\cos(\alpha )}{{\alpha }^{2}}}({\vec {\alpha }}\otimes {\vec {\alpha }}-({\vec {\alpha }}\cdot {\vec {\alpha }})\mathbf {1} )=\exp({\vec {\alpha }}\times \mathbf {1} ) $

Das Exponential der schiefsymmetrischen Matrix $ {\vec {\alpha }}\times \mathbf {1} $ wird bei Drehmatrizen definiert und verwendet.

Es können auch Rotationsvektoren mit anderer Länge benutzt werden:

$ {\begin{array}{lcl}{\vec {\alpha }}=\tan \left({\dfrac {\alpha }{2}}\right)\;{\hat {n}}&\rightarrow &\mathbf {Q} =\mathbf {1} +{\dfrac {2}{1+{\vec {\alpha }}\cdot {\vec {\alpha }}}}({\vec {\alpha }}\times \mathbf {1} +{\vec {\alpha }}\otimes {\vec {\alpha }}-({\vec {\alpha }}\cdot {\vec {\alpha }})\mathbf {1} )\\[2ex]{\vec {\alpha }}=\sin(\alpha )\;{\hat {n}}&\rightarrow &\mathbf {Q} =\mathbf {1} +{\vec {\alpha }}\times \mathbf {1} +{\dfrac {1}{1+\cos(\alpha )}}({\vec {\alpha }}\otimes {\vec {\alpha }}-({\vec {\alpha }}\cdot {\vec {\alpha }})\mathbf {1} )\\[2ex]{\vec {\alpha }}=\sin \left({\dfrac {\alpha }{2}}\right)\;{\hat {n}}&\rightarrow &\mathbf {Q} =\mathbf {1} +2\cos \left({\dfrac {\alpha }{2}}\right){\vec {\alpha }}\times \mathbf {1} +2({\vec {\alpha }}\otimes {\vec {\alpha }}-({\vec {\alpha }}\cdot {\vec {\alpha }})\mathbf {1} )\end{array}} $

Letztere Variante ist in Anlehnung an die Quaternionen. In Büchter (1992)[1] findet sich eine ausführliche Diskussion der verschiedenen Parametrisierungsmöglichkeiten von Rotationen.

Urbild- und Bildvektoren gegeben

Gegeben seien drei linear unabhängige Vektoren $ {\vec {u}}_{1,2,3} $, die demnach eine Vektorraumbasis bilden. Die dazu duale Basis sei $ {\vec {u}}^{1,2,3} $, sodass also

$ {\vec {u}}_{i}\cdot {\vec {u}}^{j}=\delta _{ij}:={\begin{cases}1&{\textsf {falls}}\;i=j\\0&{\textsf {sonst}}\end{cases}}\;,\quad i,j={1,2,3} $

gilt. Das Symbol $ \delta _{ij} $ ist das Kronecker-Delta. Wenn nun die Vektorgruppe $ {\vec {v}}_{1,2,3} $ durch Drehung aus der Basis $ {\vec {u}}_{1,2,3} $ hervorgeht, dann gibt es einen orthogonalen Tensor Q, für den gilt:

$ \mathbf {Q} \cdot {\vec {u}}_{i}={\vec {v}}_{i}\,,\quad i=1,2,3 $

Dieser Tensor erhält mit dem dyadischen Produkt „$ \otimes $“ von Vektoren die Form:

$ \mathbf {Q} =\sum _{i=1}^{3}{\vec {v}}_{i}\otimes {\vec {u}}^{i} $

Mit der zu $ {\vec {v}}_{1,2,3} $ dualen Basis $ {\vec {v}}^{1,2,3} $ berechnet sich

$ \sum _{k=1}^{3}({\vec {v}}^{k}\otimes {\vec {u}}_{k})\cdot \mathbf {Q} ^{\top }=\sum _{i,k=1}^{3}({\vec {v}}^{k}\otimes {\vec {u}}_{k})\cdot ({\vec {u}}^{i}\otimes {\vec {v}}_{i})=\sum _{i=1}^{3}{\vec {v}}^{i}\otimes {\vec {v}}_{i}=\mathbf {1} $

weswegen nun die beiden Darstellungen

$ \mathbf {Q} =\sum _{i=1}^{3}{\vec {v}}_{i}\otimes {\vec {u}}^{i}=\sum _{i=1}^{3}{\vec {v}}^{i}\otimes {\vec {u}}_{i} $

vorliegen. Derselbe Tensor Q überführt also auch die dualen Basen ineinander:

$ \mathbf {Q} \cdot {\vec {u}}^{i}={\vec {v}}^{i}\,,\quad i=1,2,3 $

Die Determinante des Tensors berechnet sich mit den obigen Darstellungen zu:

$ {\begin{array}{lcl}\operatorname {det} (\mathbf {Q} )&=&\operatorname {det} {\begin{pmatrix}{\vec {v}}_{1}&{\vec {v}}_{2}&{\vec {v}}_{3}\end{pmatrix}}\cdot \operatorname {det} {\begin{pmatrix}{\vec {u}}^{1}&{\vec {u}}^{2}&{\vec {u}}^{3}\end{pmatrix}}={\dfrac {\operatorname {det} {\begin{pmatrix}{\vec {v}}_{1}&{\vec {v}}_{2}&{\vec {v}}_{3}\end{pmatrix}}}{\operatorname {det} {\begin{pmatrix}{\vec {u}}_{1}&{\vec {u}}_{2}&{\vec {u}}_{3}\end{pmatrix}}}}\\&=&\operatorname {det} {\begin{pmatrix}{\vec {v}}^{1}&{\vec {v}}^{2}&{\vec {v}}^{3}\end{pmatrix}}\cdot \operatorname {det} {\begin{pmatrix}{\vec {u}}_{1}&{\vec {u}}_{2}&{\vec {u}}_{3}\end{pmatrix}}={\dfrac {\operatorname {det} {\begin{pmatrix}{\vec {u}}_{1}&{\vec {u}}_{2}&{\vec {u}}_{3}\end{pmatrix}}}{\operatorname {det} {\begin{pmatrix}{\vec {v}}_{1}&{\vec {v}}_{2}&{\vec {v}}_{3}\end{pmatrix}}}}=+1\end{array}} $

weil oben eine Drehung und damit dieselbe Händigkeit der Basen vorausgesetzt wurde. Bei einer Drehspiegelung wäre det(Q) = -1 und die Händigkeiten der beiden Basen wäre verschieden.

Tensor gegeben

Die Drehachse eines orthogonalen Tensors Q ist seine Vektorinvariante $ {\vec {n}}:=\mathbf {1} \cdot \!\!\times \mathbf {Q} $. Seien die Basen $ {\vec {u}}_{i}\,,{\vec {v}}_{i} $ und deren duale Basen $ {\vec {u}}^{i}\,,{\vec {v}}^{i} $ für i=1,2,3 sowie der orthogonale Tensor Q wie im vorigen Abschnitt definiert. Dann ergibt sich für die Drehachse von Q:

$ {\begin{array}{rcl}{\vec {n}}=\mathbf {1} \cdot \!\!\times \mathbf {Q} &=&\displaystyle \sum _{i=1}^{3}\mathbf {1} \cdot \!\!\times ({\vec {v}}_{i}\otimes {\vec {u}}^{i})=\sum _{i=1}^{3}{\vec {v}}_{i}\times {\vec {u}}^{i}\\&=&\displaystyle \sum _{i=1}^{3}\mathbf {1} \cdot \!\!\times ({\vec {v}}^{i}\otimes {\vec {u}}_{i})=\sum _{i=1}^{3}{\vec {v}}^{i}\times {\vec {u}}_{i}\end{array}} $

denn das Skalarkreuzprodukt „·×“ mit dem Einheitstensor vertauscht das dyadische Produkt durch das Kreuzprodukt. Wegen

$ {\begin{array}{lcl}\mathbf {Q} \cdot {\vec {n}}&=&\displaystyle \sum _{i=1}^{3}\mathbf {Q} \cdot ({\vec {v}}_{i}\times {\vec {u}}^{i})=\operatorname {det} (\mathbf {Q} )\sum _{i=1}^{3}(\mathbf {Q} \cdot {\vec {v}}_{i})\times (\mathbf {Q} \cdot {\vec {u}}^{i})\\&=&\displaystyle \operatorname {det} (\mathbf {Q} )\sum _{i,k=1}^{3}({\vec {u}}^{k}\cdot {\vec {v}}_{i}){\vec {v}}_{k}\times {\vec {v}}^{i}=\operatorname {det} (\mathbf {Q} )\sum _{k=1}^{3}{\vec {v}}_{k}\times {\vec {u}}^{k}=\operatorname {det} (\mathbf {Q} ){\vec {n}}\end{array}} $

ist die Vektorinvariante tatsächlich ein Eigenvektor und daher parallel zur Drehachse. In der Matrizendarstellung mit den Zeilen $ {\vec {z}}_{1,2,3} $ und Spalten $ {\vec {s}}_{1,2,3} $ von Q bezüglich der Standardbasis ê1,2,3 ergibt sich:

$ \mathbf {Q} =\sum _{i=1}^{3}{\hat {e}}_{i}\otimes {\vec {z}}_{i}=\sum _{i=1}^{3}{\vec {s}}_{i}\otimes {\hat {e}}_{i}\quad \rightarrow \quad {\vec {n}}=\mathbf {1} \cdot \!\!\times \mathbf {Q} =\sum _{i=1}^{3}{\hat {e}}_{i}\times {\vec {z}}_{i}=\sum _{i=1}^{3}{\vec {s}}_{i}\times {\hat {e}}_{i} $

Aus dem Abschnitt #Drehachse und Winkel gegeben sind die folgenden Beziehungen bekannt. Der Drehwinkel berechnet sich aus der Spur

$ \operatorname {Sp} (\mathbf {Q} )=\operatorname {det} (\mathbf {Q} )+2\cos(\alpha ) $

Alternativ kann Drehachse $ {\hat {n}}=n_{1}{\hat {e}}_{1}+n_{2}{\hat {e}}_{2}+n_{3}{\hat {e}}_{3} $ und -winkel $ \alpha $ aus

$ {\frac {1}{2}}(\mathbf {Q} -\mathbf {Q} ^{\top })=\sin(\alpha ){\begin{pmatrix}0&-n_{3}&n_{2}\\n_{3}&0&-n_{1}\\-n_{2}&n_{1}&0\end{pmatrix}}\,,\quad {\sqrt {n_{1}^{2}+n_{2}^{2}+n_{3}^{2}}}=1 $

ermittelt werden.

Das Eigensystem offenbart, dass die beiden konjugiert komplexen Eigenwerte $ {e}^{\pm \mathrm {i} \alpha } $ von Q Exponentialfunktionen des Winkels sind.

Eigensystem

Wenn drei Vektoren $ {\hat {q}}_{1,2,3} $ paarweise zueinander senkrecht sind und die Beträge eins haben, $ {\hat {q}}_{1} $ die Drehachse und $ \alpha $ der Drehwinkel des Tensors Q ist, dann hat dieser die Eigenwerte und -Vektoren

$ {\begin{array}{lcllcl}\lambda _{1}&=&\pm 1,&{\vec {v}}_{1}&=&{\hat {q}}_{1}\\\lambda _{2}&=&e^{\mathrm {i} \alpha },&{\vec {v}}_{2}&=&{\frac {1}{\sqrt {2}}}({\hat {q}}_{2}-\mathrm {i} {\hat {q}}_{3}).\\\lambda _{3}&=&e^{-\mathrm {i} \alpha },&{\vec {v}}_{3}&=&{\frac {1}{\sqrt {2}}}({\hat {q}}_{2}+\mathrm {i} {\hat {q}}_{3})\end{array}} $

Die Zahl i ist die imaginäre Einheit und e die Eulersche Zahl. Die Vektoren $ {\hat {q}}_{2,3} $ liegen in der Drehebene, sind in dieser, solange $ {\hat {q}}_{2}\cdot {\hat {q}}_{3}=0 $ gewährleistet ist, aber beliebig orientiert. Aus diesem Eigensystem ergibt sich die Darstellung

$ {\begin{array}{lcl}\mathbf {Q} &=&\pm {\hat {q}}_{1}\otimes {\hat {q}}_{1}+\cos(\alpha )({\hat {q}}_{2}\otimes {\hat {q}}_{2}+{\hat {q}}_{3}\otimes {\hat {q}}_{3})+\sin(\alpha )({\hat {q}}_{3}\otimes {\hat {q}}_{2}-{\hat {q}}_{2}\otimes {\hat {q}}_{3})\\&=&{\begin{pmatrix}\pm 1&0&0\\0&\cos(\alpha )&-\sin(\alpha )\\0&\sin(\alpha )&\cos(\alpha )\end{pmatrix}}_{{\hat {q}}_{i}\otimes {\hat {q}}_{j}}.\end{array}} $

Die Händigkeit der Vektorgruppe $ {\hat {q}}_{1,2,3} $ entscheidet über die Drehrichtung der Drehung um die Drehachse. Ist die Vektorgruppe rechtshändig, dann misst der Winkel gegen den Uhrzeigersinn andernfalls im Uhrzeigersinn um die Drehachse.

Invarianten

Wenn $ \alpha $ der Drehwinkel des orthogonalen Tensors Q ist, dann gilt:

$ {\begin{array}{lcl}\operatorname {Sp} (\mathbf {Q} )&=&\operatorname {det} (\mathbf {Q} )+2\cos(\alpha )\\\operatorname {I} _{2}(\mathbf {Q} )&=&\operatorname {det} (\mathbf {Q} )\cdot \operatorname {Sp} (\mathbf {Q} )\\\operatorname {det} (\mathbf {Q} )&=&\pm 1\end{array}} $

denn die zweite Hauptinvariante ist die Spur des Kofaktors

$ \operatorname {cof} (\mathbf {Q} ):=\operatorname {det} (\mathbf {Q} )\mathbf {Q} ^{\top -1}:=\operatorname {det} (\mathbf {Q} )\mathbf {Q} $

Mit der obigen Darstellung

$ \mathbf {Q} =\sum _{i=1}^{3}{\vec {v}}_{i}\otimes {\vec {u}}^{i} $

berechnen sich die Hauptinvarianten:

$ {\begin{array}{lcl}\operatorname {Sp} (\mathbf {Q} )&=&\displaystyle \sum _{i=1}^{3}{\vec {v}}_{i}\cdot {\vec {u}}^{i}\\\operatorname {I} _{2}(\mathbf {Q} )&=&\displaystyle \left(\sum _{i=1}^{3}{\vec {v}}_{i}\cdot {\vec {u}}^{i}\right){\frac {\operatorname {det} {\begin{pmatrix}{\vec {v}}_{1}&{\vec {v}}_{2}&{\vec {v}}_{3}\end{pmatrix}}}{\operatorname {det} {\begin{pmatrix}{\vec {u}}_{1}&{\vec {u}}_{2}&{\vec {u}}_{3}\end{pmatrix}}}}\\\operatorname {det} (\mathbf {Q} )&=&\displaystyle {\frac {\operatorname {det} {\begin{pmatrix}{\vec {v}}_{1}&{\vec {v}}_{2}&{\vec {v}}_{3}\end{pmatrix}}}{\operatorname {det} {\begin{pmatrix}{\vec {u}}_{1}&{\vec {u}}_{2}&{\vec {u}}_{3}\end{pmatrix}}}}=\pm 1\end{array}} $

Die Vektorinvariante ist, wie im Abschnitt #Tensor gegeben, die Drehachse, die mit dem Einheitstensor berechnet wird:

$ {\vec {\operatorname {i} }}(\mathbf {Q} )=\mathbf {1\cdot \!\!\times Q} =\sum _{i=1}^{3}{\vec {v}}_{i}\times {\vec {u}}^{i}=\sum _{i=1}^{3}{\vec {v}}^{i}\times {\vec {u}}_{i} $

Die Frobeniusnorm eines orthogonalen Tensors ist immer gleich der Wurzel der Raumdimension:

$ \parallel \mathbf {Q} \parallel ={\sqrt {\mathbf {Q} :\mathbf {Q} }}={\sqrt {(\mathbf {Q} ^{\top }\cdot \mathbf {Q} ):\mathbf {1} }}={\sqrt {\mathbf {1} :\mathbf {1} }}={\sqrt {3}} $

Siehe auch

  • Drehmatrix, Orthogonale Matrix, Orthogonale Abbildung
  • Quaternion
  • Spezielle orthogonale Gruppe, Spezielle lineare Gruppe
  • Formelsammlung Tensoralgebra

Fußnoten

  1. N. Büchter: Zusammenführung von Degenerationskonzept und Schalentheorie bei endlichen Rotationen. 1992 (PDF-Version, archiviert am 2014-10-19 – Bericht Nr. 14 des Instituts für Baustatik der Universität Stuttgart).

Literatur

  • H. Altenbach: Kontinuumsmechanik. Springer, 2012, ISBN 978-3-642-24118-5.