Euklidische Transformation

Die euklidische Transformation, benannt nach Euklid, ist eine abstands- und damit auch winkelerhaltende Transformation des euklidischen Raumes auf sich. Bei der eigentlichen euklidischen Transformation bleibt zusätzlich die Orientierung erhalten, werden also Spiegelungen ausgeschlossen.

In der klassischen Mechanik stellt die eigentliche euklidische Transformation eine Beobachtertransformation dar und bedeutet eine Translation und Rotation des Bezugssystems des Beobachters. Dabei werden nur die eigentlichen Transformationen betrachtet, denn Spiegelungen materieller Körper kommen in der Mechanik, die nur von der Schwerkraft bestimmte physikalische Gesetze in der makroskopischen Welt betrachtet, nicht vor.[1] Anschaulich kann man sich die euklidische Beobachtertransformation als eine Starrkörperbewegung eines Bezugssystems vorstellen, bei der der Ursprung und die angehefteten Koordinatenachsen sich beliebig bewegen, aber die Koordinatenachsen die relative Orientierung und Winkel zueinander beibehalten und nicht gedehnt oder gestaucht werden. Die Galilei-Transformation im euklidischen Raum ist als Spezialfall der geradlinig-gleichförmigen Bewegung mit konstanter Relativgeschwindigkeit enthalten.[2]

In der Mechanik wird die euklidische Transformation zur Definition objektiver oder invarianter Größen benutzt, die von Beobachtern in unterschiedlich bewegten Bezugssystemen in gleicher Weise wahrgenommen werden, siehe Wechsel des Bezugssystems. Objektive Größen, die den Zustand eines materiellen Körpers beschreiben, sind in der Materialtheorie von zentraler Bedeutung, denn es entspricht nicht der Erfahrung, dass ein bewegter Beobachter ein anderes Materialverhalten misst wie ein ruhender. Diese Gesetzmäßigkeit wird materielle Objektivität genannt.

Überblick

Die Darstellung erfolgt in drei Dimensionen, kann aber in einfacher Weise auf n Dimensionen verallgemeinert werden. Die euklidische Transformation ist eine abstandserhaltende Transformation eines euklidischen Raumes auf sich. Da er eine Abstandsfunktion enthält, ist der euklidische Raum ein Metrischer Raum und die euklidische Transformation eine Isometrie. Bezüglich der Hintereinanderausführung bilden die euklidischen Transformationen eine Gruppe.

Je nachdem welche Art Euklidischer Raum zu Grunde gelegt wird, liegen verschiedene Formulierungen vor:

  1. Die Transformation des euklidischen Punktraumes $ \mathbb{E}^3 $ ist eine Bewegung (Mathematik), die ebenfalls eigentlich genannt wird, wenn die Orientierung erhalten bleibt, und uneigentlich, wenn dies nicht der Fall ist.
  2. Die euklidische Transformation des Koordinatenraumes $ \R^3 $ mit dem Standardskalarprodukt über dem Körper $ \R $ ist eine spezielle Koordinatentransformation, bei der die Transformationsmatrix eine orthogonale Matrix ist (siehe Beschreibung in Koordinaten).
  3. Die Transformation des euklidischen Vektorraumes $ \mathbb{V}^3 $ (einem über $ \R $ definierten Vektorraum mit Skalarprodukt) wird hier in einem physikalischen Zusammenhang dargestellt.

Euklidische Transformation und Beobachterwechsel

Verschiebungen und Vektoren

Bei der euklidischen Transformation wird vom euklidischen Punktraum $ \mathbb{E}^3 $ unserer Anschauung ausgegangen und diesem ein euklidischer Vektorraum $ \mathbb{V}^3 $ zugeordnet, siehe Vom euklidischen Anschauungsraum zum euklidischen Vektorraum. Zusammenfassend liegt jedem euklidischen Vektorraum eine längentreue Abbildung

$ \begin{array}{llll} \mathcal{V}:&\mathbb{E}^3\times\mathbb{E}^3 &\mapsto &\mathbb{V}^3\\ & (R,S) &\mapsto &\vec{v} \end{array} $

zu Grunde, die allen parallelen, gleichsinnigen und gleich langen Verschiebungen von Punkten $ R $ zu Punkten $ S $ einen gleichlangen Vektor $ \vec{v} $ zuordnet, siehe Bild. Die Bedeutung hiervon wird in der aktiven Interpretation des Beobachterwechsels deutlich.[3]

Passive Interpretation oder Koordinatentransformation

Veranschaulichung der Koordinatentransformation

Durch Auswahl von vier nicht in einer Ebene liegenden Punkten $ O, P_{1}, P_2, P_3\in\mathbb{E}^3 $, von denen O den Ursprung darstellt, wird eine Basis $ \mathcal{V}(O,P_i)=\vec{e}_i $ des $ \mathbb{V}^3 $ entworfen. Der Einfachheit halber sollen die Vektoren $ \mathcal{V}(O,P_i)=\vec{e}_i $ paarweise senkrecht aufeinander stehen und jeweils die Länge eins haben, so dass die Basisvektoren $ \vec{e}_i $ eine Orthonormalbasis darstellen. Jedem Punkt $ X\in\mathbb{E}^3 $ können nun Koordinaten $ {x}_i\in\mathbb{R} $ zugeordnet werden:

$ \mathcal{V}(O,X)=:\vec{x}=\sum_{i=1}^3 x_i\vec{e}_i $ mit den Komponenten $ x_i:=\vec{e}_i\cdot\vec{x}\,. $

Ein Wechsel des Bezugssystems wird nun durch Auswahl von vier anderen Punkten $ O',P'_1, P'_2, P'_3\in\mathbb{E}^3 $ bewerkstelligt, was auf die neue Orthonormalbasis $ \vec{e}'_i $ führt, siehe Bild. Der Punkt $ X $ erhält im neuen Bezugssystem andere Koordinaten $ x'_i $ :

$ \mathcal{V}(O', X)=:\vec{x}'=\sum_{i=1}^3x'_i\vec{e}'_i\,. $

Mit

$ \mathcal{V}(O', O)=:\vec{s}=\sum_{i=1}^3 s_i\vec{e}'_i $

ergibt sich die Vektorgleichung

$ \begin{align} \mathcal{V}(O', X) =& \mathcal{V}(O', O) +\mathcal{V}(O, X) \\\Leftrightarrow\quad \sum_{i=1}^3x'_i\vec{e}'_i =&\sum_{i=1}^3 s_i\vec{e}'_i +\sum_{j=1}^3 x_j\vec{e}_j =\sum_{i=1}^3 s_i\vec{e}'_i +\sum_{i,j=1}^3 x_j (\vec{e}'_i\cdot\vec{e}_j)\vec{e}'_i \,.\end{align} $

Den Zusammenhang zwischen den Koordinaten beschreibt die Koordinatentransformation

$ x'_i= s_i+\sum_{j=1}^3 Q_{ij} x_j\Leftrightarrow \begin{pmatrix} x'_1\\ x'_2\\ x'_3\end{pmatrix} =\begin{pmatrix} s_1\\ s_2\\ s_3\end{pmatrix} + \begin{pmatrix} Q_{11}& Q_{12}& Q_{13}\\ Q_{21}& Q_{22}& Q_{23}\\ Q_{31}& Q_{32}& Q_{33} \end{pmatrix} \cdot \begin{pmatrix} x_1\\ x_2\\ x_3 \end{pmatrix} \,. $

Dies ist eine Matrizengleichung wie in Beschreibung in Koordinaten oder Isometrien. Die 3 × 3 Matrix Q mit den Komponenten $ Q_{ij}=\vec{e}'_i\cdot\vec{e}_j $ ist eine orthogonale Matrix und daher gilt

$ Q \cdot Q^T = E, $

worin E die Einheitsmatrix darstellt. Falls für die Determinante det(Q) = +1 gilt, sind die Basen $ \vec{e}_{1,2,3} $ und $ \vec{e}'_{1,2,3} $ gleich orientiert und es liegt eine eigentliche euklidische Transformation vor.

Aktive Interpretation oder koordinatenfreie Abbildung

Veranschaulichung der aktiven Interpretation der euklidischen Transformation

Ein Beobachter wird meist sowohl einen anderen Ursprung $ O' $ als auch eine andere Zuordnung $ \mathcal{V}':\mathbb{E}^3\times\mathbb{E}^3\mapsto\mathbb{V}^3 $ des euklidischen Punktraums zu einem Vektorraum wählen als ein anderer Beobachter. Die Bilder von $ \mathcal{V} $ und $ \mathcal{V}' $ können höchstens verdreht sein, weil die Abbildung längentreu sein soll und eine Verschiebung hier nicht ins Gewicht fällt, da allen parallelen, gleichsinnigen und gleichlangen Verschiebungen von Punkten $ R $ nach Punkten $ S $ derselbe Vektor zugeordnet wird:

$ \mathcal{V}'(R, S)=\mathbf{Q}\cdot\mathcal{V}(R, S)\quad\forall\;R,S\in\mathbb{E}^3 $

worin Q ein orthogonaler Tensor ist (QT · Q = 1 mit Einheitstensor 1), siehe Bild. Nun ist

$ \begin{align} \vec{x}'=&\mathcal{V}'(O', X) =\mathcal{V}'(O', O)+\mathcal{V}'(O, X) =\underbrace{\mathcal{V}'(O', O)}_{\vec{s}} +\mathbf{Q}\cdot\underbrace{\mathcal{V}(O, X)}_{\vec{x}} \\ \rightarrow\vec{x}'=&\vec{s}+\mathbf{Q}\cdot\vec{x}\,.\end{align} $

Diese Vektorgleichung ist koordinatenfrei, bezieht sich also auf kein Koordinaten- oder Basissystem. Anders als in der passiven Interpretation wird hier die Fähigkeit von Tensoren (hier Q) ausgenutzt, Vektoren von einem Vektorraum, dem Bildraum von $ \mathcal{V} $, in einen anderen, den Bildraum von $ \mathcal{V}' $, abzubilden, wobei in diesem Fall die beiden Bildräume identisch sind. Falls det(Q) = +1 liegt wiederum eine eigentliche euklidische Transformation vor. Weil jeder Tensor eine lineare Abbildung ist, entspricht dieses Vorgehen der Beschreibung mit Hilfe von linearen Abbildungen.

Der scheinbare Widerspruch $ \mathbf{Q}\cdot\vec{x} =\vec{x} $ löst sich auf, wenn die verschiedenen Basissysteme links und rechts des Gleichheitszeichens berücksichtigt werden:

$ \mathbf{Q}\cdot\sum_{i=1}^3 x_i\vec{e}'_i =\sum_{i=1}^3 x_i\vec{e}_i \quad\Leftrightarrow\quad \mathbf{Q}\cdot\vec{e}'_i =\vec{e}_i $

womit Q die komponentenweise Darstellung

$ \mathbf{Q} =\sum_{i=1}^3\vec{e}_i\otimes\vec{e}'_i =\sum_{i,j=1}^3 (\vec{e}'_i\cdot\vec{e}_j)\vec{e}_i\otimes\vec{e}_j =\sum_{i,j=1}^3 Q_{ij}\vec{e}_i\otimes\vec{e}_j $

mit Qij wie in der passiven Interpretation bekommt, was die Äquivalenz der passiven und aktiven Interpretationen unterstreicht.

Transformation der Zeit

Ein Beobachterwechsel beinhaltet auch einen Wechsel im Zeitmaßstab. In der euklidischen Transformation ist nur eine konstante Versetzung Δt vorgesehen:

$ t'= t+\Delta t $

was so zu verstehen ist, dass die Beobachter zum selben Zeitpunkt verschiedene Werte auf ihren Uhren ablesen, die Differenz der Werte aber immer dieselbe ist. Die Beobachter haben also ihre Stoppuhren zu verschiedenen Zeiten gestartet.

Allgemeiner Beobachterwechsel

In der klassischen Mechanik lässt sich ein Beobachterwechsel wie folgt beschreiben:

$ \begin{align} \vec{x}'(t') =&\vec{s}(t)+\mathbf{Q}(t)\cdot\vec{x}(t) \\ t'=& t+\Delta t \\ \mathbf{Q}(t)\cdot\mathbf{Q}^\top(t)=& \mathbf{Q}^\top(t)\cdot\mathbf{Q}(t) =\mathbf{1},\quad \mathrm{det}(\mathbf{Q})=+1 \,,\end{align} $

weil Drehspiegelungen (mit det(Q) = -1) in der von Schwerkraft und Elektromagnetismus dominierten makroskopischen Welt nicht vorkommen.

Die Galilei-Transformation ist der Spezialfall,[2] der nur die sogenannten Galilei-Boosts beinhaltet:

$ \ddot{\vec{s}}(t)=\vec{0}\Leftrightarrow\vec{s}(t)={\vec{s}}_{0}+{\vec{v}}_{0}t $ und Q(t) = Q0 = const.

worin $ {\vec{s}}_{0} $ eine konstante Verschiebung, $ {\vec{v}}_{0} $ eine konstante Geschwindigkeit und Q0 eine konstante Verdrehung bezeichnen. Diese lassen Betrag und relative Winkel von Beschleunigungen unverändert.

Objektive oder invariante Größen

Größen, die bei einem Wechsel des Bezugssystems unverändert wahrgenommen werden, werden objektiv oder invariant genannt. Einführend sei der Abstand zweier Punkte betrachtet: Bei jeder euklidischen Transformation bleibt der Abstand zwischen zwei beliebigen Punkten immer konstant und das gilt auch beim allgemeinen Beobachterwechsel. Seien $ \vec{p}=\mathcal{V}(O, P) $ und $ \vec{q}=\mathcal{V}(O, Q) $ die Ortsvektoren zweier Punkte P und Q. Das Quadrat ihres Abstandes

$ \begin{align} d'^2=&(\vec{p}'-\vec{q}')\cdot(\vec{p}'-\vec{q}') =(\vec{s}+\mathbf{Q}\cdot\vec{p}-\vec{s}-\mathbf{Q}\cdot\vec{q})\cdot(\vec{s}+\mathbf{Q}\cdot\vec{p}-\vec{s}-\mathbf{Q}\cdot\vec{q}) \\=& [\mathbf{Q}\cdot(\vec{p}-\vec{q})]\cdot[\mathbf{Q}\cdot(\vec{p}-\vec{q})] =(\vec{p}-\vec{q})\cdot\mathbf{Q^\top\cdot Q}\cdot(\vec{p}-\vec{q}) \\=&(\vec{p}-\vec{q})\cdot(\vec{p}-\vec{q}) ={d}^2 \end{align} $

bleibt also unverändert, wenn QT · Q = 1 ist und sich der Abstandsvektor $ \vec{p}-\vec{q} $ gemäß

$ (\vec{p}-\vec{q})'=\mathbf{Q}\cdot(\vec{p}-\vec{q}) $

transformiert. Letzteres kennzeichnet objektive Vektoren. Die Transformationseigenschaft für objektive Tensoren leitet sich aus der Forderung ab, dass ein objektiver Tensor objektive Vektoren auf objektive Vektoren abbildet. Bei objektiven Vektoren $ \vec{v} $ und $ \vec{w} $ soll also $ \vec{w}\cdot\mathbf{T}\cdot\vec{v} $ ebenfalls objektiv sein. Aus $ \vec{v}'=\mathbf{Q}\cdot\vec{v} $, $ \vec{w}'=\mathbf{Q}\cdot\vec{w} $ und $ \vec{w}'\cdot\mathbf{T}'\cdot\vec{v}'=\vec{w}\cdot\mathbf{T}\cdot\vec{v} $ resultiert:

$ \vec{w}\cdot\mathbf{T}\cdot\vec{v} =(\mathbf{Q}^\top\cdot\vec{w}')\cdot\mathbf{T\cdot Q}^\top\cdot\vec{v}' =\vec{w}'\cdot\mathbf{Q\cdot T\cdot Q}^\top\cdot\vec{v}' =\vec{w}'\cdot\mathbf{T}'\cdot\vec{v}' \,. $

Soll dies für alle objektiven Vektoren $ \vec{v} $ und $ \vec{w} $ gelten, so muss sich der Tensor gemäß

$ \mathbf{T}'=\mathbf{Q\cdot T\cdot Q}^\top $

transformieren.

Transformationseigenschaften objektiver Größen

Eine Größe ist objektiv, wenn sie sich bei einem Beobachterwechsel wie folgt transformiert:

Typ Bedingung
Skalar $ \phi $ $ \phi '(t')=\phi (t) $
Vektor $ \vec{v} $ $ \vec{v}'(t')=\mathbf{Q}(t)\cdot\vec{v}(t) $
Tensor $ \mathbf{T} $ $ \mathbf{T}'(t')=\mathbf{Q}(t)\cdot\mathbf{T}(t)\cdot\mathbf{Q}^\top(t) $

Geschwindigkeiten und Beschleunigung

Die Geschwindigkeit ist wegen

$ \vec{v}'=\frac{\mathrm{d}}{\mathrm{d}t'}(\vec{s}+\mathbf{Q}\cdot\vec{x})=\frac{\mathrm{d}}{\mathrm{d}t}(\vec{s}+\mathbf{Q}\cdot\vec{x})=\dot{\vec{s}}+\dot{\mathbf{Q}}\cdot\vec{x}+\mathbf{Q}\cdot\vec{v}\ne\mathbf{Q}\cdot\vec{v} $

keine objektive Größe und gleiches gilt für die Beschleunigung:

$ \begin{align} \vec{a}'=&\frac{\mathrm{d}\vec{v}'}{\mathrm{d}t'} =\frac{\mathrm{d}}{\mathrm{d}t}(\dot{\vec{s}}+\dot{\mathbf{Q}}\cdot\vec{x}+\mathbf{Q}\cdot\vec{v}) =\ddot{\vec{s}}+\ddot{\mathbf{Q}}\cdot\vec{x}+\dot{\mathbf{Q}}\cdot\vec{v}+\dot{\mathbf{Q}}\cdot\vec{v}+\mathbf{Q}\cdot\vec{a} \\=&\ddot{\vec{s}}+\ddot{\mathbf{Q}}\cdot\vec{x}+2\dot{\mathbf{Q}}\cdot\vec{v}+\mathbf{Q}\cdot\vec{a} \ne\mathbf{Q}\cdot\vec{a} \,.\end{align} $

Nur im Spezialfall der Galilei-Transformation ist wegen $ \ddot{\vec{s}}=\vec{0} $ und $ \ddot{\mathbf{Q}}=\dot{\mathbf{Q}}=\mathbf{0} $ die Beschleunigung objektiv. Es kann aber gezeigt werden, dass die Absolutgeschwindigkeit und die Absolutbeschleunigung objektiv sind.

Die Zeitableitung eines objektiven Vektors $ \vec{w} $ ist wegen

$ \frac{\mathrm{d}}{\mathrm{d}t'}\vec{w}' =\frac{\mathrm{d}}{\mathrm{d}t}(\mathbf{Q}\cdot\vec{w}) =\dot{\mathbf{Q}}\cdot\vec{w}+\mathbf{Q}\cdot\dot{\vec{w}} \ne\mathbf{Q}\cdot\dot{\vec{w}} $

meist nicht objektiv und gleiches gilt für die Zeitableitung eines objektiven Tensors $ \mathbf{T} $ :

$ \frac{\mathrm{d}}{\mathrm{d}t'}\mathbf{T}' =\frac{\mathrm{d}}{\mathrm{d}t}(\mathbf{Q\cdot T\cdot Q}^\top) =\dot{\mathbf{Q}}\cdot\mathbf{T\cdot Q}^\top +\mathbf{Q}\cdot\dot{\mathbf{T}}\cdot\mathbf{Q}^\top +\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top \ne \mathbf{Q}\cdot\dot{\mathbf{T}}\cdot\mathbf{Q}^\top \,. $

Für die Formulierung ratenabhängiger Materialmodelle werden in der räumlichen Betrachtungsweise objektive Zeitableitungen für konstitutive Variablen benötigt, denn es entspricht nicht der Erfahrung, dass ein bewegter Beobachter ein anderes Materialverhalten misst als ein ruhender. Somit müssen die Materialmodelle mit objektiven Zeitableitungen formuliert werden. Der Deformationsgradient F beschreibt die lokalen Verformungen an einem Punkt im Material und entsprechend enthält er auch alle Informationen zu Verformungsraten. Es wird der räumliche Geschwindigkeitsgradient

$ \mathbf{l}:=\dot{\mathbf{F}}\cdot\mathbf{F}^{-1}=\mathbf{d}+\mathbf{w} $

definiert, dessen symmetrischer Anteil d = ½( l + lT) räumlicher Verzerrungsgeschwindigkeitstensor und dessen unsymmetrische Anteil w = ½( llT) Wirbeltensor oder Spintensor heißt. Diese Tensoren werden hier, weil sie räumlich formuliert sind, klein geschrieben. In der Materialtheorie interessieren besonders objektive Raten von Verzerrungstensoren und Spannungstensoren. Es wurden mehrere Raten definiert, unter anderem[4]:

Zaremba-Jaumann Ableitung: $ \stackrel{\circ}{\mathbf{T}} :=\dot{\mathbf{T}}+\mathbf{T\cdot w}-\mathbf{w\cdot T} $

Kovariante Oldroyd[5] Ableitung: $ \stackrel{\triangle}{\mathbf{T}} :=\dot{\mathbf{T}}+\mathbf{T\cdot l}+\mathbf{l}^\top\cdot\mathbf{T} =\stackrel{\circ}{\mathbf{T}}+\mathbf{T\cdot d}+\mathbf{d\cdot T} $

Kontravariante Oldroyd Ableitung: $ \stackrel{\nabla}{\mathbf{T}} :=\dot{\mathbf{T}}-\mathbf{l\cdot T}-\mathbf{T}\cdot\mathbf{l}^\top =\stackrel{\circ}{\mathbf{T}}-\mathbf{T\cdot d}-\mathbf{d\cdot T} $

Cauchy-Ableitung:[6] $ \stackrel{\diamond}{\mathbf{T}} =\dot{\mathbf{T}}+\operatorname{Sp}(\mathbf{l})\mathbf{T}-\mathbf{l\cdot T}-\mathbf{T\cdot l}^\top\,. $

Die Zaremba-Jaumann Spannungs-Geschwindigkeit gibt die zeitliche Änderung der Spannungen im bewegten Bezugssystem an. Ein Beobachter, der mit dem materiellen Element rotiert, stellt die zeitliche Änderung $ \stackrel{\circ}{\mathbf{T}} $ der Spannungen $ \mathbf{T} $ fest.[7]

Für einen objektiven Vektor $ \vec{v} $ sind die Zeitableitungen

$ \begin{array}{rclcl} \stackrel{\circ}{\vec{v}} &=&\dot{\vec{v}}-\mathbf{w}\cdot\vec{v} \\ \stackrel{\Delta}{\vec{v}} &=& \dot{\vec{v}}+\mathbf{l}^\top\cdot\vec{v} &=&\stackrel{\circ}{\vec{v}} +\mathbf{d}\cdot\vec{v} \\ \stackrel{\nabla}{\vec{v}} &=&\dot{\vec{v}}-\mathbf{l}\cdot\vec{v} &=&\stackrel{\circ}{\vec{v}} -\mathbf{d}\cdot\vec{v} \end{array} $

objektiv.

Objektivität und algebraische Verknüpfungen

Eine algebraische Verknüpfung von objektiven Größen ist wieder objektiv. Als algebraische Verknüpfung kommt je nach Typ Addition, Multiplikation, Multiplikation mit einem Skalar, Skalarprodukt, Kreuzprodukt, dyadisches Produkt und Matrizenmultiplikation in Frage.

Operation Gleichung 
Skalare
Addition $ (a+b)'=a'+b'=a+b $
Multiplikation $ (a\cdot b)'=a'\cdot b'=a\cdot b $
Vektoren
Addition $ (\vec{x}+\vec{y})'=\mathbf{Q}\cdot\vec{x}+\mathbf{Q}\cdot\vec{y}=\mathbf{Q}\cdot(\vec{x}+\vec{y}) $
Multiplikation mit einem Skalar $ (a\vec{x})'=a'\vec{x}'=a\mathbf{Q}\cdot\vec{x}=\mathbf{Q}\cdot(a\vec{x}) $
Skalarprodukt $ (\vec{x}\cdot\vec{y})'=\vec{x}'\cdot\vec{y}'=(\mathbf{Q}\cdot\vec{x})\cdot(\mathbf{Q}\cdot\vec{y}) =\vec{x}\cdot\mathbf{Q}^\top\cdot\mathbf{Q}\cdot\vec{y}=\vec{x}\cdot\vec{y} $
Kreuzprodukt $ (\vec{x}\times\vec{y})'=\vec{x}'\times\vec{y}' =(\mathbf{Q}\cdot\vec{x})\times(\mathbf{Q}\cdot\vec{y})=\mathbf{Q}\cdot(\vec{x}\times\vec{y}) $
Dyadisches Produkt $ (\vec{x}\otimes\vec{y})'=\vec{x}'\otimes\vec{y}'=\mathbf{Q}\cdot\vec{x}\otimes\mathbf{Q}\cdot\vec{y}=\mathbf{Q}\cdot(\vec{x}\otimes\vec{y})\cdot\mathbf{Q}^\top $
Tensoren
Addition $ (\mathbf{S}+\mathbf{T})'= \mathbf{Q\cdot S\cdot Q}^\top+\mathbf{Q\cdot T\cdot Q}^\top =\mathbf{Q}\cdot(\mathbf{S}+\mathbf{T})\cdot\mathbf{Q}^\top $
Multiplikation mit einem Skalar $ (a\mathbf{T})'=a'\mathbf{T}' =a\mathbf{Q\cdot T\cdot Q}^\top =\mathbf{Q}\cdot(a\mathbf{T})\cdot\mathbf{Q}^\top $
Skalarprodukt $ (\mathbf{S}:\mathbf{T})' =(\mathbf{Q\cdot S\cdot Q}^\top):(\mathbf{Q\cdot T\cdot Q}^\top) =\mathbf{S}:\mathbf{T} $
Vektortransformation $ (\mathbf{T}\cdot\vec{x})' =\mathbf{T}'\cdot\vec{x}' =(\mathbf{Q\cdot T\cdot Q}^\top)\cdot(\mathbf{Q}\cdot\vec{x}) =\mathbf{Q}\cdot(\mathbf{T}\cdot\vec{x}) $
Matrizenmultiplikation $ (\mathbf{S\cdot T})' =(\mathbf{Q\cdot S\cdot Q}^\top)\cdot (\mathbf{Q\cdot T\cdot Q}^\top) =\mathbf{Q}\cdot(\mathbf{S\cdot T})\cdot\mathbf{Q}^\top $

Liste objektiver Größen

Die folgende Aufstellung gibt eine Auswahl an objektiven Größen.

Skalare

  • Geometrie: Abstand, Flächeninhalt (Betrag), Volumen (Betrag). Die Volumenform ist nur bei eigentlichen euklidischen Transformationen mit det(Q) = +1 objektiv.
  • Physik: Temperatur, Masse, Innere Energie und Entropie sind objektive Skalare. Hieraus kann abgeleitet werden, dass auch die auf die Masse oder das Volumen bezogenen spezifischen Größen objektiv sind: Dichte, spezifische innere Energie und spezifische Entropie.

Vektoren

  • Geometrie: Abstandsvektor, Linienelement; das Oberflächenelement ist nur bei eigentlichen euklidischen Transformationen mit det(Q) = +1 objektiv.
  • Kinematik: absolute Geschwindigkeit, absolute Beschleunigung, Vektorinvariante
  • Physik: Kraft, Spannungsvektor, Wärmeflussvektor und der Temperaturgradient

Tensoren

Die obige Transformationseigenschaften für Tensoren gelten für sogenannte räumliche ein-Feld-Tensoren, deren Definitions- und Wertebereich mit der Bewegung rotieren. Daneben existieren in der Kontinuumsmechanik körperbezogene ein-Feld Tensoren, deren Definitions- und Wertebereich durch die Referenzkonfiguration bewegungsunabhängig materiell festgelegt ist, die also für alle Beobachter gleich ist. Die Bildvektoren dieser Konfigurationen sind – anschaulich gesprochen – für alle Beobachter wie ein Etikett lesbar an einen materiellen Punkt geheftet. Körperbezogen objektive Tensoren transformieren sich gemäß

$ \mathbf{T' = T} $.

Des Weiteren kennt die Kontinuumsmechanik zwei-Feld-Tensoren, die Vektoren und Tensoren zwischen zwei Konfigurationen transformieren. Ein Beispiel hierfür ist der erste Piola-Kirchhoff Spannungstensor, der in konvektiven Koordinaten die Form

$ \mathbf{T}=\sum_{i,j=1}^3 T^{ij}\vec{g}_i\otimes\vec{G}_j $

besitzt. Darin sind $ \vec{G}_{1,2,3} $ Basisvektoren in der bewegungsunabhängigen materiellen Referenzkonfiguration, $ \vec{g}_{1,2,3} $ Basisvektoren in der bewegten räumlichen Momentankonfiguration und $ T^{ij} $ die Komponenten des Tensors. Wenn nun die Basisvektoren $ \vec{G}_i $ für alle Beobachter gleich sind, d. h. es gilt

$ \vec{G}_i' =\vec{G}_i\quad\forall\; i=1,2,3\,, $

und die Basisvektoren $ \vec{g}_i $ objektiv sind, sich also gemäß

$ \vec{g}_i'=\mathbf{Q}\cdot\vec{g}_i\quad\forall\; i=1,2,3 $

transformieren, dann ist also ein solcher zwei-Feld-Tensor $ \mathbf{T} $ objektiv, wenn er sich gemäß

$ \mathbf{T}{'} =\sum_{i,j=1}^3 T^{ij}{'}\vec{g}_i{'}\otimes\vec{G}_j{'} =\sum_{i,j=1}^3 T^{ij}\mathbf{Q}\cdot\vec{g}_i\otimes\vec{G}_j =\mathbf{Q\cdot T}\,, $

also wie ein objektiver Vektor transformiert.[8]

Die folgenden Tensoren werden in der Mechanik, insbesondere in der Kontinuumsmechanik, benutzt. Weil spiegelnde Transformationen materieller Körper in der Mechanik nicht betrachtet werden, wird det(Q) = +1 vorausgesetzt.

Name Nicht objektiv Objektiv (räumlich) Objektiv (körperbezogen) Objektiver zwei-Feld Tensor 
Starrkörpermechanik
Trägheitstensor I, Θ x
Winkelgeschwindigkeitstensor Ω x
Kontinuumsmechanik
Deformationsgradient
F = R · U = v · R
F′ = Q · F
Rechter Strecktensor U x
Linker Strecktensor v x
Rotationstensor R R′ = Q · R
Rechter Cauchy-Green Tensor
C = FT · F = U · U
x
Linker Cauchy-Green Tensor
b = F · FT = v · v
x
Green-Lagrange-Verzerrungstensor
E = ½( FT · F - 1)
x
Euler-Almansi-Verzerrungstensor
e = ½( 1 - FT-1 · F−1)
x
Cauchy’scher Spannungstensor σ x
Erster Piola-Kirchoff’scher Spannungstensor
P = det(F) σ · FT-1
P′ = Q · P
Zweiter Piola-Kirchoff’scher Spannungstensor $ \tilde{\mathbf{T}} =\mathrm{det}(\mathbf{F})\mathbf{F}^{-1}\cdot\boldsymbol{\sigma}\cdot\mathbf{F}^{\top-1} $ x
Verzerrungsgeschwindigkeiten
Räumlicher Geschwindigkeitsgradient $ \mathbf{l}=\mathrm{grad}(\vec{v}(\vec{x},t))=\dot{\mathbf{F}}\cdot\mathbf{F}^{-1} $ $ \mathbf{l}'=\mathbf{Q\cdot l\cdot Q}^\top +\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top $
Räumlicher Verzerrungsgeschwindigkeitstensor
d = ½( l + lT)
x
Spintensor w = ½( l - lT) $ \mathbf{w}'=\mathbf{Q\cdot w\cdot Q}^\top +\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top $
Materieller Verzerrungsgeschwindigkeitstensor $ \dot{\mathbf{E}} $ x
Materielle Zeitableitung $ \dot{\mathbf{e}} $ von e längere Formel
Oldroyd Ableitung der Euler-Almansi-Dehnungen $ \stackrel{\triangle}{\mathbf{e}}=\mathbf{d} $ x

Transformationen von Bezugssystemen in anderen physikalischen Disziplinen

Die klassische Mechanik und Elektrodynamik sind unter Spiegelungen invariant, denn die Gesetze in diesen beiden Disziplinen werden vollständig von der Schwerkraft und dem Elektromagnetismus bestimmt. Diese Symmetrie gegenüber Spiegelungen wird jedoch in der Quantenmechanik durch Paritätsverletzung der Schwachen Wechselwirkung gebrochen. Die anderen Naturkräfte, insbesondere Schwerkraft und Elektromagnetismus, sind paritätserhaltende Wechselwirkungen.

In der Relativitätstheorie werden zwischen bewegten Bezugssystemen Transformationen verwendet, die die Beträge und relativen Winkel aller Vektoren invariant lassen. Die Transformation zwischen bewegten Bezugssystemen in der vierdimensionalen Raumzeit, die auch Beträge und Winkel von (Vierer-) Geschwindigkeiten und Impulsen invariant lässt, sind die Lorentz-Boosts. Der Unterschied zu Drehungen im vierdimensionalen euklidischen Raum ist, dass der Zeitkoordinate im Vierervektor im Minkowski-Raum ein anderes Vorzeichen als den Raumkoordinaten zugewiesen wird. Dies führt dazu, dass in einer Drehmatrix für Drehungen von Zeit und Raumkoordinaten, Sinus und Kosinus durch Sinus hyperbolicus und Kosinus hyperbolicus ersetzt werden müssen. Die euklidische Gruppe, welche diese Verallgemeinerung enthält, wird Poincaré-Gruppe genannt.

Beispiel

Es wird der Nachweis der Objektivität der Zaremba-Jaumann Rate eines objektiven Tensors gegeben. Zu zeigen ist

$ (\stackrel{\circ}{\mathbf{T}})' =\mathbf{Q}\cdot\stackrel{\circ}{\mathbf{T}}\cdot\mathbf{Q}^\top =\mathbf{Q}\cdot(\dot{\mathbf{T}}+\mathbf{T\cdot w}-\mathbf{w\cdot T}) \cdot\mathbf{Q}^\top\,. $

Mit

$ \mathbf{w}'=\mathbf{Q\cdot w\cdot Q}^\top +\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top $

und

$ (\mathbf{T}')\dot{}=(\mathbf{Q\cdot T\cdot Q}^\top)\dot{} =\dot{\mathbf{Q}}\cdot\mathbf{T\cdot Q}^\top +\mathbf{Q}\cdot\dot{\mathbf{T}}\cdot\mathbf{Q}^\top +\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top $

bekommt man

$ \begin{align} (\stackrel{\circ}{\mathbf{T}})' =&\dot{\mathbf{T}}' +\mathbf{T}'\cdot\mathbf{w}'-\mathbf{w}'\cdot\mathbf{T}' \\ =&(\dot{\mathbf{Q}}\cdot\mathbf{T\cdot Q}^\top +\mathbf{Q}\cdot\dot{\mathbf{T}}\cdot\mathbf{Q}^\top +\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top) + (\mathbf{Q\cdot T\cdot Q}^\top)\cdot (\mathbf{Q\cdot w\cdot Q}^\top +\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top) \\& -(\mathbf{Q\cdot w\cdot Q}^\top +\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top) \cdot(\mathbf{Q\cdot T\cdot Q}^\top) \\ =&\dot{\mathbf{Q}}\cdot\mathbf{T\cdot Q}^\top +\mathbf{Q}\cdot\dot{\mathbf{T}}\cdot\mathbf{Q}^\top +\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top +\mathbf{Q\cdot T\cdot w\cdot Q}^\top \\& +\mathbf{Q\cdot T\cdot Q}^\top\cdot\dot{\mathbf{Q}} \cdot\mathbf{Q}^\top -\mathbf{Q\cdot w\cdot T\cdot Q}^\top -\dot{\mathbf{Q}}\cdot\mathbf{T\cdot Q}^\top \\ =&\mathbf{Q}\cdot(\dot{\mathbf{T}}+\mathbf{T\cdot w} -\mathbf{w\cdot T})\cdot\mathbf{Q}^\top +\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top +\mathbf{Q\cdot T\cdot Q}^\top\cdot\dot{\mathbf{Q}} \cdot\mathbf{Q}^\top \\ =&\mathbf{Q}\cdot\stackrel{\circ}{\mathbf{T}}\cdot\mathbf{Q}^\top +\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top +\mathbf{Q\cdot T\cdot Q}^\top\cdot\dot{\mathbf{Q}}\cdot\mathbf{Q}^\top \,.\end{align} $

Nun kann man

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

ausnutzen und erhält

$ \begin{align} (\stackrel{\circ}{\mathbf{T}})' =&\mathbf{Q}\cdot\stackrel{\circ}{\mathbf{T}}\cdot\mathbf{Q}^\top +\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top -\mathbf{Q\cdot T\cdot Q}^\top\cdot\mathbf{Q}\cdot \dot{\mathbf{Q}}^\top \\ =& \mathbf{Q}\cdot\stackrel{\circ}{\mathbf{T}}\cdot\mathbf{Q}^\top +\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top -\mathbf{Q\cdot T}\cdot\dot{\mathbf{Q}}^\top = \mathbf{Q}\cdot\stackrel{\circ}{\mathbf{T}}\cdot\mathbf{Q}^\top\,, \end{align} $

also das gewünschte Ergebnis.

Siehe auch

Literatur

  • Holm Altenbach: Kontinuumsmechanik. Einführung in die materialunabhängigen und materialabhängigen Gleichungen. 2. Auflage. Springer Vieweg, Berlin u. a. 2012, ISBN 978-3-642-24118-5.
  • P. Haupt: Continuum Mechanics and Theory of Materials. Springer, 2000, ISBN 3-540-66114-X (Die Auflage 2010 hat ISBN 978-3-642-07718-0).
  • Horst Parisch: Festkörper-Kontinuumsmechanik. Von den Grundgleichungen zur Lösung mit Finiten Elementen. Teubner, Stuttgart u. a. 2003, ISBN 3-519-00434-8.

Einzelnachweise

  1. siehe auch den Abschnitt #Transformationen von Bezugssystemen in anderen physikalischen Disziplinen
  2. 2,0 2,1 Haupt (2000), S. 165
  3. Der "aktive" und "passive" Beobachterwechsel sind nicht zu verwechseln mit der aktiven Bewegung, bei der sich ein Objekt bewegt, und der passiven Bewegung, bei der sich der Beobachter relativ zum ruhenden Objekt bewegt.
  4. Die Formelzeichen für die objektiven Raten variieren von Quelle zu Quelle. Die hier angegebenen folgen P. Haupt, S. 48ff. In H. Altenbach wird $ \mathbf{T}^\nabla $ für $ \stackrel{\circ}{\mathbf{T}} $ und $ \mathbf{T}^O $ für $ \stackrel{\triangle}{\mathbf{T}} $ benutzt.
  5. nach James G. Oldroyd (1921 - 1982)
  6. Diese Ableitung kommt in der Cauchy-Elastizität vor und wird auch nach C. Truesdell benannt. Er selbst benannte die Ableitung aber nach Cauchy und schrieb 1963, dass diese Rate ohne erfindlichen Grund nach ihm benannt wurde („came to be named, for no good reason, after […] me“ ) siehe C. Truesdell: Remarks on Hypo-Elasticity. In: Journal of Research of the National Bureau of Standards - B. Mathematics and Mathematical Physics, Vol. 67B, No. 3, July-September 1963, S. 141.
  7. H. Altenbach, S. 231.
  8. Parisch 2003