Krümmung: Unterschied zwischen den Versionen

Krümmung: Unterschied zwischen den Versionen

imported>LoRo
 
imported>Aka
K (→‎Weblinks: https)
 
Zeile 2: Zeile 2:
'''Krümmung''' ist ein Begriff aus der [[Mathematik]], der in seiner einfachsten Bedeutung die lokale Abweichung einer [[Kurve (Mathematik)|Kurve]] von einer [[Gerade]]n bezeichnet. Der gleiche Begriff steht auch für das '''Krümmungsmaß''', welches für jeden Punkt der Kurve [[Quantität|quantitativ]] angibt, wie stark diese lokale Abweichung ist.
'''Krümmung''' ist ein Begriff aus der [[Mathematik]], der in seiner einfachsten Bedeutung die lokale Abweichung einer [[Kurve (Mathematik)|Kurve]] von einer [[Gerade]]n bezeichnet. Der gleiche Begriff steht auch für das '''Krümmungsmaß''', welches für jeden Punkt der Kurve [[Quantität|quantitativ]] angibt, wie stark diese lokale Abweichung ist.


Aufbauend auf dem Krümmungsbegriff für Kurven lässt sich die Krümmung einer [[Fläche (Mathematik)|Fläche]] im dreidimensionalen [[Euklidischer Raum|Raum]] beschreiben, indem man die Krümmung von Kurven in dieser Fläche untersucht. Ein gewisser Teil der Krümmungsinformation einer Fläche, die [[gaußsche Krümmung]], hängt nur von der inneren Geometrie der Fläche ab, d. h. von der [[Erste Fundamentalform|ersten Fundamentalform]] (bzw. [[Metrischer Tensor|dem metrischem Tensor]]), die festlegt, wie die [[Länge (Mathematik)|Bogenlänge]] von Kurven berechnet wird.
Aufbauend auf dem Krümmungsbegriff für Kurven lässt sich die Krümmung einer [[Fläche (Mathematik)|Fläche]] im dreidimensionalen [[Euklidischer Raum|Raum]] beschreiben, indem man die Krümmung von Kurven in dieser Fläche untersucht. Ein gewisser Teil der Krümmungsinformation einer Fläche, die [[gaußsche Krümmung]], hängt nur von der inneren Geometrie der Fläche ab, d. h. von der [[Erste Fundamentalform|ersten Fundamentalform]] (bzw. [[Metrischer Tensor|dem metrischen Tensor]]), die festlegt, wie die [[Länge (Mathematik)|Bogenlänge]] von Kurven berechnet wird.


Dieser intrinsische Krümmungsbegriff lässt sich verallgemeinern auf [[Differenzierbare Mannigfaltigkeit|Mannigfaltigkeiten]] beliebiger Dimension mit einem metrischen Tensor. Auf solchen Mannigfaltigkeiten ist der [[Paralleltransport]] längs Kurven erklärt und die [[Riemannscher Krümmungstensor|Krümmungsgrößen]] geben an, wie groß die Richtungsänderung von [[Vektor]]en beim Paralleltransport längs geschlossener Kurven nach einem Umlauf ist. Eine Anwendung ist die [[Allgemeine Relativitätstheorie]], welche Gravitation als eine Krümmung der [[Raumzeit]] beschreibt. Noch allgemeiner lässt sich dieser Begriff auf [[Prinzipalbündel|Hauptfaserbündel]] mit [[Zusammenhang (Differentialgeometrie)|Zusammenhang]] übertragen. Diese finden Anwendung in der [[Eichtheorie]], in welcher die Krümmungsgrößen die Stärke der [[Grundkräfte der Physik|fundamentalen Wechselwirkungen]] (z. B. des [[Elektrodynamik|elektromagnetischen Feldes]]) beschreiben.
Dieser intrinsische Krümmungsbegriff lässt sich verallgemeinern auf [[Differenzierbare Mannigfaltigkeit|Mannigfaltigkeiten]] beliebiger Dimension mit einem metrischen Tensor. Auf solchen Mannigfaltigkeiten ist der [[Paralleltransport]] längs Kurven erklärt und die [[Riemannscher Krümmungstensor|Krümmungsgrößen]] geben an, wie groß die Richtungsänderung von [[Vektor]]en beim Paralleltransport längs geschlossener Kurven nach einem Umlauf ist. Eine Anwendung ist die [[Allgemeine Relativitätstheorie]], welche Gravitation als eine Krümmung der [[Raumzeit]] beschreibt. Noch allgemeiner lässt sich dieser Begriff auf [[Prinzipalbündel|Hauptfaserbündel]] mit [[Zusammenhang (Differentialgeometrie)|Zusammenhang]] übertragen. Diese finden Anwendung in der [[Eichtheorie]], in welcher die Krümmungsgrößen die Stärke der [[Grundkräfte der Physik|fundamentalen Wechselwirkungen]] (z. B. des [[Elektrodynamik|elektromagnetischen Feldes]]) beschreiben.
Zeile 9: Zeile 9:
[[Datei:Kruemmung winkel illustration.svg|mini|Krümmung am Kreis: <math>\kappa=\tfrac{1}{r}=\tfrac{\varphi}{s}</math>]]
[[Datei:Kruemmung winkel illustration.svg|mini|Krümmung am Kreis: <math>\kappa=\tfrac{1}{r}=\tfrac{\varphi}{s}</math>]]
[[Datei:Osculating circle.svg|mini|Kurve und ihr Krümmungskreis im Kurvenpunkt ''P'']]
[[Datei:Osculating circle.svg|mini|Kurve und ihr Krümmungskreis im Kurvenpunkt ''P'']]
Unter der Krümmung einer ebenen Kurve versteht man in der [[Geometrie]] die Richtungsänderung beim Durchlaufen der Kurve. Die Krümmung einer Geraden ist überall gleich null, weil sich ihre Richtung nicht ändert. Ein [[Kreisbogen|Kreis(bogen)]] mit dem [[Radius]] <math>r</math> hat überall gleiche Krümmung, denn seine Richtung ändert sich überall gleich stark. Je kleiner der Radius des Kreises ist, desto größer ist seine Krümmung. Als Maß für die Krümmung eines Kreises dient die Größe <math>\tfrac 1r=\tfrac{\Delta\varphi}{\Delta s}</math>, das Verhältnis von [[Kreiswinkel|Zentriwinkel]] und Länge eines Kreisbogens. Der Zentriwinkel ist gleich dem [[Außenwinkel]] zwischen den [[Kreistangente]]n in den Endpunkten des Kreisbogens. Um die Krümmung einer beliebigen Kurve in einem Punkt zu definieren, betrachtet man entsprechend ein Kurvenstück der Länge <math>\Delta s</math>, das den fraglichen Punkt enthält und dessen [[Tangente]]n in den Endpunkten sich im Winkel <math>\Delta\varphi</math> schneiden. Damit wird die Krümmung <math>\kappa</math> in dem Punkt durch
Unter der Krümmung einer ebenen Kurve versteht man in der [[Geometrie]] die Richtungsänderung beim Durchlaufen der Kurve. Die Krümmung einer Geraden ist überall gleich null, weil sich ihre Richtung nicht ändert. Ein [[Kreisbogen|Kreis(bogen)]] mit dem [[Radius]] <math>r</math> hat überall die gleiche Krümmung, denn seine Richtung ändert sich überall gleich stark. Je kleiner der Radius des Kreises ist, desto größer ist seine Krümmung. Als Maß für die Krümmung eines Kreises dient die Größe <math>\tfrac 1r=\tfrac{\Delta\varphi}{\Delta s}</math>, das Verhältnis von [[Kreiswinkel|Zentriwinkel]] und Länge eines Kreisbogens. Der Zentriwinkel ist gleich dem [[Außenwinkel]] zwischen den [[Kreistangente]]n in den Endpunkten des Kreisbogens. Um die Krümmung einer beliebigen Kurve in einem Punkt zu definieren, betrachtet man entsprechend ein Kurvenstück der Länge <math>\Delta s</math>, das den fraglichen Punkt enthält und dessen [[Tangente]]n in den Endpunkten sich im Winkel <math>\Delta\varphi</math> schneiden. Damit wird die Krümmung <math>\kappa</math> in dem Punkt durch
:<math>
:<math>
  \kappa:=\lim_{\Delta s\rightarrow 0}\frac{\Delta\varphi}{\Delta s}=\frac{\mathrm{d}\varphi}{\mathrm{d}s}
  \kappa:=\lim_{\Delta s\rightarrow 0}\frac{\Delta\varphi}{\Delta s}=\frac{\mathrm{d}\varphi}{\mathrm{d}s}
Zeile 50: Zeile 50:


=== Eigenschaften ===
=== Eigenschaften ===
Der Krümmungskreis ist der eindeutig bestimmte Kreis, dessen [[Kontaktordnung]] mit der Kurve im Berührungspunkt <math>\geq 2</math> ist. Die Krümmung in einem Punkt ist genau dann gleich null, wenn dort die Kontaktordnung mit der Tangente <math>\geq 2</math> ist. Die [[Evolute]] einer Kurve ist die [[Geometrischer Ort|Ortskurve]] ihrer Krümmungsmittelpunkte. Man erhält einen Krümmungsmittelpunkt als den Grenzwert von Schnittpunkten zweier Normalen, die sich einander annähern. Nach Cauchy kann damit die Krümmung einer ebenen Kurve definiert werden.<ref>{{Literatur | Autor=Alexandre Borovik, Mikhail G Katz | Titel = Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus | Sammelwerk = Foundations of Science | Seiten=1–32 | ISSN=1233-1821| arxiv = 1108.2885 | DOI = 10.1007/s10699-011-9235-x | Jahr = 2011}}</ref><!--aus der englischen Wikipedia-->
Der Krümmungskreis ist der eindeutig bestimmte Kreis, dessen [[Geometrische Stetigkeit#Gn-Kontakt ebener Kurven|Kontaktordnung]] mit der Kurve im Berührungspunkt <math>\geq 2</math> ist. Die Krümmung in einem Punkt ist genau dann gleich null, wenn dort die Kontaktordnung mit der Tangente <math>\geq 2</math> ist. Die [[Evolute]] einer Kurve ist die [[Geometrischer Ort|Ortskurve]] ihrer Krümmungsmittelpunkte. Man erhält einen Krümmungsmittelpunkt als den Grenzwert von Schnittpunkten zweier Normalen, die sich einander annähern. Nach Cauchy kann damit die Krümmung einer ebenen Kurve definiert werden.<ref>{{Literatur |Autor=Alexandre Borovik, Mikhail G Katz |Titel=Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus |Sammelwerk=Foundations of Science |Datum=2011 |ISSN=1233-1821 |Seiten=1–32 |arXiv=1108.2885 |DOI=10.1007/s10699-011-9235-x}}</ref><!--aus der englischen Wikipedia-->


Die Krümmung einer Raumkurve ist wie die [[Windung (Geometrie)|Windung]] eine [[Bewegungsinvarianz|bewegungsinvariante]] Größe, die den lokalen Verlauf einer Kurve beschreibt. Beide Größen kommen als Koeffizienten in den [[Frenetsche Formeln|frenetschen Formeln]] vor.
Die Krümmung einer Raumkurve ist wie die [[Windung (Geometrie)|Windung]] eine [[Bewegungsinvarianz|bewegungsinvariante]] Größe, die den lokalen Verlauf einer Kurve beschreibt. Beide Größen kommen als Koeffizienten in den [[Frenetsche Formeln|frenetschen Formeln]] vor.
Zeile 61: Zeile 61:
\end{align}
\end{align}
</math>
</math>
Jede der beiden Gleichungen ist äquivalent zur Definition der Krümmung mit Vorzeichen für parametrisierte Kurven. In [[Kartesisches Koordinatensystem|kartesischen Koordinaten]] bedeuten die Gleichungen, dass <math>\vec t</math> und <math>\vec N</math> ein [[Fundamentalsystem (Mathematik)|Fundamentalsystem]] von Lösungen für die [[lineare gewöhnliche Differentialgleichung]]  
Jede der beiden Gleichungen ist äquivalent zur Definition der Krümmung mit Vorzeichen für parametrisierte Kurven. In [[Kartesisches Koordinatensystem|kartesischen Koordinaten]] bedeuten die Gleichungen, dass <math>\vec t</math> und <math>\vec N</math> ein [[Fundamentalsystem (Mathematik)|Fundamentalsystem]] von Lösungen für die [[lineare gewöhnliche Differentialgleichung]]
:<math>
:<math>
  \vec x'(s)=\kappa(s)\begin{pmatrix}0 & -1\\1 & 0\end{pmatrix}\cdot\vec x(s)
  \vec x'(s)=\kappa(s)\begin{pmatrix}0 & -1\\1 & 0\end{pmatrix}\cdot\vec x(s)
</math>  
</math>
bilden, deren Lösung durch  
bilden, deren Lösung durch
:<math>
:<math>
  \vec x(s)=\begin{pmatrix}\cos\varphi(s) & -\sin\varphi(s)\\\sin\varphi(s) & \cos\varphi(s)\end{pmatrix}\cdot\vec x(s_0)
  \vec x(s)=\begin{pmatrix}\cos\varphi(s) & -\sin\varphi(s)\\\sin\varphi(s) & \cos\varphi(s)\end{pmatrix}\cdot\vec x(s_0)
</math>  
</math>
mit  
mit
:<math>\varphi(s)=\int_{s_0}^s\kappa(\bar s)d\bar s</math>  
:<math>\varphi(s)=\int_{s_0}^s\kappa(\bar s)d\bar s</math>
gegeben ist. Aus der Abbildung <math>s\mapsto\vec t(s)</math> wiederum erhält man durch Integration die Parametrisierung <math>s\mapsto\vec r(s)</math> der Kurve nach der Bogenlänge. Die Vorgabe eines Startpunktes <math>\vec r(s_0)</math>, einer Startrichtung <math>\vec t(s_0)</math> und der Krümmung <math>s\mapsto\vec\kappa(s)</math> als Funktion der Bogenlänge bestimmt also die Kurve eindeutig. Da <math>\vec t(s)</math> durch eine Drehung von <math>\vec t(s_0)</math> um den Winkel <math>\varphi(s)</math> gegeben ist, folgt weiterhin, dass sich zwei Kurven mit derselben Krümmungsfunktion nur durch eine [[Bewegung (Mathematik)|eigentliche Bewegung]] in der Ebene unterscheiden. Außerdem folgt aus diesen Betrachtungen, dass die Krümmung mit Vorzeichen durch
gegeben ist. Aus der Abbildung <math>s\mapsto\vec t(s)</math> wiederum erhält man durch Integration die Parametrisierung <math>s\mapsto\vec r(s)</math> der Kurve nach der Bogenlänge. Die Vorgabe eines Startpunktes <math>\vec r(s_0)</math>, einer Startrichtung <math>\vec t(s_0)</math> und der Krümmung <math>s\mapsto\vec\kappa(s)</math> als Funktion der Bogenlänge bestimmt also die Kurve eindeutig. Da <math>\vec t(s)</math> durch eine Drehung von <math>\vec t(s_0)</math> um den Winkel <math>\varphi(s)</math> gegeben ist, folgt weiterhin, dass sich zwei Kurven mit derselben Krümmungsfunktion nur durch eine [[Bewegung (Mathematik)|eigentliche Bewegung]] in der Ebene unterscheiden. Außerdem folgt aus diesen Betrachtungen, dass die Krümmung mit Vorzeichen durch
:<math>
:<math>
   \kappa = \frac{\mathrm{d}\varphi}{\mathrm{d}s}
   \kappa = \frac{\mathrm{d}\varphi}{\mathrm{d}s}
</math>
</math>
gegeben ist, wobei <math>\varphi\in\R</math> der Winkel des Tangentenvektors zu einer festen Richtung ist und [[monoton wachsende Funktion|wachsend]] im positiven Drehsinn gemessen wird.
gegeben ist, wobei <math>\varphi\in\R</math> der Winkel des Tangentenvektors zu einer festen Richtung ist und [[Monoton wachsende Funktion|wachsend]] im positiven Drehsinn gemessen wird.


Schränkt man die [[Parameterdarstellung|Parametrisierung]] einer ebenen Kurve in der Umgebung eines Kurvenpunktes <math>p</math> so ein, dass sie [[Injektivität|injektiv]] ist, dann kann man jedem Kurvenpunkt <math>q=\vec r(s)</math> eindeutig den Normalenvektor <math>\vec N(s)</math> zuordnen. Diese Zuordnung kann man als Abbildung von der Kurve in den [[Einheitskreis]] auffassen, indem man den Normalenvektor an den [[Koordinatenursprung|Ursprung]] des Koordinatensystems anheftet. Zu einem Kurvenstück der Länge <math>\Delta s</math>, das den Punkt <math>p</math> enthält, gehört dann ein Kurvenstück auf dem Einheitskreis der Länge <math>\Delta\tilde s</math>. Für die Krümmung im Punkt <math>p</math> gilt dann
Schränkt man die [[Parameterdarstellung|Parametrisierung]] einer ebenen Kurve in der Umgebung eines Kurvenpunktes <math>p</math> so ein, dass sie [[Injektivität|injektiv]] ist, dann kann man jedem Kurvenpunkt <math>q=\vec r(s)</math> eindeutig den Normalenvektor <math>\vec N(s)</math> zuordnen. Diese Zuordnung kann man als Abbildung von der Kurve in den [[Einheitskreis]] auffassen, indem man den Normalenvektor an den [[Koordinatenursprung|Ursprung]] des Koordinatensystems anheftet. Zu einem Kurvenstück der Länge <math>\Delta s</math>, das den Punkt <math>p</math> enthält, gehört dann ein Kurvenstück auf dem Einheitskreis der Länge <math>\Delta\tilde s</math>. Für die Krümmung im Punkt <math>p</math> gilt dann
Zeile 83: Zeile 83:
Diese Idee kann auf Flächen im Raum übertragen werden, indem man ein Einheitsnormalenvektorfeld auf der Fläche als Abbildung in die [[Einheitskugel]] auffasst. Diese Abbildung bezeichnet man als [[Gauß-Abbildung]]. Betrachtet man das Verhältnis von [[Flächeninhalt]]en anstelle der Bogenlängen und versieht dabei das Flächenstück in der Einheitskugel mit einem Vorzeichen, abhängig davon, ob die Gauß-Abbildung den Umlaufsinn der [[Rand (Topologie)|Randkurve]] bewahrt oder umkehrt, dann liefert das die ursprüngliche Definition der [[Gaußsche Krümmung|gaußschen Krümmung]] durch [[Carl Friedrich Gauß|Gauß]]. Allerdings ist die gaußsche Krümmung eine Größe der intrinsischen Geometrie, während eine Kurve keine intrinsische Krümmung besitzt, denn jede Parametrisierung nach der Bogenlänge ist eine lokale [[Isometrie]] zwischen einer Teilmenge der reellen Zahlen und der Kurve.
Diese Idee kann auf Flächen im Raum übertragen werden, indem man ein Einheitsnormalenvektorfeld auf der Fläche als Abbildung in die [[Einheitskugel]] auffasst. Diese Abbildung bezeichnet man als [[Gauß-Abbildung]]. Betrachtet man das Verhältnis von [[Flächeninhalt]]en anstelle der Bogenlängen und versieht dabei das Flächenstück in der Einheitskugel mit einem Vorzeichen, abhängig davon, ob die Gauß-Abbildung den Umlaufsinn der [[Rand (Topologie)|Randkurve]] bewahrt oder umkehrt, dann liefert das die ursprüngliche Definition der [[Gaußsche Krümmung|gaußschen Krümmung]] durch [[Carl Friedrich Gauß|Gauß]]. Allerdings ist die gaußsche Krümmung eine Größe der intrinsischen Geometrie, während eine Kurve keine intrinsische Krümmung besitzt, denn jede Parametrisierung nach der Bogenlänge ist eine lokale [[Isometrie]] zwischen einer Teilmenge der reellen Zahlen und der Kurve.


Betrachtet man eine normale [[Variationsrechnung|Variation]] <math>\vec r(t)+\varepsilon\vec N(t)</math> einer parametrisierte Kurve mit <math>\varepsilon\in\R</math> auf einem [[Parameterintervall]] <math>\Delta t</math>, bezeichnet mit <math>\Delta s</math> die Bogenlänge des variierten Kurvenstücks und setzt <math>\Delta s_0=\Delta s|_{\varepsilon=0}</math>, dann gilt
Betrachtet man eine normale [[Variationsrechnung|Variation]] <math>\vec r_\varepsilon(t):=\vec r(t)+\varepsilon\vec N(t)</math>, <math>\varepsilon\in\R</math>, einer parametrisierten ebenen Kurve auf einem [[Intervall (Mathematik)|Parameterintervall]] <math>\Delta t</math> und bezeichnet mit <math>\Delta s_\varepsilon</math> die Bogenlänge des variierten Kurvenstücks, dann gilt für die Krümmung mit Vorzeichen bezüglich <math>\vec N</math>:
:<math>
:<math>
   \kappa = -\lim_{\Delta t\rightarrow 0}\frac{1}{\Delta s_0}\left.\frac{\mathrm{d}\Delta s}{\mathrm{d}\varepsilon}\right|_{\varepsilon=0}.
   \kappa = -\lim_{\Delta t\rightarrow 0}\frac{1}{\Delta s_0}\left.\frac{\mathrm{d}\Delta s_\varepsilon}{\mathrm{d}\varepsilon}\right|_{\varepsilon=0}.
</math>
</math>
Die Krümmung mit Vorzeichen in einem Punkt gibt also an, wie schnell sich die Bogenlänge eines [[Infinitesimalrechnung|infinitesimalen]] Kurvenstückes in diesem Punkt bei einer normalen Variation ändert. Auf Flächen im Raum übertragen, führt dies auf den Begriff der [[Mittlere Krümmung|mittleren Krümmung]]. Der entsprechende Grenzwert des Verhältnisses von Flächeninhalten bei normaler Variation liefert dann das Doppelte der mittleren Krümmung.
Die Krümmung in einem Punkt gibt also an, wie schnell sich die Bogenlänge eines [[Infinitesimalrechnung|infinitesimalen]] Kurvenstückes in diesem Punkt bei einer normalen Variation ändert. Auf Flächen im Raum übertragen führt dies auf den Begriff der [[Mittlere Krümmung|mittleren Krümmung]]. Der entsprechende Grenzwert mit Flächeninhalten anstelle von Kurvenlängen liefert dann die zweifache mittlere Krümmung.


Diese Charakterisierung der Krümmung erklärt die folgende Formel für die Krümmung mit Vorzeichen für eine Kurve, die als Nullstellenmenge <math>f^{-1}(0)</math> einer Funktion <math>f \colon \R^2\to\R,\;(x,y)\mapsto f(x,y)</math> gegeben ist. Da die [[Divergenz eines Vektorfeldes]] in der Ebene die Änderungsrate des Inhaltes eines infinitesimalen Flächenstückes bezüglich des zum Vektorfeld gehörenden [[Integralkurve|Flusses]] liefert, erhält man aus der negativen Divergenz des normierten Gradientenfeldes die Krümmung mit Vorzeichen:
Diese Charakterisierung der Krümmung einer ebenen Kurve gilt auch dann, wenn man allgemeiner die Variation <math>\vec r_\varepsilon(t):=\vec\varphi(\vec r(t),\varepsilon)</math> durch den [[Integralkurve#Lokaler Fluss|lokalen Fluss]] <math>\vec\varphi</math> eines Vektorfeldes <math>\vec V</math> (d.&nbsp;h. <math>\tfrac{\partial}{\partial\varepsilon}\vec\varphi(\vec r,\varepsilon)=\vec V(\vec\varphi(\vec r,\varepsilon))</math>) mit <math>\vec V(\vec r(t))=\vec N(t)</math> betrachtet. Man erhält
:<math>
:<math>
  \kappa=-\nabla\cdot\vec N=-\nabla\cdot\frac{\nabla f}{|\nabla f|}=-\vec N^T\cdot(\tilde H_f-\operatorname{sp}(\tilde H_f)E)\cdot\vec N,
  \kappa=-\vec t^T\cdot J_{\vec V}\cdot\vec t=-\nabla\cdot\vec V+\vec N^T\cdot J_{\vec V}\cdot\vec N,
</math>
mit der [[Jacobi-Matrix]] <math>J_{\vec V}</math> und der [[Divergenz eines Vektorfeldes|Divergenz]] <math>\nabla\cdot\vec V</math> des Vektorfeldes. Als Anwendung erhält man die folgende Formel für die Krümmung mit Vorzeichen bezüglich des normierten Gradientenfeldes <math>\vec V=\frac{\nabla f}{|\nabla f|}</math> längs einer Kurve, die als Nullstellenmenge <math>f^{-1}(0)</math> einer Funktion <math>f \colon \R^2\to\R</math> gegeben ist (der Beitrag zweiter Ordnung in Richtung <math>\vec N</math> verschwindet):
:<math>
\kappa=-\nabla\cdot\vec V=-\nabla\cdot\frac{\nabla f}{|\nabla f|}=-\vec N^T\cdot(\tilde H_f-\operatorname{sp}(\tilde H_f)E)\cdot\vec N,
</math>
</math>
wobei <math>\tilde H_f:=-\tfrac{H_f}{|\nabla f|}</math> mit der [[Hesse-Matrix]] <math>H_f</math>, <math>\operatorname{sp}(\tilde H_f)</math> die [[Spur (Mathematik)|Spur]] und <math>E</math> die [[Einheitsmatrix]] ist. Für Abbildungen <math>f \colon \R^3\to\R</math> liefert diese Formel die zweifache mittlere Krümmung von Flächen als Nullstellenmengen im Raum und wird als Formel von Bonnet bezeichnet. Ausgeschrieben und in eine andere Form gebracht lautet die Formel im Fall ebener Kurven:
wobei <math>\tilde H_f:=-\tfrac{H_f}{|\nabla f|}</math> mit der [[Hesse-Matrix]] <math>H_f</math>, <math>\operatorname{sp}(\tilde H_f)</math> die [[Spur (Mathematik)|Spur]] und <math>E</math> die [[Einheitsmatrix]] ist. Für Abbildungen <math>f \colon \R^3\to\R</math> liefert diese Formel die zweifache mittlere Krümmung von Flächen als Nullstellenmengen im Raum und wird als Formel von Bonnet bezeichnet. Ausgeschrieben und in eine andere Form gebracht lautet die Formel im Fall ebener Kurven:
Zeile 116: Zeile 120:
Das liefert die folgenden Spezialfälle:
Das liefert die folgenden Spezialfälle:


;Fall 1: Die Kurve ist der [[Funktionsgraph|Graph einer Funktion]] <math>f</math>. Die Krümmung im Punkt <math>\vec r(x)=\left(x,f(x)\right)</math> ergibt sich aus
; Fall 1: Die Kurve ist der [[Funktionsgraph|Graph einer Funktion]] <math>f</math>. Die Krümmung im Punkt <math>\vec r(x)=\left(x,f(x)\right)</math> ergibt sich aus
::<math>\kappa(x) = \frac{f''(x)}{\left(1 + f'(x)^2\right)^{3/2}}</math>.
::<math>\kappa(x) = \frac{f''(x)}{\left(1 + f'(x)^2\right)^{3/2}}</math>.


;Fall 2: Die Kurve ist in [[Polarkoordinaten]] gegeben, also durch eine Gleichung <math>r = f(\varphi)</math>. In diesem Fall erhält man für die Krümmung im Punkt <math>\vec r(\varphi)=f(\varphi)\cdot(\cos\varphi,\sin\varphi)</math> die Formel
; Fall 2: Die Kurve ist in [[Polarkoordinaten]] gegeben, also durch eine Gleichung <math>r = f(\varphi)</math>. In diesem Fall erhält man für die Krümmung im Punkt <math>\vec r(\varphi)=f(\varphi)\cdot(\cos\varphi,\sin\varphi)</math> die Formel
::<math>\kappa(\varphi) = \frac{(f(\varphi))^2 + 2 (f'(\varphi))^2 - f(\varphi) f''(\varphi)}
::<math>\kappa(\varphi) = \frac{(f(\varphi))^2 + 2 (f'(\varphi))^2 - f(\varphi) f''(\varphi)}
{\left[(f(\varphi))^2 + (f'(\varphi))^2\right]^{3/2}}</math>.
{\left[(f(\varphi))^2 + (f'(\varphi))^2\right]^{3/2}}</math>.
Zeile 156: Zeile 160:


== Literatur ==
== Literatur ==
* Wolfgang Walter: ''Analysis II.'' Springer, 1991, 2. Auflage, ISBN 3-540-54566-2, S. 171–174.
* [[Wolfgang Walter (Mathematiker)|Wolfgang Walter]]: ''Analysis II''. 2. Auflage. Springer, 1991, ISBN 3-540-54566-2, S. 171–174.
* Konrad Köngisberger: ''Analysis 1.'' 2-te Auflage, Springer, 1992, ISBN 3-540-55116-6, S. 238–41, 257.
* [[Konrad Königsberger]]: ''Analysis 1''. 2. Auflage. Springer, 1992, ISBN 3-540-55116-6, S. 238–41, 257.
* Ilja Nikolajewitsch Bronstein, Konstantin Adolfowitsch Semendjajew, Gerhard Musiol, Heiner Mühlig: ''[[Taschenbuch der Mathematik]]''. [[Verlag Harri Deutsch]], 7. Auflage 2008, ISBN 978-3-8171-2007-9, S. 251&nbsp;ff ({{Google Buch|BuchID=5L6BBwAAQBAJ|Seite=246|Linktext=Auszug aus der englischen Ausgabe (Google)|KeinText=ja}})
* [[Ilja Nikolajewitsch Bronschtein|Ilja Nikolajewitsch Bronstein]], [[Konstantin Adolfowitsch Semendjajew]], Gerhard Musiol, Heiner Mühlig: ''[[Taschenbuch der Mathematik]]''. 7. Auflage. Verlag Harri Deutsch, 2008, ISBN 978-3-8171-2007-9, S. 251&nbsp;ff. ({{Google Buch|BuchID=5L6BBwAAQBAJ|Seite=246|Linktext=Auszug aus der englischen Ausgabe|KeinText=ja}} (Google))
* Matthias Richter: ''Grundwissen Mathematik für Ingenieure.'' Vieweg+Teubner 2001, 2. Auflage 2008, ISBN 978-3-8348-0729-8, S. 230 ({{Google Buch|BuchID=5TvAFYMRRZ4C|Seite=230|Linktext=Auszug (Google)|KeinText=ja}})
* Matthias Richter: ''Grundwissen Mathematik für Ingenieure''. 2. Auflage. Vieweg+Teubner 2001, 2008, ISBN 978-3-8348-0729-8, S. 230 ({{Google Buch|BuchID=5TvAFYMRRZ4C|Seite=230|Linktext=Auszug|KeinText=ja}} (Google))
* A. Albert Klaf: ''Calculus Refresher.'' Dover 1956, ISBN 978-0-486-20370-6, S. 151–168 ({{Google Buch|BuchID=3RuKAAAAQBAJ|Seite=151|Linktext=Auszug (Google)|KeinText=ja}})
* A. Albert Klaf: ''Calculus Refresher.'' Dover 1956, ISBN 978-0-486-20370-6, S. 151–168 ({{Google Buch|BuchID=3RuKAAAAQBAJ|Seite=151|Linktext=Auszug|KeinText=ja}} (Google))
* James Casey: ''Exploring Curvature.'' Vieweg+Teubner, 1996, ISBN 978-3-528-06475-4.
* James Casey: ''Exploring Curvature''. Vieweg+Teubner, 1996, ISBN 978-3-528-06475-4.


== Weblinks ==
== Weblinks ==
{{Commonscat|Illustrations for curvature and torsion of curves|Grafische Illustrationen der Krümmung von Kurven}}
{{Commonscat|Illustrations for curvature and torsion of curves|Grafische Illustrationen der Krümmung von Kurven}}
* [http://www.math.uni-muenster.de/u/urs.hartl/gifs/CurvatureAndTorsionOfCurves_DE.mw Animierte Illustrationen selbst erstellen: begleitendes Zweibein und Krümmungsfunktion] ([[Maple (Software)|Maple]]-Worksheet)
* [https://ivv5hpp.uni-muenster.de/u/uhartl/gifs/CurvatureAndTorsionOfCurves_DE.mw Animierte Illustrationen selbst erstellen: begleitendes Zweibein und Krümmungsfunktion] ([[Maple (Software)|Maple]]-Worksheet)
* {{MathWorld|urlname=Curvature|title=Curvature}}
* {{MathWorld |id=Curvature |title=Curvature}}
* [https://www.encyclopediaofmath.org/index.php/Curvature ''Curvature''] in der [[Encyclopaedia of Mathematics]]
* [https://www.encyclopediaofmath.org/index.php/Curvature ''Curvature''] in der [[Encyclopaedia of Mathematics]]
* {{Webarchiv | url=http://www3.villanova.edu/maple/misc/history_of_curvature/k.htm | wayback=20130430034359 | text=The History of Curvature}} (englisch)
* {{Webarchiv |url=http://www3.villanova.edu/maple/misc/history_of_curvature/k.htm |text=The History of Curvature |wayback=20130430034359}} (englisch)
* [http://www.mathpages.com/rr/s5-03/5-03.htm Curvature, Intrinsic and Extrinsic] auf MathPages.com (englisch)
* [https://www.mathpages.com/rr/s5-03/5-03.htm Curvature, Intrinsic and Extrinsic] auf MathPages.com (englisch)


== Einzelnachweise ==
== Einzelnachweise ==
<references />
<references />
{{Normdaten|TYP=s|GND=4128765-4}}


{{SORTIERUNG:Krummung}}
{{SORTIERUNG:Krummung}}

Aktuelle Version vom 25. Januar 2021, 18:18 Uhr

Krümmung ist ein Begriff aus der Mathematik, der in seiner einfachsten Bedeutung die lokale Abweichung einer Kurve von einer Geraden bezeichnet. Der gleiche Begriff steht auch für das Krümmungsmaß, welches für jeden Punkt der Kurve quantitativ angibt, wie stark diese lokale Abweichung ist.

Aufbauend auf dem Krümmungsbegriff für Kurven lässt sich die Krümmung einer Fläche im dreidimensionalen Raum beschreiben, indem man die Krümmung von Kurven in dieser Fläche untersucht. Ein gewisser Teil der Krümmungsinformation einer Fläche, die gaußsche Krümmung, hängt nur von der inneren Geometrie der Fläche ab, d. h. von der ersten Fundamentalform (bzw. dem metrischen Tensor), die festlegt, wie die Bogenlänge von Kurven berechnet wird.

Dieser intrinsische Krümmungsbegriff lässt sich verallgemeinern auf Mannigfaltigkeiten beliebiger Dimension mit einem metrischen Tensor. Auf solchen Mannigfaltigkeiten ist der Paralleltransport längs Kurven erklärt und die Krümmungsgrößen geben an, wie groß die Richtungsänderung von Vektoren beim Paralleltransport längs geschlossener Kurven nach einem Umlauf ist. Eine Anwendung ist die Allgemeine Relativitätstheorie, welche Gravitation als eine Krümmung der Raumzeit beschreibt. Noch allgemeiner lässt sich dieser Begriff auf Hauptfaserbündel mit Zusammenhang übertragen. Diese finden Anwendung in der Eichtheorie, in welcher die Krümmungsgrößen die Stärke der fundamentalen Wechselwirkungen (z. B. des elektromagnetischen Feldes) beschreiben.

Krümmung einer Kurve

Krümmung am Kreis: $ \kappa ={\tfrac {1}{r}}={\tfrac {\varphi }{s}} $
Kurve und ihr Krümmungskreis im Kurvenpunkt P

Unter der Krümmung einer ebenen Kurve versteht man in der Geometrie die Richtungsänderung beim Durchlaufen der Kurve. Die Krümmung einer Geraden ist überall gleich null, weil sich ihre Richtung nicht ändert. Ein Kreis(bogen) mit dem Radius $ r $ hat überall die gleiche Krümmung, denn seine Richtung ändert sich überall gleich stark. Je kleiner der Radius des Kreises ist, desto größer ist seine Krümmung. Als Maß für die Krümmung eines Kreises dient die Größe $ {\tfrac {1}{r}}={\tfrac {\Delta \varphi }{\Delta s}} $, das Verhältnis von Zentriwinkel und Länge eines Kreisbogens. Der Zentriwinkel ist gleich dem Außenwinkel zwischen den Kreistangenten in den Endpunkten des Kreisbogens. Um die Krümmung einer beliebigen Kurve in einem Punkt zu definieren, betrachtet man entsprechend ein Kurvenstück der Länge $ \Delta s $, das den fraglichen Punkt enthält und dessen Tangenten in den Endpunkten sich im Winkel $ \Delta \varphi $ schneiden. Damit wird die Krümmung $ \kappa $ in dem Punkt durch

$ \kappa :=\lim _{\Delta s\rightarrow 0}{\frac {\Delta \varphi }{\Delta s}}={\frac {\mathrm {d} \varphi }{\mathrm {d} s}} $

definiert, falls dieser Differentialquotient existiert. Ist die Krümmung in einem Punkt ungleich null, dann bezeichnet man den Kehrwert der Krümmung als Krümmungsradius; dies ist der Radius des Krümmungskreises durch diesen Punkt, also des Kreises, der die Kurve in diesem Punkt am besten annähert. Der Mittelpunkt dieses Kreises heißt Krümmungsmittelpunkt und kann konstruiert werden, indem der Krümmungsradius senkrecht zur Tangente der Kurve abgetragen wird, und zwar in die Richtung, in die sich die Kurve krümmt.

Ist die Kurve als Graph einer Funktion $ f\colon \mathbb {R} \to \mathbb {R} ,\,y=f(x) $ gegeben, dann gilt für den Anstiegswinkel $ \varphi $ der Kurve $ {\tfrac {\mathrm {d} y}{\mathrm {d} x}}=\tan \varphi $, also mit der Kettenregel $ {\tfrac {\mathrm {d} ^{2}y}{\mathrm {d} x^{2}}}=(1+\tan ^{2}\varphi ){\tfrac {\mathrm {d} \varphi }{\mathrm {d} x}}=\left(1+\left({\tfrac {\mathrm {d} y}{\mathrm {d} x}}\right)^{2}\right){\tfrac {\mathrm {d} \varphi }{\mathrm {d} x}} $. Für die Bogenlänge $ s $ gilt $ \mathrm {d} s^{2}=\mathrm {d} x^{2}+\mathrm {d} y^{2} $ bzw. $ {\tfrac {\mathrm {d} s}{\mathrm {d} x}}={\sqrt {1+\left({\tfrac {\mathrm {d} y}{\mathrm {d} x}}\right)^{2}}} $ . Damit erhält man für die Krümmung

$ \kappa ={\frac {\mathrm {d} \varphi }{\mathrm {d} s}}={\frac {\frac {\mathrm {d} \varphi }{\mathrm {d} x}}{\frac {\mathrm {d} s}{\mathrm {d} x}}}={\frac {\frac {\mathrm {d} ^{2}y}{\mathrm {d} x^{2}}}{\left(1+\left({\frac {\mathrm {d} y}{\mathrm {d} x}}\right)^{2}\right)^{\frac {3}{2}}}}. $

Hierbei kann die Krümmung positiv oder negativ sein, abhängig davon, ob der Anstiegswinkel $ \varphi $ der Kurve bei zunehmender Abszisse $ x $ wachsend oder fallend ist, d. h. ob die Funktion konvex oder konkav ist.

Definitionen

Lissajous-Kurve nebeneinander Animated.gif
Lemniskate nebeneinander Animated.gif
Animationen der Krümmung und des „Beschleunigungsvektors“ $ \mathrm {d} ^{2}{\vec {r}}/\mathrm {d} s^{2} $

$ {\vec {r}}(s)\in \mathbb {R} ^{p} $ sei der Ortsvektor eines Punktes auf der Kurve als Funktion der Bogenlänge $ s $. Die Krümmung $ {\kappa \,} $ der Kurve ist dann definiert als

$ \kappa =\left|{\frac {\mathrm {d} ^{2}{\vec {r}}}{\mathrm {d} s^{2}}}\right|. $

Die Krümmung ist also durch den Betrag der Ableitung des Einheitstangentenvektors $ {\vec {t}}={\frac {\mathrm {d} {\vec {r}}}{\mathrm {d} s}} $ nach der Bogenlänge gegeben und gibt damit an, wie schnell sich beim Durchlaufen der Kurve die Tangentenrichtung in Abhängigkeit von der Bogenlänge ändert. Die Krümmung in einem Punkt der Kurve ist unabhängig von der gewählten Parametrisierung nach der Bogenlänge.

Für ebene Kurven kann man die Krümmung mit Vorzeichen bezüglich einer Orientierung des Normalenbündels der Kurve definieren. Eine solche Orientierung ist gegeben durch ein stetiges Einheitsnormalenvektorfeld $ {\vec {N}} $ längs der Kurve. Es existiert stets, da jede ebene Kurve orientierbar ist. Ist die Krümmung ungleich null, dann ist die Krümmung mit Vorzeichen durch das Skalarprodukt

$ \kappa ={\vec {N}}\cdot {\frac {\mathrm {d} {\vec {t}}}{\mathrm {d} s}} $

definiert. Die Krümmung ist also positiv, wenn sie sich in Richtung von $ {\vec {N}} $ krümmt (d. h. wenn $ {\vec {N}} $ gleich dem Hauptnormaleneinheitsvektor $ {\vec {n}}={\frac {{\vec {t}}\,'}{|{\vec {t}}\,'|}} $ mit $ {\vec {t}}\,':={\frac {\mathrm {d} {\vec {t}}}{\mathrm {d} s}} $ ist) und negativ, wenn sie sich in die entgegengesetzte Richtung krümmt (d. h. wenn $ {\vec {N}}=-{\vec {n}} $ gilt). Die Definition ist wieder unabhängig von der Parametrisierung nach der Bogenlänge, aber das Vorzeichen ist abhängig von der Wahl von $ {\vec {N}} $ längs der Kurve. Der Betrag $ |\kappa | $ liefert die oben gegebene Definition der Krümmung ohne Vorzeichen.

Einer regulär parametrisierten Kurve in der Ebene lässt sich über die Durchlaufrichtung eine Orientierung zuordnen. Ist zusätzlich eine Orientierung der Ebene vorgegeben, so wird dadurch eine Orientierung auf dem Normalenbündel induziert. Dazu sei $ {\vec {N}}(s) $ der Einheitsnormalenvektor, so dass die geordnete Basis $ ({\vec {t}}(s),{\vec {N}}(s)) $ positiv orientiert ist. Damit wird das Vorzeichen der Krümmung einer parametrisierten Kurve abhängig von der Orientierung der Ebene und dem Durchlaufsinn der parametrisierten Kurve. In einer Linkskurve ist $ \kappa $ positiv und in einer Rechtskurve negativ.

Einer Kurve $ C=f^{-1}(0) $, die als Nullstellenmenge einer Funktion $ f\colon \mathbb {R} ^{2}\to \mathbb {R} $ mit regulärem Wert $ 0\in \mathbb {R} $ gegeben ist, kann die Krümmung mit Vorzeichen bezüglich des auf die Kurve eingeschränkten normierten Gradientenfeldes $ {\vec {N}}=\left.{\frac {\nabla f}{|\nabla f|}}\right|_{C} $ zugeordnet werden.

Eigenschaften

Der Krümmungskreis ist der eindeutig bestimmte Kreis, dessen Kontaktordnung mit der Kurve im Berührungspunkt $ \geq 2 $ ist. Die Krümmung in einem Punkt ist genau dann gleich null, wenn dort die Kontaktordnung mit der Tangente $ \geq 2 $ ist. Die Evolute einer Kurve ist die Ortskurve ihrer Krümmungsmittelpunkte. Man erhält einen Krümmungsmittelpunkt als den Grenzwert von Schnittpunkten zweier Normalen, die sich einander annähern. Nach Cauchy kann damit die Krümmung einer ebenen Kurve definiert werden.[1]

Die Krümmung einer Raumkurve ist wie die Windung eine bewegungsinvariante Größe, die den lokalen Verlauf einer Kurve beschreibt. Beide Größen kommen als Koeffizienten in den frenetschen Formeln vor.

Ist $ \kappa $ die Krümmung mit Vorzeichen für eine nach der Bogenlänge parametrisierte Kurve in der orientierten Ebene, dann gelten die folgenden Gleichungen:

$ {\begin{aligned}{\frac {\mathrm {d} {\vec {t}}}{\mathrm {d} s}}&=&\kappa {\vec {N}}\\{\frac {\mathrm {d} {\vec {N}}}{\mathrm {d} s}}&=-\kappa {\vec {t}}&\end{aligned}} $

Jede der beiden Gleichungen ist äquivalent zur Definition der Krümmung mit Vorzeichen für parametrisierte Kurven. In kartesischen Koordinaten bedeuten die Gleichungen, dass $ {\vec {t}} $ und $ {\vec {N}} $ ein Fundamentalsystem von Lösungen für die lineare gewöhnliche Differentialgleichung

$ {\vec {x}}'(s)=\kappa (s){\begin{pmatrix}0&-1\\1&0\end{pmatrix}}\cdot {\vec {x}}(s) $

bilden, deren Lösung durch

$ {\vec {x}}(s)={\begin{pmatrix}\cos \varphi (s)&-\sin \varphi (s)\\\sin \varphi (s)&\cos \varphi (s)\end{pmatrix}}\cdot {\vec {x}}(s_{0}) $

mit

$ \varphi (s)=\int _{s_{0}}^{s}\kappa ({\bar {s}})d{\bar {s}} $

gegeben ist. Aus der Abbildung $ s\mapsto {\vec {t}}(s) $ wiederum erhält man durch Integration die Parametrisierung $ s\mapsto {\vec {r}}(s) $ der Kurve nach der Bogenlänge. Die Vorgabe eines Startpunktes $ {\vec {r}}(s_{0}) $, einer Startrichtung $ {\vec {t}}(s_{0}) $ und der Krümmung $ s\mapsto {\vec {\kappa }}(s) $ als Funktion der Bogenlänge bestimmt also die Kurve eindeutig. Da $ {\vec {t}}(s) $ durch eine Drehung von $ {\vec {t}}(s_{0}) $ um den Winkel $ \varphi (s) $ gegeben ist, folgt weiterhin, dass sich zwei Kurven mit derselben Krümmungsfunktion nur durch eine eigentliche Bewegung in der Ebene unterscheiden. Außerdem folgt aus diesen Betrachtungen, dass die Krümmung mit Vorzeichen durch

$ \kappa ={\frac {\mathrm {d} \varphi }{\mathrm {d} s}} $

gegeben ist, wobei $ \varphi \in \mathbb {R} $ der Winkel des Tangentenvektors zu einer festen Richtung ist und wachsend im positiven Drehsinn gemessen wird.

Schränkt man die Parametrisierung einer ebenen Kurve in der Umgebung eines Kurvenpunktes $ p $ so ein, dass sie injektiv ist, dann kann man jedem Kurvenpunkt $ q={\vec {r}}(s) $ eindeutig den Normalenvektor $ {\vec {N}}(s) $ zuordnen. Diese Zuordnung kann man als Abbildung von der Kurve in den Einheitskreis auffassen, indem man den Normalenvektor an den Ursprung des Koordinatensystems anheftet. Zu einem Kurvenstück der Länge $ \Delta s $, das den Punkt $ p $ enthält, gehört dann ein Kurvenstück auf dem Einheitskreis der Länge $ \Delta {\tilde {s}} $. Für die Krümmung im Punkt $ p $ gilt dann

$ \kappa =\lim _{\Delta s\rightarrow 0}{\frac {\Delta {\tilde {s}}}{\Delta s}}. $

Diese Idee kann auf Flächen im Raum übertragen werden, indem man ein Einheitsnormalenvektorfeld auf der Fläche als Abbildung in die Einheitskugel auffasst. Diese Abbildung bezeichnet man als Gauß-Abbildung. Betrachtet man das Verhältnis von Flächeninhalten anstelle der Bogenlängen und versieht dabei das Flächenstück in der Einheitskugel mit einem Vorzeichen, abhängig davon, ob die Gauß-Abbildung den Umlaufsinn der Randkurve bewahrt oder umkehrt, dann liefert das die ursprüngliche Definition der gaußschen Krümmung durch Gauß. Allerdings ist die gaußsche Krümmung eine Größe der intrinsischen Geometrie, während eine Kurve keine intrinsische Krümmung besitzt, denn jede Parametrisierung nach der Bogenlänge ist eine lokale Isometrie zwischen einer Teilmenge der reellen Zahlen und der Kurve.

Betrachtet man eine normale Variation $ {\vec {r}}_{\varepsilon }(t):={\vec {r}}(t)+\varepsilon {\vec {N}}(t) $, $ \varepsilon \in \mathbb {R} $, einer parametrisierten ebenen Kurve auf einem Parameterintervall $ \Delta t $ und bezeichnet mit $ \Delta s_{\varepsilon } $ die Bogenlänge des variierten Kurvenstücks, dann gilt für die Krümmung mit Vorzeichen bezüglich $ {\vec {N}} $:

$ \kappa =-\lim _{\Delta t\rightarrow 0}{\frac {1}{\Delta s_{0}}}\left.{\frac {\mathrm {d} \Delta s_{\varepsilon }}{\mathrm {d} \varepsilon }}\right|_{\varepsilon =0}. $

Die Krümmung in einem Punkt gibt also an, wie schnell sich die Bogenlänge eines infinitesimalen Kurvenstückes in diesem Punkt bei einer normalen Variation ändert. Auf Flächen im Raum übertragen führt dies auf den Begriff der mittleren Krümmung. Der entsprechende Grenzwert mit Flächeninhalten anstelle von Kurvenlängen liefert dann die zweifache mittlere Krümmung.

Diese Charakterisierung der Krümmung einer ebenen Kurve gilt auch dann, wenn man allgemeiner die Variation $ {\vec {r}}_{\varepsilon }(t):={\vec {\varphi }}({\vec {r}}(t),\varepsilon ) $ durch den lokalen Fluss $ {\vec {\varphi }} $ eines Vektorfeldes $ {\vec {V}} $ (d. h. $ {\tfrac {\partial }{\partial \varepsilon }}{\vec {\varphi }}({\vec {r}},\varepsilon )={\vec {V}}({\vec {\varphi }}({\vec {r}},\varepsilon )) $) mit $ {\vec {V}}({\vec {r}}(t))={\vec {N}}(t) $ betrachtet. Man erhält

$ \kappa =-{\vec {t}}^{T}\cdot J_{\vec {V}}\cdot {\vec {t}}=-\nabla \cdot {\vec {V}}+{\vec {N}}^{T}\cdot J_{\vec {V}}\cdot {\vec {N}}, $

mit der Jacobi-Matrix $ J_{\vec {V}} $ und der Divergenz $ \nabla \cdot {\vec {V}} $ des Vektorfeldes. Als Anwendung erhält man die folgende Formel für die Krümmung mit Vorzeichen bezüglich des normierten Gradientenfeldes $ {\vec {V}}={\frac {\nabla f}{|\nabla f|}} $ längs einer Kurve, die als Nullstellenmenge $ f^{-1}(0) $ einer Funktion $ f\colon \mathbb {R} ^{2}\to \mathbb {R} $ gegeben ist (der Beitrag zweiter Ordnung in Richtung $ {\vec {N}} $ verschwindet):

$ \kappa =-\nabla \cdot {\vec {V}}=-\nabla \cdot {\frac {\nabla f}{|\nabla f|}}=-{\vec {N}}^{T}\cdot ({\tilde {H}}_{f}-\operatorname {sp} ({\tilde {H}}_{f})E)\cdot {\vec {N}}, $

wobei $ {\tilde {H}}_{f}:=-{\tfrac {H_{f}}{|\nabla f|}} $ mit der Hesse-Matrix $ H_{f} $, $ \operatorname {sp} ({\tilde {H}}_{f}) $ die Spur und $ E $ die Einheitsmatrix ist. Für Abbildungen $ f\colon \mathbb {R} ^{3}\to \mathbb {R} $ liefert diese Formel die zweifache mittlere Krümmung von Flächen als Nullstellenmengen im Raum und wird als Formel von Bonnet bezeichnet. Ausgeschrieben und in eine andere Form gebracht lautet die Formel im Fall ebener Kurven:

$ \kappa =-{\frac {f_{y}^{2}f_{xx}-2f_{x}f_{y}f_{xy}+f_{x}^{2}f_{yy}}{(f_{x}^{2}+f_{y}^{2})^{3/2}}}={\vec {N}}^{T}\cdot \operatorname {adj} ({\tilde {H}}_{f})\cdot {\vec {N}}. $

Dabei bezeichnet z. B. $ f_{x} $ die partielle Ableitung von $ f $ nach dem ersten Argument und $ \operatorname {adj} ({\tilde {H}}_{f}) $ die Adjunkte von $ {\tilde {H}}_{f} $. Für Abbildungen $ f\colon \mathbb {R} ^{3}\to \mathbb {R} $ liefert der zweite Ausdruck die Gaußsche Krümmung für Flächen als Nullstellenmengen im Raum.

Berechnung der Krümmung für parametrisierte Kurven

Die oben gegebene Definition setzt eine Parametrisierung der Kurve nach der Bogenlänge voraus. Durch Umparametrisierung erhält man daraus eine Formel für beliebige reguläre Parametrisierungen $ t\mapsto {\vec {r}}(t)\in \mathbb {R} ^{p} $. Fasst man die ersten beiden Ableitungen von $ {\vec {r}} $ als Spalten einer Matrix $ A(t)=({\vec {r}}'(t),{\vec {r}}''(t)) $ zusammen, dann lautet die Formel

$ \kappa ={\frac {\sqrt {\det(A^{T}\cdot A)}}{|{\vec {r}}'|^{3}}} $.

Für ebene Kurven ist $ A(t) $ eine quadratische Matrix und die Formel vereinfacht sich mit Hilfe der Produktregel für Determinanten zu

$ \kappa ={\frac {|\det A|}{|{\vec {r}}'|^{3}}} $.

Ist die Ebene durch den $ \mathbb {R} ^{2} $ mit der Standardorientierung gegeben, dann erhält man die Formel für die Krümmung mit Vorzeichen durch Weglassen der Betragsstriche im Zähler.

Ebene Kurven

Ist die Parametrisierung durch die Komponentenfunktionen $ x $ und $ y $ gegeben, dann liefert die Formel für die Krümmung mit Vorzeichen im Punkt $ {\vec {r}}(t)=(x(t),y(t)) $ den Ausdruck

$ \kappa (t)={\frac {{\dot {x}}(t){\ddot {y}}(t)-{\ddot {x}}(t){\dot {y}}(t)}{{\big (}{\dot {x}}(t)^{2}+{\dot {y}}(t)^{2}{\big )}^{3/2}}} $.

(Die Punkte bezeichnen dabei Ableitungen nach $ t $.)

Das liefert die folgenden Spezialfälle:

Fall 1
Die Kurve ist der Graph einer Funktion $ f $. Die Krümmung im Punkt $ {\vec {r}}(x)=\left(x,f(x)\right) $ ergibt sich aus
$ \kappa (x)={\frac {f''(x)}{\left(1+f'(x)^{2}\right)^{3/2}}} $.
Fall 2
Die Kurve ist in Polarkoordinaten gegeben, also durch eine Gleichung $ r=f(\varphi ) $. In diesem Fall erhält man für die Krümmung im Punkt $ {\vec {r}}(\varphi )=f(\varphi )\cdot (\cos \varphi ,\sin \varphi ) $ die Formel
$ \kappa (\varphi )={\frac {(f(\varphi ))^{2}+2(f'(\varphi ))^{2}-f(\varphi )f''(\varphi )}{\left[(f(\varphi ))^{2}+(f'(\varphi ))^{2}\right]^{3/2}}} $.

Raumkurven

Für Kurven im dreidimensionalen Raum $ \mathbb {R} ^{3} $ kann man die allgemeine Formel mit Hilfe des Kreuzproduktes folgendermaßen ausdrücken:

$ \kappa (t)={\frac {|{\vec {r}}\,'(t)\times {\vec {r}}\,''(t)|}{|{\vec {r}}\,'(t)|^{3}}} $

Krümmung einer Fläche

Einer gewölbten regulären Fläche merkt man ihre Krümmung an einer nach außen quadratisch zunehmenden Abweichung der Fläche von ihrer Tangentialebene an. Eine verstärkte Krümmung macht sich dann als stärkere Abweichung von der Ebene bemerkbar.

In der Differentialgeometrie betrachtet man an jedem Punkt $ p $ die Krümmungsradien der Schnittkurven mit den in $ p $ errichteten Normalebenen (d. h. die Fläche senkrecht schneidenden Ebenen). Dabei wird den Krümmungsradien und Krümmungen das Vorzeichen bezüglich eines Einheitsnormalenvektorfeldes auf der Fläche, eingeschränkt auf die ebene Schnittkurve, zugeordnet. Unter diesen Krümmungsradien gibt es einen maximalen ($ R_{1} $) und einen minimalen ($ R_{2} $). Die Kehrwerte $ k_{1}={\tfrac {1}{R_{1}}} $ und $ k_{2}={\tfrac {1}{R_{2}}} $ werden als Hauptkrümmungen bezeichnet. Die entsprechenden Krümmungsrichtungen stehen senkrecht aufeinander.

Die gaußsche Krümmung $ K $ und die mittlere Krümmung $ H $ einer regulären Fläche in einem Punkt $ p $ berechnen sich wie folgt:

$ K={\frac {1}{R_{1}}}\cdot {\frac {1}{R_{2}}}=k_{1}\cdot k_{2} $
$ H={\frac {1}{2}}\left({\frac {1}{R_{1}}}+{\frac {1}{R_{2}}}\right)={\frac {1}{2}}(k_{1}+k_{2}) $

Die Gesamtkrümmung oder auch totale Krümmung einer Fläche ist das Integral der gaußschen Krümmung über diese Fläche:

$ C=\int K\,dA=\int k_{1}k_{2}\,dA $

Krümmung in der riemannschen Geometrie

Da riemannsche Mannigfaltigkeiten im Allgemeinen in keinen Raum eingebettet sind, wird in diesem Teilgebiet der Differentialgeometrie eine Krümmungsgröße gebraucht, die unabhängig von einem umgebenden Raum ist. Dazu wurde der riemannsche Krümmungstensor eingeführt. Dieser misst, inwieweit die lokale Geometrie der Mannigfaltigkeit von den Gesetzen der euklidischen Geometrie abweicht. Aus dem Krümmungstensor werden weitere Krümmungsgrößen abgeleitet. Die wichtigste Krümmung der riemannschen Geometrie ist die Schnittkrümmung. Diese abgeleitete Größe enthält alle Informationen, die auch im riemannschen Krümmungstensor enthalten sind. Andere einfachere abgeleitete Größen sind die Ricci-Krümmung und die Skalarkrümmung.

Eine Krümmung auf einer riemannschen Mannigfaltigkeit zeigt sich beispielsweise, wenn man das Verhältnis zwischen Kreisumfang und Radius innerhalb der Mannigfaltigkeit ermittelt und zu dem Wert $ 2\pi $, den man in einem euklidischen Raum erhält, in Verhältnis setzt.

Bemerkenswert ist, dass man zum Beispiel auf der Oberfläche eines Torus eine Metrik definieren kann, die keine Krümmung aufweist. Dies lässt sich aus der Tatsache ableiten, dass man einen Torus als Quotientenraum aus einer ebenen Fläche bilden kann.

Anwendung in der Relativitätstheorie

In der allgemeinen Relativitätstheorie wird die Gravitation durch eine Krümmung der Raum-Zeit beschrieben, die von den Massen der Himmelskörper verursacht wird. Körper und Lichtstrahlen bewegen sich auf den durch diese Krümmung bestimmten geodätischen Bahnen. Diese Bahnen erwecken den Anschein, dass eine Kraft auf die entsprechenden Körper ausgeübt werde.

Literatur

  • Wolfgang Walter: Analysis II. 2. Auflage. Springer, 1991, ISBN 3-540-54566-2, S. 171–174.
  • Konrad Königsberger: Analysis 1. 2. Auflage. Springer, 1992, ISBN 3-540-55116-6, S. 238–41, 257.
  • Ilja Nikolajewitsch Bronstein, Konstantin Adolfowitsch Semendjajew, Gerhard Musiol, Heiner Mühlig: Taschenbuch der Mathematik. 7. Auflage. Verlag Harri Deutsch, 2008, ISBN 978-3-8171-2007-9, S. 251 ff. (Auszug aus der englischen Ausgabe (Google))
  • Matthias Richter: Grundwissen Mathematik für Ingenieure. 2. Auflage. Vieweg+Teubner 2001, 2008, ISBN 978-3-8348-0729-8, S. 230 (Auszug (Google))
  • A. Albert Klaf: Calculus Refresher. Dover 1956, ISBN 978-0-486-20370-6, S. 151–168 (Auszug (Google))
  • James Casey: Exploring Curvature. Vieweg+Teubner, 1996, ISBN 978-3-528-06475-4.

Weblinks

Commons: Grafische Illustrationen der Krümmung von Kurven – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise

  1. Alexandre Borovik, Mikhail G Katz: Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus. In: Foundations of Science. 2011, ISSN 1233-1821, S. 1–32, doi:10.1007/s10699-011-9235-x, arxiv:1108.2885.