Файл: Филатов, А. Н. Асимптотические методы в теории дифференциальных и интегро-дифференциальных уравнений.pdf

ф

kL *

О, Ф

{ l + \ ) L

»

-> О,

sт ’

гт

Ф0(в, У ^ О, В -> 0, / = О, т — 1 , & = 1, т — 1 .

Отсюда

m —1

m —1

г г + 1

i=0

d~

+

* 2

| ? (%

) * +

i=l

I ?(т’ )d'

m —1

+ £

-

i=0

*,+. ф ( <«+.• У +

2

m —1

m —1

2

®

(*" + 1) L

• )+2 ф(^- ? +

em

i=0

i—1

+

max

Ф (в, ^ ) = / 7 (e, w).

Итак,

(AiWZ,2

+ F ( b, m) = a (e, /ti).

m

и достаточно

малого

е

величина

а

( е, тп)

может быть сделана

сколь угодно

малой.

решение

x =

x { t )

системы (II. 1.4) в виде

Будем теперь искать

х

(^) = X(£) + а

( е , пг) и (t ).

- г X (х Д

(х )) — Х 0 (Ц т )) J dx.

Следовательно,

||и (О ||< 1 + £1А

т. е.

II и (<)|| <

.

Итак, на отрезке / имеем

неравенство

| | * ( < ) - H 0 ||=

a f l “ W ||<

< а е ^ г < ae^L.

а (в, т) <

e~^L min )_£_

J L I

2

•

2 Г

Тогда на всем отрезке /*,

на котором

x ( t ) e D ,

будем

иметь

И<)-ч<>||<-Ь

Если теперь предположим,

что t* < Is -1 , то

на

отрезке

I =

= { 0 < t < L b~x } в силу непрерывности

решений

х

(t) и

5 (*)

Однако

из этого

неравенства

следует,

что

при

t — Т решение

х (/) еще не покинуло

области D. Поэтому Те/*; следовательно,

И 7 - ) - б ( л ц < - Ь

Полученное противоречие свидетельствует

о том,

что t * ^ L z ~ 1 .

Теорема доказана.

4.

Оценки.

В процессе доказательства теоремы II. 1 нами был

получена следующая

оценка для

разности

решений исходной и

усредненной систем:

И * )

s W II < ^

F * r

max

Ф0(з,

+

0<k<m—1

4

~m —1

(/4- \) L

т—1

IL

g

+ L 2 ф

л +2®

(II.1.13)

sт

ет ’

i

где

/=о

i= 1

Ф ( * , * )

= - L J [ * ( t,5) - *

0(5)] Л

Ф (£) = sup Ф (t , %) =

sup

t

J

[л -(т, ?

) - х 0ш ] л

SeD

SeD

Тогда

Ф (^) -> 0,

t

-> со.

| [ Л - ( т ,Е ) - ^ 0 ( 5 ) ] Л

st<£(t)

0 L

<

SUp

х ф (

= ф (s),

ф (s)

0, e — 0

0<T<L

\

1

и следовательно,

т—1

*i+l

d t

т —1

+

j* ©(*,&*)

+

*

г2=1

f 9

(т. ?/)

dx

г=0

0

6

+

? (x. % ) d z

< 2 m ф(е).

Поэтому оценка (II. 1.13) принимает теперь

вид

x { t ) - 4

(t) |< e

L

+ 2m ф(s)\

где

т

е

S ) - * 0(S)]<fo 1!

•ф(e) — e sup

sup

j [ X (3,

=

S0 (s).

0< -< L

SeD

6

i

Последнюю оценку

можно улучшить за счет выбора т. Выберем

т так, чтобы функция

f (rn) = -

- f 2 m s 6 (s)

принимала наименьшее значение.

Очевидно, f { m )

достигает

минимума при

/

2s0(s) •

(j.L

У р М У'Ь

(е)".

x ( t ) —t(t)\\<2Le?

Вопрос о получении более

точных оценок

сводится к иссле­

дованию быстроты убывания

функции

t

Ф (t, 5) = \

f [

Л- (х,Е) -

] Л

при t с о . Если предположить,

что

sup Ф (t, £) <

z

, с =

const,

(И.1.14)

£eD

то можно получить

оценку

вида

||*(*)-&(*)||<ef\

Р =

const.

5.

Вторая теорема об усреднении.

Перейдем

теперь

к уста

новлению близости

решений

исходной

и

усредненной систем на

бесконечном промежутке.

Теорема II.2. Пусть функция X (t , х) системы (II.1.4) опреде­

лена

в области

0,

x e D ]

и

пусть

в

этой

области:

1 )

X (t,

х)

непрерывна по /, а по

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

условию

Липшица

ljX (t,

x ' ) - X ( t , х")

||<р \\х' — х"Ц ;

2)

в каждой

точке

x e D

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

сущест

вует

предел

t +T

lim

~

f

X (t,

х) d t

=

Х 0 (х),

(II.1.15)

Г-оо

1

%

и функция Х 0

(х)

ограничена**;

3)

решение

l =

? (0) = д: (0) усредненной системы

i =

e X 0(t)

(П.1.16)

определено для

всех

^ > 0

и

лежит

в

области

D с

некоторой

о-окрестностью;

zt равномерно

4)

решение

$ =

5 (~), т =

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

чиво.

0 <

<

8 можно

указать такое

е0, что

для

Тогда для любых

е < е0 при всех

t^> 0 будет

выполняться неравенство

И*)- мо ц<

Д о к а за т е л ь ст в о**). Так же,

как

и в предыдущей теореме

можно показать,

что

(*)

6Lip^.

(р, Q). Пусть £(£) — равномерно’

такое

р<С^ (причем р =

р(т}/'2) не зависит

от t в силу р а в н о ­

м е р н о й устойчивости),

что для л ю б о г о

р е ш е н и я

£0(t) урав­

нения

i = e X 0 ( ^ 0 < е < е * ,

*)

Можно потребовать, чтобы на траектории S(^) выполнялось

неравенство

JХ0 (5

( 0 ) dt

< M ( t 2 — t j , t2 > tv

||5 (« - М<) |<

- г

* > * ■

Более того, в силу равномерной

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

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

решения

Е (0

можно указать такое

L , что при t > t +

L в*

будет

выполняться

неравенство

Р(<)-«о(<)ц<4-р

(здесь Z. = L (р/2), но L не зависит от t ).

По найденному р и заданному L

выберем

в0<

s*

так,

что­

бы при

е <

в0 на отрезке [О,

L в-1

]

выполнялось

неравенство

(£0 =

£0(р.

^))

||*(*) — \(0 |< Р . К

0’ L 'A , £ <

£о*

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

||*(*) — 5(*) I K

7)

такой

момент t* >

L в-1 , что

| И < * ) - 5 ( * * ) | | = ч.

причем при t < t *

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

|■*(*) — 5 (*) Ц< r j

(т. е.

t* — первый

момент, когда

разность \\х — Ц\ достигает

ве­

личины 7j). Тогда на отрезке [ L

в-1 , t*\ найдется tq , такое,

что

Таких точек может быть несколько. В этом случае

возьмем самую

крайнюю (наибольшую) из них. Пусть t**

= max t

. Тогда и для

t — t** будет выполняться неравенство

ч

|*

(<**) - 5 (<**) ||=

р.

(II. 1.17)

Следовательно, при t >

t** будем иметь

||. * ( * ) - 5(f) Л > Р . * > * * * .

(II.1.18)