Файл: Митропольский Ю.А. Интегральные многообразия в нелинейной механике.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 10.04.2024
Просмотров: 213
Скачиваний: 1
410 г л . Ѵ Ш. МНОГООБР. УР-НИП В БАНАХОВОМ ПРОСТРАНСТВЕ
Размерность корневых подпространств Ви .... В2 равна соответственнот1, ..., mk; Ах, Ak, W — линейные огра ниченные операторы, при этом спектр Ах в Вх состоит из
точки KOJ алгебраической кратности |
тх; спектр |
Аг в В2 |
состоит из точки кв2 алгебраической |
кратности т2 и т. д. |
|
и спектр W в В0совпадает с сг0 (Л). |
m) имеет конечный |
|
Если каждая точка ia>k (k = 1, |
||
ранг mk и, кроме того, каждой точке |
iwk (k — 1, ..., т) со |
|
ответствует тк линейно-независимых собственных |
векторов |
|
(собственная кратность ak точки iwk равна mk), |
то вместо |
|
исходного уравнения (3.6) получим уравнения |
|
;"Ч+1 |
mk -l + l |
12 |
***> |
(t, ä , . . . ,
■mk. h; e),
**I )k >
412 г л . V I I I . М Н ОГ О ОБ Р . У Р - Н ИЙ В Б А Н АХ ОВ ОМ ПР ОС Т РАНС Т ВЕ
2. Существование и свойства локального интегрального многообразия. Пусть исходное уравнение (3.1) в окрестности статического решения х0 = 0 соответствующего невозму щенного уравнения приведено к специальному виду. Для простоты ограничимся рассмотрением уравнений (3.16), правые части которых обладают следующими свойствами.
1°. Вектор-функции ^ (t, £1( g2, h, г), Q (t, g1( £2, h, е), R (t, І!, g2, h, e) со значениями в инвариантных подпростран ствах, соответственно, By, В2, В0, определены в области
R ХІ/а,Х n ßo X Uöo X Еео |
(3.1 7) |
|
и принадлежат в этой области классу |
|
|
(tr, М (в, а 2, ß2) |Л„ 0; 4 е. “ 2. ß2. b2)(luh,h))- |
(З-18) |
|
2е. Спектр оператора W распадается на два спектральных |
||
множества а_ (IV) и |
(W), не пересекающихся с мнимой |
|
осью и расположенных, |
соответственно, в левой и правой |
|
полуплоскостях. |
|
|
Докажем лемму о существовании локального интеграль ного многообразия Щ уравнений (3.16).
Л е м м а 3.1. Пусть функции в правой части уравнений (3.16) обладают указанными выше свойствами.
Тогда всегда можно указать такое положительное по стоянное ех (Еу < е0), что для каждого е > 0, в < егуравне ния (3.16) обладают двупараметрическим локальным интег
ральным многообразием |
Tlt, представимым |
соотношением |
g = |
4 ( t ,h ,h , в), |
(3.19) |
где вектор-функция cp (i, ly, g2. е) со значениями в В0 опреде лена в области t £ R, | £ * | < ß i , в £ ЕЕі, не прерывна, Т-периодическая по t и удовлетворяет условиям
ІФ (t, gi, ga, e) [|< D (e); ф (t, |
ga, e) £ Lip {glf g2; А (e, a 2, ß2)). |
|
(3.20) |
Д о к а з а т е л ь с т в о . Как и при доказательстве лем мы 2.1 гл. IV, вместо (3.16) будем рассматривать уравнения
§ 3. У Р А В Н Е Н И Я , Б Л И З К И Е К Т О Ч Н О - И Н Т Е Г Р И Р У Ю Щ И М С Я 413
в которых функции, стоящие в правой части, определены в расширенной области
t (: Д Еі. ^ 2 £ Z, А £ Д 0, е £ Е£і, |
(3.22) |
где Z является расширением локальной области изменения переменных h (t), ga (0 для / £ Д
При этом потребуем, чтобы в расширенной области функ ции
^ 1 Д У У |
А, е)> |
Ql Д Еі> Ег> А, е)> |
Д Д Еі. |
Еа>А, е) |
обладали теми же свойствами, что и функции |
|
|||
^ Д Ei. У |
А, 8), |
<2 Д EL Еа. А, е), |
Я (А Еі. У |
А, е) |
в области t £ |
R, |£ j < а0, |g * | < ß0, |
| h \ < ö0, e £ Eto, |
и в этой области совпадали с ними.
Докажем существование ограниченных по t решений уравнений (3.21). Отсюда, согласно определению, будет сле довать существование интегрального многообразия этих уравнений.
Фиксируя положительные числа D, А (Z>< 6J, рассмо трим класс С {.D, А) вектор-функций F (t, У У со значе ниями в В0, непрерывных по t и удовлетворяющих неравен ствам
|
|
II ЯД у |
у |
к |
д |
|
|
||
IIF Д У у |
- F Д У УII < |
А (I - ё I + I h - Ъ |
I), |
||||||
где |
|
|
|
|
|
|
|
(3.23) |
|
II Я Д |
Еі. У |
11= |
sup |
I F (t, у |
g2)|. |
(3.24) |
|||
|
|||||||||
|
|
|
|
|
tCR |
|
|
|
|
Имеем |
|
|
|
|
|
|
|
|
|
IIF ||= |
sup |
\F(t, у |
| a) I < D < 6 X. |
(3.25) |
|||||
|
|
t£R |
|
|
|
|
|
|
|
|
|
I..I.GZ |
|
|
|
|
|
|
|
Рассмотрим уравнения |
|
|
|
|
|
|
|||
|
|
^ |
Д |
|
l2, |
F (t, | lf |
8), 8), |
(3.26) |
|
|
|
|
|
|
|
|
|
||
-^r = |
i(d& |
+ Q1 Д |
|
5a. F Д EL |
Ea. У У |
|
Нетрудно проверить, что функции в правой части урав нений (3.26) удовлетворяют условиям, обеспечивающим
§ 3. У Р А В Н Е Н И Я , Б Л И З К И Е К Т О Ч Н О - И Н Т Е Г Р И Р У Ю Щ И М С Я 415
Отсюда следует, что оператор S является оператором сжа тия, и, следовательно, уравнение
F = SF |
(3.34) |
имеет в классе Со,д единственное решение. Обозначим его
F = fi(*,gi,ga,e)- |
(3.35) |
По самому определению класса Со,д видим, чт[1 (t, g1( | 2,е)
£ CD,а-
Раскрывая теперь уравнение (3.34) с учетом выражений (3.28), (3.35), производя затем в нем замену z + t — г и дифференцируя полученное равенство по t как по параметру,
убеждаемся, |
что функции |
|
|
hu |
= |
А (/; Lfz]t (§і, ga, е); |
Mfz)t (gx, g2> e); e), |
|
= |
1>І2> e)> |
(3.36) |
ga |
= |
(gl, g2, e) |
|
являются |
решениями |
уравнений (3.21), |
сводящимися при |
||||
t — А) К /і |
(^0, gl> ^2, е)> gl, ^2- |
|
|
|
|
||
Отсюда, согласно определению, следует, что многообра |
|||||||
зие, определяемое посредством hv = f1 |
| 1( g2, е), является |
||||||
интегральным для уравнений (3.21). |
|
|
|
||||
Но так как |
в |
области |
t £ R, |
'| £ |<ос0, |
||*|<Го» |
||
I /гI <Г б0, е £ ESl |
уравнения |
(3.21) |
эквивалентны уравне |
||||
ниям (3.16), то в |
этой |
области |
/х (t, | х, £2, е) == f |
(t, £г, | 2, е) |
|||
является представлением двумерного локального |
интеграль |
||||||
ного многообразия уравнений (3.16). |
|
|
|
||||
С л е д с т в и е 3.1. На многообразии Щ рассмотрение |
уравнений (3.16) сводится к рассмотрению двух уравнений вида
+ |
& (*, Іъ |
ga> f (t, Іо ga , e), e), |
|
|
(3.37) |
= ^ 2 + |
Q (t, g i, |
ga,f (t, g i, ga, e ) , «0, |
где функции, стоящие в правой части обладают свойствами, аналогичными свойствам функций в правой части уравне ний (3.16).
Установим теперь свойство устойчивости многообразия ~Щ, которое сформулируем в виде следующей леммы.