Научная статья на тему 'Итерационный метод решения задачи Коши для сингулярно возмущенного слабо нелинейного дифференциального уравнения второго порядка'

Итерационный метод решения задачи Коши для сингулярно возмущенного слабо нелинейного дифференциального уравнения второго порядка Текст научной статьи по специальности «Математика»

CC BY
182
14
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СИНГУЛЯРНЫЕ ВОЗМУЩЕНИЯ / ТЕОРЕМА БАНАХА О НЕПОДВИЖНОЙ ТОЧКЕ / МЕТОД АСИМПТОТИЧЕСКИХ ИТЕРАЦИЙ / МЕТОД ПОГРАНИЧНЫХ ФУНКЦИЙ / SINGULAR PERTURBATIONS / BANACH FIXED-POINT THEOREM / ASYMPTOTIC ITERATION METHOD / BOUNDARY FUNCTION METHOD

Аннотация научной статьи по математике, автор научной работы — Букжалёв Е. Е.

Построена последовательность, сходящаяся к решению задачи Коши для сингулярно возмущенного слабо нелинейного дифференциального уравнения второго порядка. Данная последовательность является также асимптотической в том смысле, что отклонение (по норме пространства непрерывных функций) ее \text{$n$-го} элемента от решения задачи пропорционально \text{$(n+1)$-й} степени параметра возмущения. Указано на возможность применения такой последовательности к обоснованию асимптотики, получаемой с помощью метода пограничных функций.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Букжалёв Е. Е.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

An iterative method for the solution of the Cauchy problem for a singularly perturbed second-order weakly nonlinear differential equation

We construct a sequence that converges to the solution of the Cauchy problem for a singularly perturbed, second-order, weakly nonlinear differential equation. This sequence is an asymptotic sequence in the following sense: the distance (with respect to the norm of the space of continuous functions) between its $n$th element and the solution to the problem is proportional to the $(n+1)$th power of the perturbation parameter. Such a sequence can be used for justification of the asymptotics obtained by the method of boundary functions.

Текст научной работы на тему «Итерационный метод решения задачи Коши для сингулярно возмущенного слабо нелинейного дифференциального уравнения второго порядка»

УДК 517.928.4

Е. Е. Букжалёв1

ИТЕРАЦИОННЫЙ МЕТОД РЕШЕНИЯ ЗАДАЧИ КОШИ ДЛЯ СИНГУЛЯРНО ВОЗМУЩЕННОГО СЛАБО НЕЛИНЕЙНОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА

Построена последовательность, сходящаяся к решению задачи Коши для сингулярно возмущенного слабо нелинейного дифференциального уравнения второго порядка. Данная последовательность является также асимптотической в том смысле, что отклонение (по норме пространства непрерывных функций) ее п-го элемента от решения задачи пропорционально (п + 1)-й степени параметра возмущения. Указано на возможность применения такой последовательности к обоснованию асимптотики, получаемой с помощью метода пограничных функций.

Ключевые слова: сингулярные возмущения, теорема Банаха о неподвижной точке, метод асимптотических итераций, метод пограничных функций.

1. Введение. Рассмотрим задачу Коши для сингулярно возмущенного слабо нелинейного дифференциального уравнения второго порядка:

е2у" = £аг(х)у' + а0(х)у + Ь(х) + Ед(еу',у,х), же(0,1],

у(0;г) = у°, у'(0;е) = у1/е,

где е > 0 — параметр возмущения, X > О, у0,?/1 € Ж,

аа(х),а1(х),Ь(х) € С^О,*], д(и,у,х) € С1'1,0(К2 х [0,Х]). (2)

Кроме того, будем считать, что

щ(х) < 0 У(г, х) б {0,1} х [О, X]. (3)

В настоящей работе предлагается алгоритм построения последовательности уп(х; е), сходящейся при каждом е € (0, во) по норме пространства непрерывных функций к классическому решению у(х;е) задачи (1) (величина £о выражается через входные данные задачи). Построение и доказательство сходимости последовательности уп(х;е) опираются на теорему Банаха о неподвижной точке сжимающего отображения полного метрического пространства (см. [1]). Поскольку при этом коэффициент сжатия к отображения оказывается величиной порядка е (к < е/ео), так что отклонение уп{х; е) от у(х; е) (здесь и ниже под отклонением подразумевается отклонение по норме С[О, X]) составляет 0(еп+1), 0 < £ ^ во, то полученный результат носит также и асимптотический характер.

Заметим, что каждый следующий элемент последовательности уп(х;£) есть результат действия некоторого оператора на предыдущий элемент. Элементы таких последовательностей часто называют итерациями, а сами последовательности — итерационными. В нашем случае каждая следующая итерация приближается к точному решению (по норме С[О, X]) в асимптотически большое (обратно пропорциональное е) число раз. Поэтому предложенный алгоритм построения последовательности уп(х;£) относится к методу асимптотических итераций (о методе асимптотических итераций см., например, [2, 3]). Построенную итерационную последовательность уп(х;£) будем называть также асимптотической итерационной (или просто асимптотической) последовательностью решения у(х; е) рассматриваемой задачи.

Возможность применения метода асимптотических итераций связана с выполнением условия (3) на коэффициенты щ(х) из правой части исследуемого уравнения. Однако выполнение этого условия открывает путь и для метода пограничных функций (о методе пограничных функций см., например, [4, 5]). Непосредственным сравнением можно убедиться в том, что отклонение уп(х;£) от п-й частичной суммы Уп(х;е) (называемой асимптотикой или асимптотическим приближением

1 Физический факультет МГУ, доц., к.ф.-м.н., е-таП: bukzhalevQmail.ru

п-го порядка) ряда, получаемого с помощью метода пограничных функций, составляет 0(еп+1). Таким образом, сходимость последовательности уп(х;е) делает возможным использование метода асимптотических итераций для обоснования асимптотического разложения, получаемого с помощью метода пограничных функций (т.е. для доказательства того, что разность между Уп(ж;е) и решением у(х;е) составляет 0(еп+1) равномерно по всем ж € [О, X]).

Подчеркнем, что сходимость (при достаточно малых е) асимптотической последовательности уп(х;е) является принципиальным преимуществом метода асимптотических итераций по сравнению с методом пограничных функций, который позволяет построить хоть и асимптотический, но, вообще говоря, расходящийся (в том числе при сколь угодно малых е) ряд. Дело в том, что оценка отклонения уп(х;е) от Уп(х;е), составляющая 0(еп+1), не является равномерной по и, и с ростом п это отклонение может не только не стремиться к нулю, но даже неограниченно возрастать.

Еще одним преимуществом последовательности уп(х; е) является возможность построения всех ее членов без повышения требований гладкости на функции щ(х), Ь(х) и д(и,у,х) (для построения всех уп(х;е) достаточно выполнения условий (2), в то время как для построения всех членов ряда У(х;е) требуется бесконечная дифференцируемость щ(х), Ь(х) и д(и,у,х)).

2. Вспомогательные оценки. Пусть П = П(£). Рассмотрим задачу

ао(х)у + Ь(х) = 0, же [О,X],

П" = о1(0)П' + о0(0)П, £е(0,Х/е], (4)

П(0) = П° = у°^у(0), П'(0) = у1.

Первое уравнение в (4) представляет собой алгебраическое уравнение первой степени для у (ж), а второе уравнение — автономное однородное линейное дифференциальное уравнение для П(£). Пусть

а!(ж) т у/аЦх) + 4а0(ж) Л1)2(ж) = ---, же [О,А].

Тогда решением задачи (4) будут функции у(х) = -Ъ(х)/а0(х),

(ыт^у1 ел1(0) ,+ у^л1(0)п» п(0 = \ л2(0) - Л1(0) +л2(0)^л1(0)е ' А11и,^21и)' (5)

[п°еА(°)« + [у1 - Л(0)П°]СеА(°)«, А^О) = Л2(0) = Л(0).

Заметим, что в силу (3) ИеЛ1)2(ж) < 0 при всех ж € [О,X). Из (5) следует, что при достаточно больших С и С для П(£) и П'(£) справедливы оценки:

|П(С)|, |п'(С)| < + 1)еаеА^ < С, Се [0, +оо). (6)

Сделаем в (1) замену переменной и введем новые функции и г>(£;е):

ж = е£, у(ж;е) = у(С,ж)+ у'(х; е) = £_1П'(£) + е), (7)

где у (С; ж) = у (ж) + П(£). Будем считать, что С в (6) велико настолько, что

\Ж,сО\ ^ Уее (0,+ос), С е [0,Х/е]. (8)

Для г и V как функций от £ получим следующую начальную задачу:

г' = у-у'(еО, Се(0,Х/в], (9)

у' = а1(еОу + + ¡(V, £е(0,Х/е], (10)

г(0;е) = «(0;е) = 0, (И) где функция /(«, г, определена следующим образом:

/(Щ,г,С;е) = е-1{[а1(вС)^а1(0)]П'(С)+[ао(вС)^ао(0)]П(С)}+5(п'(С)+вЩ, у&еО+ег, е^). (12)

Преобразуем уравнение (10), добавив переменную ж в качестве нового параметра:

V = а\{х)у + ао(х)г + [(^(е^) — а\{х)\у + [ао(е£) — ао(ж)]г + /(«, г, е),

(£,ж)е(0,Х/г]х[0,Х].

Задача (9), (11), (13) равносильна системе, состоящей из двух интегральных уравнений

= У - С;®){ [о^еС) - 01(®)]«(С;е) + К«) - а0(ж)]г(С;е) +

о

+/(«(С; е), г(С; г), С; е)} йС, - ^ Фг(£ - С; <*С,

(13)

(14)

о

+/(«(С; е), г(С; е),С;е)} ¿С - J Ф|(С - С; <*С,

о

где (С,ж) € [0,Х/е] х [О,X], а функции Фг, Ф", Ф| и Ф| — компоненты матрицы Коши

соответствующей однородной системы уравнений г' = V, V1 = а\(х)у + ао(х)г.

В силу определения матрицы Коши функции Фг(£;ж) и Ф"(£;ж) как функции от £ являются решениями следующих начальных задач:

(15)

(16)

(Фг)" = а1(х)(Ф"У + а0(ж)Фг, (С,ж) б Ж х [О,X],

Фг(0;ж) = 1, (Фг)'(0;х) = 0, же [О,X],

(Ф")" = а1(х)(Ф'иУ + ао(ж)Ф", (С,ж) б Ж х [0,Х],

Ф"(0; ж) = О, (Ф")'(0; ж) = 1, же[0,1].

Их решениями будут функции

А2(ж)еЛ1^ - Л1(ж)еЛ2(ж)^ фг(С;^) = <( Х2(х)-Х1(х) ' же Ь (17)

[1 ^ А(ж)£]еАМ«, ж а2,

еА2(х)£ _ еА1(ж)^

х € Х1,

Ф"(С;ж) = \ Х2(х)-Х1(х) ' ^ (18)

Хех(хН, х б Л',,.

где множества Х\ и Х2 определяются следующим образом:

Х1 = {х& [0,Х] | Л!(ж) ф Л2(ж)}, Х2 = {ж б [0,Х] | Л!(ж) = Л2(ж) = Л(ж)}.

Из (17) и (18) следует, что Фг,Ф" € С°°'1(Ж х [О,X]). Впрочем, это может быть установлено и без использования явных выражений для Фг(£;ж) и Ф"(£;ж) с помощью теорем о непрерывности и о дифференцируемости по параметру решения начальной задачи.

Замечание. Можно доказать, что Ф|(£;ж) = ао(ж)Ф"(£; ж) при (£,ж) е Ж х [О,X]. Поскольку решение (г, у) системы (14) заведомо не зависит от ж, на место последнего в (14) можно подставить любую функцию от £ и е со значениями на отрезке [О, X]. Полагая в (14) ж =

и вводя обозначения

о

+ [о0(еС) - а0(еО]¿(С; е) + /(«(С; г), ¿(С; г), С; е)} йС, - ^ Фг(£ - С; еОу'Н) <*С,

о

(19)

■ [о0(еС) - ооИ)]«(С; в) + /(«(С; в), г(С; г), С; г)} «¿с - / Ф|(С - С; Ю ¿С

получим уравнения для и г>(£;е), которые можно кратко записать в виде

= {Ме)[г,уШ;е), А(е)[г,уШ;е)] = А(г)М(£;г), (20)

где £ € [0, Х/е]. При каждом фиксированном е € (0, +оо) под областью определения оператора А(е) подразумевается С2[0, Х/е] — пространство двумерных вектор-функций, непрерывных на [0, Х/е]. Таким образом, А(е): С2[0,Х/е] С2[0,Х/е].

Лемма. При всех (£,ж) € [0,+оо) х [О,X] справедливы неравенства:

|Ф<ЧС;ж)| < Се-«, |Ф|(С;ж)| < [«С + |Фг(С;ж)| < N + 1]е"ж«,

< >г: = — тахЫеА2(ж), к = тах|А1(ж)|,

где постоянные х и к положительны.

Доказательство. Положительность ж и к следует из второй теоремы Вейерштрасса. Так как случай А^ж) = А2(ж) = А(ж) (при этом А(ж) заведомо принадлежит Ж) тривиален, то далее на протяжении всего доказательства считаем, что А^ж) ф А2(ж).

Сначала рассмотрим такие ж, при которых А1(ж),А2(ж) € Ж. Используя первую строку из (18) и формулу Лагранжа, для Ф"(£;ж) и ее производной по £ получим

О «С Ф"(£;ж) = ^[а-еОАхМ+^А^Ж ^ <с

|ф^;ж)| = |[(1^02)А1(ж) + 02А2(ж)]С + 1|е[(1"е2)А1(ж)+е2А2(ж)]« <

где = € (0,1). Функции Фг и Ф| оценим с помощью первой строки из (17) и уже устано-

вленной оценки для Ф":

„А2(х)£ _

О < Фг(С;ж) = еА^ - А2(ж) = еА^ - А2(ж)Ф^(£;ж) < («£ + 1)е"^,

А2(ж) - АЦж)

еА2(х)£ _ е\1(х)(,

2

О < -Ф£(£;®) = А1(ж)А2(ж)——--—— = А1(ж)А2(ж)Ф';(С;ж) < к2£е

^ А2(ж) — Ацж)

Рассмотрим теперь такие ж, при которых А1)2(ж) ^ Ж, а значит, А1)2(ж) = р(ж) ^ где

г — мнимая единица. Используя первую строку из (18) и формулу Эйлера, а также учитывая, что в данном случае ЫеА2(ж) = р(ж) и |Л1 (ж) | > |р(ж)|, для Ф"(£;ж) и ее производной по £ получим

д(ж)

|Ф^(с;ж)| = шм<1т+Ф)со*ыхт\ еР(ж), ^ [|р(ж)| с + 1]еР(ж), ^ +

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Ч\х)

Функции Фz и Ф| оценим, используя первую строку из (17), формулу Эйлера, соотношения ЫеА2(ж) = р(х) и | Л1 (ж) | > |р(ж)| и полученную оценку для Ф":

|Фг(С;ж)| =

eAi (хН + еА2 (х'К Хг (ж) + Л2 (ж) ex'¿ (*)« - eAl ^

Л2(ж) - Ai (ж)

= со8[д(ж)С]е^^р(ж)Ф^(С;ж) < (/< + 1)е"ж«,

Л1(ж)Л2(ж)-

эА2(х)£ _ pXi(x)(,

А2(ж) - Ai (ж)

= | Ai (ж) | |Ф"(£;ж)| ^ к

"¿tv-KÍ

Лемма доказана.

Следствие. При всех (£,ж) € [0,+оо) х [О,X] имеют место оценки

|Фг(С;ж)|, |Ф"(С;ж)|, |Ф|(С;ж)|, |Ф|(£;ж)| < («£ + 1)е"ж«,

(21)

ж =

maxRe А2(ж), к = max< тах I Ai (ж) |2 , 1 L [о,х] Iro.xi1 v л I

о,х]

3. Доказательство существования решения. Имеет место следующая Теорема 1. Существуют такие £о > 0 и Со ^ 0, что

А(С0; е): О(0, С0; е) С0; е) Ve € (0, е0],

где 0($, Со;е) — замкнутая Cq-окрестность вектор-функции {z,v} = {0, 0} = ■& в пространстве С2[0,Х/е] :

0(г9,Са;е) = {{z,v} € С2[0,Х/е) \ V£ € [0, Х/е)Ш, «(£)) G ЬС0,+С0]2},

a A(Cq;e) = {Az(Cq; е), АДСо; е)} — сужение оператора А(е) на 0(t?, Со; е).

Доказательство. Зафиксируем произвольные е>ОиСо^Ои подействуем операторами Аг(Со;е) и Av(Co;e) на произвольную вектор-функцию {£(£),«(£)} € 0(t?, Со; е). Учитывая (19) и (21), оценим получившийся результат следующим образом:

AZÍV(Cq;£)[z,V}(0 < e"^(C0/i +/2),

(22)

í

h = I + [|ai(eC)^ai(eC)| + |a0(eC)^a0(eC)|] <¿C,

о

h = I 0 + 1] [|/(^(С,е)^(С,0,С;е)| + |у'Ю1] dC-

норма пространства С[0, X],

2к + >гг

Пусть вг = вг(еС,еО G (0,1)

а = Ца'^ж)!) + ||а[,(ж)||, /3 = а Тогда для интеграла 1\ будем иметь £

УС"

h =

е I е*< [к(С - С)2 + (С - 0] {\a'M(l ~ OiK + + 14(4(1 - воК + Oom}d( €

о

£

^е{|К(ж)|| + 1К(ж)||} I е«с[л($_с)2 + ($_с)] d( =

о

= - 1 - - + Л [е* - 1 - еЦе*. (23)

Пусть 01 = € (0,1), ||-||й — норма пространства С [[—С — 6, +С + 5]2 х [О, X]),

^ = -~^-{\\9ч{и-,У-,х)\\6 + \\ду(и,у,х)\\й^,

7 = ^(^«^[(С2 + С)еЯеА2(0К] + ||$(«,у,аг)||0 + \\у'(х)\

Тогда, используя (12), (6) и (8), для интеграла 12 будем иметь

J е^[«(£-С) + 1] [<%H^iC)l + KHoC)l)(C2 + C)

gRe А2(0)С.

+e|v(C,e)| ЫП'(С) +ев2у(С,е), у((,£() + ee2z((,e), еС)| + |$(П'(С),у(С,O,OI

£

[«(С -0 + 1] d( = - 1 - О + - 1)

о

где С = С{ё) определена следующим образом: С = С a max [(£2 + C)eRe А2(°к] + Сае(\\ди(щ у, ж)||Со£ + \\ду(щу-,х)\\Со£) + \\д(щу,х)\\а + ||у'(®)11 •

Следовательно, для 12 верна оценка

h < [СоеЦСое) + . (24)

Из (22)-(24) следует, что если С0 и е удовлетворяют неравенствам

0<*(С0,г) = С0ф + МСог)] + 7<С'о, (25)

то A(Co;e)[z,v)(0 еО(0,Со;г).

Пусть Со — любое число из (7,4-00). Тогда поскольку 1(Со,е) есть неубывающая функция е и 0 ^ ¿(Со, 0) < Со, то, во-первых, уравнение / (Со, во) = Со имеет не более одного корня причем £о заведомо больше нуля (в случае отсутствия корней считаем, что £о = +оо), и, во-вторых, неравенства (25) справедливы при всех е G (0, во]- Теорема доказана.

Замечание. Из определения е0 следует, что имеет место неравенство

£0 < [Р + ЦСоео)}'1. (26)

Оно формально справедливо и при е0 = +оо, так как уравнение /(Со, е) = Со не имеет корней лишь в случае ¡3 = h(+oo) = 0, т.е. если «о (ж), ai (ж) = const на [О, X], д(и,у, ж) = д( ж) на Ж2 х [О, X].

Пусть для каждого фиксированного положительного е и любых <pi(£) = vi(C)} и ^(С) =

= V2(C)} из Сг[0,Х/е] определено расстояние р£ между срi и *р2:

РЛ<РЪ<Р2) = II ¥>2 - ¥>i|lc2[o,x/e] = max{|z2(C) - zi(£)|, Mí) - vi(£)l}> (27)

s^-a )

где X(e) = [0,X/e\. Заметим, что C2[0,X/e] и 0(i?,Co;e) с так определенным p£ представляют собой полные метрические пространства.

Теорема 2. А(Со;е) — сжимающий оператор при каждом е G (0, £о)-

Доказательство. Пусть р£ — метрика (27) пространства 0($, Со;е). Выберем произвольные функции (ра(0 = ^(í)}; « = 1,2, из этого пространства и, учитывая (19) и (21), оценим расстояние р = ре(А(Со; e)[(pi), A(Cq; е)[(р2)). Полагая

*12(С;г) = (1 - 0ЫС) + (С), V12ÍC;г) = (i - ^)^i(C) + 6v2(Q, в = 0(С;е) е (о, 1),

получим для р следующую оценку:

р = max тах{|Лг(С0;г)Ы(£) - Аг(С0;е)Ы(О|, |Л(С0;г)И(£) - Л(С0;е)Ы($)|| =

= max max-; CGX(e)

о

J|Ф"(С - С; ^({МеСЬ^еСЖ

к о

+ф„(П'(С) + ew12(C; е),у(С, еС) + ^(С; е), е() |} |v2(C) - «i(01 +

+ {|о0(еС) - о0(еС)| + фу(П'(С) + ev12((; е), у((, е() + ez12((; е), еС)|} х

Г )

х 1^2(0 - *i(0|) d(, J - • •) dcj <

о

i

< Ps(v 1, <р2) max [ [«(С - С) + l]{|«i(eC) - ai(e£)| + |o0(eC) " +

J i.

О

+е|д„(П'(С) + ev12{C; е), у((, e()+ez12((; е),е() | +фу(П'(С) + ev12((; е),у((, e()+£z12((; e),efl | J d( <

^ Ps(m^2)e[p + h(CQe)} (28)

(cp. (23) и (24)).

Из (28) и (26) вытекает, что при любом е G (0, во) для коэффициента сжатия к(Со; е) оператора А(Со;е) справедлива оценка:

k(CQ;e)^e[p + h(CQe)} < е[/3 + h(CQeQ)} ^e/eQ<l. (29)

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

Из теорем 1, 2 следует, что к оператору А{С$;е) применима теорема Банаха о неподвижной точке, в силу которой при каждом е € (0, во) существует единственное решение

= задачи (9)—(11) (равносильной уравнению (20)), принадлежащее Со;е). Под-

черкнем, что единственность решения (р(£',е) (при всех е € Ж), причем глобальная (т.е. на множестве [0,Х/е] х Ж2), вытекает непосредственно из условия (2) на функции щ(х), Ь(х) и д(и,у,х).

4. Оценка скорости сходимости итераций. Сжимаемость оператора A(Cq;e) позволяет построить итерационную последовательность = {zn(£; e),vn((t; е)}, сходящуюся по норме

пространства С2[0, Х/е] к точному решению (р(£;е) задачи (9)—(11) при каждом е G (0, во):

\\V ~ fn\\c2[Q,xie] = - Яп(£;е)|, \v(&e) - 0, п ос.

Заметим, что для всякого e'Q из интервала (0, во) сходимость будет равномерной по е на множестве (0,4].

Положим = {0,0}. Поскольку (р(£;е) € 0(i?, Со;е), то

М&е) - ЫС;411с2[о,х/£] = 1ИС;е)11с2[о,х/£] < со Ve G (0,е0). (30)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Далее, для любого натурального п положим

= A(C0;e)[¥>w_i](i;e). (31)

С учетом (29) и (30) для каждого п € {0} U N = No и каждого е G (0, во) будем иметь

- ¥>»»(& e)llc2[o,x/e] < НСо;е)п М&е) - ¥>о(£;е)11с2[о,х/е] < Со(г/гоГ- (32)

Вернемся к задаче (1). Используя (7), построим итерационные последовательности уп(х;е) и ип(х;е) для решения у(х;е) и его первой производной у'(х;е) по формулам:

уп(х;е) = у(х/е,х) + £zn(x/e;£), ип(х; е) = е~1Л'(х/е) + vn(x/e; е), п *Е N0. (33)

При п ^ 1 приближения уп и ип могут быть выражены непосредственно через yn-i и ип-\ следующим образом:

уп(х;е) = у(х/е,х) + eÄz(C0; e)[z„_i, vn-i](x/e; е) = By(e)[yn-Uun-i](x;e), ип(х;е) = е_1П'(ж/е) + ÄV(C0; vn-i](x/e; e) = Bu(e)[yn-Uun-i](x;e),

Zn-= £~ЧУП-- = un_i(e£;e) - e_1n'(C)

(см. (33) и (31)), или кратко:

фп(х;е) = В(е)[фп-i](s;e), фп(х;е) = {уп(х;е),ип(х;е)}, В(е) = {Ву(е),Ви(е)}.

Отметим, что оператор В(е) будет сжимающим при е € (0,во) (т.е. при тех же е, что и А(Со',е)), и что при е G (0, во] для оператора В(е) будет справедливо:

В{е): 0(ф, еСо, CQ) ^ 0(ф,е CQ,CQ),

0(ф, еСо, Со) = |{у, и} G С2[О, X] | Уж G [О, X] у(ж) G [у(х/е, х) — еСо, у(х/е, х) + еСо],

«(ж) G [е_1П'(ж/е) - С0,е^П'^/е) + С0]}.

Здесь через 0(ф, еСо, Со) обозначена замкнутая {еСо, Со}-окрестность вектор-функции ф(х;е) = = {у(х/е, ж), е_1П'(ж/е)} в пространстве С2[0, X].

Оценим точность, с которой уп(х;е) и ип(х;е) приближают у(х;е) и у'(х;е). Используя (33), (7) и (32), для каждого п € No и каждого е G (0, во) получим

||у(х;е) -уп(ж;е)|| = e\\z(x/e;e) - zn{x/е\ е)\\ < е||^(ж/е;е) - е)Ис2[о,х] < Соф/е0)п,

||у'(ж;е) - «п(ж;е)|| = ||у'(ж;е) - е~1Л'(х/е) - «п(ж/е;е)|| = \\v{x/e;e) - vn{x/e;e)\\ <

< ||¥>(®/г;г) - (рп(х/е; е)||С2[0)Х] < С0(е/е0)п. Из этих оценок следует, что при любом фиксированном п

\\у — Уп|| = 0(en+1), ||y'-«J=0(en).

Поскольку норма самой функции у'(х;е) есть О (е-1), то относительная точность, обеспечиваемая функцией ип(х; е), имеет тот же порядок, что и относительная точность, обеспечиваемая функцией Уп(х;е)-

СПИСОК ЛИТЕРАТУРЫ

1. Тихонов А.Н., Васильева А.Б., Свешников А.Г. Дифференциальные уравнения. Курс высшей математики и математической физики. М.: Наука. Физматлит, 1998.

2. К о п а ч е в с к и й Н. Д., СмоличВ.П. Введение в асимптотические методы: Специальный курс лекций. Симферополь: ТНУ, 2009.

3. Боглаев Ю.П., Жданов A.B., Стельмах В.Г. Равномерные приближения к решениям некоторых сингулярно возмущенных нелинейных уравнений // Дифференц. уравн. 1978. 14. № 3. С. 395-406.

4. Васильева А.Б., Бутузов В.Ф. Асимптотические разложения решений сингулярно возмущенных уравнений. М.: Наука. Главная редакция физ.-мат. лит-ры, 1973.

5. Васильева А.Б., Бутузов В.Ф. Асимптотические методы в теории сингулярных возмущений. Актуальные вопросы прикладной и вычислительной математики. М.: Высшая школа, 1990.

Поступила в редакцию 15.03.17

i Надоели баннеры? Вы всегда можете отключить рекламу.