Научная статья на тему 'Асимптотическое решение задачи Дирихле для кольца, когда соответствующее невозмущенное уравнение имеет регулярную особую окружность'

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

CC BY
76
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
АСИМПТОТИЧЕСКОЕ РЕШЕНИЕ / СИНГУЛЯРНО ВОЗМУЩЕННАЯ ЗАДАЧА ДИРИХЛЕ ДЛЯ КОЛЬЦА / МАЛЫЙ ПАРАМЕТР / РЕГУЛЯРНАЯ ОСОБАЯ ЛИНИЯ / ОБОБЩЕННЫЙ МЕТОД ПОГРАНФУНКЦИЙ / ASYMPTOTIC SOLUTION / SINGULARLY PERTURBED DIRICHLET PROBLEM FOR A RING / SMALL PARAMETER / REGULAR SINGULAR LINE / GENERALIZED BOUNDARY FUNCTION METHOD

Аннотация научной статьи по математике, автор научной работы — Турсунов Дилмурат Абдиллажанович, Орозов Максатбек Омурбекович

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

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

Похожие темы научных работ по математике , автор научной работы — Турсунов Дилмурат Абдиллажанович, Орозов Максатбек Омурбекович

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

Asymptotic solution of the Dirichlet problem for a ring, when the corresponding unperturbed equation has a regular special circle

The article investigates the Dirichlet problem in a ring for a linear inhomogeneous second-order elliptic equation with two independent variables. In the equation under consideration, there is a small parameter at the highest derivatives, i.e. at the Laplacian. A solution to the Dirichlet problem for a ring, based on the theory of partial differential equations, exists and is unique. However, attempts to construct an explicit solution to the Dirichlet problem and to determine the dependence of the solution on a small parameter directly failed. It is required to construct a complete uniform asymptotic expansion of the solution of the Dirichlet problem for a ring in powers of a small parameter. The problem under consideration has two features: the first one is a small parameter at the Laplacian and the second one is that the corresponding unperturbed equation has a regular special line. This line is a circle. Therefore, when constructing an asymptotic solution, there appear additional difficulties. The formal asymptotic solution of the Dirichlet problem for a ring is constructed by the generalized method of boundary functions. Using the maximum principle, the constructed formal asymptotic solution is substantiated. The constructed decomposition is asymptotic in the sense of Erdelyi. The results obtained can find applications in continuum mechanics, hydroand aerodynamics, magneto hydrodynamics, oceanology, etc. AMS Mathematical Subject Classification: 35J15, 35J25, 35B25, 35B40, 35C20

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

2020

Математика и механика

№ 63

удк 517.955.8

м8с 35л5, 35:25, 35в25, 35в40, 35с20

б01 10.17223/19988621/63/4

Д.А. Турсунов, М.О. Орозов

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

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

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

Многие физические процессы, связанные с неравномерными переходами, описываются дифференциальными уравнениями с большими или малыми параметрами. Примером, где малый параметр естественным образом находится при главной части дифференциального оператора, является уравнение Шредингера, в котором в роли малого параметра выступает величина кванта действия. Если эту величину устремить к нулю, то некоторые законы квантовой механики переходят в законы классической механики. Кроме того, сингулярно возмущенные дифференциальные уравнения (дифференциальные уравнения с малым параметром при старшей производной) выступают в качестве математических моделей многих задач механики, физики, техники, химии, океанологии и других областей науки [1]. Поэтому построение асимптотических решений сингулярно возмущенных задач представляют теоретический и практический интерес [1-10]. Обычно для построения асимптотических решений сингулярно возмущенных задач применяют либо метод сращивания Ван-Дайка (метод согласования А.М. Ильина), либо метод пограничных функций Вишика - Люстерника - Василевой - Иманалиева, либо метод регуляризации С. А. Ломова и др. Нами в работах [11-16] предложен аналог метода пограничных функций. В данной работе, используя эту идею, построим асимптотику решения нового класса бисингулярных задач, т.е. когда соответствующее невозмущенное уравнение имеет регулярную особую границу - окружность.

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

Рассмотрим задачу Дирихле для кольца

еДу + (р - а)д(ф)-— д(ф)у = /(р, ф), (р, ф) е Б ;

др

у(а,ф,е) = у:(ф), у(Ь,ф,е) = у2(ф), фе [0,2п],

(1)

(2)

где 0 < е - малый параметр, 0 < a, b, - const, D = {((р,ф))| a < p < b, 0 < ф < 2n},

q((p) > 0 фе[0,2п], v = у(р,ф,е), feC( D ), q, укеС[0,2л], к = 1,2, I p=a * 0,

dp IP

фе [0,2п].

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

Докажем вспомогательную лемму. Лемма 1. Задача

(Р- аЖф)- q(ф)z(p, ф) = f (p,ф), (p,ф) е D ; (3)

ф

г(Ь,ф) = ^2(ф), фе [0,2п] (4)

имеет единственное решение, представимое в виде

. . p-a rp f (s,ф) , . p-a

z(p,ф) = 2ds + У2(ф^Т-, (5)

q(ф)Jb (s - a)2 b - a

а также справедливо соотношение

^р,ф) = 00^)(p-a)ln(p-a)+gi(p^), где Qi е Сш (D), Q0eC[0,2n].

Доказательство. Отметим, что уравнение (3) на окружности p = а имеет слабую особенность. Эту окружность назовем регулярно особой окружностью. Уравнение (3) запишем в виде

z (p, ф) J = f (p, ф)

dpi p-a J q^)(p-a)2 '

интегрируя последнее равенство по p, учитывая условие (4), получим равенство (5).

Подынтегральную функцию в (5) запишем в виде

f(s^) = /0(ф)+/ w(s-a)+(s-a)2F(s^), (6)

Здесь F0(a,ф) = F(s,ф) = £ fk(ф)(s-a)k-2, fk(ф) = 15^'ф) |s=a ,к = 0,1,... . k=2 к! 5sk

Учитывая разложение (6) из равенства (5) имеем

p-a fp /0(ф)+fl(ф)(s - a)+(s - a)2 F (s^) p-a

z (Р,Ф) =—-| b—-1-2-ds+4> 2 —=

q^)J b (s-a)2 b-a

p-a., , „ p-a^. м „ ч p-a rp /0(ф)+(s-a)2 F(s^) , 4p-a

fi (ф)ln(p-a) fi (ф)1п(Ь - a)I/-, ds2 (ф)£-.

q(ф) q(ф) q^)Jb (s-a)2 b-a

Если ввести обозначение

Q0 = fl(ф)/q(ф),

ч p-a ,, Ч1 л ч p-a fp /0(ф) + (s - a)2 F(s, ф) , 4p-a

Qi(p,ф) = fi(ф)1п(Ь-a) + Ib v-' V ^ds + у2(ф^т-,

q(ф) q(ф)Jb (s - a)2 b - a

то имеем z(p^) = Qo(ф)(p-a)ln(p-a)+Ql(p,ф). Лемма i доказана.

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

К(р,ф,е) = У0(р,ф)+еУ!(р,ф)+е2У2(р,ф)+...е Ч(р,ф)+... . (7)

Подставляя (7) в уравнение (1), учитывая граничное условие на внешней окружности р = Ь и приравнивая коэффициенты при одинаковых степенях малого параметра е, получаем

ду0(р, ф)

(р - аЖф)----Ч(фН (р, ф) = / (р, ф),

др

(р,ф)еБ, У0(Ь,ф) = у2(ф), фе [0,2п]; (8)

дук (р, ф)

(р - а)Ч(ф)----Ч(ф)ук (P, ф) = -Дук-1 (Л ф),

др

(р,ф)еБ, ук(Ь,ф) = 0, фе[0,2п], кеК (9)

На основании леммы 1, для решения задачи (8) имеем У0(р,ф) = б0(ф)(р-а)1п(р-а)+01(р,ф), где е Сш (Б), 00еС[0,2л]. Отсюда следует, что

Ду0(р,ф) = 0(1/(р-а)), р^а. Из соотношения (9) при к = 1 имеем ду, (р, ф)

(р-а)д(ф)—^--?(ф)У:(р, ф) = -Ду0(р, ф), (р,ф)еБ, У:(Ь,ф) = 0, фе[0,2п].

др

На основании леммы 1, эта задача имеет единственное решение и для решения справедлива асимптотическая оценка

У](р,ф) = 0(1/(р-а)) при р^а,

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

Ду:(р,ф) = 0(1/(р-а)3) при р^а. Из (9) при к = 2 получим

ду2(р, ф)

(р-а)д(ф)----?(ф)у2(р, ф) = -Ду:(р, ф), (р,ф)еБ, у2(Ь,ф) = 0, фе[0,2п],

др

Решение этой задачи существует и для решения справедлива оценка следовательно,

у2(р,ф) = 0(1/(р-а)3) при р^а,

Ду2(р,ф) = 0(1/(р-а)5) при р^а. Аналогично, продолжая этот процесс, получим

ук(р,ф) = 0(1/(р-а)2к-1), р^-а, кеК

Таким образом, внешнее решение (7) можно записать в виде

е ек

V(Л ф, е) = у0 (Л ф) +-у1 (А ф) +... +-^ ук (P, ф) +...,

р-а (р-а)2к 1

где ук (р, ф) е С (Б), к е N.

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

Равномерное асимптотическое решение задачи (1), (2) строим методом [1116], т.е. особенности внешнего решения выбрасываем во внутреннее решение.

Для начала построим формальное асимптотическое решение, которое будем искать в виде

у(р,ф,е) = u(р,ф,е)+w(t,ф,ц), (10)

где t = (р-а)/ц, е = ц2.

Уравнение (1) запишем в виде

ду

еДу + (р - аЖф) -— q(ф)у = / (р, ф) - к(р, ф, е) + к(р, ф, е), (11)

др

ад

где к(р, ф, е) = ^ еккк (р, ф), кк(р,ф) - пока неизвестные функций. С помощью

к=0

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

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

ди

еДи + (р - аЖф) -— q(ф)u = / (р, ф) - к(р, ф, е), др

(р,ф)еБ, и(Ь,ф,е) = у2(ф), фе [0,2п]; (12)

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

д2w дw 2 2 д2V д^ 2ч

--+ цс--+ ц с--+tq(ф)--q(ф)w = к(а + Цф,ц ); (13)

дt2 дt дф2 дt

w(0,ф,ц) = ^1(ф)-и(а,ф,е), w((Ь-а)/ц,ф,ц) = 0, фе [0,2п], (14)

где с = (а+ц)-1, Ь- < с < а4,

Асимптотическое решение задачи (12) ищем в виде

и(р,ф,е) = и0(р,ф)+еи (р,ф)+е2и2(р,ф)+...екик(р,ф)+... . (15)

Подставляя (15) в (12) и приравнивая коэффициенты при одинаковых степенях малого параметра е, имеем

ди0 (р, ф)

(р - аЖф)----q(ф) иа (р, ф) = / (р, ф),

др

(р,ф)еБ, и0(Ь,ф) = у2(ф), фе [0,2п]; (16)

дик (р, ф)

(р - а )q(ф) —---q(ф) и к (P, ф) = ёк (P, ф),

др

(р,ф)еБ, ик(Ь,ф) = 0, фе[0,2п], кеК, (17)

где ёк (P, ф) = -(Дук-1 (P, ф) + кк-1 (P, Ф)), ёк е С^ (Б), к е К .

Решение задачи (16) представимо в виде (5). Дифференцируя, получаем

Ди0 (р, ф) = ^^ + ^^ 1п(р - а) + ? 1(ф) (р - а) 1п(р - а) + и0(р, ф), р-а р р2

где и0 е С(Б).

Пусть к0(р, ф) = - - ^1п(р-1) - ^-^(р-1) 1п(р -1), тогда

р-а р р2

ёl(P, ф) = им ф).

Из (17) при к = 1 получаем

дм, (р, ф)

(р-а)д(ф)—4--?(ф)м,(Р,ф) = 8:(р,ф), (р,ф)еБ, и,(Ь,ф) = 0, фе[0,2п],

дР

Решение этого уравнения, в силу леммы, представимо в виде

1 ?(ф)Jь (, - а)2

Дифференцируя, получаем

А , , Я1,1(ф) , Я1,1(ф^ . . g ц(ф). ... . .

Дм1 (р, ф) _--1--1п(р - а) +--2— (Р - а) 1п(р - а) + М1(Р, ф) ■

р- а р р2

где м е Сш (Б), 8ц(ф) =

д?1(а, ф)

др Пусть

, , , Я1,1(ф) 81,1^. , , Я'и(ф), Ч1 , К (р, ф) =----1п(р - а)--2— (р - а) 1п(р - а),

р-а р р2

тогда 8 2 (р, ф) = ¿1 (р, ф).

Аналогично продолжая этот процесс, получаем:

А . . Як,1(ф) , Як,1(ф^ , , , 8 "к,1(ф), ,,, , , . , ,

Аык (р, ф) _-+-1п(р - а) +---(р - а) 1п(р - а) + мк (р, ф)

р-а р р2

, . . 8к,1 (ф) 8к,1 ОфО, , , 8"к,1(ф), Ч1 , ,

К (р, ф) =----1п(р - а)----(р - а) 1п(р - а),

р-а р р2

где а к е С ш (Б), 8 к ,1(ф) =

8 к+1(Р, ф) = ак (Р, ф): д8к(а, ф)

др

Теперь переходим к решению задачи (13), (14). Пусть

К (а + Ц, ф) _ — Ок (Ц, ф), И

где Ок (И1,ф) = -8к,1 (ф) - с8к,1 (ф)Ц/ 1п Ц - с 8 "к,1 (ф)(И0 1п ^ .

Тогда уравнение (13) можно записать как

д2 м дм дм 22 д2 м ц

д/2 ■ д/ ■ д/ ' дф2 * к_0 Асимптотическое решение задачи (18) - (14) ищем в виде

- +

*7(ф)"Г"?(ф)м _ -цсд7-И2с2—2^^И2кОк(И/,ф). (18)

, ф, ц) (/, ф). (19)

к _0

Подставляя (19) в (18) и учитывая (14) имеем

д2 м0 ц дм0 ц

^ д/2 дг

(/,ф)еБь Мо,ц(0,ф) = у!(ф)-ио(а,ф), Мо,ц((Ь-а)/ц,ф) = 0, фе [0,2п], (20)

^0,ц , 1 дt t

ф)еБь Wl,ц(0,ф) = 0, Wl,ц((b-a)/ц,ф) = 0, фе[0,2п]; (21)

Чц = ^^Т^ + Т °0(Цt, ф) =

, ^2п-1,ц 2 д2^п-2,ц =-с---^ - С Р

дt " дф2 ' (t, ф)еБ1, W2И,ц(0,ф) = -ии(а,ф), W2И,ц((Ь-a)/ц,ф) = 0, фе [0,2п], п е N (22)

, ^2п,ц 2 1Г ( t )

2п+1,ц = -С --С --+ ~ Гп (Ц ^ Ф),

дt дф2 t

(^ ф)еБ1, W2n+l,ц(0,ф) = 0, W2n+l,ц((b-a)/ ц,ф) = 0, фе [0,2п], пеК, (23) где Б1 = {( ^ ф)| 0<<(Ь-а)/ц, 0<ф<2п}. Лемма 2. Решение задачи

Ы = ГкГ(|^,ф), (t, ф)еБ1, w(0,ф) = у(ф), w((Ь-a)/ц,ф) = 0, фе [0,2п], (24) единственно, где Г - непрерывная функция.

Доказательство. Однородное уравнение Ъа> = 0 имеет два независимых решения:

Wl(t,ф) = ^ и w2(t,ф) = t[(Ь-а)/це-^(ф)/2т-2dт .

^ = Г (Ь-а)/ц е-^(ф)/2 т-2 dт-e-t2q(ф)l2t-1 = дt 1

= -е-(Ь-а)2q(ф)/2е-е--q(ф) Г(Ь-а)/цe-2q(Ф)/2dт;

(Ь - а)2 4 ^

= q(ф)e-í ^^(ф^"' 2q (ф)/2 + tq(ф) (^)/1 e-2q(Ф)/v2d т- е"( 2q(Ф)/2t~>)-

дt2

- q(фУ[(Ь-а)/Цe-^2q(ф)/2т-2dт = 0. Отметим некоторые свойства функции W2(t,ф):

W2(0,ф) = 1, w2(t, Ф)^-Т1— e~t2q(ф)/2, t ^ад , w2 е Сад (Б).

'дw.

t2 q(ф)

При фиксированных значениях ф, функция W2(t,ф) убывает [—2 < 0 I. Вронскиан

\ дt )

= e—2q(ф)/2 .

Докажем, что следующее выражение является решением уравнения:

и \ и \ StWl(s, ф)Г(|-, ф) , ^ W2(s, ф)Г(цу, ф) , , Л

w(t, ф) = W2 (t, ф) I -1---ds - Wl (t, ф) I Ь-а —-к-ds + у(ф)W2 (t, ф) .

Проверим граничные условия:

т \ т \Г° Wl(s,ф)Г(|У,ф)

w(0,ф) = w2(0,ф) —---ds -

2 ^ ^^

-Н1(0,ф)+ y(ф)W2(0,ф) = у(ф),

( Ь - а Л ( Ь - а Л г——^5, ф)О(ц,, ф) ,

— I-, ф|_ —2 I -, ф|1 ц 1 , --

I ц V 21ц )3 0

, \ Ь-а . .

( Ь - а и^Г —2(,, ф)О(ц5, ф) , , ч ( Ь-а Л л

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

1—, ф| и —*+^ (ф)м2 2 —, ф| -0.

д— д2—

Теперь вычислим производные ^ 2

д— д—2(/,ф) !•/—1(5,ф)О(ц5,ф) д—1(/,ф) л/ — 2(,,ф)О(ц5,ф) д—2(/,ф)

Ж--4-I Ь-а -7-ds + у(ф)-

■>--с,кш

д/ д/ ;0 д/ ■'— д/ д2 — д2 —2(/,ф) л/—..(5,ф)О(ц5,ф) , О(ц/,ф) , чд2—9(/,ф)

д/2 д/2 ^ 5кГ /к д/2

Подставляя их в уравнение, а потом, упростив, имеем ГкО(ц/,ф) = ГкО(ц/,ф). Нетрудно заметить, что однородное уравнение с однородными краевыми условиями имеет только тривиальное решение. Отсюда следует единственность решения неоднородного уравнения. Лемма 2 доказана.

С помощью этой леммы доказываются существование и единственность решения задач (20) - (23). Решение задачи (20) экспоненциально мало при /^-да, ц^-0, а решения задач (21) - (23) степенным образом убывают при /^-да, ц^-0.

Таким образом, нами определены все члены асимптотических решений и(р,ф,е) и — (/,ф,ц). Теперь оценим остаточный член асимптотического разложения и(р,ф,е)+— (/,ф,ц).

Обоснование разложения. Пусть у(р,ф,е) = уп(р,ф,е)+О(р,ф,е), где

п 2п

Vп (А ф, е) _ X &кик (Р, ф) + X цк—к(/, ф),

к _0 к _0

О(р,ф,е) - остаточная функция.

Тогда для остаточной функции имеем

до

еАО + (р- а)^1 (р, ф) — - ?0(р, ф)О _ 0(вп+1), е^ 0, (р, ф) е Б,

др

О(а,ф,е) = 0, О(Ь,ф,е) = 0, фе[0,2п]. Применяя принцип максимума [17], получаем (р, ф) е Б.

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

Теорема. Для решения задачи (1), (2) справедливо асимптотическое разложение

да да

у(р, ф, е) _ X екик (р,ф) + X екП—к(1,ф), е^0, (р, ф) е Б ,

к _0 к _0

а также предельное равенство

Иш у(р, ф, е) _ У0(р, ф), (р, ф) е {(р, ф) | а < р < Ь,0 < ф < 2п} .

е^0

Заключение

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

ЛИТЕРАТУРА

1. Chang-Yeol Jung and Roger Temam Singularly perturbed problems with a turning point: the noncompatatible case // Analysis and Applications. 2014. V. 12. No 3. P. 293-321.

2. Butuzov V. F. Asymptotic behavior and stability of solutions of a singularly perturbed elliptic problem with a triple root of the degenerate equation // Izvestiya: Mathematics. 2017. V. 81. No 3. P. 481-504.

3. Anastasia-Dimitra Lipitakis The numerical solution of singularly perturbed nonlinear partial differential equations in three space variables: the adaptive explicit preconditioning approach // Modelling and Simulation in Engineering. 2019.

4. Gung-Min Gie, Chang-Yeol Jung, and Roger Temam Recent progresses in boundary layer theory // Discrete and Continuous Dynamical Systems-A. 2014. V. 36. No 5. P. 2521-2583.

5. Levinson N. The first boundary value problem for gAu+Aux+Buy+Cu = D for small 8 // Ann. of Math. 1950. V. 51. P. 428-445.

6. Eckhaus W. Boundary layers in linear elliptic singular perturbation problems // SIAM Review. 1972. V. 14. No 2. P. 225-270.

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

8. Зубова С.П., Усков В.И. Асимптотическое решение задачи Коши для уравнения первого порядка с малым параметром в банаховом пространстве. Регулярный случай // Матем. заметки. 2018. Т. 103. № 3. С. 392-403. https://doi.org/10.4213/mzm11199.

9. Зверяев Е.М. Метод Сен-Венана - Пикара - Банаха интегрирования уравнений в частных производных с малым параметром // Препринты ИПМ им. М.В.Келдыша. 2018. № 83. 19 с. doi:10.20948/prepr-2018-83.

10. Биматов В.И., Савкина Н.В., Фарапонов В.В. Сверхзвуковое обтекание и аэродинамические характеристики острого конуса для различных моделей турбулентной вязкости // Вестник Томского государственного университета. Математика и механика. 2016, № 5(43). С. 35-42. https://doi.org/10.17223/19988621/43/4.

11. Турсунов Д.А. Асимптотика решения задачи Коши при нарушении устойчивости точки покоя в плоскости «быстрых движений» // Вестник Томского государственного университета. Математика и механика. 2018. № 54. С. 46-57 DOI: 10.17223/19988621/54/4.

12. Турсунов Д.А. Асимптотическое решение линейных бисингулярных задач с дополнительным пограничным слоем // Изв. вузов. Математика. 2018. № 3. С. 70-78. DOI: 10.3103/S1066369X18030088.

13. Турсунов Д.А. Асимптотическое решение бисингулярной задачи Робена // Сиб. электрон. матем. изв. 2017. Т. 14. С. 10-21. DOI 10.17377/semi.2017.14.002

14. Турсунов Д.А. Обобщенный метод погранфункций для бисингулярных задач в круге // Тр. ИММ УрО РАН. 2017. Т. 23. № 2. С. 239-249. https://doi.org/10.21538/0134-4889-2017-23-2-239-249.

15. Турсунов Д.А. Асимптотическое разложение решения обыкновенного дифференциального уравнения второго порядка с тремя точками поворота // Тр. ИММ УрО РАН. 2016. Т. 22. № 1. С. 271-281.

16. Турсунов Д.А. Эркебаев У.З. Асимптотическое разложение решения задачи Дирихле для кольца с особенностью на границе // Вестник Томского государственного университета. Математика и механика. 2016. № 1(39). С. 42-52. DOI 10.17223/19988621/39/5.

17. Гилбарг Д., Трудингер Н. Эллиптические дифференциальные уравнения с частными производными второго порядка. М.: Наука, 1989. 464 с.

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

Tursunov D.A., Orozov M.O. (2020) ASYMPTOTIC SOLUTION OF THE DIRICHLET PROBLEM FOR A RING, WHEN THE CORRESPONDING UNPERTURBED EQUATION HAS A REGULAR SPECIAL CIRCLE. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 63. pp. 37-46

DOI 10.17223/19988621/63/4

Keywords: asymptotic solution, singularly perturbed Dirichlet problem for a ring, small parameter, regular singular line, generalized boundary function method.

The article investigates the Dirichlet problem in a ring for a linear inhomogeneous second-order elliptic equation with two independent variables. In the equation under consideration, there is a small parameter at the highest derivatives, i.e. at the Laplacian. A solution to the Dirichlet problem for a ring, based on the theory of partial differential equations, exists and is unique. However, attempts to construct an explicit solution to the Dirichlet problem and to determine the dependence of the solution on a small parameter directly failed. It is required to construct a complete uniform asymptotic expansion of the solution of the Dirichlet problem for a ring in powers of a small parameter. The problem under consideration has two features: the first one is a small parameter at the Laplacian and the second one is that the corresponding unperturbed equation has a regular special line. This line is a circle. Therefore, when constructing an asymptotic solution, there appear additional difficulties. The formal asymptotic solution of the Dirichlet problem for a ring is constructed by the generalized method of boundary functions. Using the maximum principle, the constructed formal asymptotic solution is substantiated. The constructed decomposition is asymptotic in the sense of Erdélyi.

The results obtained can find applications in continuum mechanics, hydro- and aerodynamics, magneto hydrodynamics, oceanology, etc.

AMS Mathematical Subject Classification: 35J15, 35J25, 35B25, 35B40, 35C20

Dilmurat A. TURSUNOV (Doctor of Physical and Mathematical Sciences, Osh State University, Kyrgyzstan). E-mail: [email protected]

Maksatbek O. OROZOV (PhD-student, Osh State University Osh, Kyrgyzstan) E-mail: [email protected]

REFERENCES

1. Chang-Yeol Jung and Roger Temam (2014) Singularly perturbed problems with a turning point: the noncompatatible case. Analysis and Applications. 12(3). pp. 293-321.

2. Butuzov V.F. (2017) Asymptotic behavior and stability of solutions of a singularly perturbed elliptic problem with a triple root of the degenerate equation. Izvestiya: Mathematics. 81(3). pp. 481-504.

3. Anastasia-Dimitra Lipitakis (2019) The numerical solution of singularly perturbed nonlinear partial differential equations in three space variables: the adaptive explicit preconditioning approach. Modelling and Simulation in Engineering. DOI: https://doi.org/10.1155/ 2019/5157145

4. Gung-Min Gie, Chang-Yeol Jung, and Roger Temam (2014) Recent progresses in boundary layer theory. Discrete and Continuous Dynamical Systems-A. 36(5). pp. 2521-2583.

46

M-A. TypcyHOB, M.O. 0p030B

5. Levinson N. (1950) The first boundary value problem for 8Au+Aux+Buy+Cu = D for small 8. Ann. of Math. 51. pp. 428-445.

6. Eckhaus W. (1972 ) Boundary layers in linear elliptic singular perturbation problems. SIAM Review. 14(2). pp. 225-270.

7. Il'in A.M. (1989) Soglasovanie asimptoticheskikh razlozheniy kraevykh zadach [Matching of asymptotic expansions of boundary problems]. Moscow: Nauka.

8. Zubova S.P., Uskov V.I. (2018) Asymptotic solution of the Cauchy problem for a first-order equation with a small parameter in a banach space. The regular case. Math Notes. 103. pp. 395-404. D01:10.1134/S0001434618030069.

9. Zverayaev E.M. (2018) Metod Sen-Venana - Pikara - Banakha integrirovaniya uravneniy v chastnykh proizvodnykh s malym parametrom [The Saint-Venant-Picard-Banach method of integrating partial differential equations with a small parameter]. Keldysh Institute preprints. 83.

10. Bimatova V.I., Savkinaab N.V., Faraponova V.V. (2016) Sverkhzvukovoye obtekaniye i aerodinamicheskiye kharakteristiki ostrogo konusa dlya razlichnykh modeley turbulentnoy vyazkosti [Supersonic flow over a sharp cone and its aerodynamic characteristics for different models of turbulent viscosity]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 5(43). pp. 3542. https://doi.org/10.17223/19988621/43Z4.

11. Tursunov D.A. (2018) Asimptotika resheniya zadachi Koshi pri narushenii ustoychivosti tochki pokoya v ploskosti «bystrykh dvizheniy» [Asymptotics of the Cauchy problem solution in the case of instability of a stationary point in the plane of "rapid motions"]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 54. pp. 46-57. DOI: 10.17223/19988621/54/4.

12. Tursunov D.A. (2018) Asymptotic solution of linear bisingular problems with additional boundary layer. Russian Mathematics. 62(3). pp 60-67. DOI: 10.3103/S1066369X18030088.

13. Tursunov D.A. (2017) Asimptoticheskoye resheniye bisingulyarnoy zadachi Robena [The asymptotic solution of the bisingular Robin problem]. Siberian Electronic Mathematical Reports. 14. pp. 10-21. DOI 10.17377/semi.2017.14.002.

14. Tursunov D.A. (2017) Obobshchennyy metod pogranfunktsiy dlya bisingulyarnykh zadach v kruge [The generalized boundary function method for bisingular problems in a disk]. Trudy Inst. Mat. i Mekh. UrO RAN. 23(2). pp. 239-249. https://doi.org/10.21538/0134-4889-2017-23-2-239-249.

15. Tursunov D.A. (2016) Asimptoticheskoye razlozheniye resheniya obyknovennogo differentsial'nogo uravneniya vtorogo poryadka s tremya tochkami povorota [Asymptotic expansion for a solution of an ordinary second-order differential equation with three turning points]. Trudy Inst. Mat. iMekh. UrO RAN. 22(1). pp. 271-281.

16. Tursunov D.A., Erkebaev U.Z. (2016) Asimptoticheskoye razlozheniye resheniya zadachi Dirikhle dlya kol'tsa s osobennost'yu na granitse [Asymptotic expansion of the solution of the Dirichlet problem for a ring with a singularity on the boundary]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 1(39). pp. 42-52. DOI: 10.17223/19988621/39/5.

17. Gilbarg D., Trudinger N.S. (1983) Elliptic Partial Differential Equations of Second Order. Berlin; Heidelberg; New York; Tokyo: Springer-Verlag .

Received: November 4, 2019

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