Total curvature

From HandWiki
This curve has total curvature 6π, and index/turning number 3, though it only has winding number 2 about p.

In mathematical study of the differential geometry of curves, the total curvature of an immersed plane curve is the integral of curvature along a curve taken with respect to arc length:

[math]\displaystyle{ \int_a^b k(s)\,ds = 2\pi N. }[/math]

The total curvature of a closed curve is always an integer multiple of 2π, where N is called the index of the curve or turning number – it is the winding number of the unit tangent vector about the origin, or equivalently the degree of the map to the unit circle assigning to each point of the curve, the unit velocity vector at that point. This map is similar to the Gauss map for surfaces.

Comparison to surfaces

This relationship between a local geometric invariant, the curvature, and a global topological invariant, the index, is characteristic of results in higher-dimensional Riemannian geometry such as the Gauss–Bonnet theorem.

Invariance

According to the Whitney–Graustein theorem, the total curvature is invariant under a regular homotopy of a curve: it is the degree of the Gauss map. However, it is not invariant under homotopy: passing through a kink (cusp) changes the turning number by 1.

By contrast, winding number about a point is invariant under homotopies that do not pass through the point, and changes by 1 if one passes through the point.

Generalizations

A closed polygonal chain, with total curvature 2π.

A finite generalization is that the exterior angles of a triangle, or more generally any simple polygon, add up to 360° = 2π radians, corresponding to a turning number of 1. More generally, polygonal chains that do not go back on themselves (no 180° angles) have well-defined total curvature, interpreting the curvature as point masses at the angles.

The total absolute curvature of a curve is defined in almost the same way as the total curvature, but using the absolute value of the curvature instead of the signed curvature. It is 2π for convex curves in the plane, and larger for non-convex curves.[1] It can also be generalized to curves in higher dimensional spaces by flattening out the tangent developable to γ into a plane, and computing the total curvature of the resulting curve. That is, the total curvature of a curve in n-dimensional space is

[math]\displaystyle{ \int_a^b \left|\gamma''(s)\right|\sgn \kappa_{n-1}(s)\,ds }[/math]

where κn−1 is last Frenet curvature (the torsion of the curve) and sgn is the signum function.

The minimum total absolute curvature of any three-dimensional curve representing a given knot is an invariant of the knot. This invariant has the value 2π for the unknot, but by the Fáry–Milnor theorem it is at least 4π for any other knot.[2]

References

  1. Chen, Bang-Yen (2000), "Riemannian submanifolds", Handbook of differential geometry, Vol. I, North-Holland, Amsterdam, pp. 187–418, doi:10.1016/S1874-5741(00)80006-0 . See in particular section 21.1, "Rotation index and total curvature of a curve", pp. 359–360.
  2. Milnor, John W. (1950), "On the Total Curvature of Knots", Annals of Mathematics, Second Series 52 (2): 248–257, doi:10.2307/1969467 

Further reading

  • Kuhnel, Wolfgang (2005), Differential Geometry: Curves - Surfaces - Manifolds (2nd ed.), American Mathematical Society, ISBN 978-0-8218-3988-1  (translated by Bruce Hunt)
  • "Curves of finite total curvature", Discrete differential geometry, Oberwolfach Semin., 38, Birkhäuser, Basel, 2008, pp. 137–161, doi:10.1007/978-3-7643-8621-4_7