For a smooth strictly convex planar billiard with positive boundary curvature, a continuous foliation of a full near-grazing phase annulus by individually invariant essential curves forces an analytic boundary and a jointly analytic collar of smooth strictly convex caustics.
For a smooth strictly convex planar billiard with positive boundary curvature, a continuous foliation of a full near-grazing phase annulus by individually invariant essential curves forces an analytic boundary and a jointly analytic collar of smooth strictly convex caustics.
For a smooth strictly convex planar billiard with positive boundary curvature, a continuous foliation of a full near-grazing phase annulus by individually invariant essential curves forces an analytic boundary and a jointly analytic collar of smooth strictly convex caustics.
If correct, upgrades a continuous full phase foliation to the analytic physical caustics needed by the companion ellipse-rigidity theorem.
Does a continuous full foliation near grazing force an analytic collar of billiard caustics?
Publication dates and editorial changes.
OpenAI reports analytic caustics from a continuous billiard foliation
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
