Surfaces that can be rolled by a ball - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T08:47:54Z http://mathoverflow.net/feeds/question/107845 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/107845/surfaces-that-can-be-rolled-by-a-ball Surfaces that can be rolled by a ball Joseph O'Rourke 2012-09-22T14:28:21Z 2012-09-27T15:14:22Z <p>Let $S$ be a smooth solid body in $\mathbb{R}^3$, and $B$ a ball of radius $r$. Say that $B$ is in <em>contact</em> with $S$ if (1) they share a point $x$ that is on the surface of each, $x \in \partial S$ and $x \in \partial B$, and (2) neither penetrates the other, $\operatorname{int} S \cap \operatorname{int} B = \varnothing$. Say that $S$ can be <em>rolled</em> by $B$ if, for every pair of points $x,y$ on the surface of $S$, there is a path $\rho$ connecting $x$ to $y$ on $\partial S$ such that $B$ can be placed in contact at every point $z \in \rho$. In other words, the ball $B$ can roll between any pair of points of the surface without ever penetrating $S$. <br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <img src="http://cs.smith.edu/~orourke/MathOverflow/BallOnSurface400.jpg" alt="Ball on a surface" /> <br /> My question is:</p> <blockquote> <p>Characterize the bodies $S$ that can be rolled by a ball of radius $r$.</p> </blockquote> <p>A necessary condition is that the Gaussian curvature at any point on the surface of $S$ must be $\ge -\frac{1}{r^2}$. Could that also be sufficient, or are there global obstructions such that $B$ could be in local contact but penetrate away from the contact point? Is the characterization different for surfaces of genus zero than for surfaces with handles? Any insights, speculations, or literature pointers would be appreciated. Thanks! <hr /> <b>Update</b>. Here is my interpretation of Anton's example: <br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <img src="http://cs.smith.edu/~orourke/MathOverflow/NarrowPassageCurve.jpg" alt="Ball on a surface" /> <br /></p> http://mathoverflow.net/questions/107845/surfaces-that-can-be-rolled-by-a-ball/107847#107847 Answer by Anton Petrunin for Surfaces that can be rolled by a ball Anton Petrunin 2012-09-22T14:49:28Z 2012-09-22T14:49:28Z <p>You can call such bodies as "bodies of reach $\ge r$".</p> <p>Clearly all the principle curvatures has to be $\ge -\tfrac1r$.</p> <p>Plus you have a global condition which might be stated the following way: There is no segment between points on the surface which (1) meets the surface at normal direction at both ends (2) has length $&lt;2\cdot r$ and (3) its interior lies in the complement of the body.</p> http://mathoverflow.net/questions/107845/surfaces-that-can-be-rolled-by-a-ball/107867#107867 Answer by Cristi Stoica for Surfaces that can be rolled by a ball Cristi Stoica 2012-09-22T22:14:37Z 2012-09-23T05:12:12Z <p>$S$ is the complement of the <a href="http://en.wikipedia.org/wiki/Minkowski_sum" rel="nofollow">Minkowski sum</a>${}^*$ of a connected body and the sphere of radius $r$.</p> <hr> <p>${}^*$ Provided the Minkowski sum doesn't self-intersect.</p> http://mathoverflow.net/questions/107845/surfaces-that-can-be-rolled-by-a-ball/107878#107878 Answer by Alexandre Eremenko for Surfaces that can be rolled by a ball Alexandre Eremenko 2012-09-23T03:48:34Z 2012-09-23T03:48:34Z <ol> <li><p>Is not your condition equivalent to this: for every boundary point if the body, there exists a closed ball containing this point and whose interior does not intersect the interior of the body? (Of course I assume that your surface is connected). Or perhaps I did not understand what you mean by "rolling"? Why do you need two points, and a path?</p></li> <li><p>If I understand your definition correctly, here is a reference where this notion is studied in dimension 2: <a href="http://arxiv.org/pdf/1204.4283.pdf" rel="nofollow">http://arxiv.org/pdf/1204.4283.pdf</a> They call such things r-convex.</p></li> </ol> http://mathoverflow.net/questions/107845/surfaces-that-can-be-rolled-by-a-ball/108256#108256 Answer by André Schlichting for Surfaces that can be rolled by a ball André Schlichting 2012-09-27T15:14:22Z 2012-09-27T15:14:22Z <p>The property you are asking for is called <em>global radius of curvature</em>. The notion combines the condition of lower bound on the principal curvatures as well as the global condition of no interpenetration of a neightborhood. This notion is very well adapted to the calculus of variations.</p> <p>The heuristic definition from the paper of <a href="http://zeus.instmath.rwth-aachen.de/~heiko/veroeffentlichungen/surf.pdf" rel="nofollow">P. Strzelecki and H. von der Mosel: <em>Global curvature for surfaces and area minimization under a thickness constraint</em></a></p> <blockquote> <p>The main idea can be sketched as follows: Take a continuous parametric surface $X : \mathbb{R}^2\supset \mathbb{B}^2 \to \mathbb{R}^3$ (with possibly infinite area) which possesses a tangent plane on a dense subset $G \subset \mathbb{B}^2$ which may even have zero measure. Consider the radii of all spheres touching the surface $X(\mathbb{B}^2)$ in one of these points $X(\omega)$, $\omega \in G$, and containing at least one other point of the surface. We define the infimum of these radii as the global radius of curvature $\Delta[X]$ of the surface $X$ . It turns out that a positive lower bound on $\Delta[X]$ serves as an excluded volume constraint for the surface $X$.</p> </blockquote>