Hauptinvariante: Unterschied zwischen den Versionen

Aktuelle Version vom 14. September 2021, 21:30 Uhr

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 $T$ . Dann lautet sein charakteristisches Polynom:

p (λ) := \det (T - λ 1) = - λ^{3} + I_{1} λ^{2} - I_{2} λ + I_{3}

.

Darin ist $\det$ die Determinante, 1 der Einheitstensor, $λ$ eine reelle oder komplexe Zahl und die Koeffizienten $I_{1, 2, 3}$ sind die drei Hauptinvarianten

\begin{aligned} I_{1} := & Sp (T) \\ I_{2} := & \frac{1}{2} [Sp {(T)}^{2} - Sp (T \cdot T)] = Sp (adj (T)) = Sp (cof (T)) \\ I_{3} := & \det (T) \end{aligned}

Der Operator $Sp$ liefert die Spur seines Arguments, $adj (T)$ ist die Adjunkte und $cof (T)$ der Kofaktor

adj (T) := cof (T)^{⊤} := T \cdot T - I_{1} T + I_{2} 1 = \det (T) T^{- 1}

wobei letztere Identität nur gilt, wenn der Tensor invertierbar ist und mithin $\det (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 $V^{3}$ der Vektorraum der geometrischen Vektoren. Dann ist $Lin (V^{3}, V^{3})$ der Vektorraum der Tensoren zweiter Stufe, die Vektoren aus $V^{3}$ in den $V^{3}$ abbilden. Bezüglich einer Vektorraumbasis des $Lin (V^{3}, 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 $V^{3}$ und

T = \sum_{i, j = 1}^{3} T_{i j} {\hat{e}}_{i} \otimes {\hat{e}}_{j} = (\begin{matrix} T_{11} & T_{12} & T_{13} \\ T_{21} & T_{22} & T_{23} \\ T_{31} & T_{32} & T_{33} \end{matrix})

ein Tensor mit den Komponenten $T_{i j}$ bezüglich dieser Standardbasis. Dann berechnet sich

\begin{aligned} I_{1} (T) = & T_{11} + T_{22} + T_{33} \\ I_{2} (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} \\ I_{3} (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 $V^{3}$ und

T = \sum_{i, j = 1}^{3} T^{i j} {\vec{a}}_{i} \otimes {\vec{b}}_{j} = {(\begin{matrix} T^{11} & T^{12} & T^{13} \\ T^{21} & T^{22} & T^{23} \\ T^{31} & T^{32} & T^{33} \end{matrix})}_{{\vec{a}}_{i} \otimes {\vec{b}}_{j}}

ein Tensor mit den Komponenten $T^{i j}$ bezüglich dieser Basen. Dann berechnet sich

I_{1} (T) = \sum_{i, j = 1}^{3} T^{i j} {\vec{a}}_{i} \cdot {\vec{b}}_{j}

I_{2} (T) = \frac{1}{2} \sum_{i, j, k, l = 1}^{3} T^{i j} T^{k l} [({\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})]

I_{3} (T) = | \begin{matrix} T^{11} & T^{12} & T^{13} \\ T^{21} & T^{22} & T^{23} \\ T^{31} & T^{32} & T^{33} \end{matrix} | | \begin{matrix} {\vec{a}}_{1} & {\vec{a}}_{2} & {\vec{a}}_{3} \end{matrix} | | \begin{matrix} {\vec{b}}_{1} & {\vec{b}}_{2} & {\vec{b}}_{3} \end{matrix} |

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} I_{1} (T) & = \frac{1}{2} (T # 1) : 1, \\ I_{2} (T) & = \frac{1}{2} (T # T) : 1, \\ I_{3} (T) & = \frac{1}{6} (T # T) : T . \end{aligned}

Zusammenhang mit anderen Invarianten

Eigenwerte

Die Eigenwerte $λ_{1, 2, 3}$ eines Tensors zweiter Stufe sind die Lösungen $p (λ) = 0$ seines charakteristischen Polynoms und ebenfalls Invarianten. Nach dem Satz von Vieta gilt:

\begin{aligned} I_{1} = & λ_{1} + λ_{2} + λ_{3} \\ I_{2} = & λ_{1} λ_{2} + λ_{2} λ_{3} + λ_{3} λ_{1} \\ I_{3} = & λ_{1} λ_{2} λ_{3} \end{aligned}

.

Betrag eines Tensors

Der Betrag eines Tensors

‖ T ‖ := \sqrt{T : T} := \sqrt{Sp (T^{⊤} \cdot T)}

,

definiert mit der Frobeniusnorm $‖ (\cdot) ‖$ 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 $T = T^{⊤}$ , d. h. der Tensor ist mit seiner transponierten identisch, und daher

\begin{aligned} I_{2} & = \frac{1}{2} [Sp {(T)}^{2} - Sp (T \cdot T)] = \frac{1}{2} [I_{1}^{2} - Sp (T^{⊤} \cdot T)] = \frac{1}{2} [I_{1}^{2} - {‖ T ‖}^{2}] \\ \Rightarrow ‖ T ‖ & = \sqrt{I_{1}^{2} - 2 I_{2}} . \end{aligned}

Bei schiefsymmetrischen Tensoren ist $T = - T^{⊤}$ und daher $Sp (T) = 0$ und

\begin{aligned} I_{2} & = \frac{1}{2} [Sp {(T)}^{2} - Sp (T \cdot T)] = \frac{1}{2} Sp (T^{⊤} \cdot T) = \frac{1}{2} {‖ T ‖}^{2} \\ \Rightarrow ‖ T ‖ & = \sqrt{2 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

J_{n} := Sp (T^{n}) := Sp (\underset{n -mal}{\underset{⏟}{T \cdot T \cdot \dots \cdot T}}), n = 1, 2, 3, \dots,

dann gilt

\begin{aligned} I_{1} & = J_{1}, \\ I_{2} & = \frac{1}{2} (J_{1}^{2} - J_{2}), \\ I_{3} & = \frac{1}{6} (2 J_{3} + J_{1}^{3} - 3 J_{1} J_{2}) = \frac{1}{3} (J_{3} + 3 I_{1} I_{2} - 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 (T)$ nach dem Tensor $T$ ist der Tensor $A$ für den gilt

A : H = {\frac{d f (T + s H)}{d s} |}_{s = 0} \forall H \in Lin (V^{3}, V^{3})

Man schreibt dann auch

\frac{d f}{d T} = A

.

So berechnet sich:

\begin{aligned} {\frac{d I_{1} (T + s H)}{d s} |}_{s = 0} = & I_{1} (H) = 1 : H \to \frac{d I_{1} (T)}{d T} = 1 \\ {\frac{d I_{2} (T + s H)}{d s} |}_{s = 0} = & {\frac{d}{d s} \frac{1}{2} [I_{1} (T + s H)^{2} - I_{1} ((T + s H)^{2})] |}_{s = 0} \\ = & {\frac{1}{2} [2 I_{1} (T + s H) I_{1} (H) - 2 I_{1} ((T + s H) \cdot H)] |}_{s = 0} \\ = & I_{1} (T) I_{1} (H) - I_{1} (T \cdot H) \\ \to \frac{d I_{2} (T)}{d T} = & I_{1} (T) 1 - T^{⊤} \end{aligned}

Mit dem charakteristischen Polynom und dem Determinantenproduktsatz zeigt sich

\begin{aligned} \det (T + s H) = & \det (s T \cdot (\frac{1}{s} 1 + T^{- 1} \cdot H)) = \det (T) s^{3} \det (T^{- 1} \cdot H + \frac{1}{s} 1) \\ = & \det (T) s^{3} (\frac{1}{s^{3}} + \frac{1}{s^{2}} I_{1} (T^{- 1} \cdot H) + \frac{1}{s} I_{2} (T^{- 1} \cdot H) + I_{3} (T^{- 1} \cdot H)) \\ = & \det (T) [1 + s I_{1} (T^{- 1} \cdot H) + s^{2} I_{2} (T^{- 1} \cdot H) + s^{3} I_{3} (T^{- 1} \cdot H)] \end{aligned}

Daraus berechnet sich die Ableitung

\begin{aligned} {\frac{d}{d s} \det (T + s H) |}_{s = 0} = & \det (T) I_{1} (T^{- 1} \cdot H) \\ \to \frac{d I_{3} (T)}{d T} = & \det (T) T^{⊤ - 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 $σ$ berechnet sich aus dem Verzerrungstensor $ε$ gemäß $σ = 2 G (ε + \frac{ν}{1 - 2 ν} I_{1} (ε) 1)$ . Darin ist $G$ der Schubmodul und $ν$ die Querkontraktionszahl.
Hyperelastizität: Die Formänderungsenergiedichte $ψ$ im Neo-Hooke Modell ist $ψ = μ (I_{1} (b) - 3)$ . Darin ist $μ$ ein Materialparameter und $b$ der linke Cauchy-Green Tensor.
Plastizitätstheorie, Festigkeitslehre: Die v. Mises Vergleichsspannung $σ_{v} = \sqrt{- 3 I_{2} (σ^{D})}$ ist eine Funktion der zweiten Hauptinvariante des Spannungsdeviators $σ^{D} := σ - \frac{I_{1} (σ)}{3} 1$ .
Inkompressibilität: Hier ist die dritte Hauptinvariante des Deformationsgradienten $F$ an jedem materiellen Punkt konstant: $I_{3} (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 $V^{3}$ und

T = \sum_{i, j = 1}^{3} T_{i j} {\vec{a}}_{i} \otimes {\vec{b}}_{j} \to Sp (T) = \sum_{i, j = 1}^{3} T_{i j} {\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_{i j}^{*}$ gemäß

\begin{aligned} T = & \sum_{i, j = 1}^{3} T_{i j} {\vec{a}}_{i} \otimes {\vec{b}}_{j} = \sum_{i, j, k, l = 1}^{3} T_{i j} ({\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_{k l}^{*} {\vec{c}}_{k} \otimes {\vec{d}}_{l} =: T^{*} \\ \to T_{k l}^{*} = & \sum_{i, j = 1}^{3} T_{i j} ({\vec{a}}_{i} \cdot {\vec{c}}^{k}) ({\vec{b}}_{j} \cdot {\vec{d}}^{l}) \end{aligned}

Die Spur mit den neuen Komponenten $T_{i j}^{*}$ ergibt sich also zu

\begin{aligned} Sp (T^{*}) = & Sp (\sum_{k, l = 1}^{3} T_{k l}^{*} {\vec{c}}_{k} \otimes {\vec{d}}_{l}) = \sum_{k, l = 1}^{3} T_{k l}^{*} {\vec{c}}_{k} \cdot {\vec{d}}_{l} \\ = & \sum_{i, j, k, l = 1}^{3} T_{i j} ({\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_{i j} ({\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_{i j} {\vec{a}}_{i} \cdot {\vec{b}}_{j} = Sp (T) \end{aligned}

was zu zeigen war.

Siehe auch

Literatur

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

@@ Zeile 1: / Zeile 1: @@
 Die '''Hauptinvarianten''' eines [[Tensor]]s sind die Koeffizienten seines [[Charakteristisches Polynom|charakteristischen Polynoms]].
-Die Komponenten eines Tensors referenzieren auf [[Dyadisches Produkt|Dyade]]n 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 Komponenten eines Tensors referenzieren auf [[Dyadisches Produkt|Dyade]]n 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 [[Materialmodell]]e 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 [[Hookesches Gesetz|Hooke'sche Gesetz]], die [[Hyperelastizität]] und [[Plastizitätstheorie]].
@@ Zeile 8: / Zeile 8: @@
 == Definition ==
-Gegeben sei ein Tensor zweiter Stufe <math> \mathbf{T} </math>. Dann lautet sein charakteristisches Polynom:
+Gegeben sei ein Tensor zweiter Stufe <math>\mathbf{T}</math>. Dann lautet sein charakteristisches Polynom:
-:<math> p(\lambda ):=\mathrm{det}(\mathbf{T}-\lambda \mathbf{I})
-=-\lambda^3+\mathrm{I}_{1}\lambda^2-\mathrm{I}_{2}\lambda+\mathrm{I}_{3}
+:<math>p(\lambda ):=\mathrm{det}(\mathbf{T}-\lambda\mathbf{1})
+=-\lambda^3+\mathrm{I}_1\lambda^2-\mathrm{I}_2\lambda+\mathrm{I}_3
 </math>.
-Darin ist <math> \mathrm{det} </math> die [[Determinante]], <math> \mathbf{I} </math> der [[Einheitstensor]], <math> \lambda </math> eine reelle oder komplexe Zahl und die Koeffizienten <math> \mathrm{I}_{1,2,3} </math> sind die drei Hauptinvarianten
+Darin ist <math>\mathrm{det}</math> die [[Determinante]], '''1''' der [[Einheitstensor]], <math>\lambda</math> eine reelle oder komplexe Zahl und die Koeffizienten <math>\mathrm{I}_{1,2,3}</math> sind die drei Hauptinvarianten
-:<math> \begin{array}{rcl}
-\mathrm{I}_{1}&:=&\operatorname{Sp}(\mathbf{T})
+:<math>\begin{align}
+\mathrm{I}_1:=&\mathrm{Sp}(\mathbf{T})
 \
-\mathrm{I}_{2}&:=&
+\mathrm{I}_2:=&
-\dfrac{1}{2}[\operatorname{Sp}{(\mathbf{T})}^{2}
+\frac{1}{2}[\mathrm{Sp}{(\mathbf{T})}^2
--\operatorname{Sp}(\mathbf{T}\cdot\mathbf{T})]
+-\mathrm{Sp}(\mathbf{T}\cdot\mathbf{T})]
-= \operatorname{Sp(adj}(\mathbf{T}))
+=\mathrm{Sp(adj}(\mathbf{T}))
-= \operatorname{Sp(cof}(\mathbf{T}))
+=\mathrm{Sp(cof}(\mathbf{T}))
 \
-\mathrm{I}_{3}&:=&\mathrm{det}(\mathbf{T})
+\mathrm{I}_3:=&\mathrm{det}(\mathbf{T})
-\end{array}
+\end{align}</math>
-</math>
-Der Operator <math> \operatorname{Sp} </math> liefert die [[Spur (Mathematik)|Spur]] seines Arguments, <math>\operatorname{adj}(\mathbf{T})</math> ist die [[Adjunkte]] und <math>\operatorname{cof}(\mathbf{T})</math> der [[Minor (Mathematik)#Kofaktoren|Kofaktor]]
+Der Operator <math>\mathrm{Sp}</math> liefert die [[Spur (Mathematik)|Spur]] seines Arguments, <math>\mathrm{adj}(\mathbf{T})</math> ist die [[Adjunkte]] und <math>\mathrm{cof}(\mathbf{T})</math> der [[Minor (Mathematik)#Kofaktoren|Kofaktor]]
-:<math>\operatorname{adj}(\mathbf{T})
+:<math>\mathrm{adj}(\mathbf{T})
-:= \operatorname{cof}(\mathbf{T})^\top
+:=\mathrm{cof}(\mathbf{T})^\top
-:= \mathbf{T\cdot T} - \operatorname{I}_1\mathbf{T} + \operatorname{I}_2\mathbf{I}
+:=\mathbf{T\cdot T}-\mathrm{I}_1\mathbf{T}+\mathrm{I}_2\mathbf{1}
-= \operatorname{det}(\mathbf{T}) \mathbf{T}^{-1}
+=\mathrm{det}(\mathbf{T})\mathbf{T}^{-1}
 </math>
-wobei letztere Identität nur gilt, wenn der Tensor [[Inverse Matrix|invertierbar]] ist und mithin <math>\operatorname{det}(\mathbf{T})\ne 0</math> ist.
+wobei letztere Identität nur gilt, wenn der Tensor [[Inverse Matrix|invertierbar]] ist und mithin <math>\mathrm{det}(\mathbf{T})\ne 0</math> 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 [[Vektorraumbasis|Vektorraumbasen]] besitzt, die aus Dyaden bestehen, die sich wiederum mit dem [[Dyadisches Produkt|dyadischen Produkt]] <math>\otimes</math> zweier Vektoren berechnen. Sei <math> \mathbb{V}^{3} </math> der Vektorraum der geometrischen Vektoren. Dann ist <math> \text{Lin}(\mathbb{V}^{3},\mathbb{V}^{3}) </math> der Vektorraum der Tensoren zweiter Stufe, die Vektoren aus <math> \mathbb{V}^{3} </math> in den <math> \mathbb{V}^{3} </math> abbilden. Bezüglich einer Vektorraumbasis des <math> \text{Lin}(\mathbb{V}^{3},\mathbb{V}^{3}) </math> 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.
+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 [[Vektorraumbasis|Vektorraumbasen]] besitzt, die aus Dyaden bestehen, die sich wiederum mit dem [[Dyadisches Produkt|dyadischen Produkt]] <math>\otimes</math> zweier Vektoren berechnen. Sei <math>\mathbb{V}^3</math> der Vektorraum der geometrischen Vektoren. Dann ist <math>\text{Lin}(\mathbb{V}^3,\mathbb{V}^3)</math> der Vektorraum der Tensoren zweiter Stufe, die Vektoren aus <math>\mathbb{V}^3</math> in den <math>\mathbb{V}^3</math> abbilden. Bezüglich einer Vektorraumbasis des <math>\text{Lin}(\mathbb{V}^3,\mathbb{V}^3)</math> 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 <math> \hat{e}_{1,2,3} </math> die [[Standardbasis]] des <math> \mathbb{V}^{3} </math> und
+Sei <math>\hat{e}_{1,2,3}</math> die [[Standardbasis]] des <math>\mathbb{V}^3</math> und
-:<math> \mathbf{T}=\sum_{i,j=1}^{3}T_{ij}\hat{e}_{i}\otimes \hat{e}_{j}
-= \begin{pmatrix}
+:<math>\mathbf{T}=\sum_{i,j=1}^3T_{ij}\hat{e}_{i}\otimes\hat{e}_{j}
-T_{11} & T_{12} & T_{13} \
+=\begin{pmatrix}
-T_{21} & T_{22} & T_{23} \
+T_{11}& T_{12}& T_{13}\
-T_{31} & T_{32} & T_{33}
+T_{21}& T_{22}& T_{23}\
+T_{31}& T_{32}& T_{33}
 \end{pmatrix}
 </math>
-ein Tensor mit den Komponenten <math> T_{ij} </math> bezüglich dieser Standardbasis. Dann berechnet sich
+ein Tensor mit den Komponenten <math>T_{ij}</math> bezüglich dieser Standardbasis. Dann berechnet sich
-:<math> \mathrm{I}_{1}(\mathbf{T})=T_{11}+T_{22}+T_{33} </math>
-:<math> \mathrm{I}_{2}(\mathbf{T})
+:<math>\begin{align}
-=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}_1(\mathbf{T})=&T_{11}+T_{22}+T_{33}
-</math>
+\
-:<math> \mathrm{I}_{3}(\mathbf{T})
+\mathrm{I}_2(\mathbf{T})
-=T_{11}(T_{22}T_{33}-T_{23}T_{32})+T_{12}(T_{23}T_{31}-T_{21}T_{33})
+=&T_{11}T_{22}+T_{11}T_{33}+T_{22}T_{33}-T_{12}T_{21}-T_{13}T_{31}-T_{23}T_{32}
-+T_{13}(T_{21}T_{32}-T_{22}T_{31}) </math>
+\
+\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{align}</math>
 === Hauptinvarianten in Komponenten bezüglich einer allgemeinen Basis ===
-Seien <math> \vec{a}_{1,2,3} </math> und <math> \vec{b}_{1,2,3} </math> zwei beliebige Basissysteme des <math> \mathbb{V}^{3} </math> und
+Seien <math>\vec{a}_{1,2,3}</math> und <math>\vec{b}_{1,2,3}</math> zwei beliebige Basissysteme des <math>\mathbb{V}^3</math> und
-:<math> \mathbf{T}
+:<math>\mathbf{T}
-=\sum_{i,j=1}^{3}T^{ij}\vec{a}_{i}\otimes \vec{b}_{j}
+=\sum_{i,j=1}^3T^{ij}\vec{a}_{i}\otimes\vec{b}_{j}
-= \begin{pmatrix}
+=\begin{pmatrix}
-T^{11} & T^{12} & T^{13} \
+T^{11}& T^{12}& T^{13}\
-T^{21} & T^{22} & T^{23} \
+T^{21}& T^{22}& T^{23}\
-T^{31} & T^{32} & T^{33}
+T^{31}& T^{32}& T^{33}
-\end{pmatrix}_{\vec{a}_{i}\otimes \vec{b}_{j}}
+\end{pmatrix}_{\vec{a}_{i}\otimes\vec{b}_{j}}
 </math>
-ein Tensor mit den Komponenten <math> T^{ij} </math> bezüglich dieser Basen. Dann berechnet sich
+ein Tensor mit den Komponenten <math>T^{ij}</math> bezüglich dieser Basen. Dann berechnet sich
-:<math> \mathrm{I}_{1}(\mathbf{T})
+:<math>\mathrm{I}_1(\mathbf{T})
-=\sum_{i,j=1}^{3}T^{ij}\vec{a}_{i}\cdot \vec{b}_{j} </math>
+=\sum_{i,j=1}^3T^{ij}\vec{a}_{i}\cdot\vec{b}_{j}</math>
-:<math> \mathrm{I}_{2}(\mathbf{T})
+:<math>\mathrm{I}_2(\mathbf{T})
-=\dfrac{1}{2}\sum_{i,j,k,l=1}^{3}
+=\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})
+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})]
+-(\vec{a}_{i}\cdot\vec{b}_{l})(\vec{a}_{k}\cdot\vec{b}_{j})]
 </math>
-:<math> \mathrm{I}_3(\mathbf{T})
+:<math>\mathrm{I}_3(\mathbf{T})
 =
 \begin{vmatrix}
@@ Zeile 83: / Zeile 90: @@
 T^{31}& T^{32}& T^{33}
 \end{vmatrix}
-\begin{vmatrix}\vec{a}_{1}& \vec{a}_{2}& \vec{a}_{3}\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}
+\begin{vmatrix}\vec{b}_1&\vec{b}_2&\vec{b}_3\end{vmatrix}
 </math>
+wo die letzten beiden Determinanten den [[Spatprodukt]]en der Basisvektoren entsprechen.
 === Zusammenhang mit dem äußeren Tensorprodukt ===
 Das äußere Tensorprodukt # ist mittels Dyaden 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}) </math>
+:=(\vec{a}\times\vec{b})\otimes (\vec{g}\times\vec{h})</math>
 Mit diesem und dem [[Frobenius-Skalarprodukt]] „<math>:</math>“ von Tensoren bekommen die drei Hauptinvarianten die Darstellungen
 :<math>
-  \begin{align}
+ \begin{align}
-    \mathrm{I}_{1}(\mathbf{T})
+   \mathrm{I}_1(\mathbf{T})
      &=
-    \frac{1}{2}(\mathbf{T}\# \mathbf{I}): \mathbf{I}\;,\
+   \frac{1}{2}(\mathbf{T}\#\mathbf{1}):\mathbf{1}\;,\
-    \mathrm{I}_{2}(\mathbf{T})
+   \mathrm{I}_2(\mathbf{T})
      &=
-    \frac{1}{2}(\mathbf{T}\# \mathbf{T}): \mathbf{I}\;,\
+   \frac{1}{2}(\mathbf{T}\#\mathbf{T}):\mathbf{1}\;,\
-    \mathrm{I}_{3}(\mathbf{T})
+   \mathrm{I}_3(\mathbf{T})
      &=
-    \frac{1}{6}(\mathbf{T}\# \mathbf{T}): \mathbf{T}\;.
+   \frac{1}{6}(\mathbf{T}\#\mathbf{T}):\mathbf{T}\;.
-  \end{align}
+ \end{align}
 </math>
 == Zusammenhang mit anderen Invarianten ==
 === Eigenwerte ===
-Die Eigenwerte <math> \lambda_{1,2,3} </math> eines Tensors zweiter Stufe sind die Lösungen <math> p(\lambda )=0 </math> seines charakteristischen Polynoms und ebenfalls Invarianten. Nach dem [[Satz von Vieta]] gilt:
+Die Eigenwerte <math>\lambda_{1,2,3}</math> eines Tensors zweiter Stufe sind die Lösungen <math>p(\lambda )=0</math> seines charakteristischen Polynoms und ebenfalls Invarianten. Nach dem [[Satz von Vieta]] gilt:
-:<math> \begin{array}{rcl}
-\mathrm{I}_{1} &=& \lambda_{1}+\lambda_{2}+\lambda_{3}
+:<math>\begin{align}
+\mathrm{I}_1=&\lambda_1+\lambda_2+\lambda_3
 \
-\mathrm{I}_{2}
+\mathrm{I}_2
-&=&
+=&
-\lambda_{1}\lambda_{2}+\lambda_{2}\lambda_{3}+\lambda_{3}\lambda_{1}
+\lambda_1\lambda_2+\lambda_2\lambda_3+\lambda_3\lambda_1
 \
-\mathrm{I}_{3} &=& \lambda_{1}\lambda_{2}\lambda_{3}
+\mathrm{I}_3=&\lambda_1\lambda_2\lambda_3
-\end{array} </math>.
+\end{align}</math>.
 === Betrag eines Tensors ===
 Der Betrag eines Tensors
-:<math> \left\| \mathbf{T} \right\|
-:=\sqrt{\mathbf{T}: \mathbf{T}}
-:=\sqrt{\operatorname{Sp}(\mathbf{T}^{\mathrm{T}}\cdot\mathbf{T})} </math>,
-definiert mit der [[Frobeniusnorm]] <math> \left\| ( \cdot ) \right\| </math> und dem [[Frobenius-Skalarprodukt]] „<math>:</math>“, lässt sich im Allgemeinen nicht mit den drei Hauptinvarianten darstellen. Es gelingt aber bei symmetrischen oder schiefsymmetrischen Tensoren. Bei symmetrischen Tensoren ist <math> \mathbf{T}=\mathbf{T}^{\mathrm{T}} </math>, d.&nbsp;h. der Tensor ist mit seiner [[Transponierte Matrix|transponierten]] identisch, und daher
+:<math>\left\|\mathbf{T}\right\|
+:=\sqrt{\mathbf{T}:\mathbf{T}}
+:=\sqrt{\mathrm{Sp}(\mathbf{T}^\top\cdot\mathbf{T})}</math>,
+definiert mit der [[Frobeniusnorm]] <math>\left\| (\cdot )\right\|</math> 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 <math>\mathbf{T}=\mathbf{T}^\top</math>, d.&nbsp;h. der Tensor ist mit seiner [[Transponierte Matrix|transponierten]] identisch, und daher
 :<math>
-  \begin{align}
+ \begin{align}
-    \mathrm{I}_{2}
+   \mathrm{I}_2
      &=
-    \frac{1}{2} \left[ \operatorname{Sp}{(\mathbf{T})}^{2} - \operatorname{Sp}(\mathbf{T}\cdot\mathbf{T}) \right]
+   \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} - \operatorname{Sp}(\mathbf{T}^{\mathrm{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]
+     =\frac{1}{2}\left[\mathrm{I}_1^2- {\left\|\mathbf{T}\right\| }^2\right]
-    \
+   \
-    \Rightarrow \quad \left\| \mathbf{T} \right\|
+   \Rightarrow\quad\left\|\mathbf{T}\right\|
      &=
-    \sqrt{\mathrm{I}_{1}^{2}-2\,\mathrm{I}_{2}}\;.
+   \sqrt{\mathrm{I}_1^2-2\,\mathrm{I}_2}\;.
-  \end{align}
+ \end{align}
 </math>
-Bei schiefsymmetrischen Tensoren ist <math> \mathbf{T} = -\mathbf{T}^{\mathrm{T}} </math> und daher <math> \operatorname{Sp}(\mathbf{T})=0 </math> und
+Bei schiefsymmetrischen Tensoren ist <math>\mathbf{T}= -\mathbf{T}^\top</math> und daher <math>\mathrm{Sp}(\mathbf{T})=0</math> und
 :<math>
-  \begin{align}
+ \begin{align}
-    \mathrm{I}_{2}
+   \mathrm{I}_2
      &=
-    \frac{1}{2} \left[ \operatorname{Sp}{(\mathbf{T})}^{2} - \operatorname{Sp}(\mathbf{T}\cdot\mathbf{T}) \right]
+   \frac{1}{2}\left[\mathrm{Sp}{(\mathbf{T})}^2-\mathrm{Sp}(\mathbf{T}\cdot\mathbf{T})\right]
-     =\frac{1}{2}\operatorname{Sp}(\mathbf{T}^{\mathrm{T}} \cdot \mathbf{T})
+     =\frac{1}{2}\mathrm{Sp}(\mathbf{T}^\top\cdot\mathbf{T})
-     =\frac{1}{2}{ \left\| \mathbf{T} \right\| }^{2}
+     =\frac{1}{2}{\left\|\mathbf{T}\right\| }^2
-    \
+   \
-    \Rightarrow \quad \left\| \mathbf{T} \right\|
+   \Rightarrow\quad\left\|\mathbf{T}\right\|
-     &= \sqrt{2\,\mathrm{I}_{2}}\;.
+     &=\sqrt{2\,\mathrm{I}_2}\;.
-  \end{align}
+ \end{align}
 </math>
@@ Zeile 158: / Zeile 171: @@
 Die drei Hauptinvarianten lassen sich auch mit den Spuren der Potenzen eines Tensors darstellen, die ebenfalls Invarianten sind. Sei
 :<math>
-  \mathrm{J}_{n}:=\operatorname{Sp}(\mathbf{T}^{n})
+ \mathrm{J}_{n}:=\mathrm{Sp}(\mathbf{T}^{n})
-   :=\operatorname{Sp}(\underbrace{\mathbf{T}\cdot\mathbf{T}\cdot\ldots\cdot\mathbf{T}}_{n\text{-mal}}),
+   :=\mathrm{Sp}(\underbrace{\mathbf{T}\cdot\mathbf{T}\cdot\ldots\cdot\mathbf{T}}_{n\text{-mal}}),
-  \quad
+ \quad
    n=1,2,3,\ldots\;,
 </math>
 dann gilt
 :<math>
-  \begin{align}
+ \begin{align}
-    \mathrm{I}_{1} &= {\mathrm{J}}_{1}\;,
+   \mathrm{I}_1&= {\mathrm{J}}_1\;,
-    \
+   \
-    \mathrm{I}_{2} &= \frac{1}{2} ({\mathrm{J}}_{1}^{2} - {\mathrm{J}}_{2})\;,
+   \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})
+   \mathrm{I}_3&=\frac{1}{6}(2{\mathrm{J}}_3+ {\mathrm{J}}_1^3- 3{\mathrm{J}}_1{\mathrm{J}}_2)
      =
-    \frac{1}{3}( \operatorname{J}_{3} + 3 \operatorname{I}_{1} \operatorname{I}_{2} - \operatorname{I}_{1}^{3} )\;.
+   \frac{1}{3}(\mathrm{J}_3+ 3\mathrm{I}_1\mathrm{I}_2-\mathrm{I}_1^3)\;.
-  \end{align}
+ \end{align}
 </math>
@@ Zeile 179: / Zeile 192: @@
 In der [[Hyperelastizität]] wird die Formänderungsenergie, die aufgebracht werden muss um einen Körper zu verformen, manchmal als Funktion der Hauptinvarianten des [[Verzerrungstensor]]s modelliert. Die [[Spannungstensor|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 [[Gateaux-Differential|Ableitung]] einer skalarwertigen Funktion <math> f(\mathbf{T}) </math> nach dem Tensor <math> \mathbf{T} </math> ist der Tensor <math> \mathbf{A} </math> für den gilt
+Die [[Gateaux-Differential|Ableitung]] einer skalarwertigen Funktion <math>f(\mathbf{T})</math> nach dem Tensor <math>\mathbf{T}</math> ist der Tensor <math>\mathbf{A}</math> für den gilt
-:<math> \mathbf{A}: \mathbf{H}
+:<math>\mathbf{A}:\mathbf{H}
-=\left.\dfrac{\mathrm{d}f(\mathbf{T}+s\mathbf{H})}{\mathrm{d}s}\right|_{s=0}
+=\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}) </math>
+\mathbf{H}\in\text{Lin}(\mathbb{V}^3,\mathbb{V}^3)</math>
 Man schreibt dann auch
-:<math> \dfrac{\mathrm{d}f}{\mathrm{d}\mathbf{T}}=\mathbf{A} </math>.
+:<math>\frac{\mathrm{d}f}{\mathrm{d}\mathbf{T}}=\mathbf{A}</math>.
 So berechnet sich:
-:<math>
-\left.\dfrac{\mathrm{d}\mathrm{I}_{1}(\mathbf{T}+s\mathbf{H})}{\mathrm{d}s}
+:<math>\begin{align}
+\left.\frac{\mathrm{d}\mathrm{I}_1(\mathbf{T}+s\mathbf{H})}{\mathrm{d}s}
 \right|_{s=0}
-=\mathrm{I}_{1}(\mathbf{H})
+=&\mathrm{I}_1(\mathbf{H})
-=\mathbf{I}: \mathbf{H}
+=\mathbf{1}:\mathbf{H}
 \rightarrow
-\dfrac{\mathrm{d}\mathrm{I}_{1}(\mathbf{T})}{\mathrm{d}\mathbf{T}}
+\frac{\mathrm{d}\mathrm{I}_1(\mathbf{T})}{\mathrm{d}\mathbf{T}}
-=\mathbf{I} </math>
+=\mathbf{1}
-:<math> \begin{array}{rcl}
+\\
-\left.
+\left.\frac{\mathrm{d}\mathrm{I}_2(\mathbf{T}+s\mathbf{H})}{\mathrm{d}s}
-\dfrac{\mathrm{d}\mathrm{I}_{2}(\mathbf{T}+s\mathbf{H})}{\mathrm{d}s}
 \right|_{s=0}
-&=&
+=&
-\dfrac{\mathrm{d}}{\mathrm{d}s}
+\left.\frac{\mathrm{d}}{\mathrm{d}s}
-\dfrac{1}{2}[\mathrm{I}_{1}(\mathbf{T}+s\mathbf{H})^{2}
+\frac{1}{2}[\mathrm{I}_1(\mathbf{T}+s\mathbf{H})^2
--\mathrm{I}_{1}((\mathbf{T}+s\mathbf{H})^{2})]|_{s=0}
+-\mathrm{I}_1((\mathbf{T}+s\mathbf{H})^2)]\right|_{s=0}
 \
-&=&
+=&
-\dfrac{1}{2}[2\mathrm{I}_{1}(\mathbf{T}+s\mathbf{H})\mathrm{I}_{1}(\mathbf{H})
+\left.\frac{1}{2}[2\mathrm{I}_1(\mathbf{T}+s\mathbf{H})
--2\mathrm{I}_{1}((\mathbf{T}+s\mathbf{H})\cdot\mathbf{H})]|_{s=0}
+\mathrm{I}_1(\mathbf{H})
-=\mathrm{I}_{1}(\mathbf{T})\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}\cdot\mathbf{H})
+\=&
+\mathrm{I}_1(\mathbf{T})\mathrm{I}_1(\mathbf{H})
+-\mathrm{I}_1(\mathbf{T}\cdot\mathbf{H})
 \
-\rightarrow \dfrac{\mathrm{d}\mathrm{I}_{2}(\mathbf{T})}{\mathrm{d}\mathbf{T}}
+\rightarrow\frac{\mathrm{d}\mathrm{I}_2(\mathbf{T})}{\mathrm{d}\mathbf{T}}
-&=&
+=&
-\mathrm{I}_{1}(\mathbf{T})\mathbf{I}-\mathbf{T}^{\mathrm{T}}
+\mathrm{I}_1(\mathbf{T})\mathbf{1}-\mathbf{T}^\top
-\end{array} </math>
+\end{align}</math>
+Mit dem charakteristischen Polynom und dem [[Determinantenproduktsatz]] zeigt sich
-Wegen
+:<math>\begin{align}
-:<math> \begin{array}{rcl}
 \mathrm{det}(\mathbf{T}+s\mathbf{H})
-&=&
+=&
 \mathrm{det}\left(s\mathbf{T}\cdot\left(
-\dfrac{1}{s}\mathbf{I}+\mathbf{T}^{-1}\cdot\mathbf{H}\right)\right)
+\frac{1}{s}\mathbf{1}+\mathbf{T}^{-1}\cdot\mathbf{H}\right)\right)
-=\mathrm{det}(\mathbf{T}) s^{3}
+=\mathrm{det}(\mathbf{T}) s^3
-\mathrm{det}\left(\dfrac{1}{s}\mathbf{I}
+\mathrm{det}\left(\mathbf{T}^{-1}\cdot\mathbf{H}
-+\mathbf{T}^{-1}\cdot\mathbf{H}\right)
++\frac{1}{s}\mathbf{1}\right)
 \
-&=&
+=&
-\mathrm{det}(\mathbf{T})s^{3}\left(\dfrac{1}{s^{3}}+\dfrac{1}{s^{2}}
+\mathrm{det}(\mathbf{T})s^3\left(\frac{1}{s^3}+\frac{1}{s^2}
-\mathrm{I}_{1}(\mathbf{T}^{-1}\cdot\mathbf{H})
+\mathrm{I}_1(\mathbf{T}^{-1}\cdot\mathbf{H})
-+\dfrac{1}{s}\mathrm{I}_{2}(\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{I}_3(\mathbf{T}^{-1}\cdot\mathbf{H})\right)
 \
-&=&
+=&
-\mathrm{det}(\mathbf{T})[1+s\mathrm{I}_{1}(\mathbf{T}^{-1}\cdot\mathbf{H})
+\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^2\mathrm{I}_2(\mathbf{T}^{-1}\cdot\mathbf{H})
-+s^{3}\mathrm{I}_{3}(\mathbf{T}^{-1}\cdot\mathbf{H})]
++s^3\mathrm{I}_3(\mathbf{T}^{-1}\cdot\mathbf{H})]
-\end{array} </math>
+\end{align}</math>
+Daraus berechnet sich die Ableitung
-berechnet sich
+:<math>\begin{align}
-:<math> \begin{array}{rcl}
 \left.
-\dfrac{\mathrm{d}}{\mathrm{d}s}
+\frac{\mathrm{d}}{\mathrm{d}s}
 \mathrm{det}(\mathbf{T}+s\mathbf{H})
 \right|_{s=0}
-&=&
+=&
-\dfrac{\mathrm{d}}{\mathrm{d}s}
+\mathrm{det}(\mathbf{T})\mathrm{I}_1(\mathbf{T}^{-1}\cdot\mathbf{H})
-\left.\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})]\right|_{s=0}
 \
-&=&
+\rightarrow\frac{\mathrm{d}\mathrm{I}_3(\mathbf{T})}{\mathrm{d}\mathbf{T}}
-\mathrm{det}(\mathbf{T})\mathrm{I}_{1}(\mathbf{T}^{-1}\cdot\mathbf{H})
+=&\mathrm{det}(\mathbf{T})\mathbf{T}^{\top-1}
-\
+\end{align}</math>.
-\rightarrow \dfrac{\mathrm{d}\mathrm{I}_{3}(\mathbf{T})}{\mathrm{d}\mathbf{T}}
-&=&\mathrm{det}(\mathbf{T})\mathbf{T}^{\mathrm{T}-1}
+Diese Ableitung existiert nur, wenn '''T''' invertierbar, also det('''T''')&nbsp;≠&nbsp;0 ist.
-\end{array} </math>.
 == Anwendungen ==
 Die folgenden Beispiele zeigen die Benutzung der Hauptinvarianten in Materialtheorien und oft benutzten Materialmodellen:
-# [[Hookesches Gesetz]]: Der [[Spannungstensor]] <math> \boldsymbol{\sigma} </math> berechnet sich aus dem [[Verzerrungstensor]] <math> \boldsymbol{\varepsilon} </math> gemäß <math> \boldsymbol{\sigma}=2G\left(\boldsymbol{\varepsilon} +\dfrac{\nu}{1-2\nu}{\color{red}\mathrm{I}_{1}(\boldsymbol{\varepsilon})}\mathbf{I}\right) </math>. Darin ist <math> G </math> der [[Schubmodul]] und <math> \nu </math> die [[Poissonzahl|Querkontraktionszahl]].
+# [[Hookesches Gesetz]]: Der [[Spannungstensor]] <math>\boldsymbol{\sigma}</math> berechnet sich aus dem [[Verzerrungstensor]] <math>\boldsymbol{\varepsilon}</math> gemäß <math>\boldsymbol{\sigma}=2G\left(\boldsymbol{\varepsilon}+\frac{\nu}{1-2\nu}{\color{red}\mathrm{I}_1(\boldsymbol{\varepsilon})}\mathbf{1}\right)</math>. Darin ist <math>G</math> der [[Schubmodul]] und <math>\nu</math> die [[Poissonzahl|Querkontraktionszahl]].
-# [[Hyperelastizität]]: Die Formänderungsenergiedichte <math> \psi </math> im Neo-Hooke Modell ist <math> \psi=\mu ({\color{red}\mathrm{I}_{1}(\mathbf{b})}-3) </math>. Darin ist <math> \mu </math> ein Materialparameter und <math> \mathbf{b} </math> der [[Strecktensor|linke Cauchy-Green Tensor]].
+# [[Hyperelastizität]]: Die Formänderungsenergiedichte <math>\psi</math> im Neo-Hooke Modell ist <math>\psi=\mu ({\color{red}\mathrm{I}_1(\mathbf{b})}-3)</math>. Darin ist <math>\mu</math> ein Materialparameter und <math>\mathbf{b}</math> der [[Strecktensor|linke Cauchy-Green Tensor]].
-# [[Plastizitätstheorie]], [[Festigkeitslehre]]: Die [[Vergleichsspannung|v. Mises Vergleichsspannung]] <math> \boldsymbol{\sigma}_{v}
+# [[Plastizitätstheorie]], [[Festigkeitslehre]]: Die [[Vergleichsspannung|v. Mises Vergleichsspannung]] <math>\boldsymbol{\sigma}_{v}
-=\sqrt{-3{\color{red}\mathrm{I}_{2}(\boldsymbol{\sigma}^{\mathrm{D}})}} </math> ist eine Funktion der zweiten Hauptinvariante des [[Spannungsdeviator]]s <math> \boldsymbol{\sigma}^{\mathrm{D}}:=\boldsymbol{\sigma} -\dfrac{{\color{red}\mathrm{I}_{1}(\boldsymbol{\sigma})}}{3}\mathbf{I} </math>.
+=\sqrt{-3{\color{red}\mathrm{I}_2(\boldsymbol{\sigma}^{\mathrm{D}})}}</math> ist eine Funktion der zweiten Hauptinvariante des [[Spannungsdeviator]]s <math>\boldsymbol{\sigma}^{\mathrm{D}}:=\boldsymbol{\sigma}-\frac{{\color{red}\mathrm{I}_1(\boldsymbol{\sigma})}}{3}\mathbf{1}</math>.
-# [[Inkompressibilität]]: Hier ist die dritte Hauptinvariante des [[Deformationsgradient]]en <math> \mathbf{F} </math> an jedem materiellen Punkt konstant: <math> {\color{red}\mathrm{I}_{3}(\mathbf{F})}\equiv 1 </math>.
+# [[Inkompressibilität]]: Hier ist die dritte Hauptinvariante des [[Deformationsgradient]]en <math>\mathbf{F}</math> an jedem materiellen Punkt konstant: <math>{\color{red}\mathrm{I}_3(\mathbf{F})}\equiv 1</math>.
 == Beispiel ==
-Es wird der Nachweis der Invarianz der Spur eines Tensors erbracht. Seien <math> \vec{a}_{1,2,3} </math> und <math>\vec{b}_{1,2,3} </math> zwei beliebige Basissysteme des <math> \mathbb{V}^{3} </math> und
+Es wird der Nachweis der Invarianz der Spur eines Tensors erbracht. Seien <math>\vec{a}_{1,2,3}</math> und <math>\vec{b}_{1,2,3}</math> zwei beliebige Basissysteme des <math>\mathbb{V}^3</math> und
-:<math> \mathbf{T}
+:<math>\mathbf{T}
-=\sum_{i,j=1}^{3}T_{ij}\vec{a}_{i}\otimes \vec{b}_{j}
+=\sum_{i,j=1}^3T_{ij}\vec{a}_{i}\otimes\vec{b}_{j}
 \rightarrow
-\operatorname{Sp}(\mathbf{T})
+\mathrm{Sp}(\mathbf{T})
-=\sum_{i,j=1}^{3}T_{ij}\vec{a}_{i}\cdot \vec{b}_{j} </math>.
+=\sum_{i,j=1}^3T_{ij}\vec{a}_{i}\cdot\vec{b}_{j}</math>.
-Beim Wechsel zu anderen Basen <math> \vec{c}_{1,2,3} </math> und <math> \vec{d}_{1,2,3} </math> mit [[Duale Basis|dualen Basen]] <math> \vec{c}^{1,2,3} </math> und <math> \vec{d}^{1,2,3} </math> berechnen sich die neuen Komponenten <math> T_{ij}^{\mathrm*} </math> gemäß
+Beim Wechsel zu anderen Basen <math>\vec{c}_{1,2,3}</math> und <math>\vec{d}_{1,2,3}</math> mit [[Duale Basis|dualen Basen]] <math>\vec{c}^{1,2,3}</math> und <math>\vec{d}^{1,2,3}</math> berechnen sich die neuen Komponenten <math>T_{ij}^{\mathrm*}</math> gemäß
-:<math> \begin{array}{rcl}
+:<math>\begin{align}
 \mathbf{T}
-&=& \displaystyle
+=&
-\sum_{i,j=1}^{3}T_{ij}\vec{a}_{i}\otimes \vec{b}_{j}
+\sum_{i,j=1}^3T_{ij}\vec{a}_{i}\otimes\vec{b}_{j}
-=\sum_{i,j,k,l=1}^{3}
+=\sum_{i,j,k,l=1}^3
-T_{ij}(\vec{a}_{i}\cdot \vec{c}^{k})\vec{c}_{k}\otimes
+T_{ij}(\vec{a}_{i}\cdot\vec{c}^{k})\vec{c}_{k}\otimes
-(\vec{b}_{j}\cdot \vec{d}^{l})\vec{d}_{l}
+(\vec{b}_{j}\cdot\vec{d}^{l})\vec{d}_{l}
-=:\sum_{k,l}T_{kl}^{\ast}\vec{c}_{k}\otimes \vec{d}_{l}
+\=:&
+\sum_{k,l}T_{kl}^{\ast}\vec{c}_{k}\otimes\vec{d}_{l}
 =:\mathbf{T}^{\ast}
-\[2ex]
+\
 \rightarrow T_{kl}^{\ast}
-&=& \displaystyle
+=&
-\sum_{i,j=1}^{3} T_{ij}(\vec{a}_{i}\cdot \vec{c}^{k})
+\sum_{i,j=1}^3T_{ij}(\vec{a}_{i}\cdot\vec{c}^{k})
-(\vec{b}_{j}\cdot \vec{d}^{l})
+(\vec{b}_{j}\cdot\vec{d}^{l})
-\end{array} </math>
+\end{align}</math>
-Die Spur mit den neuen Komponenten <math> T_{ij}^{\ast} </math> ergibt sich also zu
+Die Spur mit den neuen Komponenten <math>T_{ij}^{\ast}</math> ergibt sich also zu
-:<math> \begin{array}{rcl}
-\operatorname{Sp}(\mathbf{T}^{\ast})
+:<math>\begin{align}
-&=& \displaystyle
+\mathrm{Sp}(\mathbf{T}^{\ast})
-\operatorname{Sp}\left(
+=&
-\sum_{k,l=1}^{3} T_{kl}^{\ast}\vec{c}_{k}\otimes \vec{d}_{l} \right)
+\mathrm{Sp}\left(
-=\sum_{k,l=1}^{3} T_{kl}^{\ast} \vec{c}_{k}\cdot \vec{d}_{l}
+\sum_{k,l=1}^3T_{kl}^{\ast}\vec{c}_{k}\otimes\vec{d}_{l}\right)
-=\sum_{i,j,k,l=1}^{3} T_{ij}(\vec{a}_{i}\cdot \vec{c}^{k})
+=\sum_{k,l=1}^3T_{kl}^{\ast}\vec{c}_{k}\cdot\vec{d}_{l}
-(\vec{b}_{j}\cdot \vec{d}^{l})\vec{c}_{k}\cdot \vec{d}_{l}
+\=&
-\[2ex]
+\sum_{i,j,k,l=1}^3T_{ij}(\vec{a}_{i}\cdot\vec{c}^{k})
-&=& \displaystyle
+(\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,k,l=1}^3
-=\sum_{i,j=1}^{3} T_{ij}\vec{a}_{i}\cdot \vec{b}_{j}
+T_{ij}(\vec{a}_{i}\cdot\vec{c}^{k})\vec{c}_{k}\cdot
-=\operatorname{Sp}(\mathbf{T})
+(\vec{b}_{j}\cdot\vec{d}^{l})\vec{d}_{l}
-\end{array} </math>
+=\sum_{i,j=1}^3T_{ij}\vec{a}_{i}\cdot\vec{b}_{j}
+=\mathrm{Sp}(\mathbf{T})
+\end{align}</math>
 was zu zeigen war.