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

ВЕСТНИК ОШСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА МАТЕМАТИКА, ФИЗИКА, ТЕХНИКА. 2023, №2

МАТЕМАТИКА

УДК 517.95

https://doi.org/10.52754/16948645 2023 2 6

ОБРАТНАЯ ЗАДАЧА ОПРЕДЕЛЕНИЯ ВРЕМЕННОГО ИСТОЧНИКА В УРАВНЕНИИ ДИФФУЗИИ С ДРОБНЫМИ ПО ВРЕМЕНИ ПРОИЗВОДНЫМИ

Аблабеков Бактыбай Сапарбекович, доктор физико-математических наук, профессор, Кыргызский национальный университет им.

Ж.Баласагына, г. Бишкек e-mail: ablabekov 63@mail.ru Аблабекова Асел Бактыбаевна, аспирантка e-mail: aselya05@mail.ru Расулова Айзат Расуловна, магистрантка e-mail:rasylovaaizat@gmail.com Кыргызский национальный университет им. Ж. Баласагына, г. Бишкек

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

Ключевые слова: обратная задача, задача Коши, дробная производная Герасимова-Капуто, Функция Миттаг-Леффлера, интегральное уравнение.

УБАКЫТ БОЮНЧА-БЭЛЧЭК ТУУНДУЛУУ ДИФФУЗИЯ ТЕЦДЕМЕСИНДЕГИ УБАКЫТТАН КЭЗ КАРАНДЫ БОЛГОН БУЛАК ФУНКЦИЯСЫН АНЫКТОО ТЕСКЕРИ МАСЕЛЕСИ

Аблабеков Бактыбай Сапарбекович, физика-математика илимдеринин доктору, профессор, Ж. Баласагын атындагы Кыргыз улуттук университеты, Бишкек ш., e-mail: ablabekov_63@mail.ru Аблабекова Асел Бактыбаевна, аспирант e-mail: aselya05@mail.ru Расулова Айзат Расуловна, магистрант e-mail:rasylovaaizat@gmail.com Ж. Баласагын атындагы Кыргыз улуттук университети, Бишкек ш.

Аннотация. Бул иште убакыт-боюнча бвлчвк туундулу диффузиянын тецдеме YЧYн Коши маселесиндеги убакытка квз каранды болгон белгисиз булак функциясын x = 0 чекитиндеги кайра аныктоо

шарты менен аныктоо тескери маселеси изилденет. Тескери маселени ueHYY Y4YH убакыт боюнча бвлчвк туундулу диффузиялык тецдемесинин фундаменталдык чыгарылышы колдонулат. Тескери маселе экинчи тYрдвгY эквиваленттYY сызыктуу Вольтерранын интегралдык тецдемеге келтирилет. Кезектеги жакындоо ыкмасын колдонуу менен биз каралып жаткан маселенин чечиминин бар экендигин жана уникалдуулугун далилдейбиз. Чыгарылыштын туруктуулук баалоосу да алынган.

Урунттуу свздвр: тескери маселе, Коши маселеси, Герасимов - Капуто бвлчвк туундусу, Миттаг -Леффлер функциясы, интегралдык тецдеме.

INVERSE PROBLEM OF DETERMINING A TEMPORARY SOURCE IN THE HEAT EQUATION WITH TIME-FRACTIONAL DERIVATIVES

Ablabekov Baktybay Saparbekovich, doctor of physical and mathematical sciences, professor, Kyrgyz National

University J. Balasagyn, Bishkek e-mail: ablabekov_63@mail.ru Ablabekova Asel Baktybaevna, postgraduate student

e-mail: aselya05@mail.ru Rasulova Aizat Rasulovna, master student e-mail: rasylovaaizat@gmail.com Kyrgyz National University J. Balasagyn, Bishkek

Abstract:. The paper investigates the inverse problem of determining the unknown time-dependent source in the Cauchy problem for the diffusion equation with time-fractional derivatives with redefinition at the point x = 0. To solve the inverse problem the fundamental solution of the diffusion equation with time-fractional derivatives is used. The inverse problem is reduced to an equivalent linear Volterra integral equation of the second kind. Using the method of successive approximations, we prove the existence and uniqueness of a solution to the problem under consideration. A stability estimate is also obtained.

Keywords: inverse problem, Cauchy problem, Gerasimov-Caputo fractional derivative, Mittag-Leffler function, integral equation.

Введение. Термин дробное исчисление появился более 300 лет назад. Это обобщение обычного дифференцирования и интегрирования в нецелом (произвольном) порядке.

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

1. Определение дробных проиводных и интегралов.

Введем некоторые понятия, необходимые для дальнейшего исследования.

Определение 1. Дробным дифференциальным оператором Капуто Df порядка а, 0 <а< 1 для дифференцируемой функции f называется оператор, определенный выражением [3,4]:

Df[ f ] (t) = I [ f ' (t )] =

1-i f' T)(t - T)~adT, 0 < а < 1,

Г(1 -а) Jf ( )( ) ' ' (1.1)

f'(t), а = 1

где Г (г) - гамма функция.

Определение 2. Дробным интегральным оператором Римана-Лиувилля порядка а,0 <а < 1 для интегрируемой функции / называется оператор, определенный выражением [3,4]:

(*) = I а[ Г (* )] =

1

—| / (т)(г -т)а-1^т, О

Г (а) О

г

| / (т^т,

<а< 1,

(12)

а = 1.

Определение 3. Двупараметрическая функция ЕаДг) определяемая формулой [3]:

а (2)=Е-

„=о Г(ап + 0) называется функцией Миттаг-Леффлера. Приведем некоторые соотношения, приведенные в [3]:

(а > О, 0 > О)

Е1Д( г) = ег,

Е1Д( г) =

ег-1

Е1 (г) = , Е1 (г) =

'

2

Е1/2,1( г ) = е^еф^у^ X л/я

При 0 = 1 получим однопараметрическую функцию Миттаг-Леффлера:

Еау1 (г) = Е

- Еа(г).

п=0 Г (ап +1)

Обобщение формулы Ньютона-Лейбница, при а, (О < а < 1)

ца^га)=га) -

,а-\

Г(а)

(а-1)

(О).

(1.3)

(14)

(15)

(16)

(1.7) (18)

О

п

г

г

п

2. Постановка задачи. Пусть <2Т ={(xJ):xEЖ,0<t <Т}.

Рассмотрим следующее одномерное аномально-диффузионное уравнение:

Ьи = О/и —ихх= Р{х, ?), (х, (2.1)

с начальным условием

и(х, = (2.2)

где ((х), ¥(х,£) - некоторые заданные функции.

Определение 1. Классическим решением задачи (2.1)-(2.2) в области ( назовем

функцию и=и{х,{) из класса /)"?/(х,I) е (ЦОт), ихх(х,I) е С(()т), которая удовлетворяет уравнению (2.1) при всех {х, начальному условию (2.2) при всех хеК.

Для задачи (2.1), (2.2) справедлива теорема существования и единственности решения.

Лемма 1. Если Р(х^) е Сь(()т), <р(х) е С62(К), то существует единственная функция ы(х,Г) е С62((Г), удовлетворяющее задаче (2.1), (2.2).

Доказательство. Для доказательство этой леммы, используем представление следующей задачи Коши [3]:

Ьи = Б"и — ± ау{х)1^--±Ъ1{х)^-С{х)и = Р{хЛ й-

г,У=1 ОХрХ. г=1 ОХ1

и(х, О ) = м0(1),хе1", которое определяется формулой

u(x,t)= J Z (х- t)u0(Z)d% +

t 0 i" -т) f (4,T)d4dT, (2.3)

где

z (x-4, t) = яп'2 |x-4\пЩ,° 1 t~a\ Y 4\2|(1-a) ^ 1 4 I (n'2,1'2)(1,1) ,

Y (x -4, t - т) = я-'2 \x - (t - т)а-1 H20 1 (t - r)-a \x - $

2 I (a,a) (n'2,1)(1,1)

функция Н является Н - функцией Фокса. Функции Y(х, t) и Z(х, t) связаны формулой Y(х,Г) = (х,Г). (см. [3]).

u( x, t) = t fz(x-g, t)cp{£)d£, + J J Y(x - g, t - T)d£dT. ILP П JJ (2.4)

Отметим, что для функций 2 (х, t), Y(х, t) справедлива оценка

d'Z (x, t) a(1+') ( a 2 ""I < Ct 2 exp j -jt 2-ax2-a I, ' = 0,1,2, (2.5)

dx'

d'Y (x, t)

dx'

a(1+')

< Ct

2

exp \ -jt 2-ax2-a \, ' = 0,1,2,

для x2 > ta; jjj := (2 - a)

a'(2-a) ^ -2'(2-a)

d'Z (x, t)

dx' d'Y (x, t)

и j может выбрано как j

a(1+')

<Ct 2 , i = 0,1,2,

dxi

a('-l)

< Ct

2

, ' = 0,1,2,

для х2 < (х, {) е О.

Для функции 2 (х, t) справедлива

и верно неравенство

где C„ зависит только от a .

| Z(x, t)dx = 1,

к

§Y(x,t)dx = C0ta\ ¿е[0,Г],

Пусть р0 := sup|p(x)|, F0 :=||F||a . Тогда из (2.3), (2.9), (2.10), имеем

xeik

t

|_u (x, t) J < J Z (x - 4, t )р(4)| d4 +J J |Y ( x - 4, t - т) F (4, т)

<

(2.6)

(2.7)

(2.8)

(2.9) (2.10)

уа

+ -.

а

Аналогично, можно показать, что производные П^и^и^ тоже ограничены. Перейдем теперь к исследованию обратной задачи.

Пусть К(х, t) = /^)й(х, t) + g(х, t), к(х, t), g(х, t) - известные функции, а /^) -искомая функция.

м(0,0 = -Ф^),0<1<Т, (2.7)

о _<

Определение 2. Пару функций {и, f} назовем решением задачи (2.1), (2.2) и (2.7),

если

1) и(х^) классическое решение задачи Коши (2.1), (2.2) в (2Т,

2) u(0,t) = ф(t),0<t<T.

Теорема 1. Пусть функции удовлетворяют условиям h(x, г), g(x, г) е С1,а1г(От ), (С е С1м[0,Т] и выполнено условие согласования ф(0) = у/(0). Тогда решение обратной задачи (2.1), (2.2), (2.7) существует и единственно.

Доказательство. Заметим, что так как задача (2.1), (2.2), (2.7) линейна, то ее решение можно искать в виде

(и, /) = (у,0) + № /),

где

Ьу = g (X, t), у( X, 0) = ф(х), Ьу* = /аЩх, 0, м?(х, 0) = 0, м>(0,0 = ф^) - у(0,0-Отсюда следует, что для доказательства теоремы разрешимости задачи (2.1), (2.2),

(2.7) достаточно доказать существование и единственность решения обратной задачи определения пары функций {w, /} из условий

Lw = f(t)h(x,t),(x,t)eQT, (2.8)

w(.M) = 0,JteM, (2.9)

w{ 0, t) = ip(t) - v(0,0 = ф0 (t), 0 <t<T. (2.10)

2+—, 1+—

Так как любое решение задачи (2.8)-(2.10) из пространства H ' 2 имеет вид

t

w{х, t) = J J Y{x -€,t-T)f (r)h(^, T)d¿;dT, (2.11)

0 A

то применив оператор к равенству (2.11) D" , и положив х = 0, а также учитывая, что D"w=wxx + f(f)h(x,t), получим относительно /(t) линейное интегральное

уравнение Вольтерра второго рода

Я2 t

D—Wo(t) = [^j\\ Y(х - Z, t - z)h(Z, т)d£]\x__0f (т)dz + f (t)h(0,t), или

o

l

f(t) = ¡K(t,T)f(r)dr + Dnip0(t)/h(0,t),0 <t <T, (2.12)

o

где

K (t ,т) _ \ Y (х-Z, t -z)h (y,z) dy l__J h(0, t). (2.13)

Как и в работе, можно показать, что ядро К (г ,т), определенное формулой (2.13),

удовлетворяет неравенствам K(t,z)| < C2, (2.14)

\K(t,r)-K(t°,T)\<C3 \t- t°f. (2.15)

Отсюда следует, что решение интегрального уравнения (2.12) существует,

единственно и имеет вид

г

ДО = Ба¥о(г)к-1(о, г) + | Н(г,т)Ба¥о(т) ГЧО'Г) ёт, (2.16)

0

где функция Н (г ,т), разрешающее ядро для К (г ,т).

Покажем, что функция f (г), определенная формулой (2.16), принадлежит

пространству С%[0,Г]. Для этого рассмотрим разность f(t)-f(t ). Тогда из (2.12) получаем

t

h{Q, t)f(t)-h(0, t)f(t) = DaWo(t)-DaWo(t)-\K(t,T)f(T)dT +

о

+\K(f,T)f(T)dT = Dy0(0-DaWo(t0)-

0

t

-J[K(t,T)-K(t°,T)]f(T)dT.

0

Из (2.14), (2.15), (2.16), (2.17) и предположений теоремы получаем неравенство

| ДО - /(*0 )\<С^ -t°f +C2\t -t°\ + C3\t -t°f. Из (2.18) получим, что f (t) е Ca2[0, T].

Теперь покажем, что пара функций w(x, t), f (t), где функция f (t) определена

формулой (2.16), а w( x, t) -формулой

t

w( X, t) = jjy(x-€,t-T) t) f(r)d% dx

о it

является решением задачи (2.8)-(2.10). Действительно, функция w(x, t), заданная формулой (2.19), является единственным решением прямой задачи (2.8), (2.9), так как функция w(x,t) е Qa,a'2(Q) и удовлетворяет условиям (2.8), (2.9). Проверим, что условие

(2.10) также выполнено. Пусть функция ^ (t) = w(0, t) удовлетворяет равенству

р2 t

DaW1) = — ^^^ (x-4, t-т) f(T)h (4,T)d4dT| x=0+ f(t) h(0, t), (2.20)

Vх OR

Так как f (t) - решение уравнения (2.12), то из (2.12) и (2.20) относительно функции у/2 (t) = ^0 (t) (t) получим обыкновенное дифференциальное уравнение с дробной производной:

0п'ф2 = 0/ф2(0) = 0. (2.21) Следовательно, щ0 (t) = ^ (t) и условие (2.10) выполнено.

Отметим, что доказано не только существование решения, но и дан метод нахождения функции f (t).

Единственность решения задачи I следует из следующей леммы. Лемма 1. Пара функций w(x, t), f (t) - решение задачи (2.8)-(2.10) тогда и только тогда, когда функция f (t) есть решение интегрального уравнения

1Уф0 (0 = !Ut, r)f(r)dr+к о, о Л О,

о

где К= ¿(0,0К^,т), а функция ^ определяется формулой (2.19). Доказательство. Было доказано, что если / (t) решение (2.20), то задача (2.8)-(2.10) имеет решение. Обратно, пусть w и / решение задачи (2.8)-(2.10). Так как

1V ЕСЬ2+"Л+^2 (0Г), / еС'^2 [О,/1], то функция м? представима в форме

w(x, t) = jjy(x-€,t-T) d

Из условия (2.10) и уравнения (2.10) получим, что /(^) - решение интегрального

уравнения (2.20). Лемма 1 доказана.

Таким образом, мы показали, что решение обратной задачи (2.8)-(2.10) существует и

0 к

единственно. Следовательно, существует единственное решение задачи (2.1)-(2.3). Теорема 1 доказана.

ЛИТЕРАТУРА

1. Kilbas A. A., Srivastava H. M. and Trujillo J. J. "Theory and Applications of Fractional Differential Equations," North-Holland Mathematics Studies, Vol. 204, 2006.

2. Miller K. S. and. Ross B. "An Introduction to the Frac-tional Calculus and Fractional Differential Equations," John Wiley, New York, 1993.

3. Podlubny I. "Fractional Differential Equations," Aca-demic Press, San Diego, New York, London, 1999.

4. Eidelman S.D., Kochubei A.N. Cauchy Problem for Fractional Diffusion Equations, Vol. 199, yr.2018.pages 211-255.

5. Аблабеков Б.С., Жуман кызы.А. О разрешимости первой начально-краевой задачи для одномерного псевдопараболического уравнения с дробными производными // Вестник Ошского государственного университета. 2022, № 1. С. 29-37.