БИЛЬЯРДНЫЙ СТОЛ В ФОРМЕ ЛИМОНА, ГДЕ ШАР ПОБЫВАЕТ ВЕЗДЕ
У математиков есть любимая игрушка для изучения хаоса — бильярд. Точка движется по прямым внутри замкнутой фигуры и отражается от границы «так, как фотон отражается в зеркале», уходя под тем же углом, под которым пришла. Ни трения, ни подкрутки, ни конца. Вопрос в том, что такой шар делает в долгосрочной перспективе.
Для некоторых столов ответ самый безумный из возможных. Движение эргодично: почти каждая траектория в итоге посещает весь диапазон возможных положений и направлений, проводя в каждой области долю времени, пропорциональную её размеру. Вэньтао Фань и Борис Хассельблатт доказывают для своего стола нечто ещё более сильное — свойство Бернулли: статистически отскакивающий шар ведёт себя как последовательность независимых случайных испытаний.
Беда с круглыми краями
У столов, давно известных как хаотические, есть подвох. Набор критериев математика Мачея Войтковского объясняет, как изогнутые фокусирующие стенки могут порождать хаос, — но требует, чтобы вся окружность, дугой которой является каждая стенка, целиком укладывалась внутри стола, — а это заставляет границу где-нибудь прогнуться внутрь. Это исключает строго выпуклые столы, то есть те, чья граница везде выпукла наружу, без плоских или вогнутых участков.
Поэтому естественный вопрос оставался открытым: может ли строго выпуклый бильярд вообще быть эргодическим?
Лимон
В 2013 году Цзинъюй Чэнь, Люк Мор, Хун-Кунь Чжан и Пэнфэй Чжан предложили семейство кандидатов — лимонные бильярды. Возьмите два круга: один радиуса r и другой, гораздо больший, радиуса R, расположенные так, чтобы большой круг содержал оба центра. Их пересечение и есть стол — на практике маленький круг, у которого одну сторону срезала пологая дуга огромной окружности, встречающаяся с остальной границей в двух углах. Четверо исследователей предположили, что такие лимоны эргодичны, когда радиусы сильно различаются.
Лимонный бильярдный стол L(r, R, ζ): пересечение маленькой окружности радиуса r и большой окружности радиуса R, встречающихся в углах A и B. — Рисунок 1, Fan и Hasselblatt (2026), arXiv:2610.28247.
Доказательство
Фань из Хэбэйского педагогического университета в Китае и Хассельблатт из Университета Тафтса в США доказывают гипотезу для достаточно несимметричных лимонов. Их главная теорема верна, когда угол ζ, задающий размер среза, лежит между 0 и arctan(1/3), то есть около 18 градусов, а большой радиус превышает r · 30 000 / sin²ζ — в лучшем случае 300 000 r, при самом широком допустимом срезе, и больше при более узком. «Насколько нам известно, — пишут они, — это первый пример строго выпуклого бильярда, для которого доказана эргодичность».
Работа опирается на сопутствующую статью тех же авторов, где показано, что возвращения шара к удачно выбранному множеству отражений разводят соседние траектории с постоянной скоростью. Оставалась самая трудная часть: контроль кривых сингулярности — траекторий, выходящих из одного из двух углов или упирающихся в него. Эти кривые чертятся не на столе, а на карте отражений, где каждое отражение задано своим положением вдоль границы и углом вылета; в лимонных бильярдах некоторые из этих кривых стоят на этой карте почти вертикально и меняют знак наклона — особенность, которая «долго считалась глубоко проблематичной для стандартных методов теории бильярдов». Авторы показывают, что после одного-единственного отражения эти кривые аккуратно выстраиваются. Именно поэтому они решили следить за шаром не при каждом отражении, а в конце каждой череды последовательных отражений от малой окружности — на предпоследнем отражении этой череды или на единственном, если в ней всего одно.
Остальное — тщательная проверка четырёх технических условий, которых требует теорема о «локальной эргодичности» 2013 года, адаптированная к лимону. Она занимает почти всю 58-страничную статью.
Что дальше
Результат применим к очень асимметричным лимонам: при указанном пороге большая окружность в сотни тысяч раз больше малой (как минимум в 300 000). Менее несимметричные лимоны остаются недоказанными.
Авторы перечисляют свои следующие цели — насколько быстро движение перемешивается и какие статистические законы из этого следуют — и завершают более амбициозным вопросом. У их лимона всё ещё два угла. Существует ли строго выпуклый эргодический бильярд с идеально гладкой границей, совсем без углов? Они указывают на старых кандидатов, изучавшихся «на протяжении полувека»: столы из прямоугольника, закрытого дугами окружностей, которые гладко к нему примыкают. Выделяется и одна строка в их благодарностях: «Ни в одном аспекте подготовки этой статьи ИИ не использовался».