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

Из этих уравнений методом итераций находим

и«(01 < 4 - с * 241' +

й .

iv

<

4 -

( ^

-

О-

Как и в теореме II. 1,

можно

показать,

что

(*(£),

у ( ^ ) ) е Д Х D 2

на отрезке

.

Поэтому, полагая

а =

2 ( l 2^

+ l ) " 1 min (р,

о),

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

теоремы.

Сформулируем теперь

теорему о

близости

решений

систем

(II.2.1) и (II.2.2) на бесконечном промежутке.

Теорема II.4.

Пусть функции X ( t y х , у)

и

Y(t, х , у) опреде­

лены в области

Q { t ^

0,

x € Dt, ycD2}

и пусть

в этой области:

\) X и Y непрерывны по t, а по х

и у

удовлетворяют усло­

вию Липшица с некоторой константой X;'

2) равномерно относительно {х, y ) e D i X D 2 и ^ > 0 существует

предел

1

*лт

у) d t

=

Х 0(х, у),

lim ~y

\ X ( t , x ,

Т-* ОО 1

J

а функция Х 0( х , у)

ограничена;

-г\(0) =

3) решение {?(*),

?}(/)}, £(0) =

л:(0),

у (0)

частично ус­

редненной системы

(II.2.3)

определено

для

всех

и

отстоит

от границы области

D x X

D 2

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

р > 0 при

ее[0, а],

равномерно относительно ее [0, о].

Тогда для

любого 0 < 3 < р можно

указать

такое е0,

что при

е < е0

для всех t^>0

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

lt(0 _ — ^ (*)|| <

||у (0

— 'п(*)||< 8*

Доказательство аналогично доказательству теоремы II.2.

3.

Обоснование

второй

схемы частичного

усреднения.

Теорема

II.5.

Пусть

функции Xj

(t,

х ),

X k (t, х),

j = \, р;

k — p-\- 1,

q

системы

(II.2.4)

определены

в

области

Q { £ > 0*

х eD}

и пусть

в этой

области:

1)

функции

Xj

и X k

непрерывны по t ,

а по л: удовлетворяют

условию Липшица с константой X;

2)

в каждой точке

x e D

существуют

пределы (II.2.5);

3)

функции

(.к)

ограничены

и

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

условию

ределено для всех

0 и

отстоит от границы области D на

расстоянии р > 0 при £€ [0,

о], а = const.

34 ’

^

И*)-*(*)|<а.

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

Имеем

X (О — Е (<) = г j ( 2 [Xt (х, * <х))- Xt (x, |(x))] +

o

j —\

+ 2

a : ( t ) ) —

(X, & M ) ] 1 * .

на отрезке 0 < t

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

t р

j 2

[Xj (t, %(if)) - Xja (E (t)) 1 d t < a,

0 j=\

F 1 (t,

* ) =

2

х )

•*)• р г (<• х) =

k=p+i

;= i

Теорема

II.6.

Пусть функции Ft (t,x)

и F2 (t, х ) определены

в области Q { t^ > 0,

x e D }

и пусть в этой области:

1)

Fx и F2 непрерывны

по t, а по х

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

условию

Липшица с константой X;

2)

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

О существует

предел

. /+7’

lim-j-

Г Fx (t, х) dt = F10 (х),

г-*» 1

4

Оценим каждое слагаемое в отдельности:

/2

А (х, Щ / (х, 5) dt

<

<

е

Л 1

j

X

(

т ) | | *

( т

) dx;—

$

( х ) | [

о

|[Л(т,

Е ) - л о ) ] / е .

£ ) *

<

еЖ *£

(/),

Г Д е ^ ( 0 - ^ 0

ПР И t ^

со ;

значит,

е ^ ( < )

=

xg (т/е) ->

0

при £ - > 0 ,

Тб [О, Ц ,

т. е. существует

некоторое

£0 >

0,такое, что при £ < е0

eMtg {t) <

а

—( асколь

угодно

малое

фиксированное

число);

j

А (т, *)

[ / ( т ,

* ) — / ( т ,

&)]дГт

<

еМjV (х) ||* ( X

)— 5 (х)11 dx,

о

о

Итак,

t

||* (О — 5 (*) ||<

еЖ *£ (*)

+

Ш j

[X (т) +

р (т)] |* (т) —

t

о

—Ч Х)| К Т <

— \(т)|| dx.

а +

М

f [ X

(х) +

(Ух)]|| *

(х)

о

На основании леммы

Гронуолла— Веллмана имеем

<

< о. exp [ttM (Cj +

с2))

а ехр {/.Ж

-f

с2)\.

Выбирая

а <

vjexp {— LM(cx+

с2) } »

получаем

| |

* ( *—) \(£)|| < у\

при te [О,

L e~ 1 ] для

сколь угодно малого тд,

если £ <

е0, L ^ > 0—

произвольное положительное число. Теорема доказана.

В следующей теореме

откажемся

от условия

ограниченности

функций f ( t ,

*);

более того,

среднее

от

этой

функции может

не существовать.

Теорема II.8. Пусть функции A(tyх)

и f ( t ,

*)

определены в

области Q { t ^ 0 ,

xeD]

и пусть

в этой

области:

1)

функция

A(t,

х)

непрерывна

по /,

а по i

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

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

где

||A(t, x ' ) - A ( t ,

х")\\ < Х (/) Ц *'- * " 1 1 ,

t

( т dx) <

;ct

{с =

J

X

const);

о

лено

для всех

^ > 0

и лежит

вместе

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

в области D, a f ( t ,

£(£))

монотонна

по t.

Тогда для

любых ^ >

0 и L >

0

можно

указать

такое е0,

что

при 0 < Х > о

на отрезке

0 < t f < Z l n £ _fe, где

& <

1/р£, будет вы­

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

||*(*)-5(*)||< Ъ

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

Как

в теореме 11.7,

находим

t

x ( t ) - % ( t )

=

z | [Л ( х , - * ) / К

х) — А(х,

*)/(х , 5) +

0

+ А ( х,

x ) f { t, £) — Л(х,

5)/(х,

S)+ Л(х,

$)/(х,

&) —

" А ,

(*)/(*.

5)]rfx,

||^(0 — М0||

А ~b h +

h-

Пользуясь условиями теоремы, оценим каждое

слагаемое в от­

дельности:

/, = е |

[ Л ( г ,

л ; ) / ( т ,

Е )

-

Л

(

т , < Е ) / ( х , Е )

о

< e a e ^ J X (х) Ц * (х) — ? (х) Ц d x;

о

/

[ Л ( Х .

Е ) / ( т ,

Е )

-

Л „

( Е ) / ( т ,

Е ) ] < *

О

<

<

tg(£),

где g

(t) -> 0 при *

оо;

А =

f

[Л(т, 1)/(х,

х ) —А (х, |)/(х, |)] d i

<

<

2аеЖ| Л х

= ^

_

1).

Итак,

получаем

||* (<) -

Е (0 || <

» tg

(<) ер' + 2~

( / ' -

1)

+