CC BY
7Нелинейная динамика. 2015. Т. 11. № 2. С. 343-352. Полнотекстовая версия в свободном доступе http://nd.ics.org.ru
ПЕРЕВОДНЫЕ СТАТЬИ
УДК: 531.36
М8С 2010: 70Н05, 70Н15, 70Е50
О преобразовании Биркгофа в случае полного вырождения квадратичной части функции Гамильтона*
А. П. Маркеев
Исследуется периодическая по времени система с одной степенью свободы. Предполагается, что она имеет положение равновесия, в окрестности которого функция Гамильтона системы представима сходящимся рядом, в котором нет членов второй степени, а члены до некоторой конечной степени I не зависят явно от времени. Предлагается алгоритм построения канонического преобразования, упрощающего структуру функции Гамильтона до членов степени I включительно.
В качестве приложения рассмотрен один особый случай, когда разложение функции Гамильтона начинается с членов третьей степени. Для этого случая получены достаточные условия неустойчивости положения равновесия по формам четвертой и пятой степеней.
Ключевые слова: система Гамильтона, канонические преобразования, устойчивость
* Перевод статьи "On the Birkhoff Transformation in the Case of Complete Degeneracy of the Quadratic Part of the Hamiltonian", опубликованной в журнале Regular and Chaotic Dynamics, 2015, vol. 20, no. 3, pp. 309-316.
Получено 08 февраля 2015 года После доработки 24 февраля 2015 года
Исследование выполнено за счет гранта Российского научного фонда (проект № 14-21-00068) в Московском авиационном институте (Национальном исследовательском университете).
Маркеев Анатолий Павлович markeev@ipmnet.ru
Институт проблем механики им. А. Ю. Ишлинского РАН 119526, Россия, г. Москва, пр. Вернадского, 101, стр. 1
1. Введение
Рассмотрим систему с одной степенью свободы, функция Гамильтона которой Н(д,р,Ь) представима сходящимся рядом вида
£
Н = £ Нк (д,р)+Н(д,р,Ь), Н = £ К^р», (1.1)
к=т
где коэффициенты форм Нк не зависят от времени Ь, через Н обозначена совокупность членов ряда, степень которых больше, чем £, а коэффициенты — непрерывные периодические функции Ь.
Система с функцией Гамильтона (1.1) допускает положение равновесия д = р = 0. Для исследования движений вблизи положения равновесия обычно делается каноническая замена переменных д, р — д', р', упрощающая структуру функции Гамильтона. В качестве такой замены чаще всего принимается преобразование Биркгофа [1] или его модификации типа метода Депри-Хори [2].
В классическом преобразовании Биркгофа предполагается, что разложение (1.1) начинается с квадратичной формы Н2. Но в конкретных задачах динамики возможны случаи, когда в разложении (1.1) члены второй степени отсутствуют. Такая ситуация возникает, например, в задаче об устойчивости и нелинейных колебаниях 2п-периодической по времени гамильтоновой системы с одной степенью свободы на границах областей параметрического резонанса. В этой задаче функция Н в разложении (1.1) имеет период 2п или 4п по Ь, причем число £ в этом разложении можно считать сколь угодно большим [3].
В статье преобразование Биркгофа обобщается на случай, когда разложение (1.1) начинается с формы Нк третьей или более высокой степени, указывается процедура получения канонической замены переменных д, р — д', р', упрощающей функцию Гамильтона. Как и в классическом преобразовании Биркгофа, эта замена переменных близка к тождественной и задается при помощи производящей функции, представимой рядом относительно старой координаты д и нового импульса р'. В качестве конкретного примера рассмотрен частный случай, когда разложение (1.1) начинается с членов третьей степени.
Системы с функцией Гамильтона (1.1) относятся к классу нелинейных систем, для которых топологический тип фазового портрета в окрестности особой точки не определяется только линейными членами. Для таких систем в монографии [4] разработана процедура аналитического представления решений в виде рядов, аналогичных рядам, используемым в первом методе Ляпунова. Особое внимание в [4] уделено связи задачи о существовании асимптотических решений, стремящихся к положению равновесия при неограниченном возрастании или убывании независимой переменной, с задачей об устойчивости самого положения равновесия. В данной статье вопрос об аналитическом представлении решений системы с функцией Гамильтона (1.1) не рассматривается.
2. Построение канонического преобразования
Пусть Н'(д',р',Ь) — функция Гамильтона (1.1) в новых канонически сопряженных переменных д', р'. Чтобы упростить функцию Н'(д',р',Ь) до членов степени £ включительно, переменные д', р введем при помощи унивалентного канонического преобразования с про-
изводящей функцией S(q,p') вида
£-m+2
S = qp' + Sk(q,p'), Sk = (2.1)
k=3 v+^=k
где sv^ — постоянные коэффициенты. Их значения предстоит определить в процессе упрощения функции H'(q',p',t).
Связь новых и старых переменных задается соотношениями
а' - — о - — (2 2)
q dp" P~dq- [2'2)
Из этих соотношений находятся выражения q = q(q' ,p'), p = p(q',p') старых переменных через новые в виде разложений с точностью до членов степени £ — m + 1 включительно относительно q', p':
/ / а / dS3(q',p') . / , ,ч , . dS3(q',pr) , fe)0,
q = q(q,p) = q--т-,— + •••, p = p(q,p)=p+—т-,— + •••• (з.з)
op' dq
Здесь многоточием обозначена совокупность членов выше второй степени относительно q', p' (до степени £ — m + 1 включительно).
Подставив разложения (2.3) в правую часть равенства (1.1), получим разложение новой функции Гамильтона H'(q',p',t) в ряд вида
£
н' =£ Hk(q',p') + H'(q',p',t), Hk = £ h'v^q'vp", (2.4)
k=m v+^=k
где H'(q',p', t) — периодическая по времени функция, разложение которой начинается с членов, степень которых относительно q', p' превосходит £.
Функции Hk(q',p') вычисляются по следующим формулам:
Hm = Hm(q',p'), (2.5)
HL+i = (S3,Hm) + Hm+l(q',p'), (2.6)
Hn = (Sn-m+2, Hm)+Hn(q',p') + Fn(q',p') (n = m + 2, ...,£). (2.7)
Здесь через (Sr, Hm) (r = 3, 4,...,£ — m + 2) обозначена скобка Пуассона функций Sr (q', p') и Hm(q',p'),
(5, я ) = 9Sr дНт dSr дНт
dq' dp' dp' dq'
Соотношения (2.5)—(2.7) рассматриваются последовательно, одно за другим. Функции Fn в (2.7) зависят от форм Hm,..., Hn-i, заданных разложением (1.1) исходной функции Гамильтона, а также от форм Sk, вычисленных для k = 3, 4,...,n — m + 1.
Из (2.5)—(2.7) следует, что в новых переменных структура членов наименьшей степени m в разложении функции Гамильтона остается такой же, какой она была в старых переменных; структуру же членов более высокой степени (от m + 1 до £ включительно) выбором пока еще не определенных коэффициентов форм S3,..., S—m+2 можно сделать более удобной для анализа движения системы. В простейшем случае можно, например, стремиться выбрать коэффициенты форм S3,..., S—m+2 так, чтобы уничтожить в формах H'm+i,. ..,H£ максимальное количество одночленов h'v^q'vp'^.
3. Пример
Пусть т = 3, то есть разложение (1.1) начинается с членов третьей степени Нз(д,р). При этом можно считать (см. статью [3]), что функция Нз имеет одну из четырех ее простейших форм
1) д(д2 + р2), 2) д(д2 - р2), 3) д2р, 4) д3, (3.1)
к которым члены третьей степени приводятся при помощи линейного канонического преобразования. Здесь и в следующем разделе полагаем, что Нз = д3.
Упрощение функции Гамильтона. Следуя разделу 2, сделаем замену переменных д, р — д', р', задаваемую соотношениями (2.2), в которых
5 = 5 (д,р') = др' + Б3 + 5*4 + ... + Б-ъ (3.2)
Равенства (2.5)-(2.7) записываются в следующем виде:
Н3 = д'3, (3.3)
н^-г^Щ^ + щШ), (3.4)
др'
Н> = _Зд'2 + Н5(д>,р>) + ^(д',^), (3.5)
др'
К = -Зд'2 + Яг(д',р') + Еп(д',р') (п = 6,?,...,£). (3.6)
др'
В (3.5) — форма пятой степени относительно д', р',
коэффициенты которой вычисляются по следующим формулам:
¡50 = 98^ + 3830 Л-31 - 4821 Л-40,
/41 = 30821812 + 6830Л-22 - 821^,31 - 8812Л-40,
¡32 = 3 6821803 + 24822 + 9830Л-13 + 2821 Л-22 - 58^31 - 12803^40, ¡23 = 5 4812803 + 12830 ^04 + 5821Л-13 - 2812Л-22 - 9803Л-31, ¡14 = 27803 + 8821 Л-04 + 812Л-13 - 6803^22, ¡05 = 4812 Л-04 - 3803 Л-13.
Сравнив коэффициенты одночленов одинаковых степеней относительно д', р' в правых и левых частях равенств (3.4)-(3.6), найдем выражения для коэффициентов Н'1, форм Н к в разложении новой функции Гамильтона по степеням д', р'.
Для коэффициентов формы четвертой степени эти выражения имеют вид:
Ню = -3821 + Л-40, Нц = -6812 + , = -9803 + Л-22, (3.8)
^13 = Н13, Н04 = Н04, (3.9)
(3.7)
а для коэффициентов формы пятой степени —
Л/50 = -3«31 + Л-50 + ¡50, Кг = -6в22 + Н41 + ¡41, (3.10)
Н32 = -9813 + Л32 + ¡32, Л2з = -Ш04 + Н23 + ¡23, (3.11)
Н14 = Н14 + ¡14, Н05 = Н05 + ¡05. (3.12)
Рассмотрим члены четвертой степени Н4 в разложении новой функции Гамильтона Н' в ряд. Из равенств (3.8) следует, что если положить
«21 = | Л'40, «12 = | Л'ЗЪ «03 = | Л'22, (3.13)
то три коэффициента формы Н4 обратятся в нуль:
Лю = Л31 = Л/>2 = 0. (3.14)
Коэффициенты же Н^ и Н04, как это видно из равенств (3.9), не поддаются упрощению.
Таким образом, если три коэффициента 821, 812, 803 формы 53 в производящей функции (3.2) задать равенствами (3.13) (оставив четвертый коэффициент 830 произвольным), то получим, что в новой функции Гамильтона члены четвертой степени имеют вид
Н4 = Н^'р'3 + Н'04'Р'4, (3.15)
причем коэффициенты Н^, Нм совпадают с соответствующими коэффициентами Н13, Н04 формы Н4 в разложении (1.1) исходной функции Гамильтона.
Теперь рассмотрим члены пятой степени Н5/ в разложении новой функции Гамильтона в ряд. Из равенств (3.7), (3.13) и соотношений (3.10)—(3.12) получаем, что если четыре коэффициента 831, 822, 813, 804 формы 64 в производящей функции (3.2) задать равенствами (при произвольном выборе 840)
«31 = 2 Л'50 - д Л'40 + Л'31«30, «22 = |7 Л-41 + Л'22«30, (3.16)
513 = -^ Л'32 —77 + Л'40Л'22+Л'13530, «04 = "¡ТТ Л'23 + ^г Л'4оЛ'13 — тк Л'31^22+Л'04«30, (3.17)
то четыре коэффициента формы Н5/ обратятся в нуль:
Н50 = Н41 = Н'32 = Н'23 = 0. (3.18)
Коэффициенты же Н^, Н'05 уничтожить нельзя. Члены пятой степени в новой функции Гамильтона имеют вид
Н5 = Н^'р'4 + Н>05Р'5, (3.19)
где коэффициенты Н^, Н05 выражаются через коэффициенты форм Н4 и Н5 в разложении (1.1) исходной функции Гамильтона по следующим формулам:
1г'и — Л. 14 + - /г40/г04 — о + тт Л31Л13
^ и2 ' ^ "'31"13,
(3.20)
Л'05 — Л'05 + ^ Л31Л04 — Л13Л22
Отметим, что произвол в выборе коэффициентов S30 и S40 форм S3 и S4 в производящей функции (3.2) не влияет на значения коэффициентов форм (3.15) и (3.19) в разложении преобразованной функции Гамильтона в ряд.
Аналогично можно рассмотреть члены шестой и более высоких степеней, до степени £ включительно. В результате получим, что при помощи не зависящего от времени унивалент-ного канонического преобразования, задаваемого производящей функцией (2.1), исходную функцию Гамильтона (1.1) можно привести к новой функции H'(q',p', t), обладающей следующей структурой:
í-i í
H = q'3 + q'Y, h'ii p'i + Е h0j pj + H'(q',p', t). (3.21)
i=k j=n
Здесь 3 ^ k ^ £ — 1, 4 ^ n ^ £, а H'(q',p',t) — периодическая по времени совокупность членов выше степени £ относительно q', p'.
Об устойчивости положения равновесия. Исследуем задачу об устойчивости положения равновесия q = p = 0 системы с функцией Гамильтона (1.1), в которой H3 = q3. Эта задача, очевидно, эквивалентна задаче об устойчивости равновесия q' = p' = 0 в системе с упрощенной функцией Гамильтона (3.21). Для конкретности ограничимся исследованием устойчивости по формам четвертой и пятой степени в разложении функции Гамильтона в ряд.
Функцию Гамильтона (3.21) запишем в виде
H' = q'3 + H4 + H5 + ... + Hí + H '(q' ,p',t). (3.22)
Здесь формы H4 и H'5 задаются равенствами (3.15) и (3.19). При помощи теоремы Чета-ева [5] получим достаточные условия неустойчивости, выраженные через коэффициенты этих форм.
Теорема. Если хотя бы один из коэффициентов (3.9), (3.20) форм H4 и H'5 отличен от нуля, то положение равновесия неустойчиво.
Чтобы убедиться в справедливости сформулированной теоремы, достаточно рассмотреть следующие три отличающиеся один от другого случая: 1) h'^ = 0, 2) h'04 = 0, h'05 = 0, 3) h04 = 0, h05 = 0.
1. Случай h'i3 = 0. Здесь, в зависимости от значений коэффициентов h'04 и h'05, имеется три возможности (при этом для каждой из них коэффициент может принимать произвольные значения).
1. h04 = 0, h05 произволен. Вместо переменных q', p' введем новые переменные £, п при помощи канонического (с валентностью c = h^3^5) преобразования
q' = h04-l/5e, p' = h04-2/5П. (3.23)
Отвечающая новым переменным функция Гамильтона Г задается равенством Г = cH, в правой части которого величины q', p' заменены их выражениями (3.23) [6]. Получаем
Г = е3 + п4 + £ (713 п3 + 714 п4) + 705 п5 + Об, (3.24)
713 = hl3 h04-4/5, 714 = hl4 h04-б/5 , 705 = h05 h04 ^.
Здесь и всюду в дальнейшем через Об обозначается совокупность членов выше пятой степени относительно £, п-
В качестве функции Четаева возьмем функцию
у = £2п8/3 - (£ + п4/3)2, (3.25)
где 0 < е « 1, а за область V > 0 примем область, определяемую следующими условиями:
П < 0, £ = (-1 + ев) п4/3 (-1 <в< 1).
Для производной функции (3.25) в силу уравнений движения, задаваемых функцией Гамильтона (3.24), в области V > 0 получаем такое выражение:
^ = 8е М13/3{г[1 + 2/32 - г/3(2 + 02 - £¡3)} + 0(\г,\1/3)}. (3.26)
При достаточно малом фиксированном значении е функция (3.26) положительна, если величина \п\ достаточно мала. Отсюда на основании теоремы Четаева следует неустойчивость положения равновесия.
2. Ъ!04 = 0, Ь'05 = 0. Каноническая (с валентностью с = \ \3/4) замена переменных
ч' = \Л'хз Г1/4£, Р = МзГ1/2п
преобразует функцию Гамильтона (3.22) к функции Г вида
Г = £3 + а£п3 + 7м£п4 + 705П5 + Об, (3.27)
714 = Н'и \^13\Г3/2, 705 = ^05 №3\г7/4, а = sign(h/lз). Если а = 1, то в качестве функции Четаева можно взять функцию V = е2 \ п\3 - (£ - \ п\3/2)2 (0 < е « 1),
а за область V > 0 принять область, в которой п < 0, а £ = (1 + ев)\п\3/2 (-1 < в < 1)- Для производной функции V в области V > 0 имеем выражение
^ = 3£[г,\5{ф + 02 +3е/3(2 +в2 +ев)} + ОЦг,^2)}. (3.28)
Если же а = -1, то за функцию Четаева принимаем функцию
V = е2 п3 - £2 (0 < е « 1),
а в качестве области V > 0 берем область, где п > 0, £ = евп3/2 (-1 < в < 1). В этой области
^ = 3£'Г]5[£(1 + 2в2) -3£2в2 + 0(г]1/'2)]. (3.29)
При малом е достаточно близко к положению равновесия правые части равенств (3.28) и (3.29) положительны. Следовательно, согласно теореме Четаева, положение равновесия неустойчиво (как в случае а =1, так и в случае а = -1).
3. Н'о4 = 0, Н'о5 = 0. Здесь доказательство неустойчивости положения равновесия почти полностью совпадает с соответствующим доказательством в предыдущем случае, когда Ь'о4 = 0, а = 0. Отличие состоит только в том, что в функции (3.27) величина 705
должна равняться нулю, а в правых частях выражений (3.28) и (3.29) величины 0(|п|132) и 0(п1/2) должны быть заменены, соответственно, на 0(|п|) и О(п).
2. Случай Н13 = 0, Н^ = 0. Как и в случае Н^ = 0, здесь, в зависимости от значений коэффициентов Н04 и Н'05, следует рассмотреть три возможных ситуации.
1. Н04 = 0, НГ05 произволен. Сделав замену переменных (3.23), придем к функции Гамильтона (3.24), в которой 713 = 0. Доказательство неустойчивости осуществляется с использованием функции Четаева (3.25).
2. Н'04 =0, Н'05 =0. Сделав каноническую (с валентностью Н05 3 ) замену переменных
я' = н>05-137С, р' = Н05-237п, (3.30)
придем к системе с функцией Гамильтона
г = е3 + п5 + 714Сп4 + Об (714 = Н;14 Н05-637). (3.31)
Положим
у = е2 п10/3 - (С + п533)2 (0 <е < 1), (3.32)
а за область V > 0 примем область, в которой п < 0, С = (-1 + ев)п533 (-1 < в < 1). Для производной функции V имеем в области V > 0 такое выражение:
^ = 10гМ17/3{г[(1 +2/32) - г[3(2 + [З2 - г[3)] + 0(|г?|2/3)}. (3.33)
При малом значении е правая часть выражения (3.33) положительна, если величина 1п1 достаточно мала. Отсюда, на основании теоремы Четаева, следует неустойчивость положения равновесия.
3. Н04 = 0, НГ05 =0. В этом случае каноническое преобразование
4 = |Н714 Г13Ч, р' = |Н141-133п
приводит функцию Гамильтона (3.22) к такой форме:
г = е3 + аСп4 + Об (а = ^(^14)). (3.34)
Пусть а = 1. Рассмотрим функцию V = -п. Для ее производной в силу уравнений движения с функцией Гамильтона (3.34) имеем выражение
^ :'<2 •//' •.... (3.35)
где многоточием обозначена совокупность членов выше четвертой степени относительно £, п. В области V > 0, задаваемой неравенством п < 0, при достаточно малых |£|, Щ функция (3.35) положительна. Поэтому из теоремы Четаева следует, что положение равновесия неустойчиво.
Отметим, что этот же вывод следует и из первой теоремы Ляпунова о неустойчивости [5], так как функция (IV/йЬ знакоопределенная (определенно-положительная), а функция V не является знакопостоянной, знака, противоположного с йМ/йЬ.
Пусть теперь а = -1. Положим в правой части равенства (3.34) а = -1 и запишем функцию г в виде
г = е3 - еп4 + 706пб + 0*6, (3.36)
где Об* — совокупность членов выше пятой степени относительно £, п, не содержащая одночлена 706пб, который выделен из совокупности членов Об в функции (3.34) и явно выписан в правой части равенства (3.36).
Для доказательства неустойчивости возьмем функцию Четаева в виде
V = е2 к2п4 - (£ - кп2)2 (0 < е « 1), (3.37)
где к — некоторая постоянная, которая будет выбрана ниже при анализе производной функции (3.37) в силу уравнений движения с функцией Гамильтона (3.36).
За область V > 0 примем область, в которой п < 0, £ = (1 + ев) кп2 (-1 < в < 1). Вычисления показывают, что в этой области для производной функции V справедливо представление
^ = 4ек |г]\7{ек [(3к2 - 1)(1 + 2/32) + 3е/3к2(2 + /З2 + ер)] + 30Р3(к) + О(М)}, (3.38)
где Р3(к) — многочлен третьей степени вида
Р3 = к3 - к + 706.
Несложно убедиться, что этот многочлен при любом значении величины 706 имеет хотя бы один вещественный корень /г*, удовлетворяющий неравенству |/г*| > \/3/3. Если теперь в функции V положить к = к*, то ее производная (3.38) при малом е и достаточно малых \п\ будет положительной. Неустойчивость равновесия доказана.
3. Случай Л/13 = 0, Л/14 = 0. Здесь следует рассмотреть две возможные ситуации.
1. Л04 = 0, Л05 произволен. Замена переменных (3.23) приводит функцию Гамильтона (3.22) к функции Г, задаваемой равенством (3.24), в правой части которого следует положить 713 = 714 = 0. Доказательство неустойчивости можно получить, использовав функцию Четаева (3.25).
2. Л'04 = 0, Л'05 = 0. Сделав замену переменных (3.30), получим функцию Гамильтона, определяемую формулой (3.31), в которой 714 = 0. Доказательство неустойчивости осуществляется при помощи функции Четаева (3.32).
Рассмотрением этого случая завершается доказательство теоремы о неустойчивости положения равновесия д = р = 0 исходной системы с функцией Гамильтона (1.1).
Список литературы
[1] Биркгоф Д. Динамические системы. Ижевск: УдГУ, 1999. 408 с.
[2] Джакалья Г. Е. О. Методы теории возмущений для нелинейных систем. Москва: Наука, 1979. 319с.
[3] Маркеев А. П. Упрощение структуры форм третьей и четвертой степеней в разложении функции Гамильтона при помощи линейного преобразования // Нелинейная динамика, 2014, т. 10, №4, с. 447-464.
[4] Козлов В. В., Фурта С. Д. Асимптотики решений сильно нелинейных систем дифференциальных уравнений. Москва: МГУ, 1996. 244 с.
[5] Малкин И. Г. Теория устойчивости движения. Москва: Наука, 1966. 532 с.
[6] Маркеев А. П. Теоретическая механика. Москва-Ижевск: НИЦ «Регулярная и хаотическая динамика», 2007. 592 с.
352
A. n. MapKeee
On the Birkhoff transformation in the case of complete degeneracy of the quadratic part of the Hamiltonian
Anatoly P. Markeev
A. Ishlinsky Institite for Problems in Mechanics, Russian Academy of Sciences
pr. Vernadskogo 101-1, Moscow, 119526, Russia
markeev@ipmnet.ru
A time-periodic system with one degree of freedom is investigated. The system is assumed to have an equilibrium position, in the vicinity of which the Hamiltonian is represented as a convergent series.This series does not contain members of the second degree, whereas the members to some finite degree i do not depend explicitly on time. The algorithm for constructing a canonical transformation is proposed that simplifies the structure of the Hamiltonian in members to degree i, inclusive. As an application, a special case is considered when the expansion of the Hamiltonian begins with members of the third degree. For this case, sufficient conditions for instability of the equilibrium are obtained depending on the forms of the fourth and fifth degrees.
MSC 2010: 70H05, 70H15, 70E50
Keywords: Hamiltonian system, canonical transformation, stability
Received February 08, 2015, accepted February 24, 2015
Citation: Rus. J. Nonlin. Dyn., 2015, vol. 11, no. 2, pp. 343-352 (Russian)
