Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Митропольский Ю.А. Интегральные многообразия в нелинейной механике

.pdf
Скачиваний:
30
Добавлен:
27.10.2023
Размер:
22.84 Mб
Скачать

390 ГЛ. VIII. М НОГ ООБ Р . У Р - Н И Й В БАН АХ ОВ ОМ П Р ОС Т РА НС Т ВЕ

где vt? = P0F — оператор,

спектр которого

совпадает с

о0 (F). Значения вектор-функций R (t,

ф, r,s)

и 5 (t, ф, г, s)

принадлежат соответственно

инвариантным подпространст­

вам By, Вѵ.

 

 

 

(t, ф, r, s) можно пред­

Вектор-функции ER (t, ф, г, s), eS

ставить в

виде

 

 

ф, г, s) +

еР0(ф, г, s),

(2.18)

е Р

(t, Ф, Г, S) == г Р і (t,

eS(t, Ф, Г, S) == eSy (t, ф, г, s) +

е50(ф, г, s),

(2.19)

где

 

 

 

 

 

 

 

 

г/м*, Ф. г, S) = РугѲ

1 (сот) [X (t, х° (сот)

-ф- Ѳ (сот) г)

 

 

 

 

-

а; (х° (сот)

-ф- Ѳ (сот) г)],

(2.20)

etfo (*. Ф> г, s) Ру еѲ"

1 (сот) [Х 0 (х° (сот) -ф- Ѳ (сот) г) —

(2.21)

 

 

- Х 0 (X0 (сот) А (сот) Ѳ (сот) г)],

eSy {і, Ф- Г,

S) = Р 0е Ѳ - 1 (сот)[X(t, х° (сот) -ф- Ѳ (сот) г)

 

 

 

 

 

А0(л;0 (сот)

-ф- Ѳ (сот) г)],

(2.22)

eS0 г, S) - =Р0еѲ—1 (ыт)[Х0(х<1 (сот)

-ф- Ѳ (сот)г)

 

 

Х 0 (х° (сот) А

(сот) В (сот) г)],

(2.23)

при этом 2

= г -ф- s. Таким образом, мы привели исходное

уравнение (2.1) к виду

 

 

 

 

 

 

 

■^ =

eR(t,ty,r,s),

 

 

(2.24),

 

= eWs +

eS (t, ф, r

, s),

 

(2.24)a

где H = P0B —■линейный оператор, спектр которого не пе­ ресекается с мнимой осью и расположен, в общем случае, в левой и правой полуплоскостях; функции R (t, ф, г, s), S (t, ф, г, s), со значениями в инвариантных подпространствах

By,

В2 соответственно определены на множестве

R х 'Т х

X

Uot X

Uа, (Оу, о2 — некоторые достаточно малые положи­

тельные

постоянные, такие,

что при r £ U 0l,

s £ Uot,

X £ Up W -- [0, T\ — область

определения ф),

являются

непрерывными функциями своих аргументов, периодически­ ми по ф с периодом 2Т. В силу ограниченности оператора

Ѳ-1 (ф)

и функций

X (t, X), Х0 (.к) функции R (t, ф, г, s) и

S (t, ф,

г, s) также

будут ограничены некоторой константой

§ 2. УРАВНЕНИЯ В СТАНДАРТНОЙ ФОРМЕ

391

К.. Из соотношения {X (t, х), Х0 (*)} £ С\, учитывая вы­ ражения (2.18) — (2.23), получаем соотношение {R (t, ф, г, s),

S (t, ф, ry s)) (z CtyS'S-

Далее, согласно выражениям (2.20) — (2.23), при г = 0,

s — 0 (а следовательно, и при z =

0) R0 (ф, г, s) и50 (гр, г, s)

обращаются в нуль, а

(t, -ф, г,

s), Sx (t, ф, г, s) (принимая

во внимание, что разность между

вектор-функцией гХ (t, х)

и ее средним значением SXQ(л:) — величина порядка малости е) ограничены некоторой величиной, пропорциональной е. Поэтому можем полагать, что при г = 0, s = 0 &R (і, ф, г, s) и eS ((, ф, г, s) ограничены некоторой функцией М (е) -> 0 при е 0.

Нетрудно показать, что функции R (t, ф, г, s) H S {t, ф, г, s) удовлетворяют условию Липшица по ф, г, s с константой X (е, о) 0 при 8 —у 0, о —у 0.

 

Д л я

этого

введем

обозначения:

Ѳ (сот) z =

/ (сот, г),

Д хеѲ -1

(сот) =

а (сот),

Д 0еѲ - 1 (сот) =

ß (сот)

и

рассмотрим вы­

ражения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R0(Ф, r>s) =

 

Ro (Ф> t) — а

(ы т ) іХ о (х ° (WT) +

1(о п >г ))

 

 

 

 

 

 

 

Х0 (х° (сот)) — А (сот) I (сот, г)],

(2 .2 5 )

50(ф, г, S) — 50(ф, 1) =

 

 

 

 

 

 

 

 

 

 

 

 

 

= ß (сот) [Х0 (х° (сот) I (сот,

г)) Хй (х° (сот))

 

Имеем (сот =

ф):

 

 

 

 

 

А (сот) /(сот, г)].

(2.26)

 

 

 

 

 

 

 

 

 

 

 

 

 

Rot (ф, 0 =

ос (ф) [Х0х {х° (ф) +

I (ф, г)) — Хх (х° (ф))],

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2.27)

 

(ф, 0 = а' (ф) [X (х° (ф) + I (ф, z)) X {х° (ф)) ~

 

 

 

 

А (ф) I (ф, г)] +

а (ф) [Хф (л;0 (ф) +

I (ф, г))

 

 

 

 

Хф (х° (ф)) — Лф (ф) I (ф, г) А (ф) /ф].

(2 .2 8 )

Очевидно, можем написать

 

 

 

 

 

 

 

 

 

(Фа.

 

Яо(Фі>

 

 

1

(Фі +

 

 

 

/2)

 

 

Ro

h)

 

= J

#оч>

S(фа — фх),

(ф2 —

 

 

 

l i)

 

 

 

 

 

 

— фі) ds 4* I1Rot (Фі*о l\ +

s

— ^i)) (^a— k)

 

(2.29)

о

892 ГЛ. VIII. МН О Г О О Б Р . У Р - Н ИЙ В БАН АХ ОВ ОМ П Р О С Т Р А Н С Т В Е

Обозначим

 

 

 

 

 

 

^ ( a ) =

sup

Ц/^Дф,

Х2(ст) =

sup

|/?<и(Ф, 0|.

 

IW11«®

 

 

II Ml« 0

 

В результате из выражения (2.29) получим

 

 

Ц-^оСФг к)

З Д о ^i) I ^

 

 

 

 

<

К (ff) 1фа —ФіII + К (ff) II к — kW <

 

 

где X (а) =

 

< к И

(II Фа — Фі II + II k k II)

(2'3°)

m ax^! (а), Х2 (а)}

0 при а

0.

 

 

Аналогично

получаем

 

 

 

 

IIS0(ф2, /2)

50 (ф1( R) 1^

X (су) (II ф2

фі і! -ф 1к

k |D-

 

 

 

 

 

 

(2.31)

Возвратимся к рассмотрению выражений

(2.17) — (2.22).

Ввиду того, что функции X (t, х), А0 (х) удовлетворяют усло­ вию Липшица по ф, 2 с некоторой константой L, из выраже­ ний (2.20) и (2.22) следует, что (t, ф, г, s), eSx (t, ф, г, s) удовлетворяют условию Липшица по ф, г, s с константой, пропорциональной е.

Таким образом, функции s R (t, ф, г, s), eS (t, ф, г, s), определенные посредством выражений (2.18) и (2.19), удов­ летворяют условию Липшица по ф, г, s с константой Лип­ шица X (е, а) 0 при е -»- 0, а -ѵ 0.

Итак, функции E R (t, ф, г, s), eS (^, ф, г, s), стоящие в правой части уравнений (2.24)х, (2.24)2 со значениями в ин­ вариантных подпространствах Вг и В2, определены на мно­ жестве R X ¥ X £/(jt X X Ее„, непрерывны, перио­ дические по ф с периодом 27’ и обладают ограниченными и . равномерно непрерывными частными производными по

ф, г, s первого порядка, ограничены при г =

0, s = 0 не­

которой функцией М (е)

0 при е -> 0 и удовлетворяют

условию Липшица по ф, г,

s с константой X (г,

о) ->• 0 при

е -> 0, а-ѵ 0.

 

 

Преобразуем теперь уравнение (2.24)х к угловой перемен­ ной ф. Для этого представим уравнение (2.24)х в виде

=

8/?о (ф, г) +

E R 2

(t, ф, г, s),

(2.32)

где

 

 

 

 

 

E R 2 (t, ф, г,

s) =

ER (t, ф, г,

s) ER (ф, г,

0),

 

 

 

т

 

 

еД0 (ф, г) =

lim - L

f R

(t, ф, г, 0) dt.

 

§ 2. У Р А В Н Е Н И Я В С Т А Н Д А Р Т Н О Й Ч О Р М Е

393

Предположим, что уравнение

(2.33)

имеет периодическое решение

г = г{сот) (-ф + Т) = г (-ф)),

(2.34)

где л(ф)— дважды непрерывно-дифференцируемая функ­ ция ф. Очевидно, имеем тождественно

-щ-а>==Я0(гІ>, г).

(2.35)

Рассмотрим теперь (2.34) как формулу замены перемен­ ных в уравнении (2.32). Подставляя г = г (ф) в уравнение (2.32) и принимая во внимание тождество (2.35), получаем

■Щ- - W = W ш +

 

ъ г

s)-

 

Умножив обе части уравнения (2.36) слева

на

 

получим

 

 

 

 

 

 

 

1 -Ж- =

ІШ +

(■$■)

1е/?2 (*• V’ '

W , S),

 

где / — единичный оператор.

 

уравнения

 

 

Преобразуем теперь

полученные

 

 

 

~dtdip =

е® +

еР (t, ф, s),

 

 

(2.37)х

 

Ас

EWs + £S(t, ф,я),

 

 

(2.37),

 

^L =

 

 

где

 

 

 

 

 

 

 

Р (/, ф, s) = (-^ -)

R% (t, ф, г (ф), s),

S (t, ф, s) =

 

к виду

 

 

 

 

= 5 (*,Ф,

(ф). S),

 

 

 

 

 

 

 

 

« + р (t, g, К

е),

 

 

(2.38)

 

Wh + Q(t, g, h, е),

 

 

 

 

 

 

при этом Q(t, g, h, &) =

o{\\hf,

еЦЛЦ} при ||h |

| 0,

в 0.

394 г л . VIII. М Н ОГ О ОБ Р . У Р - Н ИЙ В Б А НАХОВ ОМ ПР ОС Т РАНС Т ВЕ

Для этого выберем некоторое положительное постоянное т) и построим выражения *)

оо

Лп(*. Ф,

1]) =

\

Pi(t +

Ч ^,'s)e^r'xdx\

 

 

 

О

 

 

 

 

 

 

оо

 

 

 

дР1 х\ & Ъ

S. Л)

=

Г d P ^ t +

X, ф, S)

e- 4xdT

дф

 

 

J

<Э\р

 

 

 

о

 

 

 

д Р и ('■ Ч>. s>Ч)

=

Г

дРх (I +

т, ф, s) e- ^ dx

ds

 

 

J

ds

 

 

 

О

 

 

(2.39)

 

 

 

ОО

 

 

•Sit, ((, г|5, s, г|) =

[ S 1 (t -j- т, ф, s) e~nxdx;

 

 

 

о

 

 

 

öSlT1(t, ф, s, ф

 

oo

 

 

 

Г

dSj. (t +

T, ф, s)

e ^dx,

д ф

 

 

J

dty

 

 

 

 

0

 

 

 

dSlr] (t, ф, s, I])

 

oo

dS, (1-f- T, ф, s)

 

 

f

e -^d x,

ds

 

~~ J

ds

 

которые являются преобразованиями Лапласа соответствен­

но для

функций

Р, (t, ф, s) =

Р

(t,

ф, s) — Р0 (ф, s),

дф>

 

 

 

 

 

И S, (I, g ,h ) =

S

 

g, ft) -

S, (g,

ft),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dSx (t, g, h)

 

dSx (t, g, h)

 

 

 

 

 

 

 

 

 

dg

 

dh

 

 

 

 

 

 

переменных

со­

Совершим в уравнениях (2.38) замену

гласно

формулам

 

 

 

 

 

 

 

 

 

 

 

ф =

 

g +

ен (і, g,

h, е),

s = h +

ßv(t, g, h, e),

(2.40)

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и (t,

g , h , e) == Die (t,

g , h),

V (t , g, /г,

e) = S le (C g,

Ä).

 

Чтобы

установить

обратимость

преобразования

(2.40),

воспользуемся

следующей леммой

[32].

 

s <

оо)

со

Л е м м а

2.1. Пусть функция cp (s,

X) (0 <

значениями

из

банахова пространства

В

и зависящая

от

*) Интегралы (2,39) существуют, поскольку подынтегральные функ­ ции непрерывны.

 

§ 2.

УРАВНЕНИЯ

В СТАНДАРТНОЙ

ФОРМЕ

395

параметра к £ Л удовлетворяет условиям

 

 

 

 

slip I

-7

- ) ф (s, к) ds

 

 

t

 

0; л £ Л / <с оо

 

и

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

к £ А

 

 

 

 

 

 

 

 

 

 

 

 

7'

 

 

 

 

 

 

 

 

 

 

 

 

 

lim -^r \ ф (s; k)d s= 0 .

 

 

(2.41)

 

Тогда равномерно

относительно

к £ Л

справедливо

соотношение

 

 

 

 

со

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1іm г| I ф (s;

к) e~4s ds — 0.

 

 

 

 

 

 

 

п-0

о

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

Интегрируя

по

частям, по­

лучаем соотношение

 

 

 

 

 

 

 

 

 

 

г)

\ е ' T1‘\ p (s;

к) ds =

rj

j

е 11sd

j ф (t\ k) dt

 

 

 

о

 

 

 

 

о

 

 

 

 

 

Ф (/; A) dt

 

 

 

I(se-115) -i-

S

 

 

 

С Ю

 

 

 

 

 

 

6j

ф (f;

А,) Л

0|

+ c<щ

J

 

e~~ ' ds

 

 

 

 

 

 

 

=

л2 І

Ф (/; A) of/ e

|Sds.

(2.42)

Для любого 6

>

О найдется Т >

0 такое, что при s :>

Т

 

 

 

 

 

 

- 7

) Ф («; *-) ds

< S .

 

 

 

Из (2.42) следует оценка

 

 

 

 

 

 

 

 

ц

\ ф (s; А) е

ds

<

 

 

 

 

 

 

 

 

 

 

 

о

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

 

1)

U

7 -

] ф (г1;

К) dt

е

ds Ч-

 

 

 

 

 

 

 

Іо

 

 

О

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s

 

 

 

 

 

 

 

 

 

+

\ se -TJS

4 " I Ф

dt

ds\

<

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

•пт.

 

 

 

 

 

 

< М [ 1 —

 

+

 

 

 

т]Т),

 

 

 

 

 

 

т)Г)] + де~пІ (1 +

396 г л . VIII. М Н ОГ О ОБ Р . У Р - Н ИЙ В БАН АХ ОВ ОМ П Р ОС Т РА НС Т ВЕ

из которой в силу произвольности б > 0 получаем требуе­

мое утверждение.

т, g,h),

Нетрудно видеть, что вектор-функции Рг (t +

Si (t, -f- т, g, h) и их частные производные по g, h

первого

порядка удовлетворяют условию (2.41) леммы, причем роль

параметров здесь играют t,

g,

h.

Поэтому будут выполняться соотношения

lim eu (t, g, h, е) =

0,

 

lim eug(t, g, h, e) = 0,

e-*o

 

 

Б− + 0

lim гик (t, g,

h, e) = 0,

e-*0

 

 

 

lim ev (t, g, h, e) =

0,

lim evg(/, g, h, e) — 0,

e-*-0

 

 

E-+0

lim Evh(t, g, h, e) = 0

e-+0

равномерно относительно t £ R, g £ Q, h £ £/s0>e £ £)>„, из которых следует, что при достаточно малом е операторы

/ — eug ((, g, h,

е), / е щ

(t, g, ft, e),

/ evé (t, g, h, e),

 

I m

(*, g, h, e)

 

для всех t £ R,

g £ П, h £ U&, имеют

ограниченные об­

ратные и, следовательно, преобразование (2.40) обратимо. При этом всегда можно указать такие достаточно малые по­ ложительные ег <; е0, 6j С 60, что при е < ег и | А|| < бх переменная s не будет выходить из области своего определе­

ния Uo2.

 

 

 

 

 

р),

v (t, g,

h, p)

Представив вектор-функции и {t, g, h,

в виде

 

 

e?1^ Pj (T,

 

 

 

 

 

 

и (t, g, h, p) =

g, h) e

PTdx,

 

 

(2.43)

V {t, g, h, p) =

eP‘ j Sx (T,

g,

h) e

pxd%,

 

 

 

получим

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ut (t,

g ’ h > p ) =

P u (t> g> fl, p) —

Рг (t, g, ft),

I

(2.44)

vt (t,

g, h, p) =

pv (t, g , ft, p) — Sx {(, g,

h).

f

J

 

Подставляя выражения (2.40) в уравнения (2.37) и учитывая соотношения (2.44) (заменяя при этом р на е),

dt

 

§ 2. УРАВНЕНИЯ В СТАНДАРТНОЙ ФОРМЕ

397

получаем

 

dg

 

du dh

 

 

 

 

du \

 

 

 

 

f /

-

 

 

 

 

 

8

 

 

dt

 

 

 

 

dg)

dt

 

 

 

 

dv

dg

( T

 

dv \ dh

■eWh + eS2 (t, g, h, e),

 

dg

dtЧ-

 

 

e dhl~df

 

где

 

 

 

 

 

 

(2.45)

 

 

 

 

 

 

 

 

eP2 (t, g, h, e) == eP (t, g +

eu, h +

ev) —

 

 

 

 

 

 

 

zPi (^. g +

£U, h + ev) +

e2«,

eS2 (t, g, h, e) == sS (t, g +

eu, h -f ev) —

 

 

 

 

 

 

eS1 (t, g + eu, h +

sv) + e2 -f

1) a.

Из системы (2.45)

находим

 

 

 

 

dg

 

: so + eP (t, g, h, e),

 

 

 

 

dt

 

 

 

 

 

 

 

dh

=

eWh + eQ (t, g, h, e),

 

 

где

sP (t, g, h, e) = e I — e

dv

I -- 8

du

dh

 

V

X [. I - e ^ ) p 2( t , g , h , e ) - e ^ < o + e ^ dh

âv du

dg dh X

[Wh +

+ S2(t, g, h, e)] ,

eQ (t,g,h, e) =

e j ( /

e - ~

j ( / — e - J J - )

du

âv

X

 

 

 

 

~dh

dg~

 

X . ( l - e ^ L ) s 2(t, g, h, 8 ) - 8 W h ^ L

+

 

 

 

 

+ 8 -^ - [CO+ P%(t, g, h, e)]} ,

или, переходя к новой независимой переменной f =

et (за­

меняя затем t'

на t),

получаем окончательно уравнения

 

 

 

\

 

 

 

 

=

» +

P(t, g, h, е),

 

 

(2.46)

 

 

 

 

 

 

dh

ИГ = Wh + Q(t, g, h, e),

398 ГЛ. VIII. МНОГООБР. УР-НИП В БАНАХОВОМ ПРОСТРАНСТВЕ

где функции Р (t, g, h, г), Q (t, g, h, e) со значениями в ин­ вариантных подпространствах Blt В2 определены на мно­

жестве

R X Q

X UÜ1X Е е„ я в л я ю т с я непрерывными функ­

циями

своих

аргументов,

периодическими по g с периодом

2Т, ограничены при h =

0 некоторой функцией М (е) -> О

при е -> 0 и

удовлетворяют условию Липшица по g, /г с

константой Липшица к (е, б) -> О при е ->-0, б 0 (б С 6L) *). Спектр оператора W распадается на два спектральных мно­ жества о_ (W) и а-i- (W), не пересекающихся с мнимой осью и расположенных соответственно в левой и правой полу­ плоскостях.

2. Существование и свойства интегрального многообра­ зия. Для доказательства существования интегрального многообразия Щ уравнений (2.46) достаточно доказать существование ограниченных на всей оси решений gt,ht этих

уравнений.

 

некоторые

положительные

постоянные D,

Фиксируем

А (А < бг)

и

рассмотрим

класс CD,д

вектор-функций

F (t, g)**) со значениями из В2, определенных на множестве R X Й и удовлетворяющих неравенствам

\}F(t,g)\\<D,

(2.47)

IIF (t, g') - F (t, g") II < А Иg' g" И,

(2.48)

где

 

\F(t, g)l = sup I/=■(/, g)|.

(2.49)

t£R

 

Для некоторой вектор-функции F (t, g) £ CD,д рассмот­ рим уравнение

-^§- =

® + P(t,

g, F(t, g), e).

(2.50)

Принимая во

внимание

свойства вектор-функции

Р (U g . h, е), легко получить неравенства

 

IIР (t, g, F (t, g), 8) II <

M (8) + к (8, D) D,

(2.51)

P (t, g', F (t, g'), e) — P (i, g", F (t, g"), 8)|| <

 

 

<Я(8,

D)(l + A )||g '-g "|l,

(2.52)

*) В дальнейшем для сокращения записи вектор-функцию / (t, g, h, г), обладающую указанными свойствами, будем считать принадлежа­ щей классу (ga ; М (е)|л=0; к (в, 6)g hj.

**) Зависимость вектор-функции от е не указываем для простоты

записи.

§ 2. УРАВНЕНИЯ В СТАНДАРТНОЙ ФОРМЕ

399

на основании которых, в силу известных теорем существо­ вания и единственности решений дифференциальных урав­ нений в банаховом пространстве, следует существование единственного решения уравнения (2.50), удовлетворяющего заданному начальному условию. Обозначим его

St = Ы - г =--=t t0, (2.53)

при этом Bo,t0(go) ^ go-

Из уравнения (2.50), используя неравенства (2.51), (2.52), нетрудно получить следующее неравенство:

II Blu (go) B(h (go) II < II go —go II exP {*■(e D) (1 +A)|z|} +

+ 1Т Т ^ {ехр^ (е' 0И1 + A )|2ll~ 1'- (2-54)

где F (l, g), F (t, g) вектор-функции из класса Сол-

С другой стороны, согласно свойствам вектор-функции

Q (t, g, h, е) и спектра a (W), уравнение

 

-yr =*Wh + Q (t,g,h,e),

(2.55)

в силу теоремы 1.8, имеет ограниченное на всей оси R ре­ шение h (t) = f (t, g (t), e), представимое в виде

ос

 

h (t)= [ G(z)Q(t + z; g(z); h(z); e)dz,

(2.56)

— oo

где G (г) — главная функция Грина оператора W в подпро­ странстве В2, при этом

||Ö (0 |< /C e -v ln ,

(2.57)

где К, у — некоторые положительные постоянные. Рассмотрим теперь решение уравнения (2.50) gz =*

= Bz't0 (g), обращающееся при t = t0 в фиксированный элемент g. Для этого решения из уравнения (2.56) получим интегро-функциональное уравнение

оо

F (t, g, е) = J

G (г) Q (t + 2 ; ВІи (g)\

 

— с о

 

 

F(t +

z\ Bg,t,(g); е); г) dz,

(2.58)

определяющее F (i, g, в).

Соседние файлы в папке книги из ГПНТБ