Characterization of envelopes of moving rotational cones
Let be a complete nondevelopable real analytic oriented surface in , and let be a real analytic family of oriented cones with opening angle . The directions of the cones are unit vectors on the unit sphere; for a vertex , write for its dual plane in isotropic space, and let the Gaussian image and inverse stereographic projection be understood as in the stated geometric construction.
Envelope characterization. The surface contains the envelope of the family if and only if one of the following conditions holds:
- is a sphere of radius , the axes of are directed towards its center, and the vertices of are at distance from the center;
- is a parabolic cyclide, and is ;
- the Gaussian image of the parabolic-points set of coincides with the -offset of the directions-set of in the unit sphere, and, for each , the inverse stereographic projection of the top view of is the -offset of the direction of in the unit sphere.
The second alternative is incomplete in the source, and the status of this characterization cannot be determined from the supplied text.
References
Primary source
Mikhail Skopenkov, Pengbo Bo, Michael Bartoň and Helmut Pottmann, “Characterizing envelopes of moving rotational cones and applications in CNC machining”, arXiv:2001.01444 (2020).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.