A discrete extension of the Blaschke rolling ball theorem

DOI10.1007/S10711-015-0127-ZMaRDI QIDQ292046zbMATH OpenOpenAlexFDO

Authors Szilárd Gy. Révész

Publication date 10 June 2016

Published in Geometriae Dedicata (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0903.4815, http://real.mtak.hu/44229/1/0903.4815.pdf

zbMATH Keywords

Blaschke rolling ball theoremconvex bodyminimal oscillationmodulus of continuityregular n-gonssurface normal

Mathematics Subject Classification ID

Convex sets in (2) dimensions (including convex curves) (52A10) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20)

Abstract: The Rolling Ball Theorem asserts that given a convex body K in Euclidean space and having a smooth surface bd(K) with all principal curvatures not exceeding c>0 at all boundary points, K necessarily has the property that to each boundary point there exists a ball B_r of radius r=1/c, fully contained in K and touching bd(K) at the given boundary point from the inside of K. In the present work we prove a discrete analogue of the result on the plane. We consider a certain discrete condition on the curvature, namely that to any boundary points x,y with |x-y|<t, the angle between any unit outer normals at x and at y, resp., does not exceed a given angle s. Then we construct a corresponding body, M(t,s), which is to lie fully within K while containing the given boundary point x. In dimension 2, M is almost a regular n-gon, and the result allows to recover the precise form of Blaschke's Rolling Ball Theorem in the limit. Similarly, we consider the dual type discrete Blaschke theorems ensuring certain circumscribed polygons. In the limit, the discrete theorem enables us to provide a new proof for a strong result of Strantzen assuming only a.e. existence and lower estimations on the curvature.

Recommendations

• Blaschke’s rolling theorem in 𝑅ⁿ
• scientific article; zbMATH DE number 1271910
• A discrete four vertex theorem
• Blaschke's rolling ball theorem and the Trudinger-Wang monotone bending
• Convex curves of bounded type

Cites work

• Blaschke’s rolling theorem in 𝑅ⁿ
• scientific article; zbMATH DE number 3117195 (Why is no real title available?)
• scientific article; zbMATH DE number 3137662 (Why is no real title available?)
• scientific article; zbMATH DE number 4022030 (Why is no real title available?)
• scientific article; zbMATH DE number 705150 (Why is no real title available?)
• scientific article; zbMATH DE number 7537997 (Why is no real title available?)

Cited in

(7)

• Turán type converse Markov inequalities in \(L^q\) on a generalized Erod class of convex domains
• Blaschke's rolling ball theorem and the Trudinger-Wang monotone bending
• Turán type oscillation inequalities in $L^q$ norm on the boundary of convex domains
• Blaschke’s rolling theorem in 𝑅ⁿ
• scientific article; zbMATH DE number 1271910 (Why is no real title available?)
• A discrete Blaschke theorem for convex polygons in 2-dimensional space forms
• The Blaschke rolling theorem in Riemannian manifolds of bounded curvature

This page was built for publication: A discrete extension of the Blaschke rolling ball theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q292046)