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

Онлайн-доступ к журналу: http://mathizv.isu.ru

Серия «Математика»

2017. Т. 21. С. 108-121

УДК 517.928 MSG 34Е20

DOI https://doi.org/10.26516/1997-7670.2017.21.108

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

Д. А. Турсунов, К. Г. Кожобеков

Огиский государственный университет

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

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

1. Введение

Особый интерес в теории сингулярно возмущенных дифференциальных уравнений представляют задачи с точками поворота или задачи с нестабильным спектром. Для построения асимптотических решений подобных задач разработаны различные методы. Различные задачи с точками поворота исследованы в работах [1] [9], [11]—[16] и др. Наша цель разработать более простой алгоритм (метод) построения равномерных асимптотических разложений решений сингулярно возмущенных задач с особенностями. В данной работе, модернизируя идею предложенную в [1; 8], строятся равномерные асимптотические разложения решений задач Коши и Дирихле с не целой, т. е. дробной точкой поворота.

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

Рассмотрим бисингулярную задачу Коши

еу'£(х) + л/хуе{х) = /(ж), 0 < ж < Т, (2.1)

Уе{ о) = У°, (2.2)

оо

где 0 < е — малый параметр, / € С°°[0, Т], /(ж) = ^ fkXk, ж —> 0, Д =

к=О

f{k\0)/k\, /о ф о, Т, у0-const.

Задача (2.1)-(2.2) имеет единственное решение:

уе(х) = + I Г e<^-^)':ief{s)ds. (2.3)

£ Jo

Требуется построить равномерное асимптотическое разложение решения уе(х), е —> 0 на отрезке х € [0, Т]. Решение соответствующего невозмущенного уравнения (е = 0)

Уо(х) = М,

не удовлетворяет начальному условию и не является гладкой функцией на отрезке [0, Т].

Определение 1. Ряд

оо

Ye(x) = Y,zkVk(x) (2.4)

к=О

называется стандартным (классическим) внешним асимптотическим разложением решения задачи (2.1)-(2.2).

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

Vxyo(x) = f(x), y'k-i(x) + Vxyk(x) =0, к € N.

Из этой системы последовательно определяем неизвестные ук(х):

Уо(х) = f(x)/y/x, ук{х) = -у'к-i(x)/Vx, keN.

Заметим, что функции Ук(х) имеют нарастающие особенности:

ук{х)=о(х-^к+1^2), х^О, к G Nq = {0,1,2,...}.

Ряд (2.4) является асимптотическим только при х € (Т] и теряет асимптотический характер когда х € [0, Точка Хо = является особой точкой.

Следовательно, задача (2.1)-(2.2) является бисингулярной [5], [6]. Для построения равномерно пригодного асимптотического разложения применяем идею [1], [8]-[9] с модификацией.

Построение асимптотического решения. Формальное асимптотическое решение задачи (2.1)-(2.2) будем искать в виде:

оо оо

уе(х) = ^еЧ(ж) + Afc(i), (2.5)

к=0 к=-1

оо

где t = х/ц2, ¡j? = е, £kVk{x) — модифицированное внешнее реше-

к=о

ние, без особенностей в нуле.

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

еу'е{х) + л/хуе{х) = f{x) - he{x) + he(x), 0 <х <Т, (2.6)

где he{x) = h0+£^ + ... + £2nh2n + e2n+l^L + ... , hk _ пока неизвестные постоянные.

Подставляя (2.5) в (2.6) имеем:

оо оо

£k{v'k-l{%) + VxVk(x)) + Vxvo(x) + + Vt7Tk-i(t)) =

k=1 k=0

= f(x) - he(x) + h£{x).

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

оо

^£k(v'k_1(x) + Vxvk(x)) + Vxvo(x) = k= 1

oo ^ oo

jx

k=0 v k=0

АСИМПТОТИКА РЕШЕНИЯ СВУ С ДРОБНОЙ ТОЧКОЙ ПОВОРОТА 111 оо оо оо

J>fc(4_!(i) + vWi(*)) = ЕЛ* + -= J>6fc+%fc+1. (2.8)

к=0 к=О v к=О

Из равенства (2.7) имеем:

v0(x) = ~^=(f0(x) - h0), vi(x) = —]=(v'0(x) + 4L),

л/Ж л/Ж V л/Ж /

^2п(ж) =--^(^2Т1_1(ж)+/г2п), V2n+l(x) =--i=(v'2n(x) + h2n/±1\ П € N.

л / Ж л / Ж V л / Ду /

И здесь неизвестные коэффициенты hk выбираем так, чтобы

V2k(x) = V^V2k(x), v2k е С°°[0,Т], v2fc+1 € С°°[0,Т], к € Пусть

ho = /о, Л-2П = = - lim y/xv'2n_2(x), пе N,

x—tO

тогда, имеем:

оо ОО . „ч

fc=0 fc=0 ^ ' оо оо

^2п(ж) = ^У2п,кХк+1/2, V2n+1(x) = ^2v2n+1}kXk, X 0. fc=0 fc=0

Заметим, что V2n(0) = 0, п G No-

Таким образом, мы определили все функции vk(x) и коэффициенты

hk-

Из (2.8), учитывая начальное условие (2.2) и г>2п(0) = 0, n € iVo, имеем:

/7r6fc_i = 7T6fc_1(i) + Vt7r6k-i(t) = h2k, 7r6fc_i(0) = 0, к € (2.9)

¿vr6fc+i = 7r6fc+i(0) = 0, к e N0; (2.10)

¿7r6fc+i = 0, j = 0, 2, 3, 4, 7TO(0) = 7r6m(0) = 0, m € ЛГ,

vr6fc+s(0) = 0, s = 2, 4, 7r6fc+3(0) = -v2k+1(0), к € N0. (2.11)

Задачи (2.9)-(2.11) имеют единственные решения, иредставимые в виде, соответственно:

rt

, \ —2+3/2 / 2 3/2 , . П _2у-3/2

ir6k_i(t) = h2ke зг / ез5 ds, тг0(£) = уие зг , Jo

г+

2 3/2 / 2 3/2 /

7Гбт(^) =0, те«, 7Гбк+1^) = Н2к+/ ез5 Й-1/2^,

■)о

= 0, 7Г6А;+з(^ = -^+1(0)е"143/2, 7Г6А;+4(г) = 0, к € Л?о-Для функции тГбй-ыС^) справедливы соотношения

т Н2к Л I С1 I I с" , > + ,

= (1 + ^ + • • • + +...), г ^ оо.

Нами определены все члены формального асимптотического разложения (2.5). Перейдем теперь к оценке остаточной функции этого асимптотического разложения (2.5).

Обоснование разложения (2.5). Рассмотрим остаточную функцию

Я£,2т+1(ж) = Уе{х) ~ Уе,2т+1(х),

где

2т+1 6т+3

Уе,2т+1{Х) = ^ £кУк(х) + ^ 0 < ГП.

к=0 к=-1

Тогда, для остаточной функции Ие,2т+1{х) получим следующую задачу:

£К,2т+1(х) + ^Яе,2ш+1(х) = -£2т+2у12т+1(х), 0 <х<Т, (2.12)

Дв,2т+1(0) =0. (2.13)

Задача (2.12)-(2.13) имеет единственное решение

Пе,2ш+1{х) = -е2т+1е"Аж3/2 Г еМ/2у'2т+1(з)с1з

■)о

и для него справедлива асимптотическая оценка

Пг,2ш+1(х) = 0(е2т+1), е ^0,0 <х<Т.

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

Теорема 1. Для решения задачи Коши (2.1)-(2.2) при е —>■ 0, [0,Т] справедливо асимптотическое разложение (2.5).

Замечание 1. Аналогично, можно построить равномерное асимптотическое разложение решения задачи Коши

еу'е(х) + хар(х)у£(х) = /(ж), 0 < х <Т,

Уе{ 0) = У°,

где 0 < а — рациональное число, р, / € С°°[0, Т], 0 < р(х), х € [0,Т], /о ф 03. Постановка задачи 2.

Рассмотрим бисингулярную задачу Дирихле

£Уе(х) — л/ху£(х) = f(x), 0 < х < 1, (3.1)

уе{ 0) = 0, уе{ 1) = 0, (3.2)

где 0 < е — малый параметр, / € С°°[0,1], /(0) ф 0.

Не нарушая общности, рассматриваем однородные граничные условия, так как неоднородные граничные условия уе(0) = а,у£(1) = Ъ с помощью линейного преобразования уе{х) = а + (Ъ — а)х + ze(x) всегда можно привести к однородным граничным условиям z£(0) = 0,z£(l) = 0.

Задача (3.1)-(3.2) имеет единственное решение, с помощью модифицированных функции Бесселя можно записать явное решение. Требуется построить равномерное асимптотическое разложение решения уе{х) по малому параметру е на отрезке х € [0,1], когда е —> 0.

Здесь тоже решение соответствующего невозмущенного уравнения

(е = 0)

-Vxyo(x) = f(x)

не удовлетворяет краевым условиям (3.2) и не является гладкой функцией на отрезке [0,1], точку = 0 называют дробной точкой поворота [10]. Следовательно, задача (3.1)-(3.2) является бисингулярной [5].

Рассмотрим стандартное (классическое) внешнее разложение решения задачи (3.1)-(3.2):

Ye(x) = у0(х) +еУ1(х) + ...+ £пуп(х) + ... (3.3)

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

-лфхуо(х) = f(x), y'l_i{x) - лфхук(х) =0, к € N. Отсюда последовательно определяем yk(x):

уо(х) = -f(x)/y/x, ук{х) = y'l_i(x)/Vx, keN.

Нетрудно заметить, что функции Ук(х) имеют нарастающие особенности вида:

ук{х) = 0(х~{5к+1)/2), х^0, kGN0 = NU {0}.

Следовательно, ряд (3.3) тоже является асимптотическим только при у/е^ < ж < 1 и теряет асимптотический характер при 0 < х < л/е2.

Построение асимптотического решения. Для построения равномерного асимптотического разложения решения задачи (3.1)—(3.2) применяем выше изложенную идею. Формальное асимптотическое решение будем искать в виде:

оо оо оо

уе(х) = екук(х) + + I] А^(т), (3.4)

к=0 к=-1 к=О

оо

где ^ = ж//х2, ¡л = у/ё, А = л/ё, г = (1 — ж)/Л, ^ екук(х) — модифици-

к=о

рованное внешнее решение, без особенностей в нуле. Уравнение (3.1) запишем в виде

еу"(х) — л/хуе(х) = /(х) — /ге(х) + Н£{х), 0 < х < 1, (3.5)

где

Ш = £ (Л2,(ж) + + ,

¿¿V ^ ^ у/х* П

Ь>к, Нк,] — пока неизвестные постоянные. Подставляя (3.4) в (3.5) имеем:

оо оо

^2ек{у1_1{х) - у/хук{х)) - ^Уо(х) + ^-к= 1 к=О

оо оо

+^2 - ^а^Е = - +м^2)-

к=0 к=О

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

оо

^2ек(ук_1(х) - л/хук{х)) - у/хуо(х) = /(ж) - /ге(ж); (3.6) к= 1

оо

ХУ«^) - = к^2)- (з.7)

к=0

оо оо

^ аЧ4'(Т) - Л^(г) = 0. (3.8)

к=О &=0

Из равенства (3.6) имеем:

1 л .. 1 (.л,.л , , ^

ГхА

Уо(х) = —5= (/(ж) - М, Ы^) = -^(^о(ж) + ^ +

л/ж л/Ж V л/ж л/г3 /

АСИМПТОТИКА РЕШЕНИЯ СВУ С ДРОБНОЙ ТОЧКОЙ ПОВОРОТА 115 V2 п(х) = -J^{V2n-i{x) +h2n),

i \ 1 / // / ч . h2n+i,i . h2n+i3\

V2n+l(x) = —= [v2n{x) + -+ ' j, neN.

1 (.Л t , Л-2П+1Д ,

Уг

И здесь неизвестные коэффициенты hk j выберем так, чтобы

V2k(x) = V^v2k(x), v2k € С°°[0,1], v2k+1 € С°°[0,1], к € N0. Пусть

ho = /о, Л-2П = -^2n-l(°)> = - lim Vx^v2n_2(x),

х—>0

Л-2га-/х

тогда

^2n-i,i = - lim Vx(v2n_2(x) + ^2"r4'3), пе N,

ж—>0 V л/т3 /

= - Е Л+1^+1/2. Мх) = + 3/2) (А; + 5/2)/к+3хк, к=0 &=0

оо оо

к=0 &=0

Заметим, что У2п(0) = 0, п € Л^о-

В результате нами определены все функции ьк(х) и неизвестные коэффициенты Нк,кк^. Из равенства (3.7) имеем:

оо оо ^ ^

/«-1W - VW*)) = £ /i10fc (/¿2fc + -J=yh2k+hl + .

fc=0 fc=0

Отсюда, учитывая краевое условие уе(0) = 0, и v2n(ti) = 0,п £ Щ, имеем:

Liriofc-i = 7Tiofc_i(i) - Vtirwk-i(t) = h2k, t € (0, oo),

7Tiofc-i(0) = 0, к e No; (3.9)

Ьтгюь+г,- = 0, i € (0, oo), 7riofc+2,-(0) = 0, j = 0,1, 2, 3, 4, к € Ж0; (3.10) Lvriofc+i = t € (0, oo), 7TiOfc+i(0) = 0, к € Ж0; (3.11)

t3

b7T10fc+3 = i e (0, oo), 7rlofc+3(0) = 0, к € Жо; (3.12)

bvriofc+5 = 0, t € (0, oo), 7Tiofc+5(0) = —f2fc+l(0), к € iVo; (3.13) bTTiofc+7 = o, t € (0, oo), 7Tiofc+7(0) = о, к € JVo. (3.14)

Дополнительно потребуем, чтобы

lim 7rfc_i(i) =0, к G N0. (3.15)

t—>oo

Справедлива Лемма 1. Задача

г~ С

z"(t) - vtz(t) = -=, t € (0, оо), к = 0,1, 3, 2(0) = zu, lim z(t) = 0

л/fk i—s-oo

имеет единственное решение (с, z° — const). Доказательство. Однородное уравнение

r(t) - Vtl(t) = 0

имеет два независимых решения:

Zl{t) = Vt/2/5(4t5/4/5), z2(t) = VtK2/5(4t5/4/5),

где I2/5(5), K2yg (s) — модифицированные функции Бесселя. Отметим, что

оо,

Zl{t) = Oit-^el^4), z2(t) = or^e-f^4), t

zi(0) = 0, z2(0) ^^W{zi{t),z2{t)) = l/ci, 0/ci- const.

Учитывая экспоненциальное убывание функции z2(t) при t —> 00, можем ее использовать для построения решения неоднородного уравнения с соответствующим краевым условием. Таким образом, имеем

z{t) = ^^ + CCI (z2(t) jrt s~^zl(s)ds + Zl(t) J™ s-k'2z2(s)ds) .

Из асимптотического поведения функции Z\{t) и z2(t) при t —> 00 следует: z(t) = 0(Hfc+1)/2), a когда t ->■ 0, то z(t) = 0(t2~k/2), k = 0,1,3. Лемма доказана.

В силу этой леммы, задачи (3.10), (3.14) с дополнительным условием (3.15) имеют тривиальные решения. А решения задач (3.9), (3.11)-(3.13) удовлетворяющие условию (3.15) представимы в виде, соответственно:

7Tiofc-i(i) = h2kc2{^z2(t) J zi(s)ds + zi(t) J z2(s)dsj,

7Tiofc+i(i) = h2k+i^c2 (z2(t) / s~ ' zi(s)ds + z\(t) / s-3/2z2(s)ds),

vriofc+3(i) = h2k+1Ac2(z2(t) J s~1/2zi(s)ds + zi(t) J s~1/2z2(s)ds^j,

vriofc+5(i) = к е N0,

Z2{U)

и справедливы соотношения Triofc-i(i) = 0{t~1'2), 7ri0fc+i(i) = 0(t~2), 7r10fc+3(i) = 0{rl), t -»• oo;

Triofc-i(i) = 0(t2), 7ri0fc+i(i) = Oit1'2), 7Г 10fc+3(i) = 0(t1/3), i -»• o. A также

oo oo oo

Y, AfcW = ||î = ^2|| = E = (3-16)

fc=-l fc=-l ^ k=0

oo

Перейдем теперь к определению членов ряда ^ \kwk{r). Из (3.8)

к=0

имеем

гУо(г)-гу0(т) = 0, и)к(т)-и)к(т) = дк(т,и)0, ...,wk_ i), rë( 0,оо), (3.17)

где правые части gk(r,wo,...,wk-\) линейно зависят от предыдущих ■Wo, ...,Wk-i, и полиномиально зависят от г. Учитывая граничное условие у(1) = 0 и (3.16) имеем:

W2fc(0) = -vk(l) - 7Tfc(l), W2fc+i(0) =0, к G No. (3.18)

Как нам известно [5], задачи (3.17)-(3.18) имеют единственные решения и экспоненциально убывают, когда т —>■ оо, т.е. wk(r) = 0(е~т), т —> оо.

Таким образом, нами определены все члены формального асимптотического разложения (3.4).

Обоснование асимптотического решения. Для обоснования этого формального разложения оценим остаточный член

Re,2m+l(x) = у£(х) - y£,2m+l(x),

где

2m+l 10m+5 4m+2

Уе,2ш+1{Х) = Y £кук(х) + ^ + ^ ^к^), 0 < ГП.

к=0 к=-1 к=О

Для остаточного члена получим следующую задачу: £R'l2m+i(%)-VïRe,2m+i(x)=O(e2m+2),e^0, 0 < X < 1, (3.19)

Де>2т+1(0) = 0(еRe,2m+1(1) = 0{e2m+2), е -»• 0. (3.20)

Пусть Re,2m+i(x) = (2 — ж2)г£;2т+1(ж), тогда задача (3.19)-(3.20) примет вид

^',2m+l ~ 'Г'е,2т+1 0*0 ~ + >/%) Ге,2т+1 (х) = 0(б2т+2), 6 ->■ О,

r£;2m+i(0) = 0(e-1/^), r£)2m+1(l)=0(e2m+2), 0.

Для этой задачи применяя теорему 26.2, [6], получаем re 2т+\(х) = 0(e2m+1).

Отсюда, следует, что Re,2m+\{х) = 0(e2m+1), е —> 0, ж € [0,1]. Таким образом, доказана

Теорема 2. Асимптотическое решение задачи Дирихле (3.1)-(3.2) при е —> 0, х € [0,1], представимо в виде (3-4)-

Замечание 2. Для простоты мы рассматривали простой случай, аналогично строится равномерное асимптотическое разложение решения задачи Дирихле

еу'Цх) — хар(х)у£(х) = /(ж), 0 < ж < 1,

уе( 0) = 0, уе( 1) = 0,

где 0 < а — рациональное число, р, / € С°°[0,1], /(0) ф 0, 0 < р(ж), ж € [0,1].

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

Список литературы

1. Алымкулов К. Об одном методе построения асимптотических разложений решений бисингулярно возмущенных задач / К. Алымкулов, Д. А. Турсунов // Изв. вузов. Математика. - 2016. - № 12. - С. 3-11. https://doi.org/10.3103/S1066369X1612001X

2. Бобочко В. И. Нестабильная дифференциальная точка поворота в теории сингулярных возмущений / В. Н. Бобочко // Изв. вузов. Математика. - 2005. - № 4. - С. 8-17.

3. Бобочко В. Н. Равномерная асимптотика решения неоднородной системы двух дифференциальных уравнений с точкой поворота / В. Н. Бобочко // Изв. вузов. Матем. - 2006. № 5. - С. 8-18.

4. Зимин А. Б. Задача Коши для линейного уравнения второго порядка с малым параметром, вырождающегося в пределе в уравнение с особыми точками / А. Б. Зимин // Дифференд. уравнения. - 1969. - Т. 5, № 9. - С. 1583-1593.

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

6. Ильин А. М. Асимптотические методы в анализе / А. М. Ильин, А. Р. Данилин.

- М. : Физматлит, 2009. - 248 с.

7. Ломов С. А. Введение в общую теорию сингулярных возмущений / С. А. Ломов.

- М. : Наука, 1981. - 400 с.

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

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

10. Федорюк М. В. Асимптотические методы для линейных обыкновенных дифференциальных уравнений / М. В. Федорюк. — М. : Наука, 1977. - 352 с. https://doi.org/10.1007/978-3-642-58016-l

11. Cole J. D. Perturbation Methods in Appled Mathematics /J. D. Cole. - Blaisdell, Waltham, MA, 1968.

12. Ekhaus V. Matched Asymptotic Expansions and Singular Perturbation / V. Ekhaus.

- North-Holland, Amsterdam, 1973.

13. Fruchard A. Composite Asymptotic Expansions / A. Fruchard, R. Schafke. -Springer-Verlag Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-34035-2

14. Wasow W. Asymptotic Expansions for Ordinary Differential Equations / W. Wasow.

- N. Y. : Dover publications, INC, Mineola, 1965.

15. Wasow W. Linear turning point theory / W. Wasow. - N. Y. : Springer-Verlag, 1985. https://doi.org/10.1007/978-l-4612-1090-0.

16. Watts A. M. A singular perturbation problem with a turning point / A. M. Watts // Bull. Austral. Math. Soc. - 1971. - Vol. 5. - P. 61-73.

Турсунов Дилмурат Абдиллажанович, доктор физико-математических наук, доцент, Ошскнй государственный университет, 723500, Ош, ул. Ленина, 331, тел.: (+996)770513813 (e-mail: [email protected]) Кожобеков Кудайберди Гапаралиевич, кандидат физико-математических наук, доцент, Ошский государственный университет, 723500, Ош, ул. Ленина, 331, тел.: (+996)770513813 (e-mail: kudayberdi . kozhobekov@mail. ru)

D. A. Tursunov, K. G. Kozhobekov

The Asymptotics of Solutions of a Singularly Perturbed Equation with a of Fractional Turning Point

Abstract. We develop the classical Vishik - Lyusternik - Vasil'eva - Imanaliev boundary-value method for constructing uniform asymptotic expansions of solutions of singularly perturbed equations with singular points. In this paper, by modernizing the classical method of boundary functions, uniform asymptotic expansions of solutions of singularly perturbed equations with a fractional turning point are constructed. As we know, problems with turning points are encountered in the Schrodinger equation for the

tunnel junction, problems with a classical oscillator, problems of continuum mechanics, the problem of hydrodynamic stability, the Orr - Sommerfeld equation, and also in the determination of heat to a pipe, etc. Determination of the behavior of solving similar problems with aspiration small (large) parameter to zero (to infinity) is an actual problem. We study the Cauchy and Dirichlet problems for singularly perturbed linear inhomogeneous ordinary differential equations of the first and second order, respectively. Here it is proved that the principal terms of the asymptotic expansions have negative fractional powers with respect to a small parameter. As practice shows, solutions to most singularly perturbed equations with singular points have this property. The constructed decompositions of the solutions are asymptotic in the sense of Erdey, when the small parameter tends to zero. Estimates for the remainder terms of the asymptotic expansions are obtained. The asymptotic expansions are justified. The idea of modifying the method of boundary functions is realized for ordinary differential equations, but it can also be used in constructing the asymptotic of the solution of singularly perturbed partial differential equations with singularities.

Keywords: singularly perturbed, turning point, bisingular problem, Cauchy problem, Dirichlet problem.

References

1. Alymkulov K., Tursunov D.A. On a method of construction of asymptotic decompositions of bisingular perturbed problems. Russian Mathematics, 2016, vol. 60, no 12, pp. 1-8. https://doi.org/10.3103/S1066369X1612001X

2. Bobochko V.N. An Unstable Differential Turning Point in the Theory of Singular Perturbations. Russian Mathematics, 2005, vol. 49, no 4, pp. 6-14. MR2180679

3. Bobochko V.N. Uniform Asymptotics of a Solution of an Inhomogeneous System of Two Differential Equations with a Turning Point. Russian Mathematics, 2006, vol. 50, no 5, pp. 6-16. MR2280688

4. Zimin A. B. Zadacha Koshi dlja linejnogo uravnenija vtorogo porjadka s malym parametrom, vyrozhdajushhegosja v predele v uravnenie s osobymi tochkami [The Cauchy problem for a second order linear equation with small parameter which degenerates in the limit to an equation with singular points]. Differ. Uravn. [Differential Equations], 1969, vol. 5, no 9, pp. 1583-1593. (in Russian)

5. Ilin A.M. Matching of asymptotic expansions of solutions of boundary value problems. AMS, Providence, Rhode Island, 1992. 296 p.

6. Ilin A.M., Danilin A.R. Asimptoticheskie metody v analize [Asymptotic Methods in Analysis]. Moscow, Fizmatlit, 2009. 248 p. (in Russian).

7. Lomov S.A. Introduction to the General Theory of Singular Perturbations. AMS, Providence, Rhode Island, 1992.

8. Tursunov D.A. Asimptoticheskoe razlozhenie reshenija obyknovennogo differencial'nogo uravnenija vtorogo porjadka s tremja tochkami povorota [Asymptotic expansion for a solution of an ordinary second-order differential equation with three turning points] Th IMM UrO RAN, 2016, vol. 22, no 1, pp. 271-281. (in Russian)

9. Tursunov D.A. Asimptoticheskoe reshenie bisinguljarnoj zadachi Robena [The asymptotic solution of the bisingular Robin problem]. Sib. Elektron. Mat. Izv. [Sib. Electron. Mat. Reports], 2017, vol. 14, pp. 10-21. (in Russian) DOI: 10.17377/semi.2017.14.002

10. Fedoryuk M.V. Asymptotic analysis: linear ordinary differential equations. Berlin, Springer-Verlag, 1993. 363 p. https://doi.org/10.1007/978-3-642-58016-l

11. Cole J. D. Perturbation Methods in Appled Mathematics. Blaisdell, Waltham, MA, 1968.

12. Ekhaus V. Matched Asymptotic Expansions and Singular Perturbation. North-Holland, Amsterdam, 1973.

13. Fruchard A., Schafke R. Composite Asymptotic Expansions. Springer-Verlag Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-34035-2

14. Wasow W. Asymptotic Expansions for Ordinary Differential Equations,Dover publications, INC, Mineola, New York, 1965.

15. Wasow W. Linear turning point theory. Springer-Verlag, New York, 1985. https://doi.org/10.1007/978-l-4612-1090-0

16. Watts A.M. A singular perturbation problem with a turning point, Bull. Austral. Math. Soc., 1971, vol. 5, pp. 61-73.

Tursunov Dilmurat Abdillajanovich, Doctor of Sciences (Physics and Mathematics), Professor, Osh State University, 331, Lenin st., Osh, 723500, tel.: (+996)770513813 (e-mail: [email protected])

Kozhobekov Kudayberdi Gaparalievich, Candidate of Sciences (Physics and Mathematics), Osh State University, 331, Lenin st., Osh, 723500, tel.: (+996)770513813 (e-mail: [email protected])