# Differenzierbare ebene Kurve/Bogenparametrisiert/Krümmungseigenschaften/Einführung/Textabschnitt

Es sei
    $\gamma \colon I\longrightarrow \mathbb {R} ^{2}$
eine zweifach stetig differenzierbare Kurve und $t\in I$. Eine naheliegende Möglichkeiten, das Verhalten der Kurve im Punkt $t$ bzw. $\gamma (t)$ über die Tangente hinaus zu approximieren besteht darin, einen Kreis anzugeben, der sich an die Kurve besonders gut anschmiegt, bzw. eine Kreisbewegung anzugeben, die bis zur zweiten Ableitung mit der Kurve übereinstimmt. Die Kurve sei bogenparametrisiert.

## Definition

Es sei
    $\gamma \colon I\longrightarrow \mathbb {R} ^{2}$
eine zweifach stetig differenzierbare bogenparametrisierte Kurve und $t_{0}\in I$, wobei die zweite Ableitung $\gamma ^{\prime \prime }(t_{0})$ nicht $0$ sei. Dann nennt man den Kreis mit dem Radius
    $r={\frac {1}{\vert {\gamma _{1}'(t_{0})\gamma _{2}^{\prime \prime }(t_{0})-\gamma _{2}'(t_{0})\gamma _{1}^{\prime \prime }(t_{0})}\vert }}\,$
und dem Mittelpunkt
    $M=\gamma (t_{0})+{\frac {1}{\gamma _{1}'(t_{0})\gamma _{2}^{\prime \prime }(t_{0})-\gamma _{2}'(t_{0})\gamma _{1}^{\prime \prime }(t_{0})}}{\begin{pmatrix}-\gamma _{2}'(t_{0})\\\gamma _{1}'(t_{0})\end{pmatrix}}\,$
den Krümmungskreis zu $\gamma$ in $t_{0}$.

## Definition

Es sei
    $\gamma \colon I\longrightarrow \mathbb {R} ^{2}$
eine zweifach stetig differenzierbare bogenparametrisierte Kurve und $t_{0}\in I$. Dann nennt man
    $\kappa (t_{0})=\gamma _{1}'(t_{0})\gamma _{2}^{\prime \prime }(t_{0})-\gamma _{2}'(t_{0})\gamma _{1}^{\prime \prime }(t_{0})\,$
die Krümmung der Kurve in $t_{0}$.
Statt Krümmungskreis sagt man auch Schmiegkreis. Da im bogenparametrisierten Fall ${\begin{pmatrix}\gamma _{1}'(t_{0})\\\gamma _{2}'(t_{0})\end{pmatrix}}$ und ${\begin{pmatrix}\gamma _{1}^{\prime \prime }(t_{0})\\\gamma _{2}^{\prime \prime }(t_{0})\end{pmatrix}}$ senkrecht aufeinander stehen und die zweite Ableitung nicht $0$ ist, bilden diese Vektoren eine Basis des $\mathbb {R} ^{2}$ und daher ist ihre Determinante, die ja als Nenner in der Definition des Krümmungskreises auftritt, nicht $0$. Wenn diese Determinante (und damit die Krümmung) positiv ist, so repräsentiert diese Basis die Standardorientierung (also die Orientierung, die durch die Standardvektoren $e_{1}$ und $e_{2}$) gegeben ist, andernfalls die Gegenorientierung. Bei positiver Krümmung wird die Bewegung (von der tangentialen Richtung aus gesehen) nach links abgelenkt, bei negativer Krümmung nach rechts. Bei positiver Krümmung kann man den Mittelpunkt des Krümmungskreises als
    $M=\gamma (t_{0})+r{\begin{pmatrix}-\gamma _{2}'(t_{0})\\\gamma _{1}'(t_{0})\end{pmatrix}}\,$
und bei negativer Krümmung als
    $M=\gamma (t_{0})+r{\begin{pmatrix}\gamma _{2}'(t_{0})\\-\gamma _{1}'(t_{0})\end{pmatrix}}\,$
beschreiben. Gemäß Aufgabe besitzt die umgekehrt durchlaufene Kurve die negierte Krümmung. Gelegentlich werden wir auch von der Krümmung der Kurve im Punkt
$\gamma (t)\in \gamma (I)\subseteq \mathbb {R} ^{2}$ sprechen, was bei einer Kurve, die injektiv ist oder allenfalls periodisch mehrfach durchlaufen wird, unproblematisch ist.

## Beispiel

Wir betrachten die trigonometrische Parametrisierung des Einheitskreises, also
    $\gamma \colon \mathbb {R} \longrightarrow \mathbb {R} ^{2},\,t\longmapsto {\begin{pmatrix}\cos t\\\sin t\end{pmatrix}}.$
Es ist
    $\gamma '(t)={\begin{pmatrix}-\sin t\\\cos t\end{pmatrix}}\,$
und
    $\gamma ^{\prime \prime }(t)={\begin{pmatrix}-\cos t\\-\sin t\end{pmatrix}}\,.$
Die Krümmung zu jedem Zeitpunkt $t$ ist
    $\gamma _{1}'(t)\gamma _{2}^{\prime \prime }(t)-\gamma _{2}'(t)\gamma _{1}^{\prime \prime }(t)={\left(-\sin t\right)}{\left(-\sin t\right)}-\cos t{\left(-\cos t\right)}=1\,,$
der Krümmungsradius ist $1$ und der Mittelpunkt des Krümmungskreises ist
    ${\begin{pmatrix}\cos t\\\sin t\end{pmatrix}}+{\begin{pmatrix}-\cos t\\-\sin t\end{pmatrix}}={\begin{pmatrix}0\\0\end{pmatrix}}\,,$
der Krümmungskreis ist also stets der Einheitskreis.
Wenn man den Kreis mit dem Uhrzeigersinn durchläuft, also die Kurve
    $\delta \colon \mathbb {R} \longrightarrow \mathbb {R} ^{2},\,s\longmapsto {\begin{pmatrix}\cos \left(-s\right)\\\sin \left(-s\right)\end{pmatrix}}={\begin{pmatrix}\cos s\\-\sin s\end{pmatrix}},$
betrachtet, so ist die Krümmung gleich $-1$, Krümmungsradius und Krümmungskreis sind wie zuvor.
Die Definition des Krümmungskreises kann man bereits dann verwenden, wenn $\gamma '(t_{0})$ die Norm $1$ (also nur für $t_{0}$) besitzt, ohne dass eine bogenparametrisierte Kurve vorliegt, wenn man fordert, dass ${\begin{pmatrix}\gamma _{1}'(t_{0})\\\gamma _{2}'(t_{0})\end{pmatrix}}$ und ${\begin{pmatrix}\gamma _{1}^{\prime \prime }(t_{0})\\\gamma _{2}^{\prime \prime }(t_{0})\end{pmatrix}}$ linear unabhängig sind. Wenn die beiden Vektoren linear abhängig sind, so sagt man auch, dass der Krümmungsradius unendlich ist.

## Beispiel

Wir betrachten die Standardparabel als Kurve
    $\gamma \colon \mathbb {R} \longrightarrow \mathbb {R} ^{2},\,t\longmapsto {\begin{pmatrix}t\\t^{2}\end{pmatrix}}$
im Nullpunkt $t_{0}=0$. Es ist
    $\gamma '(t)={\begin{pmatrix}1\\2t\end{pmatrix}}\,.$
Dies ist im Allgemeinen nicht bogenparametrisiert, im Nullpunkt aber schon. Die zweite Ableitung ist
    $\gamma ^{\prime \prime }(t)={\begin{pmatrix}0\\2\end{pmatrix}}\,$
unabhängig vom Zeitpunkt. Daher ist der Krümmungsradius gleich
    $r={\frac {1}{\vert {\gamma _{1}'(0)\gamma _{2}^{\prime \prime }(0)-\gamma _{2}'(0)\gamma _{1}^{\prime \prime }(0)}\vert }}={\frac {1}{2}}\,$
und der Mittelpunkt des Krümmungskreises ist ${\begin{pmatrix}0\\{\frac {1}{2}}\end{pmatrix}}$.

## Lemma

Es sei
    $\gamma \colon I\longrightarrow \mathbb {R} ^{2}$
eine zweifach stetig differenzierbare bogenparametrisierte Kurve und $t_{0}\in I$ mit
    $\gamma ^{\prime \prime }(t_{0})\neq 0\,$
mit dem Krümmungskreis $K$ mit Mittelpunkt $M$ und Radius $r$. Wenn $\gamma '(t_{0}),\gamma ^{\prime \prime }(t_{0})$ die Standardorientierung repräsentiert, so sei $\alpha \in [0,2\pi [$ derart, dass
    ${\begin{pmatrix}\gamma _{1}'(t_{0})\\\gamma _{2}'(t_{0})\end{pmatrix}}={\begin{pmatrix}-\sin \left(\alpha +{\frac {t_{0}}{r}}\right)\\\cos \left(\alpha +{\frac {t_{0}}{r}}\right)\end{pmatrix}}\,.$
Wenn $\gamma '(t_{0}),\gamma ^{\prime \prime }(t_{0})$ nicht die Standardorientierung repräsentiert, so sei $\alpha \in [0,2\pi [$ derart, dass
    ${\begin{pmatrix}\gamma _{1}'(t_{0})\\\gamma _{2}'(t_{0})\end{pmatrix}}={\begin{pmatrix}-\sin \left(\alpha +{\frac {t_{0}}{r}}\right)\\-\cos \left(\alpha +{\frac {t_{0}}{r}}\right)\end{pmatrix}}\,.$
Dann ist (im standardorientierten Fall)
eine bogenparametrisierte Bewegung auf dem Krümmungskreis, die in $t_{0}$ mit $\gamma$ bis zur zweiten Ableitung übereinstimmt.

### Beweis

Wir betrachten den standardorientierten Fall. Es ist
    $\delta (t_{0})=M+r{\begin{pmatrix}\cos \left(\alpha +{\frac {t_{0}}{r}}\right)\\\sin \left(\alpha +{\frac {t_{0}}{r}}\right)\end{pmatrix}}=\gamma (t_{0})+r{\begin{pmatrix}-\gamma _{2}'(t_{0})\\\gamma _{1}'(t_{0})\end{pmatrix}}+r{\begin{pmatrix}\gamma _{2}'(t_{0})\\-\gamma _{1}'(t_{0})\end{pmatrix}}=\gamma (t_{0})\,.$
Ferner ist
    $\delta '(t_{0})={\begin{pmatrix}-\sin \left(\alpha +{\frac {t_{0}}{r}}\right)\\\cos \left(\alpha +{\frac {t_{0}}{r}}\right)\end{pmatrix}}={\begin{pmatrix}\gamma _{1}'(t_{0})\\\gamma _{2}'(t_{0})\end{pmatrix}}=\gamma '(t_{0})\,,$
insbesondere ist $\delta$ bogenparametrisiert. Es steht ${\begin{pmatrix}\gamma _{1}^{\prime \prime }(t_{0})\\\gamma _{2}^{\prime \prime }(t_{0})\end{pmatrix}}$ senkrecht auf ${\begin{pmatrix}\gamma _{1}'(t_{0})\\\gamma _{2}'(t_{0})\end{pmatrix}}$ und ist daher linear abhängig zu dem Orthonormalvektor ${\begin{pmatrix}-\gamma _{2}'(t_{0})\\\gamma _{1}'(t_{0})\end{pmatrix}}$. Somit ist
    ${\begin{pmatrix}\gamma _{1}^{\prime \prime }(t_{0})\\\gamma _{2}^{\prime \prime }(t_{0})\end{pmatrix}}=\left\langle {\begin{pmatrix}-\gamma _{2}'(t_{0})\\\gamma _{1}'(t_{0})\end{pmatrix}},{\begin{pmatrix}\gamma _{1}^{\prime \prime }(t_{0})\\\gamma _{2}^{\prime \prime }(t_{0})\end{pmatrix}}\right\rangle {\begin{pmatrix}-\gamma _{2}'(t_{0})\\\gamma _{1}'(t_{0})\end{pmatrix}}={\left(\gamma _{1}'(t_{0})\gamma _{2}^{\prime \prime }(t_{0})-\gamma _{2}'(t_{0})\gamma _{1}^{\prime \prime }(t_{0})\right)}{\begin{pmatrix}-\gamma _{2}'(t_{0})\\\gamma _{1}'(t_{0})\end{pmatrix}}\,$
und daher
    ${\begin{aligned}\delta ^{\prime \prime }(t_{0})&=-{\frac {1}{r}}{\begin{pmatrix}\cos \left(\alpha +{\frac {t_{0}}{r}}\right)\\\sin \left(\alpha +{\frac {t_{0}}{r}}\right)\end{pmatrix}}\\&=-{\left(\gamma _{1}'(t_{0})\gamma _{2}^{\prime \prime }(t_{0})-\gamma _{2}'(t_{0})\gamma _{1}^{\prime \prime }(t_{0})\right)}{\begin{pmatrix}\gamma _{2}'(t_{0})\\-\gamma _{1}'(t_{0})\end{pmatrix}}\\&={\left(\gamma _{1}'(t_{0})\gamma _{2}^{\prime \prime }(t_{0})-\gamma _{2}'(t_{0})\gamma _{1}^{\prime \prime }(t_{0})\right)}{\begin{pmatrix}-\gamma _{2}'(t_{0})\\\gamma _{1}'(t_{0})\end{pmatrix}}\\&={\begin{pmatrix}\gamma _{1}^{\prime \prime }(t_{0})\\\gamma _{2}^{\prime \prime }(t_{0})\end{pmatrix}}\\&=\gamma ^{\prime \prime }(t_{0}).\end{aligned}}$
$\Box$
Die folgende Aussage zeigt, dass man jeden gewünschten Krümmungsverlauf durch eine Kurve realisieren kann.

## Lemma

Es sei $I$ ein Intervall, $0\in I$ und
    $\psi \colon I\longrightarrow \mathbb {R}$
eine differenzierbare Funktion. Es sei
    $\gamma (t):=\int _{0}^{t}{\begin{pmatrix}\cos \psi (s)\\\sin \psi (s)\end{pmatrix}}ds\,$

### Beweis

(1) ist klar. (2) ergibt sich direkt aus dem Hauptsatz der Infinitesimalrechnung. Damit sind auch (3) und (4) klar, wobei sich die Bogenparametrisierung aus $\cos ^{2}u+\sin ^{2}u=1$ ergibt. (5). Für die Krümmung ist
    $\kappa (t)=\gamma _{1}'(t)\gamma _{2}^{\prime \prime }(t)-\gamma _{2}'(t)\gamma _{1}^{\prime \prime }(t)=\psi '(t)\cos \psi (t)\cos \psi (t)+\psi '(t)\sin \psi (t)\sin \psi (t)=\psi '(t)\,.$
$\Box$

## Lemma

Es sei $\gamma \colon I\rightarrow \mathbb {R} ^{2}$ eine zweifach stetig differenzierbare bogenparametrisierte Kurve.
Dann ist die Krümmung von $\gamma$ in $t$ gleich
ein Einheitsnormalenvektor in $\gamma (t)$ ist.

### Beweis

Die erste Aussage folgt unmittelbar aus der Definition
    $\kappa (t)=\gamma _{1}'(t)\gamma _{2}^{\prime \prime }(t)-\gamma _{2}'(t)\gamma _{1}^{\prime \prime }(t)\,.$
Aus
    ${\left(\gamma _{1}'(t)\right)}^{2}+{\left(\gamma _{2}'(t)\right)}^{2}=1\,$
folgt
    $\gamma _{1}'(t)\gamma _{1}^{\prime \prime }(t)+\gamma _{2}'(t)\gamma _{2}^{\prime \prime }(t)=0\,,$
daher steht $\gamma ^{\prime \prime }(t)$ senkrecht auf $\gamma '(t)$ und ist linear abhängig zu $N(t)$. Somit ist
    $\gamma ^{\prime \prime }(t)=\left\langle \gamma ^{\prime \prime }(t),N(t)\right\rangle N(t)=\kappa (t)N(t)\,$
und somit ist
    $\Vert {\gamma ^{\prime \prime }(t)}\Vert =\vert {\kappa (t)}\vert \,.$
$\Box$
In der vorstehenden Aussage ist das Vorzeichen positiv, wenn die Kurve positiv gekrümmt ist, andernfalls negativ. Entscheidend ist nicht die explizite Beschreibung des Einheitsnormalenfeldes, sondern ob der Tangentenvektor und der Einheitsnormalenvektor die Standardorientierung repräsentiert oder nicht.