ЧЕБЫШЕВСКИЙ СБОРНИК
Том 22. Выпуск 5.
УДК 517.938.5 DOI 10.22405/2226-8383-2021-22-5-46-59
Реализация фокусных особенностей интегрируемых систем биллиардными книжками с потенциалом Гука1
В. В. Ведюшкина, В. А. Кибкало, С. Е. Пустовойтов
Ведюшкина Виктория Викторовна — доктор физико-математических наук, Московский государственный университет имени М. В. Ломоносова (г. Москва). e-mail: [email protected]
Кибкало Владислав Александрович — кандидат физико-математических наук, Московский государственный университет имени М. В. Ломоносова (г. Москва); Московский центр фундаментальной и прикладной математики (г. Москва). e-mail: [email protected]
Пустовойтов Сергей Евгеньевич — аспирант, Московский государственный университет имени М. В. Ломоносова (г. Москва). e-mail: pustovoitovsel@mail. ru
Аннотация
Рассмотрены системы движения частицы в поле центрального потенциала Гука по биллиардной книжке, склеенной из плоских круговых биллиардов. Важный класс невырожденных фокусных особенностей ранга 0 интегрируемых систем с 2 степенями свободы полностью реализован таким классом биллиардов. А именно, для каждой полулокальной фокусной особенности была построена биллиардная система с особенностью, послойно го-меоморфной данной.
Ключевые слова: интегрируемый биллиард, фокусная особенность, слоение Лиувилля. Библиография: 26 названий.
Для цитирования:
В. В. Ведюшкина, В. А. Кибкало, С. Е. Пустовойтов. Реализация фокусных особенностей интегрируемых систем биллиардными книжками с потенциалом Гука. // Чебышевский сборник, 2021, т. 22, вып. 5, с. 46-59.
1 Работа выполнена при поддержке гранта РНФ 17-11-01303 в МГУ имени М. В. Ломоносова
CHEBYSHEVSKII SBORNIK Vol. 22. No. 5.
UDC 517.938.5 DOI 10.22405/2226-8383-2021-22-5-46-59
Realization of focal singularities of integrable systems using billiard books with a Hooke potential field
V. V. Vedvushkina, V. A. Kibkalo, S. E. Pustovoitov
Vedyushkina Victoria Viktorovna — doctor of physics and mathematics, Lomonosov Moscow State University (Moscow). e-mail: [email protected]
Kibkalo Vladislav Alexandrovich — candidate of physics and mathematics, Lomonosov Moscow State University (Moscow); Moscow Center for Fundamental and Applied Mathematics (Moscow). e-mail: [email protected]
Pustovoitov Sergey Evgenievich — postgraduate student, Lomonosov Moscow State University (Moscow).
e-mail: pustovoitovsel@mail. ru
Abstract
Systems of particle motion in the Hooke central potential field on a billiard book glued from flat circular billiard domains are considered. An important class of nondegenerate focal singularities of the rank 0 of integrable systems with 2 degrees of freedom is completely realized by this class of billiards. Namely, for each semi-local focal singularity the constructed billiard system has a singularity fiberwise homeomorphic to the given one.
Keywords: integrable billiard, focal singularity, Liouville foliation.
Bibliography: 26 titles.
For citation:
V. V. Vedyushkina, V. A. Kibkalo, S. E. Pustovoitov, 2021, "Realization of focal singularities of integrable systems using billiard books with a Hooke potential field" Chebyshevskii sbornik, vol. 22, no. 5, pp. 46-59.
1. Введение
В последние годы были получены принципиальные продвижения в теории интегрируемых биллиардов. Системы из этого важного класса динамических систем с ударами, напомним, имеют "достаточное количество" первых интегралов. В недавней программной работе А.Т.Фоменко и В.В.Ведюшкиной [1] сделан подробный обзор результатов и открытых задач об интегрируемых биллиардах и топологии слоений на их фазовом пространстве. Такие системы удается успешно исследовать методами теории топологической классификации слоений Лиувилля и их особенностей, разработанной в работах А.Т.Фоменко, его учеников и соавторов и подробно изложенной в монографии А.В. Болсинова и А.Т.Фоменко [2].
Класс интегрируемых биллиардов недавно был существенно расширен В.В.Ведюшкиной [3] благодаря открытию класса биллиардных книжек (многослойных биллиардов). Эти системы задаются на столах-комплексах, склеенных из плоских столов-областей по общим дугам границы. Имеется отображение (проекция) комплекса на плоскость, а ребра комплекса оснащаются перестановками, задающими переход шара с листа на лист.
Если дуги границы всех плоских столов принадлежат одному и тому же семейству квадрик с общими фокусами (возможно, вырожденному: семейству парабол или семейству окружностей и их радиусов), а перестановки на пересекающихся дугах границы коммутируют, то рассмотренные многослойные биллиарды остаются кусочно-гладко интегрируемыми по Лиувил-лю. Фазовая топология таких систем, как оказалось, весьма разнообразна: В.В.Ведюшкиной,
A.Т.Фоменко и их соавторами были реализованы многие топологические инварианты особенностей и слоений [3]-[6], возможных в гладких и вещественно-аналитических интегрируемых системах.
Как оказалось, эти результаты нетривиально дополняют недавние работы [7]-[9], посвященные гипотезе Биркгофа об интегрируемых биллиардах и доказательству ее различных формулировок. Опуская некоторые детали, основной эффект можно сформулировать так: интегрируемость нескольких классов биллиардов требует, принадлежности дуг границы стола семейству софокусных квадрик, а не только следует, из нее. Как следствие, класс плоских интегрируемых биллиардов без потенциала довольно "беден" в смысле послойной гомеоморфности их слоений Лиувилля.
Найденное В. В. Ведюшкиной обобщение оставляет класс интегрируемых биллиардов достаточно разнообразным, не разрушая при этом доказанную в плоском случае связь интегрируемости с софокусными квадриками. Более того, эта конструкция допускает комбинацию с добавлением потенциала, в поле которого интегрируем биллиард на каждом из плоских листов комплекса.
Отметим, что прежде нами, в основном, изучались свойства слоений на неособых 3-мерных поверхностях постоянной энергии в фазовом пространстве. В настоящей работе сделан следующий шаг: показано, что класс 4-мерных невырожденных фокусных особенностей (встречающихся в полуторических интегрируемых системах, во многих системах из приложений: волчке Лагранжа, сферическом маятнике) целиком реализуется многослойными круговыми биллиардами с потенциалом Гука.
Нашу работу мы посвящаем профессору Владимиру Николаевичу Чубарикову в связи с его семидесятилетием.
1.1. Гипотеза А.Т.Фоменко о биллиардах и ее доказательство
В программной статье [1] центральное место занимает гипотеза об интегрируемых биллиардах, сформулированная А.Т. Фоменко. Согласно ней, класс интегрируемых биллиардов "достаточно широк" в классе всех интегрируемых систем. Эквивалентностью систем является послойная гомеоморфность их слоений Лиувилля [2] на неособых уровнях ^ энергии Н = Н. Классифицирующим инвариантом ФоменкоЛДишанга, см. [10], является граф с числовыми метками, вершинам которого соответствуют невырожденные особенности ранга 1 в
Ряд положений гипотезы Фоменко уже доказан (см. недавний обзор [11]) в работах
B.В.Ведюшкиной, А.Т.Фоменко, И.С.Харчевой и В.А.Кибкало: реализованы все невырожденные особенности ранга 1 (см. [3]), числовые метки инварианта Фоменко-Цишанга (см. [4], [5]) и базы слоений Лиувилля (см. [6]). По остальным пунктам получены значительные продвижения (реализация многих классов гомеоморфности многообразий и послойной гомеоморфности слоений на них). Некоторые свойства слоений, как оказалось, не являются сами по себе препятствиями к реализации такого слоения биллиардом (например, среди биллиардов найдены Q'i из класса многообразий Вальдхаузена, но не многообразий Зейферта).
В основе этих результатов лежит открытая В.В.Ведюшкиной [3] конструкция "биллиардной книжки", т.е. двумерного стола-комплекса, склеенного из плоских столов по общим гладким дугам границы. При этом в качестве каждого листа (2-клетки) книжки берется стол плоского интегрируемого софокусного или кругового биллиарда. Тем самым, определена "проекция": отображение С\¥-комплекса на плоскость, являющееся изометрией в ограничении на каждый
лист С\¥-комилекса. Переход биллиардного шара с листа на лист после его удара о 1-клетку комплекса (гладкую дугу склейки нескольких листов-столов по их общей граничной дуге) задается перестановкой на множестве склеенных по ней столов. Пусть для каждой вершины (0-клетки) стола-комплекса перестановки на трансверсально пересекающихся в ней дугах коммутируют. Тогда движение частицы непрерывно. Изоэнергетическая поверхность Qfl го-меоморфна гладкому многообразию [12].
Софокусные или круговые столы плоских биллиардов принадлежат к одному из конечного числа классов (с точки зрения топологии слоения на 0%), поскольку углы 3^/2 запрещены для непрерывности движения. Согласно недавно доказанной А.А.Глуцюком [7] версии гипотезы Биркгофа, такие и только такие биллиарды будут полиномиально интегрируемыми (на компактном плоском столе, граница которого является кусочно-гладкой, и хоть одна ее гладкая дуга не прямолинейна). Близкий результат верен и для плоских биллиардов в постоянном магнитном поле, см. [8]: стол должен быть диском или круговым кольцом с общим центром окружностей. Отметим также доказательство В.Ю.Калошиным и А.Соррентино локальной версии гипотезы Биркгофа [9].
1.2. Вопрос реализации 4-мерных особенностей биллиардами
С гипотезой Фоменко тесно связан другой вопрос, поставленный в работе [1]: какие 4-мерные особенности топологии слоений Лиувилля интегрируемых систем встречаются в интегрируемых биллиардах (то есть реализуются последними)? Например, чему послойно гомео-морфно слоение в малой 4-мерной окрестности особой точки? Классы эквивалентности слоений в окрестности точки часто называют локальными особенностями. Вопрос о послойной гомеоморфности слоений в окрестности всего слоя, содержащего такие точки, также весьма интересен. Уточним, что теперь от окрестности слоя требуется инвариантность при сдвигах вдоль гамильтоновых полей первых интегралов. Классы полученных слоений называют полулокальными окрестностями.
Двумя классами особенностей интегрируемых гамильтоновых систем М4 ,ш, Т = {Н,Р), обнаруженными во многих системах из приложений [2], являются особенности с вырожденными одномерными орбитами (т.е. содержащие на особом слое окружности критических небот-товских точек ранга 1, см. [2]) или с невырожденными точками ранга 0 (положениями равновесия системы, т.е. точками, где (Н = ё Р = 0).
Согласно теореме Элиассона [13], каждая локальная невырожденная особенность ранга 0 послойно гомеоморфна (и даже симплектоморфна) ровно одной из четырех модельных особенностей (в [2] они были названы особенностями типов центр-центр, центр-седло, седло-седло и фокус-фокус). Классификация полулокальных нерасщепляемых особенностей была получена Н.Т.Зунгом [14], см. также [2]. Все точки ранга 0, попавшие на общий слой, обязаны иметь одинаковый локальный тип. Локальная бифуркационная диаграмма £ этих особенностей состоит из дуг двух трансверсально пересекающихся кривых (в случаях центр-центр, центр-седло, седло-седло) или одной изолированной точки (фокус-фокус). Отметим, что вырожденные особенности ранга 1 обычно находятся в Т-прообразах точек касания и возврата кривых £.
Реализация невырожденных особенностей ранга 0 биллиардами была начата В.А.Кибкало в работе [15]. Было показано, что локальные и полулокальные невырожденные особенности типов центр-центр, центр-седло и седло-седло действительно встречаются в слоениях Лиувилля софокусных биллиардов с отталкивающим потенциалом Гука на столах-комплексах. Далее было предложено, как реализовать произвольные особенности типа прямого произведения. Затем в работе [16] были построены биллиардные книжки с потенциалом Гука, особенности которых реализует топологический инвариант каждой полулокальной особенности седло-седло с единственной точкой ранга 0 на слое (включая и случай почти прямого произведения) —
круговую молекулу этой особенности.
В основе данного подхода лежит переход от геодезического потока на эллипсоида к биллиарду при устремлении к нулю малой полуоси эллипсоида. Топологические инварианты слоений Лиувилля потока на эллипсоиде с потенциалом Гука были вычислены И.Ф.Кобцевым в работе [17]. Изучение биллиарда с потенциалом Гука на плоских софокусных столах, отличных от эллипса, было выполнено С.Е.Пустовойтовым, см. [18], [19].
В настоящей работе произвольная полулокальная 4-мерная особенность типа фокус-фокус реализована с помощью класса интегрируемых круговых биллиардов с отталкивающим потенциалом Гука на столах-комплексах.
Рассмотрим прямое произведение открытого диска И2 на тор Т 2 и выберем на одном из торов п гомотопных друг другу нестягиваемых окружностей. Перейдем к фактор-пространству, отождествив точки каждой окружности друг с другом. Полученное слоение с одним особым слоем (тор с п перетяжками, гомотопически эквивалентный букету п сфер в2) послойно го-
п
как топологический инвариант следующего 3-мерного объекта, не содержащего точек ранга 0. Рассмотрим 3-мерную границу 4-мерной полулокальной особенности фокус-фокус. Ее круговая меченая молекула, т.е. инвариант слоения Лиувилля на этой 3-мерной границе (с базой окружность в1 и слоем тор Т2), полностью определяется натуральным числом. Это есть числовая метка монодромии, отвечающая за класс сопряженности матрицы монодромии особенности.
2. Фокусные особенности и круговые биллиарды с потенциалом
В данном разделе для произвольной невырожденной фокусной особенности (возможной в интегрируемых гамильтоновых системах с двумя степенями свободы) построен биллиард на столе-комплексе (склеенном из круговых столов) с отталкивающим потенциалом Гука, имеющий особенность, топологически эквивалентную данной.
2.1. Биллиард с потенциалом Гука в круге
Рассмотрим биллиардный стол И С М2(х, у), являющийся замкнутым кругом радиуса К = 1 с центром в точке (0,0) Фазовое пространство М4 задается отождествлением пар точка-вектор (х, гц) из Т*И для точек х гпдИ граничной окружности и векторов скорости ы и 2
структуры О имеет стандартный вид в координатах (х,у,Х, у) для точки (х, у), не лежащей в малой окрестности границы.
Введем на этом столе центральный отталкивающий потенциал Гука к(х2 + у2)/2 где к < 0. Гамильтониан Н такого биллиарда на столе И (который также обозначим И) имеет вид
н = + 2(х2 +у2), к< 0.
Следующая функция Р является первым интегралом биллиарда, т.е. ш^гаё Н, sgradР) = 0:
Р = ху — ух.
Отражение от границы является упругим и сохраняет функцию Р. Такая система является кусочно-гладко интегрируемой по Лиувиллю согласно определению А.Т.Фоменко [1].
Утверждение 1. Образ фазового пространства Т(М4) биллиарда И при отображении момента Т = (Н, Р) и бифуркационная диаграмма, £ изображены на рис. 16. Она состоит из параболы и изолированной точки: начала координат,. В прообразе этой точки есть
критическая точка ранга, 0 типа фокус-фокус. В прообразе точки параболы лежит по одной окружности, и соответствующий 3-атом имеет тип А. Прообраз любой другой точки, лежащей между ветвями параболы, гомеоморфен двумерному тору Т 2
Доказательство. 1. Каждая точка из £ принадлежит к одному из двух классов. Первыми являются Т-образы критических точек (х,у,х, у) отображения Т, лежащих на удалении от границы И, т.е. при х2+у2 < 1. Вторые являются Т-образами точек, где фазовое пространство было склеено по отражению от границы.
Вычислим дифференциалы г!Н, (Ш и косые градиеты по формуле sgrad д = О-1 <1д.
(Н = кх dx + kydy + х (х + у (у, sgrad Н = —кх dx — ку dy + х (х + у d у,
dF = У(Х — х dy — у (Х + х (У, sgrad Р = у dx — х dy + у (Х — х (У.
В точке (х,у,х,у) = (0, 0,0,0) имеем ((Н = dF = 0, т.е. это критическая точка ранга 0. Несложно проверить, что при к < 0 других критических точек у системы нет.
(0, 0, 0, 0)
числим линеаризации Ан и Ар векторных полей sgrad Н и sgrad Р:
Ан = ш-1(2Н =
/0 0 — к 0 \
, Ар = ш-1(2Р =
0 0 0 —к 1 0 0 0
0 1 0 0
0 —1 0 0 1000 0 0 0 —1 0010
Рассмотрим линейную комбинацию ХАн +ц.Ар этих операторов. При Л = у = 1 ее собственные значения имеют вид ±г ±л/—к для каждой возможной пары знаков. Они попарно различны, отличны от нуля и не являются вещественными или чисто мнимыми при к < 0. Следовательно, данная критическая точка является невырожденной и имеет тип фокус-фокус при к < 0. Ее образом при отображении Т = (Н, Р) является начало координат.
2. Для каждой фиксированной пары значений (И,/) отображения момента Т = (Н,Р) опишем траектории биллиарда на столе И и область возможного движения, т.е. проекцию слоя Лиувилля на И. В полярных коордипатах (г, ф) имеем
г2 + г2ф2 кг2 ^ 2 •
Н =-— +--, Р = г2ф.
2 2' у
При / > 0 частица движется против часовой стрелки, а при / < 0 — по часовой стрелке. В случае / = 0 имеем два случая. В первом случае ф = 0, и частица движения по диаметру круга И. Во втором случае г = 0: частица находится в цент ре стола И, где координаты г, ф не регулярны.
Вычислим г при г > 0. Выразив ф из вида функции Р и подставив в уравнение для Н, имеем
г2 = 2Ъ — кг2 — /2/г2 ^ 0.
Следовательно, область возможного движения задается неравенствами на г
—кг4 + 2Пг2 — /2 > 0, г < 1.
Дискриминант левой часта АН2 — 4к£2 ^ 0 всегда, поскольку к < 0. При этом меньший корень (—Н— лД2 — к//(—к) ^ 0. Следовательно, область возможного движения является пересечением стола И заданного условием г < 1, и внешности к руга г > Го :=
^(—Н + л/Н2 — к/2)/(—к). При следующем условии она непуста и является круговым кольцом (или диском И целиком, в случае / = 0, Н > 0), см. рис 1а:
—Н + д/Н2 — к/2 < — к ^ Н > (/2 + к)/2.
Правое неравенство задает образ отображения момента Т. Его границей является парабола Н = (/2 + к)/2. Диаграмма £ состоит из нее и точки (0, 0) — образа критической точки фокус-фокус. Прообраз любой другой точки, лежащей между ветвями этой параболы, гомеоморфен тору. Это несложно проверить, следуя анализу биллиарда без потенциала в круге, см. |20|.
В случае равенства Н = (/2 + к)/2 имеем, что область возможного движения одномерна и является окружностью границей биллиарда. Над каждой сс точкой висит один касательный
Утверждение доказано. □
Рис. 1: (а) область возможного движения биллиарда И при фиксированных Н > (/2 + к)/2, (б) образ отображения момента (Н, Р) для биллиарда И и его бифуркационная диаграмма: парабола Н = (/2 + к)/2 и образ (0, 0) точки фокус-фокус.
Заметим, что область возможного движения является всем биллиардным столом И (т. е. г о = 0), если и только если Н > 0 и / = 0. Тогда точка движется вдоль диаметра, пролетая через центр. В случае Н < 0 и / = 0 точка движется вдоль радиуса, не долетая до центра. В случае / = 0 траектория не лежит па диаметре и является кусочно-гладкой регулярной кривой. При этом направление обхода точки вокруг центра биллиарда (по или против часовой стрелке) определяется знаком Р = /.
2.2. Метка монодромии для биллиардов в круге Б и на комплексах Пга= пБ
Для определения полулокального типа особенности в прообразе начала координат у биллиарда И и книжки склеенной из п экземпляров такого стола по циклической перестановке (1,2 .. .п), мы выполним два независимых вычисления. В данном разделе мы вычислим числовую метку монодромии на круговой молекуле этой особенности, т.е. целочисленный инвариант матрицы перехода между базисами на торе до и после обхода вокруг нее. Для этого мы найдем допустимые базисы и инварианты Фоменко Цишанга для двух изоэпергетических поверхностей, на которых Н = ±е (более точно, вместо левой прямой Н = — е мы возьмем некоторую параболу на плоскости ОН}, па ко торой /' > 0).
В следующем разделе мы покажем, что инвариантная окрестность особого слоя слоения биллиарда будет послойно гомсоморфна прямому произведению двумерного тора на двумер-
п п
кривых па торе, гомологичных друг другу и не гомологичных нулю в ^(Т2), стянуты в п точек.
Замечание. Теоремы 1 и 2 из данного и следующего разделов весьма тесно связаны друг с другом, но используют несколько разные подходы к своим доказательствам. Одной из основных целей наших исследований является расширение набора методов, применяемых для иследования топологии систем биллиардов. Ранее В.В.Ведюшкиной были разработаны эффек-
тивные и оригинальные методы изучения топологии, вообще говоря, кусочно-гладких слоений Лиувилля систем биллиардов на 3-уровнях энергии Представляет интерес развитие таких методов в 4-мерном случае. Кроме того, активное расширение класса изучаемых биллиардов (введение систем на столах-комплексах, добавление потенциала или магнитного поля, переход к метрике Минковского, добавление проскальзывания, а также их комбинации, см. [1]) часто дополнительно затрудняет адаптацию и строгое обоснование применимости ряда известных общих методов из теории интегрируемых систем (отметим, например, конструкцию гамильтонова сглаживания В.Ф.Лазуткина, см. [21]).
Теорема 1. Числовая метка монодромии особенности в прообразе точки (0,0) равна п для биллиардной системы с отталкивающим потенциалом Гука на столе склеенном из п экземпляров с тола плоского биллиарда внутри круга И по перестан овке (1, 2,... ,п) на их окружности склейки.
Доказательство. 1. Сначала рассмотрим самый простой случай биллиарда (плоский биллиард). Зафиксируем значение гамильтониана Н = Н = —£ < 0. На рис. 2 изображено изменение области возможного движения и поведение траектории с ростом интеграла Р. Такой перестройке соответствует молекула А — А с метками г = ^и £ = 1, а соответствую щее Q3 гомеоморфно 51 х 52. Здесь гладкая дуга траектории для Р < 0 стягивается на отрезок радиуса и разворачивается в дугу для Р > 0.
Рис. 2: Область возможного движения и поведение траекторий биллиарда = И при фиксированном значении Н = —£ < 0 энергии Н в зависимости от значения $ интеграла Р.
2. Зафиксируем теперь значение Н = £ > 0 гамильтониана Н. В отличие от предыдущего случая, область возможного движения при / = 0 становится всей биллиардной областью, а гладкие дуги траектории распрямляются в диаметры и затем снова искривляются. Направление обхода точки также определяется знаком Р = /. Теперь на каждом торе Лиувилля выберем цикл 7, проекция которого на биллиарде лежит на соседних дугах траектории движения и дуге внутренней границы области возможного движения (голубой цикл на рис. 3). Несложно заметить, что при изменении параметра $ соответствующий цикл 7 также меняется непрерывно. Но при / < 0 получим 7 = А_ (т.е. цикл, стягивающийся в точку внутри полно-тория А), а при / > 0 получим 7 = А+ + (сумма исчезающего цикла и дополняющего его до базиса на граничном торе другого полнотория А). При этом для дополняющих циклов ^, гомологичных внутри полноторий А критическим траекториям (движениям по и против часовой стрелки) выповнено соотношение = —Таким образом, матрица склейки имеет вид
А+\ /1 1 \ (\-
) \0 1) \ у • Следовательно, такой перестройке соответствует молекула А - А с
метками г = 0и £ = 1, а соответствующее изоэнергетическое многообразие Q3 гомеоморфно трехмерной сфере 53.
Покажем, что полный прообраз точки (Н, /) = (0, 0) является "тором с перетяжкой". Рассмотрим близкий тор со значениями Н > 0, / = 0. Этот тор отвечает движению вдоль диамет-
Н
ется. В пределе Н = 0 получаем неподвижную точку (0, 0, 0, 0) и некомпактные траектории,
Рис. 3: Область возможного движения и поведение траекторий биллиарда = И при фиксированном значении к = г > 0 энергии Н в зависимости от значения / интеграла Р.
направленные к ней пли от нее. При к = 0 прообразом точки (0, 0) является не окружность (соответсвующая единичным векторам скорости), а одна точка. Стягиваемый в точку при к ^ +0 цикл был нетривиальным на торе Лиувилля. В результате получен искомый "тор с перетяжкой".
3. Теперь сделаем небольшое отступление. Найдем множество значений к, / интегралов Н и для которых радиус внутренней границы равен заданному числу г о = с, где 0 < с < 1. В этом случае решаем уравнение (—к + л/к2—^Т2^ /(—к) = си получаем параболу к = (/2 + с2к)/(2с). Теперь в качестве контура обхода вокруг точки фокус-фокус выберем контур, состоящий из дуги этой параболы и отрезка вертикальной прямой (рис. 4, а). Изменение траектории движения при обходе этого контура изображено на рис. 4, б. На торе
2
а 6
Рис. 4: (а) кривая в М2(к, /), обходящая особую точку Е, (б) движения частицы в ее прообразе.
Лиувилля, соответствующем точке 1, выберем базис следующим образом: образ цикла А лежит на границе биллиарда, а образ цикла ^ идет по радиусу. Теперь воспользуемся тем же
к>0
рассмотрим цикл 7, выбранный аналогично. В точке 17 = ^ и остается таким при движении от 1 к 2. При движении от 2 к 3 цикл 7 изменяется тем же образом, что и раньше, и при переходе от 3 к 1 становится равен А + При этом цикл А при таком же обходе не изменился.
Следовательно, матрица монодромии имеет вид
4. Мы рассмотрели обычный биллиард в диске с потенциалом. Склеим теперь билллиард-ную книжку из п копий такого биллиарда по их общей граничной окружности с циклической перестановкой (1, 2.. .п). Отметим, что в силу того, что область возможного движения
10 11
всегда ограничена границей биллиарда, такая склейка не добавит системе новых бифуркаций. Следовательно, бифуркационная диаграмма останется прежней.
Тем не менее, прообраз точки (Н, /) = (0, 0) теперь устроен сложнее. Рассмотрим тор Ли-увилля, соответствующий значениям Н > 0, / = 0. Он склеен из п торов Лиувилля для каждого листа биллиардной книжки, разрезанных и склеенных в единый тор по фиксированным циклам — прообразам границы кругового биллиарда. Без ограничения общности будем считать эти циклы параллелями торов. Заметим, что эти циклы гомологичны окружностям,
Н
необходимо стянуть каждую из п параллелей в одну точку. В результате получим тор с п " перетяжками ".
Н<0
такой изоэнергетической поверхности молекула А - А с метками г = той е = 1, а Q3 гомеоморфно Б1 х Б2. Для Н > 0 зададим цикл 7 аналогично, но теперь он будет проходить по каждому плоскому листу книжки. Таким образом, при Р > 0 этот цикл равен А+ + пц,+ (он обходит вокруг каждого из п центров кругов). Следовательно, этому случаю соответствует молекула А - А с метками г = 1/пи е = 1, а ф3 гомеоморф но Ь(1,п). Из тех же рассуждений кледует, что матрица монодромии при таком же выборе базиса для тора в точке 1 имеет вид
К^.Теоре™
2.3. Класс послойной гомеоморфности 4-особенности для биллиарда Qn
Теорема 2. Система биллиарда на книжке Qn, склеенной из п экземпляров биллиарда в круге D по перестановке (1, 2,...,п), имеет в своем слоении Лиувилля полулокальную особенность (содержащую точки (0, 0, 0, 0) из Т*D для каждого из плоских листов), послойно гомеоморфную полулокальной особенности фокус-фокус с п критическим,и точками на, особом, слое.
Доказательство. 1. Из отсутствия отражений (склеек фазового пространства) в окрестности точки (0, 0, 0, 0) в Т*D следует, что система вблизи нее является гладкой. Ранг отображения момента в ней равен нулю, ее невырожденность проверена, и определен тип собственных значений. Иначе говоря, биллиард на столе Dn имеет п локальных особенностей фокус-фокус. Все эти особые точки лежат на одном особом слое, который имеет тип тора с п перетяжками.
2. Остается изучить его 4-мерную окрестность. Она имеет вид T-l(V) для некоторой малой окрестности V£ С R2(h, f) начала координат (0, 0), гомеоморфной диску. Это верно, поскольку прообраз каждой точки (h, f) связен.
Зафиксируем у £ [0,1]. Для точки а = (0,у) £ D рассмотрим подмножество А С R2(x,y) точек, образ которых при Т попадает в V. Тогда в точке а имеем 2Н(а) = ку2 + х2 + у2, F (а) = —ух.
Пусть у = 0 и V есть прямоугольник — е < h < е, 5 < f < 5. Тогда фигура А ограничена, поскольку у2 = —ку2 + 2h + f2/у2:
0 < |ж| < —5/у л/—ку2 — 2е < |у| < ^—ку2 + 2е + Ь2/у2
Так как к < 0, то для некото poro у > 0 фигур а А состоит из двух компонент связности, симметричных относительно прямой у = 0 и имеющих у > 0 или у < 0. При малых е, 5 указанный у можно взять меньшим радиуса 1 круг a D.
3. Тем самым, пересечение границы Т*D с полулокальной особенностью в полном прообразе Т-l(V) окрестноети V С R2(h, f) имеет две компоненты связности (соответствующие знаку у, т.е. направлению вектора скорости внутрь круга или наружу). Каждая из них гомеоморфна
полноторию V х S1, где слой S1 над точкой (h, f) £ V есть пересечение слоя Лиувилля с указанной границей.
Склейка двух экземпляров Т*D по паре полноторий (с направлением вектора скорости внутрь круга и наружу соответственно) порождает ориентируемое многообразие: стандартные ориентации этих многообразий согласованы, что легко видеть, например, в склеиваемых точках х = 0, у = 1, х,
4. Поскольку Т*D обладает гладкой и симплектической структурой, а также инвариантна относительно вращений, то на F-1(V) С Т*D есть гладкое S^действие. Оно является гамиль-тоновым с гамильтонианом F. Следовательно, указанное подмножество послойно гомеоморф-но элементарному 4-блоку, из п компонент которого склеивается полулокальная особенность типа фокус-фокус, см. [2], т.1, гл.9. При этом на множество склейки это действие доопределяется по непрерывности из упомянутого выше гамильтонова действия интеграла F на любом из двух склеиваемых по полноторию 4-блоков.
Следовательно, полулокальная особенность биллиарда с отталкивающим потенциалом Гу-ка на биллиардной книжке Qra, склеенной из п экземпляров биллиарда в круге D по перестановке (1, 2,..., п), послойно гомеоморфна особенности фокус-фокус с п положениями равновесия. Тем самым произвольная полулокальная особенность фокус-фокус реализована в классе биллиардных книжек с потенциалами. Теорема 2 доказана. □.
3. Заключение
Таким образом, один из важных классов полулокальных особенностей — невырожденные фокусные особенности — удалось полностью реализовать в топологической категории интегрируемыми биллиардами. Развитие решенной нами задачи возможно, например, по следующим направлениям.
Во-первых, особенности фокус-фокус в интегрируемых системах имеют нетривиальные гладкие и симплектические инварианты. Они устроены сложнее, чем топологические. Так гладкие инварианты фокусных особенностей с двумя положениями равновесия на одном слое описаны в работе А.В.Болсинова и А.М.Изосимова [22]. Симплектические инварианты фокусных особенностей полуторических интегрируемых систем ввел S. Vü Ngoc в случае одной особой точки на слое [23] и (совместно с А. Pelavo) в общего случае для того же класса систем [24]. Вопрос о наличии их аналогов для кусочно-гладких биллиардов на столах-комплексах с потенциалом требует отдельного изучения.
Другим обобщением может являться проблема реализации особенностей систем с большим чем 2 числом степеней свободы с помощью многомерных софокусных биллиардов с потенциалом. Такие топологические инварианты изучались, например, Н.Т.Зунгом [14] и А.А.Ошемковым [25], [26], см. также [2]).
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Ведюшкина В.В., Фоменко А.Т., Бильярды и интегрируемость в геометрии и физике. Новый взгляд и новые возможности // Вестн. Моск. Унив., Серия Мат. и Мех. 2019. №3. 15-25.
2. Болсинов A.B., Фоменко А.Т., Интегрируемые гамильтоновы системы. Геометрия, топология, классификация. Т.1, 2, Ижевск: Изд. дом "Удмуртский университет", 1999.
3. Ведюшкина В.В., Харчева И.С., Биллиардные книжки моделируют все трехмерные бифуркации интегрируемых гамильтоновых систем // Матем. сб. 2018. 209, №12. 17-56.
4. Ведюшкина В.В., В.А. Кибкало В.А., Фоменко А.Т., Топологическое моделирование интегрируемых систем биллиардами: реализация числовых инвариантов // Докл. РАН. 2020. 493. Г) 12.
5. Ведюшкина В.В., Кибкало В.А., Реализация бильярдами числового инварианта расслоения Зейферта интегрируемых систем // Вести. Моск. ун-та. Сер. 1. Матем., мех. 2020. №4, 22-28.
6. Ведюшкина В.В., Харчева И.С., Биллиардные книжки реализуют все базы слоений Ли-увилля интегрируемых гамильтоновых систем // Матем. сб. 2021. 212, №8. 89-150.
7. Glutsvuk A., On polynomiallv integrable Birkhoff billiards on surfaces of constant curvature // Journal of the European Mathematical Society. 2021. 23, №3. 995-1049.
8. Bialv M., Mironov A.E., Algebraic non-integrabilitv of magnetic billiards //J. Phvs. A. 2016. 49, №45. 455101.
9. Kaloshin V., Sorrentino A., On the local Birkhoff conjecture for convex billiards // Ann. of Math. 2018. 188, №1. 315-380.
10. Фоменко А.Т., Цишанг X., Топологический инвариант и критерий эквивалентности интегрируемых гамильтоновых систем с двумя степенями свободы // Изв. АН СССР. Сер. матем." 1990. 54, №3. 546-575.
11. Кибкало В.А., Фоменко А.Т., Харчева И.С., Реализация интегрируемых гамильтоновых систем бильярдными книжками // Тр. ММО. 2021. 82, №1. 49-78.
12. Харчева И.С., Изоэнергетические многообразия бильярдных книжек // Вести. Моск. унта. Сер. 1. Матем., мех. 2020. №4. 12-22.
13. Eliasson L.H., Normal forms for Hamiltonian systems with Poisson commuting integrals — elliptic case // Commentarii Mathematici Helvetici. 1990. 65. 4-35.
14. Zung N.T., Svmplectic topology of integrable Hamiltonian systems. I: Arnold-Liouville with singularities. Compositio Math. 1996. 101, Ж. 179-215.
15. Кибкало В. А., Биллиарды с потенциалом моделируют ряд четырехмерных особенностей интегрируемых систем, Совр. пробл. матем. мех. Матер, межд. конф. посвящ. 80-летию акад. РАН В.А. Садовничего, Т.2. М. 2019. 563-566.
16. Fomenko А.Т., Kibkalo V.A., Saddle Singularities in Integrable Hamiltonian Systems: Examples and Algorithms // Contemp. Appr. Meth. in Fund. Math. Mech., Understanding Complex Systems, eds. V. A. Sadovnichiv, M. Z. Zgurovskv, Springer, Cham. 2021. 1-24.
17. Кобцев И. Ф., Геодезический поток двумерного эллипсоида в поле упругой силы: топологическая классификация решений // Вестн. Моск. ун-та. Сер. 1. Матем., мех. 2018. №2. 27-33.
18. Пустовойтов С.Е., Топологический анализ биллиарда в эллиптическом кольце в потенциальном поле // Фунд. прикл. матем. 2019. 22, №6. 201-225.
19. Пустовойтов С.Е., Топологический анализ биллиарда, ограниченного софокусными квадриками, в потенциальном поле // Матем. сб. 2021. 212, №2. 81-105.
20. Ведюшкина В.В., Интегрируемые биллиарды на клеточных комплексах и интегрируемые гамильтоновы системы, Докт. дисс. МГУ, М. 2020.
21. Lazutkin V., К AM Theory and Semiclassical Approximations to Eigenfunctions, Springer, Berlin. 1993.
22. Bolsinov A., Izosimov A., Smooth invariants of focus-focus singularities and obstructions to product decomposition, J. of Svmplectic Geom., 17:6 (2019), 1613-1648.
23. S. Vu Ngoc, On semi-global invariants for focus-focus singularities. Topology 42 (2003), 365380.
24. A. Pelavo, S. Vu Ngoc, Semitoric integrable systems on svmplectic 4-manifolds. Invent. Math. 177 (2009), 571-597.
25. А. А. Ошемков, "Классификация гиперболических особенностей ранга нуль интегрируемых гамильтоновых систем. Матем. сб., 201:8 (2010), 63-102
26. Козлов И.К., Ошемков А.А., Классификация особенностей типа седло-фокус // Чебышев-ский сборник. 21:2 (2020), 228-243.
REFERENCES
1. А. Т. Fomenko, V. V. Vedvushkina, "Billiards and integrabilitv in geometry and physics. New scope and new potential", Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2019, no. 3, 15-25; Moscow University Mathematics Bulletin, 74:3 (2019), 98-107
2. A.V.Bolsinov, A.T.Fomenko. Integrable Hamiltonian systems. Geometry, topology, classification. Chapman к Hall/CRC, Boca Raton (2004).
3. V. V. Vedvushkina, I. S. Kharcheva, "Billiard books model all three-dimensional bifurcations of integrable Hamiltonian systems", Mat. Sb., 209:12 (2018), 17-56; Sb. Math., 209:12 (2018), 1690-1727
4. Vedvushkina V. V., Kibkalo V. A., Fomenko A. T. Topological modeling of integrable systems by billiards: Realization of numerical invariants // Dokladv Mathematics. — 2020. — Vol. 102, no. 1. - P. 269-271
5. V. V. Vedvushkina, V. A. Kibkalo, "Realization of numerical invariant of the Siefert bundle of integrable systems by billiards", Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 4, 22-28
6. V. V. Vedvushkina, I. S. Kharcheva, "Billiard books realize all bases of Liouville foliations of integrable Hamiltonian systems", Mat. Sb., 212:8 (2021), 89-150; Sb. Math., 212:8 (2021), 1122-1179
7. Glutsvuk A., On polvnomiallv integrable Birkhoff billiards on surfaces of constant curvature // Journal of the European Mathematical Society. 2021. 23, №3. 995-1049.
8. Bialv M., Mironov A.E., Algebraic non-integrabilitv of magnetic billiards //J. Phvs. A. 2016. 49, №45. 455101.
9. Kaloshin V., Sorrentino A., On the local Birkhoff conjecture for convex billiards // Ann. of Math. 2018. 188, №1. 315-380.
10. A. T. Fomenko, H. Zieschang, "A topological invariant and a criterion for the equivalence of integrable Hamiltonian systems with two degrees of freedom", Izv. Akad. Nauk SSSR Ser. Mat., 54:3 (1990), 546-575; Math. USSR-Izv., 36:3 (1991), 567-596
11. Kibkalo V.A., Fomenko А.Т., Kharcheva I.S., Realization of integrable Hamiltonial systems by billiard books// Transactions of the Moscow Mathematical Society, 2021, 80
12. I. S. Kharcheva, "Isoenergv manifolds of integrable billiard books", Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 4, 12-22
13. Eliasson L.H., Normal forms for Hamiltonian systems with Poisson commuting integrals — elliptic case // Commentarii Mathematici Helvetici. 1990. 65. 4-35.
14. Zung N.T., Svmplectic topology of integrable Hamiltonian systems. I: Arnold-Liouville with singularities. Compositio Math. 1996. 101, Ж. 179-215.
15. Kibkalo V.A. "Billiards with potential model four-dimensional singularities of integrable systems", Books of Abstracts Int. Sc. Conf. "Contemporary Problems of Mathematics and Mechanics". Moscow, 2019, vol. 2, pp. 563-566. (In Russ.)
16. Fomenko A.T., Kibkalo V.A., Saddle Singularities in Integrable Hamiltonian Systems: Examples and Algorithms // Contemp. Appr. Meth. in Fund. Math. Mech., Understanding Complex Systems, eds. V. A. Sadovnichiv, M. Z. Zgurovskv, Springer, Cham. 2021. 1-24.
17. I. F. Kobtsev, "Geodesic flow of a 2D ellipsoid in an elastic stress field: topological classification of solutions", Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2018, no. 2, 27-33; Moscow University Mathematics Bulletin, 73:2 (2018), 64-70
18. S. E. Pustovovtov, "Topological analysis of a billiard in elliptic ring in a potential field", Fundam. Prikl. Mat., 22:6 (2019), 201-225
19. S. E. Pustovoitov, "Topological analysis of a billiard bounded by confocal quadrics in a potential field", Mat. Sb., 212:2 (2021), 81-105; Sb. Math., 212:2 (2021), 211-233
20. Vedvushkina V.V., Integrable billiards on CW-complexes and integrable Hamiltonian systems, Habilitation thesis (Dr. of Phvs. Math.). Moscow. MSU. 2020
21. Lazutkin V., К AM Theory and Semiclassical Approximations to Eigenfunctions, Springer, Berlin. 1993.
22. Bolsinov A., Izosimov A., Smooth invariants of focus-focus singularities and obstructions to product decomposition, J. of Svmplectic Geom., 17:6 (2019), 1613-1648.
23. S. Vu Ngoc, On semi-global invariants for focus-focus singularities. Topology 42 (2003), 365380.
24. A. Pelavo, S. Vu Ngoc, Semitoric integrable systems on svmplectic 4-manifolds. Invent. Math. 177 (2009), 571-597.
25. A. A. Oshemkov, "Classification of hyperbolic singularities of rank zero of integrable Hamiltonian systems", Sb. Math., 201:8 (2010), 1153-1191
26. Kozlov I.K., Oshemkov A.A., Classification of saddle-focus singularities. Chebvshevskii Sbornik. 21:2 (2020), 228-243. (In Russ.)
Получено 12.09.2021 г. Принято в печать 21.12.2021 г.