Total absolute curvature


In differential geometry, the total absolute curvature of a smooth curve is a number defined by integrating the absolute value of the curvature around the curve. It is a dimensionless quantity that is invariant under similarity transformations of the curve, and that can be used to measure how far the curve is from being a convex curve.
If the curve is parameterized by its arc length, the total absolute curvature can be expressed by the formula
where is the arc length parameter and is the curvature.
This is almost the same as the formula for the total curvature, but differs in using the absolute value instead of the signed curvature.
Because the total curvature of a simple closed curve in the Euclidean plane is always exactly 2, the total absolute curvature is also always at least 2. It is exactly 2 for a convex curve, and greater than 2 whenever the curve has any non-convexities. When a smooth simple closed curve undergoes the curve-shortening flow, its total absolute curvature decreases monotonically until the curve becomes convex, after which its total absolute curvature remains fixed at 2 until the curve collapses to a point.
The total absolute curvature may also be defined for curves in three-dimensional Euclidean space. Again, it is at least 2, but may be larger. If a space curve is surrounded by a sphere, the total absolute curvature of the sphere equals the expected value of the central projection of the curve onto a plane tangent to a random point of the sphere. According to the Fary–Milnor theorem, every nontrivial smooth knot must have total absolute curvature greater than 4.