On the Blaschke rolling disk theorem
暂无分享,去创建一个
The Blaschke rolling disk theorem is a classical inclusion principle in differential geometry. This states that a planar convex domain whose boundary is a curve of class C with (signed) curvature not exceeding a positive constant κ is such that for each point on its boundary there exists a disk of radius 1/κ tangent to the boundary included in the closure of the domain. We describe geometric conditions relying exclusively on curvature and independent of any kind of convexity that allows us to give necessary and sufficient conditions for the existence of rolling disks for planar domains that are not necessarily convex. We finish by presenting an algorithm leading to a decomposition of any planar domain into a finite number of maximal rolling regions.
[1] W. Groß. Kreis und Kugel , 1917 .
[2] R. Langevin. Differential Geometry of Curves and Surfaces , 2001 .
[3] Arnold Emch,et al. Some Properties of Closed Convex Curves in a Plane , 1913 .
[4] Jos'e Ayala. On the topology of the spaces of curvature constrained plane curves , 2014 .