Draft of 'Geodesic curvature'

cosmos 29th June 2017 at 9:54pm
Curvature of a curve Curve on a surface

definition of geodesic cuvature, kgk_g. Projection of the Normal vector of a curve into the Tangent space of a surface at the point where we are evaluating the normal vector of the curve.

It represents the acceleration of the curve inside the surface, that is projected to the surface, locally. So one can see that a curve with 00 geodesic everywhere curvature is a Geodesic!

Important theorem: Let γ\gamma be a smooth closed simple Curve on a patch of a Surface SS, enclosing a region RR. Then:

γkgds=2πRKdA\int_\gamma k_g ds = 2\pi - \int_R K dA

where kgk_g is the geodesic curvature along the curve, KK is the Gaussian curvature, and dAdA is the measure of Area induced on the surface by the First fundamental form. – Picture

Proof