Characterization of envelopes of moving rotational cones

At least 5 years old · documented by

Let Φ\Phi be a complete nondevelopable real analytic oriented surface in R3\mathbb{R}^3, and let CtC_t be a real analytic family of oriented cones with opening angle θ\theta. The directions of the cones are unit vectors on the unit sphere; for a vertex VtV_t, write VtiV_t^i 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 Φ\Phi contains the envelope of the family CtC_t if and only if one of the following conditions holds:

  • Φ\Phi is a sphere of radius rr, the axes of CtC_t are directed towards its center, and the vertices of CtC_t are at distance r/sin⁡θr/\sin\theta from the center;
  • Φ\Phi is a parabolic cyclide, and CtC_t is …\dots;
  • the Gaussian image of the parabolic-points set of Φ\Phi coincides with the ±(π/2−θ)\pm(\pi/2-\theta)-offset of the directions-set of CtC_t in the unit sphere, and, for each tt, the inverse stereographic projection of the top view of Φi∩Vti\Phi^i\cap V_t^i is the (π/2−θ)(\pi/2-\theta)-offset of the direction of CtC_t 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

Never refreshed

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.