at a point of a curve on a surface
The rate of rotation of the tangent to around the normal to , i.e. the projection on of the vector of the angular rate of rotation of the tangent moving along . It is assumed that and are regular and oriented, and that the velocity is taken relative to the arc length along . The geodesic curvature can be defined as the curvature of the projection of on the plane tangent to at the point under consideration. The geodesic curvature is
where a prime denotes differentiation with respect to .
The geodesic curvature forms part of the function expressing the variation of the length as is varied on . If the ends are fixed:
and is the vector of variation of the curve. Curves for which are geodesic lines (cf. Geodesic line).
The integral is called the total geodesic curvature, or the rotation, of the curve . The connection between the rotation of a closed contour and the total curvature of the included region on the surface is given by the Gauss–Bonnet theorem.
The geodesic curvature forms a part of the interior geometry of the surface, and can be expressed in terms of the metric tensor and the derivatives of the intrinsic surface coordinates with respect to its parameter . If the geometry of a Riemannian space is studied without considering the latter to be immersed in Euclidean space, then the geodesic curvature is the only curvature which can be defined for a curve and the word "geodesic" is omitted. In considering curves on a submanifold of a Riemannian space, the curvature of a curve may be defined in the external space and in the submanifold — just like the spatial curvature and the geodesic curvature of a curve on a surface.
The concept of the geodesic curvature may be introduced for a curve on a general convex surface. If the curve has a length and each one of its arcs has a certain rotation, the right (left) geodesic curvature of at a point is the limit of the ratio of the right (left) rotation of the arc to its length, under the condition that the arc is contracted towards the point .
Two concepts of geodesic curvature are defined in a Finsler space. These differ in the manner in which the length of the vector replacing is determined. On geodesics these geodesic curvatures are zero.
|[a1]||M.P. Do Carmo, "Differential geometry of curves and surfaces" , Prentice-Hall (1976)|
|[a2]||M. Berger, B. Gostiaux, "Differential geometry: manifolds, curves, and surfaces" , Springer (1988) (Translated from French)|
|[a3]||B. O'Neill, "Elementary differential geometry" , Acad. Press (1966)|
|[a4]||W. Blaschke, K. Leichtweiss, "Elementare Differentialgeometrie" , Springer (1973)|
|[a5]||S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1 , Interscience (1963)|
Geodesic curvature. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Geodesic_curvature&oldid=17534