Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev ›...
TRANSCRIPT
![Page 1: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/1.jpg)
Лекция 4. Гамильтоновы системы
1. Уравнения Гамильтона.2. Интегрируемые гамильтоновы системы.3. Теория возмущений интегрируемыхгамильтоновых систем.
![Page 2: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/2.jpg)
1. Уравнения Гамильтона.1.1 Основные свойства
Будем называть систему в 2N-мерном фазовом пространствегамильтоновой, если существуют такие переменные
и скалярная функция H(p,q,t), что системазаписывается в виде
NN qp R,R ∈∈
NiqHp
pHq
ii
ii ,...,1,; =
∂∂
−=∂∂
= &&
0
222
2
22
2
=+⇒⎩⎨⎧
−==
+=
qqqp
pq
qpH
ωω
ω
&&&
&
Пример 1. Линейный осциллятор p
q
![Page 3: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/3.jpg)
1. Если гамильтониан не зависит явно от времени, онсохраняется вдоль фазовых траекторий гамильтоновойсистемы (является первым интегралом):
2. Гамильтонова система сохраняет фазовый объем:
- поле скоростей гамильтоновой системы.
![Page 4: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/4.jpg)
1.2 Скобки Пуассона
Рассмотрим некоторую функцию f(p,q,t). Её полнаяпроизводная в силу системы равна:
Скобкой Пуассона функций g и f называется функция
Функция f сохраняется вдоль траекторий системы тогда итолько тогда, когда {H,f} = 0.
![Page 5: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/5.jpg)
Свойства скобки Пуассона:
Из свойства 4 вытекает теорема Пуассона: если f и g –постоянные движения, то {f,g} тоже является постояннойдвижения.
![Page 6: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/6.jpg)
1.3 Канонические преобразования
p
qt
111 ,, tpq
222 ,, tpqL
LL ∆+
На L: p = p(t), q = q(t)
На L+DL: p = p(t) + Dp(t), q = q(t) + Dq(t)
Рассмотрим величину (функционалдействия):
![Page 7: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/7.jpg)
уравнения Гамильтона вариация действияобращается в ноль
⇔
Будем искать каноническое преобразование, исходя извариационного принципа. То есть, преобразованиедолжно сохранять форму p dq – H dt.Определим преобразование (p,q) → (P,Q) следующимобразом: зададим функцию ,
![Page 8: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/8.jpg)
Таким образом, исходная задача эквивалентна задаче овариации функционала
![Page 9: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/9.jpg)
Следовательно, уравнения движения в новых переменных(P,Q) – гамильтоновы с новым гамильтонианом
Пример 2. Тождественное преобразование
![Page 10: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/10.jpg)
2. Интегрируемые гамильтоновы системы
Рассмотрим (не обязательно гамильтонову) систему
Непостоянная функция F(x) на Mn называется первыминтегралом этой системы, если F(x(t)) = const для всехрешений x(t).Существование первого интеграла позволяет (в принципе) понизить порядок системы на единицу. Если есть (n – 1) первых интегралов, система интегрируема.
nn RMxxfx ⊂∈= ),(&
![Page 11: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/11.jpg)
Гамильтоновский случай.
NiqHp
pHq
ii
ii ,...,1,; =
∂∂
−=∂∂
= &&
Пусь F – первый интеграл. Можно (в принципе) сделатьтакую каноническую замену координат , что
Тогда гамильтониан в новых переменных несодержит переменную xN. Следовательно,
-гамильтонова система с N -1 степенью свободы. Т.о.,один первый интеграл гамильтоновой системы позволяетпонизить на единицу число степеней свободы (а порядоксистемы на два).
),(),( xyqp a.),( NyxyF =
1,...,1,; −=∂∂
−=∂∂
= NixHy
yHx
ii
ii &&
![Page 12: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/12.jpg)
Функции F и G называют находящимися в инволюции, если{F,G} = 0.
Теорема (Лиувилля-Арнольда). Если гамильтонова система с N степенями свободы и га-мильтонианом H(p,q) имеет N независимых первых интегра-лов в инволюции, то фазовое пространство расслаивается наN-мерные инвариантные торы и существует каноническаязамена переменных (p,q)→(I, φ) такая, что
)(),(и
2 modd,
0 IHqpH
TRI NN
=
∈∈ πϕ
Переменные (I, φ) – каноническиепеременные «действие-угол», а H0(I) –гамильтониан H, выраженный через (I, φ).
![Page 13: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/13.jpg)
Переменные «действие-угол» в случае одной степенисвободы.
p
q S
t(p,q)p,q
q0
Определим (I, φ) следующим образом:
Докажем, что замена (p,q)→(I, φ) – каноническая. Для этогоугадаем производящую функцию.
Выберем точку p,q и проходящий через нее участоктраектории, который однозначно проектируется на ось q.
![Page 14: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/14.jpg)
Тогда
Производящая функция:
Проверим:
![Page 15: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/15.jpg)
В новых переменных
Явный вид функции H0(I) можно установить изсоотношения
![Page 16: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/16.jpg)
Пример 3.
p
q
Q
PhH =
Уровень энергии – эллипс. Поворотомможно привести к главным осям:
Действие I (h) – площадь внутриэллипса H = h, деленная на 2π:
Уравнения движения:
![Page 17: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/17.jpg)
3. Теория возмущений интегрируемых гамильтоновых систем.
3.1 Метод Линдштедта-Пуанкаре
Интегрируемая система + малое возмущение:
Используя разложения по малому параметру, попытаемсяпостроить автономную каноническую замену переменных
приводящую гамильтониан H (I,φ,ε) к видуH (J ,ε). ТогдаJ,ψ - переменные «действие-угол» для возмущеннойсистемы, и задача легко решается. Будем задавать заменупроизводящей функцией (которую предстоит найти):
При ε=0 замена должна быть тождественной:
![Page 18: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/18.jpg)
Формулы замены переменных:
Новый гамильтониан:
Разложим в ряд по ε:
В нулевом порядке по ε:
В первом порядке по ε:
![Page 19: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/19.jpg)
Разложим в ряд Фурье:
Тогда скалярноепроизведение
Подставляя, получаем отдельное уравнение для каждого k:
откуда
Аналогично можно определить Задачарешена?? Вообще-то надо еще проверить сходимостьряда Но все еще хуже.
![Page 20: Лекция 4. Гамильтоновысистемы - rssi.ru › people › avasiliev › lectures › Lecture_4.pdf · 2010-03-04 · ФункцииF иG называютнаходящимисявинволюции,](https://reader035.vdocuments.pub/reader035/viewer/2022081407/5f1c886958b45e6f1746cd64/html5/thumbnails/20.jpg)
Знаменатели в этой формуле и аналогичных дляобращаются в ноль на резонансных поверхностях:
В типичной ситуации эти поверхности образуют всюдуплотное множество (меры ноль) в фазовом пространстве, откуда следует, что функция W(J,φ) нигде не определена.
В этом состоит знаменитая проблема малых знаменателей.
Похоже, что интегрируемая система под действиемтипичного малого возмущения становится неинтегрируемой. Что можно сказать о динамике в такой системе?