CC BY
16Математические заметки СВФУ Октябрь—декабрь, 2018. Том 25, № 4
УДК 517.956
НЕКОТОРЫЕ КЛАССЫ ОБРАТНЫХ ЗАДАЧ ДЛЯ УРАВНЕНИЙ СМЕШАННОГО ТИПА ВТОРОГО ПОРЯДКА С. З. Джамалов, С. Г. Пятков
Аннотация. Рассматривается вопрос о корректности в пространствах Соболева обратной задачи определения функции источника для уравнения смешанного типа второго порядка. В качестве условий переопределения рассматриваются значения решения на некотором наборе плоскостей размерности n — 1. Неизвестные функции, входящие в правую часть, зависят от времени и n — 1 пространственных переменных и ищутся в классе квадратично суммируемых функций. При определенных естественных условиях на данные получены теоремы существования и единственности обобщенных решений задачи. Условия на данные по существу совпадают с условиями разрешимости прямой задачи. В качестве метода используется метод продолжения по параметру и полученные априорные оценки. Метод исследования позволяет обобщить результаты на случай более гладких данных и регулярных решений.
DOI: 10.25587/SVFU.2018.100.20550 Ключевые слова: уравнение смешанного типа, обратная задача, функция источника, газовая динамика.
1. Введение
В статье рассматривается вопрос об определении вместе с решением правой части специального вида в уравнении смешанного типа второго порядка. Пусть G - область в Rn+1 с границей Г, Q = G х (0,T), S = Г х (0,T). Уравнение имеет вид
Lu = k(x, t)utt + Au = f, (1)
где (t, x,y) £ Q, x = (xi, X2,... , xn), A — эллиптический оператор вида
n
A(t,x, D)u = — ^^ dXjaij(x)uXi — ao(x)Lyu + a(x,t)ut + co(x)u, i,j=1
Lyu = dy a(y)uy — e(y)u.
Правая часть имеет вид
m
f = fo(x,y,t) + fi(x,y,t)qi(x,t), i=1
Работа Джамалова С. З. выполнена в рамках совместного узбекско-российского научно-исследовательского проекта MRU—0T—1/2017. Работа Пяткова С. Г. выполнена при поддержке Российского фонда фундаментальных исследований (код проекта 18—51—41009).
© 2018 Джамалов С. З., Пятков С. Г.
где д(х, £) = (дх(х, £), д2(х, £),... , дт(х, £)) — неизвестные функции, подлежащие определению вместе с решением и. Функция к в (1), вообще говоря, меняет знак в области Q. Определим множества
Р0+ = {(ж, 0) : к(ж, 0) > 0}, Рт = {(ж, Т) : к(х, Т) < 0}, Р0+ = Р+ х (0,1), Рт = Рт х (0,1).
Уравнение (1) дополняется граничными условиями
Ч=о = 0, и\8 = 0, щ\~+ = 0, щ\~г = 0. (2)
Условия переопределения записываются в виде
и(х, у, £) = ^¿(х, £), г = 1, 2, .. . , т. (3)
Обратная задача состоит в нахождении решения и уравнения (1) и функций дг(£), г = 1, 2,... , т, по данным (2), (3).
Первые фундаментальные результаты по теории уравнений смешанного типа появились в работах Трикоми и Геллерстеда в 20-х годах прошлого столетия. Благодаря исследованиям Ф. И. Франкля, И. Н. Векуа, М. А. Лаврентьева, А. Н. Бицадзе, Проттера, Моравец и многих других авторов, теория уравнений смешанного типа стала неотъемлемой частью современной теории уравнений в частных производных (см. [1,2]). Основные приложения таких уравнений — газовая динамика и гидродинамика. В отличие от прямых задач, обратные задачи для таких уравнений практически не исследовались. Задачи с вышеприведенными условиями переопределения часто возникают при рассмотрении волновых процессов для гиперболических уравнений второго порядка. В частности, коэффициентные одномерные по пространственной переменной задачи с данными переопределения такого вида можно найти в [3, гл. 10], а задачи об определении правой части в такой же постановке, как у нас, рассмотрены в [4, § 2.3] также в одномерном случае. Параболические обратные задачи в такой постановке исследуются в монографии [5] (см. также работу [6]). Некоторые модельные обратные задачи для уравнения смешанного типа в случае одной пространственной переменной рассмотрены в [7, 8]. Другие постановки обратных задач имеются в работах К. Б. Сабитова, С. Н. Сидорова и ряда других авторов (см. библиографию в [9-12]).
В данной работе получена теорема о существовании и единственности решения задачи (1)-(3), описаны условия на коэффициенты, гарантирующие ее разрешимость, и проведен некоторый анализ этих условий. В разд. 2 приведены определения и обозначения и доказаны вспомогательные результаты. Разд. 3 посвящен основным результатам.
2. Определения, обозначения и вспомогательные результаты
Пусть Е — банахово пространство. Символом Е) (С — область в
М") обозначаем пространство сильно измеримых функций, определенных на С,
со значениями в E, наделенное нормой ||||u(x)||£||lp(g) [14]. Также используем пространства Соболева Е), Wp(Q; Е) и пространства Гёльдера Ca(G; Е)
(см. определения в [14,15]}. Если E = C (E = R), то используем обозначения Wp(Q) или Ca(G) соответственно. Под W^S(G) при s > 0, как обычно, по-
о
нимаем двойственное (негативное) пространство к WS(G) (см. определения в
[14]}.
Будем предполагать, что G = О х (0,1), где О — ограниченная область с границей класса C1 в Rn, x G О, у G (0,1). Положим Qo = О х (0,T), So = дО х (0,T),
n
Lou = k(x, t)utt + Aou, Aou = — ^^ dXjaj(x)uXi + a(t, x)ut + co(x)u.
i,j=1
Все коэффициенты и функциональные пространства, используемые ниже, предполагаются вещественными.
Условия на коэффициенты:
aij G C1(Q), i,j = 1,2,... ,n, kt,k,aeC(Q0), c0 £ C(Q); (4) существуют постоянные ¿o, ¿1, Mo, M1 > 0 такие, что
n
J2 aij(x)&& > ¿o > 0 V£ G Rn, x G О; co > 0 Vx G О; (5) i,j=1
a-j>61>0, a-^>61>0 V(x,i)eQ0; (6)
a0(x) G С(П), а0(ж) > M0 Vx G О, a G С2([0, Z]),
в G C([0,1]), а(у) > M1, в(у) > 0 Vy G (0,1).
Замечание 1. Условия на коэффициенты могут быть значительно ослаблены как в смысле гладкости, так и в смысле зависимости от независимых переменных. Однако здесь мы используем результаты работы [2], в которой используются именно эти условия, поэтому они записаны в таком виде.
Приведем теорему о разрешимости прямой задачи, вытекающую из результатов в [2, теоремы 1.1—1.3]. Далее используем обозначение
Vu = (uXl ,Ux2 , . . . ,Ux„ ).
Рассмотрим вспомогательную задачу
Lou(x,t) = f (x,t). (8)
«|t=o = 0, u\So= 0, ut\—=0, щ I— = 0. (9)
Теорема 1. Пусть выполнены условия (4)—(6), f G L2(Qo) и выполнено одно из условий
k(x, 0) > 0 и k(x, T) < 0, k(x, 0) < 0 и k(x, T) > 0,
k(x, 0) < 0 и k(x, T) < 0, k(x, 0) > 0 и k(x, T) > 0
(7)
для всех х € О. Тогда существует обобщенное решение задачи (8), (9) такое, что и € Ж^фо), д^и € ¿2(0, Т; Ж2-1(О)). Решение удовлетворяет оценке
' 2
до
+ сд|и|2) + (с - + \\к ) \щ\2
е-хЧх<Н < /\\12{Яо),
(10)
где параметр Л > 0 выбран таким образом, что
к Лк ¿1 3к 3Лк ¿1 ... .
а"У + Т-У а"Т~~~ -у
Найдется число 70 > 0 такое, что при выполнении неравенства со (х) > 70 для всех х обобщенное решение единственно.
Доказательство. Теорема существования обобщенного решения следует из теоремы 1.1 в [2]. Полученное решение удовлетворяет уравнению (8) в смысле интегрального тождества. Однако непосредственно из него и определения обобщенной производной вытекают включение € Ь2(0,Т; Ж2-1(О)) и вы-
полнение краевых условий для функции и при 4 = 0 и 4 = Т. Оценка (10) не приведена в явном виде в формулировке соответствующей теоремы 1.1, но она используется в доказательстве этой теоремы при применении теоремы Хана — Банаха. Поскольку норма соответствующего функционала при продолжении не увеличивается, можно показать, что оценка остается справедливой и для полученного решения. Параметр 70 выбирается в [2] при доказательстве теоремы единственности (теоремы 1.2, 1.3), и он зависит от норм коэффициентов уравнения.
Замечание 2. Если обратиться к доказательству теоремы 1.1 в [2], то можно легко увидеть в силу условий на знакоопределенность функции к на верхнем и нижнем основаниях цилиндра, что краевые условия при 4 = 0 и 4 = Т сводятся к условиям: и|4=о = 0, ки4|4=о = 0, если к(х, 0) > 0 для всех х, и ки4|4=т = 0, если к(х, Т) < 0 для всех х. При этом следы ки4|4=о, кщ^=т понимаются в смысле пространства Ж—1 (О).
Замечание 3. В силу условия (6) выбор параметра Л со свойством, указанным в формулировке теоремы, всегда возможен, например, его можно выбрать достаточно малым положительным числом.
Следующий результат — теорема о разрешимости прямой задачи (1), (2).
Теорема 2. Пусть выполнены условия (4)—(7),
/ € ¿2^;ж22(0,0), /(х,0,4) = 0, /(х,м) = 0
и выполнено одно из условий
к(х, 0) > 0 и к(х, Т) < 0, к(х, 0) < 0 и к(х, Т) > 0,
к(х, 0) < 0 и к(х, Т) < 0, к(х, 0) > 0 и к(х, Т) > 0
для всех х € О. Фиксируем параметр Л > со свойствами, указанными в формулировке теоремы 1. Тогда найдется 7о > 0 такое, что при со (х) > 7о для всех
х € О существует единственное обобщенное решение задачи (1), (2) такое, что и € W¡{Qo; W2(0,l)), и € £2^0; Wi(0,l)), дгкщ € ¿2((0,Г) х (0,1); W-1(О)), д4ки4у € ^((0,Т) х (0,1); W-1(О)). Решение удовлетворяет оценке
^-{50\УЬуи\2 + с0|Ьуи|2 + а0(х)(а(у)\дуЬуи\2 + Р(у)\Ьуи\2)
+ [с~\кг + \\к) \Ьущ\<
2
м
е-^йхМ<-\\е--ЬуП\2Ыф. (И)
Доказательство. Отметим, что оператор Ьу : Ь2(0,1) ^ Ь2(0,1) с областью определения 0(Ьу) = {и(у) € W22(0,l) : и(0) = и(1) = 0} самосопряжен и, значит, найдется ортонормированная в Ь2(0,1) система собственных функций {рк(у)}, отвечающих собственным значениям Ак > 0 оператора — Ьу. Ищем решение задачи в виде
^
и = ^2 ик (Ь,х)рк (у),
где каждую из функций ик определяем как решение задачи
I
Ьоик(х,Ь)+ ао (х)Ак ик (х, Ь) = /к(х,Ь) = (/, (к )= J ¡рк ¿у, (12)
Ч=о = 0, и\8о=0, щ\—=0, щ\— = 0. (13)
В силу теоремы 1 решение существует и удовлетворяет оценке
-Аг
^(60\Уик\2 + с0\ик\2 + а0Хк\ик\2) + ^с - ^ + ^А/г^ \иы\2 Яо
2
¿хМ
^(¿о^и/г!2 + с0К|2 + а0Хк\ик\2)
где параметр А > 0 выбран указанным выше образом. Умножив это неравенство на Ак и просуммировав неравенства по к, получим
N
5>к
к=1 Яо
+ + <|-£л2||е-^М|22(до). (14)
Однако в силу ортонормированности системы {(рк } первые три слагаемых в (14) записываются в виде
N N
Ак / |^ик|2 гШЬ = |VLy^|2 ¿хв,уМ, uN = ^^ икрк,
к=1 Яо Я к=1
/ со(ж)|ик|2 = | со(ж)|ЬуuN|2
к=1 до д
]ГАкУ ао(ж)|ик|2 = | ао(ж)(а|ду|2 + |2) ¿ж^у^,
к= до д
Поясним, например, последнее равенство. Оно вытекает из соотношений I
У а|дуLyUN|2 + и№|2 ¿у = -(¿^, LyUN)
= Акии^к^Х^Аки^к = ^ АкК|2. \к=1 к=1 ) к=1
Аналогично расписываются оставшиеся слагаемые в (14). Оценка (14) влечет
справедливость оценки (11) для приближенного решения и№ и приближения
правой части
N
fN
/N = £ /к ^к.
к=1
Оценка позволяет обосновать сходимость последовательности uN и выполнение уравнения (1) для предельной функции и, которая также будет удовлетворять оценке (11).
3. Основные результаты
Решение обратной задачи будем искать в классе, описанном в теореме 2. Сейчас считаем, что правая часть в уравнении (1) представима в виде
т г=1
Опишем дополнительные условия на данные. Будем предполагать, что
/о е ¿2(Оо;^2(0,1)), / е ьто(до;^2(0,1)), г = 1,... ,т,
/г(ж, 0,4) = /,(ж,М) = 0, г = 0,1,... ,т,
^(¿,ж) е Ж^о) П ¿2(0,Т; ж2(П)), е ^о),
"0гк=о = О, ^гЫо = 0, = 0, г = 1,2,..., то.
(15)
Построим матрицу В с элементами Ьу(4,ж) = /у(ж,у^,£). Формула Ньютона — Лейбница и включения (15) влекут, что Ьу е Будем предполагать, что
найдется постоянная ¿2 > 0 такая, что
| В| > ¿2 (16)
почти всюду в ^о. Положим
Св = Уао(В*)-1Ьу/Уьте(до;Ь2(о,г)).
о
Здесь под нормой вектора
F = ao(B*)-1/ (f = (f 1, f2,... , fm))
в пространстве L2(0,1) понимаем норму эвклидовой нормы этого вектора в L2(0,1). Мы предполагаем в следующей теореме, что параметр Л такой, что справедливы утверждения теорем 1, 2, зафиксирован.
Теорема 3. Пусть выполнены условия (4)—(7), (15), (16) и одно из условий
k(x, 0) > 0 и k(x, T) < 0, k(x, 0) < 0 и k(x, T) > 0,
k(x, 0) < 0 и k(x, T) < 0, k(x, 0) > 0 и k(x, T) > 0
для всех x G О. Тогда найдется Yo > 0 такое, что при co(x) > Yo для всех x G О существует единственное решение задачи (1)-(3) такое, что
u g W21 (Qo; wf(0,1)), u G L2(Qo; w|(0, 1)), dtkut G L2((0,T) х (0,1); W-1^)), dtkuty G ¿2((0,T) х (0,1); W-1^)), / = (q1, . . . ,qm) G L2(Qo). В качестве параметра Yo можно взять параметр Yo такой, что
С'в < у^МоМД2 (17)
и выполнены условия теоремы единственности решений прямой задачи (теорема 1).
Доказательство. Пусть пара (u, / — решение задачи (1)-(3) из класса, указанного в теореме. Тогда определены следы функций dtkut|y=yi, Aou|y=yi в смысле пространства L2(0, T; Ж2-1(О)) и
dtkut|y=y = dtk^jt, Aou|y=yi = Ao^j. Полагая у = yi в уравнении (1), получим равенство
m
Lo^i(x,t) — ao(x)Lyu|y=yi = fo(x,yj,t) + ^ fj(x, yj, t)qj(x, t).
i=1
Эту совокупность равенств можно переписать в виде
В/ = F + aoR, Fj = Lo^i(x,t) — fo(x,yj,t), Rj = — Lyu|y=y, i = 1, 2,... , m.
Выражая отсюда вектор /и подставляя его в уравнение (1), придем к равенству
Lou — aoLyu = fo + (/, aoB-1R) = fo + (ao(B*)-1/, R(u)>, (18)
где fo = fo + (/, B-1F), скобки (•, •) обозначают скалярное произведение в Rm и В* — сопряженная матрица к В. Его также можно переписать в эквивалентном виде (если использовать теорему 2)
u — L-1(ao(B*)-1/,R (u)> = L-1/o. (19)
Докажем разрешимость этого уравнения. Воспользуемся стандартной схемой метода продолжения по параметру (например, теоремой 3.13 в [13]). Рассмотрим уравнение с параметром
u — rL-1(ao(B*)-1/,R(u)> = L-1/o, т G [0,1]. (20)
Чтобы доказать разрешимость для любого т £ [0,1], достаточно получить оценки для решений этого уравнения, равномерные по параметру т £ [0,1]. Равенство (20) также переписывается в виде
Lou - aoLyU = f0 + т{a0(B*)-1 f, R(u)) = g. (21)
Пусть co(x) > Yo > 0 для всех x. В силу теоремы 2 и условий на коэффициенты для решения уравнения (21) имеем оценку
^(¿o|VL^|2 + 7о I Lvu\2 + M()Mi\dyLyu\2 + p(y)\Lyu\2)
+ (с - + k^j \Lyut\
e-Xt dxdt < -\\e-tLyg\\2L2{Q). (22)
Правая часть оценивается через
2
C(£)||e-^%/o|li2(Qo) + (1 +e)-\\e-^(a0(B*r1Lyf, R(u))||22(Q), e > 0.
Далее последнее слагаемое оценивается через 2 |Д(г/,)|||22^д^(1 + е).
Каждая из норм Ьуи(х, у^, входящая в последнее выражение, в
силу равенства
У2(у1) = J 2Уу (у)у(у) ¿у (У = Ьуи)
оценивается через 2\\е 2'^г/||ь2((5)||е 2'^||ь2(<Э)- Таким образом, правая часть в (22) оценивается через
c(e)
4m
с(£)||е ■2~Lyfo\\L2(Qn) + —(l+e)Cj
2 ||„-#„
B Уе 2 vy llL2(Q)||e 2 VWL^Q) 8 то2
^yJO\\L2(Q0) +
<c1(e)+70^||e-^t;||22(Q)+^(l+e)2C'|!||e-^^||22(Q). (23)
В силу неравенства (17) найдется e > 0 такое, что
8-2r(1 +e)2c%<MoMlX
\YoSf
2
С учетом (23), этой оценки и неравенства
llvNL2(Q) < c(l)\\vy Wb2(Q) из (22) получим неравенство
А
¿1
'-80\4Lvu\2 +е1(\дуЬуи\2 + \Lyu\2) + ^\Lyut\2 e~xt dxdt
< с2\\е-~Ьу/0\\12{Яо), (24)
где е1,о2 — некоторые положительные постоянные, не зависящие от т. Таким образом, уравнение разрешимо для любого т € [0,1] и, в частности, при т = 1.
2
at
Покажем, что полученное решение удовлетворяет условиям (3). В силу определения матрицы В легко увидеть, что
(/,В 1") |У=Уг = "и (/,аоВ 1 ""} |У=Уг =
Полагая у = у в (18), получим, что Ьои(ж, уг,4) = В силу теоремы 1
заключаем, что и(ж, уг, 4) = ^ для всех г = 1, 2,... , т. Таким образом, функции (и, / с / = + аоД) дают решение задачи (1)—(3). Единственность решения
вытекает из линейности задачи и полученных в доказательстве выше оценок. Теорема доказана.
Проведем некоторый анализ условия (17). Параметр Мо неявным образом входит в постоянную Св, однако остальные постоянные в этом условии таким свойством не обладают. В частности, условие (17) выполнено, например, если один из параметров М1 или достаточно велик. Кроме того, небольшая модификация доказательства оценки в методе продолжения по параметру показывает, что оценка (а следовательно, утверждение теоремы 3) будут выполнены, если один из параметров 1 или Т достаточно мал. В целом можно сделать вывод, что разрешимость обратной задачи фактически имеет место при тех же условиях, что и разрешимость прямой задачи, и качественно условия разрешимости одинаковы.
Как следствие теоремы 3 в гиперболическом случае имеем следующий результат.
Теорема 4. Пусть выполнены условия (4), (5), (7), (15), (16) и к(ж, 4) > 0 в (Зо- Тогда существует единственное решение задачи (1)—(3) такое, что
и е жЗДо; Ж|(0,г)), и е ¿2^; Ж|(0,0), и« е ¿2((0,Т) X (0,1); Ж-1^)), и«у е ¿2((0,Т) X (0,1); Ж-1^)),
/ = (21, . . . ,2т) е ¿2(Фо).
Доказательство. Полученное уравнение гиперболическое и, как вытекает из стандартных результатов о разрешимости гиперболических задач, утверждение теоремы 2 имеет место. Утверждение теоремы 3 получается, если повторить ее доказательство, сделав в (1) замену и = г>еА*. При такой замене уравнение (1) преобразуется в уравнение, в котором младший коэффициент со имеет вид со + А2к, т. е. при больших параметрах А новый коэффициент со достаточно велик, равно как и новый коэффициент а = а + 2Ак. Постоянная Св для новых функций /г = е-А/ в правой части не изменится. Следовательно, всегда можно добиться выполнения условия (17) за счет выбора А.
Замечание 4. Теорема существования регулярного решения задачи (1)— (3) такого, что и е Ж2(ф), /е Ж2(0, Т; Ь2(0)), во многих случаях также может быть получена (например, при выполнении условий на данные, описанных в теореме 1 в [16], в случае, когда к(ж, 0) < 0, к(ж,Т) < 0).
ЛИТЕРАТУРА
1. Врагов В. Н. Краевые задачи для неклассических уравнений математической физики. Новосибирск: НГУ, 1983.
2. Егоров И. Е, Федоров В. Е. Неклассические уравнения математической физики высокого порядка. Новосибирск: ВЦ СО РАН, 1995.
3. Kabanikhin S. I. Inverse and Ill-Posed Problems Theory and Applications. Berlin; Boston: De Gruyter, 2012.
4. Prilepko A. I., Orlovsky D. G., Vasin I. A. Methods for solving inverse problems in mathematical physics. New York: Marcel Dekker, 1999.
5. Belov Ya. Ya. Inverse problems for parabolic equations. Utrecht: VSP, 2002.
6. Пятков С. Г., Самков М. Л. О некоторых классах коэффициентных обратных задач для параболических систем уравнений // Мат. тр. 2012. Т. 15, № 1. C. 155—177.
7. Джамалов С. З. О корректности одной нелокальной краевой задачи с постоянным коэффициентом для многомерного уравнения смешанного типа второго порядка // Мат. заметки СВФУ. 2017. Т. 24, № 4. С. 17-27.
8. Джамалов С. З. Линейная обратная задача для уравнения смешанного типа второго рода второго порядка с нелокальными граничными условиями в трехмерном пространстве // Вестн. КРАУНЦ. Физ.-мат. науки. 2017. № 1. C. 7-13.
9. Сабитов К. Б. Прямые и обратные задачи для уравнений смешанного параболо-гипер-болического типа. СПб.: Наука, 2016.
10. Сабитов К. Б., Сидоров С. Н. Обратная задача для вырождающегося парабологипербо-лического уравнения с нелокальным граничным условием // Изв. вузов. Математика. 2015. № 1. C. 46-59.
11. Сабитов К. Б., Сафин Э. М. Обратная задача для уравнения смешанного параболо-гиперболического типа // Мат. заметки. 2010. Т. 87, № 6. С. 907-918.
12. Megrabov A. G. Forward and inverse problems for hyperbolic, elliptic and mixed type equations. Berlin; Boston: De Gruyter, 2013.
13. Lieberman G. M. Second order parabolic differential equations. Singapore: World Sci. Publ. Co., 1996.
14. Трибель Х. Теория интерполяции. Функциональные пространства. Дифференциальные операторы. М.: Мир, 1980.
15. Amann H. Compact embeddings of vector-valued Sobolev and Besov spaces // Glasnik Mat., Ser. III. 2000. V. 35, N 1. P. 161-177.
16. Егоров И. Е. Применение модифицированного метода Галеркина к первой краевой задаче для уравнения смешанного типа // Мат. заметки СВФУ. 2015. Т. 22, № 3. С. 3-10.
Поступила в редакцию 30 октября 2018 г. После доработки 3 ноября 2018 г. Принята к публикации 13 ноября 2018 г.
Джамалов Сирожиддин Зухриддинович
Институт математики им. В. И. Романовского АН Республики Узбекистан пр. М. Улугбека, 81, Ташкент 100125, Узбекистан s iroj [email protected]
Пятков Сергей Григорьевич
Югорский гос. университет,
ул. Чехова, 16, Ханты-Мансийск 628012;
Институт математики им. С. Л. Соболева СО РАН,
пр. Академика Коптюга, 4, Новосибирск 630090
[email protected], [email protected]
Математические заметки СВФУ Октябрь—декабрь, 2018. Том 25, № 4
UDC 917.956
SOME CLASSES OF INVERSE PROBLEMS FOR MIXED TYPE EQUATIONS OF SECOND ORDER S. Z. Jamalov and S. G. Pyatkov
Abstract: In the Sobolev spaces, we consider the well-posedness questions for the inverse problem of recovering the source function of a mixed type equation of second order. The overdetermination conditions are the values of a solution on a collection of planes of dimension n — 1. The unknowns occurring in the right-hand side depend on time and n — 1 unknown space variables. Under certain natural conditions on the data of the problem, we obtain existence and uniqueness theorems for generalized solutions to this problem. The conditions on the data almost coincide with those ensuring solvability of the direct problem. The parameter continuation method and a priori estimates are used to validate the results. The method allows us to generalize the results to the case of smoother data and regular solutions.
DOI: 10.25587/SVFU.2018.100.20550 Keywords: mixed type equation, inverse problem, source function, gas dynamics.
REFERENCES
1. Vragov V. N., Boundary Value Problems for Nonclassical Equations of Mathematical Physics [in Russian], Novosib. Gos. Univ., Novosibirsk (1983).
2. Egorov I. E. and Fedorov V. E., Higher-Order Nonclassical Equations of Mathematical Physics [in Russian], Vychislit. Tsentr SO RAN, Novosibirsk (1995).
3. Kabanikhin S. I., Inverse and Ill-Posed Problems Theory and Applications, De Gruyter, Berlin, Boston (2012).
4. Prilepko A. I., Orlovsky D. G., and Vasin I. A., Methods for Solving Inverse Problems in Mathematical Physics, Marcel Dekker, Inc., New York (1999).
5. Belov Ya. Ya., Inverse Problems for Parabolic Equations, VSP, Utrecht (2002).
6. Pyatkov S. G. and Samkov M. L., "On some classes of coefficient inverse problems for parabolic systems of equations," Sib. Adv. Math., 22, No. 4, 287-302 (2012).
7. Jamalov S. Z., "On correctness of nonlocal edge problem with constant coefficient for multidimensional second order equation of mixed type [in Russian]," Mat. Zamet. SVFU, 24, No. 4, 17-27 (2017).
8. Jamalov S. Z., "The linear inverse problem for the mixed type equation of second order with nonlocal boundary conditions in three-dimensional space [in Russian]," Vestn. KRAUNC, Fiz.-Mat. Nauki, 17, No. 1, 7-13 (2017).
9. Sabitov K. B., Direct and Inverse Problems for Mixed Parabolic-Hyperbolic Type Equations [in Russian], Nauka, St. Petersburg (2016).
10. Sabitov K. B. and Sidorov S. N., "Inverse problem for degenerate parabolic-hyperbolic equation with nonlocal boundary condition," Russ. Math., 59, No. 1, 39-50 (2015).
11. Sabitov K. B. and Safin E. M., "The inverse problem for an equation of mixed parabolic-hyperbolic type," Math. Notes, 87, No. 5-6, 880-889 (2010).
12. Megrabov A. G., Forward and Inverse Problems for Hyperbolic, Elliptic and Mixed Type Equations, De Gruyter, Berlin, Boston (2013).
© 2018 S. Z. Jamalov and S. G. Pyatkov
13. Triebel H., Interpolation Theory, Function Spaces, Differential Operators, North-Holland Publ., Amsterdam (1978) (North-Holland Math. Library; V. 18).
14. Amann H. "Compact embeddings of vector-valued Sobolev and Besov spaces," Glasnik Mat., Ser. III, 35, No. 1, 161-177 (2000).
15. Lieberman G. M., Second Order Parabolic Differential Equations, World Sci. Publ. Co., Singapore (1996).
16. Egorov I. E., "Application of modified Galerkin method to the first boundary value problem for a mixed type equation [in Russian]," Mat. Zamet. SVFU, 22, No. 3, 3-10 (2015).
Submitted October 30, 2018 Revised November 3, 2018 Accepted November 13, 2018
Sergey G. Pyatkov Yugra State University,
16 Chekhov Street, Khanty-Mansyisk 628012, Russia; Sobolev Institute of Mathematics, 4 Acad. Koptyug Avenue, Novosibirsk 630090, Russia [email protected], quad [email protected]
Sirozhiddin Z. Jamalov
Uzbekistan Academy of Science V. I. Romanovskiy Institute of Mathematics, 81 M. Ulugbek Avenue, Tashkent 100170, Uzbekistan [email protected]
