Die Hauptinvarianten eines Tensors sind die Koeffizienten seines charakteristischen Polynoms.
Die Komponenten eines Tensors referenzieren auf Dyaden von Vektoren, die sich ihrerseits komponentenweise bezüglich einer Vektorraumbasis darstellen lassen. Bei einem Wechsel der Basis ändern sich die Komponenten der Vektoren in charakteristischer Weise, nicht aber die Beträge der Vektoren. Der Betrag eines Vektors ist also invariant gegenüber einem Wechsel der Basis. In gleicher Weise sind die Hauptinvarianten des Tensors invariant gegenüber einem Wechsel der Basis, daher der Name.
Die Hauptinvarianten symmetrischer Tensoren spielen eine zentrale Rolle in der Materialtheorie. Eine wichtige Anforderung an Materialmodelle leitet sich daraus ab, dass ein bewegter Beobachter immer dasselbe Materialverhalten misst wie ein ruhender. Diese Eigenschaft wird materielle Objektivität genannt. Die Bewegung eines Beobachters wird mathematisch als Wechsel des Bezugssystems und somit als Wechsel der Vektorraumbasis beschrieben. Die Hauptinvarianten sind also Größen, die alle Beobachter in gleicher Weise wahrnehmen und die daher für die Materialmodellierung geeignet sind. Beispiele für Materialmodelle, die die Hauptinvarianten benutzen, sind das Hooke'sche Gesetz, die Hyperelastizität und Plastizitätstheorie.
Die Darstellung erfolgt in drei Dimensionen für Tensoren zweiter Stufe, lässt sich aber in einfacher Weise auf mehr Dimensionen verallgemeinern.
Definition
Gegeben sei ein Tensor zweiter Stufe $ \mathbf {T} $. Dann lautet sein charakteristisches Polynom:
- $ p(\lambda ):=\mathrm {det} (\mathbf {T} -\lambda \mathbf {1} )=-\lambda ^{3}+\mathrm {I} _{1}\lambda ^{2}-\mathrm {I} _{2}\lambda +\mathrm {I} _{3} $.
Darin ist $ \mathrm {det} $ die Determinante, 1 der Einheitstensor, $ \lambda $ eine reelle oder komplexe Zahl und die Koeffizienten $ \mathrm {I} _{1,2,3} $ sind die drei Hauptinvarianten
- $ {\begin{aligned}\mathrm {I} _{1}:=&\mathrm {Sp} (\mathbf {T} )\\\mathrm {I} _{2}:=&{\frac {1}{2}}[\mathrm {Sp} {(\mathbf {T} )}^{2}-\mathrm {Sp} (\mathbf {T} \cdot \mathbf {T} )]=\mathrm {Sp(adj} (\mathbf {T} ))=\mathrm {Sp(cof} (\mathbf {T} ))\\\mathrm {I} _{3}:=&\mathrm {det} (\mathbf {T} )\end{aligned}} $
Der Operator $ \mathrm {Sp} $ liefert die Spur seines Arguments, $ \mathrm {adj} (\mathbf {T} ) $ ist die Adjunkte und $ \mathrm {cof} (\mathbf {T} ) $ der Kofaktor
- $ \mathrm {adj} (\mathbf {T} ):=\mathrm {cof} (\mathbf {T} )^{\top }:=\mathbf {T\cdot T} -\mathrm {I} _{1}\mathbf {T} +\mathrm {I} _{2}\mathbf {1} =\mathrm {det} (\mathbf {T} )\mathbf {T} ^{-1} $
wobei letztere Identität nur gilt, wenn der Tensor invertierbar ist und mithin $ \mathrm {det} (\mathbf {T} )\neq 0 $ ist.
Berechnung der Hauptinvarianten
Für Tensoren zweiter Stufe ist die Addition und Multiplikation mit einem Skalar definiert, weshalb die Menge aller Tensoren zweiter Stufe einen Vektorraum bildet, der Vektorraumbasen besitzt, die aus Dyaden bestehen, die sich wiederum mit dem dyadischen Produkt $ \otimes $ zweier Vektoren berechnen. Sei $ \mathbb {V} ^{3} $ der Vektorraum der geometrischen Vektoren. Dann ist $ {\text{Lin}}(\mathbb {V} ^{3},\mathbb {V} ^{3}) $ der Vektorraum der Tensoren zweiter Stufe, die Vektoren aus $ \mathbb {V} ^{3} $ in den $ \mathbb {V} ^{3} $ abbilden. Bezüglich einer Vektorraumbasis des $ {\text{Lin}}(\mathbb {V} ^{3},\mathbb {V} ^{3}) $ kann jeder Tensor komponentenweise dargestellt werden und aus diesen Komponenten können die Hauptinvarianten berechnet werden, die ja unabhängig von der Wahl der Basis sind.
Hauptinvarianten in Komponenten bezüglich der Standardbasis
Sei $ {\hat {e}}_{1,2,3} $ die Standardbasis des $ \mathbb {V} ^{3} $ und
- $ \mathbf {T} =\sum _{i,j=1}^{3}T_{ij}{\hat {e}}_{i}\otimes {\hat {e}}_{j}={\begin{pmatrix}T_{11}&T_{12}&T_{13}\\T_{21}&T_{22}&T_{23}\\T_{31}&T_{32}&T_{33}\end{pmatrix}} $
ein Tensor mit den Komponenten $ T_{ij} $ bezüglich dieser Standardbasis. Dann berechnet sich
- $ {\begin{aligned}\mathrm {I} _{1}(\mathbf {T} )=&T_{11}+T_{22}+T_{33}\\\mathrm {I} _{2}(\mathbf {T} )=&T_{11}T_{22}+T_{11}T_{33}+T_{22}T_{33}-T_{12}T_{21}-T_{13}T_{31}-T_{23}T_{32}\\\mathrm {I} _{3}(\mathbf {T} )=&T_{11}(T_{22}T_{33}-T_{23}T_{32})+T_{12}(T_{23}T_{31}-T_{21}T_{33})\\&+T_{13}(T_{21}T_{32}-T_{22}T_{31})\end{aligned}} $
Hauptinvarianten in Komponenten bezüglich einer allgemeinen Basis
Seien $ {\vec {a}}_{1,2,3} $ und $ {\vec {b}}_{1,2,3} $ zwei beliebige Basissysteme des $ \mathbb {V} ^{3} $ und
- $ \mathbf {T} =\sum _{i,j=1}^{3}T^{ij}{\vec {a}}_{i}\otimes {\vec {b}}_{j}={\begin{pmatrix}T^{11}&T^{12}&T^{13}\\T^{21}&T^{22}&T^{23}\\T^{31}&T^{32}&T^{33}\end{pmatrix}}_{{\vec {a}}_{i}\otimes {\vec {b}}_{j}} $
ein Tensor mit den Komponenten $ T^{ij} $ bezüglich dieser Basen. Dann berechnet sich
- $ \mathrm {I} _{1}(\mathbf {T} )=\sum _{i,j=1}^{3}T^{ij}{\vec {a}}_{i}\cdot {\vec {b}}_{j} $
- $ \mathrm {I} _{2}(\mathbf {T} )={\frac {1}{2}}\sum _{i,j,k,l=1}^{3}T^{ij}T^{kl}[({\vec {a}}_{i}\cdot {\vec {b}}_{j})({\vec {a}}_{k}\cdot {\vec {b}}_{l})-({\vec {a}}_{i}\cdot {\vec {b}}_{l})({\vec {a}}_{k}\cdot {\vec {b}}_{j})] $
- $ \mathrm {I} _{3}(\mathbf {T} )={\begin{vmatrix}T^{11}&T^{12}&T^{13}\\T^{21}&T^{22}&T^{23}\\T^{31}&T^{32}&T^{33}\end{vmatrix}}{\begin{vmatrix}{\vec {a}}_{1}&{\vec {a}}_{2}&{\vec {a}}_{3}\end{vmatrix}}{\begin{vmatrix}{\vec {b}}_{1}&{\vec {b}}_{2}&{\vec {b}}_{3}\end{vmatrix}} $
wo die letzten beiden Determinanten den Spatprodukten der Basisvektoren entsprechen.
Zusammenhang mit dem äußeren Tensorprodukt
Das äußere Tensorprodukt # ist mittels Dyaden definiert über
- $ ({\vec {a}}\otimes {\vec {g}})\#({\vec {b}}\otimes {\vec {h}}):=({\vec {a}}\times {\vec {b}})\otimes ({\vec {g}}\times {\vec {h}}) $
Mit diesem und dem Frobenius-Skalarprodukt „$ : $“ von Tensoren bekommen die drei Hauptinvarianten die Darstellungen
- $ {\begin{aligned}\mathrm {I} _{1}(\mathbf {T} )&={\frac {1}{2}}(\mathbf {T} \#\mathbf {1} ):\mathbf {1} \;,\\\mathrm {I} _{2}(\mathbf {T} )&={\frac {1}{2}}(\mathbf {T} \#\mathbf {T} ):\mathbf {1} \;,\\\mathrm {I} _{3}(\mathbf {T} )&={\frac {1}{6}}(\mathbf {T} \#\mathbf {T} ):\mathbf {T} \;.\end{aligned}} $
Zusammenhang mit anderen Invarianten
Eigenwerte
Die Eigenwerte $ \lambda _{1,2,3} $ eines Tensors zweiter Stufe sind die Lösungen $ p(\lambda )=0 $ seines charakteristischen Polynoms und ebenfalls Invarianten. Nach dem Satz von Vieta gilt:
- $ {\begin{aligned}\mathrm {I} _{1}=&\lambda _{1}+\lambda _{2}+\lambda _{3}\\\mathrm {I} _{2}=&\lambda _{1}\lambda _{2}+\lambda _{2}\lambda _{3}+\lambda _{3}\lambda _{1}\\\mathrm {I} _{3}=&\lambda _{1}\lambda _{2}\lambda _{3}\end{aligned}} $.
Betrag eines Tensors
Der Betrag eines Tensors
- $ \left\|\mathbf {T} \right\|:={\sqrt {\mathbf {T} :\mathbf {T} }}:={\sqrt {\mathrm {Sp} (\mathbf {T} ^{\top }\cdot \mathbf {T} )}} $,
definiert mit der Frobeniusnorm $ \left\|(\cdot )\right\| $ und dem Frobenius-Skalarprodukt „:“, lässt sich im Allgemeinen nicht mit den drei Hauptinvarianten darstellen. Es gelingt aber bei symmetrischen oder schiefsymmetrischen Tensoren.
Bei symmetrischen Tensoren ist $ \mathbf {T} =\mathbf {T} ^{\top } $, d. h. der Tensor ist mit seiner transponierten identisch, und daher
- $ {\begin{aligned}\mathrm {I} _{2}&={\frac {1}{2}}\left[\mathrm {Sp} {(\mathbf {T} )}^{2}-\mathrm {Sp} (\mathbf {T} \cdot \mathbf {T} )\right]={\frac {1}{2}}\left[\mathrm {I} _{1}^{2}-\mathrm {Sp} (\mathbf {T} ^{\top }\cdot \mathbf {T} )\right]={\frac {1}{2}}\left[\mathrm {I} _{1}^{2}-{\left\|\mathbf {T} \right\|}^{2}\right]\\\Rightarrow \quad \left\|\mathbf {T} \right\|&={\sqrt {\mathrm {I} _{1}^{2}-2\,\mathrm {I} _{2}}}\;.\end{aligned}} $
Bei schiefsymmetrischen Tensoren ist $ \mathbf {T} =-\mathbf {T} ^{\top } $ und daher $ \mathrm {Sp} (\mathbf {T} )=0 $ und
- $ {\begin{aligned}\mathrm {I} _{2}&={\frac {1}{2}}\left[\mathrm {Sp} {(\mathbf {T} )}^{2}-\mathrm {Sp} (\mathbf {T} \cdot \mathbf {T} )\right]={\frac {1}{2}}\mathrm {Sp} (\mathbf {T} ^{\top }\cdot \mathbf {T} )={\frac {1}{2}}{\left\|\mathbf {T} \right\|}^{2}\\\Rightarrow \quad \left\|\mathbf {T} \right\|&={\sqrt {2\,\mathrm {I} _{2}}}\;.\end{aligned}} $
Spuren der Potenzen eines Tensors
Die drei Hauptinvarianten lassen sich auch mit den Spuren der Potenzen eines Tensors darstellen, die ebenfalls Invarianten sind. Sei
- $ \mathrm {J} _{n}:=\mathrm {Sp} (\mathbf {T} ^{n}):=\mathrm {Sp} (\underbrace {\mathbf {T} \cdot \mathbf {T} \cdot \ldots \cdot \mathbf {T} } _{n{\text{-mal}}}),\quad n=1,2,3,\ldots \;, $
dann gilt
- $ {\begin{aligned}\mathrm {I} _{1}&={\mathrm {J} }_{1}\;,\\\mathrm {I} _{2}&={\frac {1}{2}}({\mathrm {J} }_{1}^{2}-{\mathrm {J} }_{2})\;,\\\mathrm {I} _{3}&={\frac {1}{6}}(2{\mathrm {J} }_{3}+{\mathrm {J} }_{1}^{3}-3{\mathrm {J} }_{1}{\mathrm {J} }_{2})={\frac {1}{3}}(\mathrm {J} _{3}+3\mathrm {I} _{1}\mathrm {I} _{2}-\mathrm {I} _{1}^{3})\;.\end{aligned}} $
Ableitungen der Hauptinvarianten
In der Hyperelastizität wird die Formänderungsenergie, die aufgebracht werden muss um einen Körper zu verformen, manchmal als Funktion der Hauptinvarianten des Verzerrungstensors modelliert. Die Spannungen ergeben sich dann aus der Ableitung der Formänderungsenergie nach dem Verzerrungstensor, wofür die Ableitungen der Hauptinvarianten nach dem Verzerrungstensor benötigt werden. Daher lohnt es sich, diese Ableitungen bereitzustellen.
Die Ableitung einer skalarwertigen Funktion $ f(\mathbf {T} ) $ nach dem Tensor $ \mathbf {T} $ ist der Tensor $ \mathbf {A} $ für den gilt
- $ \mathbf {A} :\mathbf {H} =\left.{\frac {\mathrm {d} f(\mathbf {T} +s\mathbf {H} )}{\mathrm {d} s}}\right|_{s=0}\quad \forall \;\mathbf {H} \in {\text{Lin}}(\mathbb {V} ^{3},\mathbb {V} ^{3}) $
Man schreibt dann auch
- $ {\frac {\mathrm {d} f}{\mathrm {d} \mathbf {T} }}=\mathbf {A} $.
So berechnet sich:
- $ {\begin{aligned}\left.{\frac {\mathrm {d} \mathrm {I} _{1}(\mathbf {T} +s\mathbf {H} )}{\mathrm {d} s}}\right|_{s=0}=&\mathrm {I} _{1}(\mathbf {H} )=\mathbf {1} :\mathbf {H} \rightarrow {\frac {\mathrm {d} \mathrm {I} _{1}(\mathbf {T} )}{\mathrm {d} \mathbf {T} }}=\mathbf {1} \\\left.{\frac {\mathrm {d} \mathrm {I} _{2}(\mathbf {T} +s\mathbf {H} )}{\mathrm {d} s}}\right|_{s=0}=&\left.{\frac {\mathrm {d} }{\mathrm {d} s}}{\frac {1}{2}}[\mathrm {I} _{1}(\mathbf {T} +s\mathbf {H} )^{2}-\mathrm {I} _{1}((\mathbf {T} +s\mathbf {H} )^{2})]\right|_{s=0}\\=&\left.{\frac {1}{2}}[2\mathrm {I} _{1}(\mathbf {T} +s\mathbf {H} )\mathrm {I} _{1}(\mathbf {H} )-2\mathrm {I} _{1}((\mathbf {T} +s\mathbf {H} )\cdot \mathbf {H} )]\right|_{s=0}\\=&\mathrm {I} _{1}(\mathbf {T} )\mathrm {I} _{1}(\mathbf {H} )-\mathrm {I} _{1}(\mathbf {T} \cdot \mathbf {H} )\\\rightarrow {\frac {\mathrm {d} \mathrm {I} _{2}(\mathbf {T} )}{\mathrm {d} \mathbf {T} }}=&\mathrm {I} _{1}(\mathbf {T} )\mathbf {1} -\mathbf {T} ^{\top }\end{aligned}} $
Mit dem charakteristischen Polynom und dem Determinantenproduktsatz zeigt sich
- $ {\begin{aligned}\mathrm {det} (\mathbf {T} +s\mathbf {H} )=&\mathrm {det} \left(s\mathbf {T} \cdot \left({\frac {1}{s}}\mathbf {1} +\mathbf {T} ^{-1}\cdot \mathbf {H} \right)\right)=\mathrm {det} (\mathbf {T} )s^{3}\mathrm {det} \left(\mathbf {T} ^{-1}\cdot \mathbf {H} +{\frac {1}{s}}\mathbf {1} \right)\\=&\mathrm {det} (\mathbf {T} )s^{3}\left({\frac {1}{s^{3}}}+{\frac {1}{s^{2}}}\mathrm {I} _{1}(\mathbf {T} ^{-1}\cdot \mathbf {H} )+{\frac {1}{s}}\mathrm {I} _{2}(\mathbf {T} ^{-1}\cdot \mathbf {H} )+\mathrm {I} _{3}(\mathbf {T} ^{-1}\cdot \mathbf {H} )\right)\\=&\mathrm {det} (\mathbf {T} )[1+s\mathrm {I} _{1}(\mathbf {T} ^{-1}\cdot \mathbf {H} )+s^{2}\mathrm {I} _{2}(\mathbf {T} ^{-1}\cdot \mathbf {H} )+s^{3}\mathrm {I} _{3}(\mathbf {T} ^{-1}\cdot \mathbf {H} )]\end{aligned}} $
Daraus berechnet sich die Ableitung
- $ {\begin{aligned}\left.{\frac {\mathrm {d} }{\mathrm {d} s}}\mathrm {det} (\mathbf {T} +s\mathbf {H} )\right|_{s=0}=&\mathrm {det} (\mathbf {T} )\mathrm {I} _{1}(\mathbf {T} ^{-1}\cdot \mathbf {H} )\\\rightarrow {\frac {\mathrm {d} \mathrm {I} _{3}(\mathbf {T} )}{\mathrm {d} \mathbf {T} }}=&\mathrm {det} (\mathbf {T} )\mathbf {T} ^{\top -1}\end{aligned}} $.
Diese Ableitung existiert nur, wenn T invertierbar, also det(T) ≠ 0 ist.
Anwendungen
Die folgenden Beispiele zeigen die Benutzung der Hauptinvarianten in Materialtheorien und oft benutzten Materialmodellen:
- Hookesches Gesetz: Der Spannungstensor $ {\boldsymbol {\sigma }} $ berechnet sich aus dem Verzerrungstensor $ {\boldsymbol {\varepsilon }} $ gemäß $ {\boldsymbol {\sigma }}=2G\left({\boldsymbol {\varepsilon }}+{\frac {\nu }{1-2\nu }}{\color {red}\mathrm {I} _{1}({\boldsymbol {\varepsilon }})}\mathbf {1} \right) $. Darin ist $ G $ der Schubmodul und $ \nu $ die Querkontraktionszahl.
- Hyperelastizität: Die Formänderungsenergiedichte $ \psi $ im Neo-Hooke Modell ist $ \psi =\mu ({\color {red}\mathrm {I} _{1}(\mathbf {b} )}-3) $. Darin ist $ \mu $ ein Materialparameter und $ \mathbf {b} $ der linke Cauchy-Green Tensor.
- Plastizitätstheorie, Festigkeitslehre: Die v. Mises Vergleichsspannung $ {\boldsymbol {\sigma }}_{v}={\sqrt {-3{\color {red}\mathrm {I} _{2}({\boldsymbol {\sigma }}^{\mathrm {D} })}}} $ ist eine Funktion der zweiten Hauptinvariante des Spannungsdeviators $ {\boldsymbol {\sigma }}^{\mathrm {D} }:={\boldsymbol {\sigma }}-{\frac {\color {red}\mathrm {I} _{1}({\boldsymbol {\sigma }})}{3}}\mathbf {1} $.
- Inkompressibilität: Hier ist die dritte Hauptinvariante des Deformationsgradienten $ \mathbf {F} $ an jedem materiellen Punkt konstant: $ {\color {red}\mathrm {I} _{3}(\mathbf {F} )}\equiv 1 $.
Beispiel
Es wird der Nachweis der Invarianz der Spur eines Tensors erbracht. Seien $ {\vec {a}}_{1,2,3} $ und $ {\vec {b}}_{1,2,3} $ zwei beliebige Basissysteme des $ \mathbb {V} ^{3} $ und
- $ \mathbf {T} =\sum _{i,j=1}^{3}T_{ij}{\vec {a}}_{i}\otimes {\vec {b}}_{j}\rightarrow \mathrm {Sp} (\mathbf {T} )=\sum _{i,j=1}^{3}T_{ij}{\vec {a}}_{i}\cdot {\vec {b}}_{j} $.
Beim Wechsel zu anderen Basen $ {\vec {c}}_{1,2,3} $ und $ {\vec {d}}_{1,2,3} $ mit dualen Basen $ {\vec {c}}^{1,2,3} $ und $ {\vec {d}}^{1,2,3} $ berechnen sich die neuen Komponenten $ T_{ij}^{\mathrm {*} } $ gemäß
- $ {\begin{aligned}\mathbf {T} =&\sum _{i,j=1}^{3}T_{ij}{\vec {a}}_{i}\otimes {\vec {b}}_{j}=\sum _{i,j,k,l=1}^{3}T_{ij}({\vec {a}}_{i}\cdot {\vec {c}}^{k}){\vec {c}}_{k}\otimes ({\vec {b}}_{j}\cdot {\vec {d}}^{l}){\vec {d}}_{l}\\=:&\sum _{k,l}T_{kl}^{\ast }{\vec {c}}_{k}\otimes {\vec {d}}_{l}=:\mathbf {T} ^{\ast }\\\rightarrow T_{kl}^{\ast }=&\sum _{i,j=1}^{3}T_{ij}({\vec {a}}_{i}\cdot {\vec {c}}^{k})({\vec {b}}_{j}\cdot {\vec {d}}^{l})\end{aligned}} $
Die Spur mit den neuen Komponenten $ T_{ij}^{\ast } $ ergibt sich also zu
- $ {\begin{aligned}\mathrm {Sp} (\mathbf {T} ^{\ast })=&\mathrm {Sp} \left(\sum _{k,l=1}^{3}T_{kl}^{\ast }{\vec {c}}_{k}\otimes {\vec {d}}_{l}\right)=\sum _{k,l=1}^{3}T_{kl}^{\ast }{\vec {c}}_{k}\cdot {\vec {d}}_{l}\\=&\sum _{i,j,k,l=1}^{3}T_{ij}({\vec {a}}_{i}\cdot {\vec {c}}^{k})({\vec {b}}_{j}\cdot {\vec {d}}^{l}){\vec {c}}_{k}\cdot {\vec {d}}_{l}\\=&\sum _{i,j,k,l=1}^{3}T_{ij}({\vec {a}}_{i}\cdot {\vec {c}}^{k}){\vec {c}}_{k}\cdot ({\vec {b}}_{j}\cdot {\vec {d}}^{l}){\vec {d}}_{l}=\sum _{i,j=1}^{3}T_{ij}{\vec {a}}_{i}\cdot {\vec {b}}_{j}=\mathrm {Sp} (\mathbf {T} )\end{aligned}} $
was zu zeigen war.
Siehe auch
Literatur
- H. Altenbach: Kontinuumsmechanik. Springer 2012, ISBN 978-3-642-24118-5.