Total absolute curvature

Last updated

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. [1]

If the curve is parameterized by its arc length, the total absolute curvature can be expressed by the formula

where s 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. [2]

Because the total curvature of a simple closed curve in the Euclidean plane is always exactly 2π, the total absolute curvature of a simple closed curve 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. [2] 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. [3] [4]

The total absolute curvature may also be defined for curves in three-dimensional Euclidean space. Again, it is at least 2π (this is Fenchel's theorem), 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. [5] According to the Fáry–Milnor theorem, every nontrivial smooth knot must have total absolute curvature greater than 4π. [2]

Related Research Articles

The Nash embedding theorems, named after John Forbes Nash Jr., state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instance, bending but neither stretching nor tearing a page of paper gives an isometric embedding of the page into Euclidean space because curves drawn on the page retain the same arclength however the page is bent.

<span class="mw-page-title-main">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.

<span class="mw-page-title-main">Gauss–Bonnet theorem</span> Differential geometry theorem

In the mathematical field of differential geometry, the Gauss–Bonnet theorem is a fundamental formula which links the curvature of a surface to its underlying topology.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

<span class="mw-page-title-main">Gaussian curvature</span> Product of the principal curvatures of a surface

In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a smooth surface in three-dimensional space at a point is the product of the principal curvatures, κ1 and κ2, at the given point:

<span class="mw-page-title-main">Richard S. Hamilton</span> American mathematician (born 1943)

Richard Streit Hamilton is an American mathematician who serves as the Davies Professor of Mathematics at Columbia University. He is known for contributions to geometric analysis and partial differential equations. Hamilton is best known for foundational contributions to the theory of the Ricci flow and the development of a corresponding program of techniques and ideas for resolving the Poincaré conjecture and geometrization conjecture in the field of geometric topology. Grigori Perelman built upon Hamilton's results to prove the conjectures, and was awarded a Millennium Prize for his work. However, Perelman declined the award, regarding Hamilton's contribution as being equal to his own.

In differential geometry, Fenchel's theorem is an inequality on the total absolute curvature of a closed smooth space curve, stating that it is always at least . Equivalently, the average curvature is at least , where is the length of the curve. The only curves of this type whose total absolute curvature equals and whose average curvature equals are the plane convex curves. The theorem is named after Werner Fenchel, who published it in 1929.

In the mathematical theory of knots, the Fáry–Milnor theorem, named after István Fáry and John Milnor, states that three-dimensional smooth curves with small total curvature must be unknotted. The theorem was proved independently by Fáry in 1949 and Milnor in 1950. It was later shown to follow from the existence of quadrisecants.

<span class="mw-page-title-main">Four-vertex theorem</span> Closed curves have ≥4 extremes of curvature

The four-vertex theorem of geometry states that the curvature along a simple, closed, smooth plane curve has at least four local extrema. The name of the theorem derives from the convention of calling an extreme point of the curvature function a vertex. This theorem has many generalizations, including a version for space curves where a vertex is defined as a point of vanishing torsion.

<span class="mw-page-title-main">Differential geometry of surfaces</span> The mathematics of smooth surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

<span class="mw-page-title-main">Total curvature</span>

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:

The Alexandrov uniqueness theorem is a rigidity theorem in mathematics, describing three-dimensional convex polyhedra in terms of the distances between points on their surfaces. It implies that convex polyhedra with distinct shapes from each other also have distinct metric spaces of surface distances, and it characterizes the metric spaces that come from the surface distances on polyhedra. It is named after Soviet mathematician Aleksandr Danilovich Aleksandrov, who published it in the 1940s.

<span class="mw-page-title-main">Convex curve</span> Type of plane curve

In geometry, a convex curve is a plane curve that has a supporting line through each of its points. There are many other equivalent definitions of these curves, going back to Archimedes. Examples of convex curves include the convex polygons, the boundaries of convex sets, and the graphs of convex functions. Important subclasses of convex curves include the closed convex curves, the smooth curves that are convex, and the strictly convex curves, which have the additional property that each supporting line passes through a unique point of the curve.

<span class="mw-page-title-main">Curve-shortening flow</span> Motion of a curve based on its curvature

In mathematics, the curve-shortening flow is a process that modifies a smooth curve in the Euclidean plane by moving its points perpendicularly to the curve at a speed proportional to the curvature. The curve-shortening flow is an example of a geometric flow, and is the one-dimensional case of the mean curvature flow. Other names for the same process include the Euclidean shortening flow, geometric heat flow, and arc length evolution.

Shi Yuguang is a Chinese mathematician at Peking University. His areas of research are geometric analysis and differential geometry.

In differential geometry the theorem of the three geodesics, also known as Lyusternik–Schnirelmann theorem, states that every Riemannian manifold with the topology of a sphere has at least three simple closed geodesics. The result can also be extended to quasigeodesics on a convex polyhedron, and to closed geodesics of reversible Finsler 2-spheres. The theorem is sharp: although every Riemannian 2-sphere contains infinitely many distinct closed geodesics, only three of them are guaranteed to have no self-intersections. For example, by a result of Morse if the lengths of three principal axes of an ellipsoid are distinct, but sufficiently close to each other, then the ellipsoid has only three simple closed geodesics.

In differential geometry, the Angenent torus is a smooth embedding of the torus into three-dimensional Euclidean space, with the property that it remains self-similar as it evolves under the mean curvature flow. Its existence shows that, unlike the one-dimensional curve-shortening flow, the two-dimensional mean-curvature flow has embedded surfaces that form more complex singularities as they collapse.

<span class="mw-page-title-main">Tennis ball theorem</span> Smooth curves that evenly divide the area of a sphere have at least 4 inflections

In geometry, the tennis ball theorem states that any smooth curve on the surface of a sphere that divides the sphere into two equal-area subsets without touching or crossing itself must have at least four inflection points, points at which the curve does not consistently bend to only one side of its tangent line. The tennis ball theorem was first published under this name by Vladimir Arnold in 1994, and is often attributed to Arnold, but a closely related result appears earlier in a 1968 paper by Beniamino Segre, and the tennis ball theorem itself is a special case of a theorem in a 1977 paper by Joel L. Weiner. The name of the theorem comes from the standard shape of a tennis ball, whose seam forms a curve that meets the conditions of the theorem; the same kind of curve is also used for the seams on baseballs.

In the mathematical fields of differential geometry and geometric analysis, the Gauss curvature flow is a geometric flow for oriented hypersurfaces of Riemannian manifolds. In the case of curves in a two-dimensional manifold, it is identical with the curve shortening flow. The mean curvature flow is a different geometric flow which also has the curve shortening flow as a special case.

<i>Extrinsic Geometric Flows</i> Geometry textbook

Extrinsic Geometric Flows is an advanced mathematics textbook that overviews geometric flows, mathematical problems in which a curve or surface moves continuously according to some rule. It focuses on extrinsic flows, in which the rule depends on the embedding of a surface into space, rather than intrinsic flows such as the Ricci flow that depend on the internal geometry of the surface and can be defined without respect to an embedding.

References

  1. Brook, Alexander; Bruckstein, Alfred M.; Kimmel, Ron (2005), "On similarity-invariant fairness measures", in Kimmel, Ron; Sochen, Nir A.; Weickert, Joachim (eds.), Scale Space and PDE Methods in Computer Vision: 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3459, Springer-Verlag, pp. 456–467, doi:10.1007/11408031_39 .
  2. 1 2 3 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, MR   1736854 . See in particular section 21.1, "Rotation index and total curvature of a curve", pp. 359–360.
  3. Brakke, Kenneth A. (1978), The motion of a surface by its mean curvature (PDF), Mathematical Notes, vol. 20, Princeton University Press, Princeton, N.J., Appendix B, Proposition 2, p. 230, ISBN   0-691-08204-9, MR   0485012 .
  4. Chou, Kai-Seng; Zhu, Xi-Ping (2001), The Curve Shortening Problem, Boca Raton, Florida: Chapman & Hall/CRC, Lemma 5.5, p. 130, and Section 6.1, pp. 144–147, doi:10.1201/9781420035704, ISBN   1-58488-213-1, MR   1888641 .
  5. Banchoff, Thomas F. (1970), "Total central curvature of curves", Duke Mathematical Journal , 37 (2): 281–289, doi:10.1215/S0012-7094-70-03736-1, MR   0259815 .