CC BY
29
MSC 37JQ5
О СПЕКТРАЛЬНОМ РАЗЛОЖЕНИИ ГЕНЕРАТОРОВ ГАМИЛЬТОНОВЫХ СИСТЕМ
Ю.П. Вирченко, А.В. Субботин
Белгородский государственный университет,
ул. Студенческая, 14, Белгород, 308007, Россия, e-mail: virchObsu.edu.ru
Аннотация. Рассматривается класс 2п х 2п-матриц четного порядка. Устанавливается достаточное условие, накладываемое на спектральное разложение матриц этого класса, которое гарантирует, что они представляют матрицы 3 инфинитезимального сдвига по времени подходящей гамильтоновой системы с п степенями свободы, п € N.
Ключевые слова: гамильтоновы системы, жорданово представление, инфинитезималь-ный сдвиг, собственное число, число степеней свободы.
Объектом изучения в настоящем сообщении являются генераторы сдвига по времени линейных автономных гамильтоновых систем. В дальнейшем мы, для краткости, будем называть такие матрицы гамильтоновыми генераторами. В предыдущем сообщении [1] нами был доказано, что любая жорданова клетка четной размерности с нулевым собственным числом является генератором сдвига по времени линейной гамильтоновой системы. Здесь мы дадим доказательство общего утверждения относительно такого вида спектрального разложения матриц четной размерности, которое гарантирует, что они могут представлять собой гамильтоновы генераторы. Гипотеза о верности доказываемого нами утверждения естественным образом возникает из свойства симметричности спектра линейных гамильтоновых систем, установленного в [2, 3]. Сформулируем результат нашей работы.
Теорема. Пусть 2п х 2п-матрица V, п Є N представима в виде разложения
V
®(D« 0D-!))
i=1
е
D
j=1
(з)
о
(1)
где l,m Є N таковы, что
2 dim D
i=1
dim D03)
з=1
2n
и при этом dim D++ = dim D^, i = 1 ^ l, а числа dim j = 1 ^ m являются четными.
В этом разложении все матрицы D± , i = 1 ^ l, D(0J>, j
(з)
1 ^ m являются жордановыми клетками {D±)ki = ±\Skl + Sk,l-1} k,l = 1 ^ dim D± , i = 1 ^ l, D0j) = 8k>l-1, k,l = 1 ^ m. Тогда матрица D эквивалентна матрице G инфинитезимального
1 ^ dim dQj), j
сдвига по времени линейной автономной гамильтоновой системы о п степенями свободы, которая имеет вид
Заметим, что в приведенной формулировке не исключен случай, когда некоторые из чисел ±Аг, г = 1 Ь I могут равняться нулю. В этом случае, в формулировке теоремы заложено, в частности, предположение о том, что множество таких жордановых клеток с нечетной размерностью и с нулевыми собственными числами может быть разбито на пары клеток с совпадающей размерностью.
Доказательству сформулированного утверждения мы предпошлем несколько вспомогательных лемм из матричной алгебры.
Лемма 1. Матрица Ы размерности п с матричными элементами Ыц = 8i,n_j+1, г,] =
1 -Ь п является невырожденной. Она переводит верхнетреугольную п х п-матрицу Хц = А5^ + в нижнетреугольную ХТ = А5^ + ^^_1ц-, г,] = 1 Ь п.
□ Вычислим, используя здесь и далее по тексту работы соглашение о суммировании по повторяющимся индексам,
то есть Ы2 = 1. Отсюда, в частности, следует, что матрица Ы не вырождена ёе1 Ы2
лами = 0, к =1 Ь п, переводит п х п-матрицу У с матричными элементами Yij■ = А8ц + ^^а-1, г,] = 1 Ь п в клетку Жордана Хц = А8ц + 8гц_1 размерности п с собственным числом А.
□ Из определения матрицы Ы следует, что
Ат = А, Ст = С .
Тогда
(ЫУЫ-1) ij = Ыгк Ук1(Ы _% = (А5Ы + ^к5к_)
к_1 \
бч А(П м (П + 6^_1^(П м (п ^ 1 \«=0 / \*=0 / \«=0 / \*=0
Ч-1
А^ij + ^i^i,j— 1 I ^ ^ ^8
\в=0 / \4=0
П
А5ц + 5i,j-1.
Лемма 3. Пусть к х к-матрица V, к Е N представима в виде V = ф 'Р_, где матрицы V± являются жордановыми клетками равной размерности с собственными числами, соответственно, ±А, то есть ф±)^ = ±А8ц + 5г^_1, г,] = 1 Ь к. Тогда матрица V эквивалентна гамильтоновому генератору линейной автономной гамильтоновой системы с к степенями свободы
О
-Вт 0 0
где Вц = (р+)ц, г,] = 1 Ь к.
□ Заменив в утверждении Леммы 2 размерность п на к и положив ^ = -1, г = 1Ь к, У = V+ можно, на основании этой леммы, утверждать, что существует неособенная к х к-матрица Ы2 такая, что Ы_1 переводит матрицу V_ в матрицу —V+, то есть Ы_1V _ Ы2 = —V+ = -В. Тогда
Ы2 1 0
01
V_ 0
0
+
Ы2 1 0
1
1
-В 0 0
Далее, на основании Леммы 1, существует к х к-матрица Ы1, которая переводит матрицу В в матрицу Вт, то есть Ы1ВЫ_ 1 = Вт. Тогда имеет место
Ы1Ы_ 1 0\ (V- 0
0
1
0
+
Ы1Ы2-1 0
1
-Вт 0 0
(2)
Замечание. Из этой леммы следует, что для любой пары жордановых клеток V+ и V _ гамильтонов генератор О, которому соответствует матрица V+ ф V _ имеет специальный вид (2). Это отражает тот факт, что спектральное разложение генератора не определяет полностью гамильтонову систему.
Непосредственным вычислением проверяется правильность следующей леммы.
Лемма 4. Пусть имеются матрицы Т1 и Т2 соответственно размерности 2к1 и 2к2 так, что
'К &
,мг N
т.
^ г
где Кх, &г, Мг, N - произвольные матрицы размерности ^, г = 1, 2. Тогда блочная матрица Т1 ф Т2 размерности 2(к1 + к2) эквивалентна матрице
Т
К-1 ф К2 &1 ф &2
М1 ф М 2 N1 ф N2
0
□ Определим матрицу
( 1к1 0*1 0*1,*2 0к1,к2^
0*2 ,*1 0^2,к1 1к2 0*2
0*1 1*1 0*1,*2 0*1,*2
\0к2,к1 0к2,к1 0*2 1*2 )
и
размерности 2(&1 + к2), где 1*, 0^1 - квадратные, соответственно, единичная и нулевая матрицы размерности кг, г = 1, 2, а 0*^2 и 0*,,^ - прямоугольные нулевые, соответственно, к1 х к2- и к2 х к1-матрицы.
Согласно правилу умножения блочных матриц [4], и , состоящих из прямоугольных блоков, их перемножение осуществляется по обычному правилу умножения числовых матриц, то есть результатом умножения является блочная матрица, состоящая из блоков £* И*"И*-. Такое правило перемножения применимо в том случае, если число блочных столбцов в первом сомножителе совпадает с числом блочных строк во втором сомножителе. Кроме того, число столбцов каждого блока матрицы, которая является первым сомножителем, должно совпадать с числом строк каждого блока матрицы - второго сомножителя. В результате, образуется прямоугольная матрица с блоками, каждый из которых имеет число строк, равное числу строк левого сомножителя и число столбцов, равное числу столбцов из правого сомножителя. Используя это правило, находим, что матрица и ортогональна,
Ш
т
( 1к1 0*1 0*1 ,*2 0к1,к2^ ( 1*1 0*1,*2 0*1 0*1,*2^
0к2,к1 0к2,к1 1*2 0*2 0*1 0*1,*2 1&1 0*1,*2
0*1 1*1 0*1 ,*2 0*1,*2 0*2,*1 2 1 0*2 ,*1 0*2
\°&2,к1 0к2,к1 0*2 1к2 } ^0*2,*1 0*2 0*2 ,*1 2 1
( 1*1 0*1,*2 0*1 0*1,*2^
0*2 ,*1 2 1 0*2,*1 0*2
0*1 0*1,*2 1*1 0*1,*2
\0*2,*1 0*2 0*2,*1 1 *2 /
Следовательно, ёе1 и = 0.
Проверим теперь, что имеет место равенство
и (Т 0 Л)ит = Т
Пользуясь тем же правилом перемножения блочных матриц, имеем
и(Т1 0 Т2) =
( 1*1 0*1 0*1,*2 0*1,*2^ ( К А 0*1,*2 0*1,*2^
0*2,*1 0*2 ,*1 1 *2 0*2 М1 N1 0*1,*2 0*1,*2
0*1 1*1 0*1,*2 0*1,*2 0*2,*1 0*2,*1 К2 ^*2
\0*2,*1 0*2 ,*1 0*2 2 1 0*2,*1 2 ^2 /
1
и, точно также.
т
( К А 0кі,к2 0кі,к2^
0к2,кі 0к2,кі К2 А
М1 N1 0кі,к2 0кі ,к2 ;
У°к2,кі 0к2,кі М2 ^2 )
( К А 0кі,к2 0кі,к2^ 1 кі Окі ,к2 Окі Окі,к2
0к2,кі 0к2,кі К2 А Окі Окі ,к2 1 кі 0кі,к2
М1 N1 0кі,к2 0кі,к2 0к2,кі 2 к 1 Ок2,кі 0к2
^0к2,кі 0к2,кі М2 ^2 ) У°к2,кі Ок2 Ок2,кі 1 к2
0кі,к2 А 0кі,к2^
К2 0к2,кі А ( К 0К2 А 0 Щ
0кі,к2 N1 0кі ,к2 \М1 0 М2 N1 0 N2 у ■
М2 0к2,кі ^2 )
и (Л 0 л)и
( К
°к2,&1 Мх
\0к2,к1
Доказательство теоремы. Пусть матрица V задана в виде разложения (1), в ко-
торой матрицы і = 1 4 I и Д
>0')
І = 1 4 т обладают свойствами, указанными в
(г) т 'Т')(і)
условии теоремы. Каждая матрица 'Е)+ 0 V— , согласно утверждению Леммы 3, посредством определенной матрицы , приводится к 2 к х 2^-матрице (независимо от того, равно собственное число нулю или нет)
-В
(г) т
+
0
0
В'
+
и(г) (Е+ 0Е- )и
к = dim "Р
(г)
+
14- I
Согласно результату работы [1], каждая матрица Е0О) четной размерности, посред-ом о число)
ством определенной обратимой матрицы и0О) приводится к к0- х ко-матрице (к- четное
Є0Л
-Й
(0) т
0
(0)
и0о)Е00)и00)-1
ко = dim Е0
(0)
І = 14 т.
Определим теперь матрицы
г-1
V
(г)
+
01
I- 0=1
кп
0 и(г) 0
® 1к
- 0=г+1
1 + I
причем полагается, что прямые суммы в квадратных скобках равны нулю, соответственно, первая при г = 1, а вторая - при г = I.
Кроме того, введем матрицы
V,
(0)
ф ік.
г=1
0 и0о) 0
ф 1к.
_ г=0+1
І = 1 4 т
с аналогичным соглашением относительно интерпретации этой формулы при 3 = 1 и
3 = т. Все матрицы из совокупности {У+); г = 1 4 /} и {У0;; 3 = 1 4 т}, очевидным образом, коммутируют друг с другом. Тогда матрица
V
ГК’ ПУ
0')
о
. г=1
-.7 = 1
переводит матрицу V в
1
0С
=1
0
СО
о
Вводя единую нумерацию для совокупности матриц {^+’; г = 14 / } и {^0°’; 3 {^(г); г =1 4 I + т}, последнее равенство запишем в виде
1
1+т
0е
( )
14 т} =
(4)
=1
где все матрицы ^(г), г = 1 4 (I + т) имеют четную размерность. После этого применим рассуждение по индукции, приводящее матрицу в правой части последнего равенства, посредством преобразования на основе матрицы ^, к матрице
(5)
где
1+т 1+т т
В = ® В«, А = ф А« = ® 1*
1+т
с = ® с« = о
=1 =1 =1 =1 При I + т =1 сформулированное утверждение является тавтологией. Пусть оно справедливо при каком-то значении (I+т), то есть в этом случае имеет место равенство (5) с размерностью матрицы 2п. Тогда индукционный шаг к значению числа составляющих в I + т + 1 в разложении (4) осуществляется применением Леммы 4 к 2(п + 1) х 2(п + 1)-матрице
'— 13Т —С\ ( — £>(1+т+1) Т _£(1+т+1)4
А В ) 0 \ л(1+т+1’ ^+т+х
1+т+1
0 е(-’ =1
(-ВТ) 0 (-В(1+т+1) Т) (-С) 0 (-С(г+т+1))\ _ /-(В 0 в(1+т+1’)Т -(С 0 с(1+т+1))
Л 0 Л(1+т+1)
В 0 Б(1+т+1)
Л 0 Л(1+т+1) 5 0 Б(1+т+1)
Заметим, что перестановка блочных строк и столбцов матрицы е!=т с(,) посредством преобразования ^(-)^-1 соответствует тривиальному переупорядочению
фазовых переменных гамильтоновой системы, первоначально записанных в порядке (p\,qi,p2,q2, ...,Pn,Qn), к следующему порядку (pi,p2, ...,pn,qi,q2, ■■-,Qn)-
Литература
1. Вирченко Ю.П., Субботин А.В. Полностью вырожденные линейные гамильтоновы системы // Belgorod State University Scientific Bulletin. - 2012. - №23 (142);29. - C.215-218.
2. Вирченко Ю.П., Субботин А.В. Симметричность спектра линейных гамильтоновых систем // Belgorod State University Scientific Bulletin. - 2011. - 17(112);24. - C.179-180.
3. Вирченко Ю.П., Субботин А.В. Свойство локальной обратимости гамильтоновых динамических систем // Материалы Международной конференции «Комплексный анализ и его приложения в дифференциальных уравнениях и теории чисел» Белгород, 17-21 октября 2011 / C.37-38.
4. Гантмахер Ф.Р. Теория матриц / М.: Наука, 1966. - 576 c.
ABOUT SPECTRAL DECOMPOSITION OF GENERATORS OF LINEAR HAMILTONIAN SYSTEMS
Yu.P. Virchenko, A.V. Subbotin
Belgorod State University,
Studencheskaya St., 14, Belgorod, 308007, Russia, e-mail:[email protected]
Abstract. The class of even order 2n x 2n-matrices is under consideration. It is proposed the sufficient condition concerned their canonical Jordan’s representations such that they are represented matrices G of some infinitesimal temporal shifts of appropriate Hamiltonian systems with n freedom degrees, n € N.
Key words: hamiltonian systems, Jordan’s representation, infinitesimal shift, eigenvalue, number of freedom degrees.
