A discrete extension of the Blaschke rolling ball theorem

DOI10.1007/S10711-015-0127-ZzbMATH Open1342.52003arXiv0903.4815OpenAlexW2963752670MaRDI QIDQ292046FDOQ292046

Authors: Szilárd Gy. Révész 

Publication date: 10 June 2016

Published in: Geometriae Dedicata (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/0903.4815

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

zbMATH Keywords

convex bodymodulus of continuityBlaschke rolling ball theoremminimal oscillationregular 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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Blaschke’s rolling theorem in 𝑅ⁿ
• Title not available (Why is that?)

Cited In (5)

• Blaschke’s rolling theorem in 𝑅ⁿ
• Turán type converse Markov inequalities in \(L^q\) on a generalized Erod class of convex domains
• A discrete Blaschke theorem for convex polygons in 2-dimensional space forms
• 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

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)