АСИМПТОТИКА РЕШЕНИЙ ОДНОРОДНОГО БИСИНГУЛЯРНО ВОЗМУЩЕННОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ТЕОРИИ ОБОБЩЕННЫХ ФУНКЦИЙ Текст научной статьи по специальности «Математика»

Бюллетень науки и практики /Bulletin of Science and Practice Т. 8. №2. 2022

https://www.bulletennauki.com https://doi.org/10.33619/2414-2948/75

УДК 517.928 https://doi.org/10.33619/2414-2948/75/02

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

ОБОБЩЕННЫХ ФУНКЦИЙ

©Акматов А. А., SPIN-код 8377-0954, Ошский государственный университет, г. Ош, Кыргызстан, abdilaziz_akmatov@mail.ru

SOLUTIONS ASYMPTOTICS OF A HOMOGENEOUS BISINGULARLY PERTURBED DIFFERENTIAL EQUATION IN THE GENERALIZED FUNCTIONS THEORY

©Akmatov A., SPIN-code 8377-0954, Osh State University, Osh, Kyrgyzstan, abdilaziz_akmatov@mail.ru

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

Abstract. In the space of generalized functions, a homogeneous system of singularly perturbed differential equations in the case of stability change is considered. A theorem on generalized solutions of the corresponding degenerate system of the equation is proved. At special points, the asymptotic closeness of the solutions of the perturbed and unperturbed problems in the singular domain is established. The novelty of the work lies in the fact that, for the first time, an estimate for the singular region was obtained. A degenerate system has a special point. At this point, we solve the equation in generalized functions. In turn, this is also a novelty, because previously performed works only considered the classical solution. The following novelty of the work lies in the fact that we take the starting point in an unstable interval and also head towards the unstable interval. This property is not characteristic of previously published works.

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

Keywords: generalized function, differential equations, Dirac function, singular points, bisingular perturbations, solution, Cauchy problem, functional.

Введение

Исследование асимптотика решений сингулярно возмущенных дифференциальных уравнений в случае смены устойчивости рассмотрено в работах [1, 2, 4-9]. Введено понятие

Бюллетень науки и практики /Bulletin of Science and Practice https://www.bulletennauki.com

Т. 8. №2. 2022 https://doi.org/10.33619/2414-2948/75

регулярной и сингулярной областей [9, с. 42]. Регулярная область будет ограниченно или неограниченно относительно координатных осей. Если область регулярно, то доказано асимптотические близость решений возмущенной и невозмущенной задачи. Присутствия малого параметра дифференциальных уравнениях при старших производных обусловляется появлением пограничного слоя. Поведения решений сингулярно возмущенной задачи в пограничных слоях достаточно изучено в работе [9, с. 62].

Уникальный метод в этом направление считается метод линии уровня [1, с. 21]. Линии уровня аналитических функций полностью покрывает регулярной и сингулярной области. Но в сингулярной области не выполняется асимптотической близость решений возмущенной и невозмущенной задачи. Актуальность данной работы заключается в том, что впервые доказано асимптотические близость решений возмущенной и невозмущенной задачи в сингулярной областей. Решение задачи рассматривается в пространстве обобщенных функций [3, с. 24].

Постановка задачи. Рассмотрим задачи

sy\t,s) + D(t ) y(t,s) = 0

y(to,e) = У0.

(1) (2)

где 0 <s — малый параметр, D(t) = diag(Д (t), Д (t)), У0 - Colon(y'°, y° ) - постоянный вектор, t е R. Диогнольная матрица-функция имеет кратную собственные значение

\(t) -A2(t) - a(t), a(t) е Сœ (Rl) .

U. Пусть выполняются условия: a(t ) > 0 , при t е (t ,+œ); a(t ) < 0 при t е (-<*>, t ),

a(t*) - 0.

Систему (1) можно рассматривать как возмущенную по отношению к вырожденной

системе

D(t)у(t) = 0 .

Вырожденная система (3) имеет единственное классическое решение

у (t) = 0, D(t) ф 0 .

(3)

(4)

Такие случаи рассматривались в работах [1, 2, 4-9] и доказано асимптотические близость решений задачи (1)-(2) и (3). Асимптотическая оценка верна, в регулярных областях.

Собственные значения матрица-функция 0(1:) в точке : = :* обращаются в нуль. Эти точки называются точками поворота. Поэтому определим обобщенные решения [3, с. 52] задачи (3) в точках : =: *.

Теорема 1. Вырожденная система (3) имеет обобщенные решения вида

(5)

~ (:) = 0(8(: -:*)).

Доказательство. Рассмотрим ряд Тейлора с интегральным остаточным членом:

ф(x) = ф(г, ) + ф (t0 )(t -10 ) +... +1 ф(и) (t0 )(t -10 У +

(6)

n!

Бюллетень науки и практики / Bulletin of Science and Practice https://www.bulletennauki.com

Т. 8. №2. 2022 https://doi.org/10.33619/2414-2948/75

1 1

+ _ |ф(п+» (т + (1 - т)хо )(1 - г)" (х - хо)п+1 ат, (х е Я, п > 0). п\ о

Интегрируем (6), исходя из формулы Ньютона-Лейбница и многократо интегрируя по частям правую часть, получаем

г г

I (г) = I (г *) +1I '(^ = I (г *) - { I '(^(г - з) = I(г *) - (г - ¿)1 '(з)| ^ +

г г

+ |I"Ш - s)ds =... = I(г•) +... + (г - г*)п + |^^(г - з)пЖ.

Остаточный член преобразуем с помощью замены

г - з = г - г -т + т ^ г = г + т(г - г), (0 <т< 1).

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

г - е =(1 -т)г - е).

Поэтому остаточный член приобретает вид:

1 г(п+1).

i

f —Г + r(t - f )h-т)п. - r

n!

[(1 -r)n (t-f)n+l dr .

Согласно смыслу задачи, требуется найти правило, по которому нужно вычислять значение (г ), У) для любой функции у е 8 (Я), если р(г(г ),ф(г ))= 0 при любой

функции ф(г) е 8 (Я1).

По определению, умноженная на бесконечно дифференцируемую функцию на обобщенную, имеем

р(г(г),ф(г))=(~ (г), Р(г )ф(г ))= 0.

Таким образом, значения искомого функционала ~ (г) на всех функциях вида Р(г)ф(г)

равна нулю. Заметим, что наличие множителя ( - г*) у функции (х - г*) ф(г), (п > 0) означает, что это функция при г = г* обращается в нуль. Покажем, что верно и обратное, т.е. если а(1*) = 0 для некоторой функции Сс(Х) е 8 (Я), то а( г) представима в виде а(г) = (х-Х^ДХ) , где /3(г) - некоторая функция из 8(Я1). Действительно, пусть а(0 = 0, а(г ) е 8(Я1). Воспользуемся формулой (6) при г = г *, п = к:

k+1 1

a(t) = a(t*) +... + a ) (t-1"J + (t t* )k+' j a(k+1) (t * + r(t -1 * ))(1 - r)k dr = (t- t*)n+1 p(t),

k!

k!

1 1 i где p{t) = — fa(k+1)(t* + r(t -1*))(1 -r)kdr . Очевидно, что fi(t) £ S(R ), поскольку a(t) k!J

принадлежит в 8 (Я1). Следовательно, а^п"(г) принадлежит в 8 (Я1).

Пусть теперь у (г) - произвольная функция из 8 (Я1). Нам нужно найти, чему равно (г),у(г)) . Рассмотрим вспомогательную функцию

¥(k )(t *)

a(t) = ¥(t) - ¥(t * К - ¥(t * -...---— Vk.

k!

0

0

Бюллетень науки и практики / Bulletin of Science and Practice Т. 8. №2. 2022

https://www.bulletennauki.com https://doi.org/10.33619/2414-2948/75

Отсюда

_ f_

0 = (у (t),a(t)) = у (t),iy(t) -y(t * )m— '(t * M2 - ••• -

*)

k!

Mk =

(y (t )Mt))

(7)

~¥(t *

, Mi'(t *)(у (tX M2)-••• -■

¥(k )(t') k!

(У (t), Mk).

Из соотношения (7) получаем, что

(:), щ(:)) = щ(: *)(~ (:), А)+И (: *)(~ (:), А)+ ¥" (: *)(~ (:), )+...+^) (: *)(~ (:), Мк).

Здесь

(),¥(:))=¥(: * Со +¥У(: * )С +... + ¥{к)(: * С, где Ск =(~(:), /лк) к = 0,1,2,.... Из определения 8 — функции, получаем, что

( :), И») = (Со8(:—Г) + С18 (:—Г) +... + Ск 8(к) (:—Г), ¥(:)), где Ск = (:), цк), к = 0,1,2,....

Таким образом, обобщенные решения задачи (3) имеет вид (5)

у (t) = C0 8(t -f) + C 8 (t -t") + ••• + C 8{k ) (t -1 *) = G(8(t -1 *)).

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

Общие решение задачи (1), (2)

y(t,s) = y0 exp

1 t

— J a(s)ds

V t0

Основная задача, при каких t выполняется предельный переход

lim y(t,e) = y(t) .

(8)

(9)

Определение 1. Последовательность обобщенных функций yn (t) £ S' (R1) сходится,

если

з Уп (t) £ S '(R1)

такая что

УфС) £ S, (Уп (t), ФС)) ^ (y(t), фС)).

Сходимость такого типа называют слабой сходимостью (или поточечной). Определение 2. Последовательность функций называется 8 — образной, если она сходится к 8 — функции.

Теорема 2. Если выполняется условие и, тогда для решения задачи (1), (2) справедлива оценка

(10)

y(t,e) - у (t)

< Csn ,

здесь п = 2к, к е N, 0 < С — некоторые постоянное число.

Доказательство. Учитывая определение 1. в равенстве (8) рассмотрим как последовательность гладких функций

Л Л

(Уг (t ,s)^(t)) =

Г г

У exp

— fa(s)ds

С* J

V V 'о

,ф(t)

J J

Бюллетень науки и практики / Bulletin of Science and Practice https://www.bulletennauki.com

Т. 8. №2. 2022 https://doi.org/10.33619/2414-2948/75

Для вычисления предела исследуем семейство значений (у (г, е), ф(г)) при е ^ 0+, Vф(г) е 8(Я1). Тогда

1 х 1 Х (11)

— J а — J ( )

+ад — | a (s s

to

(ys (t, s), ф(г)) = y0 je St0 ф) - ^(0)]dt + y V(0) j

+ад — I a(s) s

t0 dt.

I t

+ад — I a(s) ds E J

Отсюда, второе слагаемое равенство (11) верно y0 j ys (t,s)dt < y0 j e t0 dt = 1.

a —ад

t

Сделав замену

мы видим,

что

при

a < 0 < b

ь п£ f nfSz 4

lim [ ys (t,s)dt = lim ^Sy0 [ exp - [ a(s)ds

S^Ü J S^Ü J J

a ^ £ у

ns

первый интеграл справа стремится к нулю вместе с S. Имеем:

dz = 1. Осталось показать, что в равенстве (11)

j ys (t,s)^(t) — ф(0)]Л = j ys (t,s)^(t) — ф(0)>Й + j ys (t,s^(t) — ф(0)]й

—ад —ад as-5

+ад

+ f ys (t ,s)[ф(t) — ф(0)]# . Здесь a < 0 < b , 0 <3 < - .

, -3 И

bs

Возьмем норму

+ад

j ys (t,s)fo(t) — ф(0)]dt

t +

j ys (bs)^(t) — ф(0)]^ + j ys (t ,s)^(t) — ф(0)]й +

+

\ys (t,s)^(t) — ф(0)]й

bs"

b

< constO(exp

1 г

s

n3

j a(s)ds

+ r max ,

[as"3,bs"3]

ftnfet) — ф(0)

где через const обозначены оценки Wnlet) -^(0)1 на полу бесконечных интервалах. В

силу непрерывности ^(t) и с учетом 5 <1 последнее слагаемое в этой оценке стремится к

n

нулю при s ^ 0 . Таким образом оценка (10) верна. Теорема доказана.

Рассмотрим пример. Пусть a(t) = t. Задача (1), (2) имеет решение вида

1

y(t,s) = e 2s. Начальная точка выбрано в неустойчивом интервале и равно t0 = 0.

V2

Если возьмем формально s = 0, то получим

(t) = 0 .

(12)

Учитывая теорему 1, обобщенные решения вырожденного уравнения (12): у (Х) = С0 8(Х), где с - некоторая постоянная, 8 (г) - функция Дирака порядка сингулярности равна 1. Осталось показать, при каких значениях Х выполняется равентсва (9). Пусть (уе (Х, е), ф(Х)) ^ ф(0) или уе (Х, е) ^ ё(Х). Для этого

■jj

■jj

b

z

ö

ö

+ад

—3

ад

ад

Бюллетень науки и практики /Bulletin of Science and Practice https://www.bulletennauki.com

Т. 8. №2. 2022 https://doi.org/10.33619/2414-2948/75

+ад +ад +ад

((t,е),ф(г)) = J (t.e^(t)dt = J J, (t,е)]ф(г) -0(Q)]dt + ф(0) Jye (t.e)dt

(13)

Вторая слагаемая в правой части равенства (13) равна ф(0) J ys (t ,e)dt

ф(0) 2-У же

J e 2e dt .

Становится видным после замены переменной —¡= — 2 , этот интеграл равен единице.

t

те

Осталось показать, что первый интеграл в равенстве (13) стремится к нулю вместе с £. Заметим, что У а > 0 и 0 <3 < 1. Тогда имеем

2

+ад ^ ад

J у, (t,e)dt = J < 24ж А-

1

ад t

e 2 dt = - _ 5 2<Jxt

x e

~> 2 ад 1 t a

J x e "Tdt = O(e ^ ) .

J 24xt e^0

Поэтому

+ад I

2л[ж

exp

x exp

f t2

2

^{4~et) — ф(0)]dt = j -^expf— — ][ф(л/ё) — ф(0)]dt + J —

2л/ж

V 2 J

ф(^/et) - ф(0)]й + J —^exp

24 ж

2

2л/ж

V 2 J

< const x O(exp I —

a

2ei

+ r max

) —ф(0)]й tfjst) — ф(0),

<

где через const обозначены оценки |ф(л/ё) — ф(0) на полубесконечных интервалах. В силу непрерывности ф(t) и с учетем 5 <1 последнее слагаемое в этой оценке стремится к нуля при е ^ 0. Отсюда видно, что предельный переход (9) выполняется.

Результаты и обсуждение Из выше доказанных теорем видно, что в пространстве обобщенных функций s '(R1), можно установить асимптотическую близость решений бисингулярно возмущенных и невозмущенных задач в сингулярной области.

Работа обсуждено на основе примера на научном семинаре кафедры математического анализа под руководством профессора С. Каримова.

Выводы

Известно, что [1, 2, 4-9] точки смены устойчивости относится к сингулярных интервалах. Если начальная точка выбрана в сингулярном интервале, то поведение решений задачи (1), (2) неизвестно. Поэтому начальная задача выбрана, как бесконечно большая величина. В классической теории функции получать асимптотические оценки задачи (1), (2) в особой точке практически невозможно. Это видно в равенство (4). В работе [9, с. 52] сделано попытка получить оценку в окрестности особой точки. Работа велась в комплексной плоскости. Если переходим к теории обобщенных функций, то показать асимптотические близость решений (1), (2) и (3) возможно в пространстве S'(R1) .

ад

ад

ад

2

—ад

— ад

ад

2

2

5

5 ae

2

— 5

— 5

X

5

ад

ад

—ae

x

5

— 5 5

ae .ae

Бюллетень науки и практики / Bulletin of Science and Practice Т. 8. №2. 2022

https://www.bulletennauki.com https://doi.org/10.33619/2414-2948/75

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

1. Алыбаев К. С. Метод линии уровня исследования сингулярновозмущенных уравнений при нарушении условия устойчивости: дисс. ... д-ра физ.-мат. наук. Джалал-Абад, 2001. 21 с.

2. Абдилазизова А. А. Асимптотика решения сингулярно возмущенной задачи Коши в случае смены устойчивости // Евразийское Научное Объединение. 2021. №7-1. С. 1-3. https://doi.org/10.5281/zenodo.5168522

3. Гельфанд И. М., Шилов Г. Е. Обобщенные функции и действия над ними. Государственное издательство физико-математической литературы. М., 1959. С. 24-63.

4. Каримов С., Акматов А. Поведения решений сингулярновозмущенных дифференциальных уравнений в случае смены устойчивости // Естественные и технические науки. 2006. №1. С. 14.

5. Каримов С., Акматов А. А., Ысакова М. Поведения решений сингулярновозмущенных дифференциальных уравнений в случае смены устойчивости (случай, где собственные значения не имеют нулей на границе рассматриваемой области Н) // Естественные и технические науки. 2006. №3. С. 18-22.

6. Каримов С., Акматов А. А. Поведения решений сингулярновозмущенных дифференциальных уравнений в случае смены устойчивости II // Естественные и технические науки. 2006. №2. С. 14-18.

7. Каримов С. Акматов А. А., Анарбаева Г. М. Более точные оценки решения сингулярновозмущенной задачи // Вестник Ошского государственного университета. 2016. №4. С. 49-61.

8. Каримов С. Акматов А. А. Исследование решений системы сингулярно возмущенных дифференциальных уравнений, имеющих условную устойчивость // Вестник Ошского государственного университета. 2021. Т. 1. №1. С. 61-70.

9. Тампагаров К. Б. Погранслойные линии в теории сингулярно возмущенных обыкновенных дифференциальных уравнений с аналитическими функциями: дисс. . д-ра физ.-мат. наук. Джалал-Абад, 2017. С. 180-280.

References:

1. Alybaev, K. S. (2001). Metod linii urovnya issledovaniya singulyarnovozmushchennykh uravnenii pri narushenii usloviya ustoichivosti: Dr. diss. Jalal-Abad.

2. Abdilazizova, A. A. (2021). Asimptotika resheniya singulyarno vozmushchennoi zadachi Koshi v sluchae smeny ustoichivosti. Evraziiskoe Nauchnoe Ob"edinenie, (7-1), 1-3. (in Russian). https://doi.org/10.5281/zenodo.5168522

3. Gelfand, I. M., & Shilov, G. E. (1959). Obobshchennye funktsii i deistviya nad nimi. Gosudarstvennoe izdatel'stvo fiziko-matematicheskoi literatury. Moscow, 24-63. (in Russian).

4. Karimov, S., & Akmatov, A. (2006). Povedeniya reshenii singulyarnovozmushchennykh differentsial'nykh uravnenii v sluchae smeny ustoichivosti. Estestvennye i tekhnicheskie nauki, (1), 14. (in Russian).

5. Karimov, S., Akmatov, A. A., & Ysakova, M. (2006). Povedeniya reshenii singulyarnovozmushchennykh differentsial'nykh uravnenii v sluchae smeny ustoichivosti (sluchai, gde sobstvennye znacheniya ne imeyut nulei na granitse rassmatrivaemoi oblasti N). Estestvennye i tekhnicheskie nauki, (3), 18-22. (in Russian).

Бюллетень науки и практики / Bulletin of Science and Practice Т. 8. №2. 2022

https://www.bulletennauki.com https://doi.org/10.33619/2414-2948/75

6. Karimov, S., & Akmatov, A. A. (2006). Povedeniya reshenii singulyarnovozmushchennykh differentsial'nykh uravnenii v sluchae smeny ustoichivosti II. Estestvennye i tekhnicheskie nauki, (2), 14-18. (in Russian).

7. Karimov, S. Akmatov, A. A., & Anarbaeva, G. M. (2016). Bolee tochnye otsenki resheniya singulyarnovozmushchennoi zadachi. Vestnik Oshskogo gosudarstvennogo universiteta, (4), 49-61. (in Russian).

8. Karimov, S. & Akmatov, A. A. (2021). Issledovanie reshenii sistemy singulyarno vozmushchennykh differentsial'nykh uravnenii imeyushchikh uslovnuyu ustoichivost'. Vestnik Oshskogo gosudarstvennogo universiteta, 1(1), 61-70. (in Russian).

9. Tampagarov, K. B. (2017). Pogransloinye linii v teorii singulyarno vozmushchennykh obyknovennykh differentsial'nykh uravnenii s analiticheskimi funktsiyami: Dr. diss. Jalal-Abad, 180-280.

Работа поступила Принята к публикации

в редакцию 30.11.2021 г. 10.12.2021 г.

Ссылка для цитирования:

Акматов А. А. Асимптотика решений однородного бисингулярно возмущенного дифференциального уравнения в теории обобщенных функций // Бюллетень науки и практики. 2022. Т. 8. №2. С. 18-25. https://doi.org/10.33619/2414-2948/75/02

Cite as (APA):

Akmatov A. (2022). Solutions Asymptotics of a Homogeneous Bisingularly Perturbed Differential Equation in the Generalized Functions Theory. Bulletin of Science and Practice, 8(2), 18-25. (in Russian). https://doi.org/10.33619/2414-2948/75/02