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

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ И

ПРОЦЕССЫ УПРАВЛЕНИЯ N. 2, 2024 Электронный журнал, рег. Эл. N фс77-щ10 от 15.04-2010 ISSN 1817-2172

http://diffjournal, spbu. ru / e-mail: jodiff@mail.ru

Интегро-дифференциальные системы

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

Бободжанов A.A.*, Бободжанова М.А.**,Сафонов В.Ф.*** Национальным исследовательский университет «Московский

энергетический институт»

bobojanova@mpei.ru * bobojanovaMA@mpei.ru ** Singsaf@yandex.ru ***

Аннотация. В статье рассматривается система двух сингулярно возмущенных интегро- дифференциальных уравнений (ИДУ), первое из которых является однородным уравнением, а второе — неоднородным, с интегральным оператором, ядро которого содержит фундаментальное решение первой ИДУ. Классический случай, когда ядро зависит от быстро меняющейся скалярной зкспонбнты «I посвящено большое количество работ (см. библиографию в конце СТАТЬИ ). Случай зависимости ядра от фундаментальных решений дифференциальных систем подробно изучен в монографии авторов A.A. Бободжанова и В.Ф. Сафонова «Сингулярно возмущенные интегральные и интегродиффе-ренциальные уравнения с быстро меняющимися ядрами и уравнения с диго-нальным вырождением ядра», опубликованной в Спутник+ в 2017 году. Как показано в данной работе, сложность построения регуляризованной (в смысле Ломова) асимптотики ИДУ обусловлена сложной структурой асимптотических решений фундаментальных решений однородных дифференциальных уравнений. Проблема построения асимптотики фундаментального решения однородного ИДУ и ее влияния через ядро на регуляризованную асимптотику неоднородного ИДУ до сих пор не исследована. В настоящей работе

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

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

1 Введение

Рассмотрим сингулярно возмущенную систему

x) V (x s e) dx

(1)

г т^ = а (t) у (t , s , £) + ft Ko (t, x) V (x, s, e) dx,

v (s, s ,e) = 1 , 0 < s < t < 1 ,

e^ = b (t) y (t, e) + ¡0 V (t, s, e) K (t, s) y (s, e) ds + h (t),

y (0,e) = y0, 0 < t < 1 2

состоящую из двух интегро-дифференциальных уравнений, первое из которых описывает фундаментальное решение однородного ИДУ, а второе — неоднородное, с ядром, зависящим от фундаментального решения первого

st

было бы взять 0 < s < t < T, где T - любое фикспрованное положительное число). Роль быстро убывающей экспоненты exp ^1 f^ ß (9) d9^ , которая входила в ядро интегро-дифференциальных систем ранее рассмотренных ра-

v (t, s, e)

дифференциального уравнения (1). Задача (1)-(2) является обобщением сингулярно возмущенной системы уравнений

e= B (t) Z (t,s,e), Z (s,s,e) = 1, 0 < s < t < 1, e^ = A (t) y (t, e) + Ц K (t,s) Z (t,s,e) y (s,e) ds + h (t), y (0, e) = y0, 0 < t < 1,

рассмотренной в [9], в которой первая система является дифференциальной, а не интегро-дифференциальной. Как будет показано ниже, наличие интегрального слагаемого в первом уравнении (1) приводит к тому, что в решении

уравнения (2), кроме медленных составляющих, индуцирумых неоднородностью к(Ь), будут появляться и медленные составляющие, индуцируемые ядром К0(Ь,в) первого уравнения, что сильно усложняет построение регуляри-зованного асимптотического решения задачи (2).

2 Регуляризация задачи (1)

Задачу (1) будем рассматривать при следующих условиях:

1) функция а (£) е С^ [0,1] , ядро К0 (Ь, в) е С^ (0 < в < £ < 1);

2) Ие а (Ь) < 0, а (Ь) =0 У е [0,1].

Следуя методу регуляризации С.А. Ломова [2,7], введем дополнительную переменную

П = 1 [' а (в) 4в = (3

£ } 8 £ и вместо задачи (1) рассмотрим «расширенную» задачу

eтдш! + a (t) = a(t)V t s,n,e) +

+ fs Ko (t, x) V (x, s, ^, e) dx, V (s, s, 0, e) = 1

(4)

для функции V (t, s,n,e) такой, что функция V (t,s,e) = V (t,s, ,e является точным решением задачи (1). Однако задачу (4) нельзя считать полностью регуляризованной, так как в ней не произведена регуляризация интегрального оператора

JV (t, s, n,e) = J (V (t, s, n, e) \t=xn=ф(^) = )

= Jt Ko (t,x) V (x,s, ^,e)dx. £ (5)

Как было показано в [1], для его регуляризации надо ввести пространство Ы£, инвариантное относительно интегрального оператора J (см. [1], стр. 62). Делается это так. Введем сначала так называемое пространство «безрезо-нсшсных решении».

U = {v (t, s,n) : v (t, s, n) = vi (t, s) en + vo (t, s),

vo (t,s) ,vi (t,s) e C™ (0 < s < t < 1, C)}. (

В качестве M£ возьмем клacc U\ = V(t,s). Надо показать, что образ

П £

[t ( ф (x s)\ Jv (t,s,n) = J (v (t,s,n) \t=x,n=v(x,s)/^ = J Ko (t,x) v i x,—J—jds, (7)

11 рбдст^влябтся рядом виде

оо

(г(к)(г,8)еп + 4к)(1,8)) ^, к=о $

асимптотически сходящимся к IV при £ ^ +0 (равномерно по (г, 8) €

{о < 8 < г < 1}).

Подставляя элемент V (г,8,ц) = V\ (г, 8) еп + Vо (г, 8) пространства (б) в (7), будем иметь

[* [* 1 х ■IV (г,8,п)= Ко (г,х) VI} (х,8) ¿х + Ко (г,х) VI (х,8) е$

/; а(в)"в¿х (8)

«/в ¿в

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

* , , , ,1 гх _ , , . 1 гх

I* Ко (г, х) V! (х, 8) е1 г а(в)"в¿х = £ £ ^ХтVI (х, 8) ¿хе$ £ а(в)"в =

= £ = £

V1 (х,8) е^ а(в)"в^ - £ (V! (х, 8^ е$Га(в)"в¿х =

£ И дХ V! х 8)) е1 £ °'(в)"в±х.

а(х) ^^^ \х=в

V! е- V! (8,8)

(х)

Продолжая этот процесс далее, получим ряд

- * ^ /. ч / Ч 1 Гх а(

I Ко (г, х) V1 (х, 8) е$ X, а(в)"в¿х =

= Еш=о (-1)т £т+1[(1т (Ко (г,х) V! (х,8)))х=* е$г а(в)"в- (9)

- (1т (Ко (г,х) V! (х,8)))х=&], где ввбдбны онбр^торы •

I0 = , 11 = ——10, Iт = — Iт-! , т > 2. а (х) а (х) дх а (х) дх

Нетрудно показать (см., например, [10], стр. 291-293 ), что ряд, стоящий в правой части равенства (9), сходится асимптотически при£ ^ +0 к интегралу *

[ Ко (г,х) V1 (х,8) е1а(в)"в(1х

(равномерно по (г, 8) € {0 < 8 < г < 1}). Тем самым, показано, что класс Ы£ = и \ = ■ф(г) асимптотически инвариантен относительно оператора I.

Класс Ы£, инвариантный относительно оператора 3, позволяют произвести регуляризацию этого оператора, используя его образ на элементе класса Ы£. Делается это так. Введем операторы

Яо (у (Ь, в, п)) = ¡8 Ко (Ь, х) Уо (х, в) бх,

Ят+1 (V (Ь, в,п)) = (-1)т [(Iт (Ко (Ь, х) V! (х, в)))х=4 еп- (10)

- (Iт (Ко (Ь,х) V! (х,в)))х=а],ш > 0.

Эти операторы называют операторами порядка (по е); они являются коэффициентами при соответствующей степени ет+1 в Зу (Ь, т, п) .Используя Ят, оператор Зу (Ь,т,п) можно записать короче:

/ то

Зу (Ь, в, п)= I ЯоУ (Ь, в,ц) + ^2 ет+1Ят+1 V (Ь, в, п)

\ т=о / п=

Пусть теперь У(Ь,в,п,е) — произвольная непрерывная по

(Ь,в,п) е {0 < в < Ь < 1} х П (П = {п : Иеп < 0}) функция, имеющая асимптотическое разложение

то

У(Ь,в,п,е) = ^2 £кУк (Ь,в,п), Vk (Ь,в,п) е и, (11)

к=о

сходняттт^ббся при е ^ +0 (равномерно по (Ь, в, п) е {0 < в < Ь < 1} х П). Тогда образ 3У(Ь, в,п, е) разлагается в асимптотический ряд

то то г

3У(Ь, в, п, е) = ^2 ек 3ук (Ь,в,п) = ^ ег^2 Яг-к Ук (Ь,в,п )\п= ф&оа ■ (12) к=о г=о к=о

Равенство (12) является основанием для введения следующего понятия.

Определение 1 Формальным расширением оператора 3 назовем оператор 3, действующий на каждую функцию V(Ь, в, п, е) е С({0 < в < Ь < 1} х П) (е ^ +0) вида (6) по закону

то то r

JV(t,s,n,e) = J£kVk(t,s,n)) ^E Rr-kVk(t,s,n). (13)

k=0 r=0 k=0

Из (12) следует асимптотическое равенство

(JV(t,r,e)\v=tit) = JV(t,n,e)n=ш(e ^ +0),

которое показывает, что введенный нами оператор I действительно является расширением оператора I. Хотя оператор I определен формально, его полезность очевидна, так как на практике обычно строят Ж-е приближение асимптотического решения (11), в котором будут участвовать лишь Ж-е частичные суммы ряда (11), имеющие не формальный, а истинный смысл. Теперь можно записать задачу, полностью регуляризованную по отношению к исходной задаче (2):

£+ а (г) = а(г)У (г, 8,п,£) +

+ ]У(г,8,П,£) ,У(8,8, 0,£) = 1,

где ЗУ (г, 8, п, £) имеет вид (13).

3 Разрешимость итерационных задач

Определяя решение этой задачи (14) в виде ряда (11), получим следующие итерационные задачи:

dv

L vo(t,s,n) = - a(t)v° - Rvo = 0,vo(s,s, 0) = 1; (15o)

dv

Lvi(t,s,n) = -+ Riv0,vi(s,s, 0) = 0; (15i)

dv

L V2(t,s,n) = —dt + Rivi + R2Vo,V2(s,s, 0) = 0; (162)

L vk (t, s, n) = - ^dt1 + Rivk-1 + R2vk-2 + ... + Rk vo, vk(s,s, 0) = 0,k > 2.

(15k)

и.

задач (15к) можно предствить в виде

дv

Ь v(г,8,п) = а(г) — - а(г^ - Rоv = Н(г,8,п),Уо(8,8,0) = Ь, (16)

где Н (г, 8, п) = Н\ (г, 8) еп + Но (г, 8) € и — известная правая часть задачи (16), а ^ - оператор, действующий на каждую функцию (6) пространства и по закону:

д Г*

R0 (VI (г, 8) еп + VI} (г, 8))= Ко (г,х) VI} (х,8) (х.

В пространстве и введем скалярное (при каждом (г, 8) € {0 < 8 < г < 1} ) произведение

(V, ш) = (V1 (г, 8) еп + Уо (г, 8) , Ш! (г, 8) еп + Шо (г, 8)) = = V! (г, 8) • Ш! (г, 8) + V!) (г, 8) • Шо (г, 8) . Имеет место следующее утверждение.

Н (г, 8, п) =

=Н! (г, 8) еп + Но (г, 8) уравнения (16) принадлежит, пространству и. Тогда

и

точно, чтобы

(Н (г,8,п), еп) = 0 ^ Н! (г, 8) = 0 (V (г, 8) € {0 < 8 < г < 1}). (17)

и

лучим равенство

а (г) v! (г, 8) еп - а (г) v! (г, 8) еп - а (г) v0 (г, 8) -- /в Ко (г, х) v0 (х, 8) (х = Н! (г, 8) еп + Но (г, 8).

Приравнивая здесь отдельно свободные л е и ы коэффициенты при экспоненте, получим уравнения

0-v! (г, 8) = Н! (г, 8), -а (г) v0 (г, 8)-^ Ко (г, х) v0 (х, 8) (х = Но (г, 8). (18)

Второе уравнение (18) является интегральным уравнением типа Вольтерра; оно однозначно разрешимо в пространстве С(0 < 8 < г < 1, С) . Для разрешимости первого уравнения (18) в этом пространстве необходимо и достаточно, чтобы Н! (г, 8) = 0, т. е. чтобы выполнялось условие (17). Теорема доказана.

Замечание 1. При выполнении условий 1) и 2), а также условия 17 уравне-

и

V (г,8,п) = а (г, 8) еп + vо (г, 8), (19)

где а (г, 8) € Сж (0 < 8 < г < 1, С) — произвольная функция, v0 (г, 8) — решение интегрального уравнения (18).

Не будем формулировать теорему об однозначной разрешимости общей итерационной задачи (16). Заметим, что применение теоремы 1 к двум последовательным итерационным задачам (15к) и (15к+!) приводит к однозначному вычислению решения итерационной задачи (15к) в пространстве и. Покажем это на примере задач (15о), (15!) и (152)-

Решение уравнения (15о) имеет вид суммы (19). Поскольку в (15о) отсутствует неоднородность Н(Ь,в,п), то интегральное уравнение (18) будет однородным и поэтому уо (Ь, в) = 0, а само решение (19) принимает вид уо (Ь,в,п) = а (Ь,в) еп. Подчиняя его начальному условию уо(в,в, 0) = 1, найдем, что а (в, в) = 1. Таким образом, рбШбНИб (15о) будет запи-

сано в виде уо (Ь, в,п) = а (Ь, в) еп, где функция а (Ь, в) найдена лишь в точке (Ь, в) = (в, в) . (15!):

Ь в, п) = -дг + Яц>о, У!^, в 0) = 0 * * ЬУ!(г,в,п) = -^е + Г^Ма (Ь,в) еп - К^

(20)

—I— -- 4 ' ' Г Л/ I Т С? 1 /У'/ - -—

дЬ

и

тогда, когда выполняется условие - дадЬ8 + КаЬ~Ь)а (Ь, в) = 0. Присоединяя к нему начальное условие а (в, в) = 1, найдем однозначно функцию а (Ь, в) = = ех^|/8 Ко}(°хXбх| , а значит однозначно построим решение уо (Ь,в,п) = =а (Ь,в) еп задачи (15о) в пространстве и. При этом задача (151) будет уже неоднородной:

Ь щ^,в,п) = -^е" + [К^Ь-а (Ь, в) еп - К^ = - Ка8г <Мв,в, °) = °

Поскольку в правой части этого уравнения отсутствует коэффициент при экспоненте еп, то условие (17) выполнено и мы можем вычислить решение этого уравнения (см. формулу (19)):

У1(Ь, в, п) = а1 (Ь, в) еп + Уо (Ь, в), (21)

где а1 (Ь, в) е Сто (0 < в < Ь < 1, С) — произвольная функция, уо (Ь, в) решение интегрального уравнения типа Вольтерра:

-а (ь) уо (ь, в) - ¡8 Ко (ь, х) уо(х, в) бх = - Ка881 * * Уо (Ь, в) = ЦЩУо (х,в) бх + К^. [ }

Сто (0 < в < Ь < 1 , С) Подчиняя (21) начальному условию у1 (в, в, 0) = 0, получим уравнение

Ко (в, в) Ко (в, в)

а1 (в, в) + °2\\ ] =0 * а1 (в, в) =--. (23)

а2 (в) а2 (в)

Для окончательного вычисления функции (21) надо перейти к следующей задаче (152):

ду

Ь У2(Ь,в,п) =--дЬЬ1 + Яу + Я2Уо,У2(в,в, 0) = 0.

Учитывая вид операторов R! и R2:

R! ыг, 8)еп + мг, 8)) = ^V! (г, г) еп - К^V! (8,8)

^ Ыг, 8)еп + vо(г, 8)) = - (I! (Ко (г, х) V!(x, 8)))х=* еп+ + (I! (Ко (г,х) V!(x,8))) х=а ,

выделим в правой части уравнения (152) коэффициент при экспоненте еп. Он будет таким:

- да (г, 8) + а! (г, 8) - (I! (Ко (г, х) а(х, 8)))х=* = 0, (23!)

где а (г, 8) = ехр | — известная функция. Присодиняя к этому

а! (г, 8)

значит, построим однозначно решение (21) задачи (15!). Аналогично вычисляются решения в пространстве и следующих итерационных задач (15к) при & > 2.

4 Асимптотическая сходимость формальных решений уравнения (1) к точному

Применяя теорему 1 к итерационным задачам (15k), вычислим однозначно их решения Vk (t, s, п) в пространстве ^.Обозначим N — ую частичную сумму ряда (11) через SN(t, s, п, s) а терез veN(t, s) = SN(t, s, ^^, s) — сужение этой суммы на регуляризирующей перменной (3) (т.е. при п = )■ Нетрудно доказать следующее утверждение (см. [1], с. 143).

Лемма 1 Пусть выполнены условия 1) и 2). Тогда функция veN(t,s) явля-

N,

она удовлетворяет задаче

s^ = a(t)vEN + fs Ko (t, x) veN (x, s) dx + sN+1FN(t, s, s), )

veN (s,s, 0) = 1, (s,t) e {0 < s < t < 1} , (

где \\Fn(t, s, s)||^(0<s<t<i) < F(F > 0— постоянная, не зависящая от s при s e (0,s0],s0— достаточно мало).

Для оценки разности V (t,s,s) — v£n (t,s) между точным и приближенным решением задачи (1) надо рассмотрть интегро-дифференциальную задачу

dz

s— = a(t)z + K0 (t,x) z (x,s,s) dx + H(t,s,s), z(s,s,s) = 0, (24)

dt J s

где Н(Ь, в,е) € С (0 < в < Ь < 1, С)- известная функция. Эта задача при каждом £ > 0 имеет единственное решение х = х (Ь,в,е) € С1 (0 < в < Ь < 1, С) и надо оценить норму решения через правую часть Н (Ь, в, е). Введем еще одну неизвестную функцию

и(Ь, в,е) = ! К0 (Ь, х) х (х, в, е) бх.

Дифференцируя ее по Ь, получим интегро-дифференциальную задачу:

Щр = Ко (ЬЛ) х (г,в,е) + £ » х (х,в, е) бх,

и (в, в, е) = 0.

В итоге для вектор-функции и = {х,и} получим интегро-дифференциальную систему

d^{t,s,e) I a(t) 1 \ , / 0 \

^ 0 0J + (м)+

+sfA sk^.. + ( H (t'ns'e) U {s,s,s) = 0.

(26)

п , KM z (XtS^£) dx ) \ 0

Обозначим через Y (t, x, s) матрицу Коши дифференциальной задачи dY(t£,e) / ^ J |Y(t,x,s),Y(x,x,s) = 1,0 < s < t < 1.

i a(t) 1 1

Матрица A (t) = ( 0 0 ' является матрицей простой структуры со спектром {a (t) , 0} . Так как спектр {a (t) , 0} матрицы A (t) лежит в полуплоскости Re Л < 0, то матрица Y (t,x,s) равномерно ограничена (см., например, [10], стр. 119-120), т. е.

\\Y (t,x,s)\\ < c0 = const (У (t,x,s) e {0 < s < t < 1} x {s > 0}).

Обратим с помощью этой матрицы систему (26); получим интегральную систему

u(t, s, s) =

= ftY (t,x,s)ll 0 + ( dK0(x,Q 0 ))dx =

\Д K0 (x, x) z (x, s,s) ) \ 0>)t z (i, s, s) d£ J J

t H (x, s, s)

+U Y (t,x,s)[ { ^ ) dx.

Переходя здесь к нормам, получим интегральное неравенство относительно нормы ||(х> (г, 8, £) || . "«^ЧИТТЬТТВсЬЯ равномерную ограниченность матрицы У (г, х,е) , а также непрерывность функций Ко (г, 8) и дКо(Х & (а значит, их ограниченность) и применяя неравенство Гронуолла-Беллмана, получим при достаточно малых £ € (0,£о] оценку

1

\Ш\г,8,£)11С({о<а<г<!}) - £

Н (х, 8,£) 0

С ({о<а<¿<!})

из которой вытекает оценка

11х(г, 8, £)||С({о<а<<!}) < £ 1Н (х, 8, £)||С({о<а<<!}). (27)

Доказано следующее утверждение.

Лемма 2 Пусть выполнены условия 1) и 2). Тогда решение г(г,8,е) задачи (25) существует, единственно при достаточно малых £ € (0,£о] и удовлетворяет оценке (21), где постоянная с! > 0 не зависит от £ при достаточно малых £ € (0, £о] .

Применим эту лемму для доказательства следующего утверждения.

Теорема 2 Пусть выполнены условия 1) и 2). Тогда задача (1) однозначно разрешима в классе С!([0,1],С) и для ее решения V(г,8,£) справедлива оценка

№ (г, 8, £) - v£N (г, 8)\\с (о<а<г<!) < см £М+!, N = 0, 1, 2,...,

где постоянная см > 0 не зависит от £ при £ € (0, £о](£о > 0 достаточно мало).

Доказательство. Задача (1) однозначно разрешима, так как она приводится к задаче (24) заменой V - 1 = г. Для разности Ам(г, 8, £) = V(г, 8,£) - v£N(г, 8) получаем задачу

£ ^¿Т2 = а(г)Ам (г, 8, £) + Ц К (г, х)Ам (х, 8, £)(1х--£М+!Ем(г, 8, £), Ам(8, 8, £) = 0.

Она имеет вид задачи (24) с неоднородностью Н(г,8,£) = -£М+!Рм(г,8,£). По лемме 2 справедлива оценка

\\Ам(г,8,£)\\с(о<а<г<!) = ^(г,8,£) - "У£М(г,8)\\с(о<а<г<!) <

< ££М+!\\Гм(г,8,£)\\с(о<а<г<!) < СоРм£М = См-!£м,

а значит для АN+!(г, 8, £) = V(г, 8, £) - v£,N+!(г, 8) будет иметь место оценка

\\АN+!(г,8,£)\\с(0<а<t<!) =

= \\^ (г,8,£) - V£N (г,8)) - £N+!VN+!(г,8, Ф (^8))\\с (0<а<г<!) < СN£N+!. Отсюда получаем, что

СN > \ ^ (г,8,£) - V£N (г,8)\\с (0<а<г<!) - £N+!\\vN+!(г, 8, Ф (г,8)) \ \ с (0<а<<!),

или

I | V(t,s,£) - VeN(t,s) 11 C(0<s<t<1) < CN£N+1,

где cn = cn + Vn > 0, | | VN+1(t,s, ) 11C(0<s<t<i) < Vn, причем постоянная cn не зависит от £ Е (0, £о], где £0 > 0 достаточно мало. Теорема доказана.

5 Построение регуляризованного асимптотического решения задачи (2)

Рассмотрим теперь задачу (2). Подставим в нее асимптотическое решение

то

v (t,s,V,£) = J2 £' ^ (t, s) en + v0k) (t, s)) (28)

k=0

задачи (1). Получим интегро-дифференциальное уравнение

£i = b (t) y + Т,Г=0 £k Ю (v(k) (t, s) e11' + vf> (t,s)) x xK (t, s) У (s,£) ds + h (t) ,y (0,£)= y°.

Введем обозначения:

K (t,s) v(k) (t,s) = Kik (t,s), K (t, s) v(k) (t, s) = Ko,k (t,s) ,k = 0,1, 2,....

toгдл^£l 3сьдт^сьч^£l ^ 2 9^ i 161и111ется te> тзтигдт^сз

£ % = b (t) У+

+ ETO=o £k Ю e1 fs a(°dKikk (t, s) y (s, £) ds+ (30)

+ ZTO=o £kl0 Ko,k (t, s) y (s,£) ds + h (t), y (0, £) = yQ.

https://doi.org/10.21638/11701/spbu35.2024.202 Электронный журнал: http://diffjournal.spbu.ru/ 21

(29)

Получена ннтегро-дифференциальная система с быстро и медленно изменяющимися ядрами интегрального оператора. Эта система более общая, чем система, рассмотренная в [6], так как в ней ядра являются асимптотическими рядами по е (тогда как в [6] в ядре стоит только одно слагаемое к (Ь, в)). Задачу (30) будем рассматривать при условиях 1)-2). Кроме того, будем пред-110лсЬГсЬТьчто выполнены требования:

3) функции Ь (Ь) € С™ ([0,1]) И Н (Ь) € С™ ([0,1]);

4) а (Ь) = Ь (Ь), а (Ь) ,Ь (Ь) = 0, Ие а (Ь), Ие Ь (Ь) < 0 УЬ € [0,1] .

Обозначим а (Ь) = Х2 (Ь) , Ь (Ь) = Х1 (Ь) и введем регуляризирующие переменные

е3о " ' ' е

Для расширения у = у (Ь,т,е) решения уравнения (30) получим следующую задачу:

щ = - [* \з (х) бх = ^ =1, 2.

еI + Щ ^ (Ь) Щ - £Г=о екЗкУ (в, ^,е) = Н (Ь), У (0,е) = У0, где обозначено:

Зку (Ь, т, е) = З^ку (Ь, т, е) + Зо,кУ (Ь, т, е), 31, к у (Ь,т,е) = /0 е1Г К, к (Ь,в) у (в, ,е) бв, Зо , к у (Ь, т, е) = /0 Ко , к (Ь, в) у (в, ^ ,е^бв, к > 0, или, более подробно,

(31)

е т (Ь) дт -

- ЕГ=о ек Ю е1 £ -О"К1к (Ь, в) у (в, ^ ,е) бв-

- ЕГ=о ек Ц Ко,к (Ь, в) у (в, «,е)3в = Н (Ь), у (0,0е) = уо.

(31а)

Однако здесь не произведена регуляризация интегральных операторов 3\_, к у (Ь,т,е) и Зо, к у (Ь,т,е). Для регуляризации этих операторов введем пространство М£, асимптотически инвариантное относительно оператора Зг, к у (в,т,е) (к = 0,1)(см. [1; гл. 2,§ 6]).

Определение 2 Будем говорить, что вектор-функция

ш(Ь,т) = {ш1, ...,Шп}

У,

т(г, т) = Шо (г) + Ш! (г) еТ1 + (г) ет2,Шз (г) € С™ ([0,1]), 3 =0, 1, 2. ( )

Заметим, что здесь т2 = ! /0 а (х) (х = Ф(£00). Подставим вместо у эту функцию в каждый интегральный оператор, входящий в 3 , к у (8,т,£). Будем иметь

= ¡о е* ¡*Х2(х)ЛхК!кк (г, 8) (ш0 (8) + ш! (8) е1£ МФх + ^ е1 Ю ЧФ^ (8 =

3! к к ш(г,т) = = ¡о е 1¡! Л2(х)

= ¡0 е1 ^ Л2(х)ЛхК! к к (г, 8) Шо (8) (8 + е * Я Л2 (хУ1х ^ К! , к (г, 8) Ш2 (8) (8 +

С1 *

+ е У* Л2ШхК! к к (г, 8) Ш! (8) е1 £ Л1Шх(8 =

= е1 /о Л2Шх ^ К!, к (г, 8) Ш2 (8) (8 + /о е1 Л2х)3-хК! к к (г, 8) Шо (8) (8+ +е1 /о Л2(хУ1х ¡0 е-* Я Л2(х)ЛхК!,к (г, 8) ш! (8) е1Ю (8

Применяя операцию интегрирования по частям, получим

/0 е11кЛ2(х^'хК!,к (г, 8) Шо (8) (8

= _£ кг К!,к(г,а)то(а) ( 1 ¡* Л2(х)3,х _ = ^0 Л2(а) (е* ' =

=£

о Л2(а) Км(г,0)юо(0) е 1 г* Л2(х)с1х _ Кик(Щ<шо(г)

Л2 (0) е * Л2(г)

+

+£ кг е 1 к! Л2.(хМх д К1,к(гка)Ыа) = Jо е* * да Л2(а) аЬ =

=£

К1,к (г, о)то(о) е 1 г* Л2(х)с1х_К1,к(г,г)то (г)

Л2 (0) е Л2(г)

I _2Г/ ! д К1,к(г,а)то(а)\ 1 Г* Л2(

+£ ^л^ да Ш ) =0 е * 0 -

+

! д К1к(г,а)мо(а) \ ] +

Л2(а) да Л2(а) у =

+£2 Гг е 1 к! Л2(х)ЗхА (

Jоe* * да ^Л2(а) да Л2(а) ) (Ь

= Е™=0 £т+1 [(12т Кк (г, 8) Шо (8)))=о е*к° Л2(х)'х-- (12т (К!кк (г, 8) Шо (8)))=]

гдб ввбдбны онбр^торы •

то = ! т! = ! д_ то 12 = Л2(а) ,т2 = Л2(а) даТ! , тт = ! д тт-! т \ 2 т2 = Л2(а) да т2 ,т ^ 2.

(33)

о

Далее имеем:

е* /0 мШх ^ е-НО Ы*№К1}к (Ь, в) Ш1 (в) е1£ А1Шхбв еиО \2Шх К1кк (Ь, в) ш1 (в) е** ¡¿(Ы^-Н^бв =

ее* 0 Jо Л1(з)-Ло(з) ае*

= ее 1 ¡0 м(х)(1х

ее * 0

__х)-А2(х))ах

о \1(в)-\2(в) ....." "' ' "

х)-А2(х ))йх_К1к(г, о)т1(о)

\1(г)-\2(г) е* \Ло)-\2(о)

_ер* /0\2(х)3,х Гг е 1 /0;(\1(х)-\2(х))3х (дКмМ^М} Ио =

ее * 0 Jоe * 0 I д8 А1ы-А2 (8) аЬ =

= Е ет+1 (-1)т [(т К к (Ь, в) Ш1 (в))= е1£ А1(х)*х) - (1т2 (К1,к (Ь,в) Ш1 (в))=о е1 /оА2(х^],

где ввбдбны онбр^торы •

то = 1 т 1 = 1 д то

11,2 = А1(8)-А2(8) ,т1,2 = А1(8)-А2(8) д8 т1,2,

т V = 1 д тV-1 1/> 2

Т 1,2 = А1(8)-А2(8) д8 т 1,2 > 2

(34)

Таким образом, для произвольной вектор-функции (32) будем иметь

З1кш(Ь, т) = е* /оА2(х)^ /о К1,к (Ь, в) Ш2 (в) бв+ + Ет=о ет+ (-1)т [(ттт Кк (Ь, в) шо (в)))^ е* /о А2(х^х-

- (¡т (К1к (г, в) шо (в)))=]+ (35)

+ Еет+1 (-1)т [ (т (К1к (Ь, в) Ш1 (в))= е1 Го А1 (х)*х) -

( 8=г

- Кк (Ь, в) Ш1 (в))=о е* Я А2(х)ах)].

Произведем теперь регуляризацию интеграла с медленно изменяющимся ядром:

■Зо,ку (Ь, т, е) = ¡о Ко,к (Ь, в) у (в, ^, е) бв = = ^ Ко к (Ь, в) (шо (в) + Е2=1 ш3 (в) е1 /о Абв = = /о Ко,к (Ь,в)шо (в) бв+ + /г Ко к (Ь, в) (Е?=1 Шщ (в) е * /о А;(х)^ бв. Вновь используя операцию интегрирования по частям, придем к следующему

ряду:

/0 Ко,к (г, 8) Шо (8) (8 + + к Ко,к (г, 8) (8) е1 /о Л(8 =

= ¡ог Ко,к (г, 8) Шо (8) ((8+ (36)

= Е2=! Е™=о (-1)т £т+![(!Г (Кокк (г, 8) Ш3 (8)))= е1ЯЛ(фх-

- (/т (Ко,к (г, 8) (8))) =0},

гдб ввбдбны онбр^торы •

то = ! т! = ! д_ то

\ (а) , тз Лэ (а) да10,з, (37)

Ч Лэ(а'У 3 Лэ (а) да 0,3'

т т _ ! д т т

Ч = Лэ (а) да тз

тт = ! _д_ тт-! 3 = 1 2 т > 2 тз = Л, (а) дат 3 , 3 = 1, 2, т — 2.

Нетрудно показать, что ряды, стоящие в правых частях равенств (35) и (36), асимптотически сходятся при £ ^ +0 к соотвествующим интегралам (равномерно по г € [0,Обозначая через Ят,к : У ^ Уоператоры порядка (по £), действующие на каждую функцию (32) по закону

ЯокШ (г, т) = еТ2 К!,к (г, 8) Ш2 (8) (8 + + /о Ко,к (г, 8) Шо (8) (8;

Ят+!,кШ (г, т) = [(тт Кк (г, 8) Шо (8)))=0 еТ2

- (тт Кк (г, 8) Шо (8)))=] +

+ -1)т [(т (К!к (г, 8) Ш! (8))=г еТ1) -

- (т (К!,к (г, 8) Ш! (8))а=о е^] +

+ Ч (-1)т № (Ко к к (г, 8) Шз (8))) = еТэ

(38)

3=!\ V к ^3\*)))а=г

Ч (Кок к (г, 8) Шз (8))) =0]

где операторы Гт, и Ч вычисляются по формулам (33),(34) и (37) соответственно. Тогда образ 3кш (г, т) можно записать кратко в форме

3к ш (г, т) = 3! к к ш (г, т) + 3о к к ш (г, т) = ^ £тят, к ш (г, т).

т=0

Пусть теперь некоторая вектор-функция у (г,т,£) , непрерывная по (г,т) € € [0,Т] х П (П = {Ие тз < 0,3 = 1, 2}), представляется в виде ряда

у (г,т,£) = Е 1=о £У1(г,т) , (39)

у1 (г,т) = ш(1) (г) + Е2=! з (г) еТ> € у, ( )

сходящегося асимптотически при е ^ +0 (равномерно по(Ь,т) € [0,1] х П). Подставляя ее в интегральные операторы системы (31), будем иметь

Е ек Зк у (в, ,е( = к=о К 7

Е Е Е Е

= Е Е ек+1 Зк ух (Ь, т) = £ Е Ко к ух (Ь, т) +

к=о х=о х=о к=о

Е.

+ Е еГ Е Кт,кух (Ь,т) =

г=1 к+Х+т=г

Е

= Е еГ Е Ет,кух (Ь,т) ,

г=о к+Х+т=г

где т = ф (Ь) /е.

Определение 3 Оператор Зу = £Е=о ег^2к+х+т=г ^т,кух (Ь,т) будем называть формальным расширением интегрального оператора

Е к г, (. ф (в! Л.

^ /

J2sk Jk y (s' k=0 ^

Теперь можно записать задачу, полностью регуляризованную по отношению по отношению к (30):

eit+£Xj1 dj -Xi {t) у - JJ=h {t), J ^ 0'£)=y°- (40) j=i 3

Подставляя ряд (39) в (40) и производя приравнивание коэффициентов при одинаковых степенях получим следующие итерационные задачи:

Fyo = Xj (t) dj - Xi (t) Уо - Ro,oyo = h (t), yo (0, 0) = y°; (41o) 3=i Tj

Fyi = - "dt + Ro + Roi)yo,yi (0,0) = 0; (4ii)

Fyr = -+ £ Rmkyx (t,T) ,yr (0,0) = 0, (41r)

k+X+m=r

Каждую пару итерационных задач (41r), (41r+i) можно записать в виде

Fy = A3 (t) дТ - Xi (t) y - Rooooy = f (t,T) ,y (0,0) = y„ (42)

3=1 3

Fv = -dy + (Ri,o + Ro,i)y + 9 (t, т), (43)

где f (t, т) = f0 (t) + fj (t) eTj, 9 (t, т) = g0 (t) + 9j (t) eTj- известные функции класса Y. Здесь так же, как и в п.1, нетрудно доказать следующий результат.

Теорема 3 Пусть выполнены условия 1 )~4) и функция f (t,T) Е Y. Тогда для разрешимости системы (42) в пространстве Yнеобходимо и достаточно, чтобы

f (t,T) | eT1 ) = 0 ^ f (t) = 0 Ш Е [0,1]. (44)

При выполнении условий (44) и при дополнительном требовании

- dt + (Rio o + Ro ,i)y + 9 (t,T)

enJ = 0 (45)

Y.

Здесь через (* | *) обозначено скалярное (при каждом г € [0,1]) произве-

ДТ^СЗНТИТСЗ В ^^ •

(I(г,т) i д(г,т)) = £I (г)д(г).

з=о

Обращаем внимание на то, что в (44) и (45) в умножении участвуют только функция еТ1, так как функции типа д2 (г) еТ2 не входят в ядро оператора

Ру (г)д; - Ъ (г)у■

И, наконец, обозначая через у£N (г) = ^ 1Г= £гуг (г, суженне Ж-й частичной суммы ряда (39) при т = ф (г) /£ = (ф! (г) /£, ф2 (г) /£) , докажем так же, как и в [10], стр. 303-308) оценку

\\у (г,£) - у£М (г)\\с[о к^ < им£м+!, м = 0,1,2

где постоянная МN > 0не зависит от £ € (0, £0] (£0 > 0-достаточно мало).

6 Построение главного члена асимптотики. Пример

Развитый нами алгоритм позволяет получать асимптотику решения исход-

£

связано с громоздкими выкладками. На практике обычно ограничиваются

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

4 = А! а) у+

1 ^л.(в)М„,. ^ г (0) (г л , (г 81, у

+ J ем(в)мК (г, 8) ^ (г, 8) + ец!1 (г, 8)^ у (8,е) ¿8+ (46)

+ [ К (г, 8) (у0о) (г, 8) + еу^ (г, у 8 е) ¿8 + к (г), у(о, е) = у0.

Здесь в уравнении (30) удерживается только асимптотика первого порядка фундаментального решения V(г, 8, е):

г

- (У^ (I, 8) + ЕУР (I, 8^ е+ (у00) (I, 8) + ЕУО1

уЕ1 (г, 8) - ^ (г, 8) + е»!1 (г, 8)) е~е ^ + (»0О) (г, 8) + еуО1 (г, 8)) =

г

= (а (г, 8) + еу[1] (г, 8)) е^Л2'в + еу01} (г, 8),

где а (г, 8) - функция (200) , а1 (г, 8) — решение задачи (23) — (231) , у0 = =у^ (г, 8) — решение интегрального уравнения (22). Надо решить две первые итерационные задачи:

Еу{) - ^ А, (г) ^ — А1 (г) у0 — Я0,0у0 = к (г), у0 (0,0) = у°; (470)

з=1 3

Ру1 = — дг + (ЯЮ + Е01)у0,у1 (0,0) = 0, (471)

где

Я.00,у0 (г,т) - В«,« (у?' (г) + ¡2=1 у(" (г) ет>) =

= ет2 ¡0 К1,0 (г, 8) У^ (.8) ¿8 + Ц К0,0 (г, 8) у00 (8) ¿8;

ЯШ0 (г, Т) = [(120 К,0 (г, 8) уГ (8)))^ ет2—

— (10 К0 (г, 8) у0°> (8)) )

+ [('0,2 У К ,0 (г, 8) уГ (8)) еТ ) —

— (10,2 К ,0(г,8) уГ (8)) е) ] +

+ Е2=1 [('0 (К«,0 (1,8) у),(8)))^ ет

— (3 К.0 (г, 8) ^у1^' (8))) '

1 Напомним, что Л1 (Ь) = Ь (Ь), Л2 (Ь) = а (Ь).

г г

Я° ,!Уо (г, т) = еТ21К!! (г, в)у2° (в) йв +1 Ко к ! (г, в)у°0} (в) йв. оо

Применяя разработанный алгоритм, построим главный член асимптотики решения задачи (2):

У°£ (г) = У°0) (г) + № (г) е*0 Х1(^ + У20) (г) е*0 М^, (48)

где у^0 (г) — известная функция, вычисляемая в процессе решения задачи (47°), у°° (г) = --щ!), а функция (г) вычисляется из условия разрешимости уравнения (47^ в пространстве2 У :

дУ° , Я , Я )у ^ \ _ 0 „ / ^ , Я у _ 0,

+ (Я!к о + Я°к !)у° 1еТ^ _ 0 "дг + Я!'оу° 1еТ

\ дг

у° _ у° (г, т) = уГ (г) + № (г) еТ1 + у№ (г) еТ2. (48°)

Из (48) видно, что влияние интегрального оператора на структуру главного члена асимптотики решения задачи (2) осуществляется через опера-

торы К!° (г, г) = К (г, г) у^ (г, г), к°к° (г, г) = к (г, г) у°° (г, г), входящих

Я! к °у°(г,т) (т. е. в конечном счете через диагон альное ядро К (г,г)). Если

К(г, г) _ 0,

главного члена асимптотики решения задачи (2), т. е в первом приближении интегродифференциальная система (2) ведет себя так же, как и дифференциальная система £у = X! (г) у + К (г), у (0, £) = у° (влияние интегрального члена проявится при построении высших приближений). Отметим также, что функция у°° (г) является решением вырожденного (в = 0) уравнения по отношению к исходному (46).

Пример. Рассмотрим задачу (1)-(2), в которой ядро К° (г, в) = г - в. То ГДТ^

у^ (г, в) = а (г, в) _ 1, К!0 (г, в) = К (г, в), К°к о (г, в) = К (г, в) у°° (г, в) _ 0, я°к°у (г, т) = = еТ2 00 К (г, в) Яок °у (г, т) у(в) йв, Я!к °у (г, т) =

.(°) (в)\\ еТ1 +

В

= {¡!2 (к (г, в) у® (в)))^ еТ1 + р (г,т2),

2 V-

Учесть, что К0 д у0 ,т) не содержит экспоненту еТ1.

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

Fyo = j xi (t) dj - xi (t) Уо-

(49)

-eT2J0 K (t, s) y£> (s) ds = h (t), yo (0,0) = y0,

Fyi = (hi (K (t,s) y® (sty eT1 + p (t,T2)• (50)

Определяя решение задачи (49) в виде (480) , получим уравнения

-Л! (t) у0О) (t) = h (t), 0 •yf) (t) = 0,

(X2 (t) - Л! (t)) yW (t) = /0 K (t, s) y® (s) ds,

(480)

уравнения (49) в виде

У0 (t,T) = -ht^ вС (t) eT1, (51)

где (if0 (t) E Cж ([0,1] , C)- произвольная функция. Подчиняя (51) начальному условию y0 (0,0) = y°7 найдем, что (0) = y°+^Оу• Для окончательного

вычисления функции (3^ (t) перейдем к задаче (50) Для ее разрешимости в пространстве У необходимо и достаточно, чтобы

(-t + Rioyo \eT1) = 0^< -ft0 (t) eT1 + ■+

+ (lh2 (K (t, s) (f3(0) (sty)s=t eTl +P (t, T2) \e

T1 >= 0•

Производя здесь скалярное умножение, получим дифференциальное уравнение

—^ м + г = 0-

Присоединяя к нему начальное условие (3^ (0) = у° + Л10), найдем окончат л ь н о функцию

0(0) (г) = („0 + Ш\ ехр I ГЬ К {х,х) ¿х!

в = {у + А1 (0)) ехр \I А 1 (х) — А2 (х)•

Значит, главный член асимптотики решения задачи (49)-(50) будет иметь вид

у 0 (г) = _ Ш + (у0 + Ш) еХр ! [' К (хХ Л . е 1 ¡г №

Ш {1> А1 (г) + \у + А 1 (0)) I А1 (х) — А2 (х)Х е '

7 Благодарности

Работа частично поддержана грантом Российского научного фонда (проект №23-21-00496).

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

[1] С.А. Ломов, Введение в общую теорию сингуляярных воззмущений, Москва, Наука, 1981

[2] A.A. Bobodzhanov, V.F. Safonov, Volterra integral equations with rapidly varying kernels and their asymptotic integration, Math. Sb., 192:8 (2001), 53-78, Sb. Math., 192:8 (2001), 1139-1164

[3] V.F. Safonov, B.T. Kalimbetov, Regularization method for systems with unstable spectral the value of the kernel of the integral operator, Differen. Uravn., 31:4 (1995), Differen. Equ., 31:4 (1995), 647-656

[4] S. A. Lomov, Single-valued solvability of some matrix partial differential equations, Matem. zametki(1977),525-530, 21:4 (1977), Math. Notes, 21:4 (1977), 293-296

[5] М.И. Им&налиев, Колебания и устойчивости решений сингулярно возму-щенныых интегро-диффференциальных систем, Фрунзе: «Илим», 1974

[6] A. A. Bobodzhanov, V. F. Safonov, Singularly perturbed nonlinear integro-differential systems with rapidly changing kernel, Matem. zametki, 72:5 (2002), 654-664, Math. Notes, 72:5 (2002), 605-614

[7] C.A. Ломов, И.С. Ломов, Основы математической теории пограничного слоя, Издательство Московского университета, Москва, 2011

[8] V.F. Safonov, O.D., Tuychiyev, Regularization of singularly perturbed integral equations with rapidly varying kernels and their asymptotics, Differen. Uravnen., 33:9 (1997), 1199-1210; Differen. Equ., 33:9 (1997), 1203-1215

[9] A.A. Bobodzhanov, V.F. Safonov, Asymptotic solutions of an integro-differential system with rapidly changing kernels of a special type, Bulletin of the MEI., №6(2011), 47-56

[10] V.F. Safonov, A.A. Bobodzhanov, Курс высшей математики. Сингулярно возмущенные задачи и метод регуляризации: учебное посо-бие7Издательский дом МЭИ, Москва, 2012

SINGULARLY PERTURBED PROBLEMS WITH KERNES DEPENDING ON FUNDAMENTAL SOLUTIONS OF INTEGRO-DIFFERENTIAL EQUATIONS

Bobodzhanov A.A., Bobodzhanova M.A., Safonov V.F.

National Research University «Moscow Power Engineering Institute»,

bobojanova@mpei.ru * bobojanovaMA@mpei.ru ** Singsaf@yandex.ru ***

Abstract. The paper considers a system of two singularly perturbed integro-differential equations (IDEs), the first of which is a homogeneous equation,and the second is an inhomogeneous one, with an integral operator whose kernel contains the fundamental solution of the first IDE. The classical case, when the kernel depends on a rapidly changing scalar exponential, is the subject of a large number of papers (see bibliography at the end of the article). The case of the dependence of the kernel on the fundamental solutions of differential systems was studied in detail in the monograph by A.A. Bobodzhanov and V.F. Safonov "Singularly perturbed integral and integro-differential equations with rapidly changing kernels and equations with digonal degeneration of the kernel", published by Sputnik+ in 2017. As shown in this paper, the difficulty of constructing a regularized (in the sense of Lomov) asymptotics of IDEs is due to the complex structure of asymptotic solutions of fundamental solutions of homogeneous differential equations. The problem of constructing the asymptotics of the fundamental solution of a homogeneous IDE and its influence through the kernel on the regularized asymptotics of a nonhomogeneous IDE has not been studied so far. In the present work, this gap is filled. It first constructs a regularized asymptotics of the fundamental solution of a homogeneous IDE, and then develops an algorithm for constructing an asymptotic solution of a nonhomogeneous IDE. It is shown that (in contrast to the asymptotics with a kernel depending on the fundamental solution of a homogeneous differential equation), the asymptotics of the solution of an inhomogeneous IDE will contain, in addition to rapidly changing terms, also slowly changing components induced by the asymptotics of the fundamental solution.

Keywords: singularly perturbed, integro-differential equations, regularization,fundamental solution asymptotics.

Acknowledgement

The work was partially supported by Russian Science foundation (project №23-21-00496).