Асимптотические формулы в задаче построения областей гиперболичности и устойчивости динамических систем Текст научной статьи по специальности «Математика»

ISSN 2074-1871 Уфимский математический журнал. Том 8. № 3 (2016). С. 59-81.

УДК 517.91

АСИМПТОТИЧЕСКИЕ ФОРМУЛЫ В ЗАДАЧЕ ПОСТРОЕНИЯ ОБЛАСТЕЙ ГИПЕРБОЛИЧНОСТИ И УСТОЙЧИВОСТИ ДИНАМИЧЕСКИХ СИСТЕМ

Л.С. ИБРАГИМОВА, И.Ж. МУСТАФИНА, М.Г. ЮМАГУЛОВ

Аннотация. В работе предлагается новый общий подход, позволяющий изучать задачу построения областей гиперболичности и устойчивости нелинейных динамических систем. Подход основан на модификации метода М. Розо исследования устойчивости линейных систем с периодическими коэффициентами, зависящими от малого параметра и асимптотических формулах теории возмущений линейных операторов. Получены приближенные формулы, описывающие границы областей гиперболичности и устойчивости. В качестве примера приведена схема построения областей устойчивости уравнения Матье.

Ключевые слова: области гиперболичности, области устойчивости, динамические системы, малый параметр, асимптотические формулы.

Mathematics Subject Classification: 34D20, 37C60

1. Введение

Рассматривается уравнение

^ = A(^,t)x + a(x,tх е Rn , ^ е Rk, (1)

at

где матрица A(^,t) и вектор-функция a(x,t,y) являются непрерывными и Т-периодичес-кими по t, гладко (непрерывно дифференцируемо) зависящие от скалярного или векторного параметра при этом a(x,t,y) гладко зависит от х и удовлетворяет соотношению:

\\a(x,t,^)\\ = 0(||ж||2) при ||ж|| ^ 0

равномерно по t и Здесь и ниже символ || • || обозначает евклидовы нормы векторов и квадратных матриц.

Уравнение (1) при всех значениях параметра ^ имеет точку равновесия х = 0. Обозначим через р-, р0 и р+ количество (с учетом кратности) мультипликаторов линейной Т-периодической системы

^ = A(^,t)x, х е Rn , (2)

модуль которых меньше, равен или больше 1 соответственно; тогда р- + р0 + р+ = N. Тройку (р-,р0,р+) называют [1]-[4] топологическим типом точки равновесия х = 0 системы (1). Также говорят, что точка равновесия х = 0 является гиперболической, если Ро = 0; в противном случае ее называют негиперболической.

Открытое связное множество G в пространстве параметров Rk будем называть областью гиперболичности точки равновесия х = 0 системы (1), если для любого ^ е G

L.S. Ibragimova, I.G. Mustafina, M.G. Yumagulov,The asymptotical formulas for the problem of the construction hyperbolic and stability regions of dynamical systems. © Ибрагимова Л.С., Мустафина И.Ж., ЮмАгулов М.Г. 2016. Поступила 24 марта 2016 г.

точка равновесия х = 0 является гиперболической с одним и тем же топологическим типом (р-, 0,р+). Множество С будем называть областью устойчивости точки равновесия х = 0 системы (1), если для любого ^ Е С точка равновесия х = 0 является устойчивой. Естественным образом определим и понятия области асимптотической устойчивости и области неустойчивости.

Ниже через В(^0, $0) будем обозначать открытый шар радиуса 60 > 0 с центром в точке ^о в пространстве параметров ^ Е Кк.

Если точка равновесия х = 0 системы (1) при некотором ^ = ^0 является гиперболической и (р-, 0,р+) - ее топологический тип, то существует шар В(^0,80) такой, что при всех ^ Е В(^0, 5о) точка равновесия х = 0 является гиперболической с одним и тем же топологическим типом (р-, 0,р+).

Если же точка равновесия х = 0 при ^ = ^0 является негиперболической, то, как правило, при переходе ^ через ^0 ее топологический тип изменяется. А именно, как правило, в пространстве Як параметров ^ через точку ^0 проходит одно или несколько гладких многообразий (] = 1,... , т) коразмерности 1, разбивающих некоторый шар В(^0,50) на 2т подобластей Вк гиперболичности.

В частности, если точка равновесия х = 0 при ^ = ^0 имеет топологический тип (р-,р0, 0), где р0 ^ 1, то области гиперболичности Вк могут представлять собой области устойчивости и неустойчивости В™ (чередующиеся в естественном смысле) решения х = 0 системы (1).

Задача построения областей гиперболичности и, в частности, областей устойчивости и неустойчивости решений дифференциальных уравнений представляет собой одну из важных и интересных проблем линейной и нелинейной динамики и многочисленных приложений. Здесь предложены эффективные методы исследования, решен ряд важных с теоретической и практической точек зрения задач (см., например, [4]-[7] и имеющуюся библиографию). Следует отметить, что большинство известных работ относится к автономным уравнениям [8]-[12]. Существенно менее изучены эти задачи для неавтономных уравнений с периодическими коэффициентами, хотя к таким задачам приводят многие важные вопросы теории и практики. Основная проблема здесь в сложности задачи построения мультипликаторов, явное построение которых возможно лишь в самых простых случаях. Известные здесь результаты относятся к исследованию конкретных уравнений (см. [6, 7], [13]-[15]).

В настоящей статье предлагается новый общий подход, позволяющий получать приближенные формулы в задаче построения многообразий 7^ и областей гиперболичности Вк системы (1). Подход основан на модификации метода М. Розо [16] и асимптотических формулах теории возмущений линейных операторов [17, 18]. Основные результаты получены в предположении, что выполнены условия:

a) при ^ = ^0 матрица А0 = А(^0,Ь) от Ь не зависит;

b) матрица А0 имеет простое собственное значение 0 или пару простых собственных значений ±гш0, ш0 > 0, а остальные ее собственные значения имеют ненулевые вещественные части.

Тогда точка равновесия х = 0 системы (1) при ^ = ^0 является негиперболической и имеет топологический тип (р-,р0,р+), где р-, р0 и р+ количество собственных значений матрицы А0 с отрицательной, нулевой и положительной вещественной частью соответственно, при этом р0 = 1 или р0 = 2.

Предлагаемый в статье подход может быть модифицирован и для решения поставленных задач в более общих чем а) и Ь) условиях. Например, для ситуаций, когда матрица А0 имеет несколько пар чисто мнимых собственных значений или когда матрица А0 имеет чисто мнимые собственные значения, не являющиеся простыми и т.п.

При соответствующей модификации несложно получить аналоги приводимых ниже результатов и для уравнений вида (1), заданных в комплексном пространстве См, с комплексными матрицей А(^,Ь), вектор-функцией а(х,Ь,^) и параметром ^.

2. ОСНОВНЫЕ РЕЗУЛЬТАТЫ

Условие Ь) может быть реализовано в одном из следующих случаях:

10. А0 имеет простое собственное значение 0;

^ к

20. А0 имеет пару простых собственных значений ±ш0, где ш0 > 0 и ш0 = —, к -натуральное число;

30. А0 имеет пару простых собственных значений ±гш0, где ш0 = при некотором натуральном к0;

при этом во всех трех случаях предполагается, что остальные собственные значения матрицы А0 имеют ненулевые вещественные части.

С точки зрения общей теории бифуркаций (см., например, [1, 2, 19]) во всех указанных случаях точка равновесия х = 0 уравнения (1) является негиперболической, а значение ^0 параметра ^ является точкой бифуркации. При этом в случаях 10 и 20 коразмерность бифуркации равна одному, а в случае 30 - двум. Поэтому естественно считать, что в первых двух случаях параметр ^ является скалярным, а в третьем случае - двумерным.

Всюду ниже (там, где это не вызовет путаницы) для простоты будем использовать одно и то же обозначение для квадратной матрицы порядка N и соответствующего линейного оператора, действующего в стандартном базисе Ж-мерного вещественного пространства Ям или N-мерного комплексного пространства См.

Ниже будут также использоваться следующие понятия, соответствующие вышеприведенным определениям. Квадратную матрицу А будем называть гиперболической, если она не имеет чисто мнимых собственных значений, и негиперболической в противном случае. Пусть матрица А имеет р-, р0 и р+ собственных значений с отрицательной, нулевой и положительной вещественной частью соответственно (с учетом кратности). Тогда тройку (р-,р0,р+) будем называть топологическим типом матрицы А. Эти же понятия относятся и к произвольному линейному оператору, действующему в конечномерном линейном пространстве.

В приводимых ниже построениях существенно используется следующее вспомогательное утверждение.

Рассмотрим уравнение

— = А(г)х + а(х,г), X Е СИ , (3)

аЪ

где А(Ь) - непрерывная Т-периодическая матрица, а функция а(х,Ь) непрерывна по непрерывно дифференцируема по х и удовлетворяет соотношениям: а(х,Ь + Т) = а(х,Ь), ||а(ж,£)|| = 0(||ж||2) при ||ж|| ^ 0. Пусть и(£) - невырожденная непрерывная Т-периоди-ческая матрица. Матрицы А(Ь) и и(Ъ), а также функция а(х, Ь) могут быть как вещественными, так и комплексными.

Замена у = и(Ь)х приводит уравнение (3) к виду

^ = В(1)у + Ъ(у,г), у Е С» , (4)

где

в (г) = и'(г)и-1(г) + и (г)А(г)и-1(г), ь(у, г) = и (г)а(и-1(г)у, г).

Лемма 1. Невырожденное Т-периодическое преобразование у = и(Ь)х не изменяет, топологический тип точки равновесия х = 0 системы (3), т.е. топологические типы нулевых точек равновесия систем (3) и (4) одинаковы.

Доказательства этой леммы и других утверждений приводятся в конце статьи.

2.1. Случай 10. Предполагая, что ^ является скалярным параметром (т.е. ^ Е К) и полагая для простоты обозначений, что ^0 = 0, перепишем уравнение (1) в виде

— = [А + ¡лАх(г) + ^(и, Ь)]х + а(х, Ь, ¡л). (5)

№

где = А1^(0,Ь), а матрица А2удовлетворяет соотношению: \\А2(^,£)\\ = 0(ц2)

при ^ ^ 0 равномерно по ¿. Уравнение (5) можно рассматривать как уравнение с малым скалярным параметром ^ и с Т-периодической по Ь правой частью.

Так как в рассматриваемом случае пространство параметров ^ является одномерным, то многообразия 7^, о которых говорилось выше, вырождаются в точку ^0 = 0. При этом областями гиперболичности В& будут интервалы вида (—80, 0) или (0,$0) при некотором

5о > 0.

Обозначим через е0 и д0 собственные векторы матрицы А0 и транспонированной матрицы А0 соответственно, отвечающие собственному значению 0. Эти векторы можно считать нормированными равенствами: \\е0\\ = 1 и (е0, д0) = 1. Здесь и ниже символ (•, •) обозначает скалярное произведение векторов в пространствах Ям и См.

Положим

Ах = / (А1(1)е0,д0) сИ. (6)

0

Теорема 1. Пусть матрица А0 имеет простое собственное значение 0 и пусть топологический тип этой матрицы равен (р_, 1,р+). Пусть Х1 = 0. Тогда топологический тип нулевой точки равновесия системы (5) равен (1+р_, 0,р+) при всех малых таких, что уХ1 < 0; он равен (р_, 0,1 + р+), если уХ1 > 0.

Из этого утверждения вытекает

Теорема 2. Пусть матрица А0 имеет простое собственное значение 0, а остальные собственные значения матрицы А0 имеют отрицательные вещественные части. Пусть Х1 = 0. Тогда решение х = 0 уравнения (5) будет асимптотически устойчивым при всех малых таких, что уХ1 < 0; оно будет неустойчивым, если уХ1 > 0.

Следствие 1. Пусть Х1 = 0. Тогда в условиях теоремы 1 при некотором 50 > 0 интервалы (-80, 0) и (0Л) представляют собой области гиперболичности решения х = 0 уравнения (5) (с различным топологическим типом). Пусть Х1 > 0 (Х1 < 0). Тогда в условиях теоремы 2 интервал (-80, 0) ((0,#0)) представляет собой область асимптотической устойчивости, а интервал (0,#0) ((-80, 0)))- область неустойчивости решения х = 0 уравнения (5).

2.2. Случай 20. Как и в случае 10, здесь естественно считать, что ^ является скалярным параметром и пусть для простоты обозначений ^0 = 0. Другими словами, здесь также уравнение (1) может быть представлено в виде (5), а области гиперболичности В к представляют собой интервалы вида (—80, 0) или (0,$0) при некотором 80 > 0.

Так как матрица А0 имеет собственные значения ±гш0, то существуют ненулевые векторы е,д,е*,д* Е Ям такие, что выполняются равенства:

^(е + гд) = гш0(е + гд), А0(е* + гд*) = —гш0(е* + гд*). (7)

Эти векторы можно считать нормированными равенствами:

N = \Ы\ = 1, (е,е*) = (д,д*) = 1, (е, д*) = (д, е*) = 0 . (8)

Положим

Х1 = [ [(А1(1)е,е*) + (А1(1)д,д*)] ¿1. (9)

Теорема 3. Пусть матрица А0 имеет пару простых собственных значений ±гш0, где пк

и0 > 0 и и0 = — (к - натуральное число) и пусть топологический тип этой матрицы равен (р-, 2,р+). Пусть х1 = 0. Тогда топологический тип нулевой точки равновесия системы (5) равен (2 + р-, 0,р+) при всех малых таких, что ух1 < 0; он равен (р-, 0, 2 + р+), если > 0.

Из этого утверждения вытекает

Теорема 4. Пусть матрица А0 имеет пару простых собственных значений ±гш0, где ш0 > 0 и и0 = — (к - натуральное число), а остальные собственные значения

матрицы А0 имеют отрицательные вещественные части. Пусть х1 = 0. Тогда решение х = 0 системы (5) будет асимптотически устойчивым при всех малых таких, что ^Х1 < 0; оно будет неустойчивым, если ух1 > 0.

Следствие 2. Пусть х1 = 0. Тогда в условиях теоремы 3 при некотором 50 > 0 интервалы (-80, 0) и (0,50) представляют собой области гиперболичности решения х = 0 уравнения (5) (с различным топологическим типом). Пусть х1 > 0 (х1 < 0). Тогда в условиях теоремы 4 интервал (-80, 0) ((0,#0)) представляет собой область асимптотической устойчивости, а интервал (0,#0) ((-80, 0)))- область неустойчивости решения х = 0 уравнения (5).

2.3. Случай 30. Случай 30 наиболее сложный. Здесь ^ естественно считать двумерным параметром. Пусть ^ = (а,[3), где а и [3 - скалярные вещественные параметры; положим = (&0,@0). Тогда уравнение (1) примет вид:

— = А(а,/3,г)х + а(х,г,а,/3), х Е Пм . (10)

аЪ

Будем считать, что элементы матрицы А(а,[3,Ь) дважды непрерывно дифференцируемо зависят от а и [3. Тогда она представима в виде:

А(а,/3,г) = Л + (а - а0)В1&) + (р - $0)82(1) + (а - ою)2Вп(г) + (11)

+ ($ - ¡30)2В22(1) + (а - а0)ф - Ш^) + В3(а, р, I),

где А0 - постоянная матрица (напомним о предположении, что матрица А(а0, [30,Ь) от £ не зависит), матрицы В^(¿), В^(I) и В3(а, /3, Ь) являются Т-периодическими по ¿, при этом матрица В3(а, [3,Ь) равномерно по £ удовлетворяет соотношению:

ЦВ^а.ГЗМ = 0((а - а0)2 + (/3 - $0)2)3/2 при (а,$) ^ ^М.

Так как в рассматриваемом случае пространство В2 параметров ^ является двумерным, то многообразия 7^, о которых говорилось выше, как правило, представляют собой гладкие кривые, проходящие через точку = (а0,00), а области гиперболичности В к решения х = 0 уравнения (10) представляют собой открытые подобласти некоторого круга В(^0,80) С Я2, при этом кривые 7^ образуют границы областей Вк (см. изображенный на Рис. 1 соответствующий пример).

Рис. 1. Области гиперболичности в плоскости параметров (а,[3)

Ниже границу области гиперболичности в окрестности точки (ао,@о) будем определять как гладкую кривую X, проходящую через точку = (ао,@о) и такую, что:

- при любом (а,[3) Е X решение х = 0 уравнения (10) является негиперболическим с одним и тем же топологическим типом;

- для любой точки (а,@) Е X, (а,@) = (ао,@о), существует открытый круг В с центром в точке (а,[3) такой, что кривая X разбивает этот круг на две открытые подобласти В и В'', в каждом из которых решение х = 0 уравнения (10) является гиперболическим (т.е., например, если (а',@') Е В', то решение х = 0 уравнения (10) при а = Ы и [3 = является гиперболическим).

Приведем схему, позволяющую приближенно определять границы областей гиперболичности. Кривую X, определяющую границу области гиперболичности, можно описывать некоторой гладкой функцией вида [3 = /(а), а = д([3) или заданной в параметрическом виде. Ограничимся рассмотрением первого варианта, т.е. будем строить границу области гиперболичности уравнения (10) как кривую, описываемую гладкой функцией [3 = /(а), определенной в некотором интервале |а — ао1 < 8 и такой, что £ («о) = Ро. А именно, функцию [3 = /(а) будем строить в виде:

/(а) = (Зо + (Зх(а — «о) + ^(а — ао)2 + г/(а — ао), (12)

в котором коэффициенты и требуют определения, а нелинейность г/(е) удовлетворяет соотношению ^(е) = 0(е3) при е ^ 0. По сути, речь идет о вычислении производных /'(ао) = и ¡" (ао) = 2@2. В этой связи функцию

@о + — «о) + ^(а — ао)2 ,

/Н

13)

будем называть асимптотическим приближением порядка 2 функции ¡3 = f (а) в точке а = ао. Приводимая в работе схема может быть развита и для построения асимптотических приближений функции [3 = /(а) более высокого порядка.

2.3.1. Предварительные преобразования. Полагая 5 = а — ао и подставляя (12) в получим уравнение

— = [Ао + 6Аг(^1,г) + 62А2(р1,р2^) + А3(г,6)]х + а(х,г,а,р) аъ

х е Е

■и

10)

'14)

где обозначено:

А1(^1,1) = В1 (1)+ /3^2(1) , А2(РиМ = Вп(1)+ /3^2(1)+ Р2В22(г)+ №2® ,

а матрица А3(5,1) удовлетворяет соотношению: ||А3($,¿)|| = 0(53) при 5 ^ 0 равномерно по

Здесь и ниже при всех преобразованиях в обозначении нелинейных слагаемых (в уравнении (14) - это функция а(х,Ь,а, [3)) для простоты будем сохранять обозначения параметров а и [3.

Как и в случае 20, существуют ненулевые векторы е,д,е*,д* Е Ям такие, что выполняются равенства (7) и (8), в которых ш0 = . Положим

е + гд е - гд * е* + гд* * е* - гд*

61 = , 62 = ~7Г, е* = ' 62= ~W• (15)

По построению эти векторы нормированы в соответствии с равенствами

(ei,е*) = (е2,е*) = 1, (е-, е\) = (е2, е\) = 0 .

Матрица А0 и транспонированная матрица А0 имеют пару простых собственных значений ±u0i. При этом определенные равенствами (15) векторы е1,е\ G CN - это собственные векторы операторов А0 и АО, отвечающие собственным значениям ш0г и -ш0г соответственно. Определим действующий в CN линейный оператор Q1z = —2ш0гР1х, где P1z = (z, е-)е1; Р1 является оператором спектрального проектирования пространства CN на одномерное собственное подпространство Е1, отвечающее собственному значению ш0г оператора А0.

Уравнение (14) можно рассматривать в комплексном пространстве СN. Произведем в (14) замену у = е^1 ьх с невырожденной Т-периодической матрицей е^1*. В силу леммы 1 эта замена не изменяет топологический тип точки равновесия и приведет (14) к виду:

% = [Â + 8Al (Pi,t) + 52Â2(/3i,l32,t) + Â3(t, 8)]у + ~а(у, t,a,/3 ), у G CN , (16) dt

в котором

 = Л + Qi, Aj = eQltAje-Qlt (j = 1, 2, 3), a(y, t, a, ¡3) = eQlta(e-Qlty, t, a, ¡3).

Оператор A имеет полупростое собственное значение -ш0г кратности 2, а остальные его собственные значения имеют ненулевые вещественные части. Обозначим через Е0 -спектральное (двумерное) подпространство оператора А, отвечающее собственному значению -ш0г, а через Р0 : СN ^ Е0 - оператор спектрального проектирования пространства СN на подпространство Е0. Оператор Р0 может быть определен равенством P0z = (z,e*1)e1 + (z,e*2)e2. Положим Р0 = I - Р0 и Е0 = P°CN; подпространство Е0 является инвариантным для оператора А} при этом оператор А : Е0 ^ Е0 является гиперболическим.

2.3.2. Вычисление коэффициента ¡3ь Приведем сначала схему, позволяющую вычислить коэффициент р1 функции (12). На первом этапе рассмотрим зависящее от вспомогательного параметра £ матричное уравнение

Г e-ÀtSeÀt dt = Г e-ÀtÂi(^t)eÀt dt, (17)

00

в котором неизвестной является квадратная матрица S.

Лемма 2. Уравнение (17) имеет единственное решение S = S(£), при этом матрица S(Ç) гладко зависит от £.

Положим

S0(Ç ) = P0S (ОР0 (18)

и рассмотрим двумерный линейный оператор S0(£) : Е0 ^ Е0. Матрица S0(£) этого оператора является двумерной.

Теорема 5. Пусть существуют £ * и 80 > 0 такие, что матрица S0(Ç *) является негиперболической, при этом матрица S0(£) гиперболична при £ G (Ç* - 80,Ç*) и £ G (Ç*,£* + 80) с различным топологическим типом на этих интервалах. Тогда существует граница Т областей гиперболичности решения х = 0 уравнения (10), описываемая функцией (12), в которой = £*.

Рассмотрим частный случай, когда матрица 5о(£) при некотором £ = имеет простое собственное значение 0. Тогда из теории возмущений линейных операторов [17] следует, что при близких к значениях £ матрица 5о(£) имеет простое вещественное собственное значение Х(^), при этом функция Х(^) гладко зависит от £ и выполнено равенство Х(^*) = 0.

Теорема 6. Пусть матрица 8о(£*) имеет простое собственное значение Х1 = 0, а другое его собственное значение Х2 является вещественным ненулевым числом. Пусть X'(£*) = 0. Тогда существует граница Т областей гиперболичности решения х = 0 уравнения (10), описываемая функцией (12), в которой = £ *.

Замечание 1. Если найдется к различных , для которых выполнены условия теоремы 5 или 6, то через точку (ао,@о) в плоскости параметров (а,@) проходит по крайней мере к различных кривых Т, описываемых функциями вида (12).

Отметим следующий полезный факт. Пусть в пространстве СИ в качестве базиса выбраны векторы

еь &2, ез, ... ,ем , (19)

где е1,е2 - векторы из (15), а векторы е3,... ,еN образуют базис в Ео. Тогда матрица линейного оператора А : См ^ СИ будет иметь вид:

А

—Шо И2 012

о.

21

А

22

(20)

$ (£)

(21)

где 12 - единичная матрица порядка 2, А22 - квадратная матрица порядка N — 2, а 012 и 02\ - нулевые прямоугольные матрицы соответствующих размеров. Далее, в указанном случае решение уравнения (17), т.е. матрица в(£) представима в виде

ад $12(0

&1(£) 322(0

где 5о(£) - матрица (18), в22(£) - квадратная матрица порядка N — 2, а 512(£) и 6'21(^) прямоугольные матрицы соответствующих размеров.

Наряду с матрицей в (£) будем также рассматривать матрицу

¿Ж) О12 О21 Б22(С) _

Ниже для удобства изложения будем считать, что в пространстве См в качестве базиса выбраны векторы (19) и, следовательно, верны равенства (20) и (21).

ад

(22)

2.3.3. Вычисление коэффициента @2. Пусть значение в соответствии с теоремами 5 или 6 найдено, т.е. р1 = £*. Перейдем к вычислению коэффициента функции (12). Рассмотрим систему (16), в которой положим р1 = £*, а неизвестное для удобства переобозначим на и:

^ = [А + 8Р1 (I) + 52Р2(и, I) + Аз(Ь, 5)]у + а(у, I, а, /3) аъ

где обозначено

Р1$) = Л(?,г), Р2(и,г) = А2(?,и,г).

Положим Б1 = *), где £!(£) - матрица (22). Положим далее

У Е С» ,

(23)

Н1 (г) = е

Определим, наконец, матрицу

АЪ

е-Аг (Рг(т) — )еАт ¿т

Ат,

-Аг

е (и,г) = Р2(и,г) — Е1(г)Р1(г) + в^г)

(24)

(25)

г

о

и рассмотрим зависящее от параметра и матричное уравнение

гТ

гТ

е

—АЪ >

гем сИ = I е-мР(и^)ем сИ .

(26)

00 в котором неизвестной является квадратная матрица Z.

Лемма 3. Уравнение (26) имеет единственное решение Z = Z(и), при этом матрица Z(и) гладко зависит от и.

Положим

г0(и) = Р0г (и)Р0 (27)

и рассмотрим двумерный линейный оператор Z0(u) : Е0 ^ Е0. Матрица Z0(u) этого оператора является двумерной.

В силу равенств (20)-(22) матрица 2(и) представима в виде

^^) )

Z2l(v) )

Напомним, что число выбрано из условия, что двумерная матрица Б0 — явля-

ется негиперболической. Тогда в соответствующем базисе матрица 80 может иметь один из видов:

^ (»)

а)

0 0

0

Ь)

с)

0 1 00

(28)

гш\ 0

0 —1Ш\

где Х2 является ненулевым вещественным числом, а ш\ ^ 0.

Ограничимся рассмотрением случая, когда матрица 50 (£*) имеет вид а). Остальные случаи рассматриваются по той же схеме в соответствии с приведенным ниже методом М. Розо. В случае а) двумерную матрицу Z0(^) запишем в указанном базисе:

гц(^) ги(и) ) г22(V)

^)

Теорема 7. Пусть в условиях теоремы 6 матрица 30(£*) имеет вид а). Пусть при некотором и = и * для функции г (и) = И,е гц(и) выполнены соотношения г (и *) = 0 и т'(и*) = 0. Тогда граница Т областей гиперболичности решения х = 0 уравнения (10) описывается функцией (12), в которой = £* и = V*.

2.4. Линейные и консервативные системы. Рассмотрим линейное двумерное уравнение

хеК2, (29)

^ = А(а,ВЛ)х

где А(а,Р,Ь) представима в виде (11). Пусть при этом выполнены условия случая 30.

Так как уравнение (29) является частным случаем уравнения (10), то теоремы 5-7 остаются справедливыми и для уравнения (29). Однако, линейное уравнение (29) имеет свою специфику, заключающуюся, в частности, в том, что ответ на вопрос о свойствах его гиперболичности полностью определяется свойствами матрицы А(а,[3,Ь), чего нельзя сказать о нелинейном уравнении (10) в тех критических случаях, когда уравнение (29) имеет мультипликаторы, равные одному по модулю. Поэтому области гиперболичности и их границы для линейного уравнения (29) могут быть определены в более слабых условиях, чем теоремы 5-7.

В этом пункте будут рассматриваться системы, возникающие при изучении линейных консервативных систем. Линейная автономная система х' = Ах является (см., например, [2, 3]) консервативной, если ^ А = 0; в этом случае матричная экспонента ем сохраняет фазовый объем. Линейная неавтономная система х' = А(Ь)х с Т-периодической матрицей А(Ь) является консервативной, если произведение ее мультипликаторов равно

1; в этом случае отображение Пуанкаре и (Т) указанной системы за время Т сохраняет фазовый объем.

Пусть линейная система (29) является консервативной в указанном выше смысле при всех а и 0. Повторяя для этой системы те же построения что и для (10) в случае 3о (см. п. 2.3), получим матрицу в(£), являющуюся решением системы (17).

Так как рассматриваемая система (29) является двумерной, то вопрос об ее областях гиперболичности равносилен вопросу об ее областях устойчивости и неустойчивости.

Теорема 8. Пусть матрица Б(£*) имеет собственное значение 0 кратности 2. Пусть существует 8о > 0 такое, что матрица Б(£) при £ Е (£* — 8о, + 8о) имеет непрерывные ветви собственных значений Л1(^) и \2(£), при этом:

- для £ Е (£*, £* + 8о) (£ Е (£* — 8о, £*)) собственные значения Л1(^) и \2(£) являются вещественными, при этом Л1(^) < 0 и \2(£) > 0;

- для £ Е (£* — 8о, £*] (£ Е [£*, £* + 8о)) собственные значения Л1(^) и \2(£) являются чисто мнимыми, а именно, Х1,2 = где *) = 0, > 0 при £ = ^.

Тогда существует граница Т областей устойчивости уравнения (29), описываемая функцией (12), в которой = £*.

3. Вспомогательные сведения

Приведем некоторые вспомогательные сведения, используемые при доказательстве утверждений настоящей статьи.

3.1. Метод М. Розо. В работе используется метод М. Розо, предложенный в [16] для линейных дифференциальных уравнений

/ =[А + е Рг(1)+ £2Р2(1) + ... + £кРк (г)+ £к+1Я(1, е)]г , г Е См , (30)

с периодическими коэффициентами и постоянной матрицей А. Метод предлагает способ перехода к равносильному уравнению вида

у' = [А + £ в1 + £ 2в2 + ... + £квк + £к+1Я(1, £)]у , УЕСМ , (31)

где в]^, в2,..., - постоянные матрицы, а СС(1, е) - непрерывная периодическая матрица. Такой переход позволяет решить задачу исследования устойчивости указанной линейной системы путем построения собственных значений постоянной матрицы А+е Б1+£2в2 +...+ £кБк, например, методами теории возмущений [17] (ниже этот вопрос обсуждается более подробно). В этом параграфе метод М. Розо обосновывается и развивается применительно к некоторым нелинейным уравнениям.

3.1.1. Использование первого приближения. Рассмотрим сначала зависящее от малого параметра дифференциальное уравнение

П 7

^ = [А + £Р П)+ е2<С(г, ф + а(г е), г Е СИ , (32)

где А - постоянная матрица, Р (1) и С(Ь, £) - непрерывные матрицы, а(х £) - непрерывно-дифференцируемая по ж и непрерывная по Ь и е вектор-функция, удовлетворяющая условию: \\а(х е)|| = 0(||,г||2) при г ^ 0. При этом Р (¿), С(Ь, £) и а(г £) являются Т-периодическими по ¿. Элементы матриц А, Р(1) и С(Ь, е), а также вектор-функции а( , , ) и параметр могут быть как вещественными, так и комплексными.

Пусть матрица А имеет одно или несколько собственных значений с нулевой вещественной частью, а остальные собственные значения имеют отрицательные вещественные части. В этом случае при малых |е| свойства устойчивости решения г = 0 уравнения (32) зависят от мультипликаторов Т-периодической матрицы А + £Р(¿). Однако, явное построение этих мультипликаторов возможно лишь в самых простых случаях.

Для исследования устойчивости решения г = 0 нелинейного уравнения (32) предлагается перейти к равносильному уравнению

^ = [А + еБ + е)]у + а(у, 1,е), у е См ,

(33)

где в - постоянная матрица. Переход можно осуществить используя замену

У =(1 - еН(Ь))г, (34)

где Н(¿) - некоторая невырожденная Т-периодическая матрица. Формула для построения матрицы Н(¿) будет приведена ниже. Здесь же отметим, что таких матриц и, следовательно, матриц в существует бесконечно много, при этом для построения матрицы в совсем не обязательно знать матрицу Н(¿).

Приведем схему построения матрицы Б. С этой целью введем следующее понятие. Будем говорить, что квадратная матрица А является Т-резонансной, если она имеет хотя бы

одну пару различных собственных значений А1 и Л2, удовлетворяющую соотношению: 2пд1

А1 — Л2

Т

при некотором натуральном д. В частности, вещественная матрица А

является Т-резонансной, если она имеет хотя бы одну пару собственных значений вида

±

пдг

Т

при некотором натуральном д.

Рассмотрим матричное уравнение

пТ

гТ

/ е-АтЗеАтйт = е-АтР(т)еАтйт , (35)

ио ио

с неизвестной матрицей в; здесь А и Р(I) - матрицы из уравнения (32). Имеют место следующие утверждения [16].

Лемма 4. Уравнение (35) имеет единственное решение Б = Б0 тогда и только тогда, когда матрица А не является Т-резонансной.

Теорема 9. Пусть матрица А не является Т-резонансной. Тогда замена (34), где

Н(г) = е

АЬ

е-Ат (Р (т) — Бо)еАт <1т

Ат,

-Аг

(36)

а в0 - единственное решение уравнения (35), приводит уравнение (32) к виду (33), в котором следует положить в — во.

Теорема 10. Матрицы Б и Н({), для которых замена (34) приводит уравнение (32) к виду (33), определяются не единственным способом. А именно, пусть матрица А не является Т-резонансной и пусть во - решение уравнения (35). Тогда замена (34), где

Н(г) = е

АЪ

е-Ат (Р (т) — 5 )еАт Ат + Со

Ат,

—АЪ

(37)

5 = Бо — СоА + АСо, при любой постоянной матрице Со приводит уравнение (32) к виду (33).

(38)

Таким образом, если матрица А не является Т-резонансной, то замена (34) приводит уравнение (32) к виду (33). Отметим здесь следующий полезный факт. Путем выбора постоянной матрицы Со в формуле (38) можно добиться того, что в уравнении (33) матрица в будет «диагональной». Приведем в этом направлении вспомогательное утверждение.

Пусть матрица А имеет полупростое собственное значение Ао кратности к и пусть Ео -соответствующее собственное подпространство оператора А : См ^ См. Пусть Ро - спектральный проектор на подпространство Ео, т.е. Ро : См ^ Ео, АРо = РоА и Рох = х для любого х е Ео. Положим Ро = I — Ро.

г

о

г

о

а

Лемма 5. Имеет место равенство

Ро(во — СоА + АСо)Ро = РовоРо

для любой матрицы Со.

Таким образом, матрица линейного оператора Ро(Бо — СоА + АСо)Ро : Ео ^ Ео не зависит от выбора Со.

Лемма 6. В равенстве (38) матрицу Со можно выбрать таким образом, чтобы выполнялись равенства

Ро(во — СоА + АСо)Ро = Р°(во — СоА + АСо)Ро = 0 , Ро(СоА — АСо)Р

0.

В справедливости этих лемм можно убедиться прямым подсчетом.

Из этих лемм следует, что за счет выбора Со можно добиться того, чтобы матрица (38) в подходящем базисе пространства См имела вид

5

$11 012 О 21 822

где Б11 - квадратная матрица порядка к линейного оператора РовоРо : Ео ^ Ео, в22 - квадратная матрица порядка N — к, а 012 и 021 - нулевые прямоугольные матрицы соответствующих размеров. При этом матрицы вц и в22 совпадают с соответствующими диагональными блоками матрицы во - решения системы (35) и, кроме этого, матрица вц не зависит от выбора Со. В частности, если матрица А является простой (т.е. если она имеет в точности N различных собственных значений А1 ,\2,... , А^), то за счет выбора Со можно добиться того, чтобы матрица (38) в базисе из собственных векторов матрицы А имела вид:

5 =

«и 0

0 22

00

0 0

8NN _

при этом числа совпадают с соответствующими диагональными элементами матрицы во - решения системы (35).

Пусть теперь матрица А является Т-резонансной. В этом случае необходимо провести предварительное преобразование х = и (Ь)г с Т-периодической невырожденной матрицей и( ), с помощью которого исходная система (32) сводится к равносильному виду

^ = [А + еРН) + £2<С(г, е)]х + а(х, г, е), аЪ

х еС

N

(39)

в котором матрица А уже не является Т-резонансной. Пусть, например, для некоторых двух различных полупростых собственных значений А1 и \2 матрицы А выполнено равенство Х1 — Х2 = при некотором целом д. Обозначим через Е1 спектральное подпространство оператора А, отвечающее собственному значению А1, а через Р1 : См ^ Е1 -оператор спектрального проектирования. Полагая Р1 = — Щ-д1Р1, произведем в (32) замену

х = еР1Ьг с Т-периодической матрицей ер1 ь. Тогда получим систему (39) требуемого вида, в которой А = А + Р1.

Таким образом, для произвольной матрицы А существует бесконечно много различных замен вида (34), приводящих (32) к виду (33).

3.1.2. Использование последующих приближений. Рассмотрим теперь более общую постановку задачи, а именно, рассмотрим уравнение (32) вида:

d т

— = [А + ePl(t)+ e2P2(t)+ e3Q(t, e)]z + a(z,t, e), z e CN ,

П

(40)

где А, Q(t, e) и a(z ,t, e) имеют тот же смысл, что и в уравнении (32), Pi(t) и P2(t) непрерывные Т-периодические матрицы.

Приведем схему перехода от (40) к равносильному уравнению

% = [А + ев! + £2Б2 + £3ф, е)]у + а(у, I, е), у е СИ ,

где вх и в2 - постоянные матрицы. Переход можно осуществить используя замену

у = (1 - £НхЦ) - £2Н2(г))г,

(41)

(42)

где Н\(Ь) и Н2(1) - некоторые невырожденные Т-периодические матрицы.

Будем считать, что матрица А не является Т-резонансной; если это не так, то следует предварительно преобразовать матрицу так, как говорилось выше. Пусть, далее, матрицы и Н\(Ь) уже определены по приведенной выше схеме. А именно, пусть для определенности - это единственное решение аналога матричного уравнения (35):

Г е-ÄTSeÄTdr = Г e-ÄTP\ (т)еÄTdr : 'о Jo

(43)

пусть Hi (t) определяется в соответствии с равенством (36):

Hi(t) = е

At

е-Ат(Pi(r) - Si)eATdr

Ат,

—At

(44)

Далее положим

P2(t) = P2(t) - Hi(t)Pi(t) + SiHi(t)

и рассмотрим матричное уравнение

Г e-ÄTSeATdr = Г e-ÄTP2(r)eÄTdr , оо

(45)

с неизвестной матрицей в. Так как матрица А не является Т-резонансной, то уравнение (45) имеет единственное решение, которое и можно использовать в качестве матрицы в2. А именно, верна (см. [16])

Теорема 11. Пусть матрица А не является Т-резонансной. Пусть и в2 - единственные решения уравнений (43) и (45) соответственно. Тогда замена (42), где Нх(Ь) - матрица (44),

H2(t)

„At

е-Аг(Р2(т) - S2)eATdr

Ат.

—At

(46)

приводит уравнение (40) к виду (41).

Так же, как и в теореме 10, можно отметить, что матрицы вх, в2, Нх(1) и Н2(1) определяются не единственным способом. Также отметим, что по аналогичной схеме можно изучать и последующие приближения.

t

о

t

о

3.1.3. Случай неполупростого собственного значения. Таким образом, метод М. Розо позволяет свести вопрос об устойчивости нулевого решения уравнения (30) к аналогичному вопросу для уравнения (31), который, в свою очередь, может быть исследован путем построения собственных значений постоянной матрицы А + £Б1 + £2Б2 + ... + £к Б к, зависящей от малого параметра е. Указанная задача может быть решена методами теории возмущений линейных операторов [17, 18] (см. также следующий пункт). Отметим в этой связи, что методы теории возмущений особо эффективны в ситуации, когда чисто мнимые собственные значения матрицы А являются полупростыми. Если же матрица А имеет неполупростое чисто мнимое собственное значение, то ситуация существенно усложняется.

В этом подпункте приводится способ, позволяющий в методе М. Розо перейти от задачи с неполупростыми чисто мнимыми собственными значениями к равносильной задаче с полупростыми собственными значениями.

Ограничимся рассмотрением зависящего от малого параметра ^ линейного уравнения

= [А + ^в(г)]х, X е СИ , (47)

№

где А и В(I) - квадратные матрицы, причем В(1 + Т) = В(¿). В уравнении (47) матрицы А и В(I) и параметр ^ могут быть как вещественными, так и комплексными.

Пусть матрица А имеет неполупростое собственное значение Ао кратности 2. Пусть е и д - собственный и присоединенный векторы так, что выполнены равенства:

Ае = Хое , Ад = Ход + е .

Сопряженная матрица А* имеет неполупростое собственное значение Ло кратности 2. Пусть е* и д* - собственный и присоединенный векторы матрицы А*. Векторы е,д,е*,д* можно нормировать равенствами:

(е,е*) = (д,д*) = 0 , (е,д*) = (д,е*) = 1.

Обозначим через Ео спектральное (двумерное) подпространство оператора А, отвечающее собственному значению Ло, а через Ро : См ^ Ео - оператор спектрального проектирования. Этот оператор может быть определен равенством

Рох = (х,д*)е + (х,е*)д .

Положим Ро = I — Ро и Ео = РоСм. Тогда Ео является инвариантным для оператора А подпространством так, что См = Ео ф Ео, а Ро - оператором спектрального проектирования на Ео.

Положим далее

= (х,д*)е, Q2х = (х,е*)д , = (х,е*)е,

Яо(е) = Я1 + еЯ2, Я(е) = Ро + Яо(е), где е - параметр (вещественный или комплексный). Несложно доказывается

Лемма 7. Оператор Q(£) : См ^ См при £ = 0 обратим, при этом

(Я(£))-1 = ро + Я1 + -Я2.

£

Пусть параметры ^ и е связаны равенством ^ = £2 так, что £ = £(^) - одна из ветвей двузначной функции £ = ^1/2. Тогда уравнение (47) примет вид

^ = [А + £2ВП)]х , X е СИ . (48)

(Ж

Произведем в уравнении (48) при £ = 0 замену:

ж = д(£)у или у = (Я(£))-1х . (49)

Несложно убедиться в том, что замена (49) приводит уравнение (48) к виду ёу

¿г

где

^ = [¿о + еВ,(1) + е2В2(г) + £3В3(г)]у , у е См , (50)

По построению операторы А : Ео ^ Ео и Ао : Е° ^ Е° совпадают. Операторы

Л = АРо + ХоРо , В1(г) = д3 + Я2В(1)(Ро + ,

В2(г) = (р° + я1)в(1)(р° + <^1) + д2 в(ф2 въ(1) = (р о + Я1)в(1)Я2.

о

А : Ео ^ Ео и Ао : Ео ^ Ео отличаются тем, что для первого из них число Ао является неполупростым собственным значением кратности 2, а для второго - полупростым собственным значением кратности 2.

Таким образом, при е = 0 уравнения (48) и (50) эквивалентны в том смысле, что их решения связаны равенством (49). В частности, при е = 0 свойства устойчивости этих уравнений одинаковы. При этом в уравнении (50) собственное значение Ао матрицы Ао уже является полупростым.

Пусть теперь Ие Ао = 0. Для уравнения (50) можно использовать схему М. Розо, в частности, перейти к уравнению вида

— = Ио + еБ + е2В(1,е)]у, у е Си , (51)

аъ

где Б - постоянная матрица. Изучив вопрос об устойчивости полученного уравнения по постоянной матрице Ао + ев, получим и решение задачи об устойчивости уравнения (48) при е = 0, а следовательно, и исходного уравнения (47) при ^ = 0.

3.2. Формулы теории возмущений. Пусть матрица А(^) непрерывно или гладко зависит от параметра ^ (скалярного или векторного), при этом матрица А(^о) имеет простое собственное значение Ао. Тогда при каждом близком к значении ^ матрица А(^) имеет единственное простое собственное значение Х(^), близкое к Ао. Требуется найти (аналитически или приближенно) это собственное значение. Такие задачи обычно решаются методами теории возмущений линейных операторов [17]. В этом пункте предлагаются формулы теории возмущений, полученных в [18] на основе метода функционализации параметра. Эти формулы используются при доказательстве некоторых утверждений настоящей работы. Будем предполагать, что матрица А(^) является вещественной и гладко зависит от вещественного параметра В приводимых ниже утверждениях используется обозначение N = А' (^о).

Пусть сначала матрица А(^) при ^ = цо имеет простое вещественное собственное значение Ао. Пусть ео и до - это собственные векторы матрицы Ао = А(^о) и транспонированной матрицы А*, отвечающие собственному значению Ао. Векторы ео и до будем считать нормированными в соответствии с равенствами: ||ео|| = 1 и (ео,до) = 1.

Теорема 12. При ^ близких к матрица А(^) имеет единственное близкое к Ао простое вещественное собственное значение Х(^), представимое в виде

\(ц) = Хо + 7 (^ — Vо) + 0((/л — ро)2). (52)

где 7 = (А'ео,до).

В частности, из формулы (52) следует равенство X'(^о) = (А'ео,до).

Пусть теперь матрица Ао = А(^о) имеет пару простых собственных значений ±шог, где шо > 0 . Тогда при малых ^ — Цо1 матрица А(^) имеет пару простых собственных значений Х(^) = а(^) ± гш(^), где а(^о) = 0 и ш(^о) = шо. Далее, существуют ненулевые векторы е,д,е*,д* такие, что выполняются равенства (7) и (8).

Теорема 13. При ц близких к ц0 вещественная и мнимая части собственного значения Х(ц) = а(ц) ± ш(ц) матрицы А(ц) представимы в виде

11

а(ц) = тг(Ц -Цо) + 0((/1 - цо)2) , (53)

12 2 ш(ц)=шо - —(ц -цо) + 0((ц - Цо) ), (54)

где

11 = (А'е, е*) + (Ад, д*) , Ъ = (А'е, д*) - (Ад, е*) .

4. Приложение: уравнение Матъе В качестве приложения рассмотрим уравнение Матье

и" + (а + р cos 2t)u = 0 , (55)

где а и р - вещественные параметры. Исследованию различных задач, связанных с уравнением Матье, посвящено огромное количество работ (см., например, [6, 13]). Одной из основных здесь является задача исследования устойчивости решений и, в частности, задача построения областей устойчивости в плоскости параметров (а,р). Известно, что если IPI мало и а < 0, то решение и = 0 уравнения (55) неустойчиво; если же а ^ 0, то, как правило, при малых I РI решение и = 0 является устойчивым, за исключением окрестностей точек (п2, 0) в пространстве (а,р). А именно, области неустойчивости узкими языками вклиниваются в точки (п2, 0).

Приведем для иллюстрации схему построения одного из таких языков для п = 1. С этой целью будем рассматривать задачу исследования устойчивости решения и = 0 уравнения (55) при значениях а и р, близких к а0 = 1 и р0 = 0 соответственно.

Стандартной заменой z\ = и, z2 = и', приведем уравнение (55) к системе вида (10), а именно, к линейной системе

X = А(а,р, t)x, х е R2, (56)

где

А( а, р, ) =

В этом примере Т = к и выполняется равенство

01

-(а + р cos2t) 0

(57)

А0 = А(1, 0, t)

01 10

(58)

Собственные значения этой матрицы равны ±г, т.е. в рассматриваемом примере имеем

ш0 = 1. Наконец, так как ш0 = при к0 = 1, то для уравнения (56) имеет место случай

30 при а0 = 1 и р0 = 0.

Кривую То, ограничивающую области устойчивости и неустойчивости уравнения (56) и проходящую через точку (1, 0) в плоскости параметров (а, Р), будем искать в виде функции (12):

Р = Рг5 + М2 + Ч(й), (59)

где = а - 1, а р1 и р - коэффициенты, требующие определения.

4.0.1. Предварительные преобразования. Вычислим сначала коэффициент р1 в соответствии с приведенной выше схемой. Уравнение (14) в нашем примере имеет вид

ПТ

— = [Ао + 6А1($1 ,г) + 62А2($2,г) + ^МЖ Ж е к2, аъ

(60)

где Ао - матрица

А1(^1,г) = — (1 + р1 собЯ)

00 10

ММ = — 202 соб21

00 10

Прежде, чем приводить уравнение (60) к виду (16), для удобства вычислений приведем матрицу Ао к диагональному виду, взяв в качестве базиса в С"2 ее собственные векторы.

Г 1 г

Другими словами, в (60) произведем замену х = Цх, где Ц =

(60) примет вид

г 1

. Тогда уравнение

^ = [Аы + 6Аю(р1,1) + 52А2о(р2, $ + Азо(Ь, 5)]г , г е С2

аъ

(61)

где

А

оо

г 0 0 -г

Аю(М = — 2(1+ соб21)

—г 1 1 г

1

А2о(М = — 402 соб21

—г 1 1 г

Приведем теперь полученное уравнение (61) к виду (16). Для этого надо в (61) произвести замену у = е^^г, в котором оператор» Q-1 определяется равенством

1

Q1 х = —2шог(х,е*)е1. В нашем случае имеем е1 = е

0

и, следовательно, матрица

оператора определяется равенством уравнение (61) к виду (16): йу

—21 0 00

. Тогда замена у = е^г приведет

в котором

<И

А=- г

-£ = [А + 6А1(/З1,г) + 52А2(Р2,г) + Аз(г,б)]у, у е С2

10 01

мм = — 2(1+ А со821)

—г е

„2И

-2И

МР2 = — ^ & С08 21

—г е „2И

-2И

4.0.2. Вычисление коэффициента Перейдем, наконец, к рассмотрению матричного уравнения (17). Так как А = —И, где I - единичная матрица, то уравнение (17) здесь имеет вид

/ Бйъ = \ А^^г) <И.

оо

а его решение - это матрица:

Б (0 = 4

2г

—2г

(62)

С 2 — 4

Так как собственные значения матрицы Б(£) являются решениями уравнения Л = ———,

то условия теоремы 8 выполнены при £ = ±2. Следовательно, для коэффициента р1 в представлении функции (59) получаем два возможных значения: р1 = 2 и р1 = —2. Эти

п

п

значения определяют углы р = ± arctg 2 наклона касательных к границам областей устойчивости и неустойчивости уравнения Матье (55) в точке (1, 0) в пространстве параметров

(а,Р).

4.0.3. Вычисление коэффициента р2. Вычислим теперь коэффициент р2 в представлении функции (59). Пусть для определенности рг = 2. Положим

Sx = S (2) = -

-1

—1

Тогда в системе (23) имеем

Pi(t) = Ai(2, t) = — - (1 + 2cos2t)

P2( v, t) = A2( u, t) = — 2"cos2t

—2it e 2"" i -2it e2"" i

—% e ,2it

—г e

-,2it

В силу силу того, что A = —iI, матрица (24) равна:

(63)

Hi(t)= (Pi(r) — Si) dr Jo

_ 1

= — 8

Тогда матрица (25) равна:

—4i sin 2t — 2 г e2it — г eш + 3 г

2i e-2it + i e-4it — 3 i 4i sin 2t

F(u, t) = P2( 1У, t) — Hi(t)Pi(t) + SiHi(t)

fii( U, t) f 12 (/Л t) f 2i (^ t) f 22 (^ t)

где

fii( u, t) = -uicos2t — — (—2i + 4 icos2t — 2 icos2 2t + 2sin2t — sin4t), 2 16

fi2(u, t) = — 1ue-2Ü cos 2t — 1(2 — 2e-ш — 2гe-2Ü sin4t) ,

f 2i (^ t) = f i2 (i/, — t),

f22( u, t) = — -u icos2t — — (2i — 4 icos2t + 2 icos2 2t + 2sin2t — sin4t). 2 16

Наконец, решение матричного уравнения (26) имеет вид:

1 Г

Z(и) = - F(и, t)dt = к Jo

A6L . ,8

— -V — - --—i

8 i6b

(64)

(65)

Таким образом, согласно методу М. Розо вопрос об устойчивости системы (23) равносилен вопросу об устойчивости системы

% = [—гI + 5Si + Ó2Z(и) + A—(t, 5)]y , у e С2. at

(66)

Отметим, что так как определенная равенством (63) матрица Зг имеет неполупростое собственное значение 0 кратности два, то имеет место указанный в (28) случай с).

В системе (66) произведем невырожденную периодическую замену х = еиу; тогда получим систему

d т —

= [^Si + ¿2Z(u) + A—(t, 6)]т, т еС2

t

Для удобства вычислений приведем матрицу в1 к каноническому виду, взяв в качестве

базиса в С2 ее собственный и присоединенный векторы. Другими словами, в (67) произ-

1 -г гр

. Тогда придем к системе:

ведем замену х = Qz, где Q

1

где ¿>1 = Ц ^^ =

0 1 0 0

^ = + 52г + ОТ г е С2

0

(68)

£ = ^ 1ZQ

По указанной в п. 3.1.3 схеме положим

1V- -1

4й 16

1V + -5

4и + 16 0

е =

1 0 * 0 * 1

0 , 9 = 1 , е = 1 , 9 = 0

Ц1Х = (х,д*)е, Ц2Х = (х,е*)д, = (х,е*)е, Qo(£) = + ,

где £ - малый параметр. При £ = 0 оператор Qo(£) обратим, при этом

1

(^0(е))-1 = + "^2 .

£

Так как р1 = 2, то не ограничивая общности в (59) можно считать, что 8 > 0. Перейдем от 8 к новому малому вещественному параметру £, связанному с 8 равенством £ = \/8. При этом произведем в уравнении (68) при £ > 0 замену г = Q0(£)x. Тогда получим уравнение:

¿х

где

01

— = [е3^ + е5^ + ^о(£))-^-1А3(1,£^о(£)]х , х е С

4 V -1 0

г

0 IV +156

0

0

Матрица в1 устойчива при V < 1/4 и неустойчива при V > 1/4. Следовательно, в соответ-

1

ствии с аналогом теоремы 7 можно положить V = —.

Аналогично, если в представлении функции (59) взять р1 = -2, то получим V* = — ^.

Таким образом, искомые границы областей устойчивости описываются функциями (59) вида:

р = 2(а - 1) + 4(а - 1)2 + гц(а - 1) ,

р = -2(а - 1) - 1(а - 1)2 + щ(а - 1),

где функции ^ (8) удовлетворяют соотношениям: ^ (8) = о(82) при 8 ^ 0. На Рис. 2 изображены соответствующие кривые, ограничивающие области устойчивости и неустойчивости уравнения Матье (области устойчивости заштрихованы).

Рис. 2. Области устойчивости уравнения Матье

5. Доказательства основных утверждений

5.1. Доказательство леммы 1. Рассмотрим матричные задачи Коши:

X' = А(г)х, Г У' = в(г)У, X (0) = I, \ У (0) = I,

где А(Ь) и В(Ь) - матрицы из (3) и (4). Пусть X(1) и У(1) - решения этих задач. Тогда матрицы X(Т) и У (Т) являются матрицами монодромии для линейных систем X = А(Ь)х и = в( ) , т.е. собственные значения этих матриц (мультипликаторы) определяют топологические типы нулевых точек равновесия систем (3) и (4). Лемма 1 будет доказана, если показать, что матрицы X(Т) и У (Т) подобны. С этой целью рассмотрим еще одну задачу Коши

= в т, 1 (69)

г(0) = ио, } ( )

где и0 = и(0), а и(Ъ) - матрица из формулы у = и(£)х, осуществляющей переход от (3) к

(4). Пусть г(1) - решение задачи (69). Несложно видеть, что матрицы X(1) и г(1) связаны равенством г(1) = и(t)X(¿), а матрицы У (1) и г(1) - равенством У (г) = г (г)и-1. Отсюда получим равенство У(Т) = UoX(Т)и-!, что и требовалось доказать.

5.2. Доказательство теоремы 1. Уравнение (5) имеет вид (32). Так как матрица Ао является вещественной и ее топологический тип равен (р-, 1, р+), то матрица А0 не является Т-резонансной. Поэтому можно применить схему М. Розо, а именно, для уравнения

(5) применима теорема 9. Другими словами, существует замена у = (I - £Н(Ь))х с невырожденной и Т-периодической матрицей Н(¿), приводящая (5) к виду (33):

^ = [А0 + цБ0 + ц20(ц, ¿)]у + а(у,1,ц), уеСм, (70)

аъ

где матрица Б = Бо - это единственное решение уравнения

[ е~л°тБеА°Чт = [ е~А°тАг(т)еАоТ(1т. (71)

ио Л)

Согласно теореме 12 матрица А(ц) = А + цБо при малых 1ц1 имеет единственное собственное значение, близкое к 0, при этом оно представимо в виде:

Х(ц) = (Б0е0,до)ц + 0(ц2); (72)

здесь и - это собственные векторы матрицы А и транспонированной матрицы А*, отвечающие собственному значению 0.

Полагая в (71) Б = Б и умножая обе части полученного равенства сначала на вектор , а затем скалярно на вектор , получим равенство:

1 [т 1 (Бе 0,д0) = т] (А1(т)е0,д0)с1т = ^Л1, (73)

где Лг - число (6).

В силу леммы 1 при малых | топологические типы нулевых точек равновесия систем (5) и (70) одинаковы. При малых 1ц1 топологический тип нулевой точки равновесия системы (70) определяется свойствами матрицы А(ц) = А0 + цБо. Но по условиям теоремы топологический тип матрицы А0 равен (р-, 1, р+). Поэтому из равенств (72) и (73) следует, что при малых 1ц1 топологический тип нулевой точки равновесия системы (70) равен (1 + р-, 0, р+), если < 0; он равен (р-, 0,1 + р+), если цЛ1 > 0. Теорема 1 доказана.

5.3. Доказательство теоремы 3. Доказательство теоремы 3 производится по той же схеме, что и доказательство теоремы 1. При этом используются асимптотические формулы (53) и (54) из теоремы 13.

5.4. Доказательство леммы 2. С доказательством существования и единственности решения в(£) уравнения (17) можно познакомиться в [16]. А тот факт, что функция является гладкой, следует из предположения, что в уравнении (10) элементы матрицы А(а,Р,Ь) дважды непрерывно дифференцируемо зависят от а и [3.

5.5. Доказательство теорем 5 и 6. Ограничимся приведением схемы доказательства теоремы 6. Общее утверждение (т.е. теорема 5) доказывается по той же схеме, но более громоздко, так как требует рассмотрения различных случаев (один из которых содержит теорема 6). Пусть также для простоты уравнение (10) является двумерным, т.е. N = 2.

Рассмотрим соответствующую (10) линейную систему

ПТ

^ = А(а,/3,1)х, X е К2, (74)

свойства показателей Флоке которой определяют области гиперболичности нулевого решения уравнения (10) и их границы. Напомним о предположении, что матрица А0 = А(а0, [30,Ь) не зависит от причем матрица А0 имеет пару простых собственных

„ , • ^о ,

значений ±гш0, где ш0 = при некотором натуральном к0.

В силу теории возмущений линейных операторов (см., например, [17]) при близких к (а0,@0) значениях (а,@) система (74) имеет два показателя Флоке Х1(а,Р) и Х2(а,@), при этом их вещественные части определяются однозначно. Положим и^(&.,$) = И.е Х^(а,[3) (] = 1, 2); тогда щ(ао,Ро) = 0.

Используя условие А'(£*) = 0 теоремы 6, а также тот факт, что в силу леммы 1 проведенные в п. 2.3 невырожденные Т-периодические преобразования уравнения (10) не изменяют топологический тип его нулевого решения, можно показать, что для одной из двух функций и^(а,0) выполняется равенство и^(а0,@0) = А'(£*). Пусть для определенности это равенство имеет место для ] = 1. Рассмотрим уравнение

щ(а,р) = 0. (75)

В силу теоремы о неявной функции уравнение (75) определяет единственную функцию [3 = /(а), определенную в некотором интервале (а0 - 80, а0 + 80) и такую, что /(а0) = @0. При этом функция [3 = /(а) является непрерывно дифференцируемой. Прямым подсчетом можно убедиться в том, что /'(а0) = £*. Кривая Т, описываемая функцией [3 = /(а), и является искомой границей области гиперболичности нулевого решения уравнения (10). Теорема 6 доказана.

5.6. Доказательство теоремы 7. Доказательство теоремы 7 проводится по той же схеме, что и доказательство теоремы 6.

5.7. Доказательство теоремы 8. Полагая для простоты обозначений а0 = 0 и = 0, перепишем уравнение (29) в виде

ит

— = \Ао + аААг)+ рВ1(г) + В3(а,р,г)]х, X е В2 , (76)

№

где матрица В3(а,[3,Ь) удовлетворяет соотношеннию: тах \\В3(а,@,1)\\ = 0(а2 + /З2) при (а,р) ^ (0, 0).

Производя преобразования, аналогичные преобразованиям уравнения (10), приведем линейную систему (76) к виду (16):

^ = [А + аАг(1) + рВг(г) + Вз(а,Р, 1)]у ,

а

которое после замены г = еу сводится к виду

— = [аАг(1)+рВг(1) + Вз(а,Р, ф . (77)

а

Обозначим через X(а,Р) матрицу монодромии системы (77). Тогда X(0,0) = I, где I -единичная матрица. Граница области устойчивости уравнения (29) определяется уравнением

¿е^(а, Р) - 1) = 0 . (78)

Для завершения доказательства теоремы 8 остается заметить, что в ее условиях уравнение (78) имеет решение вида Р = £*а + 0(а2), которое и определяет границу устойчивости уравнения (76).

СПИСОК ЛИТЕРАТУРЫ

1. Гукенхеймер Дж., Холмс Ф. Нелинейные колебания, динамические системы и бифуркации векторных полей. Москва-Ижевск: Ин-т компьют. исслед. 2002. 560 с.

2. Арнольд В. И. Геометрические методы в теории обыкновенных дифференциальных уравнений. Ижевск: Регулярная и хаотическая динамика. 2000. 400 с.

3. Каток А. Б., Хасселблат Б. Введение в теорию динамических систем. М.: МЦНМО. 2005. 464 с.

4. Шильников Л. П., Шильников А. Л., Тураев Д. В., Чуа Л. Методы качественной теории в нелинейной динамике. Часть 2. - М.-Ижевск: Институт компьютерных исследований. 2009. 548 с.

5. Chiang H. D., Alberto L. F. C. Stability regions of nonlinear dynamical systems : theory, estimation, and applications. Cambridge University Press. 2015. 484 p.

6. Демидович Б. П. Лекции по математической теории устойчивости. М.: Наука. 1967. 472 с.

7. Якубович В. А., Старжинский В. М. Линейные дифференциальные уравнения с периодическими коэффициентами и их приложения. М.: Наука. 1972. 720 с.

8. Loccufier M., Noldus E. A new trajectory reversing method for estimating stability regions of autonomous nonlinear systems. // Nonlinear Dynamics. V. 21. 2000. P. 265-288.

9. Chiang H. D., Hirsch M. W., Wu F. F. Stability region of nonlinear autonomous dynamical systems. // Institute of Electrical and Electronics Engineers Trans. on Automatic Control, 33, № 1. 1988. P. 16-27.

10. Amaral F. M., Alberto L. F. C. Stability Boundary Characterization of Nonlinear Autonomous Dynamical Systems in the Presence of a Saddle-Node Equilibrium Point. // Tend. Mat. Apl. Comput. V. 13. № 2. 2012. P. 143—154.

11. Красносельский М.А., Кузнецов Н. А., Юмагулов М.Г. Функционализация параметра и асимптотика циклов в бифуркации Хопфа. // Автоматика и телемеханика. 1996. № 11. C. 22-28.

12. Красносельский М. А., Кузнецов Н.А., Юмагулов М.Г. Операторный метод анализа устойчивости циклов при бифуркации Хопфа. // Автоматика и телемеханика. 1996. № 12. C. 24-30.

13. Чезари Л. Асимптотическое поведение и устойчивость решений обыкновенных дифференциальных уравнений. - М.: Мир, 1964. 477 с.

14. Малкин И. Г. Методы Ляпунова и Пуанкаре в теории нелинейных колебаний. // М.: Еди-ториал УРСС. 2004. 248 с.

15. Маркеев А. П. Точки либраций в небесной механике и космодинамике. М.: Наука. 1978. 312 c.

16. Розо М. Нелинейные колебания и теория устойчивости. М.: Наука. 1971. 288 c.

17. Като Т. Теория возмущений линейных операторов. М.: Мир. 1975. 740 с.

18. Красносельский М.А., Юмагулов М. Г. Метод функционализации параметра в проблеме собственных значений. // ДАН России. Том 365. № 2. 1999. С. 162-164.

19. Kuznetsov Yu. A. Elements of Applied Bifurcation Theory. N.Y.: Springer. 2004.

Лилия Сунагатовна Ибрагимова,

Башкирский государственный аграрный университет, ул. 50-летия Октября, 34, 450001, г. Уфа, Россия E-mail: lilibr@mail.ru

Ильмира Жаватовна Мустафина, Башкирский государственный университет, ул. З. Валиди, 32, 450074, г. Уфа, Россия E-mail: fanina84@bk.ru

Марат Гаязович Юмагулов, Башкирский государственный университет, ул. З. Валиди, 32, 450074, г. Уфа, Россия E-mail: yum_mg@mail.ru