MS С 37J05
ОБРАТИМЫЕ В ШИРОКОМ СМЫСЛЕ ДИНАМИЧЕСКИЕ СИСТЕМЫ
Ю.П. Вирченко, A.B. Субботин
Белгородский государственный университет, ул. Студенческая, 14, Белгород, 308007, Россия, e-mail: [email protected]
Аннотация. Производится анализ понятия обратимости в широком смысле конечномерных автономных динамических систем. Доказывается теорема эквивалентности .локальной и глобальной обратимости в широком смысле таких динамических систем. Вводится понятие сигнатуры обратимой в широком смысле динамической системы.
Ключевые слова: диффеоморфизм, обратимые динамические системы, локальная обратимость, касательная динамическая система, сигнатура.
1. Введение. Будем рассматривать конечномерные автономные динамические системы размерности п. Не ограничивая общности, будем считать, что фазовым пространством каждой из таких систем, является Мп, Обозначим X = (х1,х2, ■■■,хп) Е Мп точки этого пространства и Р : Мп ^ Мп - некоторый диффеоморфизм. Динамической системой, соответствующей диффеоморфизму Р, называется система дифференциальных уравнений
Х= Р(Х). (1)
В настоящем сообщении мы докажем утверждения общего характера, касающиеся класса обратимых систем вида (1). Исходя из аналогии со свойствами обратимости гамильтоповых динамических систем, нами в предыдущем сообщении |1| были введены понятия локальной и глобальной обратим,остей.
Определение 1. Систему (1) назовем локально-обратимой в широком смысле, если существует диффеоморфизм V такой, который переводит (1) в систему
у = -Р(У) , У = V(X) (2)
и ири этом то есть V(V(X)) = X для любой точки X Е Мп.
Определение 2. Система (1) называется глобалыю-обратимой в широком смысле, если существует диффеоморфизм и такой, что и2 = 1 и для каждого решеиия X = Х(£; Xo) системы (1) с начальными данными Xo имеет место
и^сН Х(1, и^ (*))) ■ (3)
В настоящем сообщении мы докажем, что эти понятия совпадают и дадим общую классификацию специального класса аналитических обратимых в широком смысле систем па основе понятия сигнатуры.
2. Теорема эквивалентности. Докажем утверждение об эквивалентности понятий локальной и глобальной обратимости.
Введем матрицу W(X) в Rn с компонентами
= v(x) = (v1(x),...,vn(x)),
которая, вообще говоря, зависит от точки Rn фазового пространства. Так как для каждой точки X G Rn, согласно определению, выполняется V(V(X)) = X, то имеет место матричное равенство W(V(X))W(X) = 1,
n
J] Wlk(V(X))W,y (X) = Sij , i, j = 1 - n . (4)
k=l
Отсюда следует, что матрица W(X) в любой точке X G Rn не вырождена, det W(X) = 0, Умножая (4) на W(V(X)) справа, получим, что имеет место также равенство W(X)W(V(X)) = 1
V
W(X)
водной но времени,
W(X)F(X) = —F(V(X)), (5)
который является необходимым и достаточным условием локальной обратимости системы (1).
Теорема 1. Для того, чтобы система (1) была глобально обратимой, необходимо и достаточно, чтобы оиа была обратимой локально.
□ Необходимость. Нужно, на основании выполнимости уравнения (3), доказать, что имеет место (5) для подходящим образом выбранного отображения V(-)
Пусть равенство (3) выполняется дня любого решения системы (1) с начальным значением Xo. Возьмем решение X(t) с начальной произвольно выбранной точкой. Тогда при А ^ 0 имеем
X(А) = Х(А; Xo) = Xo + F(Xo)A + о(А). (6)
С другой стороны, из (3) следует, что
U(Xo) = Х(А; U(X(А))),
то есть
U(Xo) = U(X(А)) + F(U(X(А)))А + о(А). (7)
U
U(X(А)) = U(Xo) + (VUXXo^Xo^ + о(А). Подставляя это разложение в (7), имеем
U(Xo) = U(Xo) + [(VU)xoF(Xo) + F(U(X(А)))] А + о(А).
А
(VU)xoF(Xo) = —F(U(Xo)).
Так как, согласно Определению 2, U2 = 1 и, в силу произвольное!и точки Xo, можно положить, что диффеоморфизм V в Определении 1 совпадает с U и W(X) = ÖU(X)/dX, что означает локальную обратимость системы.
V V2 = 1
и выполняется соотношение (5). Построим оператор Б (А; •) : Rn м Rn по формуле
Б(А; X) = X + F(X)А .
Пусть Y = Б (А; X). Тогда
X = Y — F(X)А = Y — F(Y — AF(X))А = Y — F(Y)А + о(А),
и поэтому
X = Y + W-1(Y)F(V(Y))А + о(А).
Отсюда следует
V(X) = V(V + W-1(Y )F(V(Y ))А + о(А)) = V(Y) + (VV)y W-1(Y )F(V(Y ))А + о(А)
и так как (VV)Y = W(Y), то
V(X) = V(Y) + F(V(Y))А + о(А).
Это означает, что
V(X) = Б(А; V(Y)) + о(А).
Определим X((n + 1)А) = Б(А; X(пА)), и, вместе с тем,
V(X(пА)) = Б(А; V(X((п + 1)А))) + о(А). n
X(пА) = Б(пА; Xo) + п • о(А), V(X((N — п)А)) = Б(пА; V(NА)) + п • о(А).
Тогда, положив N = t/А, получим
X(NА) = Б^А; Xo) + N • о(А),
V(Xo) = Б(NА; V(NА)) + N • о(А).
Так как N • о(А) = o(1), в результате, находим
X(t) = lim X(NА) = X(t; Xo).
V(Xo) = lim S(NA; V(NA)) = X(t; V(X(t))) .
A^ü
Таким образом, соотношение (7) имеет место при V = U. I
Покажем, что свойство обратимости системы по зависит от выбора координатной системы, па основе которой описывается динамика.
Теорема 2. Всякая динамическая система, получаемая из обратимой в широком смысле динамической системы посредством замены ее координат, которая осуществляется диффеоморфизмом, является обратимой.
□ Пусть имеется система (1), для которой существует такой диффеоморфизм V, V2 = 1, что имеет место (5). Пусть, далее, G - произвольный диффеоморфизм. Произведем на его основе замену координат X = G(X'). В этом случае система (1) перейдет в следующую
X' = F'(X'),
где F'(X') = H-1(X')(F(G-1))(X'), H(X') = dG(X')/dX' - матрица. Определим диффеоморфизм V' = G-1VG, Он обладает свойством
V'2 = (G-1VG)(G-1VG) = G-1V(GG-1)VG = G-1(VV)G = G-1G = 1.
Рассмотрим выражение
(F'V')(X') = H-1(V(X'))(FGV')(X') = H-1(V(X'))(FV)(X) = -H-1(V(X'))W(X)F(X),
(8)
где мы воспользовались свойством (5) обратимости системы (1) и тем, что (GV')(X') = (G(G-1VG))(X') = V(X).
Согласно определению диффеоморфизма F', имеем F(X) = (FG)(X') = H(X')F'(X'). Подставляя последнее выражение в (8) вместо F(X), находим
(F'V')(X') = -H-1 (V(X'))W(X)H(X')F'(X') = -H-1(V(X'))W(G(X'))H(X')F'(X'). (9)
Так как (G-1G)(X') = X', то
- dG-1(X') -
(fÜL^i) «и = 1
V dX' /x'^g(x')
Поэтому дня обратной матрицы
dG-1 (X ')-
Н"1(Х° - ( dX>
имеет место
и поэтому
-1
H_1(G_1(X/)) = dG~1{X,)
dG-1(X')
dX' /x'^(vg)(x')
dX' '
H-1((G-1VG)(X')) = H-1(V'(X')).
Следовательно,
Н-^Х'^^Х'))^') = \Л/(С(Х'))Н(Х') =
V дХ' /х'^(УС)(х')
Подставляя это выражение в правую часть (9), приходим к соотношению W/(X')Р'(Х') = -Р'(У(Х')). ■
3. Сигнатура обратимой динамической системы. Теорема 1 позволяет при поиске наличия свойства обратимости динамической системы ограничиваться исследованием выполнимости локального соотношения (5). С этой дслыо нужно сначала исследовать возможность построения отображений V, удовлетворяющих условию которое накладывает определенные ограничения на тип отображений V. Далее, мы ограничимся исследованием соотношения (5) в том случае, когда отображение Р аналитически зависит от точки X, Это условие автоматически накладывает дополнительное ограничение на выбор отображений V в требовании их аналитичности. В этих условиях можно дать общую классификацию обратимых в широком смысле динамических систем, которой мы посвятим этот раздел. Сначала, проиллюстрируем сказанное па примере одномерных систем.
Пример. В одномерном случае отображение V(•) превращается в функцию у(-), а условие V2 = 1 превращается функциональное урне авнение у(у(х)) = х, Этому условию удовлетворяет любая мотопоппая функция, совпадающая с обратной к пей функцией. Последнее означает, что графики таких функций должны быть симметричными относительно прямой у = х на плоскости (х,у), Среди возрастающих функций имеется только одна функция у(х) = х, которая не имеет отношения к построению одномерных систем, обратимых в широком смысле. Монотонно убывающие функции, графики которых обладают указанной симметрией могут быть, все-таки, довольно разнообразны, однако, если наложить условие аналитичности, то класс допустимых функций у(х) резко сужается. В самом деле, так как график симметричной относительно прямой у = х аналитической функции у(х) должен пересекать эту прямую, то эта функция обладает неподвижной точкой х*, ^(х*) = х*. Рассмотрим разложение в степенной ряд около этой точки.
Из у(у(х)) = х вытекает функционально-дифференциальное уравнение.
и(х)) 1>'(х) = 1. (8)
В точке х* получаем (у'(х*))2 = 1, у'(х*) = ±1. Далее, по индукции устанавливается, что все производные ^(га)(х*) = 0 при п > 2. В самом деле, если все эти производные вплоть до ш-й равны нулю, то так как ш-я производная тождества (8) имеет вид
^(т+1)(^(х))(^(х))т+1 + ^(т+1)(хУ(^(х)) + Ят(^(2)У3),...Ут)) = 0 ,
где Rn - полином от указанных производных, вычисленных в точках хЬи. Он обращается в нуль при равенстве нулю всех аргументов. Тогда, полагая x = x*, v(x*) = x*, получим, что, согласно предположению индукции v(n)(x*) = 0 n = 2,3,...,m, Rm(v(2),v(3),..., v(m)) = 0. Следовательно, v(m+1)(x*) = 0.
В результате, класс аналитических функций v(x), удовлетворяющих (8), состоит из линейных функций v(x) = а — x.
В общем случае, когда фазовым пространством динамической системы является Rn с n > 1, отображение V, с качественной точки зрения, может быть устроено очень сложно. Мы в этом сообщении рассмотрим общие свойства обратимых динамических систем, у
V
n = 1. С этой целью дадим следующее
Определение. Обратимую динамическую систему назовем простой, если соответ-
V
Далее, мы будем рассматривать только простые обратимые динамические системы и дадим их предварительную классификацию на основе свойств матрицы W(X), Пусть,
V
намической системы является 0. Обозначим W = W(0). Положим X = 0 в (5). Тогда W2 = 1
W W2 = 1
(имеет полную систему собственных векторов) и все ее собственные числа равны ±1.
□ Пусть А - собственное число матрицы W с собственным вектором Y, то есть WY = AY, Тогда, применяя W дважды к вектору Y, получим, на основании тождества W2 = 1 А2 = 1 А = ±1
Пусть матрица W, посредством некоторого линейного преобразования SWS-1, det S =
0
s
Жордана T(Aj), i = 1,...,s так, что SWS-1 = T(Aj). Тогда матрица W2 состоит из
i=1
s
клеток T2(Ai), то есть SW2S-1 = T2(Ai), ^о если клетка Жордана T(A) имеет поря-
i=1
док, больший 1, то T2(A) не совпадает с единичной матрицей той же размерности, что противоречит тождеству SW2S-1 = 1. I
Следствием доказанной леммы является то, что матрица W = W(0) обладает пол-
±1
должпо быть равно -1. Это следует из Определения 1. В самом доле, из уравнения (5), положив в нем X = 0 находим WF(0) = — F(0) , то есть W имеет собственный вектор F(0)
Если ограничиться рассмотрением только таких обратимых динамических систем, F
V
функция W(X) является аналитической. Для нее сигнатура не может изменяться при X
оно, в процессе изменения X, должно: либо обратиться в нуль, что невозможно, так как в каждой точке X выполняется W(X) = 0, либо одновременно пара совпадающих собственных значения превратиться во взаимно сопряженную пару, что будет означать существование точки ветвления у матриц-функции W(X),
Ввиду неизменности чисел п± собственных значений ±1 у матрицы W(X), связанной с аналитическим отображением V, они являются характеристикой обратимой в широком смысле динамической системы. В связи с этим, введем понятие сигнатуры и характеристического класса простой обратимой динамической системы. Сигнатурой мы будем называть упорядоченную пару (п_,п+) натуральных чисел, равных, соответственно, числу собственных значений -1 и +1 матрицы W, Соответственно, простые обратимые динамические системы мы будем относить к одному и тому же характеристическому классу, если они обладают одной и той же сигнатурой.
Изучение каждого характеристического класса заключается в разбиении его па семейства динамических систем, которые обладают качественно одинаковым дифференциально-топологическим поведением. Основой дня разработки такой классификации обратимых динамических систем, является следующее утверждение.
Теорема 3. Аналитический диффеоморфизм обратимой динамической системы не изменяет ее сигнатуры.
□ Пусть аналитический диффеоморфизм в переводит обратимую в широком смысле систему (1), удовлетворяющую (5) с аналитическим отображением V, V2 = 1, V(0) = 0, посредством замены координат X = '), в обратимую в широком смысле систему X' = Р'^'), которая удовлетворяет W/(X)Р'^') = — Р'^'^')), V'2 = 1. Здесь W/(X/) = дV'(X')/дX' и имеет место связь H_1(V'(X'))W(X')H(X') = W'(X').
Положим в-1(0) = Xo. Эта точка является неподвижной для отображения V', V'^0) = Xo и для матрицы W(Xo) выполняется
W' 2№) = (Н-1^' (Xo))W(G(Xo))H(Xo))(H_1(V' ^0)^^X0)) Н^о)) =
= H_1(V' (Xo))W(0)W(0)H(Xo) = H_1(V' (Xo))H(Xo) = 1.
Положим У - собственный вектор матрицы W(0) с собственным значением А. Тогда H_1(X0)У - собственный вектор с тем же собственным значением для матрицы W'^^ так как
W' (Xo)H(Xo)У = H_1(V' (Xo))W(G(Xo))У = H_1(0)W(0)Y = АH_1(0)У.
Следовательно, числа п± в преобразованной динамической системе совпадают со зна-
■
В приведенном доказательство требование аналитичности в формулировке теоремы нужно только но той причине, что само понятие сигнатуры дано нами только для
Р
Литература
1. Вирченко Ю.П., Субботин А.В. /7 Belgorod State University Scientific Bulletin. 2015. 5(202) ;38. C.138-Í47.
2. Вирченко Ю.П., Субботин А.В. Свойство .локальной обратимости гамильтоновых динамических систем /7 Материалы Международной конференции «Комплексный анализ и ei'o приложения в дифференциальных уравнениях и теории чисел» Белх'ород, 17-21 октября 2011 / С.37-38.
3. Субботин А.В., Вирченко Ю.П. Обратимые динамические системы /7 Тезисы зимней математической школы С.Г.Крейна / Воронеж: ВГУ, 2014. С.337-341.
REVERSIBLE SYSTEMS IN WIDE SENSE Yu.P. Virchenko, A.V. Subbotin
Belgorod State University, Studericheskaja St., 14, Belgorod, 308007, Russia, e-mail: [email protected]
Abstract. The concept analysis of the reversibility in wide sense of finite dimensional autonomous dynamical systems is developed. It is proved the theorem about the equivalence of local reversibility in wide sense and the global one for such systems. It is introduced the concept of signature of dynamic system being reversible in wide sense.
Key words: difieomorphism, reversible dynamic systems, local reversibility, tangential dynamic system, signature.