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

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

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

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

Добавлен: 21.10.2024

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

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

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

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

4.Аналогичные результаты относятся также к системам не­

сколько более общего вида по сравнению с (II.9.9):

 

 

 

х =

 

j

{t,

х, е) -j- •••+

L mF т (t , x, е),

 

(II.9.22)

где

Za,

F a — операторы

и функции такого

же

характера,

как F

и L

в

(II.9.9), а также к системам вида

 

 

 

 

 

 

 

 

 

 

 

 

л: =

L 0x -f- L vF(t,

х,

е);

 

'

 

 

(II.9.23)

здесь

L 0 — такой

оператор,

что существует

сбратный

 

оператор

— Z.0)_1. Последней системе

может

быть

поставлено в соответ­

ствие мажорирующее уравнение вида (II.9.8).

 

 

 

 

 

III. Квазилинейные

дифференциальные уравнения

с малым параметром

 

 

 

 

 

 

 

в правых частях

 

 

 

 

 

 

 

Целый ряд задач о построении решений уравнений различных

типов с

малым

параметром

может быть

приведен к

 

задаче о

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

(II.9.9),

(II.9.22),

(II.9.23).

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

эти решения можно искать с

помощью

сходящихся в некоторой области приближений или рядов,

отве­

чающих (II.9.17) или (II.9.21) соответственно. К их анализу при­

менима

методика,

связанная

с мажорирующими

функциональ­

ными уравнениями Ляпунова.

 

 

 

 

 

 

 

 

 

1.

 

В качестве

 

одного

из простых типов уравнений рассмотрим

систему

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

=

P ( 0

^ - s/ ( U

, s ) ,

 

 

 

(П.9.24)

где

Р (t) — непрерывная

по

t

матрица, f i t ,

х,

е) — вектор-функ­

ция, непрерывная по t,

в

и дифференцируемая

по х

в

некото­

рой

области D {0 < t < Т,

||jc ||</?, О < в < е0}.

Ставится

вопрос

о нахождении решения

 

x ( t . s), обращающегося

в

нуль

при

е =

0.

Эквивалентной

по

 

отношению

к

(II.9.24)

на

множестве

таких

решений является

 

интегральная система

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

X =

вХ0 (t) JХ ~ 1 (т)/(х,

X,

е) dx;

 

 

(II.9.25)

 

 

 

 

 

 

 

 

о

 

 

 

 

 

 

 

 

 

 

здесь Х 0 (t) — нормальная

фундаментальная

матрица для

линей­

ной системы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d- ^

= P { t ) x .

 

 

 

 

 

(II.9.26)

84


Можно переписать (II.9.25) в операторной форме

(II.9.9),

поло­

жив F (t,

х ,

в) =

е/ (t,

х ,

в)

и

опрелелив оператор L

 

формулой

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L ? (t) =

Х й( п \ х - '

(т) ® ( т )* .

 

 

 

 

(II.9.27)

 

 

 

 

 

 

 

 

 

 

О

 

 

 

 

 

 

 

 

 

 

 

Оператор

L

линейный

в

 

области 0 < К Т ,

ограниченный,

 

так

что справедливо

все

изложенное

в п. 2 настоящего

параграфа.

Таким образом,

при 0 < t < T получаем искомое

решение

системы

(II.9.24)

как предел последовательных приближений

x k (t, в),

отве­

чающих

(II.9.17)

и (II.9.25)

и

представляющих

решения

систем

 

 

 

 

dx

p

(t) x k +

Ef ( t ,

x k_ v

в)

 

 

 

 

(II.9.28)

 

 

 

 

~ а г =

 

 

 

 

при нулевых

начальных

условиях,

причем

||^i|| — в,

Ц-^2—

 

—®2

и т. д.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для построения мажорирующего уравнения следует

оценить

оператор

L.

Справедлива

оценка

 

 

 

 

 

 

 

 

 

 

 

 

IIL ? II < Р IIе? II,

Р =

 

max

П X (t)X~\x)

dx.

 

 

(II.9.29)

 

 

 

 

 

 

 

 

 

0<*<7n 1

 

 

 

 

 

 

 

 

 

Скалярное мажорирующее уравнение

запишется в виде

 

 

 

 

 

 

 

 

 

 

и — врФ (и,

в )

,

 

 

 

 

 

 

 

 

где Ф (и,

е) — мажоранта

Ляпунова для f ( t , х:,

в).

 

 

 

 

 

 

Для иллюстрации рассмотрим скалярное уравнение

 

 

 

 

 

 

=

— лс + в/(С х),

 

f ( t ,

х)

= cos t +

2х — х 3.

(II.9.31)

Операторное

уравнение

примет

вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Cх),

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

х =

b Z /

(

 

 

I ?

0

e~(t= -~L)v(x)j

dx.

 

 

 

( I

I .

9 . 3 2 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Число p

в оценке

(II.9.29)

оператора

L равно

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р =

max j* e~{t~x) dx =

max ( l

e~*) =

1,

0 < t <

oo,

 

 

«

 

 

1 о

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

так что

этот

оператор

 

ограничен

на всей

полуоси

 

0 < t

<

оо.

Мажоранта для f { t , х)

равна,

очевидно,

ф (а)

=

1

+

+

а 3,

так что

мажорирующее

уравнение (II.9.30) запишется в виде

 

 

 

 

 

 

 

и =

в(1 +2/г +

гг3).

 

 

 

 

 

(II.9.33)

Положительное

решение

и (г) этого уравнения существует

при

0 < г < е * ^ 0 , 2 6 .

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

можно гарантировать

 

при

та­

ких в сходимость

приближений

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

* *

=

Ч

 

 

 

(cos t +

 

 

1

 

 

 

(II.9.34)

 

 

 

 

 

о

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

85


к точному

решению x ( t , в) при всех 0 < t

< оо, 0 < в < 0,26.

Оценим

теперь погрешность первого

приближения

х х (t, в),

которое равно

 

 

 

 

 

 

х х

- - J - ( — е

1 + cos t -f

sin t),

 

например,

при е = 0,

1. Имеем

 

 

 

 

 

\\x(t,

в ) - х х(*,

в) |< и (в) -

их(в),

(II.9.35)

где и (в) — точное решение уравнения (II.9.33), а их(г) = е — его первое приближение. Так как и (0, 1)?^0,13, то ||л: — ^i||e=01 <

<0,03.

2.Рассмотрим систему вида (II.9.24) в случае T-периодичес­ кой матрицы P ( t ) и Г-периодической по t функции f ( t , л;, е).

Пусть ставится вопрос о нахождении

Г-периодического решения

х (t , в), обращающегося в нуль при в = 0, и пусть

имеет место

некритический случай (вещественные

части всех

характеристи­

ческих показателей для однородной системы (11,9.26) отличны от

нуля). Тогда эквивалентной

на множестве таких решений явля­

ется

система

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t + T

 

 

 

 

 

 

 

 

х = е [ х - 1 ( Т )

-

Е } - ' Х 0 1<) J

Х 0 (х)/(-с,

X,

S) Л ;

 

(II.9.36)

здесь 2^0 (t) — нормальная

фундаментальная

матрица для

линей­

ной системы (II.9.26).

 

 

 

 

 

 

^Л'“1(7') — Е ~1

В

некритическом

случае

обратная

матрица

существует (имеет ограниченную норму). Таким образом с

уче­

том

оценки (II.9.29) опять получим, что уравнение

(II.9.36)

мо­

жет

быть записано

в виде

операторной системы,

совпадающей

по структуре с (II.9.9). Следовательно, опять можем искать

пе­

риодическое решение в

некоторой области значений в

с

по­

мощью указанных

выше

 

последовательных

приближений или

рядов (см. [98—104]).

 

 

 

 

 

 

 

 

 

 

IV. Квазилинейные дифференциальные уравнения с

малым

параметром

 

 

 

при производной

 

 

 

 

 

 

1.

Рассмотрим систему

 

 

 

 

 

 

 

 

 

 

 

 

 

е § - =

Ax +

v.f{t,

х )

 

 

 

 

(II.9.37)

с малым параметром

в при производной и малым

параметром р.

в правой части и с постоянной матрицей А , причем

пусть

вы­

полняется, как это

обычно требуется

при анализе таких

систем

(см.

[15]), известное условие устойчивости: вещественные

части

всех

собственных значений

...,

\п

матрицы

А

отрицательны.

86


Относительно функции f ( t ,

х:)

предположим, что она непрерыв­

на по t и дифференцируема

по л: в некоторой

области.

Пусть

ищется решение x: (t, в,

|х),

обращающееся в нуль при в = [х = 0 .

Систему (II.9.37) можно заменить, как и ранее, эквивалентной

операторной системой с

линейным

ограниченным

оператором.

Действительно, так как нормальная фундаментальная матрица

для

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

(получающейся

из

(II.9.37)

при

[х = 0) равна

 

 

 

 

 

 

 

 

 

 

 

 

 

X 0 ( t , e )

=

t

,

 

 

(II.9.38)

 

 

e &

 

 

то система (II.9.37) эквивалентна на множестве решений

с нуле­

вым

начальным условием х (0) = 0

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

системе

 

 

 

1 — (t-i)

 

х) dx

 

 

(II.9.39)

 

 

x = ~Y- \ е &

 

/ (т,

 

 

 

 

 

о

 

 

 

 

 

 

 

 

 

или

операторной системе

 

 

 

 

 

 

 

 

 

 

x

— L F ( i ,

х, |х),

/7=

н/(^, х),

 

 

(11.9.40)

где L — оператор,

выражаемый формулой

 

 

 

 

 

(t)

 

1

Г

е

т

<*-х)

 

 

 

(11.9.41)

 

 

=

J

 

ср (х) dx.

 

 

о

Так как при принятом условии

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

II ~At II

„„-o-t

,

|е

|<

се

где с — некоторая постоянная и a =

min|ReXJ, то

ценный оператор на всей полуоси t^>0 при любом

здесь

 

И ^Н < р |1ср |1;

 

t

a{t —т)

- — t

 

Р = шах - -

е

dx = — max 11 — е

 

t>о е

J

t>о

 

(11.9.42)

L — ограни-

s > 0, т. е.

(11.9.43)

^(II.9.44)

(р не зависит от в). Таким образом, имеем операторную систему такого же характера, как и система (II.9.9). Ее решение может быть найдено с помощью последовательных приближений вида (II.9.17) или рядов вида (II.9.21), сходимость которых гарантиру­ ется в некоторой области 0 < [х < р* значений [х и при л ю б ы х е > 0.

Приближения х к , определяемые согласно (II.9.17), соответст­

вуют, как

нетрудно видеть, решениям

систем

dxb

 

2, 3, ..., x 0 = 0 (II.9.45)

2 ~dT = Axk + p f (t, x k_!), k = 1,

87


при нулевых начальных условиях. При этом |x k — х к_г Ц~ [/.

Аналогичным образом можно рассмотреть системы вида (Н.9.37) с переменной матрицей P(t) вместо А. Надо только, как и прежде, потребовать выполнения условия устойчивости, согласно которому при всех t решения линейной однородной системы (при р. = 0) экспоненциально асимптотически устойчивы.

2.Что касается разложения рассматриваемого решения по

степеням е, то его следует применять

осторожно, так как в ря­

де случаев оно не эффективно. Рассмотрим,

например,

первое

приближение х и находимое

при х 0 =

0 из линейной неоднород­

ной системы. Если

положим для

простоты

записи

х х = у,

Ij f ( t , 0) = 9 (t), то получим систему

 

 

 

 

 

i %

= Ay + ?(t) .

 

 

(11.9.46)

Ее решение при начальном

условии

у (0) =

0

определится по

формуле

 

 

 

 

 

 

У ( * ,

в)

(i -*)

9 (т) dx.

 

 

(II.9.47)

 

 

 

Пусть 9 (^) — бесконечно дифференцируемая функция. Поставим вопрос о разложении y(t, в) по степеням в. Применив к (II.9.47) п раз интегрирование по частям, получим

У (*, £) =

А - \ (0) + . (Л - ) 2% + ■ ■ ■

+

 

 

 

X

 

 

 

 

 

 

 

 

 

 

t = 0

 

— t

 

 

 

 

 

 

 

 

 

X

е е

 

+ в (Д -1)2^

 

+

•••+ в”' 1 (Д -1) л X

 

 

 

 

dtn~l

+ Я я>

 

 

(II.9.48)

 

 

 

 

 

 

 

 

 

 

где R

— остаточный

член разложения

по степеням

в,

равный

 

 

 

 

 

t

A

(<-“*)

dn <p (t )

 

 

 

R„ = R n (*,

e) =

s " - 1U - I)'! j e

dx.

(II.9.49)

 

 

 

dxn

 

 

 

 

 

 

 

 

 

 

Это же разложение (без остаточного члена)

мы получим, найдя

формальное

разложение

решения

у (t,

в)

по

степеням

в (но с

выделением

экспоненты

e {Ale)t).

Ввиду

(II.9.42)

справедлива

следующая

оценка R n:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(II.9.50)

88