Файл: Митропольский Ю.А. Интегральные многообразия в нелинейной механике.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 10.04.2024

Просмотров: 188

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§ 1. ОБЗОР РАБОТ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

467

ф

и

к

с и р о

в а н н

о г

о

г

 

£ EEt р

 

а

в

 

н

о

м

е р

н

о

 

о

т н

о

с

и

т

е

л

ь

н

о

0-<Ѳ<; 2л,

п

р

и

ч

е

м

 

/ (t , Ѳ, 0)

=

х°, g

 

 

( t , Ѳ, 0) =

 

0

д

л

я

 

в с е х

 

t

£

R , 0-<

<

Ѳ<

 

2я и

с

о о

т

н

о

ш

е

н

 

и

 

я

 

x

=

 

f

( t ,

 

Ѳ, e),

 

у

 

=

g

 

(t ,

Ѳ, e)

о

п

р

е

д

е

л

я

ю т

 

и н

т

е г

р

а

л

ь

н

 

о

 

е

 

м

н

о

г

о о б

р

а

з и

е

 

 

с

и

с

т

е

м

ы

 

 

(1.52).

Л о к а л ь н ы е с в о й с т в а у с т о й ч и в о с т и

 

э т о г о

и н т е г р а л ь н о г о

 

м н о ­

г о о б р а з и я

т а к и е

 

 

ж е ,

 

 

 

 

к а к

 

и

 

 

у

 

т р и в и а л ь н о г о

 

 

р е ш е н и я

(х — 0, у

= 0) с и с т е м ы

 

 

 

у р а в н е н и й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

■ % Г

=

Х ' х

 

( х ° ,

 

0,

 

0 ) х ,

 

- f -

 

=

 

A y .

 

 

 

 

 

 

 

(1.53)

 

 

 

Т е о р е м а

 

 

1.9. П

 

у

 

с

 

 

т

ь

 

с и

с

т

е

м

а

 

у

р

а

в

н

е

н

и

й

 

(1.52) у д

о в ­

л е т в о р я е т в с е м у к а з а н н ы м

 

 

в ы ш е

у с л о в и я м .

 

П у с т ь

 

т а к ж е

с у ­

щ

е

с

т

в

у

е т

 

п е р и

о д

и

ч е с к

 

о

е

 

 

 

 

р е ш

е

н

и

е

 

х °

 

(есo f)

 

(х° (s -f- 2я) =

=

 

х °

 

(s),

х° (s) £

 

U ,

0 С

 

 

s

•< 2я)

 

в

с п

о

м

о

г

а

т

е л ь н о й

 

 

с и с

т е

м ы

у

р

а

в

н

е

н

и й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

■ ^

 

-

 

 

=

 

 

е

Х 0 ( х ,

 

0,

 

0),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г д е

Х

 

0

(х, 0,0) о

п

р е

д

е л я е т

с

 

я

,

к

а

к

 

и

в

т

е

о р

е

м

е

 

1.7, и

 

с о

о

т

в

е т ­

с т в у ю щ е е

э т о м у

 

р е ш е н и ю

 

 

л и н е й н о е

 

у р а в н е н и е

 

в

 

в а р и а ц и я х

и м е е т

 

 

— 1) х а р а к т е р и с т и ч е с к и х

 

 

п о к а з а т е л е й

 

с

 

н е н у ­

л е в ы м и д е й с т в и т е л ь н ы м и

 

 

 

ч а с т я м и .

 

 

 

 

 

 

 

 

 

 

 

 

 

ех, ч

 

 

 

 

 

 

 

Т

о

г

д

а

с у

щ е

с

т

в у

е

т

т

а

к

о

е

п

о л

о

ж

и т

е

л ь н о е

ч

и

с

л

о

т

о

д л я

в

с

я к о г о

 

е £

Ее, с

п р

а

в

е

д

л

и

в

ы

 

с

л

е

д

у

ю

щ

и

е

 

у

т

в

е

р

ж

д

е

н

и

я .

 

 

 

 

 

 

 

1°. У р

а в

н е

н и я

 

(1.52) и

 

м

 

е

ю

т

 

и н

т

е

г р

а

л

ь

н

о

е

м

н

о

г

о

о

б р

а

з

и е

S ,

п р е д с т а в и м о е

п а р а м е т р и ч е с к и

 

в в и д е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

=

 

f ( t ,

 

Ѳ,

ф,

е),

 

y

=

 

 

 

g ( t ,

Ѳ,

 

ф,

е),

 

 

t £

R,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 < Ѳ < 2 л , 0 < ф < 2 л ,

г д е

ф у н к ц и и

f , g

 

н е п р е р ы в н ы е

 

п о

t, Ѳ, ф, е, м н о г о п е р и о ­

д

и

ч е с к и

е

п о

Ѳс

в

е к

т

о

р

-

п

е

 

р

и

о д

о

м

 

 

to, п

е р и

о

д

и

ч

е

с

к

и

е

п

о

ф с

п е ­

р и о д о м

 

и

п о ч т и - п е р и о д и ч е с к и е

п о

 

 

t р а в н о м е р н о

 

о т н о с и ­

т

е

л

ь

н

о

 

Ѳ, ф д

л я

 

к а

ж

д

о

 

г

о

 

 

 

ф

и

к

с

и

р

о

в

а

н н

о

г

о

 

е £ Eg) е

 

о б л а с т и

0 <

Ѳ<

2л,

0 <

 

ф <

 

 

2я,

 

к р о м е

 

т о г о ,

 

| f

(t , Ѳ,

 

ф,

 

е) —

— х° (ф) I ->■ 0, I g ( t , Ѳ, Ф, е) И-> 0 п р и

е

 

 

 

0 р а в н о м е р н о

о

т

н о

с

и

т е

л ь

н о

 

t

£

R ,

 

0 < Ѳ <

 

2л, 0 <

 

ф <

2я.

 

 

 

 

 

 

 

 

 

 

2° . Е с л и

ц и л и н д р

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х =

х°(ф),

 

 

у

 

=

 

 

 

0,

 

 

0<[ф -<2л,

 

t

Q R ,

 

 

 

 

 

 

я в л я ю щ и й с я

и н т е г р а л ь н ы м м н о г о о б р а з и е м с и с т е м ы

 

 

 

 

 

 

 

-%- = гХ(х, 0, 0), -%-=Ау,

( 1.54)


468

 

 

 

ГЛ.

IX. ЗАКЛЮЧЕНИЕ

 

 

 

 

у с т о й ч и в ,

 

н е у с т о й ч и в

и л и

у с л о в н о

у с т о й ч и в

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

н е к о т о р о г о

т о ч е ч н о г о

м н о г о о б р а з и я

р а з м е р н о с т и

s, т о

и н ­

т е г р а

л ь н о

е

м н о г о

о б

р а з

и е S

с и с т

е м

ы

(1.52) т а к с и с е с

о о т

в е

т с т ­

в е н н о

у с т о й ч и в о ,

н е у с т о й ч и в о

и л и

 

у с л о в н о у с т о й ч и в о

о т н о ­

с и т е л ь н о

т о ч е ч н о г о

м н о г о о б р а з и я

р а з м е р н о с т и

s.

 

 

 

Значительное место в работах Дж. Хейла занимают ис­ следования поведения интегральных кривых вблизи ин­ тегральных многообразий. Прежде чем сформулировать ос­ новной результат, полученный в этом направлении, прове­ дем некоторые предварительные рассмотрения. Предполо­ жим, что уравнение

 

 

 

ТГ = Х(*),

 

(1-55)

где X,

X — п-векторы, обладает ^-параметрическим семей­

ством решений вида

 

 

 

 

х =

х °

(% (Ь1) t -f <plf

. . . , com (b™) t + < p m,

b \ . . . ,

6m), (1.56)

где

b'

— ^-вектор,

b! £ U j ,

U j — некоторое

открытое

множество в R ’ ( U j

может состоять из единственной точ­

ки),

 

ф/ — действительная

постоянная,

оо <

Ф/ •< оо,

со/ ( b' ) — данная скалярная функция, / = 1, 2, ..., т . По­

лагаем также, что существуют такие действительные числа

Ри •••. Рт> что

х ° ( В ѵ . . . , Ѳ/ + p p . . . , Ѳт, b \ . . . , b m) =

для всех b'

 

 

= X°(Ѳ1 + Рь

• • • -

/ =

+ Pm, b\ • • • , Ь")

£

U j ,

— oo <

Qj

<

oo,

1, ..., m ;

k =

m

 

 

 

 

 

 

 

 

 

 

 

= 2 dim (Uj ) +

m.

 

 

 

 

 

 

 

 

y '= i

 

 

 

 

 

 

 

 

C b как множест­

При фиксированном b £ U определяем

во точек (x,

^-пространства, определяемое

соотношениями

вида

 

 

 

 

 

 

 

 

 

 

 

X =

X (Ѳг......... В т ,

b),

— оо <

Ѳ/ <

со,

 

 

 

 

/ = 1, . . . , т;

t £ R.

 

 

 

 

Обозначим S =

U Cb, S *

=

U

Cb,

где

U *

— любое мно-

жество из U .

 

b£ U

 

b £ U *

 

 

 

 

 

 

 

является а-окрестностью 5* в ( х ,

^-про­

Пусть N a

( S * )

странстве и

(S*) = [ N a (S*)

Л (R n~ l -

5)] U 5*.

 

 

 


§ 1. ОБЗОР РАБОТ

469

При этом следует заметить, что вообще S n ( S* )

не является

окрестностью в обычном смысле, но если S *

= S, TOSÖ (S) —

= N 0 (S).

 

 

 

 

1.14.

 

 

 

 

 

 

называется

О п р е д е л е н и е

М н о г

о о б р а з и е

S

а с и м п т о

т и ч е

с к и

у с

т

о й ч и в ы м ,

если

для

 

данного

е > О

и U *

а

U ,

где

U *

— замкнутое

подмножество

U ,

суще­

ствуют

постоянные а >

О, Т

>• О такие,

что

каждое

■ре­

шение

X (0,

для

которого х (Т ) £

S a (S *),

удовлетворяет

соотношению х (t) £

N e ( S * )

для

t >- Т

 

и,

кроме

того,

d (X ( t ), S) -> 0 при

 

t - * ■ с ю ,

где

d

(г,

А )

— расстояние от

точки z

£ R n~ l

до множества А

а

R n~ l .

 

 

называется

О п р е д е л е н и е

1.15.

М н

о г

о о

б р а з

и

е S

а с и м п т о т и ч е с к и м

у с т о й ч и в ы м

с а с и м п т о т и ч е с к о й

а м п л и т у ­

д о й ,

если 5

является

асимптотически устойчивым

много­

образием и для каждого решения х

(і), для которого х (Т

) £

£ 5С(S*), существует b0 £

U ,

которое

зависит от л: (t)

так,

что d ( х (0.

С Ь о )

-> 0 при

t —V о о .

 

 

 

 

 

 

 

 

О п р е д е л е н и е

1.16. М н о г о о б

р а з и е

S

а с

и м п

т о т и ­

ч е с к и

у с т о й ч и в о

с а с и м п т о т и ч е с к о й

а м п л и т у д о й

и

ф а з о й ,

если оно асимптотически устойчиво и для каждого решения

X ( t ) , для которого X ( Т

) £ S a (5*),

существуют

Ь п

£ U ,

<Р/о 6 R

( І =

1,

 

т )

такие,

что d

(л: ( t ) ,

у

( f )) -> 0

при

/ -V оо , где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

у

it) =

х ° [о>і ф і )

t +

ф10,

. . . .

wm (è0m) t +

фш0,

b l ......... ft”].

 

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

 

 

 

 

 

 

 

 

 

~ = Z ( z ) ,

 

 

 

 

 

 

 

 

 

(1.57)

где z,

Z п

-f

k

+

1-векторы,

имеет

(k

+ 1)-параметри-

ческое семейство периодических решений,

заданное в виде

 

z =

2 ° ( g ( х ) (t

-j- ф), х )

(г°((о +

я),

лг)=2 °(со,

х ) ) ,

(1.58)

гделг = (х1,

. . . ,

x k),

ф = const,

g { x ) >

0,

x £ U ,

 

о о <

< ( р <

со .

 

 

 

 

что

 

 

 

г ° (со,

 

 

 

(х) имеют

 

Предположим также,

Z ( х ) ,

 

х ) ,

g

непрерывные вторые производные для всех х

£

U ,

оо <;

<

со <

оо, г £

U ,

где U

— открытое множество, содержа­

щее решение (1.58),

 

(со,

 

Зг° (со,

 

]

 

 

,

,

 

 

 

 

 

 

 

ранг

дг°

х)

х)

 

К

 

 

 

(1.59)

 

 

 

Ло

 

 

J —

и

л” 1

 

 

 

 

 

 

 

 

 

д~х

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 



470 ГЛ. IX . ЗАКЛЮЧЕНИЕ

и п характеристических показателей

(х), .... Х п (х) урав­

нения в вариациях

 

 

d z _ _

dz (z° (g (x) (t + <p),

x)

dt ~

dz

 

имеют отрицательные вещественные части. (Условие (1.59) подразумевает, что ( k + 1) характеристических показателей

равны нулю.)

В (х, 0-пространстве семейство решений (1.58) определя­ ет ^-параметрическое семейство цилиндров или ( k + 2)-мер-

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

Следующая теорема 1218] отвечает на вопрос, при каких ограничениях, накладываемых на вектор-функцию Z* (/, г), система уравнений

- § = Z ( z ) + Z * ( t , г)

(1.60)

также будет обладать инвариантным многообразием со свой­

ствами, аналогичными

свойствам

многообразия 5

системы

(1.57).

 

 

 

1.10. П

 

 

 

 

е м а (1.57) у д о

 

 

Т е о р е м а

у с т

ь

с и

с т

в л

е т в о р я е т

п е р е ч и с л е н н ы м

в ы ш е

у с л о в и я м

и

S я в л я е т с я

м н о г о о б р а з и е м ,

о п р е д е

л

я е

м ы м

с о о т н

о ш е н и я

м и

 

(1.58).

Е с

л и

с

у щ

е с т в у ю т

н е п р е р

ы

в н

ы е ф у

н к ц и и

К

(z),

L

(t )

и

Т >> 0 т

а к и

е ,

ч

т о

 

 

 

 

IIz * ( t ,

z )ü < L (0 /((H )

 

 

 

(1.61)

д л я в с е х X, /> Т

со

 

 

 

 

 

 

 

 

 

 

 

и \ L ( t) d t < с о о , т о г д а S я в л я е т с я а с и м п т о -

 

 

 

 

І

 

 

 

 

 

 

 

 

 

 

 

т и ч е с к и

у с т о й ч и в ы м

м н о г о о б р а з и е м

с а с и м п т о т и ч е с к о й а м ­

п л и т у д о й .

Е с л и

в д о п о л н е н и е в ы п о л н я е т с я

т а к ж е

у с л о в и е

 

 

 

 

со со

 

 

 

 

 

 

 

 

 

(1.62)

 

 

 

 

I

J L ( u ) d u d t < o o ,

 

 

 

 

 

 

 

 

т

t

 

 

 

 

 

 

 

 

 

 

m o S а с и м п т о т и ч е с к и у с т о й ч и в о е м н о г о о б р а з и е с а с и м п т о ­

т и ч е с к о й а м п л и т у д о й

и ф а з о й .

З а м е ч а н и е

1.1. Если 5 состоит только из одного

цилиндра и Z * (t , 2 ) удовлетворяет условию (1.61) с L (/) -+■