Файл: Филатов, А. Н. Асимптотические методы в теории дифференциальных и интегро-дифференциальных уравнений.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 21.10.2024
Просмотров: 138
Скачиваний: 1
Так как для z0 (t) не обязательно задавать дополнительные ус ловия, то из (II.7.17') находим
Уо(0) = уо, П0 у (0) = |
0, |
П0z (0) = z° — z 0 (0). |
(П.7.18) |
Следовательно, согласно (Н.7.14), |
|
|
|
п о У ( ^ ) = 0 , |
х > 0 . |
|
|
Далее |
|
|
|
^ f = F (z 0 (0) + П02, |
у0, |
0), г »(0) = «р ( у0, 0). |
(11.7.19) |
Эта система получается из присоединенной системы, если в пос-
ледней |
положить |
z = |
z (0) + П z. Точкой |
покоя системы (II.7.19) |
|||||||||||
является |
асимптотически |
устойчивая |
точка |
n oz = 0 , а |
начальное |
||||||||||
значение |
n oz(0) = z° — z0(0) принадлежит области |
влияния |
этой |
||||||||||||
точки. Поэтому n oz(x)-> 0 |
при х -> оо. |
|
|
|
|
|
|
||||||||
|
Далее |
имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zt (0) + |
n tz (0) = 0, |
у х(0) + П,у (0) = 0. |
(II.7.20) |
|||||||||
Из |
(II.7.15) находим |
|
|
|
|
т |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(т) = |
n oyt (0) + |
J |
П0f ( s ) d s . |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
Так |
как |
предполагается, |
|
что |
пограничные |
функции |
стремятся |
||||||||
к нулю |
при х-*со, |
то |
из |
этого |
равенства |
получаем |
|
|
|||||||
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
П1У (0) = - |
J П0/ ( s ) d s , |
|
|
|
|
||||||
т. е. |
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
оо |
|
|
|
||
|
|
|
П!У(т) = |
— |
|
|
|
у х (0) = |
(5)ds. |
|
|
||||
|
|
|
f П0/ (s) ds, |
J п0/ |
|
|
|||||||||
|
|
|
|
|
х |
|
|
|
|
|
0 |
|
|
|
|
Затем |
полагаем |
(0) = |
— z x(0). |
Для |
нахождения |
функций |
|||||||||
|
|
|
П *У М , |
|
zft(*), |
Пk z ( t ) , |
k = 2 , |
3, ... |
|
||||||
используем следующие дополнительные условия: |
|
|
|
||||||||||||
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
У *(°) = J K k_ l f (s)ds, |
n ft z(0) = |
— zk (0), |
|
|
||||||||
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
п * |
- |
У х ) ( |
-0 , |
х |
|
|
о о . |
|
|
|
|
При этих |
условиях |
члены |
асимптотического |
ряда |
(II.7.8) |
будут |
|||||||||
определены. |
|
|
|
|
|
|
При |
выполнении условий |
|||||||
Теорема 11.15. (А. Б. Васильева). |
|||||||||||||||
I—V найдутся постоянные |
е0> 0 и с > |
0, |
такие, что при 0 < е < е а |
66
решение [z(t, г), y ( t , е)} задачи (II.7.1)—(II.7.2) существует на
отрезке |
единственно |
и удовлетворяет |
неравенству |
|||
II х ( ( , |
* ) - X n (t, |
е)!|| |
i 6 [О, |
Т\, |
|
|
где |
п |
|
|
|
|
|
|
|
|
|
|
|
|
*„ (< , о = 2 |
t * p t (<) + |
n ^ ( o l . |
|
|||
|
ft= 0 |
L |
|
J |
|
|
Доказательство |
этой теоремы весьма |
подробно |
изложено в |
|||
работе [15]. |
|
|
|
|
|
|
Заметим, что рассмотренная |
методика |
построения |
асимптоти |
ческого разложения решений дифференциальных уравнений рас пространяется и на интегро-дифференциальные уравнения [15, 43].
§ 8. Метод возмущений С. А. Ломова |
для сингулярных задач |
В этом параграфе излагается метод |
возмущений, развитый |
С. А. Ломовым [65—68] для асимптотического построения реше
ний различного типа сингулярных задач (обыкновенные |
диффе |
|||||||||||
ренциальные уравнения, уравнения |
в частных производных, ин |
|||||||||||
тегро-дифференциальные уравнения). Мы |
изложим |
эту |
теорию |
|||||||||
для систем |
линейных |
дифференциальных |
уравнений |
с |
малым |
|||||||
параметром |
при производной. |
|
|
|
|
|
|
|||||
1. |
|
Формализм построения асимптотики по С. А. |
Ломову сос |
|||||||||
тоит |
в следующем. Изучается задача |
|
|
|
|
|
||||||
|
|
£ ez' = |
A0 (a ) z + |
Д (А') у + |
h, (a ), |
z (0, |
е) = |
г° 1 |
|
|||
|
|
|
\У' = |
A 2 (x ) z + |
Аг (л)у + |
/?2 ( а ), |
у (0, |
е) = |
у 0 J |
|
||
при |
£ |
-f 0. Здесь 2 |
и у — векторы |
размерности |
п и т |
|
соответ |
|||||
ственно, |
матрицы At (а) и векторы hk (а) предполагаются диффе |
ренцируемыми на отрезке 0 < С х - ^ а достаточное число раз. Предположим, что корни ХДа), ..., Xп(х) характеристического
уравнения
det |А0(а) — Х£ |= О
на отрезке [0, а] различны и ни один из них не равен нулю. Умножив второе уравнение системы (II.8.1) на в и введя
обозначения
г |
|
Л (*) |
Л, (А) |
/г, (а)\ |
и = |
А (А, г) = |
|
h (а , в) = |
|
У |
|
еА2(х) вА3(а ) |
eh2 (х)1 |
|
запишем (II.8.1) |
в виде одного уравнения |
|
||
L zu (а , |
е) = |
ей' — A (a , в) и = |
й (а , б), |
и (О, £) = и°. (II.8.2) |
Расширим исходный оператор Z6 следующим образом. Введем дополнительные независимые переменные tv ..., tn по формулам
67
|
|
|
= |
0 |
|
|
= |
|
|
s), |
i = U n |
|
(H.8.3) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
рассмотрим |
некоторую |
„расширенную1 функцию |
и(х, |
t, s), |
|||||||||||
t = * ( t v ..., tn) y обладающую свойством |
|
|
|
|
|
|
||||||||||
|
|
|
«(*> |
s)| и = ь |
(х в)==и{х, |
в), |
|
|
(Н.8.4) |
|||||||
т. е. сужение функции и ( х , |
t, в) |
при |
условии |
(II.8.3) |
должно |
|||||||||||
совпадать с и ( х , г)-решением задачи (II.8.2). |
|
|
|
|
|
|||||||||||
|
Дифференцируя соотношение (Н.8.4), находим |
|
|
|
|
|||||||||||
|
|
а ' (* . г) = | т + - r D <“ • D <= 2 М *> |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
г = 1 |
|
|
|
|
|
Тогда для |
определения функции |
гг(х, |
t, |
в) |
естественно |
поста |
||||||||||
вить следующую задачу: |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
L'U = |
-\-Dtu — Л (х, в) а = |
/г(л", |
е), |
w (0, 0, |
в) = гг0. |
(II.8.5) |
|||||||||
|
Задача |
по определению функции |
а (х, |
в) из (II.8.5) являет |
||||||||||||
ся |
уже регулярной |
по в при |
в -> 0, |
так |
как |
при |
в = |
О |
задача, |
|||||||
получающаяся из (II.8.5), разрешима. |
Однако при в -> 0 |
в наших |
||||||||||||||
условиях |
|tt |-> оо, |
т. е. сингулярность |
по в перешла в сингуляр |
|||||||||||||
ность по t. Поэтому задачу (II.8.5) |
необходимо |
решать |
во |
всем |
||||||||||||
пространстве переменных |
t. |
|
|
|
|
|
|
|
|
|
|
|
||||
|
Учитывая это замечание, будем искать решение (II.8.5) |
в ви |
||||||||||||||
де обычного формального ряда теории возмущений: |
|
|
|
|||||||||||||
|
и ( х , t, |
в) = |
2 |
(•*’ |
*) = |
UQ(*» 0 |
+ Ш\(* . о |
+ |
|
(II.8.6) |
||||||
|
|
|
i= 0 |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
u.(x, |
t) = {Zt {x, |
t), |
yt (x, |
t)} |
|
|
|
|
|
Подставляя разложение (II.8.6) в (II.8.5), находим для определе ния функций z 0 и у0 задачи
L zq==Dt z0 - А0 (х) z0 = h{ (х) + |
Л, (*) у0, |
z0 (0, 0) = z° |
||||
Dt У0 |
= |
°. |
Уо (°> °) |
= У° |
, (II.8.7) |
|
|
||||||
а для функций z k (х, |
|
/), |
yk (х, |
t ), |
k > 1 |
— |
68
Lzk = Д (х) yk - |
дг |
|
f Zh, 0f 0) = 0 |
||
Dt Ук ^ A (x ) z k-i + |
Л (*) Ук- 1 - ~ ^ Г + И к - М \ |
|
уA° . 0) = |
(II.8.8) |
|
° |
||
_ |
(Л2 (л:), |
A = 1 |
Я *-1 (* ) = | 0 , k > 1
Теперь возникают следующие проблемы: 1) доказать разреши мость задач (II.8.7) и (II.8.8) в целом; 2) показать, что сужение функции
|
к |
|
|
|
|
иtk (X) t ) 2 ) |
£ iif (л:, |
t) -f- £ |
^k+i |
|
i=О |
|
|
|
|
^к+\ |
^ |
У*-И |
^)} |
при |
е) является |
формальным |
асимптотическим решени |
ем исходной задачи (II.8.1) и дать соответствующую асимптоти ческую оценку по е близости решения задачи (II.8.1) и функции
и гк (•*» £) — U t k ( * ’ |
£) It t =ф£ ( х , г) • |
Крешению этих задач мы и переходим.
2.Сформулируем следующие четыре задачи, которые оче видным образом связаны с задачами (II.8.7) и (II.8.8).
Задача |
1. В области |
ф | 0 < л :< я , |
|^|< оо, |
£ = 1 ,л | |
опре |
|||||||
делить функцию z ( x , t ) = [ z x{x, |
t), |
..., z n(x, £)} |
из условий |
|||||||||
1) |
L z ( x , t) = |
D tz — A^(x)z = |
hx{x, |
/), |
z(0, 0) |
= |
z°; |
(II.8.9) |
||||
2) |
если |
все R e X ^ X O , |
то z ( x , |
t) |
ограничена |
при |
|-►°° |
|||||
Здесь |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D t = M * ) |
^ |
|
■" К (*) |
|
|
|
||||
|
|
|
|
t = |
( t v |
..., |
tny |
|
|
|
|
|
a \ (x )%•••» |
^a (x) — простой |
спектр |
матрицы A0(x) |
(все |
корни |
|||||||
Xt (л:) различны и ни один из них не равен нулю). |
Найти |
соот |
||||||||||
ветствующие ограничения на функцию hx (х, t). |
|
___ |
|
|||||||||
Задача |
2. В области |
Q | 0 < * < a , |
|^|<оо, |
i — 1, nj |
опре |
|||||||
делить функцию |
у ( * , |
^) = |
( (-дс, t), |
..., |
ут (х, t)} |
из условий |
||||||
1) |
D ty(x, t ) = f l (x, |
t); |
у ( 0 ,0 ) |
= |
/ ; |
|
|
(II.8.10) |
69