CC BY
24
УДК 517.925
Вестник СПбГУ. Сер. 1. Т. 3(61). 2016. Вып. 3
О НАХОЖДЕНИИ ОБОБЩЕННЫХ
НОРМАЛЬНЫХ ФОРМ СИСТЕМ С ГАМИЛЬТОНОВОЙ НЕВОЗМУЩЕННОЙ ЧАСТЬЮ МЕТОДОМ БЕЛИЦКОГО
А. С. Ваганян
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Данная работа является продолжением совместной с В. В. Басовым статьи, посвященной нахождению структур обобщенных нормальных форм двумерных автономных систем обыкновенных дифференциальных уравнений с гамильтоновой невозмущенной частью и негамильто-новым возмущением. В предлагаемой статье рассматривается случай систем четырех и более уравнений с гамильтоновой квазиоднородной невозмущенной частью, порожденной гамильтонианом вида Н = ^"=1 Нг(хг, уг). При помощи специального разбиения возмущения, аналогичного разбиению А. Байдера и Я. Сандерса на гамильтоновы и негамильтоновы составляющие в двумерном случае, мы сводим задачу о нахождении обобщенной нормальной формы такой системы к вопросу о нормальной форме степенных рядов. Нормализация степенного ряда была ранее подробно изучена Г. Р. Белицким. Мы используем метод Г. Р. Белицкого и развиваем его идеи, вводя определения гамильтоновых резонансного и усеченного резонансного наборов, и в этих терминах формулируем теорему о нормализации. Как следствие теоремы мы приводим обобщение на случай произвольного количества жордановых клеток результата Такенса о нормальной форме системы с нильпотентной линейной частью. В частности, для п = 2 мы получаем в явном виде одну из обобщенных нормальных форм по В. В. Басову для системы четырех уравнений с невозмущенной частью (ух, 0, У2, 0). Библиогр. 7 назв.
Ключевые слова: нормальные формы, метод Белицкого, нормальная форма Такенса.
1. Введение. В настоящей работе продолжено исследование вопросов локальной классификации систем обыкновенных дифференциальных уравнений с гамильтоновой невозмущенной частью в окрестности неэлементарной особой точки, начатое автором в совместной с Басовым статье [1]. В терминологии, принятой в работах Басова (см., напр., [2]), объекты этой классификации, т.е. наиболее простые в некотором смысле системы, к которым можно прийти при помощи группы обратимых формальных преобразований, называются обобщенными нормальными формами. Речь пойдет об автономных системах 2п уравнений вида
дН ^
Хг = --\-Xi,
ду (1) дН (1)
Уг = д--Ь Уи
дХг
где гамильтониан невозмущенной системы представляет собой квазиоднородный полином обобщенной степени х с весом 7 вида
п
н = н ху, (2)
г=1
возмущение начинается с членов более высоких обобщенных степеней. От 7, в свою очередь, потребуем, чтобы выполнялось
71 + 7п+1 = ••• = 1п + 72п = о < Х-
(¡5 Санкт-Петербургский государственный университет, 2016 372 БОТ: 10.21638/11701/зрЬи01.2016.303
Данное условие означает, что скобка Пуассона квазиоднородных полиномов квазиод-нородна, а следовательно квазиоднороден и оператор Н = {Н, •}.
Как показывают исследования Басова и др., обобщенные нормальные формы таких систем выделяются из общей классификации. В то же время они представляют большой практический интерес.
2. Резонансное уравнение и резонансные наборы. Обозначим для удобства
гг хг и ги+г уг.
Следуя Белицкому (см. [3]), определим на К [г] скалярное произведение
(P,Q)=P(d)Q(z) U=0, 5= (A,..., JL),
д д
2=0, С — ( а—, • • • ,
^дг1 дг-
и рассмотрим уравнение
которое будем называть резонансным уравнением для квазиоднородного гамильтониана Н, а его полиномиальные решения — резонансными полиномами.
Обозначим линейное пространство резонансных полиномов через ЭТ. Из квазиоднородности гамильтониана Н следует, что ЭТ разбивается в прямую сумму ортогональных подпространств ЭТк квазиоднородных резонансных полиномов обобщенной степени к.
Определение 1. Будем говорить, что множество квазиоднородных полиномов Я^-,
[к] ' к € Ж+, ] = !,... ЭТ^ , образует гамильтонов резонансный набор, если для каждого к и произвольного базиса Р^г пространства ЭТк матрица скалярных произведений (я[) невырождена.
Обозначим через Н алгебру рядов, порожденную полиномиальными корнями из Нг, и положим
^ Г ^ если X = о,
1 \ {Р € ЭТ : {Р,Я) =0, УЯ € НН}, если х > о.
Линейные пространства ЭТ;, как и ЭТ, разбиваются в прямую сумму ортогональных линейных подпространств RY,; ^ RY ] [z].
Определение 2. Будем говорить, что множество квазиоднородных полиномов j,
[k]
к € Z+, j = 1,..., dimЭТ^\, образует l-й усеченный гамильтонов резонансный набор, если для каждого к и произвольного базиса Д^ i пространства матрица скалярных произведений {RY,l i, sY\ j) невырождена.
Лемма [4, лемма 1]. Произвольный векторный ряд Z = ^"=1 Xid/dxi + Yid/dyi может быть единственным образом представлен в виде
Дала aFfS д д
— /, ¡Л ¡Л ¡Л ¡Л 1 ^i&j.ii — 1гхг п ~г Тn+iVi п
dXi dyi dyi дхн дхн dyi
Теорема [4, теорема 1]. Пусть и г = 1,...,п, —произвольно выбранные га-мильтоновы мономиальные резонансные и г-е усеченные резонансные наборы для Н. Тогда существует формальное почти тождественное преобразование, приводящее возмущение системы (1) к виду
в котором каждое квазиоднородное слагаемое ряда ^ является линейной комбинацией элементов а каждое квазиоднородное слагаемое ряда Ог является линейной комбинацией элементов .
Доказательства этих утверждений можно найти в работе [4]. Отметим, что условие (2) на гамильтониан Н существенно. Оно и позволяет применить для нормализации разложение из леммы. В теории нормальных форм подобное разбиение было впервые применено Байдером и Сандерсом в работе [5] для классификации систем двух уравнений с нильпотентной невозмущенной частью.
С точки зрения определения, предложенного Басовым в работе [2], структура возмущения, описанная в теореме, еще не является обобщенной нормальной формой, т.к. определена не в стандартном базисе пространства вектор-полиномов. Тем не менее возмущение в теореме приводится к ней при помощи несложных преобразований. В частности, для всех г всегда можно обнулить любую из двух ненулевых компонент вектора Для случая двух уравнений алгоритм такой «донормализации» подробно описан в работе [1].
3. Многомерная нормальная форма Такенса. Рассмотрим систему 2п уравнений вида
с невозмущенной частью, порожденной гамильтонианом Н = -у2/2.
Соответствующая алгебра Н = К[[у]] состоит из нерезонансных полиномов. Таким образом, линейные пространства и совпадают вне зависимости от того, считаем ли мы гамильтониан Н однородным или квазиоднородным, и имеют вид
Согласно [7, теорема 9], полиномы вида ха Мв, не содержащие произведений хгс г < ] < к и МцМы с г < ] < к < I, образуют базис пространства Следовательно, в условиях теоремы наборы и Тг можно выбрать не зависящими
Следствие [4, теорема 2]. Система (3) формально эквивалентна системе вида
xi yi?
Vi = fi + УгЯг,
где ряды fi, дг не зависят от уг.
Формула из следствия естественным образом обобщает нормальную форму Такенса (см. [6, proposition 2.2]) и совпадает с ней, если n = 1.
хг = Уг + Xi,
Уг = Yi
(3)
R = Ri = R[x, M], M = {Mij = xiyj - xjyi : 1 < i < j < n}.
от yi.
Пример. Пусть п = 2. В этом случае гамильтоновы резонансные наборы и Тг определяются условиями из формулировки следствия однозначно и состоят из мономов х\гхр2у2, р1 > Ц2, для г = 1 и х\гхр2у^, р2 > Ц1, для г = 2. Соответствующая обобщенная нормальная форма имеет вид
х1 = у1,
У1 = Е у1(р1 ,Р2'0,92)х?1 х22У22 + У1 Е У1(р1'р2'1'д2)х11 х222уЧ2,
Р1 + 1>Ч2 Р1>Ч2
х2 = у2,
У2 = Е ¥(Р1 'Р2'21'0)х?1 х222 уЧ1 + У2 Е У2(Р1'Р2'21'1)х?1 х?2 У21.
Р2 + 1>21 Р2>Ч1
Литература
1. Басов В. В., Ваганян А. С. Обобщенные нормальные формы двумерных систем с гамиль-тоновой невозмущенной частью // Вестн. С.-Петерб. ун-та. Математика. Механика. Астрономия. Сер. 1. 2014. Т. 1(59), вып.3. С.351-359.
2. Басов В. В. Обобщенная нормальная форма и формальная эквивалентность систем дифференциальных уравнений с нулевыми характеристическими числами // Дифференц. уравнения. 2003. Т. 39, №2. С. 154-170.
3. Белицкий Г. Р. Инвариантные нормальные формы формальных рядов // Функциональный анализ и его приложения. 1979. Т. 13, №1. С. 59-60.
4. Ваганян А. С. Обобщенные нормальные формы систем с гамильтоновой невозмущенной частью // Дифференц. уравнения и процессы управления (Эл. журнал). 2015. №4. С. 66-83. URL: http://www.math.spbu.ru/diffjournal/pdf/vaganyan.pdf (дата обращения: 05.06.2016).
5. Baider A., Sanders J. Further reduction of the Takens—Bogdanov normal form // Journal of Differential Equations. 1992. Vol.99, N2. P. 205-244.
6. Takens F. Singularities of vector fields // IHES. 1974. Vol.43, N2. P. 47-100.
7. Malonza D. Normal forms for coupled Takens—Bogdanov systems // Journal of Nonlinear Mathematical Physics. 2004. Vol.11, N3. P. 376-398.
Статья поступила в редколлегию 22 декабря 2015 г. Сведения об авторе
Ваганян Артур Суренович — аспирант; [email protected]
ON FINDING GENERALIZED NORMAL FORMS OF SYSTEMS WITH A HAMILTONIAN UNPERTURBED PART USING THE BELITSKII METHOD
Artur S. Vaganyan
St. Petersburg State University, Universitetskaya nab., 7-9, St. Petersburg, 199034, Russian Federation; armay@yandex. ru
This work continues an article written in collaboration with V. V. Basov about finding the structures of generalized normal forms of two-dimensional autonomous systems of ordinary differential equations with a Hamiltonian unperturbed part and non-Hamiltonian perturbation. In this article we consider the case of systems of four and more equations with a Hamiltonian quasi-homogeneous unperturbed part generated by the Hamiltonian of the form H = ^2П=1 Hi(xi, yi). By means of a special decomposition of the perturbation similar to splitting into Hamiltonian and non-Hamiltonian components that was used by A. Baider and J. Sanders in two-dimensional case, we reduce the problem of finding the generalized normal form for such a system to the question about the normal form of power series. Normalization of a power series was studied earlier by G. R. Belitskii. We use the method of G. R. Belitskii and develop his ideas by introducing the notions of Hamiltonian resonant and reduced resonant sets, and in these terms formulate the normalization theorem. As a consequence of the theorem we give a generalization of the result due to
Takens on the normal form of a system with a nilpotent linear part to the case of an arbitrary number of Jordan blocks. In particular, for n = 2 we find explicitly one of the generalized normal forms in the sense of V. V. Basov for a system of four equations with an unperturbed part (yi, 0,y2, 0). Refs 7.
Keywords: normal forms, Belitskii method, Takens normal form.
References
1. Basov V. V., Vaganyan A. S., "Generalized normal forms of two-dimensional autonomous systems with a Hamiltonian unperturbed part", Vestnik of St. Petersburg University. Series 1. Mathematics. Mechanics. Astronomy 1(59), issue 3, 351—359 (2014) [in Russian].
2. Basov V. V., "A generalized normal form and formal equivalence of systems of differential equations with zero characteristic numbers", Differentsial'nye uravneniya 39(2), 154—170 (2003) [in Russian].
3. Belitskii G. R., "Invariant normal forms of formal series", Funktsional'nyi Analiz i Ego Prilozheniya 13(1), 59-60 (1979) [in Russian].
4. Vaganyan A. S., "Generalized normal forms of systems with a Hamiltonian unperturbed part", Differencial'nie uravnenia i processy upravlenia (4), 66-83 (2015) [in Russian]. Available at: http://www.math.spbu.ru/diffjournal/pdf/vaganyan.pdf (accessed 05.06.2016).
5. Baider A., Sanders J., "Further reduction of the Takens—Bogdanov normal form", Journal of Differential Equations 99(2), 205-244 (1992).
6. Takens F., "Singularities of vector fields", IHES 43(2), 47-100 (1974).
7. Malonza D., "Normal forms for coupled Takens—Bogdanov systems", Journal of Nonlinear Mathematical Physics 11(3), 376-398 (2004).
Для цитирования: Ваганян А. С. О нахождении обобщенных нормальных форм систем с гамильтоновой невозмущенной частью методом Белицкого // Вестник Санкт-Петербургского университета. Серия 1. Математика. Механика. Астрономия. 2016. Т. 3(61). Вып. 3. С. 372-376. DOI: 10.21638/11701/spbu01.2016.303
For citation: Vaganyan A. S. On finding generalized normal forms of systems with a Hamiltonian unperturbed part using the Belitskii method. Vestnik of Saint Petersburg University. Series 1. Mathematics. Mechanics. Astronomy, 2016, vol. 3(61), issue 3, pp. 372-376. DOI: 10.21638/11701/spbu01.2016.303
