Lineare Abbildung eines Vektors
v
→
{\displaystyle {\vec {v}}}
durch einen Tensor
T
{\displaystyle \mathbf {T} }
.
Eine isotrope Funktion ist in der Kontinuumsmechanik eine von einem oder mehreren Skalaren , geometrischen Vektoren oder Tensoren abhängige Funktion , deren Wert bei einer Drehung ihrer Argumente genauso transformiert wird wie ihre Argumente. Tensoren zweiter Stufe werden hier als lineare Abbildungen von geometrischen Vektoren auf geometrische Vektoren benutzt, die im Allgemeinen dabei gedreht und gestreckt werden, siehe die Abbildung rechts. Die Tensoren bestehen aus Dyaden von zwei geometrischen Vektoren und werden gedreht, indem beide Vektoren in der Dyade in gleicher Weise gedreht werden. Eine isotrope Funktion folgt dieser Drehung ihrer Argumente.
Isotrope Funktionen spielen eine wichtige Rolle in der Definition von Eigenschaften isotroper Materialien, z. B. in der Hyperelastizität .
Gegeben sei der dreidimensionale euklidische Vektorraum
V
{\displaystyle \mathbb {V} }
, der Vektorraum
L
(
V
,
V
)
{\displaystyle {\mathcal {L}}(\mathbb {V} ,\mathbb {V} )}
der linearen tensoriellen Abbildungen dieses Raumes auf sich und die Spezielle orthogonale Gruppe
S
O
=
{
Q
∈
L
|
Q
−
1
=
Q
T
∧
det
(
Q
)
=
+
1
}
{\displaystyle {\mathcal {SO}}=\{\mathbf {Q} \in {\mathcal {L}}|\mathbf {Q} ^{-1}=\mathbf {Q} ^{\mathrm {T} }\;\wedge \;\det(\mathbf {Q} )=+1\}}
der eigentlich orthogonalen Tensoren , die reine Drehungen ohne Spiegelungen verkörpern. Dann gelten bei einer Drehung die Transformationsgleichungen
Größe
Transformierte Größe
Skalar
y
∈
R
{\displaystyle y\in \mathbb {R} }
y
′
=
y
{\displaystyle y'=y}
Vektor
v
→
∈
V
{\displaystyle {\vec {v}}\in \mathbb {V} }
v
→
′
=
Q
⋅
v
→
{\displaystyle {\vec {v}}'=\mathbf {Q} \cdot {\vec {v}}}
Tensor
T
∈
L
{\displaystyle \mathbf {T} \in {\mathcal {L}}}
T
′
=
Q
⋅
T
⋅
Q
T
{\displaystyle \mathbf {T} '=\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} }}
Eine skalare Funktion reell-, vektor- oder tensorwertiger Argumente ist isotrop, wenn für jeden orthogonalen Tensor aus der speziellen orthogonalen Gruppe gilt:
f
(
y
1
,
y
2
,
…
,
v
→
1
,
v
→
2
,
…
,
T
1
,
T
2
,
…
)
=
…
…
=
f
(
y
1
,
y
2
,
…
,
Q
⋅
v
→
1
,
Q
⋅
v
→
2
,
…
,
Q
⋅
T
1
⋅
Q
T
,
Q
⋅
T
2
⋅
Q
T
,
…
)
∀
Q
∈
S
O
mit
y
1
,
y
2
,
…
∈
R
,
v
→
1
,
v
→
2
,
…
∈
V
,
T
1
,
T
2
,
…
∈
L
{\displaystyle {\begin{array}{l}f(y_{1},y_{2},\ldots ,{\vec {v}}_{1},{\vec {v}}_{2},\ldots ,\mathbf {T} _{1},\mathbf {T} _{2},\dots )=\ldots \\\ldots =f(y_{1},y_{2},\ldots ,\mathbf {Q} \cdot {\vec {v}}_{1},\mathbf {Q} \cdot {\vec {v}}_{2},\ldots ,\mathbf {Q\cdot T} _{1}\cdot \mathbf {Q} ^{\mathrm {T} },\mathbf {Q\cdot T} _{2}\cdot \mathbf {Q} ^{\mathrm {T} },\ldots )\quad \forall \;\mathbf {Q} \in {\mathcal {SO}}\\{\textsf {mit}}\quad y_{1},y_{2},\ldots \in \mathbb {R} \,,\quad {\vec {v}}_{1},{\vec {v}}_{2},\ldots \in \mathbb {V} \,,\quad \mathbf {T} _{1},\mathbf {T} _{2},\ldots \in {\mathcal {L}}\end{array}}}
Eine Tensorfunktion von Tensoren ist isotrop, wenn für jeden orthogonalen Tensor aus der speziellen orthogonalen Gruppe gilt:
f
(
Q
⋅
T
1
⋅
Q
T
,
Q
⋅
T
2
⋅
Q
T
,
…
)
=
Q
⋅
f
(
T
1
,
T
2
,
…
)
⋅
Q
T
∀
Q
∈
S
O
mit
T
1
,
T
2
,
…
∈
L
{\displaystyle {\begin{array}{l}\mathbf {f} (\mathbf {Q\cdot T} _{1}\cdot \mathbf {Q} ^{\mathrm {T} },\mathbf {Q\cdot T} _{2}\cdot \mathbf {Q} ^{\mathrm {T} },\ldots )=\mathbf {Q} \cdot \mathbf {f} (\mathbf {T} _{1},\mathbf {T} _{2},\dots )\cdot \mathbf {Q} ^{\mathrm {T} }\quad \forall \;\mathbf {Q} \in {\mathcal {SO}}\\{\textsf {mit}}\quad \mathbf {T} _{1},\mathbf {T} _{2},\ldots \in {\mathcal {L}}\end{array}}}
Alle Hauptinvarianten und anderen Invarianten der Tensoren sind per definitionem isotrope Funktionen ihres Tensors, beispielsweise:
Sp
(
Q
⋅
T
⋅
Q
T
)
=
Sp
(
Q
T
⋅
Q
⋅
T
)
=
Sp
(
T
)
{\displaystyle \operatorname {Sp} (\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} })=\operatorname {Sp} (\mathbf {Q} ^{\mathrm {T} }\cdot \mathbf {Q\cdot T} )=\operatorname {Sp} (\mathbf {T} )}
.
Die Ableitungen[ 1] der Invarianten nach ihrem Tensor sind isotrope Tensorfunktionen, beispielsweise:
d
I
2
(
T
)
d
T
=
Sp
(
T
)
I
−
T
T
→
d
I
2
d
T
(
Q
⋅
T
⋅
Q
T
)
=
Sp
(
Q
⋅
T
⋅
Q
T
)
I
−
(
Q
⋅
T
⋅
Q
T
)
T
=
Sp
(
T
)
Q
⋅
I
⋅
Q
T
−
Q
⋅
T
T
⋅
Q
T
=
Q
⋅
(
Sp
(
T
)
I
−
T
T
)
⋅
Q
T
=
Q
⋅
d
I
2
(
T
)
d
T
⋅
Q
T
{\displaystyle {\begin{array}{rcl}{\dfrac {\mathrm {d} \operatorname {I} _{2}(\mathbf {T} )}{\mathrm {d} \mathbf {T} }}&=&\operatorname {Sp} (\mathbf {T} )\mathbf {I} -\mathbf {T} ^{\mathrm {T} }\\\rightarrow {\dfrac {\mathrm {d} \operatorname {I} _{2}}{\mathrm {d} \mathbf {T} }}(\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} })&=&\operatorname {Sp} (\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} })\mathbf {I} -(\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} })^{\mathrm {T} }\\&=&\operatorname {Sp} (\mathbf {T} )\mathbf {Q\cdot I\cdot Q} ^{\mathrm {T} }-\mathbf {Q\cdot T} ^{\mathrm {T} }\cdot \mathbf {Q} ^{\mathrm {T} }\\&=&\mathbf {Q} \cdot (\operatorname {Sp} (\mathbf {T} )\mathbf {I} -\mathbf {T} ^{\mathrm {T} })\cdot \mathbf {Q} ^{\mathrm {T} }\\&=&\mathbf {Q} \cdot {\dfrac {\mathrm {d} \operatorname {I} _{2}(\mathbf {T} )}{\mathrm {d} \mathbf {T} }}\cdot \mathbf {Q} ^{\mathrm {T} }\end{array}}}
Ein Polynom einer tensorwertigen Variable mit konstanten reellen Koeffizienten
f
(
T
)
=
a
0
I
+
∑
n
=
1
N
a
n
T
⋅
T
…
⋅
T
⏟
n-mal
{\displaystyle \mathbf {f} (\mathbf {T} )=a_{0}\mathbf {I} +\sum _{n=1}^{N}a_{n}\underbrace {\mathbf {T\cdot T\ldots \cdot T} } _{\textsf {n-mal}}}
ist eine isotrope Tensorfunktion, denn
f
(
Q
⋅
T
⋅
Q
T
)
=
a
0
I
+
∑
n
=
1
N
a
n
(
Q
⋅
T
⋅
Q
T
)
⋅
(
Q
⋅
T
⋅
Q
T
)
⋅
…
⋅
(
Q
⋅
T
⋅
Q
T
)
⏟
n-mal
=
a
0
Q
⋅
I
⋅
Q
T
+
∑
n
=
1
N
a
n
Q
⋅
T
⋅
T
⋅
…
⋅
T
⏟
n-mal
⋅
Q
T
=
Q
⋅
(
a
0
I
+
∑
n
=
1
N
a
n
T
⋅
T
…
⋅
T
⏟
n-mal
)
⋅
Q
T
=
Q
⋅
f
(
T
)
⋅
Q
T
{\displaystyle {\begin{array}{rcl}\mathbf {f} (\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} })&=&\displaystyle a_{0}\mathbf {I} +\sum _{n=1}^{N}a_{n}\underbrace {(\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} })\cdot (\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} })\cdot \ldots \cdot (\mathbf {Q\cdot T\cdot Q} ^{\mathrm {T} })} _{\textsf {n-mal}}\\&=&\displaystyle a_{0}\mathbf {Q\cdot I\cdot Q} ^{\mathrm {T} }+\sum _{n=1}^{N}a_{n}\mathbf {Q} \cdot \underbrace {\mathbf {T\cdot T\cdot \ldots \cdot T} } _{\textsf {n-mal}}\cdot \mathbf {Q} ^{\mathrm {T} }\\&=&\displaystyle \mathbf {Q} \cdot \left(a_{0}\mathbf {I} +\sum _{n=1}^{N}a_{n}\underbrace {\mathbf {T\cdot T\ldots \cdot T} } _{\textsf {n-mal}}\right)\cdot \mathbf {Q} ^{\mathrm {T} }\\&=&\mathbf {Q} \cdot \mathbf {f} (\mathbf {T} )\cdot \mathbf {Q} ^{\mathrm {T} }\end{array}}}
Die Spannungs- , Verzerrungs- und Strecktensoren spielen in der Formulierung von Materialmodellen in der Kontinuumsmechanik eine hervorragende Rolle und sind symmetrisch . Wenn nun die Argumente einer isotropen Tensorfunktion symmetrisch sind, dann hat diese Funktion besondere und wichtige Eigenschaften.
Die Eigenvektoren einer isotropen Tensorfunktion eines symmetrischen Tensors stimmen mit denen des Tensors überein. Wenn also
T
⋅
v
→
=
λ
v
→
{\displaystyle \mathbf {T} \cdot {\vec {v}}=\lambda {\vec {v}}}
gilt, dann ist
f
(
T
)
⋅
v
→
=
η
v
→
{\displaystyle \mathbf {f} (\mathbf {T} )\cdot {\vec {v}}=\eta {\vec {v}}}
,
d. h. die Eigenvektoren stimmen überein, nicht so aber – im Allgemeinen – die Eigenwerte. Dies ist einer der Ausgangspunkte für den folgenden Darstellungssatz.
Jede isotrope Tensorfunktion eines symmetrischen Argumentes lässt sich in der Form
f
(
T
)
=
ϕ
0
(
I
1
,
I
2
,
I
3
)
I
+
ϕ
1
(
I
1
,
I
2
,
I
3
)
T
+
ϕ
2
(
I
1
,
I
2
,
I
3
)
T
⋅
T
{\displaystyle \mathbf {f} (\mathbf {T} )=\phi _{0}(\operatorname {I} _{1},\operatorname {I} _{2},\operatorname {I} _{3})\mathbf {I} +\phi _{1}(\operatorname {I} _{1},\operatorname {I} _{2},\operatorname {I} _{3})\mathbf {T} +\phi _{2}(\operatorname {I} _{1},\operatorname {I} _{2},\operatorname {I} _{3})\mathbf {T\cdot T} }
wiedergeben. Darin sind
ϕ
0
,
1
,
2
{\displaystyle \phi _{0,1,2}}
skalare Funktionen der Hauptinvarianten
I
1
,
2
,
3
(
T
)
{\displaystyle \operatorname {I} _{1,2,3}(\mathbf {T} )}
des Tensors. Nach dem Satz von Cayley-Hamilton kann gleichbedeutend
f
(
T
)
=
ψ
0
(
I
1
,
I
2
,
I
3
)
I
+
ψ
1
(
I
1
,
I
2
,
I
3
)
T
+
ψ
−
1
(
I
1
,
I
2
,
I
3
)
T
−
1
{\displaystyle \mathbf {f} (\mathbf {T} )=\psi _{0}(\operatorname {I} _{1},\operatorname {I} _{2},\operatorname {I} _{3})\mathbf {I} +\psi _{1}(\operatorname {I} _{1},\operatorname {I} _{2},\operatorname {I} _{3})\mathbf {T} +\psi _{-1}(\operatorname {I} _{1},\operatorname {I} _{2},\operatorname {I} _{3})\mathbf {T} ^{-1}}
mit anderen skalaren Funktionen
ψ
−
1
,
0
,
1
{\displaystyle \psi _{-1,0,1}}
der Hauptinvarianten geschrieben werden.
Im Tensorprodukt einer isotropen Tensorfunktion eines symmetrischen Tensors mit ihrem Argument kann die Reihenfolge der Faktoren vertauscht werden:
f
(
T
)
⋅
T
=
T
⋅
f
(
T
)
{\displaystyle \mathbf {f} (\mathbf {T} )\cdot \mathbf {T} =\mathbf {T} \cdot \mathbf {f} (\mathbf {T} )}
,
was eine direkte Folge des obigen Darstellungssatzes ist.
↑ Die Fréchet-Ableitung einer skalaren Funktion
f
(
T
)
{\displaystyle f(\mathbf {T} )}
nach einem Tensor
T
{\displaystyle \mathbf {T} }
ist der Tensor
A
{\displaystyle \mathbf {A} }
für den – sofern er existiert – gilt:
A
:
H
=
d
d
s
f
(
T
+
s
H
)
|
s
=
0
=
lim
s
→
0
f
(
T
+
s
H
)
−
f
(
T
)
s
∀
H
{\displaystyle \mathbf {A} :\mathbf {H} =\left.{\frac {\mathrm {d} }{\mathrm {d} s}}f(\mathbf {T} +s\mathbf {H} )\right|_{s=0}=\lim _{s\rightarrow 0}{\frac {f(\mathbf {T} +s\mathbf {H} )-f(\mathbf {T} )}{s}}\quad \forall \;\mathbf {H} }
Darin ist
s
∈
R
{\displaystyle s\in \mathbb {R} }
und ":" das Frobenius-Skalarprodukt . Dann wird auch
∂
f
∂
T
=
A
{\displaystyle {\frac {\partial f}{\partial \mathbf {T} }}=\mathbf {A} }
geschrieben.