Условия алгебраической интегрируемости гамильтоновых систем с однородным потенциалом тема диссертации и автореферата по ВАК РФ 01.02.01, кандидат физико-математических наук Пономарева, Мария Юрьевна

• Пономарева, Мария Юрьевна
• кандидат физико-математических наук
• 1999

Оглавление диссертации кандидат физико-математических наук Пономарева, Мария Юрьевна

СОДЕРЖАНИЕ:

стр.

Введение

ГЛАВА I. Метод Ковалевской для квазиоднородных

систем дифференциальных уравнений

§ 1.1. Квазиоднородные системы

§ 1.2. Метод Ковалевской и показатели Ковалевской

§ 1.3. Квазиоднородные уравнения Гамильтона

§ 1.4. Гамильтоновы системы с двумя степенями свободы 17 ГЛАВА II. Гамильтоновы системы с однородным

потенциалом третьей степени

§2.1. Вводные замечания

§2.2. Постановка задачи и основной результат

§2.3. Доказательство основного результата

§2.4. Случаи алгебраической интегрируемости

ГЛАВА III. Гамильтоновы системы с однородным

потенциалом четвертой степени

§3.1. Постановка задачи и основной результат

§3.2. Доказательство основного результата

§3.3. Случаи алгебраической интегрируемости

Заключение

Список литературы

Введение диссертации (часть автореферата) на тему «Условия алгебраической интегрируемости гамильтоновых систем с однородным потенциалом»

Введение

Точное интегрирование уравнений движения - одна из наиболее популярных и трудных проблем динамики; только небольшое число задач удалось точно проинтегрировать. К сожалению, до сих пор нет общего критерия, который позволил бы определить свойство системы быть вполне интегрируемой (обсуждение этих вопросов см. в [1. 2])-

Важным направлением исследований прошлого столетия является изучение интегрируемых систем классической механики, но эта проблема осталась актуальной и в наше время. Под интегрируемыми системами подразумеваются гамильтоновы системы с т степенями свободы, обладающие т независимыми интегралами движения, попарные скобки Пуассона которых равны нулю (см. [3]).

Задача интегрирования гамильтоновых систем (не записанных еще в канонической форме) обсуждалась уже в работах Бернул-ли, Клеро, Даламбера, Эйлера, Лагранжа, связанных с применением идей и принципов Ньютона к различным задачам механики. Интегрируемыми считались лишь те задачи, которые можно было решить с помощью конечного числа алгебраических опереций и квадратур - вычислений интегралов известных функций. Однако наибо-

лее актуальные задачи динамики (например, задача п тел) оказались непроинтегрированными.

Позже Гамильтон и Якоби разработали общий метод интегрирования уравнений динамики, основанный на введении специальных канонических координат. Идея метода Гамильтона-Якоби восходит к работам Пфаффа, Коши по теории характеристик. Согласно этому методу задача интегрирования канонических уравнений Гамильтона сводится к отысканию производящей функции канонического преобразования, удовлетворяющей нелинейному уравнению Гамильтона-Якоби (см. [4]). Наиболее эффективным способом решения уравнения Гамильтона-Якоби является метод разделения переменных (см. [4]). Этод метод неинвариантен по своей сути и требует большой изобретательности при выборе подходящих переменных. Поэтому, применяя этот метод, часто использовали обратный путь, то есть сначала находили какую-либо замечательную подстановку, а затем разыскивали задачи, в которых она могла быть с успехом применена. Например, в качестве такой подстановки Якоби ввел эллиптические координаты. С помощью эллиптических координат (и их вырождений) Якоби и его последователями решен ряд новых задач динамики, среди которых задача о геодезических на квадриках и задача о движении точки по многомерной сфере в силовом поле с квадратичным потенциалом. Впоследствии Лиувилль и Штеккель указали доволно общий вид гамильтонианов, допускающих разделение переменных. Теперь такие системы называют системами Лиувилля и системами Штеккеля (обсуждение этого вопроса см. в [5]).

При решении уравнений вращения свободного твердого тела и уравнений задачи двух неподвижных гравитируюгцих центров Эйлер впервые столкнулся с проблемой обращения эллиптических интегралов. Явное интегрирование уравнений движения в других классических задачах привело к более сложным абелевым функциям. В работах Ковалевской и ее последователя Кеттера техника интегрирования дифференциальных уравнений в абелевых функциях достигла большого совершенства.

Практически во всех проинтегрированных задачах известные первые интегралы оказались либо рациональными функциями, либо полиномами. Поэтому они продолжаются в комплексную область изменения канонических переменных как однозначные голоморфные или мероморфные функции фазовых переменных. Однозначный гамильтониан порождает комплесифицированную гамильтонову систему. При этом решения, как функции комплексного времени, часто оказываются мероморфными. В качестве примеров можно указать задачу Якоби о движении точки по трехосному эллипсоиду, волчок Ковалевской, случай Клебша в задаче о движении твердого тела в идеальной жидкости. В связи с этим возникла задача о соотношении между существованием однозначных голоморфных интегралов и ветвлением решений в комплексной плоскости времени; ее постановка восходит к Пенлеве. Результаты в этом направлении можно найти в [1, 2, 6].

Таким образом, появляются два разных подхода к вопросу интегрируемости. С одной стороны можно утверждать, что динамическая система вполне интегрируема, когда она допускает достаточное

число независимых и однозначных первых интегралов. С другой стороны, под интегрируемыми системами можно понимать такие системы, которые допускают решения вполне конкретного вида, в частности, в виде мероморфных функций комплексного времени. Такие системы часто называют алгебраически интегрируемыми. В некоторых работах (см., например, [7]) под алгебраически интегрируемыми системами понимаются гамильтоновы системы с полиномиальными правыми частями, поверхности уровня инволютивных интегралов которых параметризуются абелевыми торами, а их решения выражаются через мероморфные функции на этих торах.

Такой подход к этой проблеме, восходящий к Ковалевской, связан с изучением поведения решений в плоскости комплексного времени. В классической работе Ковалевской [8] "Задача о вращении твердого тела около неподвижной точки" исследуется вопрос интегрируемости уравнений Эйлера-Пуассона. Ковалевская заметила, что в известных интегрируемых случаях (случай Эйлера и случай Ла-гранжа) решения являются мероморфными функциями времени. Она задалась целью найти все возможные условия, при которых решения также являются мероморфными функциями времени. Проводя исследование исходя из этого условия, она получила еще один интегрируемый случай, который в настоящее время носит ее имя. Метод Ковалевской развит в работах Ляпунова [9], Иошиды [10,11] и других авторов. Интересные применения метода Ковалевской к различным задачам динамики можно найти в работах [12, 13]. Как показано в работах Иошиды, метод Ковалевской особенно эффективен для ква-

зиоднородных систем дифференциальных уравнений. Данная работа посвящена исследованию одной из таких систем.

В первой главе дается определение квазиоднородных систем и в качестве примера рассматривается гамильтонова система с однородным потенциалом. Также обсуждается метод Ковалевской и, в частности, его применение к гамильтоновым системам с двумя степенями свободы и однородным потенциалом. В результате исследований выяснилось, что для гамильтоновых систем, потенциальная энергия которых является однородным многочленом первой и второй степеней, задача решается в элементарных однозначных функциях. А для гамильтоновых систем, потенциальная энергия которых является однородным многочленом пятой степени и выше, вопрос алгебраической интегрируемости решается просто: решения таких систем ветвятся в плоскости комплексного времени. Таким образом, реальный интерес представляют гамильтоновы системы с потенциалами третьей и четвертой степеней.

Вторая глава посвящена исследованию гамильтоновых систем с двумя степенями свободы, потенциальная энергия которых являестя однородным многочленом третьей степени. Такие системы описываются гамильтонианом

I

Н = ~(у\ + у\) + ах\ + Ъх\х2 + йх 2

где а, Ь, и й- вещественные коэффициенты. В результате применения метода Ковалевской получены следующие соотношения на эти коэффициенты, при которых возможна алгебраическая интегрируемость: 1) Ь = 0; 2) а = 0, 26 = с?; 3) Ь = 3(1. Затем проведено явное ин-

тегрирование в этих трех случаях. Причем первый случай является тривиальным (переменные разделяются), второй - был известен ранее (например, см. [14]), а третий является обобщением также ранее известного случая: а = О ,Ь = 3с1 (см. [14]).

В третьей главе проводится исследование гамильтоновых систем с двумя степенями свободы, потенциальная энергия которых является однородным многочленом четвертой степени. Они задаются гамильтонианом

Н = + 2/1) + ах I4 + Ьх ^х2 + сх г2х22 + с/ж24,

где а, Ь, с, и (I - вещественные коэффициенты. Аналогично предыдущей главе с помощью метода Ковалевской получены соотношения на коэффициеныты а, 6, с, и (¿, при которых возможна алгебраическая интегрируемость: 1) Ь = 0, с = 0; 2) Ъ = 0, с = 6а, с? = а; 3)6 = 0, с = 2а, <1 = а. Также проведено явное интегрирование в этих случаях.

В заключении проведена систематизация всех полученных результатов.

Таким образом, в результате проведенных исследований получена полная классификация алгебраически интегрируемых гамильтоновых систем с двумя степенями свободы, потенциальная энергия которых является однородным многочленом обобщенных координат. Более того, среди полученных алгебраически интегрируемых случаев один является новым (Ъ = Зс? и а - произвольное вещественное число).

Заключение диссертации по теме «Теоретическая механика», Пономарева, Мария Юрьевна

Заключение

В работе рассмотрена гамильтонова система

дН дН

х = , у =

ду ' дх '

где х — (х\,х2) ~ обобщенные координаты, у =(?/1,у2) ~ обобщенные импульсы, с гамильтонианом:

Н=1-у2 + У(х\

где У(х) - однородный многочлен степени к > 0.

Если к = 1 или к = 2, то ее решения представимы в элементарных функциях, однозначных на плоскости комплексного времени.

Если к > 3, то исходная гамильтонова система является квазиоднородной с показателями квазиоднородности д = 2/(к — 2) (по координатам), £ = к/{к — 2) (по импульсам). Гамильтонова система

допускает частные решения вида:

= (г = 1>2)>

где постоянные сг- удовлетворяют алгебраической системе уравнений

—= (г = 1,2).

Однозначность решений возможна при целых значениях д. Следовательно, к может принимать значения 3 и 4. Таким образом, интерес представляют гамильтоновы системы с потенциалами третьей и четвертой степени. Подробное исследование этих двух случаев привело к следующим результатам:

I. При к — 3

Н = ~{у\ + у\) + ах\ + Ьх\х2 + ¿х\, о,

Соответствующая гамильтонова система является алгебраически интегрируемой лишь в следующих случаях:

1)6 = 0;

2) а = 0 ,26 = ; 3) 6 = 3<*.

II. При к = 4

Д" = + ?/!) + ах1 + Ъх\х2 Ч- сх\х2 + 5 а, 6, с, б? € Д.

¿и

Оказывается, алгебраическая интегрируемость имеется лишь в следующих случаях:

1) 6 = 0, с = 0;

2) 6 = 0, с = 6а, й = а ;

3) 6 = 0, с = 2а, (I = а.

Список литературы диссертационного исследования кандидат физико-математических наук Пономарева, Мария Юрьевна, 1999 год

Литература

[1] Козлов В.В. Интегрируемость и неинтегрируемость в гамиль-тоновой механике//Успехи мат. наук, 1983, т.38, в.1, с.3-67.

[2] Козлов В.В. Симметрии, топология и резонансы в гамильтоно-вой механике. Ижевск, 1995.

[3] Арнольд В.И. Математические методы классической механики. М.: Наука, 1974.

[4] Гантмахер Ф.Р. Лекции по аналитической механике. М.: Физ-матгиз, 1960.

[5] Арнольд В.И.,Козлов В.В., Нейштадт А.И. Математические аспекты классической и небесной механики. М.: ВИНИТИ. 1985.

[6] Козлов В.В., Фурта С.Д. Асимптотики решений сильно нелинейных систем дифференциальных уравнений. М.: Изд-во Моск. ун-та. 1996.

[7] Adler М., van Moerbeke Р. Completely integrable systems, Euclidean Lie algebras and curvers//Adv.Math., 1980, v.38, p.267-317.

[8] Ковалевская С.В. Задача о вращении твердого тела около неподвижной точки// Научные работы. М.:, 1948, с.153-220.

[9] Ляпунов A.M. Об одном свойстве дифференциальных уравнений задачи о движении тяжелого твердого тела имеющего неподвижную точку//Собрание сочинений. T.l. М.: Изд-во АН СССР, 1954, с.402-417.

[10] Yoshida Н. Necessary condition for the existance of algebrais first integrals 1,11//Celest. Mech., 1983, v.31, p.363-399.

[11] Yoshida H. A criterion for the nonexistence of an additional analytic integral in Hamiltonian systems with n degrees of freedom//Phys. Lett. A., 1989, v.141, N.3,4, p.108-112.

[12] Борисов А.В., Цыгвинцев А.В. Показатели Ковалевской и интегрируемые системы классической динамики 1,И//Регулярная и Хаотическая Динамика, 1996, N.1, с.15-37.

[13] Борисов А.В. Необходимые и достаточные условия интегрируемости уравнений Кирхгофа//Регулярная и Хаотическая Динамика, 1996, N.2, с.61-73.

[14] Переломов A.M. Интегрируемые системы классической механики и алгебры Ли. М.: 1990.

[15] Гантмахер Ф.Р. Теория матриц. М.: Наука, 1967.

[16] Козлов В.В. Тензорные инварианты квазиоднородных систем дифференциальных уравнений и асимптотический метод Ковалевской-Ляпунова// Матем. заметки. 1992, 51, вып.2, с. 4652.

[17] Bountis Т., Segur H., Vivaldi F. Integrable Hamiltonian systems and the Painleve property//Phys. Rew. A. General Physics. 1982, v. 25, N.3, 1257-1264.

[18] Орехов В.И. Топологический анализ натуральных систем с квадратичными интегралами//ПММ, 1985, т.49, N.1, 10-15.

[19] Hall L. A theory of exact and approximate configurational invariants//Phys.D., 1983, v.8, 90-116.

[20] Айне Э.Л. Обыкновенные дифференциальные уравнения. Харьков, ОНТИ, 1939.

[21] Голубев В.В. Лекции по аналитической теории дифференциальных уравнений. М.-Л., Гостехиздат, 1950.

[22] Уиттекер. Е.Г. Аналитическая динамика. М.-Л.: Гостехиздат, 1937.

[23] Yoshida Н. A criterion of the non-existence of an additional integral in Hamiltonian systems with a homogeneous potential//Physica 29D, 1987, 128-142.

[24] Yoshida H. A note on Kowalevsky exponents and the nonexistence of an additional analytic integral//Celest.Mech., 1988, v.44, 313-316.

[25] Зиглин С.Л. Ветвление решений и несуществование первых интегралов в гамильтоновой механиек 1,П//Функц. анализ и его прилож., 1982, т.16, вып.З, 30-41, 1983, т.17, вып.1, 8-23.

[26] Chang Y., Tabor M., Weiss J. Analytic structure of Henon-Heiles Hamiltonian in integrable and nonintegrable regimes// J. of Math. Phys., 1982, v.23, N.4, 531-538.

[27] Chang Y., Greene J., Tabor M., Weiss J. The analytic structure of dynamical systems and self-similar natural boundaries// Physica 8D, 1983, 183-207.

[28] Голубев В.В. Лекции по интегрированию уравнений движения тяжелого твердого тела около неподвижной точки. M.-JL, Госте-хиздат, 1953.

[29] Garnier R. Sur une classe de systemas differential abelien deduits theorie des equations lineaires//Rend.Circ.Matem. Palermo. 1919, v.43, N.4, 155-191.

[30] Дубровин Б.А., Кричевер И.М., Новиков С.П. Интегрируемые системы I. В кн.: Итоги науки и техники. Динамические системы - 4. М.: ВИНИТИ. 1985, 179-285.

[31] Интегрируемые системы II. В кн.: Итоги науки и техники. Динамические системы - 7. М.: ВИНИТИ. 1987, 86-226.