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

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

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

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

Добавлен: 10.04.2024

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

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

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

250гл. V. ИССЛЕДОВАНИЕ ОКРЕСТИ. ПОЛОЖЕНИЯ РАВНОВЕСИЯ

3.Доказательство ограниченности функции Ф (t, \it і], е). Совершим в уравнениях (2.64) замену

1 = Сеш ,

 

і* = С*е~ш ,

(4.9)

где С, С* — новые

переменные. В

результате

получим

уравнения в стандартной

форме

 

 

dC

= sPx (t, (at, C, C*, e),

 

dt

 

 

 

 

(4.10)

dC*

— i'Qx (t, (at, C, C*, e).

 

dt

 

 

 

 

 

Рассмотрим соответствующие (4.10) усредненные урав­

нения

 

 

 

 

 

 

dC — zPi (С, C*),

 

 

 

dt

 

 

 

(4.11)

 

dC*

eQt (C,C*),

 

 

 

 

 

dt

 

 

где

 

 

 

 

 

 

 

 

 

РХ(С, C*) =

lim 4 -

f Px{t, со/,

С, C*, 0) dt,

 

 

1 о

 

 

 

 

 

T

 

 

Qx(C, C*)=

lim4- f Qi(*, <

C, C*. 0)dt.

 

Пусть

T~°°

о

 

 

 

 

 

 

 

C — C0 = 0;

~С*=ГСо = 0

(4.12)

статическое решение уравнений (4.11). Имеет место следующая теорема.

Т е о р е м а 4.1. Пусть для уравнений (4.10) выполня­

ются следующие условия.

1°. Для уравнений в вариациях

еР\с (0, 0) 6С + еРіс* (0, 0) 6С*.

(4.13)

eQic (0, 0)6С 4-eQic. (0, 0)6С*

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

2°. Существует окрестность Un„ X Ut>„ решений (4.12), в которой функции Рх (t, (at, С, С*, г), Qx (t, соt, С, С*, е)


 

§ 4. ПРИМЕНЕНИЕ К ИССЛЕДОВАНИЮ УСТОЙЧИВОСТИ

251

и их частные производные по С, С* первого порядка

ограни­

чены

и равномерно непрерывны по отношению к

С,

С*.

Тогда можно указать такие положительные постоянные

£ і >

2 > ^ 2 (®2о* ^

*Ч)> ^ 2

^ 2 ^

о

д0),;

что

для каждого положительного е ■< е2 уравнения (4.10) имеют единственное решение

 

С=»С(0,

С*=-С*(0,

 

(4.14)

определенное для t £ R, для которого

 

 

|С ( 0 - С о| < а 1;

|С*(0 — С ^ К б ,.

(4.15)

При этом

С (і), С* (t)

будут

обладать следующими

свойствами:

 

 

 

% (е) и ц2 (г), стремя­

а) можно найти такие функции

щиеся к нулю вместе с е

0, что

 

 

 

\C{t)

С0I

Лі(е)>

IС* (t) — СоI

т]2(s);

(4.16)

б) любые

решения

С — С (t),

С* =

С* (t) уравнений

(4.10), находящиеся в начальный момент времени ( = t0 соответственно в окрестностях Ua„ Uв,, стремятся с

течением времени к С (t), С* (t) по экспоненциальному за­ кону

\C (t ) ~ C {t ) \< К ^

~ и)} I С* (/) -

С* (/)1<

K 2e~w ~ '•>,

 

 

 

 

 

(4.17)

где Къ

Kt, у положительные постоянные.

из

теоремы

Эта

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

вытекает

Н, Н. Боголюбова 1.3.12.

 

 

 

С л е д с т в и е

4.1. При выполнении условий теоремы

4.1 любые решения

уравнений (4.10) С (t), С* (/),

началь­

ные значения которых принадлежат соответственно окрест­ ностям U0„ Иьг, ограничены функциями

Йі (t, е) =

К у е - ^

-!- % (8) -> 0, Qg (t, 8) =

 

 

+ Л*(«)-*0

 

 

при І -> ОО, 8

0.

 

 

 

 

Возвращаясь

к выражениям (4.9),

видим,

что

при вы­

полнении соответствующих

условий

теоремы

4.1

любые


252 гл. V. ИССЛЕДОВАНИЕ ОКРЕСТИ. ПОЛОЖЕНИЯ РАВНОВЕСИЯ

решения уравнений (2.64)

| ’, начальные значения

ко-

Чорых принадлежат соответственно окрестностям Ua„

 

(0 £ Ua2, С* (t) £ и 6, при

It £ Ua2, І* € £/pt), также

бу­

дут ограничены по модулю функциями

(t, е), й 2 (f, е),

при этом всегда можно выбрать такое достаточно большое

t и такое достаточно малое положительное

е2 С еѵ

что

для всех I >

1 и е <

е2

будут выполняться

неравенства

(t, е) <

сса, й2 (*,

е) < ß2.

во

внимание

оценку

для

Таким

образом,

принимая

/ (t, |, |*, е) (см. лемму 2.1), имеем

 

 

 

(t, It,

Ъ,

В) I =

I It +

£ + / (i, h,

It, e) I < ¥

(/, e), (4.18)

где ¥ (t, e) =

Йх (/, e) +

й2 ( t ,

e) 4- D (e) -v 0 при t ->

oo,

e0.

4.Теорема об устойчивости. Оценка (4.18) получена

сдругой стороны, х £ £>Ра придля

Г £ Оценка (4.6) установлена для х (t0) £ DP2.

Следовательно, при выполнении указанных условий лю­

бое£ € £Лрешениех2,

х (t) уравнений

(4.5),

для

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

£ Dp2(0),

притягивается

к

решению х0 = 0 по закону

гдеА-

6

-

<

С (8, а 2, ß2)£Г7

 

+

¥

(t,

8)

=

6 (t, е),

(4.19)

I

(t)

 

х01

(і~и)

 

 

 

 

 

(/,

е) ->- 0 при /

оо,

е -> 0.

 

В

результате

можем

сформулировать следующую теорему [101 ].

Т е о р е м а 4.2. Пусть относительно уравнения (4.5) выполняются условия теоремы 2.1, обеспечивающие сущест­ вование и свойства локального интегрального многообразия S t, а относительно уравнений (4.10), к рассмотрению ко­ торых сводятся уравнения, описывающие поведение решений на многообразии S t,условия теоремы 4.1.

Тогда всегда можно указать такое достаточно малое положительное постоянное е2 и положительное постоянное р2 (е2 < 8Х< е0; р2 < рг < р0; х (t) £ Dp, при С (t) £ Uat. С* (t) £ Uб2), что для всех г < е2 любое решение уравне­ ния (4.5), начальное значение которого принадлежит окрестности DP2 (0), попадет с течением времени в Ь-окрест­ ность решения х0 = 0, которая при t -*• оо, е -> 0 стяги­ вается к х() — 0.


Г л а в а VI

НЕРЕГУЛЯРНО-ВОЗМУЩЕННЫЕ СИСТЕМЫ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ

В настоящей главе мы приведем ряд результатов [6]—[9], [47]— [53], относящихся к исследованию интегральных многообразий нере­ гулярно-возмущенных дифференциальных систем, а также ограниченных решений таких систем.

§ 1. Интегральные многообразия нелинейных нерегулярно-возмуіденных систем дифференциальных уравнений

1. Постановка задачи. Рассмотрим систему т -|- п дифференциальных уравнений

( 1 . 1 )

где х — m-вектор, z — л-вектор, / (х, z, t) и F (х, г, f) — соответственно т- и л-вектор-функции, е — малый положи­ тельный параметр.

Одновременно с

системой

(1.1) рассмотрим

систему

^ - =

f(x,z, I),

F(x,z,t) = 0.

( 1.2>

В дальнейшем систему уравнений (1.2) будем называть вырожденной, а систему (1.1) по отношению к системе (1.2) — нерегулярно-возмущенной.

Очевидно, исследование вырожденной системы (1.2) на решении г — <p (х, t) системы F (х, г, 0 = 0 приводится к исследованию системы т дифференциальных уравнений

%- = f(x,<p(x, 0, О-

(1;3>

Поэтому естественно попытаться доказать для систе­ мы (1.1) существование некоторого соотношения г =

W (x,t, г), позволяющего заменить эту систему экви­ валентной системой более низкого порядка.

254

ГЛ. VI. НЕРЕГУЛЯРНО-ВОЗМУЩЕННЫЕ СИСТЕМЫ

 

Как и ранее, будем полагать, что каждому значению

/ £ R

соответствует некоторое множество S t точек

г, ко­

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

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

 

 

z =

W(x,t,E),

(1.4)

где правая часть зависит от параметров хх,х2, ... ,хт, аргу­ мента t и малого параметра в.

Будем называть S t интегральным многообразием систе­ мы (1.1), если для всякого решения х (/, е), z (t, е) этой системы из соотношения

z(t, e) = W(x(t, е), t, г),

справедливого в некоторый момент t = t0, вытекает его справедливость для любого вещественного t и всех е < е*, где е* — некоторое фиксированное положительное число.

Если удастся построить интегральное многообразие S t, то исследование системы т + п уравнений (1.1) на этом многообразии сведется к исследованию т уравнений вида

■^■ = f(x,W(x,t,B),f).

(1.5)

При этом, если W (х, t, е) является регулярной функ­ цией е в окрестности точки е = 0 (что в ряде случаев удает­ ся доказать), то рассмотрение системы (1.1) сводится не толь­ ко к системе более низкого порядка, но, кроме того, к эквивалентной ей регулярной системе уравнений.

Перейдем к установлению условий существования и единственности интегрального многообразия S t.

Предположим, что для системы (1.1) выполняются сле­ дующиеусловия. ^ 1°. Для всех X £ D и / £ R, где D — открытая область

m-мерного евклидова пространства, система уравнений

F{x, z, t ) ~ 0

(1.6)

имеет изолированное решение г — tp (х, /), причем функция <р (х, t), ее первая частная производная по /, частные про­ изводные по Xдо второго порядка включительно исмешанные производные по / их равномерно непрерывны и ограничены.

2°. В области

х £ Д \г — <р(х, /) |< р , t £ R

(1.7)

функция / (х, г, f)

и ее первые частные производные по х

и z, функция F (х,

г, і) и ее частные производные по х и г