Inverse problems for mathematical models with the pointwise overdetermination
- Authors: Rotko V.V.1
-
Affiliations:
- Yugra State Unversity
- Issue: Vol 14, No 3 (2018)
- Pages: 57-66
- Section: Articles
- URL: https://vestnikugrasu.org/byusu/article/view/10790
- DOI: https://doi.org/10.17816/byusu2018057-66
- ID: 10790
Cite item
Full Text
Abstract
In the article we examine well-posedness questions in the Sobolev spaces of an inverse source problem in the case of a quasilinear parabolic system of the second order. These problem arise when describing heat and mass transfer, diffusion, filtration, and in many other fields. The main part of the operator is linear. The unknowns occur in the nonlinear right-hand side. In particular, this class of problems includes the coefficient inverse problems on determinations of the lower order coefficients in a parabolic equation or a system. The overdetermination conditions are the values of a solution at some collection of points lying inside the spacial domain. The Dirichlet and oblique derivative problems under consideration. The problems are studied in a bounded domain with smooth boundary. However, the results can be generalized to the case of unbounded domains as well for which the corresponding solvability theorems hold. The conditions ensuring local (in time) well-posedness of the problem in the Sobolev classes are exposed. The conditions on the data are minimal. The results are sharp. The problem is reduced to an operator equation whose solvability is proven with the use of a priori bounds and the fixed point theorem. A solution possesses all generalize derivatives occurring in the system which belong to the space with and some additional necessary smoothness in some neighborhood about the overdetermination points.
Full Text
Введение
Мы рассматриваем вопрос об определении вместе с решением функции источника и коэффициентов, характеризующих параметры среды в квазилинейных математических моделях конвекции-диффузии. Пусть – область в с границей класса и . Соответствующая параболическая система имеет вид:
(1)
где – матричный эллиптический оператор вида матрицы, – вектор длины и – неизвестные функции, подлежащие определению вместе с решением , которые входят как в правую часть, так и в сам оператор как коэффициенты. Структуру оператора мы опишем ниже. Система (1) дополняется начальными и граничными условиями:
(2)
где или , -я координата внешней единичной нормали к и матрицы-функции размерности , принадлежащие классу . Условия переопределения записываются в виде:
(3)
Таким образом, дополнительные условия являются данными замеров решения (например, концентрации переносимого вещества) в определенных точках области. Обратная задача состоит в нахождении решения уравнения (1) и функций по данным (2), (3).
Проблемы подобного вида возникают при описании процессов тепломассопереноса, диффузионных процессов, процессов фильтрации и во многих других областях (см. [1]). Большое количество результатов было получено в случае линейной по своим аргументам функции . Можно отметить работу [2], где получена теорема существования и единственности решений задачи (1)–(3) в пространствах Гельдера в случае . В случае и некоторые результаты получены в работах [3, 4]. В работах [5, 6] была рассмотрена также и задача об определении младшего коэффициента в параболическом уравнении. Общие теоремы о разрешимости абстрактных задач такого вида в квазилинейном случае получены в монографии [7]. Однако стоит отметить, что результаты [7] применимы к задаче (1)–(3) в случае некоторых специальных функций и в случае краевых условий, таких, что область определения оператора не зависит от времени. Однако даже в этом случае в [7] используются излишним условиям гладкости и согласования на данные. Ряд задач, входящих в класс (1), был рассмотрен в работе [8]. Численные методы решения различных модельных задач, входящих в класс (1)–(3), рассматривались, например, в работах [9, 10] и многих других. В частности, в работе [10] численно решалась обратная задача (1)–(3) об определении функции источника для квазилинейной системы параболических уравнений. Наши результаты обобщают результаты работы [14] (см. также [15]). В данной работе мы получим локальную теорему о разрешимости задачи.
Опишем содержание работы. В первом параграфе описаны условия на данные задачи и сформулированы основные результаты. Во втором параграфе приведено их доказательство. Обозначения функциональных пространств стандартные (см., например, [12]).
Определения, обозначения и вспомогательные результаты
Пусть – банахово пространство. Символом ( – область в ) обозначаем пространство сильно измеримых функций, определенных на со значениями в наделенное нормой [12]. Мы также используем пространства Гельдера . Обозначения пространств Соболева являются стандартными (см. определения в [12, 13]). Если или , тогда последнее пространство обозначается через . Аналогично используем обозначения или вместо или . Таким образом, включение (или ) для данной вектор-функции означает, что каждая из ее компонент принадлежит (или ). В этом случае норма вектора есть просто сумма норм координат. То же самое соглашение принимаем для матриц-функций. Для интервала положим . Соответственно, . Аналогично определяем пространство Гельдера .
Пусть – шар радиуса с центром в точке . Далее мы используем следующие обозначения: . Дан набор точек из (3), параметр назовем допустимым, если для . Пусть .
Рассмотрим задачу (1), (2) и сформулируем один вспомогательный результат. Мы будем предполагать, что у нас выполнены условия.
Условия на коэффициенты:
(4)
(5)
для некоторого допустимого и . Опишем условия параболичности оператора . Рассмотрим матрицу и предположим, что найдется постоянная , такая, что корни полинома ( – единичная матрица) удовлетворяют условию
(6)
Пусть в случае условий Дирихле в (2) и в противном случае. Условие Лопатинского может быть записано в виде: для любой точки , и операторов и , записанных в локальной системе координат в этой точке (ось направлена по нормали к и оси лежат в касательной плоскости в точке ), система
(7)
где , имеет единственное решение из ограниченное на бесконечности при всех , и таких, что . Мы также предполагаем, что
(8)
где в случае условия Дирихле и , в противном случае
(9)
Даны постоянные . Построим вспомогательную функцию , такую, что в области и в .
Теорема 1. Пусть выполнены условия (4)–(9) для некоторого допустимого . Тогда существует единственное решение задачи:
(10)
Причем . Если , , то справедлива оценка:
(11)
где постоянная не зависит от , решения и .
Доказательство. Доказательство этой теоремы может быть найдено в работе [17, Теоремы 1, 2]. Основное утверждение теоремы известно, см., например, [13]. Дополнительная гладкость по существу вытекает из известных результатов о внутренней гладкости решений параболических и эллиптических задач.
Основные результаты
Рассматривается уравнение
(12)
Мы рассматриваем задачу (1)–(3) о восстановлении правой части уравнения вида и коэффициентов, в частности входящих в главную часть уравнения (1). Предположим, что оператор A имеет вид:
где Поскольку неизвестные могут встречаться в главной части уравнения, мы будем искать их в классе . Построим матрицу размерности чьи строки с числами с по занимают вектор-столбцы:
Мы предполагаем, что
(13)
(14)
(15)
для некоторого допустимого ;
(16)
для всевозможных значений . Также необходимо выполнение следующего условия:
Условие (A). Существует число такое, что
Заметим, что элементы матрицы принадлежат . Рассмотрим систему
по отношению к вектору . При выполнении условия (А) система имеет единственное решение. Обозначим . Пусть – шар радиуса с центром в нуле в .
Условие (В). Функция непрерывна по совокупности переменных (), для любого найдется постоянная такая, что
для всех
Условие (C). Функция дифференцируема по параметрам при п.в. и
для любого найдутся функции такие, что
для всех . Здесь величины – соответствующие матрицы Якоби и – норма в пространстве линейных непрерывных отображений из в .
При указанных условиях теорема существования примет следующий вид.
Теорема 2. Пусть условия (A)-(C), (13)–(16) выполнены. Предположим также, что оператор параболический и выполнено условие Лопатинского, т. е. условия (6), (7) выполнены. Тогда найдется число , такое, что на промежутке существует единственное решение задачи (1)–(3), такое, что /. Кроме того .
Доказательство. Найдем решение задачи.
(17)
По теореме 1 . Из теоремы III 4.10.2 в [11] вытекает, что . Следовательно, . Из уравнения (17) вытекает, что . Сделаем замену переменных в (1). Получим новую задачу:
(18)
(19)
Стандартные теоремы о разрешимости параболических задач гарантируют локальную разрешимость задачи (18) при фиксированном векторе . Однако у нас используются специальные классы данных и решений. Поэтому мы наметим доказательство. Определим пространство В качестве нормы в этом пространстве возьмем величину
Используя теорему 1, можем сказать, что решение задачи (18) есть решение операторного уравнения:
(20)
где . Зафиксируем параметр введем обозначения
Теорема 1, условия на функции и неравенство Гельдера гарантируют оценку
(21)
где – поcтоянная, не зависящая от параметра . Пусть . Аналогично, используя условия на коэффициенты, получим:
(22)
Уравнение (20) можно переписать в виде:
(23)
Покажем, что если параметр достаточно мал, то на малом промежутке времени уравнение (23) разрешимо в классе . Фиксируем параметр и шар . Фиксируем также шар . Получим оценки. Пусть . Имеем, используя теорему 1, условия на и (22), что
(24)
При оценке нормы используем неравенства:
(25)
вытекающее из условия (B), и неравенство
(26)
где постоянные не зависят от . Чтобы получить последнее неравенство, используем представление:
и определение нормы в пространстве . Оценим правые части в (25), (26). Теорема III 4.10.2 в [11] гарантирует, что (класс вложен в ) и что . Можем считать, что постоянные вложения в обоих случаях не зависят от (поскольку четное продолжение (относительно точки ) на промежуток и далее нулем сохраняет норму и класс для функций , которые обращаются в ноль при t=0). Используя теоремы вложения (см. теорему 4.6.2 в [12]) и интерполяционные неравенства, а также формулу Ньютона-Лейбница, имеем:
(27)
где , и постоянные не зависят от . Оценим второе слагаемое, входящее в норму . Аналогично имеем:
(28)
где и постоянные не зависят от . Таким образом, используя (27), (28), оценку (24) можно переписать в виде
(29)
где постоянные не зависят от – некоторая постоянная.
Выберем такое, что
тогда оператор удовлетворяет оценке
(30)
В частности, имеем неравенство
(31)
Из (23) вытекает неравенство
(32)
которое гарантирует, что отображение переводит шар в себя и является в нем сжимающим. По теореме о неподвижной точке получим, что уравнение (23) разрешимо. Получим необходимую оценку. Пусть два решения, отвечающие двум различным векторам, из шара . Таким образом,
(33)
Вычитая два уравнения (33) и используя полученные выше оценки, мы выводим
(34)
где постоянная не зависит от .
Пусть . Полагая в (18), мы придем к системе равенств
(35)
где . Эта система может быть переписана в виде где координаты векторов совпадают с векторами , соответственно. В оператор входит функция , которая определяется через функцию как решение задачи (18). Таким образом, приходим к системе
(36)
где оператор ограничен. Более того, он удовлетворяет условиям теоремы о неподвижной точке на некотором малом промежутке времени. Получим оценки.
Отметим, что по построению . Следовательно, найдется параметр такой, что
(37)
Пусть два вектора из шара и – соответствующие решению задачи (18). Далее имеем, что
Далее, используя теоремы вложения и оценки (25), (26), оценим правую часть этого неравенства через
Используя рассуждения из доказательства оценок (29) и вышеприведенные неравенства, аналогично получим оценку
(38)
где постоянная не зависит от и – некоторая положительная постоянная. Выберем такое, что . При таком выборе оператор будет сжимающим и будет переводить шар в себя. Следовательно, уравнение (36) разрешимо.
Пусть есть соответствующее решение задачи (18). Покажем, что полученные решения есть решение обратной задачи (18), (19) эквивалентной нашей. Действительно, полагая в (18), придем к равенствам
Вычитая эти равенства из (35), получим . Единственность решений задачи (18), (19) вытекает из полученных в процессе доказательства оценок.
About the authors
Valeriy V. Rotko
Yugra State Unversity
Author for correspondence.
Email: v_rotko@ugrasu.ru
Graduate student
16, Chehova street, Khanty-Mansiysk, 628012References
- Marchuk, G. I. Mathematical Models in Environmental Problems [Text] : V. 16: Studies in Mathematics and its Applications / G. I. Marchuk. -Amsterdam : Elsevier Science Publishers, 1986. - 217 p.
- Прилепко, А. И. Теоремы разрешимости и метод Ротэ в обратных задачах для уравнения параболического типа [Текст] / А. И. Прилепко, В. В. Соловьев // Дифференциальные уравнения. - 1987. - Т. 23. - № 10. - C. 1791-1799.
- Afinogenova, O. A. Stabilization of the solution to the identification problem of the source function for a one-dimensional parabolic equation [Text] / O. A. Afinogenova, Yu. Ya. Belov, I. V. Frolenkov // Doklady Mathematics. - 2009. - Vol. 79, 1. - P. 70-72.
- Белов, Ю.Я. О задаче и дентификации функциии сточника для уравнения типа Бюргерса [Текст] / Ю. Я. Белов, К. В. Коршун // J. of Siberian Federal University. Mathematics & Physics. - 2012. - 5(4). - P. 497-506.
- Кулиев, М. А. Многомерная обратная задача для параболического уравнения в ограниченной области [Текст] / М. А. Кулиев // Нелинейные граничные задачи. - 2004. - № 14. - C. 138-145.
- Прилепко, А. И. О разрешимости обратных краевых задач определения коэффициента перед младшей производной в параболическом уравнении [Текст] / А. И. Прилепко, В. В. Соловьев // Дифференциальные уравнения. - 1987. - Т. 23, 1. - С. 136-143.
- Prilepko, A. I. Methods for solving inverse problems in Mathematical Physics [Text] / A. I. Prilepko, D. G. Orlovsky, I. A. Vasin. - New-York Marcel Dekker Inc, 1999. - 709 p.
- Пятков, С. Г. О некоторых классах коэффициентных обратных задач для параболических систем уравнений [Текст] / С. Г. Пятков, М. Л. Самков // Математические труды. - 2012. - Т. 15, 1. - C. 155-177.
- Ozisik, M. N. Inverse Heat Transfer [Text] / M. N. Ozisik, H. R. B. Orlande. - New York : Taylor & Francis, 2000. - 314 p.
- Mamonov, A. V. Point source identification in nonlinear advection-diffusion-reaction systems [Text] / A. V. Mamonov, Y-H. R. Tsai // Inverse Problems. - 2013. - V. 29, 3. - 26 p.
- Amann, H. Linear and quasilinear parabolic problems [Text] : V. 1 Abstract Linear Theory / H. Amann. - Berlin ; Boston ; New-York : Birkhäuser, 1995. - 342 p.
- Трибель, Х. Теория интерполяции. Функциональные пространства. Дифференциальные операторы [Текст] / Х. Трибель. - Москва : Мир, 1980. - 664 c.
- Denk, R. Optimal Lp-Lq-estimates for parabolic boundary value problems with inhomogeneous data [Text] / R. Denk, M. Hieber, J. Pruss // Math. Z. - 2007. - V. 257, 1. - P. 193-224.
- Ладыженская, О. А. Линейные и квазилинейные уравнения параболического типа [Текст] / О. А. Ладыженская, В. А. Солонников, Н. Н. Уральцева. - Москва : Наука, 1967. - 736 c.
- Пятков, С. Г. Об определении функции источника в квазилинейных параболических задачах с точечными условиями переопределения [Текст] / С. Г. Пятков, В. В. Ротко // Вестник ЮУрГУ. Серия«Математика. Механика. Физика». - 2017.- Т. 9. - № 4. - С. 19-26.
- Pyatkov, S. G. On some parabolic inverse problems with the pointwise over determination [Electronic resource] / S. G. Pyatkov, V. V. Rotko // AIP Conference Proceedings. - 2017. - V. 1907. - URL: https://aip.scitation.org/doi/abs/10.1063/1.5012619.
- Pyatkov, S. G. On some parabolic inverse problems with the pointwise overdetermination [Text] / S. G. Pyatkov, V. V. Rotko // AIP Conference Proceedings. - 2017. - V. 1907. - P. 020008.