CC BY
6
Челябинский физико-математический журнал. 2023. Т. 8, вып. 2. С. 190-202.
УДК 517.95 Б01: 10.47475/2500-0101-2023-18203
НЕЛИНЕЙНЫЕ ОБРАТНЫЕ ЗАДАЧИ ДЛЯ НЕКОТОРЫХ УРАВНЕНИЙ С ДРОБНЫМИ ПРОИЗВОДНЫМИ
В. Е. Федоров1", М. В. Плеханова16, Н. Д. Иванова2с, А. Ф. Шуклинам, Н. В. Филин1'6
1 Челябинский государственный университет, Челябинск, Россия 2Южно-Уральский государственный университет (национальный исследовательский университет), Челябинск, Россия аkar@csu.ru, ьmariner79@mail.ru, сnatalia.d.ivanova@gmail.com, Лislamovaaf@gmail.com, 6filinnv@csu.ru
Исследуются вопросы разрешимости нелинейных обратных задач с зависящим от времени неизвестным элементом для эволюционных уравнений в банаховых пространствах с производными Герасимова — Капуто. Получена теорема о существовании единственного гладкого решения нелинейной задачи для разрешённого относительно старшей дробной производной уравнения с ограниченным оператором в линейной части. Она использована при исследовании вырожденных эволюционных уравнений при условии р-ограниченности пары операторов в линейной части уравнения — при старшей производной и при искомой функции. В случае действия нелинейного оператора в подпространство без вырождения доказано существование единственного гладкого решения, а при независимости нелинейного оператора от элементов подпространства вырождения показано существование единственного обобщённого решения. Полученные абстрактные результаты для вырожденных уравнений использованы при исследовании обратной задачи для модифицированной системы уравнений Соболева с неизвестными коэффициентами при младших дробных производных по времени.
Ключевые слова: дробная производная Герасимова — Капуто, обратная задача, вырожденное эволюционное уравнение, система уравнений Соболева.
1. Введение
Обратные задачи для уравнений с дробными производными в последние годы исследуются многими авторами, как правило, рассматриваются линейные задачи [1-12]. Нелинейные обратные задачи с зависящим от времени неизвестным элементом для разрешённых относительно старшей дробной производной уравнений рассмотрены в работах [13] — в случае производных Римана — Лиувилля и дробного секториального оператора в линейной части, [14] — при производных Джрбашяна — Нерсесяна и ограниченном операторе в линейной части. В статье [15] исследована нелинейная обратная задача для уравнения с производными Герасимова — Капуто и дробным секториальным оператором в линейной части. В работах [13-15] предложенный в монографии [16] подход к исследованию нелинейных обратных задач для уравнений первого порядка модифицирован на случай, когда старшая производная является дробной, а нелинейный оператор в уравнении зависит от нескольких, вообще говоря, дробных производных.
Работа выполнена при поддержке Российского научного фонда (проект 23-21-10015).
В данной работе утверждение о существовании единственного обобщённого решения нелинейной обратной задачи для разрешённого относительно старшей производной Герасимова — Капуто уравнения с ограниченным оператором в линейной части получено как следствие из результатов работы [15]. Показано, что в силу ограниченности оператора в линейной части уравнения и с учётом свойств соответствующего линейного неоднородного уравнения всякое обобщённое решение такой задачи является гладким. Полученный результат использован при исследовании аналогичных задач для уравнений с вырожденным линейным оператором при старшей производной. При условии, что оператор при искомой функции в линейной части уравнения является р-ограниченным относительно оператора при старшей производной (см. [17]), обратная задача редуцируется к системе обратной и прямой задач на двух взаимно дополнительных подпространствах. При этом на нелинейный оператор накладывается условие принадлежности его образа подпространству без вырождения или независимости от элементов подпространства вырождения.
2. Предварительные сведения
Определим при t > 0 дробный интеграл Римана — Лиувилля порядка в > 0
t
Jeh(t) := f(t — s)e-1h(s)ds, J0h(t) := hit).
) J
0
Пусть m — 1 < a ^ m G N, Dm — обычная производная порядка m G N, Da — дробная производная Герасимова — Капуто порядка a, т.е.
/ m-1 tk' Dah(t) := Jm-aDm[ h(t) — J2 Dkh(0)-
k=0 '
Если функция h достаточно гладкая, то Dah(t) = DmJm-ah(t). При в ^ 0 по определению будем считать, что Deh(t) := J-вh(t).
Пусть Z — банахово пространство. Через L(Z) обозначим банахову алгебру всех линейных ограниченных операторов в Z, а через Cl(Z) — множество всех линейных замкнутых плотно определённых в Z операторов, действующих в Z. Будем также использовать обозначения R^(A) := (^I — A)-1, R+ := {c G R : c > 0}, N0 := {0}UN.
те
Функция Миттаг-Леффлера будет обозначаться как Ea,p (x) = Y1 г(от+р).
Пусть A G L(Z), f : [0,T] ^ Z, рассмотрим линейное неоднородное уравнение
Daz(t) = Az(t) + f (t), t G [0,T]. (1)
Функция z G Cm-1([0,T]; Z), для которой Daz G C([0,T]; Z), называется решением задачи Коши
Dk z(0) = zk, k = 0,1,...,m — 1, (2)
для уравнения (1), если при всех t G [0,T] справедливо равенство (1), а также выполняются начальные условия (2).
Теорема 1. [17]. Пусть a > 0, A G L(Z), f G C([0,T]; Z). Тогда при любых
z0,z1,..., zm-1 G Z функция
1 t m- 1
z(t) = Y tkEa,k+1(Ata)zk + (t — s)a-1 Ea,a(A(t — s)a)f (s)ds k=0 0
является единственным решением задачи (1), (2).
3. Невырожденная обратная задача
Пусть m — 1 < а ^ m, n G N, a1 < a2 < ■ ■ ■ < an < a. Рассмотрим нелинейную обратную задачу для уравнения, разрешённого относительно старшей производной Герасимова — Капуто,
Daz(t) = Az(t) + G(t,Daiz(t),Da2z(t),...,Danz(t),u(t)), t G (0,T], (3)
Dkz(0) = zk, k = 0,1,..., m — 1, (4)
Фг(*) = Ф(*), t G [0,T]. (5)
Некоторые (или все) из aj могут быть отрицательными, они соответствуют дробным интегралам Римана — Лиувилля Dajz(t) в уравнении (3). Задача состоит в нахождении функций z : [0,T] ^ Z, u : [0,T] ^ U из соотношений (3)-(5), где Z и U — банаховы пространства, A G L(Z), Z — открытое подмножество [0,T] х Zn, G : Z х U ^ Z, Ф G L(Z;U), Ф: [0,T] ^ U. По начальным данным задачи определим
t2 t™— 1
z(t) = zo + tzi + -Z2 + ••• + 7-TTTZm— 1, Zj = Daj z(0), j = 1, 2,..., n.
2 (m — 1)!
Заметим, что zj = zaj при aj G {0,1,...,m — 1}, в противном случае Zj = 0. Обозначим также y = (y1, y2,..., yn).
(A) Отображение G : Z х U ^ Z представимо в виде
G(t,y, u) = G1(t,y) + G2(t,y, u), (t,y, u) G Z х U,
при некоторых G1 : Z ^ Z, G2 : Z х U ^ Z.
При a = (a1, a2,..., an) G Zn, R, T > 0 обозначим
SZn (a, R) = {y G Zn : ||y — aj ||z < R, j = 1, 2,..., n} ,
SZn(a,R,T) = [0,T] х SZn (a,R). Для достаточно гладкого Ф определим значение
yo = D^(0) — ФAzo — $G1(0, Z1, Z2,..., zn).
Кроме того, потребуем выполнения следующих условий:
(B) уравнение ФG2(0, 51, 52,..., и) = у0 имеет единственное в Я решение и0;
(C) существует такое отображение Gз : [0,Т] х Яга+1 ^ Я, что
ФG2(í,y,u) = Gз(í, Фу1, Фу2,..., Фуп,и);
(Д) существует такое R > 0, что для всех £ с [0,Т] отображение £ = G3(í,DalФ(£),Да2Ф(£),...,ДапФ(£),и) как функция от переменной и в шаре 5я(«о, R) имеет обратное отображение и = Е(£, £);
(Е) отображение Е непрерывно по совокупности переменных (£, £) на множестве 5я(и0, R,T) и удовлетворяет на нём условию Липшица по переменной
(Е) отображения G1(í,y) и G2(í,y, и) непрерывны по совокупности переменных на множестве ^зпхЯ((51, £2,... , 5га, и0), R, Т) и удовлетворяют на нём условию Липшица по переменным (у,и).
Пара функций (г, и) е С([0,Т]; 3) х С([0,Т]; Я), для которой г е С ([0,Т]; 3), 3 = 1,2,...,п, и при всех г е [0,Т] справедливо включение (г,Ба1 г(г),Ба2г(г),... ,Бапг (г)) е Z, выполняются равенства (5) и
т—1
,к
г(1) = ^ ЬкЕа,к+1(АЬа)гк+
к=0
г
+ J (г - э)а-1Еа,а(Л(Ь — в)а)а(в, Ба1 г(в), Ба2 г(э),..., Бап г(в),и(в))йв, о
называется обобщённым решением задачи (3)-(5) на отрезке [0,Т].
Пара функций (х,и) е Ст-1([0,Т]; 3) х С ([0,Т]; Я), для которой Баг е С ([0,Т]; 3), Ба1 г е С ([0,Т]; 3), 3 = 2,...,п, и при всех Ь е [0,Т] выполняется включение (г,Ба1 г(г),Ба2 г (г),... ,Бап г (г)) е Z и равенства (3)-(5), называется гладким решением задачи (3)-(5) на отрезке [0,Т].
Теорема 2. Пусть а1 < а2 < • • • < ап ^ т — 1 < а ^ т е N Л е С(3), гк е 3, к = 0,1,... ,т — 1, (0,г1,г2,...,*п) е Z, Ф е С(3; Я), е С ([0,Т]; Я), Фхо =
Ф(0), выполняются условия (Л)-(Р). Тогда при некотором Т1 е (0,Т] существует, единственное гладкое решение (х,и) е Ст-1 ([0,Т1}; 3) х С([0,Т1]; Я) задачи (3)-(5) на отрезке [0,Т1].
Доказательство. Как известно, из включения Л е С(3) следует, что Б а = 3, Л е Л(в0,а0) при некоторых в0 е (п/2,п), а0 ^ 0. Поэтому из условий данной теоремы следует, что выполняются все условия теоремы 2 [15] и существует единственное обобщённое решение (г, и) задачи (3)-(5). В таком случае отображение г ^ С(г,Па1 г(г),Ва2 г (г),.. .,Ба" г(г),и(г)) непрерывно из [0,Т1] в 3 и по теореме 1 г является решением задачи (3), (4) при заданном и. Это в точности означает, что (г,и) — гладкое решение задачи (3)-(5). □
4. Обратные задачи для вырожденных уравнений
Пусть X, ф — банаховы пространства, £(%; ф) — банахово пространство линейных непрерывных операторов, действующих из X в ф, С 1(Х; ф) — множество всех линейных замкнутых операторов, плотно определённых в пространстве X, действующих в пространство ф.
Пусть Ь е С(Х; ф), кегЬ = {0}, М е С 1(Х; ф), Бм — область определения оператора М, снабжённая нормой графика || • \\вм := || • ||х + ЦМ • ||ф. Обозначим рь(М) := {/ е С : (/Ь — М)-1 е £(%; X)}, Я%(М) := (/Ь — М)-1Ь, Ь% := Ь(/Ь — М )-1.
Оператор М называется (Ь, а)-ограниченным, если
За> 0 У/ е С (\/\ > а) ^ (/ е рЬ(М)). При выполнении этого условия операторы
р :=2~1 Я%(М) е £^), Q :=2~1 Ь%(М) й/ е С(ф)
1 1
являются проекторами [18]. Здесь 7 = {/ е С : \/\ = г > а}. Положим X0 := кег Р, X1 := \шР, ф0 := кег Q; ф1 := imQ, тогда X = X0 0 X1, ф = ф0 Ф ф1. Обозначим через Ьк (Мк) сужение оператора Ь (М) на Xk (БМк := Бм П Xk), к = 0,1.
Теорема 3. [18]. Пусть оператор М (Ь, а)-ограничен. Тогда
(I) М1 е ^(Х1; ф1), Мо е С/(X0; ф0), Ьк е ; фк), к = 0,1;
(II) существуют операторы М—1 е £(ф0; X0), Ь-1 е £(ф1; X1
Обозначим Н := М-1^. Для р е N0 := N и {0} оператор М называется (Ь,р)-ограниченным, если он (Ь, а)-ограничен и Нр = 0, Нр+1 = 0.
Лемма 1. [17]. Пусть Н е £(Х) — нильпотентный оператор степени р е N0, (НБа)1д е С ([0, Т ]; X), Ба(НБа)1д е С ([0,Т]; X), / = 0,1,...,р. Тогда существует единственное решение уравнения НДах(£) = х(£) + д(£), при этом оно имеет вид
х(£) = - д(£).
1=0
Пусть X — открытое множество в [0, Т] х X", N : X х Я ^ ф — нелинейное отображение, Ф е Я). Рассмотрим обратную задачу
ЬБах(£) = Мх(£) + N(£,Ба1 х(£),Ба2х(£),...,Ба"х(£),и(£)), £ е [0,Т], (6)
БкРх(0) = Хк, к = 0,1,..., т - 1, (7)
Фх(£) = Ф(£), £ е [0,Т]. (8)
Здесь т — 1 < а ^ т, п е ^ а1 < а2 < ... < ап < а, х(£) — дробные производные Герасимова — Капуто при в > 0 или дробные интегралы Римана — Лиувилля при в ^ 0. Неизвестными функциями являются х(£) и и(£), (8) есть условие переопределения.
Гладким решением задачи (6)-(8) на отрезке [0, Т] называется такая пара функций (х, и) е С([0, Т]; Бм) X С([0, Т]; Я), что х е С([0,Т]; X), выполняются условия (7), при всех £ е [0,Т] справедливы равенства (6) и (8).
В случае imN С ф1 имеет смысл рассмотреть основное уравнение (6) в виде
ЬБах(£) = Мх(£) + N(£,Ба1 х(£),Ба2х(£),...,Бапх(£),и(£)) + /(£), £ е [0,Т], (9)
где / : [0,Т] ^ ф, О/ ^ 0.
Как и прежде, по начальным данным задачи определим
¿2 1
х(£) = х0 + £х1 + — х2 +----+ 7-тггхт_1, х, = х(0), ] = 1, 2,..., п.
2 (т — 1)!
Теорема 4. Пусть п е N, а1 <а2 < ••• < ап ^ т — 1 <а ^ т е N, р е N0, оператор М (Ь,р)-ограничен, X — открытое множество в [0,Т] х X", N е С(X х Я; ф), imN С ф1, / е С([0,Т]; ф), (Н^М^/ е С([0,Т]; X), Ба(НБа)1 М0-1О0 / е С ([0, Т]; X), / = 0,1,...,р, хк е X1, к = 0,1,...,т — 1, Ф е ¿(X; Я), X0 С кегФ, Ф, БаФ е С([0,Т]; Я), Фх0 = Ф(0), а также выполняются условия (А)-(Е) при 3 = X1, А = Ь_1М1,
Уъ У2,..., У" и) = ь_1о/(£)+
(р Р
£,У1 — Ба1 ^(НБа)1М0-1О0/(£),... ,Уп — ^(Н^М^/(£),
1=0 1=0
р
= х, — ^(НБа)1М0-1О0/(0), ^ = 1, 2,..., п, 1=0
(0, г1, г2,..., гп) е X. Тогда при некотором Т1 е (0,Т] существует единственное гладкое решение (х,и) е С([0,Т1]; X) х С([0,Т1];Я) задачи (7)-(9) на отрезке [0,Т1].
Доказательство. Обозначим Р0 = I — Р, Q0 = I — Q. Пусть оператор М (Ь,р)-ограничен. Тогда функцию х(г) можно представить в виде х(г) = Рх(г) + Р0х(г). Обозначим Рх(г) = ь(г), Р0х(г) = 'ш(г). В силу теоремы 3 задача (7)-(9) эквивалентна задаче нахождения функций у,1,и из соотношений
Бау(г) = Ь-1М1У(г)+ь-1м (г, Ба1 (у (г) +1(г)),Бап (у(г) +1(г)),и(г)) +ь-^/(г),
(10)
Бку(0) = БкРх(0) = хк, к = 0,1,... ,т — 1, (11)
Фу(г) = ФРх(г) = Фх(г) = ъ(г), г е [0,Т], (12)
ИБат(г) = 1(г) + М-^/(г). (13)
Здесь использованы вложения imN С ф1, X0 С кег Ф, влекущие равенства QN = N, Q0N = 0, ФР = Ф, ФР0 = 0.
Поскольку оператор И = М-1Ь0 нильпотентен степени р, согласно лемме 1
единственным решением уравнения (13) является
р
1(г) = — ^(ипа)1 М0-^0/(г). 1=0
Теперь задача (10)-(12) имеет вид (3)-(5) при 3 = X1, Л = Ь-1М1 е С(X1) (по теореме 3), С(1,У1,У2, ...,Уп, и) = Ь(г,у1 + Ба1 т(г),у2 + Ба2 т(г),..., Уп + Бап т(г),и) + Ь-^!(г), гк = хк, к = 0,1,... ,т — 1, = х^, 3 = 1, 2,... ,п. Условия теоремы 2 об однозначной локальной разрешимости обратной задачи в данном случае выполняются. □
В случае, когда отображение N не зависит от векторной переменной Р0х, при р = 0 можно отказаться от ограничения на образ imN.
Теорема 5. Пусть п е N а1 < а2 < • • • < ап ^ т — 1 < а ^ т е N оператор М (Ь, 0)-ограничен, X — открытое множество в [0,T]хXn, N е С(XхЯ; ф), для всех (г, £,и) е X х Я выполняется N (г, и) = ^(г, Р^1, Р^2,..., Р£п, и) при некотором N1 е С ((X П (К х X1)) х Я; ф), хк е X1, к = 0,1,...,т — 1, (0,хъх2,... ,Хп) е X, Ф е С^;Я), X0 С кегФ, е С([0,Т];Я), Фх0 = Ф(0), а также выполняются
условия (Л)-(Е) при 3 = X1, Л = Ь-1М1, С = Ь-1QN1, % = х^, 3 = 1, 2,...,п. Тогда при некотором Т1 е (0,Т] существует единственное обобщённое решение (х,и) е С([0,Т1]; X) х С([0,Т1 ]; Я) задачи (6)-(8) на отрезке [0,Т1].
Доказательство. Рассуждая, как при доказательстве теоремы 4, используя (Ь, 0)-ограниченность оператора М и условия на отображение N, сведём задачу (6)-(8) к задаче (11), (12) для уравнений
Бау(г) = ь-1М1У(г) + Ь-^^^,Ба1 у(г),Ба2у(г),...,Бапу(г),и(г)), г е [0,Т], (14)
0 = 1(г) + М--1 QоNl(t,Dalу(г),Ба2у(г),...,Бапу(г),и(г)), г е [0,Т]. (15)
Здесь оператор и = 0. По теореме 2 получим однозначную локальную разрешимость обратной задачи (11), (12), (14) на отрезке [0,Т1] при некотором Т1 е (0,Т]. Тогда из уравнения (15) следует, что 1(г) =
-М-1 (г,Аа1 г е [0,Т1 ]. Функция ш(г) является
непрерывной, но для её гладкости необходима дополнительная гладкость решения v невырожденной обратной задачи, которая в данном случае не гарантирована. Поэтому доказано существование лишь обобщённого решения обратной задачи (6)-(8) в смысле соответствующего определения: обобщённым решением задачи (6)-(8) на отрезке [0,Т1] назовём такую пару функций (ж, и) е С([0,Т1]; ) х С([0,Т1];Я), что Рж е С([0,Т1];X), выполняются условия (7), при всех г е [0,Т1]
справедливы равенства (8), (14), (15). □
5. Нелинейная обратная задача для дробной по времени системы Соболева
Рассмотрим начально-краевую задачу
п
АЧС,г) = ИС,г),ш] - г(С,г) + £V;(г)дв'v(С,г)+
3=1
+шп+1(г)д(е,г) + МС,г), (С, г) е п х [0,Т], (16)
V- v(С,г) = 0, (С, г) е П х [0,Т], (17)
Мс,г),п(с,г))кз = 0, (С,г) е 5п х [0,Т], (18)
А v(С, 0) = Vo к (С), С е П, к = 0,1,...,т - 1, (19)
/<%(С)МС,г))кз^ = ф(г), г е [0,Т], з = 1,2,...,п + 1, (20)
п
где П С К3 — ограниченная область с гладкой границей дП, — дробные производные Герасимова — Капуто по переменной г при в > 0 и дробные интегралы Римана — Лиувилля по переменной г при в ^ 0, т — 1 < а ^ т е М, а1 < а2 < ■ ■ ■ < ап ^ т — 1, [-,ш] — векторное произведение на вектор ш := (0, 0,ш), <■,-)Кз — скалярное произведение в К3, п = (п^п2,п3) — вектор нормали к дП. Функции д,Л,^0к, к = 0,1,...,т — 1, Пз ,Фз, 3 = 1, 2, ...,п + 1, заданы, вектор-функции скорости v = (v1,v2,v3) и градиента давления г = (г1,г2,г3) = Vp при некотором р е Н 1(П), а также коэффициенты V;(г), 3 = 1, 2,... , п +1, неизвестны.
Замечание 1. При а =1, V; = 0, 3 = 1,2,...,п, система (16), (17) является линеаризацией в окрестности нуля системы уравнений Соболева [19; 20].
Обозначим Ь2 := (Р2(П))3, замыкание линеала £ := ^ е (С0^(П))3 : V ■ v = 0} в норме Ь2 обозначим через , Нп — ортогональное дополнение к в ^2, Е : ^2 —^ , П = I — Е — соответствующие ортопроекторы.
Следуя подходу С.Л.Соболева [19], используем обобщённую постановку краевой задачи (16)—(18), заменив уравнение несжимаемости (17) и граничное условие (18) на уравнение
ш(-,г) = 0, г е [0,Т]. (21)
Действительно, в силу плотности множества : ^ е Сте(П)} в подпространстве Нп и в силу интегрального тождества
^^ := J<v, ^)кз= J Vn^ds - J (V ■ v)^dж,
П дП П
справедливого при всех ^ е (П), получим, что для функции v е Н1 = (Н 1(П))3 выполнение условий (17) и (18) равносильно тому, что v е Нст или Пv = 0. При этом используется тот факт, что в силу разложения Вейля Нп = VH 1(П). Отказавшись от ограничения v е Н1, получим условие (21).
Определим оператор В е £(Ь2) равенством Вг(-) := [г(-),ш]. Положим
X = ф = Ь2 = Н х Нп, (22)
тогда векторы имеют вид х = ^,г) е X, / = (д, Л,) = (Е/, П/) е ф. При этом использовано то, что в силу (21) v(•,г) е Нст, градиент давления г(-,г) = Vp(•,г) е VH 1(П) = Нп для всех г е [0,Т].
Систему (16), (21) можно задать в виде (6) с помощью операторов
£ = ( 0 0 ) М = ( ЕВ 01 ) €£(Х). (23)
Лемма 2. [21, лемма 1]. Пусть заданы пространства (22) и операторы (23). Тогда оператор М (£,0)-ограничен, при этом проекторы имеют вид
Р = ( 1 0) О = (1 0
Р IПВ о , О о о
Таким образом, в силу леммы 2
X0 = {(0, х0) : х0 е Нп}, X1 = {(х1, ПВх1) : х1 е Н}, ф0 = {(0,у0) : у0 е Нп}, ф1 = {(у1,0) : у1 е Н}.
Обозначим
г2 гт-1 £(С,г) = V00(С) + ^01(С) + "^02(С) + ■ ■ ■ + 7-ТГтЗД т— 1(С) ,
2 (т — 1)!
% (С) = г;(С, 0), 3 = 1, 2,..., п.
Теорема 6. Пусть а1 < а2 < ■ ■ ■ < ап ^ т — 1 < а ^ т е М, т3- — 1 < а3 ^ т3 е Z, 3 = 1, 2,...,п, v0k е Н, к = 0,1,...,т — 1, е С ([0,Т]; Н), Фз е С ([0, Т ]; Ь2), Пз е Н, <п ,Voo(•, 0))^ = ф (0), 3 = 1, 2,...,п + 1,
20 :=
( <П1,'^1)Ь2 <П2,'У1)Ь2
V <Пп+1,'Й1)Ь2
<П1,,^п)ь2 <П1 ^^ 0))Ь2 \ <П2,'Уп)Ь2 <П2^^ 0))Ь2
<Пп+1,г'п)ь2 С^+ь^^0))Ь2 У
= 0,
£(г) :=
( Аа1 ф1 (г) Аа1 ф2 (г)
Аапф1(г) <щ,д(-,г))ь2 \
^апф2(г) <П2,д(-,г))ь2
= 0, г е [0,Т].
\Аа1 Фп+1(г) ... Аапфп+1(г) <пп+1,д(-,г))ь2 )
Тогда при некотором Т1 е (0,Т] существует единственное гладкое решение е С ([0, Т1]; Н) х С ([0, Т1]; Кп+1) обратной задачи (16), (19)-(21) на отрезке [0,Т1].
Доказательство. Учитывая лемму 2, применим теорему 4 для исследования задачи (16), (19)-(21). Возьмём X = R х H£, U = Rn+1, N : R х х Rn+1 ^ , для Z = (Zi,Z2, . . . ,Zn), U = (Ui,U2, ... ,un+i)
n
N(t,Z,U) = Y ZjUj + g(^t)un+i + h(^,t). (24)
j=i
Так как g,h E C([0, T]; ), имеем imN С Yi. Для линейного оператора
Ф = Ф, Ф2,..., Фп+i): ^ Rn+i, Фj z := fa ,z)l2 , j = 1, 2,...,n + 1,
выполняются неравенства Ф zl ^ \nj ||hct \\z\\hct , j = 1, 2,... ,n +1, влекущие непрерывность Ф.
Далее возьмём в теореме 4 f = 0, xk = v0k(•), k = 0,1,...,m — 1, Zj = Vj, j = 1, 2,... ,n. Имеем L-i = I, G(t,z,u) = L-iN(t,z,u) = Gi(t,z) + G2(t,z,u), где Gi(t,z) := h(^,t),
n
G2(t,z,u) :=Y Zj Uj + g(^,t)un+i, j=i
поэтому отображения Gi : [0,T] х Hn ^ и G2 : [0,T] х Hn х Rn+i ^ непрерывны по совокупности переменных (t,z,u) и липшицевы по (z,u) на множестве SHnxRn+i (0, R,T) при любом R > 0. Кроме того,
n
Фк G2(t,Z,u) = J2 uj (Vk, Zj )l2 + un+i (nk ,g(^,t))u = j=i
n
= J2 uj Фк Zj + un+i(nk ,g(^,t))b2 := G3,k (t, ФZ1, ФZ2,..., Фzn,й), k = 1,2,...,n +1, j=i
G3 = (G3A,G3,2,..., G3,n+i) : [0, T] х R(n+i)2 ^ Rn+i.
Возьмём Ф = ... ,tn+i), yoj = D^j(0) — (nj,BvQo)u — (Vj,h(•, 0))l2, j =
1, 2,...,n +1, y0 = (yoi ,yo2,... ,yon+i). Система уравнений
n
Yuj (Vk, Vj )l2 + un+i(Vk ,g(^, 0))l2 = yok = D^k (0) — (Vk ,Bvoo)L2 — (Vk ,h(•, 0))l , j=i
k = 1, 2,... ,n +1, имеет единственное решение u0 = (u0i,u02,..., u0n+i) = r-iy0 в силу условия det r0 = 0. Понятно, что u = r-i(t)Z := F(t,z) определено при t E [0, T] как обратная по отношению к u = (ui,u2,... , un+i) функция к отображению
n
Zk = Y uj Dt3 tk + un+i(nk ,g0,t))b2, k = 1, 2,...,n +1. j=i
Так как Dftj E C([0,T]; R), то tj E Cm-i([0,T]; R), поэтому D.aktj E C([0,T]; R) при j = 1,2,...,n +1, ak ^ m — 1, k = 1,2,...,n. Следовательно, r E C([0,T]; R(n+i)2), min l detr(t)| > 0, существует max | detr ^t)|. Таким образом,
отображение F : [0,T] х Rn+i ^ Rn+i непрерывно по совокупности переменных, липшицево по z = (zi, z2,..., zn+i) и тем самым выполняются все условия теоремы 4. Получаем существование единственного гладкого решения задачи (16)-(20) на отрезке [0,Ti] при некотором Ti E (0,T]. □
Замечание 2. Условия теоремы 5 на оператор N в данной задаче не выполняются.
Список литературы
1. OrlovskyD. G. Parameter determination in a differential equation of fractional order with Riemann — Liouville fractional derivative in a Hilbert space // Журн. Сиб. федер. ун-та. Сер. Математика и физика. 2015. Т. 8, № 1. С. 55-63.
2. Fedorov V. E., IvanovaN. D. Identification problem for degenerate evolution equations of fractional order // Fractional Calculus and Applied Analysis. 2017. Vol. 20, no. 3. P. 706-721.
3. Fedorov V. E., NazhimovR. R. Inverse problems for a class of degenerate evolution equations with Riemann — Liouville derivative // Fractional Calculus and Applied Analysis. 2019. Vol. 22, no. 2. P. 271-286.
4. Orlovsky D. G. Determination of the parameter of the differential equation of fractional order with the Caputo derivative in Hilbert space // Journal of Physics: Conference Series. 2019. Vol. 1205, no. 1. P. 012042.
5. Федоров В. Е., Костич М. Задача идентификации для сильно вырожденных эволюционных уравнений с производной Герасимова — Капуто // Дифференц. уравнения. 2021. Т. 57, № 1. С. 100-113.
6. Федоров В. Е., Нагуманова А. В. Линейные обратные задачи для вырожденного эволюционного уравнения с производной Герасимова — Капуто в секториальном случае // Мат. заметки. Сев.-Восточ. федер. ун-та. 2020. Т. 27, № 2. С. 54-76.
7. Fedorov V.E., Nagumanova A. V., Avilovich A. S. A class of inverse problems for evolution equations with the Riemann — Liouville derivative in the sectorial case // Mathematical Methods in the Applied Sciences. 2021. Vol. 44, no. 15. P. 11961-11969.
8. Fedorov V. E., Nagumanova A. V., KostiCM. A class of inverse problems for fractional order degenerate evolution equations // Journal of Inverse and Ill-Posed Problems. 2021. Vol. 29, no. 2. P. 173-184.
9. Kostin A. B., Piskarev S. I. Inverse source problem for the abstract fractional differential equation // Journal of Inverse and Ill-Posed Problems. 2021. Vol. 29, no. 2. P. 267-281.
10. TurovM.M., Fedorov V. E., KienB.T. Linear inverse problems for multi-term equations with Rieman - Liouville derivative // Изв. Иркут. гос. ун-та. Сер. Математика. 2021. Т. 38. С. 36-53.
11. OrlovskyD., Piskarev S. Inverse problem with final overdetermination for time-fractional differential equation in a Banach space // Journal of Inverse and Ill-Posed Problems. 2022. Vol. 30, no. 2. P. 221-237.
12. Плеханова М. В., ИжбердееваЕ. М. О корректности обратной задачи для вырожденного эволюционного уравнения с дробной производной Джрбашяна — Нерсеся-на // Итоги науки и техники. Сер. Соврем. математика и ее приложения. Темат. обзоры. 2022. Т. 213. С. 80-88.
13. Федоров В. Е., БорельЛ. В., Иванова Н. Д. Нелинейные обратные задачи для одного класса уравнений с производными Римана — Лиувилля // Записки науч. семинаров ПОМИ. 2022. Т. 519. С. 264-288.
14. Fedorov V.E., Plekhanova M. V., Melekhina D. V. Nonlinear inverse problems for equations with Dzhrbashyan — Nersesyan derivatives // Fractal and Fractional. 2023. Vol. 7. P. 464.
15. Fedorov V. E., IvanovaN. D., BorelL.V., Avilovich A. S. Nonlinear inverse problems for fractional differential equations with sectorial operators // Lobachevskii Journal of Mathematics. 2022. Vol. 43, no. 11. P. 3125-3141.
16. Prilepko A. I., Orlovsky D. G., Vasinl. A. Methods for Solving Inverse Problems in Mathematical Physics. New York, Basel : Marcel Dekker, Inc., 2000.
17. Федоров В. Е., Гордиевских Д. М., Плеханова М. В. Уравнения в банаховых пространствах с вырожденным оператором под знаком дробной производной // Диф-ференц. уравнения. 2015. Т. 51, № 10. С. 1367-1375.
18. Sviridyuk G. A., Fedorov V. E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht, Boston : VSP, 2003.
19. Соболев С. Л. Об одной новой задаче математической физики // Изв. АН СССР. Сер. мат. 1954. Т. 18. С. 3-50.
20. Демиденко Г. В., Успенский С. В. Уравнения и системы, не разрешённые относительно старшей производной. Новосибирск : Науч. кн., 1998.
21. Гордиевских Д. М., Федоров В.Е. Решения начально-краевых задач для некоторых вырожденных систем уравнений дробного порядка по времени // Изв. Иркут. гос. ун-та. Сер.: Математика. 2015. Т. 12. С. 12-22.
Поступила в 'редакцию 03.05.2023. После переработки 14.06.2023.
Сведения об авторах
Федоров Владимир Евгеньевич, доктор физико-математических наук, профессор, профессор кафедры математического анализа, Челябинский государственный университет, Челябинск, Россия; e-mail: kar@csu.ru.
Плеханова Марина Васильевна, доктор физико-математических наук, доцент, профессор кафедры математического анализа, Челябинский государственный университет, Челябинск, Россия; e-mail: mariner79@mail.ru.
Иванова Наталья Дмитриевна, кандидат физико-математических наук, доцент кафедры математического анализа и методики преподавания математики, Южно-Уральский государственный университет (национальный исследовательский университет), Челябинск, Россия; e-mail: natalia.d.ivanova@gmail.com.
Шуклина Анна Фаридовна, кандидат физико-математических наук, доцент кафедры математического анализа, Челябинский государственный университет, Челябинск, Россия; e-mail: islamovaaf@gmail.com.
Филин Николай Владимирович, ассистент кафедры математического анализа, Челябинский государственный университет, Челябинск, Россия; e-mail: filinnv@csu.ru.
Chelyabinsk Physical and Mathematical Journal. 2023. Vol. 8, iss. 2. P. 190-202.
DOI: 10.47475/2500-0101-2023-18203
NONLINEAR INVERSE PROBLEMS FOR SOME EQUATIONS WITH FRACTIONAL DERIVATIVES
V.E. Fedorov1", M.V. Plekhanova1b, N.D. Ivanova2c, A.F. Shuklina1d, N.V. Film1'6
1 Chelyabinsk State University, Chelyabinsk, Russia 2South Ural State University (National Research University), Chelyabinsk, Russia
"kar@csu.ru, bmariner79@mail.ru, cnatalia.d.ivanova@gmail.com, dfilinnv@csu.ru, 6islamovaaf@gmail.com
The solvability of nonlinear inverse problems with a time-dependent unknown element for evolution equations in Banach spaces with Gerasimov — Caputo derivatives is investigated. A theorem is obtained on the existence of a unique smooth solution of a nonlinear problem for an equation solved with respect to the highest fractional derivative with a bounded operator in the linear part. It is used in the study of degenerate evolution equations under the condition of p-boundedness of a pair of operators in the linear part of the equation — at the highest derivative and at the desired function. In the case of the action of a nonlinear operator into a subspace without degeneration, the existence of a unique smooth solution is proved; and for the independent of the nonlinear operator from elements of the degeneration subspace, the existence of a unique generalized solution is shown. The abstract results obtained for degenerate equations are used in the study of an inverse problem for a modified system of Sobolev equations with unknown coefficients at lower order fractional derivatives in time.
Ключевые слова: Gerasimov — Caputo fractional derivative, inverse problem, degenerate evolution equation, Sobolev system of equations.
References
1. Orlovsky D.G. Parameter determination in a differential equation of fractional order with Riemann — Liouville fractional derivative in a Hilbert space. Journal of Siberian Federal University. Mathematics & Physics, 2015, vol. 8, no. 1, pp. 55-63.
2. Fedorov V.E., Ivanova N.D. Identification problem for degenerate evolution equations of fractional order. Fractional Calculus and Applied Analysis, 2017, vol. 20, no. 3, pp. 706721.
3. Fedorov V.E., NazhimovR.R. Inverse problems for a class of degenerate evolution equations with Riemann — Liouville derivative. Fractional Calculus and Applied Analysis, 2019, vol. 22, no. 2, pp. 271-286.
4. Orlovsky D.G. Determination of the parameter of the differential equation of fractional order with the Caputo derivative in Hilbert space. Journal of Physics: Conference Series, 2019, vol. 1205, no. 1, p. 012042.
5. Fedorov V.E., KostiCM. Identification problem for strongly degenerate evolution equations with the Gerasimov — Caputo derivative. Differential Equations, 2020, vol. 56, no. 12, pp. 1613-1627.
6. Fedorov V.E., Nagumanova A.V. Linear inverse problems for degenerate evolution equations with the Gerasimov — Caputo derivative in the sectorial case. Mathematical Notes of NEFU, 2020, vol. 27, no. 2, pp. 54-76.
The work was supported by the Russian Science Foundation (project 23-21-10015).
7. Fedorov V.E., Nagumanova A.V., Avilovich A.S. A class of inverse problems for evolution equations with the Riemann — Liouville derivative in the sectorial case. Mathematical Methods in the Applied Sciences, 2021, vol. 44, no. 15, pp. 11961-11969.
8. Fedorov V.E., Nagumanova A.V., KostiCM. A class of inverse problems for fractional order degenerate evolution equations. Journal of Inverse and Ill-Posed Problems, 2021, vol. 29, no. 2, pp. 173-184.
9. KostinA.B., Piskarev S.I. Inverse source problem for the abstract fractional differential equation. Journal of Inverse and Ill-Posed Problems, 2021, vol. 29, no. 2, pp. 267-281.
10. TurovM.M., Fedorov V.E., KienB.T. Linear inverse problems for multi-term equations with Rieman — Liouville derivative. The Bulletin of Irkutsk State University. Ser. Mathematics, 2021, vol. 38, pp. 36-53.
11. OrlovskyD., Piskarev S. Inverse problem with final overdetermination for time-fractional differential equation in a Banach space. Journal of Inverse and Ill-Posed Problems, 2022, vol. 30, no. 2, pp. 221-237.
12. Plekhanova M.V., Izhberdeeva E.M. O korrektnosti obratnoy zadachi dlya vyrozhdennogo evolyutsionnogo uravneniya s drobnoy proizvodnoy Dzhrbashyana — Nersesyana [On the correctness of the inverse problem for a degenerate evolutionary equation with the Dzhrbashyan — Nersesyan fractional derivative]. Itogi nauki i tekhniki. Ser. Sovremennaya matematika i eyo prilozheniya. Tematicheskiye obzory [Results of science and technology. Ser. Contemporary mathematics and its applications. Thematic reviews], 2022, vol. 213, pp. 80-88. (In Russ.).
13. Fedorov V.E., BorelL.V., Ivanova N.D. Nelineynye obratnye zadachi dlya odnogo klassa uravneniy s proizvodnymi Rimana — Liuvillya [Nonlinear inverse problems for a class of equations with the Riemann — Liouville derivatives]. Zapiski nauchnykh seminarov POMI [Notes of PDMI scientific seminars], 2022, vol. 519, pp. 264-288. (In Russ.).
14. Fedorov V.E., Plekhanova M.V., Melekhina D.V. Nonlinear inverse problems for equations with Dzhrbashyan — Nersesyan derivatives. Fractal and Fractional, 2023, vol. 7, p. 464.
15. Fedorov V.E., Ivanova N.D., BorelL.V., Avilovich A.S. Nonlinear inverse problems for fractional differential equations with sectorial operators. Lobachevskii Journal of Mathematics, 2022, vol. 43, no. 11, pp. 3125-3141.
16. Prilepko A.I., Orlovsky D.G., VasinI.A. Methods for Solving Inverse Problems in Mathematical Physics. New York, Basel, Marcel Dekker, Inc., 2000.
17. Fedorov V.E., Gordievskikh D.M., PlekhanovaM.V. Equations in Banach spaces with a degenerate operator under a fractional derivative. Differential Equations, 2015, vol. 51, no. 10, pp. 1367-1375.
18. Sviridyuk G.A., Fedorov V.E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht, Boston, VSP, 2003.
19. Sobolev S.L. Ob odnoy novoy zadache matematicheskoy fiziki [On a new problem of mathematical physics]. Izvestiya Akademii nauk SSSR. Seriya matematicheskaya [News of USSR Academy of Sciences. Mathematical series], 1954, vol. 18, pp. 3-50. (In Russ.).
20. Demidenko G.V., Uspenskii S.V. Partial Differential Equations and Systems not Solvable with Respect to the Highest-Order Derivative. New York : Marcel Dekker, Inc., 2003.
21. Gordievskikh D.M., Fedorov V.E. Solutions for initial boundary value problems for some degenerate equations systems of fractional order with respect to the time. The Bulletin of Irkutsk State University. Ser. Mathematics, 2015, vol. 12, pp. 12-22.
Article received 03.05.2023. Corrections received 14.06.2023.
