Kompatibilitätsbedingung: Unterschied zwischen den Versionen

Kompatibilitätsbedingung: Unterschied zwischen den Versionen

imported>TaxonBot
K (Bot: Anpassung an neue Vorlage:Literatur)
 
imported>Crazy1880
K (Vorlagen-fix (JSTOR))
 
Zeile 1: Zeile 1:
[[Datei:dehnungsfeld1.png|mini|Bei der Verformung in der Ebene entsprechen zwei Verschiebungen drei Verzerrungsfeldern <math>\varepsilon_{11},\varepsilon_{22}</math> und <math>\varepsilon_{12}</math>. Aus ihnen kann das Verschiebungsfeld unten rekonstruiert werden, wenn die Kompatibilitätsbedingungen eingehalten werden.]]
'''Kompatibilitätsbedingungen''' sind in der [[Kontinuumsmechanik]] Bedingungen, die erfüllt sein müssen, damit aus [[Differentialrechnung|Ableitungen]] eines Bewegungsfeldes nach dem Ort gebildeten Größen, das Bewegungsfeld rekonstruiert werden kann. Die abgeleiteten Größen sind dann ''kompatibel'' mit einem Bewegungsfeld.
'''Kompatibilitätsbedingungen''' sind in der [[Kontinuumsmechanik]] Bedingungen, die erfüllt sein müssen, damit aus [[Differentialrechnung|Ableitungen]] eines Bewegungsfeldes nach dem Ort gebildeten Größen, das Bewegungsfeld rekonstruiert werden kann. Die abgeleiteten Größen sind dann ''kompatibel'' mit einem Bewegungsfeld.


Bei der Bewegung eines Körpers durch den Raum treten in den für die Kontinuumsmechanik interessanten Fällen Verformungen auf, die sich durch die [[Verzerrungstensor|Verzerrungen]] quantifizieren lassen, die aus Ableitungen des Bewegungsfeldes nach dem Ort berechnet werden. Von den Verzerrungen gibt es im Allgemeinen dreidimensionalen Fall sechs Komponenten. Sollen aus ihnen die drei Komponenten der Bewegung in x-, y- bzw. z-Richtung rekonstruiert werden, ist klar, dass die Verzerrungen nicht voneinander unabhängig sein können. Bei einer ebenen Bewegung liegen drei Verzerrungsfelder <math>\varepsilon_{11},\varepsilon_{22}</math> und <math>\varepsilon_{12}</math> vor, die zwei Verschiebungskomponenten in x- bzw. y-Richtung entsprechen (nach Umbenennung gemäß dem Schema 1 → x und 2 → y). Einen solchen Fall zeigt die nebenstehende Abbildung. Nun kann sich die Frage stellen, ob sich aus den Verzerrungsfeldern die Bewegung rekonstruieren lässt. Dies kann genau dann gelingen, wenn die Verzerrungen die für sie formulierten Kompatibilitätsbedingungen einhalten.
Anwendung finden die Kompatibilitätsbedingungen in der Theorie der [[Spannungsfunktion]]en, mit deren Hilfe analytische Lösungen der ebenen und räumlichen, linearen Elastostatik berechnet werden können, z.&nbsp;B. bei der [[Airysche Spannungsfunktion|Airy’schen Spannungsfunktion]].


In dem die drei Komponenten der Bewegung in x-, y- und z-Richtung nach den drei Ortskoordinaten in x-, y- bzw. z-Richtung abgeleitet werden, entstehen insgesamt neun Ableitungen, die die Komponenten des [[Deformationsgradient]]en bilden. Auch für die neun Komponenten des Deformationsgradienten existieren Kompatibilitätsbedingungen, die diese einhalten müssen, damit aus ihnen die Bewegung wieder hergestellt werden kann.
== Einführung ==
=== Motivation ===
[[Datei:dehnungsfeld1.png|mini|Bei der Verformung in der Ebene entsprechen zwei Verschiebungen drei Verzerrungsfeldern <math>\varepsilon_{11},\varepsilon_{22}</math> und <math>\varepsilon_{12}</math>. Aus ihnen kann das Verschiebungsfeld unten rekonstruiert werden, wenn die Kompatibilitätsbedingungen eingehalten werden.]]
Bei der Bewegung eines Körpers durch den Raum treten in den für die Kontinuumsmechanik interessanten Fällen Verformungen auf, die sich durch die [[Verzerrungstensor|Verzerrungen]] quantifizieren lassen, die aus Ableitungen des Bewegungsfeldes nach dem Ort berechnet werden. Von den Verzerrungen gibt es im allgemeinen dreidimensionalen Fall sechs Komponenten. Sollen aus ihnen die drei Komponenten der Bewegung in x-, y- bzw. z-Richtung rekonstruiert werden, ist klar, dass die Verzerrungen nicht voneinander unabhängig sein können. Bei einer ebenen Bewegung liegen drei Verzerrungsfelder <math>\varepsilon_{11},\varepsilon_{22}</math> und <math>\varepsilon_{12}</math> vor, die zwei Verschiebungskomponenten in x- bzw. y-Richtung entsprechen (nach Umbenennung gemäß dem Schema 1 → x und 2 → y). Einen solchen Fall zeigt die nebenstehende Abbildung. Nun kann sich die Frage stellen, ob sich aus den Verzerrungsfeldern die Bewegung rekonstruieren lässt. Dies kann genau dann gelingen, wenn die Verzerrungen die für sie formulierten Kompatibilitätsbedingungen einhalten.


Anwendung finden die Kompatibilitätsbedingungen in der Theorie der [[Spannungsfunktion]]en, mit deren Hilfe analytische Lösungen der ebenen und räumlichen, linearen Elastostatik berechnet werden können, z.&nbsp;B. bei der [[Airysche Spannungsfunktion|Airy’schen Spannungsfunktion]].
Indem die drei Komponenten der Bewegung in x-, y- und z-Richtung nach den drei Ortskoordinaten in x-, y- bzw. z-Richtung abgeleitet werden, entstehen insgesamt neun Ableitungen, die die Komponenten des [[Deformationsgradient]]en bilden. Auch für die neun Komponenten des Deformationsgradienten existieren Kompatibilitätsbedingungen, die diese einhalten müssen, damit aus ihnen die Bewegung wieder hergestellt werden kann.


== Bewegungen ==
=== Bewegungen ===
Um die Bewegung eines Körpers zu beschreiben, wird zunächst jedem Partikel des Körpers über die [[Konfiguration (Mechanik)|Referenzkonfiguration]] eineindeutig ein „Name“ oder „Etikett“ zugeordnet. Dieser „Name“ soll hier die Position
Um die Bewegung eines Körpers zu beschreiben, wird zunächst jedem Partikel des Körpers über die [[Konfiguration (Mechanik)|Referenzkonfiguration]] eineindeutig ein „Name“ oder „Etikett“ zugeordnet. Dieser „Name“ soll hier die Position


Zeile 18: Zeile 19:
:<math>\vec{\chi}(\vec{X},t)
:<math>\vec{\chi}(\vec{X},t)
=\vec{x}
=\vec{x}
=\sum_{i=1}^{3}x_{i}\hat{e}_{i}\in\mathbb{V}^{3}</math>
=\sum_{i=1}^{3}x_{i}\hat{e}_{i}\in\mathbb{V}^{3}
</math>


mathematisch beschreibt. In Bezug auf die Standardbasis hat nun jedes Partikel zu einer Zeit <math>t\ge t_{0}</math> ''räumliche Koordinaten'' <math>x_{1,2,3}\in\mathbb{R}</math>.
mathematisch beschreibt. In Bezug auf die Standardbasis hat nun jedes Partikel zu einer Zeit <math>t\ge t_{0}</math> ''räumliche Koordinaten'' <math>x_{1,2,3}\in\mathbb{R}</math>.


== Linearisierter Verzerrungstensor ==
== Kompatibilitätsbedingungen ==
=== Linearisierter Verzerrungstensor ===
Der [[Verzerrungstensor#Linearisierter Verzerrungstensor|linearisierte Verzerrungstensor]] entsteht aus Ableitungen des ''Verschiebungsfeldes''. Die Verschiebung <math>\vec{u}</math> eines Partikels ist sein zurückgelegter Weg, mathematisch der Differenzvektor zwischen seiner aktuellen Position und seiner Position in der Ausgangskonfiguration:
Der [[Verzerrungstensor#Linearisierter Verzerrungstensor|linearisierte Verzerrungstensor]] entsteht aus Ableitungen des ''Verschiebungsfeldes''. Die Verschiebung <math>\vec{u}</math> eines Partikels ist sein zurückgelegter Weg, mathematisch der Differenzvektor zwischen seiner aktuellen Position und seiner Position in der Ausgangskonfiguration:


:<math>\vec{u}(\vec{X},t):=\vec{\chi}(\vec{X},t)-\vec{X}
:<math>\vec{u}(\vec{X},t):=\vec{\chi}(\vec{X},t)-\vec{X}
=\sum_{i=1}^{3}u_{i}(\vec{X},t)\hat{e}_{i}\,.</math>
=\sum_{i=1}^{3}u_{i}(\vec{X},t)\hat{e}_{i}</math>.


Häufig kann, vor allem in technischen Anwendungen, angenommen werden, dass erstens diese Verschiebung im Vergleich zu Abmessungen des Körpers klein ist und zweitens auch die Ableitungen der Verschiebungen nach dem Ort klein gegen eins sind. Dann brauchen die materiellen Koordinaten <math>\vec{X}</math> und die räumlichen <math>\vec{x}</math> nicht mehr auseinandergehalten zu werden und die Verzerrungen des Körpers werden mit dem linearisierten Verzerrungstensor gemessen, der die Darstellung
Häufig kann, vor allem in technischen Anwendungen, angenommen werden, dass erstens diese Verschiebung im Vergleich zu Abmessungen des Körpers klein ist und zweitens auch die Ableitungen der Verschiebungen nach dem Ort klein gegen eins sind. Dann brauchen die materiellen Koordinaten <math>\vec{X}</math> und die räumlichen <math>\vec{x}</math> nicht mehr auseinandergehalten zu werden und die Verzerrungen des Körpers werden mit dem linearisierten Verzerrungstensor gemessen, der die Darstellung


:<math>\boldsymbol{\varepsilon}
:<math>\begin{align}
:=\dfrac{1}{2} (\operatorname{grad}(\vec{u}) +\operatorname{grad}(\vec{u})^\top)
\boldsymbol{\varepsilon}
=\varepsilon_{ij}\hat{e}_{i}\otimes\hat{e}_{j}
:=&
=\dfrac{1}{2} (u_{i,j} + u_{j,i})\hat{e}_{i}\otimes\hat{e}_{j}
\frac12\left(\mathrm{grad}(\vec{u})+\mathrm{grad}(\vec{u})^\top\right)
</math>
=
\frac12(\nabla\otimes\vec{u}^\top+\nabla\otimes\vec{u})
\\=&
\varepsilon_{ij}\hat{e}_{i}\otimes\hat{e}_{j}
=
\frac12(u_{i,j}+u_{j,i})\hat{e}_{i}\otimes\hat{e}_{j}
\end{align}</math>
 
besitzt. Darin ist „grad“ der [[Gradient (Mathematik)|Gradienten-]] und  𝜵 der [[Nabla-Operator]], das hochgestellte Zeichen <sup>⊤</sup> steht für die [[Transponierte Matrix|Transposition]], das Rechenzeichen „⊗“ bildet das [[Dyadisches Produkt|dyadische Produkt]] und in den letzten beiden Gleichungen wurde die [[Einsteinsche Summenkonvention]] angewendet. Hier wie im Folgenden ist über in einem Produkt doppelt vorkommende Indizes, oben ''i'' und ''j'', von eins bis drei zu summieren. Des Weiteren ist ein Index nach einem Komma eine abkürzende Schreibweise für die Ableitung nach der genannten Koordinate:
 
:<math>u_{i,j}:=\frac{\partial u_i}{\partial x_j}</math>.


besitzt. Der Operator „grad“ berechnet den [[Gradient (Mathematik)|Gradient]], das hochgestellte Zeichen <math>(\cdot)^\top</math> steht für die [[Transponierte Matrix|Transposition]], das Rechenzeichen „<math>\otimes</math>“ ist das [[Dyadisches Produkt|dyadische Produkt]] und in den letzten beiden Gleichungen wurde die [[Einsteinsche Summenkonvention]] angewendet. Hier wie im Folgenden ist über in einem Produkt doppelt vorkommende Indizes, oben i und j, von eins bis drei zu summieren. Des Weiteren ist ein Index nach einem Komma eine abkürzende Schreibweise für die Ableitung nach der genannten Koordinate:
Berechnung der [[Rotation eines Vektorfeldes|Rotation]] des Verzerrungstensors liefert:
:<math>u_{i,j}:=\dfrac{\partial u_i}{\partial x_j}\,.</math>


Berechnung der [[Rotation eines Vektorfeldes|Rotation]] des Verzerrungstensors liefert :
:<math>\begin{align}
:<math>\begin{align}
\operatorname{rot}(\boldsymbol{\varepsilon})
\nabla\times\boldsymbol{\varepsilon}
:=&
:=&
\hat{e}_k\times\frac{\partial}{\partial x_k}\boldsymbol{\varepsilon}
\hat{e}_k\times\frac{\partial}{\partial x_k}\boldsymbol{\varepsilon}
Zeile 47: Zeile 58:
\\=&
\\=&
\frac{1}{2} u_{i,jk}(\hat{e}_k\times\hat{e}_i)\otimes\hat{e}_j
\frac{1}{2} u_{i,jk}(\hat{e}_k\times\hat{e}_i)\otimes\hat{e}_j
+\frac{1}{2}\underbrace{u_{j,ik}(\hat{e}_k\times\hat{e}_i)\otimes\hat{e}_j}_{=\mathbf{0}}
+\frac{1}{2}\underbrace{u_{j,ik}(\hat{e}_k\times\hat{e}_i)\otimes\hat{e}_j}_{=\mathbf0}
\\
\\
\rightarrow
\rightarrow
\operatorname{rot(rot}(\boldsymbol{\varepsilon})^\top)
\nabla\times\left((\nabla\times\boldsymbol{\varepsilon})^\top\right)
=&
=&
\hat{e}_l\times\frac{\partial}{\partial x_l}\left(
\hat{e}_l\times\frac{\partial}{\partial x_l}\left(
\frac{1}{2} u_{i,jk}\hat{e}_j\otimes(\hat{e}_k\times\hat{e}_i)\right)
\frac{1}{2} u_{i,jk}\hat{e}_j\otimes(\hat{e}_k\times\hat{e}_i)\right)
=\frac{1}{2}u_{i,jkl}\hat{e}_l\times\hat{e}_j\otimes\hat{e}_k\times\hat{e}_i
\\=&
=\mathbf{0}
\frac{1}{2}u_{i,jkl}\hat{e}_l\times\hat{e}_j\otimes\hat{e}_k\times\hat{e}_i
=\mathbf0
\end{align}</math>
\end{align}</math>
Der obere rechte Term verschwindet, weil Komponenten mit vertauschten Indizes i und k gleich groß aber umgekehrtes Vorzeichen haben, so dass sie sich in der Summe aufheben, oder bei i=k verschwinden, was in der letzten Gleichung auch für die Indizes j und l in analoger Weise zutrifft. Die aus dem Verschiebungsfeld abgeleiteten Verzerrungen erfüllen also<ref group="F">In der Literatur findet sich auch die Bedingung <math>\operatorname{\tilde{rot}(\tilde{rot}}(\boldsymbol{\varepsilon}))=\mathbf{0}</math>, was angesichts der dann abweichenden Definition der Rotation (<math>\operatorname{\tilde{rot}}\mathbf{T}=\hat{e}_k\times\mathbf{T}^\top_{,k}</math>) kein Widerspruch ist.</ref>
 
Der obere rechte Term verschwindet, weil Komponenten mit vertauschten Indizes ''i'' und ''k'' gleich groß aber umgekehrtes Vorzeichen haben, so dass sie sich in der Summe aufheben, oder bei ''i&nbsp;=&nbsp;k'' verschwinden, was in der letzten Gleichung auch für die Indizes ''j'' und ''l'' in analoger Weise zutrifft. Die aus dem Verschiebungsfeld abgeleiteten Verzerrungen erfüllen also<ref group="F">In der Literatur findet sich auch die Bedingung <math>\mathrm{rot(rot}\boldsymbol{\varepsilon})=\mathbf0</math>, was angesichts der Definition der Rotation <math>\mathrm{rot}\mathbf{T}=\nabla\times\mathbf{T}^\top=\hat{e}_k\times\left(\mathbf{T}^\top_{,k}\right)</math> kein Widerspruch ist.</ref>
 
:<math>\begin{align}
:<math>\begin{align}
\operatorname{rot(rot}(\boldsymbol{\varepsilon})^\top)
\nabla\times\left((\nabla\times\boldsymbol{\varepsilon})^\top\right)
=\varepsilon_{ij,kl} (\hat{e}_l\times\hat{e}_j\otimes\hat{e}_k\times\hat{e}_i)
=\varepsilon_{ij,kl}\epsilon_{jlm}\epsilon_{ikn}\hat{e}_m\otimes\hat{e}_n
=&\mathbf{0}
=&\mathbf0
\\
\\
\downarrow&
\downarrow&
Zeile 78: Zeile 92:
\end{align}</math>
\end{align}</math>


Das sind auch gleich die Kompatibilitätsbedingung der Verzerrungen, denn werden diese Gleichungen von einem Verzerrungsfeld eingehalten, dann gibt es ein Verschiebungsfeld, das die gegebenen Verzerrungen hervorruft<ref group="L" name="KBV">M. E. Gurtin (1972), S. 40</ref>.
''ϵ<sub>ijk</sub> = (ê<sub>i</sub> × ê<sub>j</sub>) · ê<sub>k</sub>'' ist das [[Permutationssymbol]]. Die Gleichungen sind die Kompatibilitätsbedingungen der Verzerrungen, denn werden diese Gleichungen von einem Verzerrungsfeld eingehalten, dann gibt es ein Verschiebungsfeld, das die gegebenen Verzerrungen hervorruft<ref group="L" name="KBV">M. E. Gurtin (1972), S. 40</ref>.


{| class="wikitable mw-collapsible mw-collapsed"
{| class="wikitable mw-collapsible mw-collapsed"
Zeile 84: Zeile 98:
! Beweis 1
! Beweis 1
|-
|-
| Der Schluss von der Kompatibilitätsbedingung <math>\operatorname{rot(rot}(\boldsymbol{\varepsilon})^\top)=\mathbf{0}</math> auf die Existenz des Verschiebungsfeldes gelingt mit dem Tensorfeld <math>\operatorname{rot}(\boldsymbol{\varepsilon})
| Der Schluss von der Kompatibilitätsbedingung <math>\nabla\times\left((\nabla\times\boldsymbol{\varepsilon})^\top\right)=\mathbf0</math> auf die Existenz des Verschiebungsfeldes gelingt mit dem Tensorfeld <math>\nabla\times\boldsymbol{\varepsilon}
=\varepsilon_{ij,k}(\hat{e}_k\times\hat{e}_i)\otimes\hat{e}_j</math>, das [[Spur (Mathematik)|spurfrei]] ist:<br />
=\varepsilon_{ij,k}(\hat{e}_k\times\hat{e}_i)\otimes\hat{e}_j</math>, das [[Spur (Mathematik)|spurfrei]] ist:
<math>\operatorname{Sp}(\operatorname{rot}(\boldsymbol{\varepsilon}))
 
:<math>\mathrm{Sp}(\nabla\times\boldsymbol{\varepsilon})
=\varepsilon_{ij,k}\,(\hat{e}_k\times\hat{e}_i)\cdot\hat{e}_j
=\varepsilon_{ij,k}\,(\hat{e}_k\times\hat{e}_i)\cdot\hat{e}_j
=\varepsilon_{ij,k}\,(\hat{e}_i\times\hat{e}_j)\cdot\hat{e}_k
=\varepsilon_{ij,k}\,(\hat{e}_i\times\hat{e}_j)\cdot\hat{e}_k
= 0
= 0
\,,</math><br />
</math>,
denn Terme mit vertauschten Indizes i und j sind gleich groß, haben aber entgegengesetztes Vorzeichen, so dass sie sich in der Summe aufheben, oder verschwinden bei i=j. Nach dem [[Poincaré-Lemma]] in der Ausprägung<br />
 
<math>\operatorname{rot}(\mathbf{T}^\top)
denn Terme mit vertauschten Indizes ''i'' und ''j'' sind gleich groß, haben aber entgegengesetztes Vorzeichen, so dass sie sich in der Summe aufheben, oder verschwinden bei ''i&nbsp;=&nbsp;j'', siehe [[Spatprodukt]]. Nach dem [[Poincaré-Lemma]] in der Ausprägung
=\mathbf{0}
 
:<math>\nabla\times(\mathbf{T}^\top)
=\mathbf0
\;\text{und}\;
\;\text{und}\;
\operatorname{Sp}(\mathbf{T})
\mathrm{Sp}(\mathbf{T})
=0
=0
\quad\rightarrow\quad
\;\rightarrow\;
\exists\mathbf{W}\colon\mathbf{T}
\exists\mathbf{W}\colon\mathbf{T}
=\operatorname{rot}(\mathbf{W})
=\nabla\times\mathbf{W}
\;\text{mit}\;
\;\text{mit}\;
\mathbf{W}^\top = -\mathbf{W}
\mathbf{W}^\top=-\mathbf{W}
</math><br />
</math>
existiert ein [[Schiefsymmetrische Matrix|schiefsymmetrisches]] Tensorfeld '''W''', dessen Rotation <math>\operatorname{rot}(\boldsymbol{\varepsilon})</math> ist:<br /> <math>\operatorname{rot}(\boldsymbol{\varepsilon})=\operatorname{rot}(\mathbf{W})
 
existiert ein [[Schiefsymmetrische Matrix|schiefsymmetrisches]] Tensorfeld '''W''', dessen Rotation 𝜵&nbsp;×&nbsp;'''''ε''''' ist:
 
:<math>\nabla\times\boldsymbol{\varepsilon}=\nabla\times\mathbf{W}
\quad\rightarrow\quad
\quad\rightarrow\quad
\mathbf{0}
\mathbf0
=\operatorname{rot}(\boldsymbol{\varepsilon})-\operatorname{rot}(\mathbf{W})
=\nabla\times(\boldsymbol{\varepsilon}-\mathbf{W})
=\operatorname{rot}[(\boldsymbol{\varepsilon}+\mathbf{W})^\top]
=\nabla\times[(\boldsymbol{\varepsilon}+\mathbf{W})^\top]
</math>.<br />
</math>.
Gemäß dem Poincaré-Lemma in der Ausprägung<br />
 
<math>\operatorname{rot}(\mathbf{T}^\top)=\mathbf{0}
Gemäß dem Poincaré-Lemma in der Ausprägung
 
:<math>\nabla\times(\mathbf{T}^\top)=\mathbf0
\quad\rightarrow\quad
\quad\rightarrow\quad
\exists\vec{u}\colon\mathbf{T}=\operatorname{grad}(\vec{u})</math><br />
\exists\vec{u}\colon\mathbf{T}=\nabla\otimes\vec{u}^\top</math>
gibt es nun ein Vektorfeld <math>\vec{u}</math>, für das gilt:<br />
 
<math>\boldsymbol{\varepsilon}+\mathbf{W}=\operatorname{grad}(\vec{u})</math><br />
gibt es nun ein Vektorfeld <math>\vec{u}</math>, für das gilt:
und dessen [[Symmetrische Matrix|symmetrischer]] Anteil der Verzerrungstensor ist:<br />
 
<math>\frac{1}{2}[\operatorname{grad}(\vec{u})+\operatorname{grad}(\vec{u})^\top]
:<math>\boldsymbol{\varepsilon}+\mathbf{W}
=\frac{1}{2}(\boldsymbol{\varepsilon}+\mathbf{W} +\boldsymbol{\varepsilon}^\top+\mathbf{W}^\top)
=\nabla\otimes\vec{u}^\top</math>
 
und dessen [[Symmetrische Matrix|symmetrischer]] Anteil der Verzerrungstensor ist:
 
:<math>\frac{1}{2}[\nabla\otimes\vec{u}^\top+\nabla\otimes\vec{u}]
=\frac{1}{2}(\boldsymbol{\varepsilon}+\mathbf{W}
+\boldsymbol{\varepsilon}^\top+\mathbf{W}^\top)
=\boldsymbol{\varepsilon}
=\boldsymbol{\varepsilon}
\,.</math>
</math>.
|}
|}


Zeile 125: Zeile 153:


Die Kompatibilitätsbedingung kann auch ohne die Rotation geschrieben werden:
Die Kompatibilitätsbedingung kann auch ohne die Rotation geschrieben werden:
:<math>\begin{align}
:<math>\begin{align}
\Delta\boldsymbol{\varepsilon}
\Delta\boldsymbol{\varepsilon}
+\operatorname{grad(grad(Sp}(\boldsymbol{\varepsilon})))
+\nabla\otimes\nabla\mathrm{Sp}(\boldsymbol{\varepsilon})
- 2\operatorname{sym(grad(div}(\boldsymbol{\varepsilon})))
-2\mathrm{sym}\big(\nabla\otimes(\nabla\cdot\boldsymbol{\varepsilon})\big)
=&\mathbf{0}
=&\mathbf0
\\
\\
\leftrightarrow\quad
\leftrightarrow\quad
Zeile 136: Zeile 165:
\end{align}</math>
\end{align}</math>


Der Operator „Sp“ gibt die [[Spur (Mathematik)|Spur]] eines Tensors, „div“ ist die [[Divergenz eines Vektorfeldes|Divergenz]] und „sym“ liefert den symmetrischen Anteil
Der Operator „Sp“ gibt die [[Spur (Mathematik)|Spur]] eines Tensors und „sym“ liefert den symmetrischen Anteil <math>\mathrm{sym}(\mathbf{T}) =\tfrac{1}{2}(\mathbf{T}+\mathbf{T}^\top)</math>.
:<math>\operatorname{sym}(\mathbf{T}) =\frac{1}{2}(\mathbf{T}+\mathbf{T}^\top)\,.</math>


{| class="wikitable mw-collapsible mw-collapsed"
{| class="wikitable mw-collapsible mw-collapsed"
Zeile 143: Zeile 171:
! Beweis 2
! Beweis 2
|-
|-
|Für die Herleitung wird das wie folgt definierte [[Äußeres Tensorprodukt|äußere Tensorprodukt]] „#“ benutzt:<br />
|Für die Herleitung wird das wie folgt definierte [[Äußeres Tensorprodukt|äußere Tensorprodukt]] „#“ benutzt:
<math>\begin{align}
 
:<math>\begin{align}
(\vec{a}\otimes\vec{g})\#(\vec{b}\otimes\vec{h})
(\vec{a}\otimes\vec{g})\#(\vec{b}\otimes\vec{h})
:=&
:=&
Zeile 151: Zeile 180:
\mathbf{A}\#\mathbf{B}
\mathbf{A}\#\mathbf{B}
=&
=&
-\operatorname{Sp}(\mathbf{A})\mathbf{B}^\top
-\mathrm{Sp}(\mathbf{A})\mathbf{B}^\top
-\operatorname{Sp}(\mathbf{B})\mathbf{A}^\top
-\mathrm{Sp}(\mathbf{B})\mathbf{A}^\top
+\mathbf{A}^\top\cdot\mathbf{B}^\top
+\mathbf{A}^\top\cdot\mathbf{B}^\top
+\mathbf{B}^\top\cdot\mathbf{A}^\top
+\mathbf{B}^\top\cdot\mathbf{A}^\top
+[\operatorname{Sp}(\mathbf{A})\operatorname{Sp}(\mathbf{B})
\\&
-\operatorname{Sp}(\mathbf{A}\cdot\mathbf{B})]\mathbf{I}
+[\mathrm{Sp}(\mathbf{A})\mathrm{Sp}(\mathbf{B})
\,.\end{align}</math><br />
-\mathrm{Sp}(\mathbf{A}\cdot\mathbf{B})]\mathbf1
Der Tensor <math>\mathbf{I}</math> ist der [[Einheitstensor]]. Damit berechnet sich:<br />
\end{align}</math>
<math>\begin{align}
 
Der Tensor '''1''' ist der [[Einheitstensor]]. Damit berechnet sich:
 
:<math>\begin{align}
\mathfrak{R}(\boldsymbol{\varepsilon})
\mathfrak{R}(\boldsymbol{\varepsilon})
:=&
:=&
\operatorname{rot(rot}(\boldsymbol{\varepsilon})^\top)
\nabla\times(\nabla\times\boldsymbol{\varepsilon}^\top)
=
\varepsilon_{ij,kl} (\hat{e}_l\times\hat{e}_j\otimes\hat{e}_k\times\hat{e}_i)
=
=
\varepsilon_{ij,kl}(\hat{e}_l\times\hat{e}_j\otimes\hat{e}_k\times\hat{e}_i)
\\=&
\varepsilon_{ij,kl}\overbrace{(\hat{e}_l\otimes\hat{e}_k)}^{\mathbf{A}}
\varepsilon_{ij,kl}\overbrace{(\hat{e}_l\otimes\hat{e}_k)}^{\mathbf{A}}
\#\overbrace{(\hat{e}_j\otimes\hat{e}_i)}^{\mathbf{B}}
\#\overbrace{(\hat{e}_j\otimes\hat{e}_i)}^{\mathbf{B}}
\\=&
\\=&
\varepsilon_{ij,kl}\bigl[-\delta_{lk}(\hat{e}_j\otimes\hat{e}_i)^\top
\varepsilon_{ij,kl}\big[-\delta_{lk}(\hat{e}_j\otimes\hat{e}_i)^\top
-\delta_{ji}(\hat{e}_l\otimes\hat{e}_k)^\top
-\delta_{ji}(\hat{e}_l\otimes\hat{e}_k)^\top
+(\hat{e}_l\otimes\hat{e}_k)^\top\cdot(\hat{e}_j\otimes\hat{e}_i)^\top
+(\hat{e}_l\otimes\hat{e}_k)^\top\cdot(\hat{e}_j\otimes\hat{e}_i)^\top
\\&
\\&\qquad\;
+(\hat{e}_j\otimes\hat{e}_i)^\top\cdot(\hat{e}_l\otimes\hat{e}_k)^\top
+(\hat{e}_j\otimes\hat{e}_i)^\top\cdot(\hat{e}_l\otimes\hat{e}_k)^\top
+(\delta_{lk}\delta_{ji} -\delta_{kj}\delta_{li})\mathbf{I}
+(\delta_{lk}\delta_{ji} -\delta_{kj}\delta_{li})\mathbf1
\bigr]
\big]
\\=&
\\=&
-\varepsilon_{ij,kk}(\hat{e}_i\otimes\hat{e}_j)
-\varepsilon_{ij,kk}(\hat{e}_i\otimes\hat{e}_j)
-\varepsilon_{kk,ij}(\hat{e}_i\otimes\hat{e}_j)
-\varepsilon_{kk,ij}(\hat{e}_i\otimes\hat{e}_j)
+\varepsilon_{jk,ik}(\hat{e}_i\otimes\hat{e}_j)
+\varepsilon_{jk,ik}(\hat{e}_i\otimes\hat{e}_j)
\\&
+\varepsilon_{ik,jk}(\hat{e}_i\otimes\hat{e}_j)
+\varepsilon_{ik,jk}(\hat{e}_i\otimes\hat{e}_j)
+[\varepsilon_{ii,kk} -\varepsilon_{ij,ij}]\mathbf{I}
+[\varepsilon_{ii,kk} -\varepsilon_{ij,ij}]\mathbf1
\\=&
\\=&
-[\underbrace{\Delta\boldsymbol{\varepsilon}
-[\underbrace{\Delta\boldsymbol{\varepsilon}
+\operatorname{grad(grad(Sp}(\boldsymbol{\varepsilon})))
+\nabla\otimes\big(\nabla{\rm Sp}(\boldsymbol{\varepsilon})\big)
- 2\operatorname{sym(grad(div}(\boldsymbol{\varepsilon})))
-2\mathrm{sym}\big(\nabla\otimes(\nabla\cdot\boldsymbol{\varepsilon})\big)
}_{=:\mathfrak{L}(\boldsymbol{\varepsilon})}]
}_{=:\mathfrak{L}(\boldsymbol{\varepsilon})}]
+
\\&
[\underbrace{\Delta\operatorname{Sp}(\boldsymbol{\varepsilon})
+[\underbrace{\Delta\mathrm{Sp}(\boldsymbol{\varepsilon})
-\operatorname{div(div}(\boldsymbol{\varepsilon}))}_{=: v}
-\nabla\cdot(\nabla\cdot\boldsymbol{\varepsilon})}_{=:s}
]\mathbf{I}
]\mathbf1
\\
\\
\rightarrow\mathfrak{R}(\boldsymbol{\varepsilon})
\rightarrow\mathfrak{R}(\boldsymbol{\varepsilon})
=& -\mathfrak{L}(\boldsymbol{\varepsilon}) + v\mathbf{I}
=&-\mathfrak{L}(\boldsymbol{\varepsilon}) + s\mathbf1
\end{align}</math><br />
\end{align}</math>
Der Operator „<math>\Delta</math>“ ist der [[Laplace-Operator]] und „div“ die [[Divergenz eines Vektorfeldes|Divergenz]]. Die Spur von <math>\mathfrak{L}(\boldsymbol{\varepsilon})</math> berechnet sich zu<br />
 
<math>\begin{align}
Der Operator „Δ“ ist der [[Laplace-Operator]]. Die Spur von <math>\mathfrak{L}(\boldsymbol{\varepsilon})</math> berechnet sich zu
\operatorname{Sp}(\mathfrak{L}(\boldsymbol{\varepsilon}))
 
:<math>\begin{align}
\mathrm{Sp}(\mathfrak{L}(\boldsymbol{\varepsilon}))
=&
=&
\operatorname{Sp}(\varepsilon_{ij,kk}\hat{e}_i\otimes\hat{e}_j
\mathrm{Sp}(\varepsilon_{ij,kk}\hat{e}_i\otimes\hat{e}_j
+\varepsilon_{kk,ij}\hat{e}_i\otimes\hat{e}_j
+\varepsilon_{kk,ij}\hat{e}_i\otimes\hat{e}_j
-\varepsilon_{jk,ik}\hat{e}_i\otimes\hat{e}_j
-\varepsilon_{jk,ik}\hat{e}_i\otimes\hat{e}_j
Zeile 205: Zeile 240:
\\=&
\\=&
\varepsilon_{ii,kk}+\varepsilon_{kk,ii}-\varepsilon_{ik,ik}-\varepsilon_{ik,ik}
\varepsilon_{ii,kk}+\varepsilon_{kk,ii}-\varepsilon_{ik,ik}-\varepsilon_{ik,ik}
=2\Delta\operatorname{Sp}(\boldsymbol{\varepsilon})
=2\Delta\mathrm{Sp}(\boldsymbol{\varepsilon})
-2\operatorname{div(div}(\boldsymbol{\varepsilon}))
-2\nabla\cdot(\nabla\cdot\boldsymbol{\varepsilon})
=2 v
=2 s
\end{align}</math><br />
\end{align}</math>
mit der Konsequenz<br />
 
<math>\operatorname{Sp}(\mathfrak{R}(\boldsymbol{\varepsilon}))=-2v+3v=v\,.</math><br />
mit der Konsequenz
Deshalb verschwindet <math>\mathfrak{R}(\boldsymbol{\varepsilon})</math> genau dann, wenn auch <math>\mathfrak{L}(\boldsymbol{\varepsilon})</math> verschwindet: Denn wenn <math>\mathfrak{R}(\boldsymbol{\varepsilon})=\mathbf{0}</math> ist, dann ist auch v=0 und es folgt <math>\mathfrak{L}(\boldsymbol{\varepsilon})=\mathbf{0}\,.</math> Umgekehrt folgt auch aus <math>\mathfrak{L}(\boldsymbol{\varepsilon})=\mathbf{0}</math>, dass v=0 ist und dementsprechend <math>\mathfrak{R}(\boldsymbol{\varepsilon})=\mathbf{0}</math> gilt. Also kann die Kompatibilität der Verzerrungen mit einem Verschiebungsfeld auch mit<br />
 
<math>\begin{align}
:<math>\mathrm{Sp}(\mathfrak{R}(\boldsymbol{\varepsilon}))=-2s+3s=s</math>.
 
Deshalb verschwindet <math>\mathfrak{R}(\boldsymbol{\varepsilon})</math> genau dann, wenn auch <math>\mathfrak{L}(\boldsymbol{\varepsilon})</math> verschwindet: Denn wenn <math>\mathfrak{R}(\boldsymbol{\varepsilon})=\mathbf0</math> ist, dann ist auch ''s''&nbsp;=&nbsp;0 und es folgt <math>\mathfrak{L}(\boldsymbol{\varepsilon})=\mathbf0</math>. Umgekehrt folgt auch aus <math>\mathfrak{L}(\boldsymbol{\varepsilon})=\mathbf0</math>, dass ''s''&nbsp;=&nbsp;0 ist und dementsprechend <math>\mathfrak{R}(\boldsymbol{\varepsilon})=\mathbf0</math> gilt. Also kann die Kompatibilität der Verzerrungen mit einem Verschiebungsfeld auch mit
 
:<math>\begin{align}
\mathfrak{L}(\boldsymbol{\varepsilon})
\mathfrak{L}(\boldsymbol{\varepsilon})
=
=
\Delta\boldsymbol{\varepsilon}
\Delta\boldsymbol{\varepsilon}
+\operatorname{grad(grad(Sp}(\boldsymbol{\varepsilon})))
+\nabla\otimes\big(\nabla{\rm Sp}(\boldsymbol{\varepsilon})\big)
- 2\operatorname{sym(grad(div}(\boldsymbol{\varepsilon})))
-2\mathrm{sym}\big(\nabla\otimes(\nabla\cdot\boldsymbol{\varepsilon})\big)
=&\mathbf{0}
=&\mathbf0
\\
\\
\leftrightarrow\quad
\leftrightarrow\quad
\varepsilon_{ij,kk} +\varepsilon_{kk,ij} -\varepsilon_{ik,jk} -\varepsilon_{jk,ik} =& 0\,,
\varepsilon_{ij,kk} +\varepsilon_{kk,ij} -\varepsilon_{ik,jk} -\varepsilon_{jk,ik} =& 0\,,
\quad i,j = 1,2,3
\quad i,j = 1,2,3
\end{align}</math><br />
\end{align}</math>
 
sichergestellt werden.
sichergestellt werden.
|}
|}


== Spannungen ==
=== Spannungen ===
Beim Lösungsansatz für die Bewegungsgleichungen über Spannungsfunktionen, sind die [[Spannungstensor|Spannungen]] die primären Unbekannten. Sind diese für gegebene Randbedingungen gefunden, dann gilt es aus ihnen das Bewegungsfeld zu rekonstruieren. Das gelingt bei [[Hookesches Gesetz|linearer, isotroper Elastizität]], wenn die Spannungen <math>\boldsymbol{\sigma}</math> in einem Schwerefeld <math>\vec b</math> wie es die Schwerkraft eines ist die folgenden für sie formulierten Kompatibilitätsbedingungen erfüllen:
Beim Lösungsansatz für die Bewegungsgleichungen über Spannungsfunktionen, sind die [[Spannungstensor|Spannungen]] die primären Unbekannten. Sind diese für gegebene Randbedingungen gefunden, dann gilt es aus ihnen das Bewegungsfeld zu rekonstruieren. Das gelingt bei [[Hookesches Gesetz|linearer, isotroper Elastizität]], wenn die Spannungen '''''σ''''' in einem Schwerefeld <math>\vec b</math> wie es die Schwerkraft eines ist die folgenden für sie formulierten Kompatibilitätsbedingungen erfüllen:


:<math>\begin{align}
:<math>\begin{align}
\Delta\boldsymbol{\sigma}
&\Delta\boldsymbol{\sigma}
+\frac{1}{1+\nu}\operatorname{grad(grad(Sp}(\boldsymbol{\sigma})))
+\frac1{1+\nu}\nabla\otimes\big(\nabla\mathrm{Sp}(\boldsymbol{\sigma})\big)
+\frac{\nu}{1-\nu}\operatorname{div}(\vec{b})\mathbf{I}
+\frac{\nu}{1-\nu}(\nabla\cdot\vec{b})\mathbf1
+\operatorname{grad}(\vec{b})
+2\mathrm{sym}(\nabla\otimes\vec{b})
+\operatorname{grad}(\vec{b})^\top
=
=&
\mathbf0
\mathbf{0}
\\
\\
\leftrightarrow\quad
\leftrightarrow&
\sigma_{ij,kk} +\frac{1}{1+\nu}\sigma_{kk,ij} +\frac{\nu}{1-\nu} b_{k,k}\delta_{ij}
\sigma_{ij,kk} +\frac{1}{1+\nu}\sigma_{kk,ij} +\frac{\nu}{1-\nu} b_{k,k}\delta_{ij}
+ b_{i,j} + b_{j,i}
+ b_{i,j} + b_{j,i}
=& 0
=0
\;,\quad
\;,\quad
i,j = 1,2,3
i,j = 1,2,3
Zeile 249: Zeile 288:
oder in Abwesenheit einer Schwerkraft:
oder in Abwesenheit einer Schwerkraft:


:<math>
:<math>\begin{align}
\Delta\boldsymbol{\sigma}
&\Delta\boldsymbol{\sigma}
+\frac{1}{1+\nu}\operatorname{grad(grad(Sp}(\boldsymbol{\sigma})))
+\frac1{1+\nu}\nabla\otimes\big(\nabla\mathrm{Sp}(\boldsymbol{\sigma})\big)
=
=
\mathbf{0}
\mathbf0
\quad\leftrightarrow\quad
\\ \leftrightarrow&
\sigma_{ij,kk} +\frac{1}{1+\nu}\sigma_{kk,ij} = 0
\sigma_{ij,kk} +\frac{1}{1+\nu}\sigma_{kk,ij} = 0
\;,\quad
\;,\quad
i,j = 1,2,3
i,j = 1,2,3
</math>
\end{align}</math>


Das Symbol <math>\delta_{ij}</math> ist das [[Kronecker-Delta]] und <math>\nu</math> ist die [[Querkontraktionszahl]].
Das Symbol <math>\delta_{ij}</math> ist das [[Kronecker-Delta]] und <math>\nu</math> ist die [[Querkontraktionszahl]].
Zeile 266: Zeile 305:
! Beweis 3
! Beweis 3
|-
|-
|Die Herleitung basiert auf Beweis 2, der zeigte, dass wenn<br />
|Die Herleitung basiert auf Beweis 2, der zeigte, dass wenn
<math>\mathfrak{L}(\boldsymbol{\varepsilon}):=\Delta\boldsymbol{\varepsilon}
 
+\operatorname{grad(grad(Sp}(\boldsymbol{\varepsilon})))
:<math>
- 2\operatorname{sym(grad(div}(\boldsymbol{\varepsilon})))
\mathfrak{L}(\boldsymbol{\varepsilon})
</math><br />
:=
verschwindet, das Verzerrungsfeld <math>\boldsymbol{\varepsilon}</math> kompatibel ist. In der Statik ist die Divergenz der Spannungen im Gleichgewicht mit der spezifischen Schwerkraft <math>\vec{b}</math>:<br />
\Delta\boldsymbol{\varepsilon}
<math>\operatorname{div}(\boldsymbol{\sigma}) +\vec{b} =\vec{0}
+\nabla\otimes\big(\nabla{\rm Sp}(\boldsymbol{\varepsilon})\big)
-2\mathrm{sym}\big(\nabla\otimes(\nabla\cdot\boldsymbol{\varepsilon})\big)
</math>
 
verschwindet, das Verzerrungsfeld '''ε''' kompatibel ist. In der Statik ist die Divergenz der Spannungen im Gleichgewicht mit der spezifischen Schwerkraft <math>\vec{b}</math>:
 
:<math>\nabla\cdot\boldsymbol{\sigma}+\vec{b}=\vec{0}
\quad\leftrightarrow\quad
\quad\leftrightarrow\quad
\sigma_{ij,i} + b_j = 0\,,\quad j=1,2,3\,.
\sigma_{ij,i}+b_j=0\,,\quad j=1,2,3
</math><br />
</math>
Mit der Abkürzung<br />
 
<math>p:=\operatorname{Sp}(\boldsymbol{\sigma})</math><br />
Mit der Abkürzung
folgt wegen <math>\operatorname{div(grad}(p))=\Delta p\,,\;\operatorname{div}(p\,\mathbf{I})=\operatorname{grad}(p)</math> und <math>\operatorname{Sp\circ grad} =\operatorname{div}</math>:<br />
 
<math>\begin{align}
:<math>p:=\mathrm{Sp}(\boldsymbol{\sigma})</math>
 
folgt wegen 𝜵·𝜵f&nbsp;=&nbsp;Δf, 𝜵·(f '''1''')&nbsp;=&nbsp;𝜵f und Sp(𝜵⊗f)&nbsp;=&nbsp;𝜵·f:
 
:<math>\begin{align}
\mathfrak{L}(\boldsymbol{\sigma})
\mathfrak{L}(\boldsymbol{\sigma})
=&
=&
\Delta\boldsymbol{\sigma} +\operatorname{grad(grad}(p))
\Delta\boldsymbol{\sigma}+\nabla\otimes\nabla p
+ 2\operatorname{sym(grad}(\vec{b}))
+ 2\mathrm{sym}(\nabla\otimes\vec{b})
\\
\\
\mathfrak{L}(p\,\mathbf{I})
\mathfrak{L}(p\,\mathbf1)
=&
=&
\Delta p\,\mathbf{I} +\operatorname{grad(grad}(p))
\Delta p\,\mathbf1+\nabla\otimes\nabla p
\,.\end{align}</math><br />
\end{align}</math>
Bei linearer, isotroper Elastizität ist die Spannungs-Dehnungs-Beziehung linear:<br />
 
<math>\boldsymbol{\varepsilon}=\frac{1}{2G}\left[\boldsymbol{\sigma}
Bei linearer, isotroper Elastizität ist die Spannungs-Dehnungs-Beziehung linear:
-\frac{\nu}{1+\nu}\operatorname{Sp}(\boldsymbol{\sigma})\,\mathbf{I}\right]
 
:<math>\boldsymbol{\varepsilon}=\frac{1}{2G}\left[\boldsymbol{\sigma}
-\frac{\nu}{1+\nu}\mathrm{Sp}(\boldsymbol{\sigma})\,\mathbf1\right]
\quad\leftrightarrow\quad
\quad\leftrightarrow\quad
\varepsilon_{ij} =\frac{1}{2 G}\left[\sigma_{ij}
\varepsilon_{ij} =\frac{1}{2 G}\left[\sigma_{ij}
-\frac{\nu}{1+\nu}\sigma_{kk}\delta_{ij}\right]
-\frac{\nu}{1+\nu}\sigma_{kk}\delta_{ij}\right]
\,.</math><br />
</math>.
Der Materialparameter G ist der [[Schubmodul]]. Jetzt kann die Kompatibilitätsbedingung mit den Spannungen ausgedrückt werden:<br />
 
<math>
Der Materialparameter ''G'' ist der [[Schubmodul]]. Jetzt kann die Kompatibilitätsbedingung mit den Spannungen ausgedrückt werden:
\mathfrak{L}(2 G\boldsymbol{\varepsilon})
 
=
:<math>\begin{align}
\mathfrak{L}(2G\boldsymbol{\varepsilon})
=&
\mathfrak{L}(\boldsymbol{\sigma})
\mathfrak{L}(\boldsymbol{\sigma})
-\frac{\nu}{1+\nu}\mathfrak{L}( p\,\mathbf{I})
-\frac{\nu}{1+\nu}\mathfrak{L}(p\,\mathbf1)
=
\\=&
\Delta\boldsymbol{\sigma}
\Delta\boldsymbol{\sigma}
+\frac{1}{1+\nu}\operatorname{grad(grad}(p))
+\frac{1}{1+\nu}\nabla\otimes\nabla p
-\frac{\nu}{1+\nu}\Delta p\,\mathbf{I}
-\frac{\nu}{1+\nu}\Delta p\,\mathbf1
+ 2\operatorname{sym(grad}(\vec{b}))
+2\mathrm{sym}(\nabla\otimes\vec{b})
=\mathbf{0}
=\mathbf0
\,.</math><br />
\end{align}</math>.
Anwendung der Spur auf diese Gleichung ergibt<br />
 
<math>\Delta p= -\frac{1+\nu}{1-\nu}\operatorname{div}(\vec{b})</math><br />
Anwendung der Spur auf diese Gleichung ergibt
und führt schließlich auf die in den Spannungen ausgedrückten Kompatibilitätsbedingungen:<br />
 
<math>\Delta\boldsymbol{\sigma}
:<math>\Delta p= -\frac{1+\nu}{1-\nu}\mathrm{div}(\vec{b})</math>
+\frac{1}{1+\nu}\operatorname{grad(grad(Sp}(\boldsymbol{\sigma})))
 
+\frac{\nu}{1-\nu}\operatorname{div}(\vec{b})\mathbf{I}
und führt schließlich auf die im Text aufgeführten Kompatibilitätsbedingungen.
+ 2\operatorname{sym(grad}(\vec{b})) =\mathbf{0}\,.</math>
|}
|}


Zeile 322: Zeile 374:
Es existieren auch Kompatibilitätsbedingungen bei [[Kubische Anisotropie|kubisch anisotroper]] (Albrecht 1951) und [[Transversale Isotropie|transversal isotroper]] (von Moisil 1952) linearer Elastizität<ref group="L">M. E. Gurtin (1972), S. 92</ref>.
Es existieren auch Kompatibilitätsbedingungen bei [[Kubische Anisotropie|kubisch anisotroper]] (Albrecht 1951) und [[Transversale Isotropie|transversal isotroper]] (von Moisil 1952) linearer Elastizität<ref group="L">M. E. Gurtin (1972), S. 92</ref>.


== Deformationsgradient ==
=== Deformationsgradient ===
Die Komponenten des Deformationsgradienten werden aus den Ableitungen der Bewegungskomponenten <math>\chi_{1,2,3}</math> nach den materiellen Koordinaten <math>X_{1,2,3}</math> berechnet:
Die Komponenten des Deformationsgradienten werden aus den Ableitungen der Bewegungskomponenten <math>\chi_{1,2,3}</math> nach den materiellen Koordinaten <math>X_{1,2,3}</math> berechnet:


:<math>F_{ij}(\vec{X},t)
:<math>F_{ij}(\vec{X},t)
=\dfrac{\partial\chi_{i}(\vec{X},t)}{\partial X_{j}},
=\frac{\partial\chi_{i}(\vec{X},t)}{\partial X_{j}},
\quad
\quad
i,j=1,2,3\,.</math>
i,j=1,2,3</math>.


Nun liegen also <math>3\cdot 3=9</math> Komponenten <math>F_{ij}</math> des Deformationsgradienten vor, die aus den drei Bewegungsfunktionen <math>\chi_{1,2,3}</math> abgeleitet wurden.
Nun liegen also <math>3\cdot 3=9</math> Komponenten <math>F_{ij}</math> des Deformationsgradienten vor, die aus den drei Bewegungsfunktionen <math>\chi_{1,2,3}</math> abgeleitet wurden.


Sollen umgekehrt aus neun Komponenten <math>F_{ij}(\vec{X},t)</math> des Deformationsgradienten die drei Bewegungsfunktionen <math>\chi_{1,2,3}(\vec{X},t)</math> bezogen werden können, müssen die Komponenten des Deformationsgradienten die folgenden, für sie formulieren Kompatibilitätsbedingungen einhalten:
Sollen umgekehrt aus neun Komponenten <math>F_{ij}(\vec{X},t)</math> des Deformationsgradienten die drei Bewegungsfunktionen <math>\chi_{1,2,3}(\vec{X},t)</math> bezogen werden können, müssen die Komponenten des Deformationsgradienten die folgenden, für sie formulieren Kompatibilitätsbedingungen einhalten:
:<math>\operatorname{rot}(\mathbf{F}^\top)
 
:=\hat{e}_k\times\frac{\partial F_{ij}}{\partial X_k}\hat{e}_j\otimes\hat{e}_i
:<math>\nabla\times(\mathbf{F}^\top)
=\begin{pmatrix}
:=\hat{e}_k\times\frac{\partial F_{ij}}{\partial X_k}
\dfrac{\partial F_{13}}{\partial X_2}-\dfrac{\partial F_{12}}{\partial X_3} &
\hat{e}_j\otimes\hat{e}_i
\dfrac{\partial F_{23}}{\partial X_2}-\dfrac{\partial F_{22}}{\partial X_3} &
=\frac{\partial F_{ij}}{\partial X_k}\epsilon_{kjl}\hat{e}_l\otimes\hat{e}_i
\dfrac{\partial F_{33}}{\partial X_2}-\dfrac{\partial F_{32}}{\partial X_3} &
=\mathbf0</math>
\\[2ex]
 
\dfrac{\partial F_{11}}{\partial X_3}-\dfrac{\partial F_{13}}{\partial X_1} &
wo ''ϵ<sub>ijk</sub> = (ê<sub>i</sub> × ê<sub>j</sub>) · ê<sub>k</sub>'' ist das [[Permutationssymbol]] ist, oder<ref group="L">Haupt (2002), S. 65.</ref>
\dfrac{\partial F_{21}}{\partial X_3}-\dfrac{\partial F_{23}}{\partial X_1} &
 
\dfrac{\partial F_{31}}{\partial X_3}-\dfrac{\partial F_{33}}{\partial X_1} &
:<math>\frac{\partial F_{ij}}{\partial X_k}
\\[2ex]
=\frac{\partial F_{ik}}{\partial X_j}\,,\quad i,j,k=1,2,3</math>
\dfrac{\partial F_{12}}{\partial X_1}-\dfrac{\partial F_{11}}{\partial X_2} &
 
\dfrac{\partial F_{22}}{\partial X_1}-\dfrac{\partial F_{21}}{\partial X_2} &
\dfrac{\partial F_{32}}{\partial X_1}-\dfrac{\partial F_{31}}{\partial X_2} &
\\[2ex]
\end{pmatrix} =\mathbf{0}
</math>
Falls das zutrifft, stellt das Poincaré-Lemma in der Form
Falls das zutrifft, stellt das Poincaré-Lemma in der Form
:<math>\operatorname{rot}(\mathbf{F}^\top)=\mathbf{0}
 
:<math>\nabla\times(\mathbf{F}^\top)=\mathbf0
\quad\rightarrow\quad
\quad\rightarrow\quad
\exists\vec{\chi}\colon\mathbf{F} =\operatorname{grad}(\vec{\chi})
\exists\vec{\chi}\colon\mathbf{F} =\mathrm{grad}(\vec{\chi})
</math>
</math>
sicher, dass es ein Vektorfeld <math>\vec{\chi}(\vec{X})</math> gibt, dessen Gradient das Tensorfeld <math>\mathbf{F}</math> ist.
sicher, dass es ein Vektorfeld <math>\vec{\chi}(\vec{X})</math> gibt, dessen Gradient das Tensorfeld <math>\mathbf{F}</math> ist.


== Strecktensor ==
=== Strecktensor ===
Der Deformationsgradient kann wegen
Der Deformationsgradient kann wegen


:<math>\mathbf{F}
:<math>\mathbf{F}
=
=
\dfrac{\partial\chi_{i}}{\partial X_{j}}\hat{e}_{i}\otimes\hat{e}_{j}
\frac{\partial\chi_{i}}{\partial X_{j}}\hat{e}_{i}\otimes\hat{e}_{j}
=
=
\dfrac{\partial (\chi_{i}\hat{e}_{i})}{\partial X_{j}}
\frac{\partial (\chi_{i}\hat{e}_{i})}{\partial X_{j}}
\otimes\hat{e}_{j}
\otimes\hat{e}_{j}
=:
=:
Zeile 373: Zeile 421:


:<math>
:<math>
\vec{g}_{j}:=\dfrac{\partial\vec{\chi}(\vec{X},t)}{\partial X_{j}}
\vec{g}_{j}:=\frac{\partial\vec{\chi}(\vec{X},t)}{\partial X_{j}}
</math>
</math>


Zeile 390: Zeile 438:
aus den Skalarprodukten dieser Tangentenvektoren:
aus den Skalarprodukten dieser Tangentenvektoren:


:<math>g_{ik}:=\vec{g}_{i}\cdot\vec{g}_{k}\,.</math>
:<math>g_{ik}:=\vec{g}_{i}\cdot\vec{g}_{k}</math>.


Mit den ''[[Christoffelsymbole]]n der ersten Art''
Mit den ''[[Christoffelsymbole]]n der ersten Art''
Zeile 397: Zeile 445:
:=
:=
\vec{g}_{m}\cdot
\vec{g}_{m}\cdot
\dfrac{\partial\vec{g}_{k}}{\partial X_{l}}
\frac{\partial\vec{g}_{k}}{\partial X_{l}}
=
=
\dfrac{1}{2}\left(
\frac12\left(
\dfrac{\partial g_{km}}{\partial X_{l}}
\frac{\partial g_{km}}{\partial X_{l}}
+\dfrac{\partial g_{ml}}{\partial X_{k}}
+\frac{\partial g_{ml}}{\partial X_{k}}
-
-
\dfrac{\partial g_{lk}}{\partial X_{m}}\right)
\frac{\partial g_{lk}}{\partial X_{m}}\right)
=\Gamma_{mlk}</math>
=\Gamma_{mlk}</math>


Zeile 409: Zeile 457:


:<math>R_{ijkl}
:<math>R_{ijkl}
=\dfrac{\partial\Gamma_{ijk}}{\partial X_{l}}
=\frac{\partial\Gamma_{ijk}}{\partial X_{l}}
-\dfrac{\partial\Gamma_{ijl}}{\partial X_{k}}
-\frac{\partial\Gamma_{ijl}}{\partial X_{k}}
+g^{pq}(\Gamma_{pik}\Gamma_{qjl}-\Gamma_{pil}\Gamma_{qjk})
+g^{pq}(\Gamma_{pik}\Gamma_{qjl}-\Gamma_{pil}\Gamma_{qjk})
=0
=0
Zeile 419: Zeile 467:
:<math>\mathbf{C}^{-1}=g^{pq}\hat{e}_{p}\otimes\hat{e}_{q}</math>
:<math>\mathbf{C}^{-1}=g^{pq}\hat{e}_{p}\otimes\hat{e}_{q}</math>


und <math>R_{ijkl}</math> sind die Komponenten des ''[[Riemannscher Krümmungstensor|Riemann-Christoffel Krümmungstensors]]''. Von den obigen Gleichungen für die 81 Komponenten des Riemann-Christoffel Tensors sind nur sechs unabhängig<ref group="L">{{Literatur|Autor=E. Klingbeil|Titel=Tensorrechnung für Ingenieure|Verlag=B.I. Wissenschaftsverlag|Jahr=1989|ISBN=3-411-05197-3|Seiten=122}}</ref>. Wegen des linearen Zusammenhangs
und <math>R_{ijkl}</math> sind die Komponenten des ''[[Riemannscher Krümmungstensor|Riemann-Christoffel Krümmungstensors]]''. Von den obigen Gleichungen für die 81 Komponenten des Riemann-Christoffel Tensors sind nur sechs unabhängig<ref group="L">{{Literatur |Autor=E. Klingbeil |Titel=Tensorrechnung für Ingenieure |Verlag=B.I. Wissenschaftsverlag |Datum=1989 |ISBN=3-411-05197-3 |Seiten=122}}</ref>. Wegen des linearen Zusammenhangs


:<math>\mathbf{E}=\dfrac{1}{2}(\mathbf{C}-\mathbf{I})</math>
:<math>\mathbf{E}=\frac12(\mathbf{C}-\mathbf1)</math>


zwischen dem rechten Cauchy-Green Tensor <math>\mathbf{C}</math> und dem Green-Lagrange’schen Verzerrungstensor <math>\mathbf{E}</math> können daraus auch Kompatibilitätsbedingungen für die Komponenten
zwischen dem rechten Cauchy-Green Tensor <math>\mathbf{C}</math> und dem Green-Lagrange’schen Verzerrungstensor <math>\mathbf{E}</math> können daraus auch Kompatibilitätsbedingungen für die Komponenten


:<math>E_{ij}=\dfrac{1}{2}(g_{ij}-\delta_{ij})
:<math>E_{ij}=\frac12(g_{ij}-\delta_{ij})
\rightarrow
\rightarrow
g_{ij}=2E_{ij}+\delta_{ij}</math>
g_{ij}=2E_{ij}+\delta_{ij}</math>


des Green-Lagrange’schen Verzerrungstensors abgeleitet werden, die aber weitaus schwieriger zu lösen sind als im geometrisch linearen Fall, wo <math>\mathbf{E}</math> in den linearisierten Verzerrungstensor <math>\boldsymbol{\varepsilon}</math> übergeht, siehe oben und folgendes Beispiel.
des Green-Lagrange’schen Verzerrungstensors abgeleitet werden, die aber weitaus schwieriger zu lösen sind als im geometrisch linearen Fall, wo <math>\mathbf{E}</math> in den linearisierten Verzerrungstensor '''ε''' übergeht, siehe oben und folgendes Beispiel.


== Beispiel ==
== Beispiel ==
Zeile 439: Zeile 487:
mit Proportionalitätsfaktor <math>-m</math> und [[Elastizitätsmodul]] <math>E</math> des Materials des Balkens, siehe Abbildung rechts. Gemäß dem [[Hookesches Gesetz|Hooke’schen Gesetz]] entsprechen die Spannungen den Dehnungen
mit Proportionalitätsfaktor <math>-m</math> und [[Elastizitätsmodul]] <math>E</math> des Materials des Balkens, siehe Abbildung rechts. Gemäß dem [[Hookesches Gesetz|Hooke’schen Gesetz]] entsprechen die Spannungen den Dehnungen


:<math>\begin{pmatrix}
:<math>\begin{align}
\varepsilon_{xx}\\
\begin{pmatrix}\varepsilon_{xx}\\ \varepsilon_{yy}\\ \varepsilon_{zz}
\varepsilon_{yy}\\
\varepsilon_{zz}
\end{pmatrix}
\end{pmatrix}
=&
\frac{1}{E}
\begin{pmatrix}1&-\nu&-\nu\\-\nu&1&-\nu\\-\nu&-\nu&1\end{pmatrix}
\begin{pmatrix}\sigma_{xx}\\ \sigma_{yy}\\ \sigma_{zz}\end{pmatrix}
\\=&
\begin{pmatrix}1&-\nu&-\nu\\-\nu&1&-\nu\\-\nu&-\nu&1\end{pmatrix}
\begin{pmatrix}-mz\\0\\0\end{pmatrix}
=
=
\dfrac{1}{E}
\begin{pmatrix}-mz\\ \nu mz\\ \nu mz\end{pmatrix}
\begin{pmatrix}
\end{align}</math>
1& -\nu & -\nu\\
-\nu & 1& -\nu\\
-\nu & -\nu & 1
\end{pmatrix}
\begin{pmatrix}
\sigma_{xx}\\
\sigma_{yy}\\
\sigma_{zz}
\end{pmatrix}
=
\begin{pmatrix}
1& -\nu & -\nu\\
-\nu & 1& -\nu\\
-\nu & -\nu & 1
\end{pmatrix}
\begin{pmatrix}
-mz\\
0\\
0
\end{pmatrix}
=
\begin{pmatrix}
-mz\\
\nu mz\\
\nu mz
\end{pmatrix}</math>


denn Schubspannungen sind nicht vorgegeben, weswegen auch keine [[Scherung (Mechanik)|Scherungen]] auftreten. Die Größe <math>\nu</math> ist die [[Querdehnzahl]] des Materials des Balkens. Weil sämtliche zweiten Ableitungen der Dehnungen verschwinden, sind die Kompatibilitätsbedingungen erfüllt: es gibt also ein Verschiebungsfeld, das die vorgegebenen Dehnungen hervorruft. Mit den im Bild skizzierten Randbedingungen lauten diese Verschiebungen
denn Schubspannungen sind nicht vorgegeben, weswegen auch keine [[Scherung (Mechanik)|Scherungen]] auftreten. Die Größe <math>\nu</math> ist die [[Querdehnzahl]] des Materials des Balkens. Weil sämtliche zweiten Ableitungen der Dehnungen verschwinden, sind die Kompatibilitätsbedingungen erfüllt: es gibt also ein Verschiebungsfeld, das die vorgegebenen Dehnungen hervorruft. Mit den im Bild skizzierten Randbedingungen lauten diese Verschiebungen
Zeile 481: Zeile 508:
v =&\nu m y z
v =&\nu m y z
\\
\\
w =&\dfrac{m}{2}(x^{2}-\nu y^{2}+\nu z^{2})
w =&\frac{m}{2}(x^{2}-\nu y^{2}+\nu z^{2})
\end{align}</math>
\end{align}</math>


denn:
denn:
:<math>\begin{array}{lcllcllcl}
 
:<math>\begin{align}
\varepsilon_{xx}
\varepsilon_{xx}
&=&
=&
\dfrac{\partial u}{\partial x}
\frac{\partial u}{\partial x}
= -m z,
= -m z,
&
&
2\varepsilon_{xy}
2\varepsilon_{xy}
&=&
=&
\dfrac{\partial u}{\partial y}+\dfrac{\partial v}{\partial x}
\frac{\partial u}{\partial y}+\frac{\partial v}{\partial x}
=0+0
=0+0
&=&0
\!\!\!\!\!\!\!\!&=&0
\\[2ex]
\\[2ex]
\varepsilon_{yy}
\varepsilon_{yy}
&=&
=&
\dfrac{\partial v}{\partial y}
\frac{\partial v}{\partial y}
=\nu m z,
=\nu m z,
&
&
2\varepsilon_{yz}
2\varepsilon_{yz}
&=&\dfrac{\partial v}{\partial z}+\dfrac{\partial w}{\partial y}
=&\frac{\partial v}{\partial z}+\frac{\partial w}{\partial y}
=\nu m y -\nu m y
=\nu m y -\nu m y
&=&0
\!\!\!\!\!\!\!\!&=&0
\\[2ex]
\\[2ex]
\varepsilon_{zz}
\varepsilon_{zz}
&=&\dfrac{\partial w}{\partial z}
=&\frac{\partial w}{\partial z}
=\nu m z,
=\nu m z,
&
&
2\varepsilon_{xz}
2\varepsilon_{xz}
&=&
=&
\dfrac{\partial u}{\partial z}+\dfrac{\partial w}{\partial x}
\frac{\partial u}{\partial z}+\frac{\partial w}{\partial x}
= -m x + m x
= -m x + m x
&=&0
\!\!\!\!\!\!\!\!&=&0
\end{array}</math>
\end{align}</math>
 
und
und
:<math>
:<math>
u(x=0)=0
u(x=0)=0
Zeile 524: Zeile 554:
\,,\quad
\,,\quad
w(x=0, y=0, z=0)=0
w(x=0, y=0, z=0)=0
\,.</math>
</math>
 
Im Beispiel bei den Spannungsfunktionen zeigt sich, dass dieses Bewegungsfeld auch im Gleichgewicht ist.
Im Beispiel bei den Spannungsfunktionen zeigt sich, dass dieses Bewegungsfeld auch im Gleichgewicht ist.


Zeile 539: Zeile 570:


== Literatur ==
== Literatur ==
* {{Literatur|Autor= M. E. Gurtin
* {{Literatur
|Titel= The Linear Theory of Elasticity
  |Autor=M. E. Gurtin
|Sammelwerk= Handbuch der Physik
  |Hrsg=S. Flügge
|Band=Bd. VI2/a, Bandherausgeber C. Truesdell
  |Titel=The Linear Theory of Elasticity
|Herausgeber=S. Flügge
  |Sammelwerk=Handbuch der Physik
|Verlag=Springer
  |Band=Bd. VI2/a, Bandherausgeber C. Truesdell
|Jahr=1972
  |Verlag=Springer
|ISBN=3-540-05535-5}}
  |Datum=1972
* {{Literatur| Autor=P. Haupt
  |ISBN=3-540-05535-5}}
| Titel=Continuum Mechanics and Theory of Materials
* {{Literatur
| Verlag=Springer
  |Autor=P. Haupt
| Jahr=2010
  |Titel=Continuum Mechanics and Theory of Materials
| ISBN=978-3-642-07718-0}}
  |Verlag=Springer
* {{Literatur|Autor=E. Klingbeil
  |Datum=2010
|Titel=Tensorrechnung für Ingenieure
  |ISBN=978-3-642-07718-0}}
|Verlag=B.I. Wissenschaftsverlag
* {{Literatur
|Jahr=1989
  |Autor=E. Klingbeil
|ISBN=3-411-05197-3}}
  |Titel=Tensorrechnung für Ingenieure
* {{Literatur|Autor=Martin H. Sadd
  |Verlag=B.I. Wissenschaftsverlag
|Titel=Elasticity – Theory, applications and numerics
  |Datum=1989
|Verlag=Elsevier Butterworth-Heinemann
  |ISBN=3-411-05197-3}}
|Jahr=2005
* {{Literatur
|ISBN=0-12-605811-3}}
  |Autor=Martin H. Sadd
* {{Literatur|Autor=P. K. Raschewski
  |Titel=Elasticity – Theory, applications and numerics
|Titel=Riemannsche Geometrie und Tensoranalysis
  |Verlag=Elsevier Butterworth-Heinemann
|Verlag=VEB Deutscher Verlag der Wissenschaft
  |Datum=2005
|Jahr=1959}}
  |ISBN=0-12-605811-3}}
* {{Literatur|Autor=T. Y. Thomas
* {{Literatur
|Titel=Systems of Total Differential Equations Defined over Simply Connected Domains
  |Autor=P. K. Raschewski
|Sammelwerk=Annals of Mathematics|Band=35|Seiten=730–734
  |Titel=Riemannsche Geometrie und Tensoranalysis
|Jahr=1934|Online=[http://www.jstor.org/discover/10.2307/1968488 JSTOR]|Sprache=en}}
  |Verlag=VEB Deutscher Verlag der Wissenschaft
  |Datum=1959}}
* {{Literatur
  |Autor=T. Y. Thomas
  |Titel=Systems of Total Differential Equations Defined over Simply Connected Domains
  |Sammelwerk=Annals of Mathematics
  |Band=35
  |Datum=1934
  |Seiten=730–734
  |Sprache=en
  |JSTOR=10.2307/1968488}}


{{SORTIERUNG:Kompatibilitatsbedingung}}
{{SORTIERUNG:Kompatibilitatsbedingung}}
[[Kategorie:Kontinuumsmechanik]]
[[Kategorie:Kontinuumsmechanik]]

Aktuelle Version vom 9. Juni 2021, 18:10 Uhr

Kompatibilitätsbedingungen sind in der Kontinuumsmechanik Bedingungen, die erfüllt sein müssen, damit aus Ableitungen eines Bewegungsfeldes nach dem Ort gebildeten Größen, das Bewegungsfeld rekonstruiert werden kann. Die abgeleiteten Größen sind dann kompatibel mit einem Bewegungsfeld.

Anwendung finden die Kompatibilitätsbedingungen in der Theorie der Spannungsfunktionen, mit deren Hilfe analytische Lösungen der ebenen und räumlichen, linearen Elastostatik berechnet werden können, z. B. bei der Airy’schen Spannungsfunktion.

Einführung

Motivation

Bei der Verformung in der Ebene entsprechen zwei Verschiebungen drei Verzerrungsfeldern $ \varepsilon _{11},\varepsilon _{22} $ und $ \varepsilon _{12} $. Aus ihnen kann das Verschiebungsfeld unten rekonstruiert werden, wenn die Kompatibilitätsbedingungen eingehalten werden.

Bei der Bewegung eines Körpers durch den Raum treten in den für die Kontinuumsmechanik interessanten Fällen Verformungen auf, die sich durch die Verzerrungen quantifizieren lassen, die aus Ableitungen des Bewegungsfeldes nach dem Ort berechnet werden. Von den Verzerrungen gibt es im allgemeinen dreidimensionalen Fall sechs Komponenten. Sollen aus ihnen die drei Komponenten der Bewegung in x-, y- bzw. z-Richtung rekonstruiert werden, ist klar, dass die Verzerrungen nicht voneinander unabhängig sein können. Bei einer ebenen Bewegung liegen drei Verzerrungsfelder $ \varepsilon _{11},\varepsilon _{22} $ und $ \varepsilon _{12} $ vor, die zwei Verschiebungskomponenten in x- bzw. y-Richtung entsprechen (nach Umbenennung gemäß dem Schema 1 → x und 2 → y). Einen solchen Fall zeigt die nebenstehende Abbildung. Nun kann sich die Frage stellen, ob sich aus den Verzerrungsfeldern die Bewegung rekonstruieren lässt. Dies kann genau dann gelingen, wenn die Verzerrungen die für sie formulierten Kompatibilitätsbedingungen einhalten.

Indem die drei Komponenten der Bewegung in x-, y- und z-Richtung nach den drei Ortskoordinaten in x-, y- bzw. z-Richtung abgeleitet werden, entstehen insgesamt neun Ableitungen, die die Komponenten des Deformationsgradienten bilden. Auch für die neun Komponenten des Deformationsgradienten existieren Kompatibilitätsbedingungen, die diese einhalten müssen, damit aus ihnen die Bewegung wieder hergestellt werden kann.

Bewegungen

Um die Bewegung eines Körpers zu beschreiben, wird zunächst jedem Partikel des Körpers über die Referenzkonfiguration eineindeutig ein „Name“ oder „Etikett“ zugeordnet. Dieser „Name“ soll hier die Position

$ {\vec {X}}=\sum _{i=1}^{3}X_{i}{\hat {e}}_{i}\in \mathbb {V} ^{3} $

des Partikels zu einem bestimmten Zeitpunkt $ t_{0} $ sein. Die Zahlen $ X_{1,2,3}\in \mathbb {R} $ werden materielle Koordinaten des Partikels genannt und gelten in Bezug auf die Standardbasis $ {\hat {e}}_{1,2,3} $ des euklidischen Vektorraumes $ \mathbb {V} ^{3} $. Zumeist wird $ t_{0} $ so gewählt, dass zu diesem Zeitpunkt der Körper undeformiert und in Ruhe ist und die Bewegung beginnt. Im Zuge seiner Bewegung durch den Raum wandert jedes Partikel auf seiner Bahnlinie vorwärts, die die Bewegungsfunktion

$ {\vec {\chi }}({\vec {X}},t)={\vec {x}}=\sum _{i=1}^{3}x_{i}{\hat {e}}_{i}\in \mathbb {V} ^{3} $

mathematisch beschreibt. In Bezug auf die Standardbasis hat nun jedes Partikel zu einer Zeit $ t\geq t_{0} $ räumliche Koordinaten $ x_{1,2,3}\in \mathbb {R} $.

Kompatibilitätsbedingungen

Linearisierter Verzerrungstensor

Der linearisierte Verzerrungstensor entsteht aus Ableitungen des Verschiebungsfeldes. Die Verschiebung $ {\vec {u}} $ eines Partikels ist sein zurückgelegter Weg, mathematisch der Differenzvektor zwischen seiner aktuellen Position und seiner Position in der Ausgangskonfiguration:

$ {\vec {u}}({\vec {X}},t):={\vec {\chi }}({\vec {X}},t)-{\vec {X}}=\sum _{i=1}^{3}u_{i}({\vec {X}},t){\hat {e}}_{i} $.

Häufig kann, vor allem in technischen Anwendungen, angenommen werden, dass erstens diese Verschiebung im Vergleich zu Abmessungen des Körpers klein ist und zweitens auch die Ableitungen der Verschiebungen nach dem Ort klein gegen eins sind. Dann brauchen die materiellen Koordinaten $ {\vec {X}} $ und die räumlichen $ {\vec {x}} $ nicht mehr auseinandergehalten zu werden und die Verzerrungen des Körpers werden mit dem linearisierten Verzerrungstensor gemessen, der die Darstellung

$ {\begin{aligned}{\boldsymbol {\varepsilon }}:=&{\frac {1}{2}}\left(\mathrm {grad} ({\vec {u}})+\mathrm {grad} ({\vec {u}})^{\top }\right)={\frac {1}{2}}(\nabla \otimes {\vec {u}}^{\top }+\nabla \otimes {\vec {u}})\\=&\varepsilon _{ij}{\hat {e}}_{i}\otimes {\hat {e}}_{j}={\frac {1}{2}}(u_{i,j}+u_{j,i}){\hat {e}}_{i}\otimes {\hat {e}}_{j}\end{aligned}} $

besitzt. Darin ist „grad“ der Gradienten- und 𝜵 der Nabla-Operator, das hochgestellte Zeichen steht für die Transposition, das Rechenzeichen „⊗“ bildet das dyadische Produkt und in den letzten beiden Gleichungen wurde die Einsteinsche Summenkonvention angewendet. Hier wie im Folgenden ist über in einem Produkt doppelt vorkommende Indizes, oben i und j, von eins bis drei zu summieren. Des Weiteren ist ein Index nach einem Komma eine abkürzende Schreibweise für die Ableitung nach der genannten Koordinate:

$ u_{i,j}:={\frac {\partial u_{i}}{\partial x_{j}}} $.

Berechnung der Rotation des Verzerrungstensors liefert:

$ {\begin{aligned}\nabla \times {\boldsymbol {\varepsilon }}:=&{\hat {e}}_{k}\times {\frac {\partial }{\partial x_{k}}}{\boldsymbol {\varepsilon }}={\hat {e}}_{k}\times {\frac {1}{2}}(u_{i,jk}+u_{j,ik})({\hat {e}}_{i}\otimes {\hat {e}}_{j})\\=&{\frac {1}{2}}u_{i,jk}({\hat {e}}_{k}\times {\hat {e}}_{i})\otimes {\hat {e}}_{j}+{\frac {1}{2}}\underbrace {u_{j,ik}({\hat {e}}_{k}\times {\hat {e}}_{i})\otimes {\hat {e}}_{j}} _{=\mathbf {0} }\\\rightarrow \nabla \times \left((\nabla \times {\boldsymbol {\varepsilon }})^{\top }\right)=&{\hat {e}}_{l}\times {\frac {\partial }{\partial x_{l}}}\left({\frac {1}{2}}u_{i,jk}{\hat {e}}_{j}\otimes ({\hat {e}}_{k}\times {\hat {e}}_{i})\right)\\=&{\frac {1}{2}}u_{i,jkl}{\hat {e}}_{l}\times {\hat {e}}_{j}\otimes {\hat {e}}_{k}\times {\hat {e}}_{i}=\mathbf {0} \end{aligned}} $

Der obere rechte Term verschwindet, weil Komponenten mit vertauschten Indizes i und k gleich groß aber umgekehrtes Vorzeichen haben, so dass sie sich in der Summe aufheben, oder bei i = k verschwinden, was in der letzten Gleichung auch für die Indizes j und l in analoger Weise zutrifft. Die aus dem Verschiebungsfeld abgeleiteten Verzerrungen erfüllen also[F 1]

$ {\begin{aligned}\nabla \times \left((\nabla \times {\boldsymbol {\varepsilon }})^{\top }\right)=\varepsilon _{ij,kl}\epsilon _{jlm}\epsilon _{ikn}{\hat {e}}_{m}\otimes {\hat {e}}_{n}=&\mathbf {0} \\\downarrow &\\2\varepsilon _{12,12}-\varepsilon _{22,11}-\varepsilon _{11,22}=&0\\2\varepsilon _{13,13}-\varepsilon _{33,11}-\varepsilon _{11,33}=&0\\2\varepsilon _{23,23}-\varepsilon _{33,22}-\varepsilon _{22,33}=&0\\\varepsilon _{11,23}+\varepsilon _{23,11}-\varepsilon _{12,13}-\varepsilon _{13,12}=&0\\\varepsilon _{22,13}+\varepsilon _{13,22}-\varepsilon _{12,23}-\varepsilon _{23,12}=&0\\\varepsilon _{12,33}+\varepsilon _{33,12}-\varepsilon _{13,23}-\varepsilon _{23,13}=&0\end{aligned}} $

ϵijk = (êi × êj) · êk ist das Permutationssymbol. Die Gleichungen sind die Kompatibilitätsbedingungen der Verzerrungen, denn werden diese Gleichungen von einem Verzerrungsfeld eingehalten, dann gibt es ein Verschiebungsfeld, das die gegebenen Verzerrungen hervorruft[L 1].

Beweis 1
Der Schluss von der Kompatibilitätsbedingung $ \nabla \times \left((\nabla \times {\boldsymbol {\varepsilon }})^{\top }\right)=\mathbf {0} $ auf die Existenz des Verschiebungsfeldes gelingt mit dem Tensorfeld $ \nabla \times {\boldsymbol {\varepsilon }}=\varepsilon _{ij,k}({\hat {e}}_{k}\times {\hat {e}}_{i})\otimes {\hat {e}}_{j} $, das spurfrei ist:
$ \mathrm {Sp} (\nabla \times {\boldsymbol {\varepsilon }})=\varepsilon _{ij,k}\,({\hat {e}}_{k}\times {\hat {e}}_{i})\cdot {\hat {e}}_{j}=\varepsilon _{ij,k}\,({\hat {e}}_{i}\times {\hat {e}}_{j})\cdot {\hat {e}}_{k}=0 $,

denn Terme mit vertauschten Indizes i und j sind gleich groß, haben aber entgegengesetztes Vorzeichen, so dass sie sich in der Summe aufheben, oder verschwinden bei i = j, siehe Spatprodukt. Nach dem Poincaré-Lemma in der Ausprägung

$ \nabla \times (\mathbf {T} ^{\top })=\mathbf {0} \;{\text{und}}\;\mathrm {Sp} (\mathbf {T} )=0\;\rightarrow \;\exists \mathbf {W} \colon \mathbf {T} =\nabla \times \mathbf {W} \;{\text{mit}}\;\mathbf {W} ^{\top }=-\mathbf {W} $

existiert ein schiefsymmetrisches Tensorfeld W, dessen Rotation 𝜵 × ε ist:

$ \nabla \times {\boldsymbol {\varepsilon }}=\nabla \times \mathbf {W} \quad \rightarrow \quad \mathbf {0} =\nabla \times ({\boldsymbol {\varepsilon }}-\mathbf {W} )=\nabla \times [({\boldsymbol {\varepsilon }}+\mathbf {W} )^{\top }] $.

Gemäß dem Poincaré-Lemma in der Ausprägung

$ \nabla \times (\mathbf {T} ^{\top })=\mathbf {0} \quad \rightarrow \quad \exists {\vec {u}}\colon \mathbf {T} =\nabla \otimes {\vec {u}}^{\top } $

gibt es nun ein Vektorfeld $ {\vec {u}} $, für das gilt:

$ {\boldsymbol {\varepsilon }}+\mathbf {W} =\nabla \otimes {\vec {u}}^{\top } $

und dessen symmetrischer Anteil der Verzerrungstensor ist:

$ {\frac {1}{2}}[\nabla \otimes {\vec {u}}^{\top }+\nabla \otimes {\vec {u}}]={\frac {1}{2}}({\boldsymbol {\varepsilon }}+\mathbf {W} +{\boldsymbol {\varepsilon }}^{\top }+\mathbf {W} ^{\top })={\boldsymbol {\varepsilon }} $.

In ebenen Problemen, wie bei der Airy’schen Spannungsfunktion, wo nur zwei Koordinaten involviert sind, reduzieren sich diese Kompatibilitätsbedingungen weiter auf nur eine von den drei ersten skalaren Gleichungen.

Die Kompatibilitätsbedingung kann auch ohne die Rotation geschrieben werden:

$ {\begin{aligned}\Delta {\boldsymbol {\varepsilon }}+\nabla \otimes \nabla \mathrm {Sp} ({\boldsymbol {\varepsilon }})-2\mathrm {sym} {\big (}\nabla \otimes (\nabla \cdot {\boldsymbol {\varepsilon }}){\big )}=&\mathbf {0} \\\leftrightarrow \quad \varepsilon _{ij,kk}+\varepsilon _{kk,ij}-\varepsilon _{ik,jk}-\varepsilon _{jk,ik}=&0\,,\quad i,j=1,2,3\end{aligned}} $

Der Operator „Sp“ gibt die Spur eines Tensors und „sym“ liefert den symmetrischen Anteil $ \mathrm {sym} (\mathbf {T} )={\tfrac {1}{2}}(\mathbf {T} +\mathbf {T} ^{\top }) $.

Beweis 2
Für die Herleitung wird das wie folgt definierte äußere Tensorprodukt „#“ benutzt:
$ {\begin{aligned}({\vec {a}}\otimes {\vec {g}})\#({\vec {b}}\otimes {\vec {h}}):=&({\vec {a}}\times {\vec {b}})\otimes ({\vec {g}}\times {\vec {h}})\\\mathbf {A} \#\mathbf {B} =&-\mathrm {Sp} (\mathbf {A} )\mathbf {B} ^{\top }-\mathrm {Sp} (\mathbf {B} )\mathbf {A} ^{\top }+\mathbf {A} ^{\top }\cdot \mathbf {B} ^{\top }+\mathbf {B} ^{\top }\cdot \mathbf {A} ^{\top }\\&+[\mathrm {Sp} (\mathbf {A} )\mathrm {Sp} (\mathbf {B} )-\mathrm {Sp} (\mathbf {A} \cdot \mathbf {B} )]\mathbf {1} \end{aligned}} $

Der Tensor 1 ist der Einheitstensor. Damit berechnet sich:

$ {\begin{aligned}{\mathfrak {R}}({\boldsymbol {\varepsilon }}):=&\nabla \times (\nabla \times {\boldsymbol {\varepsilon }}^{\top })=\varepsilon _{ij,kl}({\hat {e}}_{l}\times {\hat {e}}_{j}\otimes {\hat {e}}_{k}\times {\hat {e}}_{i})\\=&\varepsilon _{ij,kl}\overbrace {({\hat {e}}_{l}\otimes {\hat {e}}_{k})} ^{\mathbf {A} }\#\overbrace {({\hat {e}}_{j}\otimes {\hat {e}}_{i})} ^{\mathbf {B} }\\=&\varepsilon _{ij,kl}{\big [}-\delta _{lk}({\hat {e}}_{j}\otimes {\hat {e}}_{i})^{\top }-\delta _{ji}({\hat {e}}_{l}\otimes {\hat {e}}_{k})^{\top }+({\hat {e}}_{l}\otimes {\hat {e}}_{k})^{\top }\cdot ({\hat {e}}_{j}\otimes {\hat {e}}_{i})^{\top }\\&\qquad \;+({\hat {e}}_{j}\otimes {\hat {e}}_{i})^{\top }\cdot ({\hat {e}}_{l}\otimes {\hat {e}}_{k})^{\top }+(\delta _{lk}\delta _{ji}-\delta _{kj}\delta _{li})\mathbf {1} {\big ]}\\=&-\varepsilon _{ij,kk}({\hat {e}}_{i}\otimes {\hat {e}}_{j})-\varepsilon _{kk,ij}({\hat {e}}_{i}\otimes {\hat {e}}_{j})+\varepsilon _{jk,ik}({\hat {e}}_{i}\otimes {\hat {e}}_{j})\\&+\varepsilon _{ik,jk}({\hat {e}}_{i}\otimes {\hat {e}}_{j})+[\varepsilon _{ii,kk}-\varepsilon _{ij,ij}]\mathbf {1} \\=&-[\underbrace {\Delta {\boldsymbol {\varepsilon }}+\nabla \otimes {\big (}\nabla {\rm {Sp}}({\boldsymbol {\varepsilon }}){\big )}-2\mathrm {sym} {\big (}\nabla \otimes (\nabla \cdot {\boldsymbol {\varepsilon }}){\big )}} _{=:{\mathfrak {L}}({\boldsymbol {\varepsilon }})}]\\&+[\underbrace {\Delta \mathrm {Sp} ({\boldsymbol {\varepsilon }})-\nabla \cdot (\nabla \cdot {\boldsymbol {\varepsilon }})} _{=:s}]\mathbf {1} \\\rightarrow {\mathfrak {R}}({\boldsymbol {\varepsilon }})=&-{\mathfrak {L}}({\boldsymbol {\varepsilon }})+s\mathbf {1} \end{aligned}} $

Der Operator „Δ“ ist der Laplace-Operator. Die Spur von $ {\mathfrak {L}}({\boldsymbol {\varepsilon }}) $ berechnet sich zu

$ {\begin{aligned}\mathrm {Sp} ({\mathfrak {L}}({\boldsymbol {\varepsilon }}))=&\mathrm {Sp} (\varepsilon _{ij,kk}{\hat {e}}_{i}\otimes {\hat {e}}_{j}+\varepsilon _{kk,ij}{\hat {e}}_{i}\otimes {\hat {e}}_{j}-\varepsilon _{jk,ik}{\hat {e}}_{i}\otimes {\hat {e}}_{j}-\varepsilon _{ik,jk}{\hat {e}}_{i}\otimes {\hat {e}}_{j})\\=&\varepsilon _{ii,kk}+\varepsilon _{kk,ii}-\varepsilon _{ik,ik}-\varepsilon _{ik,ik}=2\Delta \mathrm {Sp} ({\boldsymbol {\varepsilon }})-2\nabla \cdot (\nabla \cdot {\boldsymbol {\varepsilon }})=2s\end{aligned}} $

mit der Konsequenz

$ \mathrm {Sp} ({\mathfrak {R}}({\boldsymbol {\varepsilon }}))=-2s+3s=s $.

Deshalb verschwindet $ {\mathfrak {R}}({\boldsymbol {\varepsilon }}) $ genau dann, wenn auch $ {\mathfrak {L}}({\boldsymbol {\varepsilon }}) $ verschwindet: Denn wenn $ {\mathfrak {R}}({\boldsymbol {\varepsilon }})=\mathbf {0} $ ist, dann ist auch s = 0 und es folgt $ {\mathfrak {L}}({\boldsymbol {\varepsilon }})=\mathbf {0} $. Umgekehrt folgt auch aus $ {\mathfrak {L}}({\boldsymbol {\varepsilon }})=\mathbf {0} $, dass s = 0 ist und dementsprechend $ {\mathfrak {R}}({\boldsymbol {\varepsilon }})=\mathbf {0} $ gilt. Also kann die Kompatibilität der Verzerrungen mit einem Verschiebungsfeld auch mit

$ {\begin{aligned}{\mathfrak {L}}({\boldsymbol {\varepsilon }})=\Delta {\boldsymbol {\varepsilon }}+\nabla \otimes {\big (}\nabla {\rm {Sp}}({\boldsymbol {\varepsilon }}){\big )}-2\mathrm {sym} {\big (}\nabla \otimes (\nabla \cdot {\boldsymbol {\varepsilon }}){\big )}=&\mathbf {0} \\\leftrightarrow \quad \varepsilon _{ij,kk}+\varepsilon _{kk,ij}-\varepsilon _{ik,jk}-\varepsilon _{jk,ik}=&0\,,\quad i,j=1,2,3\end{aligned}} $

sichergestellt werden.

Spannungen

Beim Lösungsansatz für die Bewegungsgleichungen über Spannungsfunktionen, sind die Spannungen die primären Unbekannten. Sind diese für gegebene Randbedingungen gefunden, dann gilt es aus ihnen das Bewegungsfeld zu rekonstruieren. Das gelingt bei linearer, isotroper Elastizität, wenn die Spannungen σ in einem Schwerefeld $ {\vec {b}} $ wie es die Schwerkraft eines ist die folgenden für sie formulierten Kompatibilitätsbedingungen erfüllen:

$ {\begin{aligned}&\Delta {\boldsymbol {\sigma }}+{\frac {1}{1+\nu }}\nabla \otimes {\big (}\nabla \mathrm {Sp} ({\boldsymbol {\sigma }}){\big )}+{\frac {\nu }{1-\nu }}(\nabla \cdot {\vec {b}})\mathbf {1} +2\mathrm {sym} (\nabla \otimes {\vec {b}})=\mathbf {0} \\\leftrightarrow &\sigma _{ij,kk}+{\frac {1}{1+\nu }}\sigma _{kk,ij}+{\frac {\nu }{1-\nu }}b_{k,k}\delta _{ij}+b_{i,j}+b_{j,i}=0\;,\quad i,j=1,2,3\end{aligned}} $

oder in Abwesenheit einer Schwerkraft:

$ {\begin{aligned}&\Delta {\boldsymbol {\sigma }}+{\frac {1}{1+\nu }}\nabla \otimes {\big (}\nabla \mathrm {Sp} ({\boldsymbol {\sigma }}){\big )}=\mathbf {0} \\\leftrightarrow &\sigma _{ij,kk}+{\frac {1}{1+\nu }}\sigma _{kk,ij}=0\;,\quad i,j=1,2,3\end{aligned}} $

Das Symbol $ \delta _{ij} $ ist das Kronecker-Delta und $ \nu $ ist die Querkontraktionszahl.

Beweis 3
Die Herleitung basiert auf Beweis 2, der zeigte, dass wenn
$ {\mathfrak {L}}({\boldsymbol {\varepsilon }}):=\Delta {\boldsymbol {\varepsilon }}+\nabla \otimes {\big (}\nabla {\rm {Sp}}({\boldsymbol {\varepsilon }}){\big )}-2\mathrm {sym} {\big (}\nabla \otimes (\nabla \cdot {\boldsymbol {\varepsilon }}){\big )} $

verschwindet, das Verzerrungsfeld ε kompatibel ist. In der Statik ist die Divergenz der Spannungen im Gleichgewicht mit der spezifischen Schwerkraft $ {\vec {b}} $:

$ \nabla \cdot {\boldsymbol {\sigma }}+{\vec {b}}={\vec {0}}\quad \leftrightarrow \quad \sigma _{ij,i}+b_{j}=0\,,\quad j=1,2,3 $

Mit der Abkürzung

$ p:=\mathrm {Sp} ({\boldsymbol {\sigma }}) $

folgt wegen 𝜵·𝜵f = Δf, 𝜵·(f 1) = 𝜵f und Sp(𝜵⊗f) = 𝜵·f:

$ {\begin{aligned}{\mathfrak {L}}({\boldsymbol {\sigma }})=&\Delta {\boldsymbol {\sigma }}+\nabla \otimes \nabla p+2\mathrm {sym} (\nabla \otimes {\vec {b}})\\{\mathfrak {L}}(p\,\mathbf {1} )=&\Delta p\,\mathbf {1} +\nabla \otimes \nabla p\end{aligned}} $

Bei linearer, isotroper Elastizität ist die Spannungs-Dehnungs-Beziehung linear:

$ {\boldsymbol {\varepsilon }}={\frac {1}{2G}}\left[{\boldsymbol {\sigma }}-{\frac {\nu }{1+\nu }}\mathrm {Sp} ({\boldsymbol {\sigma }})\,\mathbf {1} \right]\quad \leftrightarrow \quad \varepsilon _{ij}={\frac {1}{2G}}\left[\sigma _{ij}-{\frac {\nu }{1+\nu }}\sigma _{kk}\delta _{ij}\right] $.

Der Materialparameter G ist der Schubmodul. Jetzt kann die Kompatibilitätsbedingung mit den Spannungen ausgedrückt werden:

$ {\begin{aligned}{\mathfrak {L}}(2G{\boldsymbol {\varepsilon }})=&{\mathfrak {L}}({\boldsymbol {\sigma }})-{\frac {\nu }{1+\nu }}{\mathfrak {L}}(p\,\mathbf {1} )\\=&\Delta {\boldsymbol {\sigma }}+{\frac {1}{1+\nu }}\nabla \otimes \nabla p-{\frac {\nu }{1+\nu }}\Delta p\,\mathbf {1} +2\mathrm {sym} (\nabla \otimes {\vec {b}})=\mathbf {0} \end{aligned}} $.

Anwendung der Spur auf diese Gleichung ergibt

$ \Delta p=-{\frac {1+\nu }{1-\nu }}\mathrm {div} ({\vec {b}}) $

und führt schließlich auf die im Text aufgeführten Kompatibilitätsbedingungen.

Diese Kompatibilitätsbedingungen werden als Beltrami-Michell Gleichungen bezeichnet.[F 2]

Es existieren auch Kompatibilitätsbedingungen bei kubisch anisotroper (Albrecht 1951) und transversal isotroper (von Moisil 1952) linearer Elastizität[L 2].

Deformationsgradient

Die Komponenten des Deformationsgradienten werden aus den Ableitungen der Bewegungskomponenten $ \chi _{1,2,3} $ nach den materiellen Koordinaten $ X_{1,2,3} $ berechnet:

$ F_{ij}({\vec {X}},t)={\frac {\partial \chi _{i}({\vec {X}},t)}{\partial X_{j}}},\quad i,j=1,2,3 $.

Nun liegen also $ 3\cdot 3=9 $ Komponenten $ F_{ij} $ des Deformationsgradienten vor, die aus den drei Bewegungsfunktionen $ \chi _{1,2,3} $ abgeleitet wurden.

Sollen umgekehrt aus neun Komponenten $ F_{ij}({\vec {X}},t) $ des Deformationsgradienten die drei Bewegungsfunktionen $ \chi _{1,2,3}({\vec {X}},t) $ bezogen werden können, müssen die Komponenten des Deformationsgradienten die folgenden, für sie formulieren Kompatibilitätsbedingungen einhalten:

$ \nabla \times (\mathbf {F} ^{\top }):={\hat {e}}_{k}\times {\frac {\partial F_{ij}}{\partial X_{k}}}{\hat {e}}_{j}\otimes {\hat {e}}_{i}={\frac {\partial F_{ij}}{\partial X_{k}}}\epsilon _{kjl}{\hat {e}}_{l}\otimes {\hat {e}}_{i}=\mathbf {0} $

wo ϵijk = (êi × êj) · êk ist das Permutationssymbol ist, oder[L 3]

$ {\frac {\partial F_{ij}}{\partial X_{k}}}={\frac {\partial F_{ik}}{\partial X_{j}}}\,,\quad i,j,k=1,2,3 $

Falls das zutrifft, stellt das Poincaré-Lemma in der Form

$ \nabla \times (\mathbf {F} ^{\top })=\mathbf {0} \quad \rightarrow \quad \exists {\vec {\chi }}\colon \mathbf {F} =\mathrm {grad} ({\vec {\chi }}) $

sicher, dass es ein Vektorfeld $ {\vec {\chi }}({\vec {X}}) $ gibt, dessen Gradient das Tensorfeld $ \mathbf {F} $ ist.

Strecktensor

Der Deformationsgradient kann wegen

$ \mathbf {F} ={\frac {\partial \chi _{i}}{\partial X_{j}}}{\hat {e}}_{i}\otimes {\hat {e}}_{j}={\frac {\partial (\chi _{i}{\hat {e}}_{i})}{\partial X_{j}}}\otimes {\hat {e}}_{j}=:{\vec {g}}_{j}\otimes {\hat {e}}_{j} $

mit den Tangentenvektoren

$ {\vec {g}}_{j}:={\frac {\partial {\vec {\chi }}({\vec {X}},t)}{\partial X_{j}}} $

dargestellt werden. Die Komponenten $ g_{ik} $ des rechten Cauchy-Green Tensors $ \mathbf {C} =\mathbf {F} ^{\top }\cdot \mathbf {F} $ berechnen sich wegen

$ \mathbf {C} =g_{ik}{\hat {e}}_{i}\otimes {\hat {e}}_{k}=\mathbf {F} ^{\top }\cdot \mathbf {F} =\left({\hat {e}}_{i}\otimes {\vec {g}}_{i}\right)\cdot \left({\vec {g}}_{k}\otimes {\hat {e}}_{k}\right)=({\vec {g}}_{i}\cdot {\vec {g}}_{k}){\hat {e}}_{i}\otimes {\hat {e}}_{k} $

aus den Skalarprodukten dieser Tangentenvektoren:

$ g_{ik}:={\vec {g}}_{i}\cdot {\vec {g}}_{k} $.

Mit den Christoffelsymbolen der ersten Art

$ \Gamma _{mkl}:={\vec {g}}_{m}\cdot {\frac {\partial {\vec {g}}_{k}}{\partial X_{l}}}={\frac {1}{2}}\left({\frac {\partial g_{km}}{\partial X_{l}}}+{\frac {\partial g_{ml}}{\partial X_{k}}}-{\frac {\partial g_{lk}}{\partial X_{m}}}\right)=\Gamma _{mlk} $

kann gezeigt werden, dass bei gegebenen Komponenten $ g_{ij} $ des rechten Cauchy-Green Tensors die Bewegung genau dann rekonstruierbar ist, wenn

$ R_{ijkl}={\frac {\partial \Gamma _{ijk}}{\partial X_{l}}}-{\frac {\partial \Gamma _{ijl}}{\partial X_{k}}}+g^{pq}(\Gamma _{pik}\Gamma _{qjl}-\Gamma _{pil}\Gamma _{qjk})=0\,,\;{\text{für}}\quad i,j,k,l=1,2,3 $

gilt. Die Komponenten $ g^{pq} $ gehören zum Inversen des rechten Cauchy-Green Tensors

$ \mathbf {C} ^{-1}=g^{pq}{\hat {e}}_{p}\otimes {\hat {e}}_{q} $

und $ R_{ijkl} $ sind die Komponenten des Riemann-Christoffel Krümmungstensors. Von den obigen Gleichungen für die 81 Komponenten des Riemann-Christoffel Tensors sind nur sechs unabhängig[L 4]. Wegen des linearen Zusammenhangs

$ \mathbf {E} ={\frac {1}{2}}(\mathbf {C} -\mathbf {1} ) $

zwischen dem rechten Cauchy-Green Tensor $ \mathbf {C} $ und dem Green-Lagrange’schen Verzerrungstensor $ \mathbf {E} $ können daraus auch Kompatibilitätsbedingungen für die Komponenten

$ E_{ij}={\frac {1}{2}}(g_{ij}-\delta _{ij})\rightarrow g_{ij}=2E_{ij}+\delta _{ij} $

des Green-Lagrange’schen Verzerrungstensors abgeleitet werden, die aber weitaus schwieriger zu lösen sind als im geometrisch linearen Fall, wo $ \mathbf {E} $ in den linearisierten Verzerrungstensor ε übergeht, siehe oben und folgendes Beispiel.

Beispiel

Randbedingungen und Verformung (beige) bei der Biegung des geraden Balkens (gestrichelt)

Auf einen in x-Richtung ausgerichteten, linear elastischen Balken wirke ausschließlich eine zur z-Koordinate proportionale Spannung

$ \sigma _{xx}={\vec {t}}\cdot {\hat {e}}_{x}=-mEz $

mit Proportionalitätsfaktor $ -m $ und Elastizitätsmodul $ E $ des Materials des Balkens, siehe Abbildung rechts. Gemäß dem Hooke’schen Gesetz entsprechen die Spannungen den Dehnungen

$ {\begin{aligned}{\begin{pmatrix}\varepsilon _{xx}\\\varepsilon _{yy}\\\varepsilon _{zz}\end{pmatrix}}=&{\frac {1}{E}}{\begin{pmatrix}1&-\nu &-\nu \\-\nu &1&-\nu \\-\nu &-\nu &1\end{pmatrix}}{\begin{pmatrix}\sigma _{xx}\\\sigma _{yy}\\\sigma _{zz}\end{pmatrix}}\\=&{\begin{pmatrix}1&-\nu &-\nu \\-\nu &1&-\nu \\-\nu &-\nu &1\end{pmatrix}}{\begin{pmatrix}-mz\\0\\0\end{pmatrix}}={\begin{pmatrix}-mz\\\nu mz\\\nu mz\end{pmatrix}}\end{aligned}} $

denn Schubspannungen sind nicht vorgegeben, weswegen auch keine Scherungen auftreten. Die Größe $ \nu $ ist die Querdehnzahl des Materials des Balkens. Weil sämtliche zweiten Ableitungen der Dehnungen verschwinden, sind die Kompatibilitätsbedingungen erfüllt: es gibt also ein Verschiebungsfeld, das die vorgegebenen Dehnungen hervorruft. Mit den im Bild skizzierten Randbedingungen lauten diese Verschiebungen

$ {\begin{aligned}u=&-mxz\\v=&\nu myz\\w=&{\frac {m}{2}}(x^{2}-\nu y^{2}+\nu z^{2})\end{aligned}} $

denn:

$ {\begin{aligned}\varepsilon _{xx}=&{\frac {\partial u}{\partial x}}=-mz,&2\varepsilon _{xy}=&{\frac {\partial u}{\partial y}}+{\frac {\partial v}{\partial x}}=0+0\!\!\!\!\!\!\!\!&=&0\\[2ex]\varepsilon _{yy}=&{\frac {\partial v}{\partial y}}=\nu mz,&2\varepsilon _{yz}=&{\frac {\partial v}{\partial z}}+{\frac {\partial w}{\partial y}}=\nu my-\nu my\!\!\!\!\!\!\!\!&=&0\\[2ex]\varepsilon _{zz}=&{\frac {\partial w}{\partial z}}=\nu mz,&2\varepsilon _{xz}=&{\frac {\partial u}{\partial z}}+{\frac {\partial w}{\partial x}}=-mx+mx\!\!\!\!\!\!\!\!&=&0\end{aligned}} $

und

$ u(x=0)=0\,,\quad v(x=0,y=0)=0\,,\quad w(x=0,y=0,z=0)=0 $

Im Beispiel bei den Spannungsfunktionen zeigt sich, dass dieses Bewegungsfeld auch im Gleichgewicht ist.

Siehe auch

Fußnoten

  1. In der Literatur findet sich auch die Bedingung $ \mathrm {rot(rot} {\boldsymbol {\varepsilon }})=\mathbf {0} $, was angesichts der Definition der Rotation $ \mathrm {rot} \mathbf {T} =\nabla \times \mathbf {T} ^{\top }={\hat {e}}_{k}\times \left(\mathbf {T} _{,k}^{\top }\right) $ kein Widerspruch ist.
  2. Die Kompatibilitätsbedingungen für die Spannungen bei isotroper Elastizität in Abwesenheit einer Schwerebeschleunigung fand Beltrami 1892 und Donati und Michell formulierten den allgemeineren Fall inklusive Schwerebeschleunigung 1894 bzw. 1900, siehe M. E. Gurtin (1972), S. 92. Trotzdem also Donatis Arbeit sechs Jahre früher erschien als Michells, wird diese allgemeinere Gleichung als Beltrami-Michell Gleichung bezeichnet.

Einzelnachweise

  1. M. E. Gurtin (1972), S. 40
  2. M. E. Gurtin (1972), S. 92
  3. Haupt (2002), S. 65.
  4. E. Klingbeil: Tensorrechnung für Ingenieure. B.I. Wissenschaftsverlag, 1989, ISBN 3-411-05197-3, S. 122.

Literatur

  • M. E. Gurtin: The Linear Theory of Elasticity. In: S. Flügge (Hrsg.): Handbuch der Physik. Band VI2/a, Bandherausgeber C. Truesdell. Springer, 1972, ISBN 3-540-05535-5.
  • P. Haupt: Continuum Mechanics and Theory of Materials. Springer, 2010, ISBN 978-3-642-07718-0.
  • E. Klingbeil: Tensorrechnung für Ingenieure. B.I. Wissenschaftsverlag, 1989, ISBN 3-411-05197-3.
  • Martin H. Sadd: Elasticity – Theory, applications and numerics. Elsevier Butterworth-Heinemann, 2005, ISBN 0-12-605811-3.
  • P. K. Raschewski: Riemannsche Geometrie und Tensoranalysis. VEB Deutscher Verlag der Wissenschaft, 1959.