![](/user_photo/_userpic.png)
книги из ГПНТБ / Митропольский Ю.А. Интегральные многообразия в нелинейной механике
.pdf220 г л . IV. П Р И М Е Н Е Н И Е к ИСС Л ЕД О ВА Н ИЮ Р Е Ш Е Н И Й |
|
||
4°. Все корни характеристического уравнения |
|
|
|
\Іпг — еР’г(7°)\ = 0 |
|
(5 .9 |
3 ) |
имеют отрицательные вещественные части. |
|
малые |
|
Тогда всегда можно указать такие достаточно |
|||
положительные постоянные е \ аи что для всех 0 |
< |
е < |
г' |
система уравнений (5.53) обладает квазипериодическим ре шением вида
ю= (йг/ + а |) + Ч?! (юг/ + а0, ѵ, е), / = 7 0 + Z (соTt + а 0, ѵ, е), (5.94)
причем это решение находится в а^окрестности устойчи вого квазипериодического решения (5.60).
Г л а в а V
ИССЛЕДОВАНИЕ ОКРЕСТНОСТИ ПОЛОЖЕНИЯ РАВНОВЕСИЯ
В настоящей главе рассмотрены локальные интегральные много образия нелинейных дифференциальных уравнений, близких к точно интегрирующимся, в окрестности положения равновесия соответствую щих невозмущенных уравнений. Рассмотрены также интегральные мно гообразия (не локальные) уравнений, близких к линейным. В конце главы дано приложение полученных результатов к исследованию устой чивости при постоянно-действующих возмущениях.
§1. Уравнения специального вида
1.Основные предположения. Рассмотрим нелинейное дифференциальное уравнение вида
= X (х) + еУ (/, х), |
(1.1) |
где х, X, У — и-векторы, е — малый положительный па раметр.
Положим, что невозмущенное уравнение
(1-2) допускает существование изолированного статического ре шения, соответствующего положению равновесия
|
|
|
* = 0 (Х(0) = |
0, |
Х х (0)¥=0). |
(1.3) |
Вектор-функции X (х), У (t, |
х) |
определены и непрерывны |
||||
в |
области |
R |
X D X ЕВо (D cz R n), 2л-периодические по t. |
|||
В |
области |
R X DPo X ЕЁ0, |
где DPo— р0-окрестность точ |
|||
ки |
X = О, |
Y |
(t , х) обладает |
ограниченной и |
равномер |
но-непрерывной частной производной по х первого поряд
ка, а |
X (х) — до третьего порядка |
включительно. |
Представим исходное уравнение (1.1) в виде |
||
dx |
— |
Ах ф-Хг (t, X, е), (1.4) |
|
— Ах ф- {-X (х) -j- еУ (/, X)) = |
222 г л . V. ИСС ЛЕ ДО ВА Н ИЕ О КР ЕСТ И. П О Л О Ж Е Н И Я Р А ВН О В Е С И Я
где А — Хх (0), при этом предположим, что можно выбрать такое достаточно малое рх •< р0 и постоянное N, чтобы при |д:| < pj имело место неравенство
| В Д | < У Ѵ № |
( 1 .5 ) |
В дальнейшем будем исследовать уравнение (1.4) в окрест ности DPl.
Рассмотрим соответствующее (1.4) линейное уравнение
( 1.6)
Пусть матрица А имеет критический спектр, состоящий из k собственных значений Я/ (/ — 1 ,..., к), расположенных на мнимой оси, каждое алгебраической кратности а/. Осталь ной спектр матрицы А обозначим о0 (А) и предположим, что он не пересекается с мнимой осью и в общем случае располо жен как в левой, так и в правой полуплоскостях.
Обозначим Я регулярную точку матрицы А и введем резольвенту Ri = (А — Я/)-1. Обозначим, далее, Г1( Г2, Г0 — произвольные гладкие замкнутые контуры, окружаю щие соответственно точки %,■(/ = 1,... , к) и спектр о0 (Л), и рассмотрим проекционные операторы
проектирующие пространство Rn в инвариантные подпро странства
R 1, •••, R k , R n~ k; R(А — А,- ( / = 1.........k), P0A = K
При этом спектр матрицы Л/ в подпространстве R1 состоит из точки Яу алгебраической кратности осу, и спектром матри
цы Ад в подпространстве Rn~k является о9 (Л). Размер ность каждого из корневых подпространств /?-',/ = (1,..., к) равна а.}. Обозначая элементы подпространств Rlt..., R k,
Rn~k соответственно через £, rj,..., £, h, имеем по опреде лению
%= р іХ, л = Р2х ......... |
£ = /%*, h = PgX, |
(1.8) |
x = P lX + P iX + . . . + р кХ + роХ> |
(,.9 ) |
|
§ 1. У Р А В Н Е Н И Я С П Е Ц И А Л Ь Н О Г О ВИДА |
223 |
при этом полагаем, что всегда можно выбрать такие |
аи |
|
Рі..... Ои |
/г € t/6l), |
что |
а, определяемое выражением (1.9), не будет выходить из области своего определения DPi.
2. Преобразование исходных уравнений. Дифференци руя соотношения (1.8) с учетом уравнений (1.4) и принимая во внимание свойство коммутативности проекционных опе
раторов Р /'с матрицей Л, находим |
|
|
|
||
-§ - = |
Alt + V>1(t, I, л, ... |
, £, е), |
|
|
|
- jjp = |
Л л + |
^ 2 (*> ь> Ѣ ■ ■ ■ |
. £. е), |
|
|
........................................................\ |
(і.ю> |
||||
-§ - = Akl + V k(t,l, г,, ... |
е), |
|
|||
= |
Я/і + |
Я (/,£, rj, . . . . |
£, е), |
I |
|
где Лу = РуЛ (/ = |
1, ..., |
&)— квадратные |
матрицы |
соот |
|
ветственно порядков аи а2, ... , аА; Я = Р0Л — [л X |
(л — |
— /г)] — матрица, спектр которой не пересекается с мнимой осью и в общем случае расположен в левой и правой полу
плоскостях; |
£, тр ... , £— соответственно а г, а 2, ... , ^-век |
||||||||||||||
торы, |
h = |
|
I ,..., /г„}, |
при этом |
|
|
|
|
|
|
|
||||
(*, I, ц, ■■■Л, h, е) = P j X (Ргх + Р2х + |
|
■■■ + Ркх + |
|||||||||||||
л- |
Рох) 4" sP У |
(t> Р Iх ~Ь Р 2 х Jr |
• • • |
-pPkx |
|
Р о *)= |
|||||||||
= |
|
(£> ц......... i,h) + |
е ^ /(t, g, rj, |
.. . , |
£, h) |
|
|||||||||
|
|
|
|
|
|
|
|
|
( / = |
|
1.........*), |
|
|||
P (* . l, |
Ц......... £, h, |
e) = |
P 0X ( P ^ |
-f P a* |
-f ••• -f |
|
|||||||||
+ |
p kx |
+ |
P Qx ) + |
|
z P < ¥ |
{t, |
P xx |
+ |
P 2x + |
■ ■ • |
+ |
P kx |
+ |
||
+ PQX) = |
Я 0( £ . Л |
. |
■ • • . |
S , |
Л ) + |
eRl (t, І , |
г |
] , . |
. . |
, £ , |
/ г ) . |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( 1 . 1 1) |
Из |
выражений |
(1.11) |
легко |
получить |
неравенства |
{ | ? / ( * , S, Л . . •• . S , Л , е) | , | / ? ( / , £ , л , . . . к, е ) ! } <
< Л 1(е,а3,р 2, ... ,а 2,6 2), (1-12)
224 гл. V. ИССЛЕДОВАНИЕ ОКРЕСТИ. ПОЛОЖЕНИЯ РАВНОВЕСИЯ
где М (е, а 2, ß2, ... , о2, б2)-» О при е -> 0, а |
0, ß -> О,... |
||||||||||||||||||
..., о —>■0, |
б ->- 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0. |
|||
В частности, неравенства (1.12) выполняются при h = |
|||||||||||||||||||
Из (1.11) устанавливаем также соотношения |
|
|
|
||||||||||||||||
|
Е, Л. • ■• * £, |
К |
е), R ( t,l,r \......... |
£, h, е)) £ |
|
|
|
||||||||||||
|
GLip{g,Ti, |
... , S. А; |
4 e , a 2,ß 2......... |
|
|
ст2,б 2)}, |
(1.13) |
||||||||||||
где |
X (е, |
а2, ß2, |
... , |
а2, |
б2) -> 0 при |
е -> 0, а -> 0, ß -> |
|||||||||||||
0, |
... , о -> 0, |
б -> 0 (а < |
av |
ß < |
ßlt |
... , а < |
аѵ б < |
б^. |
|||||||||||
Действительно, |
согласно |
|
свойствам |
функции &Y (t, |
х) |
||||||||||||||
имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{ е ^ } |
(t, I , |
л |
..............£ , h ) ; |
E R 1 |
(t, |
£, |
т]................ |
|
£ , |
h ) } |
6 |
|
|
|
|
||||
|
|
|
|
|
|
€ Lip {£, л, |
..■ , С, А; Д(е)}, |
|
(1.14) |
||||||||||
где |
А (е) -> 0 при |
е -> 0 |
|
(/ = |
1....... |
|
k). |
|
|
|
|
|
|
||||||
Рассмотрим функции #>/(£, |
л. ••• . £, |
А) |
(/ = |
1, ... , |
/г), |
||||||||||||||
Я0 (£, Л....... |
|
С. А). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Обозначим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
Рі/і (а2, ß2, . .. , а2, б2) = |
|
|
|
|
|
|
|
|||||||||
|
=■ |
|
|
sup |
|
|
|
|
|
|
(і, Л> |
• • • |
. £, |
A) I, |
|
||||
|
(|5 |< а . |T)|<ß____ _ | S l < c r , I A | < 6 } |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
Я-Лі(а2, ß2......... |
|
СГ2, б2) = |
|
|
|
|
|
|
|
|
||||||
|
= . |
|
sup |
|
|
|
|
|
|
|
Л......... |
|
|
£, A)|, |
|
|
|||
|
{|£ |< а , |TiJ<ß.......... |
|
IS|<a, |
|Л К б} |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
я-д («2, ß2. |
• • •. ff2, |
S2) = |
|
|
|
Л , A)|, |
|
|
||||||||
= |
E |
|
sup |
|£I<CT, |A|<6} |
l^/t(5. Л----- |
|
|
|
|||||||||||
|
{|If«x, |4|<ß........ |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
V |
(а2, ß2, |
• • • |
, ff2, ß2) = |
|
|
|
|
|
|
|||||||
(|S i< a , in K ß , . . ? .|£ |< о . Iftl< 6 } |
^ |
ih |
|
‘ |
|
|
^ |
^ |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1. |
5) |
В силу свойств функции X (л:) следует, что &%, ^°ПІ, ... |
|||||||||||||||||||
..., |
|
|
являются непрерывными функциями своих аргу |
||||||||||||||||
ментов. Следовательно, Хц (а2, ß2, ... , |
а2, б2) ->0, Хіп |
(а2, |
|||||||||||||||||
ß2....... |
ff2, |
б2) -> 0....... |
|
Ь/с (а2, ß2, ... , |
а2, |
б2) -> 0, |
Xih |
(а2, |
§ 1. УРАВНЕНИЯ СПЕЦИАЛЬНОГО ВИДА |
225 |
Тогда на основании соотношений
I
(Г, л". • • • , Г- h ") - |
(Г, Л'...... |
Г. h ') |
|
|
I |
= J (Г +
О
+ S(Г - Г). Л...... |
5, h ) ( Г Г ) rfs + J & т (S. Л' + |
|
О |
+ 5(Т)" — л ' ) ............ |
£, h) (Г)" — г]') ds + • • • + |
I
+№ % & * ) ......Г + s(Г - О-*) ( С - nrfs +
о
1 |
|
|
|
|
|
+ f Ѵ>%а, л ,. . . , |
S, h + |
S (h' - |
h')) (h" — h')ds |
(1.16) |
|
ö |
|
|
|
|
|
можем написать |
|
|
|
|
|
I ¥ \ (Г, л". • • • , Г. h") - |
9>?(g', |
r j',. . . , |
£', h') I < |
|
|
< Я (а 2, ß2, ... ,а 2, 62) { | Г - Г | |
+ |
іл" - л'| + ••• |
+ |
||
+ |Г - С '1 + |А '- А '|} |
(/ = |
1, . . . ,k). |
(1.17) |
Аналогичное неравенство справедливо и для R° (£, г), ...
h).
В результате имеем
{^, (t, & Л- • • • . £. h, г), R (t, g, л, • • • , С. h, е)} £
€ Lip {£, л.........С. h; А (г) + Я (а2, ß2, ... , а2, 62)}, |
(1.18) |
|||||
где Л (е) + |
Я (а2, ß2, ... , о2, 82) = Я (е, а2, ß2, ... , а2, б2) |
О |
||||
при е |
0, |
а ->• 0, |
ß — О, ..... о -*■ О, |
б -> 0. |
правой |
|
Таким |
образом, |
вектор-функции, |
стоящие в |
части уравнений (1.10), со значениями в инвариантных
подпространствах |
R1, ... , R k, ..., |
соответственно, |
определены в области |
|
|
*€ Я, |g| < a lt |
h K ß i ......... |£І <<Л ,\h \< б А, е£ Е Еі, |
|
|
|
(1.19) |
непрерывны, 2л-периодические по і, ограничены при h = 0
функцией |
М (е, |
а 2, |
ß2,...., а2) -> 0 |
при е |
0, а -> 0, |
ß -> 0 ,... , |
а -> 0 |
и |
удовлетворяют |
условию |
Липшица |
S Ю. А. Митропольский. О. Б. Лыкова
226 ГЛ. V. ИССЛЕДОВАНИЕ ОКРЕСТИ. ПОЛОЖЕНИЯ РАВНОВЕСИЯ
no £, т),... , £, Л с константой типа Липшица X (е, а2, ß2, ...
... , а2, 62)-> 0 при |
е-ѵО, а -> 0 , ß->0, |
... , а-> 0, б О*). |
Если алгебраическая кратность а,- каждого собственного |
||
значения Xt (j = I, |
2,... , к) матрицы А |
равна 1, или алге |
браическая кратность каждого собственного значения Xf равна его геометрической кратности, то придем к уравне ниям
Л - — t(o11 |
|
(t , £, т), • |
• • |
, S. h, |
e), |
|||
|
d t |
|
|
|
|
|
|
|
|
dr\ |
|
^2 (*, £> Л. • • • |
, S, A, e), |
||||
ИГ- = «Ч1! + |
||||||||
|
|
|
|
|
|
|
|
( 1.20) |
|
d t |
|
|
•. ,£ ,M ). |
|
|||
|
H h |
-f- R (t, |
г], .. • >£А |
e), |
|
|||
|
d t |
|
|
|
£, h, |
|
|
|
в которых |
функции |
5s/ (/, |
£, ri,..., |
е) |
( /= 1 ,...,£ ) , |
|||
R (t, g, т], |
... , £, Tj, е) |
обладают |
свойствами, аналогич |
ными свойствам функций в правой части уравнений (1.10). З а м е ч а н и е 1.1. Если повысить порядок гладкости функций X (х), V (t, X), то соответствующим образом по высится также порядок гладкости функций в правой части
уравнений (1.10), (1.20).
Представляет интерес рассмотреть частный случай урав нения (1.1), когда X (х) = Ах, где А — постоянная матри ца. В этом случае приведение исходного уравнения к спе циальному виду может быть произведено либо изложенным выше способом, либо при помощи метода А. М. Ляпунова [1151.
§ 2. Двупараметрические локальные интегральные многообразия
Для простоты ограничимся случаем, когда критический спектр мат рицы А в уравнении (1.4) состоит из двух собственных значений, рас положенных на мнимой оси, которые полагаем простыми изолирован ными точками спектра.
*) В дальнейшем функцию f (t, £, г|...... |
|
£, h, е), обладающую ука- |
аанными свойствами, будем полагать принадлежащей классу |
||
(/2Я; Л4(е, a 2,ß 2 ------ -- |
а3, |
) |л=0; |
% (в, а 2, ß2, -------а2, б2)(5| |
^ |
Х( ft)). |
§2. ДВУПАРАМЕТРИЧЕСКИЕ ЛОКАЛЬНЫЕ МНОГООБРАЗИЯ 227
Вэтом случае исходное уравнение (1.1) приводится к уравнениям вида *)
J L = « K5+$>(*, £, Г. А. е).
d t
|
|
dt |
|
+ Q(/, i, Г, h,&), |
|
|
(2. 1) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J L |
= H h + R (t, l, |
h, e), |
|
|
|
|
|||
|
|
d t |
|
|
|
|
|
|
|
|
|
где функции |
(/, |
£*, ft, e,), Q ((. £> 5*. A, e), |
|
((, g, g*. А, e) |
опре |
||||||
делены в области |
U K « « . |
I 6*1< |
Po. |
IAI < |
öo. |
e£E8i |
|
||||
|
'€ *> |
|
|||||||||
и принадлежат в этой области классу |
|
|
|
|
|
|
|||||
|
(/2Я; |
М ( в , а \ ßa) |A=0; |
Me, «2, ßa, öa)(S>. |
|
(2.3) |
||||||
Сформулируем |
и докажем ряд утверждений |
о |
существовании и |
||||||||
свойствах двупараметрического локального интегрального многооб |
|||||||||||
разия |
уравнений |
(2 .1). |
|
|
|
|
|
|
|
|
|
1. |
Доказательство существования |
и единственности дву |
|||||||||
параметрического локального |
интегрального |
многообразия. |
|||||||||
Справедлива следующая |
лемма. |
|
|
|
|
|
|
||||
Л е м м а |
2.1. Пусть функции в правой части уравне |
||||||||||
ний |
(2.1) обладают сформулированными выше свойствами. |
||||||||||
Тогда всегда можно указать такое положительное е, ( е ^ |
|||||||||||
< Е0), что для |
каждого положительного е < ех уравнения |
||||||||||
(2.1) |
обладают двупараметрическим локальным интеграль |
||||||||||
ным |
многообразием ЗЛ() |
представимым |
соотношением |
||||||||
|
|
|
|
|
|
|
|
|
|
|
(2.4) |
в котором вектор-функция / |
(/, |
£, |
£*, |
е) определена в об |
|||||||
ласти |
|
|
|
|
|
|
|
|
|
|
|
|
|
t£R, IÉI < |
«і. |
U * K ß i, |
e(EEei) |
(2.5) |
непрерывна относительно своих аргументов, 2п-периоди- ческая по t и удовлетворяет неравенствам
I /(/, Г, Г . £ )-/((, Г. Г". в)| <А (8. а 2, ß2)(| Г ~ Г I + (2.6) + І Г - П ) . .
*) I* комплексно сопряжено с g.
«*
228 ГЛ. V. ИССЛЕДОВАНИЕ ОКРЕСТИ. ПОЛОЖЕНИЯ РАВНОВЕСИЯ
где D (г) -> О, А (е, |
а 2, ß2) -> 0 при е |
0, |
а -> О, |
ß -> О |
(а < a lt ß < ßi). |
|
при |
доказательстве |
|
Д о к а з а т е л ь с т в о . Как и |
||||
леммы 2.1 гл. Ill, |
расширим область определения |
функ |
ций в правой части уравнений (2.1) и будем рассматривать
следующую |
систему |
уравнений: |
|
|
|
|
|
|||
|
|
- § - = і ^ |
+ ѴЛІ, g ,r , |
ft, 8), |
|
|
|
|||
|
|
= ~ |
ivl* + |
Ql (t, I |
Г, h, e), } |
(2.7) |
||||
|
|
-§ - = Hh + R1(t, 1,1*, ft, e), |
|
|
|
|||||
в |
которой |
функции |
^ |
(t, |
l, £*, |
ft, e), |
Qi (f, |, £*, |
ft, |
e), |
|
^ i |
І, I*, ft, e) определены в |
области |
|
|
|
|||||
|
|
t £ R , |
E ,r e Z , |f t|< 6 0, eGEei, |
(2.8) |
||||||
где Z — расширение локальной области |
изменения |
|, |
Е* |
|||||||
для t £ R, |
обладают в области |
(2.8) теми же свойствами, |
||||||||
что и функции S5 (/, I, I*, ft, е), |
Q (t, Е, |
ft, е), /? (Д Е. |
||||||||
Е*, ft, е) в области (2.2), и в области (2.2) совпадают с |
ними. |
|||||||||
|
Определим теперь |
матрицу G (О следующим образом: |
||||||||
|
|
0(0 = |
О, |
t > 0 , |
|
|
|
|||
|
|
е~ш, / < О, |
|
|
|
|||||
|
|
|
|
|
|
|
|
где Н — матрица, спектр которой не пересекается с мнимой осью и расположен слева от нее.
Очевидно, что матрица G (t) будет удовлетворять урав нению
|
|
~ = — HG = — GH |
|
|
(2 9> |
|||
с условиями |
|
|
|
|
|
|
||
|
|
G(— 0) = |
/, G (+ 0) = |
0 |
|
|
|
|
и для |
нее будет выполняться неравенство |
|
|
|
||||
|
|
\ G ( 0 \ < K e - ^ , |
|
|
|
(2.10> |
||
где |
К, |
у — положительные постоянные. |
|
D, |
А и |
|||
|
Фиксируем теперь |
положительные |
числа |
|||||
рассмотрим класс С (D, |
А) функций |
*) |
F (t, |
£, |
Е*), |
|||
так |
*) Для простоты записи |
зависимость функций |
F от е как |
здесь, |
||||
и в дальнейшем указывать |
не будем. |
|
|
|
|
§ 2. ДВУПАРАМЕТРИЧЕСКИЕ ЛОКАЛЬНЫЕ МНОГООБРАЗИЯ 229
определенных |
для |
|
|
|
6 |
,Г € Z, |
(2.11) |
удовлетворяющих неравенствам |
|
||
|
|
|
( 2. 12) |
] F (/, Г. Г ') - |
F (t, Г, Г") I < |
А П Г - |
Г 1+ ] Г ' - Г" 1} |
|
|
|
(2.13) |
иобладающих периодом 2л по отношению к t. Рассмотрим уравнения
jJ - ^ e e g |
+ |
^ / , g,g*,F(f, |
g, g*), в), |
|
|
Щг = |
- |
|
+ Qi (t, і, Г , |
F (<, I, Г), |
( 2- 1 4 > |
|
е). |
||||
Принимая |
во внимание свойства |
функций |
5^ (/, g, g*, |
||
h, 8), Qj (/, g, |
g*, |
h, |
e), нетрудно |
установить следующие |
|
соотношения: |
|
|
|
|
|
{I ^ i (/, І, І*. F (f, g, Г), e) |. I Ql (t, g, g*. F (f, g, g*), e) |} <
< M (e, aa, ß2) + Цг, a2, ß2) D, (2.15)
{ І, І*, F(t, І, g* e), 8) Qt (f, g, g*f F (it, g, g*f e), e)} g € Lip (g, g*; Я(е, a 2, ß2)(l -f- A)}. (2.16)
Задаваясь далее начальными условиями
S = É0. |
= S при * = *o, |
(2.17) |
принадлежащими области (2.2), в силу теоремы Коши мож но построить единственное решение уравнений (2.7). Обозна чим его символически в виде
Ь = LZtßo’ 5S); Г = ^ о(І0, Го), |
(2.18) |
где г — t — (0. |
_ |
Рассмотрим теперь некоторые функции F к F т класса С (D, А) и положим
% — |
L ,<„ (io> |
І< — |
L , / 0 (io> Іо ), |
|
|
|
(2.19) |
І / = |
М г,,0(Іо, Іо), |
I* = |
M z,tt (fo , Іо)- |
Из уравнений (2.14), принимая во внимание соотношения (2.15), (2.16), после ряда выкладок получаем следующие