CC BY
14
УДК 519.21 + 537.86
О СВЯЗИ МЕЖДУ СПЕКТРАЛЬНО ОБРАТИМЫМИ И ГАМИЛЬТОНОВЫМИ ДИНАМИЧЕСКИМИ СИСТЕМАМИ
ABOUT THE CONNECTION BETWEEN SPECTRAL REVERSIBLE AND HAMILTONIAN DYNAMICAL SYSTEMS
Ю.П. Вирченко, А.В. Субботин Yu.P. Virchenko, A.V. Subbotin
Белгородский государственный университет, ул. Студенческая, 14, Белгород, 308007, Россия
Belgorod State University, Studencheskaja St., 14, Belgorod, 308007, Russia
e-mail:[email protected]
Аннотация
Введено общее понятие о спектрально обратимых автономных динамических системах. Показано, что всякая автономная гамильтонова система является спектрально обратимой. Доказана теорема о том, что генераторы линейных систем, получаемых линеаризацией каждой данной спектрально обратимой системы, связаны линейным преобразованием на основе дифференцируемой матриц-функции U(X) с генераторами линейных гамильтоновых систем.
Abstract
The general concept about spectral reversibility of autonomous dynamical systems is introduced. It is shown that any autonomous hamiltonian system is the spectral reversible one. It is proved the conjecture that generators of linear systems which are obtained by linearization of each given spectral reversible system may be linearly transformed on the basis of differentiable matrix-function U(X) into generators of linear hamiltonian systems.
Ключевые слова: гамильтонова система, линеаризованная система, спектральная обратимость, линейное преобразование, генератор.
Keywords: Hamiltonian system, linearized system, spectral reversibility, linear transformation, generator.
1. Введение. В работах [1]-[5] нами было введено понятие о спектрально-обратимых конечномерных автономных линейных динамических системах. Было показано, что, в общем случае, каждая такая динамическая система приводится подходящей линейной заменой динамических переменных к соответствующей линейной гамильтоновой динамической системе. Замечательно, что линейные автономные спектрально обратимые системы представляют собой системы, у которых имеется обратимость во времени, при трактовке этого понятия в широком смысле слова. Поясним это положение нижеследующим рассуждением.
Известно, что обратимость во времени линейных гамильтоновых систем в том смысле, что уравнения движения инвариантны относительно замены * ^ — с одновременным изменением направлений на обратное у всех импульсов, имеет место только в отсутствие внешнего магнитного поля. В присутствие же внешнего магнитного поля, для сохранения свойства инвариантности при указанных выше преобразованиях системы динамических уравнений, нужно одновременно изменять на обратное направление самого магнитного поля в каждой пространственной точке. Разумеется, что такая известная в теоретической физике трактовка понятия обратимости во времени системы, помещенной во внешнее магнитное поле, тесно связна с конкретной физической ситуацией. Между тем, по физическим соображениям ясно, что механическая система во внешнем магнитном поле, у которой отсутствует диссипация энергии, должна обладать свойством обратимости во времени, так как каждому движению такой системы соответствует обратное ему движение. Это наводит на мысль о том, что обратимость во времени нужно сформулировать для автономных динамических систем в каких-то более общих терминах, не связывая ее с понятием динамических переменных, которые называют импульсами. Так как свойство класса движений динамической системы, которое связано с обращением знака времени в динамических уравнениях, является локальным свойством решений, то естественно связать это свойство с решениями линейных динамических систем, которые получаются из данной системы путем ее линеаризации в произвольной точке фазового пространства. Тогда существование для всякого локального движения обратного ему движения у данной автономной динамической системы можно сформулировать как свойство инвариантности класса решений у любой ее линеаризованной системы в любой точке фазового пространства. Для наличия этого свойства инвариантности, в свою очередь, необходимо и достаточно, чтобы спектр генератора движения линеаризованной системы обладал свойством инвариантности по отношению к обращению знаков у всех его собственных чисел с учетом кратности.
Таким образом, можно думать, что сформулированное в следующем пункте свойство спектральной обратимости автономных динамических систем является наиболее общей математической трактовкой физического понятия обратимости во времени. В связи с введенным понятием спектральной обратимости, возникает естественный математический вопрос. В каком отношении находятся классы спектрально обратимых систем и гамильтоновых систем. Естественно ожидать следующее: если понятие спектральной обратимости, является правильной интерпретацией физического понятия обратимости во времени, то любая гамильтонова система является спектрально обратимой динамической системой. Это положение доказывается в следующем пункте (Теорема 1). Ясно, что существует обширный класс спектрально обратимых динамических систем, которые не являются гамильтоновыми. Таковыми являются все системы, которые получаются из какой-либо гамильтоновой системы путем произвольного неканонического (см., например, [6]) преобразования ее динамических переменных. Тогда, возникает проблема.
Исчерпывает ли таким образом полученный класс автономных динамических систем весь класс спектрально обратимых систем. В настоящем сообщении намечен путь решения этой проблемы. Мы показываем, что для каждой спектрально обратимой системы, порождаемой дифференцируемой биекцией Р: R2й ^ R2й, существуют дифференцируемая матриц-функция н ) на , которая в каждой точке х является генератором линейной гамильтоновой системы, а также дифференцируемая невырожденная матриц-функция
и (X), det и (X) ф 0 на фазовом пространстве , которая связывает н (X) с генератором С(Х) линейной системы, которая порождается линеаризацией в той же точке X исходной динамической системы.
2. Спектрально обратимые динамические системы. Пусть Р: ^2" ^ ^2" - биекция
р2п „ _ |-|
^ ' - . Система дифференциальных уравнений
XX (t) = Р (X (t))
(1)
X(t)=( ^ £),..., х2п (t)) „ „ „
определяет траектории х 1 2п ' четномерной автономной динамической
системы в фазовом пространстве К2п ее состояний ^^ (х1'."' ^2п). в каждой точке
X е К2п определена порождаемая невырожденным линейным преобразованием
С (X): Р2п ^ Р2п 2п х 2п С (X) = (Сг7 (X);гг/ = 1 - 2п)
^ ^ , с помощью 2п х 2п -матрицы 4 7 V уч ^
Ъ (X)^'
дх1 (2)
det С ф 0, соответствующая системе (1) линейная касательная динамическая система 1 © = [С (X)] X © (3)
XX ©=( ^ ©,..., Х-2п ф) с траекториями х 1 2п '.
Определим подкласс спектрально-обратимых систем в классе всех систем вида (1).
Определение 1. Пусть С - невырожденная четномерная матрица размерности 2п, ^С ф 0 простой структуры (см. [Гант], гл. 3, §8, стр.85), не имеющая кратных точек
^^ } ^^ Ф * * * *
спектра * 1,..., 2п', 1 ■>, если1 Ф ^ = 1" 2п . Матрицу С назовем спектрально-
обратимой, если ее спектр обладает следующим свойством: для каждого ^ =1 ~ 2п
]' X • ,=-Х-
существует единственный номер ^ такой, что ].
Определение 2. Динамическую систему (1) назовем спектрально-обратимой, если
в каждой точке X е К2п соответствующая ей матрица С (X) является спектрально-обратимой.
Примером спектрально-обратимых систем являются т.н. гамильтоновы системы. Система (1) размерности 2п называется гамильтоновой, если при разложении ее фазового
X X = (Р £)
пространства векторов X декартово произведение \ ' пространств векторов
P (piv> p2n) и Q (qi q2n) размерности n, для нее найдется функция Н : r2 " ^ r2 " (гамильтониан системы) такая, что
F(X) ^-^Нр, ^Щ, H(X) = Н(P,Q).
Для гамильтоновой системы с гамильтонианом Н (X) соответствующие ей генераторы
G (X) = G (P,Q) касательных систем в каждой точке X е R2n имеют следующую блочную структуру
G (X) =
(-B + (X) С(X)л A(X) B (X)
(4)
с блоками в виде п х п С) . Здесь символом + обозначено
транспонирование матрицы , и имеет место симметрия матриц и С(Х). Явные
Л--(X), Б--(X), С „ (X), ч = 1 - п выражения матричных элементов и и и этих матриц даются
формулами
Л (Х) = д Н(X) Б (х) = д2И(X) С = д2Н(X) = 1 , п Л(X) = —, Б(X) = —, Су(X) = —, г д =1 - п-др{ дрд ддгдрд- дд{
В связи с описанной блочной структурой матриц 0 ^) гамильтоновых систем, произвольные четномерные матрицы О размерности 2п, имеющие аналогичный блочный вид
G
f-B+ Сл A B
(5)
где п х п -блоки Л и С симметричны, будем называть гамильтоновыми матрицами.
Спектральная обратимость гамильтоновых систем является следствием следующего утверждения.
Теорема 1. Каждая гамильтонова матрица (5) является спектрально-обратимой. Гамильтонова матрица (4) представима в форме О = Л К, где к - симметричная матрица
и
Í0 -1 1 0
J =
1 - единичная п х п -матрица. Так как Л Л' Л 1, то справедливы следующие равенства
- О) = ¿еф - Л К) = - (К Л)+) = = ёеф + К Л) = det( - Л + К) = det( - Л - Л К) = + Л К) = 0,
которая доказывает утверждение.
Напомним следующий замечательный факт из теории матриц (см. [7], гл.9, §13, стр.257):
Утверждение. Всякая вещественная 1 х 1 -матрица С простой структуры вещественно-подобна матрице
(»1 V А.
^ О
» У
»-1
(6)
где М - невырожденная вещественная матрица и
м ± \у-, V,- ф 0, j = 1 - q; »к , к = 2q +1 - 1 -] ^ ± гк - собственные числа с вещественными
М, ^/1,..., Mq , Vq , »2q+1,..., »1
На основе сформулированного утверждения легко доказывается следующая теорема, которую можно рассматривать как обратную к Теореме 1.
Теорема 2. Каждая вещественная спектрально-обратимая матрица С размерности 1 = 2п вещественно подобна гамильтоновой матрице той же размерности.
Нужно доказать, что для каждой четномерной, спектрально-обратимой матрицы С найдется вещественная невырожденная матрица и той же размерности такая, что матрица
иСи является гамильтоновой. С этой целью переформулируем приведенное Утверждение для рассматриваемого нами специального случая.
Пусть М - матрица, существование которой утверждается выше. Ввиду спектральной
обратимости матрицы С , таким же свойством обладает матрица Мс любой невырожденной вещественной матрицей размерности < . Следовательно, все ее
вещественные собственные числа »2'1+1,".:' »2п образуют набор из четного числа элементов
{X., - X.}, j = q +1,..., п и распределяются на пары взаимно противоположных чисел так,
что, ввиду отсутствия кратных точек спектра у матрицы С и, следовательно, у матрицы М , все эти пары различны. Каждой такой паре (если q Ф п ) сопоставим
2 х 2 Н() = diag{X , - X }, j = q +1,..., п
диагональную спектрально обратимую 2 х 2 -матрицу 1 1 1' .
Каждая матрица из этого набора не является подобной никакой другой взятой из него
матрице. Рассмотрим теперь набор матриц
Н) =
Ч- V^
K-Vj мj У
,./ =1 - q,
(7)
о которых идет речь в утверждении. У каждой из этих матриц собственные числа комплексны и комплексно сопряжены друг другу. Ввиду того, что кратность собственных значений матрицы С равна 1, то собственные числа всех этих матриц не равны друг
другу при различных значениях ^ . Следовательно все матрицы из представленного набора не являются попарно подобными друг другу. С другой стороны, так как матрица
С спектрально обратима, то для каждой матрицы Н&) из этого набора найдется в нем
матрица н<д) такая, что ее собственные числа ^ 1У■> являются противоположными собственным числам ^ ± 1У-> матрицы Ч1), то есть
i
H
V V'
Л
J
v V
= -( Hö))+, " = 1 ■ q.
Таким образом, имеется биекция набора матриц (7) на себя, определяемая равенством
Н') = -( им )+ 1 = 1 — а и(£)
V ) и У . Выделим из этого набора все матрицы Н , которые и имеют
ёй Н( ) > 0 и, поэтому, имеют чисто мнимые собственные числа ' ^ 1 ' Г . (Набор таких матриц может быть пуст и тогда г = 0.) Матрицы такого типа спектрально обратимы. Тогда, ввиду спектральной обратимости всех оставшихся 2 х 2 -матриц и их существенной комплексности (собственные числа имеют отличные от нуля реальную и
мнимую части), получаем, что число - ^) - четное, и эти матрицы разбиваются на пары {Н0^, - (Н°'))+|
Таким образом, элементарными преобразованиями и и , каждое из которых сводится к одновременной перестановке одноименных строки и столбца, применяемыми к матрице вида (6) можно добиться, чтобы последовательностью таких преобразований эта
матрица была приведена к блочно-диагональному виду
Н = Жав {Нм)}, д = 1 - п,
который состоит из вещественных 2 х 2 -блоков. Причем первые ^- ^ блоков составляют матрицу с размерностью кратную 4
,7h" о ^ diag^ о -(H))+
, " = 1 ■ (q - k)/2,
(9)
далее следуют 2 х 2 -блоки H ' j (q k +1) ' q (если k ^ 0 ) матриц вида (7) c V 0 и,
H() = diag, -1"}," = q +1,..., n q Ф n наконец, стоят блоки 1 J J) (если 4 ).
Так как 2 х 2 -блоки с номерами j = (q k +1) " n являются гамильтоновыми 2 х 2 -матрицами вида (4) и, кроме того, каждый из 4 х 4 -блоков в матрице (9) является гамильтоновой 4 х 4 -матрицей вида (4), то матрица (7), указанными выше элементарными преобразованиями, приводится к канонической форме (4) гамильтоновых матриц.
Далее, нашей целью является построение по заданной матриц-функции G (S) со значениями в виде вещественных спектрально обратимых матриц матриц-функции H (S), со значениями в виде канонических гамильтоновых матриц. Такое построение дается следующим утверждением.
Теорема 3. Пусть для фиксированного четного числа d = 2n задана G : R ^ Rd х Rd -
S S e R
дифференцируемая по матриц-функция от вещественного параметра со
значениями в виде вещественных невырожденных спектрально-обратимых матриц G (Ç), det G (Ç)ф 0 простой структуры, спектр которых не имеет кратных собственных значений.
Тогда существует дифференцируемая по Ç матриц-функция U: R ^ R_ х R_ со значениями в виде вещественных невырожденных матриц U (Ç), то есть det U (Ç)ф 0, такая, что при
каждом Ç G R матрицы U (Ç)G (Ç)U 1(Ç) = H (Ç) являются каноническими гамильтоновыми. Доказательство основано на разрешимости гомологического уравнения (см. ниже (11)), связывающего производные
r (f)=__т T (i)=S (i)=¿m
_Ç _Ç _Ç (10)
соответственно матриц U (Ç)' G (Ç) и H (Ç) в каждой точке Ç G R . Это уравнение в
каждой фиксированной точке Ç G R получается дифференцированием по Ç соотношения
U(Ç)G(Ç)U 1 (Ç) = H(Ç), связывающего G (Ç) и H (Ç) . При этом, в силу невырожденности матрицы G (Ç) и отсутствия у нее кратных собственных значений, такими же свойствами
обладает матрица H (Ç). В результате, так как
=- и - i(ç) и -,(,)
dç dç
и, следовательно, производная левой части равенства равна
__ииР- G (Ç) U (Ç)-U (Ç) G (Ç) U-1 (Ç) ¿^f-U-1(Ç) + U (Ç) U-1 (Ç) = dç _Ç _Ç
= R (Ç) H(Ç)-H (Ç)R (Ç) + D (Ç),
D (Ç) = U(Ç) T (Ç) U-1 (Ç) ,
где , получаем гомологическое уравнение (для простоты мы
опускаем указание конкретного значения Ç )
[R,H] + D = S' (11)
где обозначает коммутатор соответствующих матриц 1.
Положим, что гамильтонова матрица H представлена в блочно-диагональном виде (8), в
H) j = 1 ^ n
котором 'J * - 2 х 2 -вещественные канонические матричные блоки, которые
1 Заметим, что, в силу спектральной обратимости матриц С (Е) и Н (Е), следы этих матриц в Е е 1Р
каждой точке ' должны быть равны нулю и, следовательно, равны нулю следы производных по Е соответствующих им матриц-функций Т(Е) и ^ (Е), а также
8р Р (Е) = 8р( и(Е) т (Е) и-1 (Е)) = 8р т (Е) = 0
являются либо чисто диагональными матрицами вида ' ^{ ", "}, " (матрицы
типа 1), либо 2 х 2 -матрицами, имеющими комплексные собственные числа с ненулевой
мнимой частью (матрицы типа 2), и, в этом случае, для каждого такого блока Н&) найдется
Н|"') =- (Н('))+ Н (Е) и(/)
блок . В силу невырожденности матрицы , для всех матриц Н имеет
место ^ Н"ЧЕ) * 0 " = 1 - п .
Докажем разрешимость уравнения (11) относительно матриц К и Б при фиксированного матрицах Н и 0 на классе вещественных матриц. Причем ее решение будет единственным при условиях, сформулированных ниже. Для доказательства разобьем матрицы К, 0 и ^ на 2 х 2 -блоки в соответствии с разбиением (8) на такие блоки матрицы Н ,
Б = ( ") )г,=1-п, в = ( О") )г,=-п, в = ( в(г") )г,=1-п. (12)
Тогда уравнение (11) эквивалентно следующей системе матричных уравнений ^у) Н"")- Н(г) Р(г'"') + й(г'"') = Б(г""), г," = 1 - п. (13)
Для однозначной разрешимости уравнения потребуем, чтобы блочная структура матрицы
в« - 8(г'"') =ЯцБ("), г," = 1 - п 2 х во")
Б была следующей г 0 , где 2 х 2 -блоки 0 должны обладать
такими же свойствами, что и блоки Н ," =1 - п . Тогда система (13) матричных уравнений принимает вид
^) Н"") - Н(г) ) + й(г'"') = Б"), г," = 1 - п.
(14)
Для однозначной разрешимости, потребуем чтобы блок ^^ был диагональным с нулевым
следом, если таковым является блок Ч" с тем же номером. Более того, потребуем в этом
свп Не1 Н" = Й©1Б " и(/)
случае, выполнение равенства . Если же блок Н обладает
существенно комплексными собственными числами, и поэтому ему соответствует блок
Н|"') =_( н" )+ Б" = -(Б")+
, то потребуем, чтобы имело место такое же равенство
соответствующих Б -блоков. При этом, так как блок Ч" имеет вид (7), то потребуе
для
чтобы такой же вид имел и блок Б .
Рассмотрим случай г = " . В этом случае необходимо выбрать 2 х 2 -матрицу в ) так, чтобы было разрешимо матричное уравнение
н(г) - Н(г) Р(М) + 0(М) = Б(г), г = 1 - п. (15)
сп р&О = о Яп(Р(г,г) Н(г)) = 0 • = 1 _
Потребуем, чтобы " ' ^ ' для каждого значения г =1 • п .
Запишем однозначные разложения 2 х 2 -матриц К (г,г) и Н(!)
К(г,г) = Го 1 + гв<хв, Н(г) = Цр 1 +
(16)
_ -1 л л
(здесь и далее подразумевается суммирование по повторяющемуся индексу а = , ' ) по линейно-независимому набору матриц, состоящему из единичной матрицы 1 и трех матриц Паули,
(0 1 1 (0 -1 1 (1 01
* = , *2 = , *3 =
V1 0) V! 0 У V0 -1
Ввиду канонического вида блоков Н' -1, коэффициент к в (16) равен нулю. В
г г г к® к® г к®
разложениях (16) коэффициенты 0' 3 и 0 ' 3 вещественны, 2 и 2 мнимые. Тогда
^Н® = (ГоМ) ^^(гк +кХ)аа ^е^к?*«
и, следовательно,
К(.-.о н(о _н® =е^ч. (17)
Запишем для матриц 0(1,1) и Б ) разложения, аналогичные разложениям (16), э®!) = ^ 1+аа*а, Б® = 5о 1+5в*в. (18)
Ввиду указанного выше требования, чтобы блоки должны обладать такими
свойствами, как и соответствующие им блоки ), коэффициент Б всегда равен нулю.
Кроме того, как и выше, коэффициенты и Б0' Б вещественные, и ^ мнимые.
Подстановка разложений (16 - 18) в уравнение (15) и приравнивание коэффициентов разложений, стоящих в левой и правой частях равенства (18), что является необходимым в
- - а 1, *а, а = 1, 2, 3
силу линейной независимости набора матриц а , дает систему уравнений
для коэффициентов
^ = s0, 21ееЛ° +Ла= а =1 2, 3, (19)
, , к®, ± к®, д.„, а = 1, 2, 3
в которой коэффициенты 0 ' 0 и а ' а' ' ' рассматриваются как заданные, а
г б г б а = 1 2 3 коэффициенты 0 и а а ' ' - неизвестные искомые величины.
Из (19) следует, что Б0 выбирается однозначным образом, а г<) 0, учитывая требование
8р Р(М) = 0 ^ й0 = Б0 8р Б® = 0 а
к . Заметим, что равенство 0 0 приводит к тому, что к , если блок
и(0 8Р Н® = 0 8Р Т(1' = 8Р й(1' = 0
н диагональный и, следовательно, " , т.е. " " . Таким образом,
имеется согласованность со сделанным выше выбором свойств 2 х 2 -блоков в уравнении
(13).
к®
Проанализируем решения второго из уравнений (18). Допустим, что квадрат вектора а
к®к® = 0 к к® ф 0 равен нулю, а а , что, так как вектор а комплексный, возможно даже при а .
т *а, а = 1, 2, 3Й 8р Н® = 2к0
I огда, так как матрицы а безследны, то есть ^ 0, и как
ёе1 Н( 0 = (к0 °)2 - к®к® Н(0
4 0 ' а а , то спектральное уравнение для матрицы Н имеет вид
ёеф1 - Н(г)) = А2 - 2АЛ£) + (Ь0г))2 = 0,
то есть она имеет одно двукратное собственное число , которое является собственным
Н(г) т « * 0
числом матрицы Н , что недопустимо условиями теоремы. Таким образом, а а .
_ -1 Л Л
Из (18), полагая поочередно а = , , , следует
21 (г2И3г) + )г3) + И = 0, - 2щЪ3) + = 52, - 2щЬ.(2) + И3 = й3. (20)
Яп( Р(г,г) Н(г)) = 0 Кроме того, следствием , является уравнение
гаа=0. (21)
т /о 1 \ Н(") 1 = И9(0 = 0, Г3 = 0 50 = = 0
Тогда из (21), в случае матриц Н типа 1, следует 0 2 ' 3 , то есть 0 2 ,
5 = Из, а из (20) следует
И И
Г =-— Г =
2 2Из(г)' 1 21^°
и при этом Г2 - мнимая, Г1 - вещественные величины. Таким образом, решение
КС)
вещественная.
т Н"") о Л3° = 0 = 0
Точно также, в случае матриц Н типа 2, ^ , то есть 2 , и из (21) следует
Г2 0, то есть 52 И, а из (20) следует
И И3
Г =-1— Г =-—
3 21^°' 1 2И2г)
и при этом Г1 и Гз - вещественные величины. Таким образом, и в этом случае, решение
КС)
вещественная.
Рассмотрим случай г ^ " в (14). В силу того, что все собственные числа матрицы 0
различны, для любой пары различных номеров ^ "}, то, согласно известному утверждению (см. [7], гл.8, §3, стр.207)), уравнение (14) при г ^ г ," = 1 - п
К (г") н" ) - н(г) К ( г") = - р( г") однозначно разрешимо.
Следствие. Пусть для фиксированного четного числа И = 2п задана О : КИ ^ КИ х -дифференцируемая по х е матриц-функция со значениями в виде вещественных невырожденных спектрально-обратимых матриц 0 ^), 0 (X) ф 0 простой структуры, спектр которых не имеет кратных собственных значений. Тогда существует дифференцируемая по х матриц-функция и: КИ ^ ^ х ^ со значениями в виде
вещественных невырожденных матриц и ), и (Х) ф 0, такая, что при каждом х е Р матрицы и (Х) е (Х) и 1(Х) = Н (Х) являются каноническими гамильтоновыми.
Значения однозначной дифференцируемой по 1 матриц-функции и) определяются на
{(х1, 0, ., 0)} т ч и(0)
оси и '' применением утверждения I еоремы 3 начиная со значения ее в
£ = х
точке 0 , положив в утверждении теоремы 2 . В результате, получается
дифференцируемая по Х функция и(х1). Затем для каждого фиксированного значения х определяется матриц-функция и(х'х2) применением Теоремы 3, начиная со значения
и (х1,0) = и (х1), положив в утверждении теоремы £ = Х2. В результате, получается
дифференцируемая по Х2 функция их 'х2). Эта функция является также
дифференцируемой и по Х, так как дифференцируемым по Х является начальное
значение решения дифференциального уравнения по Х2 для матрицы и х'Х2). Таким
образом, мы получаем дифференцируемую функцию их'Х2) в плоскости ^ ^ 2, ^^ . Продолжая этот процесс далее до исчерпания всех направления координатных осей в пространстве Р, получим последовательность дифференцируемых матриц-функций (и(х1), и(х1,Х2), и(х1,х2,...,^^. полагая иX) = иХ>Х2,.., ^)•...•и(Х1 •и(Х1) построим требуемую матриц-функцию.
Замечание. При построении матрицы Б (£) при доказательстве Теоремы 3 не было
необходимости доопределять матричные элементы в 2 х 2 -матрицах Б , * =1 " п . Нужно было воспользоваться тем, что собственные числа матриц ®(Х) аналитически зависят от х, что следует из того, что ее характеристическое уравнение имеет дифференцируемые по X коэффициенты.
Список литературы References
Вирченко Ю.П., Субботин А.В. 2011. Свойство локальной обратимости гамильтоновых динамических систем // Материалы Международной конференции «Комплексный анализ и его приложения в дифференциальных уравнениях и теории чисел» Белгород, 17-21 октября 2011 / C.37-38.
Virchenko Yu.P., Subbotin A.V. 2011. The property of local reversibility of Hamiltonian dynamical systems // Conference materials "Complex analysis and its applications in differential equations theory and number theory" P.37-38.
Вирченко Ю.П., Субботин А.В. 2011. Симметричность спектра линейных гамильтоновых систем. Belgorod State University Scientific Bulletin. Mathematics & Physics, 17(112);24: 179180.
Virchenko Yu.P., Subbotin A.V. 2011. Spectrum symmetry of linear Hamiltonian dynamical systems. Belgorod State University Scientific Bulletin. Mathematics & Physics, 17(112);24: 179180.
Вирченко Ю.П., Субботин А.В. 2012. Полностью вырожденные линейные гамильтоновы системы. Belgorod State University Scientific Bulletin. Mathematics & Physics, 23(142);29: 215-218
Virchenko Yu.P., Subbotin A.V. 2012. Completely degenerated linear Hamiltonian systems. Belgorod State University Scientific Bulletin. Mathematics & Physics, 23(142);29: 215-218.
Вирченко Ю.П., Субботин А.В. 2013. Характеризация линейных гамильтоновых систем // Материалы международной конференции «Дифференциальные уравнения и их приложения» 26-31 мая 2013, Белгород / Белгород: Политерра, 2013. - C.180-181.
Virchenko Yu.P., Subbotin A.V. 2013. Chracterization of linear Hamiltonian systems // Conference materials "Differential equations and its applications". P.180-181.
Вирченко Ю.П., Субботин А.В. 2013. О спектральном разложении генераторов гамильтоновых систем. Belgorod State University Scientific Bulletin. Mathematics & Physics, 5(148);30: 135-141.
Virchenko Yu.P., Subbotin A.V. 2013. About spectral decomposition of Hamiltonian systems generators. Belgorod State University Scientific Bulletin. Mathematics & Physics, 5(148);30: 135-141.
Арнольд В.И. 1989. Математические методы классической механики. М.: Наука, 472. Arnol'd V.I. 1989. Mathematical methods of classical mechanics. M.: Nauka, 472. Гантмахер Ф.Р. 1966. Теория матриц. М.: Наука, 576. Gantmakher FR. 1966. Matrix theory. M.: Nauka, 576.
