Abstract
By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net.
Let us say that a strictly geodesically convex curve on a Riemannian surface has the Poritsky property if it can be parametrized in such a way that all of its string diffeomorphisms are shifts with respect to this parameter. In 1950, Poritsky has shown that the only closed plane curves with this property are ellipses.
In the present article we show that a curve on a Riemannian surface has the Poritsky property if and only if it is a coordinate curve of a Liouville net. We also recall Blaschke’s derivation of the Liouville property from the Ivory property and his proof of Weihnacht’s theorem: the only Liouville nets in the plane are nets of confocal conics and their degenerations.
This suggests the following generalization of Birkhoff’s conjecture: If an interior neighborhood of a closed strictly geodesically convex curve on a Riemannian surface is foliated by billiard caustics, then the metric in the neighborhood is Liouville, and the curve is one of the coordinate lines.
Similar content being viewed by others
References
S. I. Agafonov, Quadratic integrals of geodesic flow, webs, and integrable billiards, Journal of Geometry and Physics, to appear, https://doi.org/10.1016/j.geomphys.2020.104041.
M. Bialy and A. Mironov, A survey on polynomial in momenta integrals for billiard problems, Philosophical Transactions of the Royal Society. A 376 (2018), Article no. 20170418.
W. Blaschke, Eine Verallgemeinerung der Theorie der konfokalen F2, Mathematische Zeitschrift 27 (1928), 653–668.
W. Blaschke, Einführung in die Differentialgeometrie, Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Vol. 58, Springer, Berlin-Göttingen-Heidelberg, 1950.
S.-J. Chang and K. Shi, Billiard systems on quadric surfaces and the Poncelet theorem, Journal of Mathematical Physics 30 (1989), 798–804.
N. Chernov and R. Markarian, Chaotic Billiards, Mathematical Surveys and Monographs, Vol. 127, American Mathematical Society, Providence, RI, 2006.
G. Darboux, Leçons sur la Théorie générale des Surfaces et les Applications géométriques du Calcul infinitésimal, Gauthier-Villars, Paris, 1894.
V. Dragović and M. Radnović, Poncelet Porisms and Beyond, Frontiers in Mathematics, Birkhäuser/Springer, Basel, 2011.
A. Glutsyuk, On curves with Poritsky property, https://arxiv.org/abs/1901.01881.
D. Hilbert and S. Cohn-Vossen, Geometry and the Imagination, Chelsea, New York, 1952.
I. Izmestiev and S. Tabachnikov, Ivory’s Theorem revisited, Journal of Integrable Systems 2 (2017), 1–36.
V. Kaloshin and A. Sorrentino, On the integrability of Birkhoff billiards, Philosophical Transactions of the Royal Society. A 376 (2018), Article no. 20170419.
K. Kiyohara, Two classes of Riemannian manifolds whose geodesic flows are integrable, Memoirs of the American Mathematical Society 130 (1997).
V. Kozlov and D. Treshchev, Billiards. A Genetic Introduction to the Dynamics of Systems with Impacts, Translations of Mathematical Monographs, 89 American Mathematical Society, Providence, RI, 1991.
B. Kruglikov, Invariant characterization of Liouville metrics and polynomial integrals, Journal of Geometry and Physics 58 (2008), 979–995.
V. Lazutkin, The existence of caustics for a billiard problem in a convex domain, Mathematics of the USSR. Izvestija 7 (1973), 185–214.
M. Levi and S. Tabachnikov, The Poncelet grid and billiards in ellipses, American Mathematical Monthly 114 (2007), 895–908.
R. Melrose, Equivalence of glancing hypersurfaces, Inventiones Mathematicae 37 (1976), 165–192.
O. Perron, Über geodätische rhombische Netze auf krummen Flächen, Mathematische Zeitschrift 24 (1926), 170–180.
G. Popov and P. Topalov, Liouville billiard tables and an inverse spectral result, Ergodic Theory and Dynamical Systems 23 (2003), 225–248.
G. Popov and P. Topalov, Discrete analog of the projective equivalence and integrable billiard tables, Ergodic Theory and Dynamical Systems 28 (2008), 1657–1684.
G. Popov and P. Topalov, On the integral geometry of Liouville billiard tables, Communications in Mathematical Physics 303 (2011), 721–759.
H. Poritsky, The billiard ball problem on a table with a convex boundary—an illustrative dynamical problem, Annals of Mathematics 51 (1950), 446–470.
S. Tabachnikov, Billiards, Panoramas et Synthéses 1 (1995).
S. Tabachnikov, Geometry and Billiards, Student Mathematical Library, Vol. 30, American Mathematical Society, Providence, RI, 2005.
A. Thimm, Integrabilität beim geodätischen Fluß, in Beiträge zur Differentialgeometrie, Heft 2, Bonner Mathematische Schriften, Vol. 103, Universität Bonn, Bonn, 1978.
A. Veselov, Confocal surfaces and integrable billiards on the sphere and in the Lobachevsky space, Journal of Geometry and Physics 7 (1990), 81–107.
A. Veselov, Complex geometry of the billiard on the ellipsoid and quasicrystallic curves, in Seminar on Dynamical Systems (St. Petersburg, 1991), Progress in Nonlinear Differential Equations and their Applications, Vol. 12, Birkhäuser, Basel, 1994, pp. 277–283.
A. Veselov, Integrable mappings, Russian Mathematical Surveys 46 (1991), 1–51.
J. Weinacht, Über die bedingt-periodische Bewegung eines Massenpunktes, Mathematische Annalen 91 (1924), 279–299.
K. Zwirner, Orthogonalsysteme, in denen Ivorys Theorem gilt, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 5 (1927), 313–336.
Acknowledgement
We are grateful to D. Burago for a consultation.
Author information
Authors and Affiliations
Corresponding author
Additional information
The author is partially supported by Laboratory of Dynamical Systems and Applications, HSE University, of the Ministry of science and higher education of the RF grant ag. No 075-15-2019-1931 and by RFBR and JSPS (research project 19-51-50005).
Supported by SNCF grants 200021_169391 and 200021_179133.
Supported by NSF grant DMS-1510055.
Rights and permissions
About this article
Cite this article
Glutsyuk, A., Izmestiev, I. & Tabachnikov, S. Four equivalent properties of integrable billiards. Isr. J. Math. 241, 693–719 (2021). https://doi.org/10.1007/s11856-021-2110-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-021-2110-8