Gaußsche Krümmung

Die gaußsche Krümmung (das gaußsche Krümmungsmaß) ist neben der mittleren Krümmung der wichtigste Krümmungsbegriff in der Theorie der Flächen im dreidimensionalen euklidischen Raum ( R 3 {\displaystyle \mathbb {R} ^{3}} ), einem Gebiet der Differentialgeometrie. Sie ist benannt nach dem Mathematiker Carl Friedrich Gauß.

Definition

Gegeben seien eine reguläre Fläche im R 3 {\displaystyle \mathbb {R} ^{3}} und ein Punkt dieser Fläche. Die gaußsche Krümmung K {\displaystyle K} der Fläche in diesem Punkt ist das Produkt der beiden Hauptkrümmungen k 1 {\displaystyle k_{1}} und k 2 {\displaystyle k_{2}} .

K = k 1 k 2 = 1 r 1 1 r 2 {\displaystyle K\,=\,k_{1}\cdot k_{2}={\frac {1}{r_{1}}}\cdot {\frac {1}{r_{2}}}}

Dabei sind r 1 {\displaystyle r_{1}} und r 2 {\displaystyle r_{2}} die beiden Hauptkrümmungsradien.

Beispiele

  • Buckelfläche mit '"`UNIQ--postMath-00000009-QINU`"'
    Buckelfläche mit K > 0 {\displaystyle K>0}
  • Abwickelbare Fläche mit '"`UNIQ--postMath-0000000A-QINU`"'
    Abwickelbare Fläche mit K = 0 {\displaystyle K=0}
  • Hyperboloid mit '"`UNIQ--postMath-0000000B-QINU`"'
    Hyperboloid mit K < 0 {\displaystyle K<0}
  • Im Falle einer Kugel(oberfläche) mit Radius r {\displaystyle r} ist die gaußsche Krümmung gegeben durch K = 1 / r 2 {\displaystyle K=1/r^{2}} .
  • In einem beliebigen Punkt auf der gekrümmten Fläche eines geraden Kreiszylinders, eines geraden Kreiskegels oder jeder anderen abwickelbaren Fläche ist die gaußsche Krümmung K = 0 {\displaystyle K=0} .

Berechnung

  • Sind E {\displaystyle E} , F {\displaystyle F} , G {\displaystyle G} bzw. L {\displaystyle L} , M {\displaystyle M} , N {\displaystyle N} die Koeffizienten der ersten bzw. zweiten Fundamentalform, so gilt folgende Formel:
K = L N M 2 E G F 2 {\displaystyle K={\frac {LN-M^{2}}{EG-F^{2}}}}
  • Ist die betrachtete Fläche der Graph einer Funktion f {\displaystyle f} über dem Parameterbereich U {\displaystyle U} , also X ( u , v ) = ( u , v , f ( u , v ) ) {\displaystyle X(u,v)=(u,v,f(u,v))} für alle ( u , v ) U {\displaystyle (u,v)\in U} , so gilt für die gaußsche Krümmung:
K = f u u f v v f u v 2 ( 1 + f u 2 + f v 2 ) 2 {\displaystyle K={\frac {f_{uu}f_{vv}-f_{uv}^{2}}{{(1+f_{u}^{2}+f_{v}^{2})}^{2}}}}
Hierbei bezeichnen f u {\displaystyle f_{u}} und f v {\displaystyle f_{v}} die ersten und f u u {\displaystyle f_{uu}} , f u v {\displaystyle f_{uv}} und f v v {\displaystyle f_{vv}} die zweiten partiellen Ableitungen von f {\displaystyle f} .
  • Ist die Fläche als Nullstellenmenge f 1 ( 0 ) {\displaystyle f^{-1}(0)} einer Funktion f : R 3 R {\displaystyle f\colon \mathbb {R} ^{3}\to \mathbb {R} } mit regulärem Wert 0 R {\displaystyle 0\in \mathbb {R} } gegeben, dann berechnet sich die gaußsche Krümmung aus der Formel[1]
K = f T adj ( H f ) f | f | 4 . {\displaystyle K={\frac {{\nabla f}^{T}\cdot \operatorname {adj} (H_{f})\cdot \nabla f}{|\nabla f|^{4}}}.}
Dabei ist | f | {\displaystyle |\nabla f|} der Betrag des Gradienten und adj ( H f ) {\displaystyle \operatorname {adj} (H_{f})} die Adjunkte der Hesse-Matrix von f {\displaystyle f} .

Eigenschaften

Vorzeichen

In elliptischen Punkten ist die gaußsche Krümmung positiv ( K > 0 {\displaystyle K>0} ), in hyperbolischen Punkten negativ ( K < 0 {\displaystyle K<0} ) und in parabolischen Punkten oder Flachpunkten verschwindet sie.

Beispiele:

  • Bei einem Fahrradschlauch (= Torus) sind die auf der Felge liegenden Punkte hyperbolisch und die außen liegenden Punkte elliptisch. Die zwei Trennlinien dieser beiden Bereiche sind zwei Kreise, deren Punkte parabolisch sind.
  • Ein Ellipsoid hat nur elliptische, ein hyperbolisches Paraboloid (= Sattelfläche) hat nur hyperbolische Punkte.

Eigenschaft der inneren Geometrie

Die gaußsche Krümmung hängt nur von der inneren Geometrie der gegebenen Fläche ab (siehe Theorema egregium von C. F. Gauß). Dieser Satz ist ein Korollar aus der Formel von Brioschi:

K = 1 ( E G F 2 ) 2 ( | 1 2 E v v + F u v 1 2 G u u 1 2 E u F u 1 2 E v F v 1 2 G u E F 1 2 G v F G | | 0 1 2 E v 1 2 G u 1 2 E v E F 1 2 G u F G | ) {\displaystyle K={\frac {1}{(EG-F^{2})^{2}}}\left({\begin{vmatrix}-{\frac {1}{2}}E_{vv}+F_{uv}-{\frac {1}{2}}G_{uu}&{\frac {1}{2}}E_{u}&F_{u}-{\frac {1}{2}}E_{v}\\F_{v}-{\frac {1}{2}}G_{u}&E&F\\{\frac {1}{2}}G_{v}&F&G\end{vmatrix}}-{\begin{vmatrix}0&{\frac {1}{2}}E_{v}&{\frac {1}{2}}G_{u}\\{\frac {1}{2}}E_{v}&E&F\\{\frac {1}{2}}G_{u}&F&G\end{vmatrix}}\right)}

Dabei sind E {\displaystyle E} , F {\displaystyle F} und G {\displaystyle G} die Koeffizienten der ersten Fundamentalform. Die Bezeichnungen E u {\displaystyle E_{u}} , F u v {\displaystyle F_{uv}} usw. stehen für erste und zweite partielle Ableitungen nach den Parametern u {\displaystyle u} und v {\displaystyle v} , mit denen die gegebene Fläche parametrisiert wird. Diese Gleichung ist unter anderem eine der notwendigen Integrationsbedingungen der Gauß-Weingarten-Gleichungen.

Eine weitere Formel zur Berechnung der gaußschen Krümmung lautet:

K = 1 2 E G F 2 ( ( E v F u E G F 2 ) v + ( G u F v E G F 2 ) u ) 1 4 ( E G F 2 ) 2 | E E u E v F F u F v G G u G v | {\displaystyle K=-{\frac {1}{2{\sqrt {EG-F^{2}}}}}\left(\left({\frac {E_{v}-F_{u}}{\sqrt {EG-F^{2}}}}\right)_{v}+\left({\frac {G_{u}-F_{v}}{\sqrt {EG-F^{2}}}}\right)_{u}\right)-{\frac {1}{4\left(EG-F^{2}\right)^{2}}}{\begin{vmatrix}E&E_{u}&E_{v}\\F&F_{u}&F_{v}\\G&G_{u}&G_{v}\end{vmatrix}}}

Im Falle einer orthogonalen Parametrisierung ( F = 0 {\displaystyle F=0} ) reduziert sich diese Formel auf

K = 1 2 E G ( ( E v E G ) v + ( G u E G ) u ) {\displaystyle K=-{\frac {1}{2{\sqrt {EG}}}}\left(\left({\frac {E_{v}}{\sqrt {EG}}}\right)_{v}+\left({\frac {G_{u}}{\sqrt {EG}}}\right)_{u}\right)}

Wenn die Fläche isotherm parametrisiert ist, d. h., es gilt 0 < E = G {\displaystyle 0<E=G} und F = 0 {\displaystyle F=0} , dann schreibt sich

K = 1 2 E Δ log E {\displaystyle K=-{\frac {1}{2E}}\Delta \log E}

mit dem Laplaceoperator

Δ = 2 u 2 + 2 v 2 {\displaystyle \Delta ={\frac {\partial ^{2}}{\partial u^{2}}}+{\frac {\partial ^{2}}{\partial v^{2}}}} .

Totalkrümmung

Die Innenwinkelsumme eines Flächendreiecks auf einer negativ gekrümmten Fläche ist kleiner als 180°.

Das Oberflächenintegral

T K d A {\displaystyle \iint _{T}K\,dA}

der gaußschen Krümmung K {\displaystyle K} über eine Teilmenge T {\displaystyle T} einer Fläche bezeichnet man als deren Totalkrümmung. Bei Vielecken, deren Kanten Geodätische sind, besteht ein Zusammenhang zwischen der Totalkrümmung und der Innenwinkelsumme. Beispielsweise gilt für die Innenwinkelsumme α + β + γ {\displaystyle \alpha +\beta +\gamma } eines geodätischen Dreiecks:

α + β + γ = π + T K d A . {\displaystyle \alpha +\beta +\gamma =\pi +\iint _{T}K\,dA.}

Die Totalkrümmung eines geodätischen Dreiecks entspricht also der Abweichung der Innenwinkelsumme von π {\displaystyle \pi } : Die Innenwinkelsumme eines sich auf einer positiv gekrümmten Fläche befindenden Dreiecks überschreitet π {\displaystyle \pi } , auf einer negativ gekrümmten Fläche liegt die Innenwinkelsumme unterhalb von π {\displaystyle \pi } . Beträgt die Gaußkrümmung null, so beträgt die Innenwinkelsumme wie im ebenen Fall exakt π {\displaystyle \pi } .

Eine Verallgemeinerung dieses Sachverhaltes ist der Satz von Gauß-Bonnet, der einen Zusammenhang zwischen der gaußschen Krümmung einer Fläche und der geodätischen Krümmung der zugehörigen Randkurve beschreibt.

Literatur

  • Manfredo Perdigão do Carmo: Differential Geometry of Curves and Surfaces. Prentice-Hall Inc., Upper Saddle River NJ 1976, ISBN 0-13-212589-7.

Einzelnachweise

  1. Michael Spivak: A comprehensive introduction to differential geometry. 3. Auflage. Volume 3. Publish or Perish, Houston TX 1999, ISBN 0-914098-72-1, Chapter 3. A compendium of surfaces (englisch).