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

2015 Математика и механика № 3(35)

УДК 517.955.8

Б01 10.17223/19988621/35/4

Д.А. Турсунов, У.З. Эркебаев

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

Доказана возможность применения метода пограничных функций для построения равномерного асимптотического разложения решения задачи Дирихле для бисингулярно возмущенного эллиптического уравнения, когда предельное уравнение является дифференциальным уравнением первого порядка с особыми точками, причем в этих точках условие теоремы А.Н. Тихонова не выполняется. Получена оценка остаточного члена, т.е. обосновано формальное асимптотическое разложение решения исследуемой задачи.

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

Постановка задачи

Рассмотрим задачу Дирихле для бисингулярно возмущенного эллиптического дифференциального уравнения

еДи - (1-х2) ыу = /(х,у), (х,у)еБ = {(х,у)|у > х2-1,у < 0}; (1)

и|Г = у(х,у), Г = дБ, (2)

д 2 д2

где Д = —- +--- - оператор Лапласа, и = и(х,у,е), у(х,у), /(х,у) е Ст'т)(П),

дх2 ду2

0 < е << 1 - малый параметр, Г = дБ - граница области Б.

Сначала покажем бисингулярность задачи (1), (2). Первая сингулярность - решение предельного уравнения

-(1-х2) Иу = /(х,у)

не может удовлетворять граничному условию (2). Чтобы показать вторую особенность (сингулярность), рассмотрим структуру внешнего разложения решения задачи (1), (2), которое ищем в виде

V = ЕеЧ (х,у), при е^0. (3)

к=0

Подставляя (3) в (1) и приравнивая коэффициенты при одинаковых степенях е, получим рекуррентную систему дифференциальных уравнений:

-(1 - х2) ^ЦМ = /(х,у), ду

2 ду, (х, у) (1 - х2) к К = Д %- (х,у), кеК. ду

Отсюда определяем vk (x, y):

1 y

v0 (x,y) =--^ I f (x,s)ds + ^(x,x2 -1),

1 — x 2 Л

x* —1

y

1

vk (xy) =-7 I Avk—1 (xs)ds , keN-

1 — x 2 2

Заметим, что \>к (х,у) е С(ш,ш) (В \ (±1,0)), т.е. в точках (1,0) и (-1,0) все эти функции \>к (х, у) имеют нарастающую особенность вида

ук (х,у) = 0(1/(1-х2)1+3к), к = 0,1,2,... .

(Термин нарастающая особенность означает, что с увеличением номера к растет и особенность (порядок полюсов) функции \>к (х, у).) Внешнее решение имеет вид

( ( _ Лт Л

V =

1

(1 — x2)

—f (x, y ) +

(1 — x2)-

-F (x, y)+ ... +

(1 — x2 )

Fm ^ y) +...

при е^-0,

где Рк (х,у) е С(ш,ш) (В), кеЯ.

Поэтому задача (1), (2) является бисингулярной - коэффициенты ее внешнего разложения имеют нарастающие особенности в точках (1,0) и (-1,0). В окрестности этих точек ряд (3) не только не приближает решение и(х,у,е), но даже теряет асимптотический характер [1].

Построение формального асимптотического разложения

Для построения формального асимптотического разложения (ФАР) решения задачи (1), (2) применяем модифицированный метод погранфункций [2, 3]. Этим же методом в работах [4, 5] исследованы бисингулярно возмущенные эллиптические уравнения, в которых предельное уравнение не является дифференциальным уравнением.

Решение задачи (1), (2) будем искать в виде

где

и(х,у,е) = V(x,y,e) + П(х,т,е) + W(n,y,|a) + 6(C,y,^),

V (x,y, е)=£е\ (x,y)

k=0

(4)

- регулярное внешнее решение;

n(x,т,е) = nk (x,т)

k=0

- классическая пограничная функция;

ад со

w (п, У, ц) = X ^Ч (n,у), Q (Z,У, ц) = X Ak (Z, У)

k=—1 k=—1

- обобщенные пограничные функции; т = y/е, n = (1-x)/^, Z = (1+x)/|J, е = ц3.

Учитывая граничное условие (2), имеем

V (л ^е) у=х2 _1= х2 -1);

П(х,т,е)|х=0 = у(х,0)-К(х,0,е), П(х,т,е)—0, при т—-ю; ^(0,0,„) = 0, ^(п,у,„) —^0, при п—+ю;

е(0,0,ц)=0, е(с,у,ц) —0, при с—+ю. Подставляя (4) в (1), получим

!>'+'Д1к (х,у)_(1 _х2)|>кМ+

к=0

к=0

уек+1 [ д Пк (^ Т) + д 2 Пк (^ Т) |_(1 _ х2 ))Юек дпк (х Т)

¿0 дх2 е2дт2 М к едт

к=0 у ил ь ис у к=0

ю я2,,, .Л я.,, .Л я2,,, /„

к+1

к=-1

ю

к=-1

д 2 (Пу)-п(2+ „2 д 2 (Пу)

V 2

дп2

ду

ду

2

к+1

д2Чк (С, у) дС2

_С(2-„С)

д% (Су) + „2 д2 (Су)

ду

ду 2

(5)

(6)

(7)

(8)

= / (х, у )-£е кК (х, у ) + £„3Ч (х, у).

к=0 к=0

(9)

По идее метода, мы в правую часть последнего равенства ввели новую, пока

ю

неизвестную функцию ^ екНк (х, у), функции кк(х,у) конкретизируются ниже.

к=0

Регулярное внешнее решение

Из (5) и (9) для функции ук(х,у) имеем

£ек ^-1 (х,у)-(1 -х2+ К (х,у)

к=1

-(1 - х'2)

дУ) (ху) ду

= /(ху)-(ху),

(х у)у=х2-1 = х2 -1)Ук (x,У)

у= х2 -1

= 0, кеК.

Отсюда получим

-(1 -х2)0 ду у) = /(х,у)-И0 (х,у), У0 (х,у)у=х2-1 = у(х,х2-1); (10) ( - х2 = Д"к-1 (х,у) + (х, у), "к (х, у)

у=х2-1

= 0, кеК. (11)

Решения задач (10), (11) имеют соответственно вид

1 у

>(ху) = -7-^ [ (/(x,5)-к0 (x,5)) + v(x,х2 -1),

(1-х2 ))-1

1 у

Ч (ху) = -Т,-п ] (-1(x, 5) + ьк (x,5).

(1 - х )х2 -1

Пусть gk(x, у) = -ДУк-1 (х,у),

тогда ук (х, у) е С(да,да) (В), к = 0,1,...,

при ^(х,у) = (/(1,у)(1+х)+/(-1,у)(1-х))/2,

Нк(х,у) = (gk(1,y)(1+x)+ gk(-1,y)(1-x))/2, кеК. Таким образом, мы построили регулярное внешнее решение:

7 (1, 5 )(1 + х) + / (-1, 5 )(1 - х)

К(х,у,в) = у(х,х2 -

- / (х, 5+

+ Ёек } ( gk (x, 5 )-

к=1

gk (1, 5 )(1 + х) + gk (-1, 5 )(1 - х)

сЬ

Классическая пограничная функция

Из (6) и (9) для функции пк(х,т) имеем

/ - 2хдД0Сх,Г^Л +-(1 -х2

Зт2 V ' дт ^ ^ Зг2 1 ' дт

ГЗ^^кС^!^)Л - х2 ) (x, т) + З 2 пк-2 (х т)

^ Я-г-2 V / ЗГ я„2

дт

Зт2

дт

дх2

= 0,

Отсюда

к=2 V

п0(х,0) = |(х,0)-у0(х,0), пк(х,0) = -ук(х,0), кеК; пк(х,т) ^ 0 при т ^ -да, к = 0,1,2,... .

/ п0 ^ 2п° (2х, т)-(1 - х2 ) (х, т) = 0,

0 Зт2 1 ' Зт '

п0(х,0) = |(х,0)-у0(х,0), л0(х,т)^0, при т^-да; /П = 0, Я1(х,0) = -У1(х,0), Л1(х,т)^0, при т^-да;

1 Пк =

З2Пк-2 (^т)

Зх2

(12) (13)

пк(х,0) = -ук(х,0), лк(х,т)^0, при т^-да, к>1. (14)

Задачи (12) - (14) имеют единственные решения, представимые соответственно в виде

п0 (х,т) = (|(х,0)- у0 (х,0))) х )т ,

/ , / , (1-х2 )т

п1 (х,т) =-у1 (х,0' , (1-х2 )т

Пк (^ т) = ^ ; ( (х,0) + тРк (x,т)), к >1, Рк(х,т)- ограниченная, гладкая функция.

Обобщенные пограничные функции

ю

Функцию X екИк (х, у) представим в виде

(е

к=0

X еЧ (х,у) = X „3Чк (х,у) + X „3Чк (х,у),

к=0 к=0 к=0

где V (х,у) = /(1,у)-/(1,у) + Хек [Як (1,у)-^Як (1 у),

^ (х,у) = /(-1,у)-^/(-1,у) + Хек [Як (-1,у)-^Як (-1,у) . Из (7) и (9) для функции ^к(п,у) имеем

^ к+1 (д2Щ (п,у) ( )д^к (п,у) 2 д^к (п,у)| ^ 33 ( ) Х„к+1 -кЛ^1 - п (2-„п) к д +„2-кГ^1 =Х„3к (1п,у),

к=-1 У дп ду ду у к=0

^к(0,0) = 0, wk(п,у) —0, при п—+ю.

Отсюда получим

д2w 1 (п, у) дw 1 (п, у) , ч ¿w_ 1 .--^Ш- - 2п "дЬЛ= / (1, у),

дп2 ду

w-'(0,0) = 0, w-'(п,у) —0, при п—+ю; (15)

0 2 дп2

Wo(0,0) = 0, Wo(п,у) —0, при п—+ю; (16)

Ьм! =-п2 дwo (п, у)

1 ду ду2 '

W'(0,0) = 0, W'(п,у) —0, при п—+ю; (17)

^ - у + Як (1, у),

ду ду2

Wзk-'(0,0) = 0, Wзk-'(п,у) —0, при п—+ю, кеК; (18)

п^ дw3k , (п, у) ,, Л д2w3k-2 (п, у)

^ =-2 [ 2п 3кд; + Як (1,у )--^^ ,

w3k(0,0) = 0, w3k(п,у) —0, при п—+ю, кеК; (19)

Ти) = п2 дwзk (пу) д2^к-1 (п,у)

^3к+1 = -п -т---—2-,

ду ду2

Wзk+'(0,0) = 0, Wзk+'(п,у) —0, при п—+ю, кеК. (20)

Все эти задачи имеют единственные решения, удовлетворяющие заданным граничным условиям. Задачи такого типа встречаются в задачах диффузионного пограничного слоя [6].

Действительно,задачу

ЗМпъу) - =ф(п, у),

Зп2 Зу

щ(0,0) = 0, щ("л,у) —^0, при п—+да с помощью преобразования t = 9у/8, х = п32 можно привести к уравнению

^ (г I) = +.1^ (z, t)__ф(г t)

Й д!2 Зг ^ '

щ(0,0) = 0, щ(г^) —0, при г—+да, которое имеет решение [6]

г2+Е2

2 t да 71/3 Г Л

«<--,t) = -2({ф(5,т)^ *-"/,/3 (^*т,

где /шС?) - модифицированная функция Бесселя.

Асимптотическое поведение решения задач (15) - (20) при п — +да, можно определить с помощью ряда:

(п,у) = ^МуЦ^^... (21)

П п2 п"

Подставляя (21) в (15), имеем

{Му)+...+"("+1)а"(у)} - 2п{а1М+...+}=/пу ).

I П3 п"+2 п ц" )

Отсюда

^ (п, у )=^+^+...++..., ц п4 П

где а 1 (у) = - / (1, у)/2, а ^ (у) = (3" - 2)(3" -1) ^ (у),

а3"-1 (у) = аЪп(у) = 0, пеК. Для решения задач (16) - (20) получим

Щ0 (пЪу) = О [П-), Щ (ТЪу) = О ^), ^3к-1 (гь у) = О [П

^3к (пъ у) = О ), Щ3к+1 (пъ у) = О [^т ), кеК.

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

У к, щк(п, у)—0 при п—+да; Щк(ц,у)еСда(В), к = -1,0,1,.. Аналогично, из (8) и (9) для функции дк(^,у) получим

к=-1 V ЗС Зу ду ) к=0

Мк(0,0) = 0, Мк(С,у) —0 при с—+да.

Отсюда имеем

pql ,д 2 ^ 1&у) - = / (-1, у),

^ дС2 ду

q-' (0,0) = 0, q-'(C,у) —0, при С—+ю;

Pqo = , qo(0,0) = 0, qo(C,у) —0, при С—+ю;

2 д^2

'2 дqo (Су) д2q-' (Су)

Pq' = -с2 Ч ' — Ч2 , q'(0,0) = 0, ^(С,у) —0, при с—+ю;

ду ду2

Pqзk-1 =-С 2 ^^^ -д 2 ^ у) + Як (-1, у ), ду ду2

qзk-'(0,0) = 0, qзk-'(C,У) —0, при С—+ю, кеК;

Pqзk = -2(+ Як (-1,у,

qзk(0,0) = 0, qзk(C,У) —0, при С—+ю, кеК;

Рч 2 ^Чу)

3к+1 ду ду2 '

qзk+'(0,y) = 0, qзk+'(C,У) —0, при С—+ю, кеК. Асимптотическое поведение решения этих задач при +ю имеет вид

qзk-1 (С, у) = О |, qзk (С,у) = О ^|, qзk+1 (С, у) = О ^^ , к = 0,1,2,....

Обоснование ФАР решения задачи (1), (2)

Пусть Я(х,у,е) = и(х,у,е)-ип(х,у,е),

п п 3п 3п

где ип(х,у,е) = Хекук(x,у)+ХекПк(x,т)+ X „Ч(п,у)+ X „ЧЧу),

к=0 к=0 к=-1 к=-1

Я(х,у,е) - остаточный член.

Тогда для Я(х,у,е) получим задачу:

еДЯ-(1-х2)Яу = О(еп+2/3), Я|Г = О(еп+1). Из принципа максимума следует, что

Я = 0(еп+уз).

Нами доказана

Теорема. Если /(х,у)еСю,ю)(Б ), /(±1,у)^0, тогда для решения задачи (1), (2) справедливо равномерное асимптотическое разложение

и(х,у,е) = XеkVk (x,у) + XекПк + X ек/3Wk {^,у| + X екЧк ^,у)

к=0 к=0 у еу к=-1 у к=-1 )

при е—0.

Заключение

Построено равномерное асимптотическое разложение решения задачи Дирихле для бисингулярно возмущенного эллиптического уравнения с граничными особыми точками, когда соответствующее невозмущенное уравнение имеет простые точки поворота на границе области. Главный член асимптотики решения имеет отрицательную дробную степень по малому параметру. Построенная равномерная асимптотика решения поставленной задачи не улучшаемая.

ЛИТЕРАТУРА

1. Ильин А.М. Согласование асимптотических разложений краевых задач. М.: Наука, 1989. 334 с.

2. Alymkulov K. Analog of method of boundary layer function for the solution of the Lighthill's model equation with the regular singular point // American Journal Math. & Statistics. 2013. V. 3. No. 1. P. 53-61.

3. Алымкулов К., Асылбеков Т.Д., Долбеева С.Ф. Обобщение метода погранфункций для решения краевой задачи для бисингулярно возмущенного дифференциального уравнения второго порядка // Математические заметки. 2013. Т. 94. Вып. 4. С. 484-487.

4. Турсунов Д.А. Асимптотическое разложение решения бисингулярно возмущенного эллиптического уравнения // Вестник Томского государственного университета. Математика и механика. 2013. № 6(26). С. 37-44.

5. Турсунов Д.А. Асимптотика решения бисингулярно возмущенного эллиптического уравнения. Случай особой точки на границе // Известия Томского политехнического университета. 2014. Т. 324. № 2. С. 31-35.

6. Полянин А.Д. Справочник по линейным уравнениям математической физики. М.: Физ-матлит, 2001. 576 с.

Статья поступила 27.10.2014 г.

Tursunov D.A., Erkebaev U.Z. ASYMPTOTIC EXPANSION OF THE SOLUTION OF A PERTURBED ELLIPTIC EQUATION WHEN THE LIMIT EQUATION HAS SINGULAR POINTS

DOI 10.17223/19988621/35/4

The classical method of boundary functions is used to construct asymptotic expansions of solutions of perturbed Prandtl-Tikhonov type equation in the case of the exponential asymptotic stability of solutions of the equation in the fast variable, i.e. when the condition of A.N. Tikho-nov's theorem is satisfied. When this condition is not satisfied, the boundary functions method cannot be applied directly. For this reason, in such cases, many researchers previously used the Van Dyke matching principle. But the disadvantage of the method of matching is that the formal asymptotic expansion of the solution constructed by matching cannot be justified is all cases. We have proved the possibility of applying the method of boundary functions for constructing a uniform asymptotic expansion of the solution of the Dirichlet problem for the bisingular perturbed elliptic equation when the limit equation is the first order differential equation with singular points, and the condition of A.N. Tikhonov's theorem is not satisfied at these points. An estimate of the remainder term has been obtained, i.e., the formal asymptotic expansion solution of the problem has been justified. The uniform asymptotic expansion of the solution of the problem we have constructed consists of four solutions: the regular (smooth) external solution, the classical boundary layer solution, and two generalized boundary layer solution. The regular external part of the solution satisfies the boundary condition, and this solution has no singularities, i.e. is an everywhere smooth function. The classical boundary layer solution satisfies the second part of the boundary condition, and tends exponentially to zero outside the border inside the area. The generalized boundary functions satisfy the boundary condition at the singular points, and have the power damping property outside the singular points inside the region.

Keywords: asymptotic, solution, bisingular perturbed, elliptic type equation, singular point, Dirichlet problem, generalized method of boundary functions, boundary function, small parameter.

34

M-A. TypcyHOB, y.3. Эрке6аев

TURSUNOVDilmuratA. (Doctor of Physics and Mathematics,

Ural State Pedagogical University, Yekaterinburg, Russian Federation)

E-mail: d_osh@rambler.ru

ERKEBAEV Ulukbek Zairbekovich (Osh State University, Osh, Kyrgyzstan)

E-mail: uluk3188@mail.ru

REFERENCES

1. Il'in A.M. Soglasovanie asimptoticheskikh razlozheniy kraevykh zadach. Moskow, Nauka Publ., 1989. 334 p. (in Russian)

2. Alymkulov K. Analog of method of boundary layer function for the solution of the Lighthill's model equation with the regular singular point. American Journal Math. & Statistics, 2013, vol. 3, no. 1, pp. 53-61.

3. Alymkulov K., Asylbekov T.D., Dolbeeva S.F. Obobshchenie metoda pogranfunktsiy dlya re-sheniya kraevoy zadachi dlya bisingulyarno vozmushchennogo differentsial'nogo uravneniya vtorogo poryadka. Matematicheskie zametki, 2013, vol. 94, no. 4, pp. 484-487. (in Russian)

4. Tursunov D.A. Asimptoticheskoe razlozhenie resheniya bisingulyarno vozmushchennogo el-lipticheskogo uravneniya. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika, 2013, no. 6(26), pp. 37-44. (in Russian)

5. Tursunov D.A. Asimptotika resheniya bisingulyarno vozmushchennogo ellipticheskogo uravneniya. Cluchay osoboy tochki na granitse. Izvestiya Tomskogo politekhnicheskogo univer-siteta, 2014, vol. 324, no. 2, pp. 31-35. (in Russian)

6. Polyanin A.D. Spravochnik po lineynym uravneniyam matematicheskoy fiziki. Moskow, Fiz-matlit Publ., 2001. 576 p. (in Russian)