# The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables

Misha Bialy, Andrey E. Mironov

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

## Аннотация

In this paper we prove the Birkhoff-Poritsky conjecture for centrally-symmetric C2-smooth convex planar billiards. We assume that the domain A between the invariant curve of 4-periodic orbits and the boundary of the phase cylinder is foliated by C0-invariant curves. Under this assumption we prove that the billiard curve is an ellipse. For the original Birkhoff-Poritsky formulation we show that if a neighborhood of the boundary of billiard domain has a C1-smooth foliation by convex caustics of rotation numbers in the interval (0, 1/4], then the boundary curve is an ellipse. In the language of first integrals one can assert that if the billiard inside a centrally-symmetric C2-smooth convex curve admits a C1-smooth first integral with non-vanishing gradient on A, then the curve is an ellipse. The main ingredients of the proof are (1) the non-standard generating function for convex billiards; (2) the remarkable structure of the invariant curve consisting of 4-periodic orbits; and (3) the integral-geometry approach for rigidity results that was invented by the first named author for circular billiards. Surprisingly, we establish a Hopf-type rigidity for billiard in ellipse.

Язык оригинала английский 389-413 25 Annals of Mathematics 196 1 https://doi.org/10.4007/ANNALS.2022.196.1.2 Опубликовано - июл 2022

## Предметные области OECD FOS+WOS

• 1.01 МАТЕМАТИКА

## Fingerprint

Подробные сведения о темах исследования «The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables». Вместе они формируют уникальный семантический отпечаток (fingerprint).