Begleitendes Dreibein

Die frenetschen Formeln (Frenet-Formeln), benannt nach dem französischen Mathematiker Jean Frédéric Frenet, sind die zentralen Gleichungen in der Theorie der Raumkurven, einem wichtigen Teilgebiet der Differentialgeometrie. Sie werden auch Frenet-Serret Formeln genannt nach Joseph Serret, der sie vollständig angab.

Die Formeln verwenden eine Orthonormalbasis aus drei Vektoren (Tangentenvektor $\vec{t}$, Hauptnormalenvektor $\vec{n}$ und Binormalenvektor $\vec{b}$), die das lokale Verhalten der Kurve $\vec{r}\,(s)$ beschreiben, und drücken die Ableitungen dieser Vektoren nach der Bogenlänge s als Linearkombinationen der genannten drei Vektoren aus. Dabei treten die für die Kurve charakteristischen Skalare Krümmung κ und Torsion τ auf.

$\frac{\mathrm{d}\vec{r}}{\mathrm{d}s}=\vec{t}$                    $\frac{\mathrm{d}\vec{t}}{\mathrm{d}s}=\kappa \vec{n}$                    $\vec{t}\times \vec{n}=\vec{b}$

$\frac{\mathrm{d}\vec{b}}{\mathrm{d}s}=-\tau \vec{n}$                    $\frac{\mathrm{d}\vec{n}}{\mathrm{d}s}=\tau \vec{b}-\kappa \vec{t}$

Beschreibung

Der Vektor $\Delta\vec{r}=\vec{r}{}_{2}-\vec{r}{}_{1}$ verbindet zwei Punkte der Bahn und hat die Länge $|\Delta\vec{r}\,|=\sqrt{\Delta\vec{r}\cdot\Delta\vec{r}}$. Für $\Delta\vec{r}\rightarrow0$ geht $|\Delta\vec{r}\,|$ gegen die Bogenlänge des zwischen $\vec{r}_{1}$ und $\vec{r}_{2}$ gelegenen Bahnstücks:

$\mathrm{d}s=|\mathrm{d}\vec{r}\,|=\sqrt{\mathrm{d}\vec{r}\cdot\mathrm{d}\vec{r}}$

Vom Anfangspunkt $\vec{r}_{0}$ zum Punkt $\vec{r}$ beträgt die Bogenlänge der Bahn

$s=\int_{\vec{r}_{0}}^{\vec{r}}\mathrm{d}s=\int_{\vec{r}_{0}}^{\vec{r}}\sqrt{\mathrm{d}\vec{r}\cdot\mathrm{d}\vec{r}}$

Gegeben sei eine durch die Bogenlänge s parametrisierte Raumkurve:

$\vec{r} = \vec{r}(s)$.

Für einen Kurvenpunkt $\vec{r}(s)$ erhält man durch Ableiten nach s den Tangenteneinheitsvektor, der die momentane Richtung der Kurve, also die Änderung der Position bei einer Änderung der Bogenlänge, angibt:

$\vec{t}(s) = \frac{\mathrm{d}\vec{r}(s)}{\mathrm{d}s} = \vec{r}\,'(s)$.

Wegen $\mathrm{d}s=|\mathrm{d}\vec{r}\,|$ ist der Betrag der Ableitung gleich 1; somit handelt es sich um einen Einheitsvektor. Der Tangenteneinheitsvektor ändert entlang der Bahn im Allgemeinen seine Richtung, nicht aber seine Länge (er bleibt stets ein Einheitsvektor) $|\vec{t}\,|=1$ bzw. $\vec{t}\cdot\vec{t}=1$. Daraus kann man folgern, dass die Ableitung des Tangenteneinheitsvektors senkrecht zu diesem steht:

$\vec{t}\cdot\frac{\mathrm{d}\vec{t}}{\mathrm{d}s}=\frac{1}{2}\frac{\mathrm{d}\left(\vec{t}\cdot \vec{t}\,\right)}{\mathrm{d}s}=\frac{1}{2}\frac{\mathrm{d}1}{\mathrm{d}s}=0\quad\Longrightarrow\quad\vec{t}\perp\frac{\mathrm{d}\vec{t}}{\mathrm{d}s}$

Die Bahnkurve kann man in eine Taylorreihe um s entwickeln:

$\vec{r}(s+\Delta s)=\vec{r}(s)+\frac{\mathrm{d}\vec{r}}{\mathrm{d}s}(s)\Delta s+\frac{1}{2}\frac{\mathrm{d}{}^{2}\vec{r}}{\mathrm{d}s^{2}}(s)\Delta s^{2}+\mathcal{O}(\Delta s^{3})=\vec{r}(s)+\vec{t}(s)\Delta s+\frac{1}{2}\vec{t}\,'(s)\Delta s^{2}+\mathcal{O}(\Delta s^{3})$

Bahnkurve (rot) mit Tangenteneinheitsvektoren $\boldsymbol{T}$ und Schmiegkreis mit Radius ρ. ds zur Veranschaulichung übertrieben groß gewählt.

Die Näherungskurve zweiter Ordnung in Δs ist eine Parabel, die in der von $\vec{t}$ und $\vec{t}\,'$ aufgespannten Schmiegeebene liegt.

Um den Betrag von $\vec{t}\,'$ zu berechnen, betrachtet man den Schmiegkreis, der sich am betrachteten Bahnpunkt an dessen Näherungsparabel anschmiegt, d.h. den Kreis, der durch den gegebenen Kurvenpunkt geht, dort die gleiche Richtung hat wie die Kurve und auch in der zweiten Ableitung mit der Kurve übereinstimmt. Der Winkel zwischen Tangentenvektoren benachbarter Kurvenpunkte ($\vec{t}\,(s)$ und $\vec{t}\,(s+\mathrm{d}s)$) sei $\mathrm{d}\varphi$. Damit gilt

$\mathrm{d}\varphi=|\mathrm{d}\vec{t}\,|/|\vec{t}\,|=|\mathrm{d}\vec{t}\,|$

Da der Tangenteneinheitsvektor senkrecht auf dem Radiusvektor des Schmiegkreises steht, ist der Winkel zwischen benachbarten Radiusvektoren ($\mathrm{d}\varphi=\mathrm{d}s/\varrho$) identisch mit dem Winkel zwischen den Tangentenvektoren benachbarter Kurvenpunkte ($\mathrm{d}\varphi=|\mathrm{d}\vec{t}\,|$). Daraus folgt mit $\varrho$ als Schmiegkreisradius (= Krümmungsradius):

$\frac{\mathrm{d}\varphi}{\mathrm{d}s}=\frac{1}{\varrho}\quad\Longrightarrow\quad\left|\frac{\mathrm{d}\vec{t}}{\mathrm{d}s}\right|=\frac{1}{\varrho}$

Der reziproke Krümmungsradius $\varrho(s)\,$ heißt Krümmung $\kappa(s)\,$ und gibt die Stärke der Richtungsänderung über die Bogenlänge, also den Betrag von $\vec{t}\,'$ an:

$\kappa(s)=\frac{1}{\varrho(s)}=|\vec{t}\,'(s)|=|\vec{r}\,''(s)|$.

Normierung von $\vec{t}\,'(s)$ liefert den Hauptnormaleneinheitsvektor $\vec{n}(s)$ (Krümmungsvektor). Da der Tangenteneinheitsvektor tangential zum Schmiegkreis steht und der Hauptnormaleneinheitsvektor senkrecht dazu, gibt $\vec{n}(s)$ die Richtung der Verbindungsgeraden vom Kurvenpunkt zum Schmiegkreismittelpunkt (die Richtung, in die sich $\vec{t}(s)$ ändert) an.

$\vec{n}(s) = \frac{\vec{t}\,'(s)}{|\vec{t}\,'(s)|} = \frac{ \vec{r}\,''(s)}{|\vec{r}\,''(s)|} = \varrho(s) \, \vec{t}\,'(s) = \varrho(s) \, \vec{r}\,''(s)$.

Der Normalenvektor der Schmiegeebene wird mit Hilfe des Vektorprodukts aus Tangenteneinheitsvektor und Hauptnormaleneinheitsvektor festgelegt und heißt Binormaleneinheitsvektor:

$\vec{b}(s) = \vec{t}(s) \times \vec{n}(s)$

Tangenteneinheitsvektor T, Hauptnormaleneinheitsvektor N und Binormaleneinheitsvektor B bilden das begleitende Dreibein einer Raumkurve.
Die Schmiegeebene ist ebenfalls dargestellt, sie wird durch den Hauptnormalen- und Tangenteneinheitsvektor aufgespannt.

Tangenten-, Hauptnormalen- und Binormaleneinheitsvektor bilden eine Orthonormalbasis des $\mathbb{R}^3$, d. h. diese Vektoren haben alle den Betrag 1 und sind paarweise senkrecht zueinander. Man bezeichnet diese Orthonormalbasis auch als begleitendes Dreibein der Kurve. Die frenetschen Formeln drücken die Ableitungen der genannten Basisvektoren als Linearkombinationen dieser Basisvektoren aus:

$\vec{t}\,'(s) = \kappa(s) \, \vec{n}(s)$

$\vec{n}\,'(s) = - \kappa(s) \, \vec{t}(s) + \tau(s) \, \vec{b}(s)$

$\vec{b}\,'(s) = - \tau(s) \, \vec{n}(s)$

Dabei stehen $\kappa(s)\,$ für die Krümmung und $\tau(s)\,$ für die Windung (Torsion) der Kurve im betrachteten Kurvenpunkt.

Anhand des begleitenden Dreibeins lassen sich Krümmung und Torsion jeweils als Richtungsänderung eines bestimmten Tangenteneinheitsvektors veranschaulichen.

Der Torsion $\displaystyle \tau(s)$ entspricht die Richtungsänderung des Binormaleneinheitsvektors:

• Je größer die Torsion, desto schneller ändert der Binormaleneinheitsvektor $\vec{b}(s)$ in Abhängigkeit von $\displaystyle s$ seine Richtung. Ist die Torsion überall 0, so handelt es sich bei der Raumkurve um eine ebene Kurve, d. h. es gibt eine gemeinsame Ebene, auf der alle Punkte der Kurve liegen.

Der Krümmung $\displaystyle \kappa(s)$ entspricht die Richtungsänderung des Tangenteneinheitsvektors:

• Je stärker die Krümmung $\displaystyle \kappa(s)$ ist, desto schneller ändert der Tangenteneinheitsvektor $\vec{t}(s)$ in Abhängigkeit von $\displaystyle s$ seine Richtung.
  

Punkte der Raumkurve mit der Krümmung 0, in denen kein Schmiegkreis existiert, in denen also die Ableitung des Tangenteneinheitsvektors der Nullvektor ist, heißen Wendepunkte und sind gesondert zu behandeln. Dort verlieren die Begriffe Normalenvektor und Binormalenvektor ihren Sinn. Haben alle Punkte die Krümmung 0, so ist die Raumkurve eine Gerade.

Frenetsche Formeln in Abhängigkeit von anderen Parametern

Die oben angegebenen Formeln sind in Abhängigkeit von der Bogenlänge s definiert. Oft sind aber die Raumkurven in Abhängigkeit von anderen Parametern, z. B. von der Zeit gegeben. Um die Beziehungen durch den neuen Parameter t auszudrücken, verwendet man folgende Relation:

$\frac{\mathrm{d}s}{\mathrm{d}t}=\left| \frac{\mathrm{d}\vec{r}}{\mathrm{d}t} \right|=\left| {\dot{\vec{r}}} \right|$

somit kann man die Ableitungen von $\textstyle \frac{\mathrm{d}}{\mathrm{d}s}$ nach $\textstyle \frac{\mathrm{d}}{\mathrm{d}t}$ umschreiben:

$\frac{\mathrm{d}}{\mathrm{d}s}=\frac{\mathrm{d}t}{\mathrm{d}s}\frac{\mathrm{d}}{\mathrm{d}t}=\frac{1}{\tfrac{\mathrm{d}s}{\mathrm{d}t}}\frac{\mathrm{d}}{\mathrm{d}t}=\frac{1}{| {\dot{\vec{r}}}\, |}\frac{\mathrm{d}}{\mathrm{d}t}$

Eine dreimal nach t differenzierbare Kurve $\vec{r}(t)$ besitzt an jeder Parameterstelle mit $\dot{\vec{r}}(t)\times \ddot{\vec{r}}(t)\ne 0$ die folgenden charakteristischen Vektoren und Skalare:

Tangentenvektor	$\vec{t}(t)=\frac{\dot{\vec{r}}(t)}{\left| \dot{\vec{r}}(t) \right|}$
Binormalenvektor	$\vec{b}(t)=\frac{\dot{\vec{r}}(t)\times \ddot{\vec{r}}(t)}{\left| \dot{\vec{r}}(t)\times \ddot{\vec{r}}(t) \right|}$
Hauptnormalenvektor	$\vec{n}(t)=\vec{b}(t)\times \vec{t}(t)=\frac{\left( \dot{\vec{r}}(t)\times \ddot{\vec{r}}(t) \right)\times \dot{\vec{r}}(t)}{\left| \dot{\vec{r}}(t)\times \ddot{\vec{r}}(t) \right|\left| \dot{\vec{r}}(t) \right|}$
Krümmung	$\kappa (t)=\frac{\left| \dot{\vec{r}}(t)\times \ddot{\vec{r}}(t) \right|}{\left| \dot{\vec{r}}(t) \right|^{3}}$
Torsion	$\tau (t)=\frac{\left(\dot\vec{r}(t) \times \ddot\vec{r}(t)\right) \cdot \overset {...} {\vec{r}}(t)}{\left| \dot{\vec{r}}(t)\times \ddot{\vec{r}}(t) \right|^{2}}$