CC BY
47
MSC 35K45, 65M32
О НЕКОТОРЫХ КЛАССАХ ЛИНЕЙНЫХ ОБРАТНЫХ ЗАДАЧ ДЛЯ ПАРАБОЛИЧЕСКИХ СИСТЕМ УРАВНЕНИЙ
С.Г. Пятков, Е.И. Сафонов
Югорский Государственный Университет, ул. Чехова, 16, Ханты-Мансийск, 628012, Россия, e-mail: [email protected];
Аннотация. В работе рассмотрены вопросы корректности линейных обратных задач для параболических уравнений и систем. По интегральным условиям переопределения вместе с решением восстанавливается правая часть системы. Доказаны теоремы существования и единственности решений в классах Соболева. Показано, что подходящем выборе интегральных условий переопределения возможен предельный переход по параметру и предельное решение
- решение обратной задачи, где условия переопределения - значения решения в отдельных точках.
Ключевые слова: параболическая система, обратная задача, задача управления, краевая задача, корректность.
Введение
Мы рассматриваем вопрос об определении вместе с решением правой части специального вида в параболических уравнениях и системах. Пусть О - область в с
границей Г класса С2т и Q = О х (0,Т). Параболическое уравнение имеет вид
Г
щ + Л(Ь,х,Б)и = ^ Ъ^,х)д^) + /, (Ь,х) € Q, (1)
г=1
где Л - матричный эллиптический оператор порядка 2т с матричными коэффициентами размерности к х к, представимый в виде
Л(г,х,Б)= ^ аа(г,х)Ба = (дХ1 ,дХ2 ,...,дХп).
|«|<2ш
Уравнение (1) дополняется начальными и граничными условиями
и|*=0 = ио, Бзи|5 = ^ Ьуз(г,х)Бви|5 = (Ь,х) , (2)
и и функции дг(Ь) (г = 1, 2,... ,г), входящие в правую часть (1). Мы рассматриваем 2 вида условий переопределения. В первом случае условия переопределения имеют вид
где <£>г(х) /ФО - некоторые гладкие функции, условия на которые мы уточним ниже, и
Ог С О некоторые области. Во втором случае рассматриваем условия вида
Параметры в,г связаны равенством г = эк. Задача о нахождении функций и,дг с использованием краевых условий и условий переопределения может быть сформулирована и как некоторая задача управления. Обратные задачи подобного вида возникают при описании процессов тепломассопереноса, диффузионных процессов, процессов фильтрации и во многих других областях ( [1]- [4]). Одной из моделей, возникающей при описании процессов тепломассопереноса, является система уравнений Навье-Стокса, дополненная уравнениями для температуры и концентраций переносимых веществ. По данным измерений на сечениях канала или некоторым другим характеристикам определяются те или иные параметры в задаче. Это или коэффициенты уравнений или плотности источников (правая часть) (см., например, [1], [4]- [9]). В простейших случаях при описании процессов тепломассопереноса используются параболические уравнения и системы. В литературе рассматривались как условия переопределения вида (3) так и условия переопределения (4). В частности обратные задачи об определении коэффициентов уравнения (1), зависящих от переменной Ь, с условием переопределения (3), где г = 1 и Ог = О, рассматривались в [10]- [16]. Соответственно линейные обратные задачи об определении правой части исследовались в [9,17]. Аналогично, как линейные так и коэффициентные обратные задачи с условием переопределения (4) рассматривались в [8,18] и в ( [19]- [21]) соответственно. Однако, отметим, что большинство работ посвящено модельным уравнениям и случаю п = 1. Можно отметить работы [22,23] одного из авторов, где были рассмотрены задачи вида (1), (2), (4) в общей постановке. Мы также сошлемся на монографии [2,10,18,24,25], где имеется большое количество постановок обратных задач для параболических уравнений и систем, и ряд результатов.
В настоящей работе, при определенных естественных условиях на данные задачи мы показываем, что задача (1)-(3) имеет единственное решение. Далее, выбирая подходящим образом функции = <Рг(х,е), зависящее от параметра е > 0 (фактически мы строим приближение ^-функции Дирака, см. ниже), мы показываем, что решение и£ задачи (1)-(3) сходится к решению задачи (1), (2), (4) при е ^ 0. Теоремы подобного рода важны при построении численных алгоритмов построения решений задач вида (1), (2), (4), поскольку для этих задач приходится вычислять производные высокого порядка для приближенных решений, что является некорректной задачей, и по этим причинам иногда возникают и излишние условия на коэффициенты уравнения (см., например, [8]). Опишем содержание работы. В следующем параграфе мы приводим
где тз < 2т, ] = 1, 2,... ,т и Б = (0,Т) х Г. Неизвестными в (1), (2) являются решение
(3)
(4)
вспомогательные утверждения и условия на данные. В параграфе 2 мы формулируем и доказываем наши основные утверждения - теоремы 2.1, 2.2, 2.4.
1. Определения и вспомогательные результаты
Пусть Е — банахово пространство. Через Ьр(О; Е) (О — область в Еп) обозначается пространство сильно измеримых функций, определенных на О со значениями в Е и конечной нормой || ||и(^) ||е||ьр(С) [26]. Мы также используем пространства Ск(С), состоящие из функций, имеющих в О все производные до порядка к включительно, непрерывные в С и допускающие непрерывное продолжение на замыкание С. Обозначения для пространств Соболева Шр(О; Е), Шр^; Е) и т.д. стандартные (см. [26,27]). Если Е = С или Е = С”, то вместо \¥р(С]Е) или Ск(С]Е) используем обозначения \¥р(С) или Ск(С). Таким образом, включение и Е \¥р(С) (или и Е Ск(С)) для данной вектор-функции и = (и1, и2,..., ии) означает, что каждая из компонент иг принадлежит пространству \Мр(С) (или Ск(С)). В этом случае под нормой вектора понимаем сумму норм координат. Будем считать, что аналогичное соглашение справедливо и для матриц, т.е. включение а € Шр(О) для данной матрицы-функции а = {а^}>и,г=1 означает, что агз(х) € Шр(О) для всех г,]. Для данного интервала 3 = (0,Т), положим ^) =
Ш;(.]; Ьр(О)) П Ьр(3; Ш;(О)), Соответственно, (Б) = Ш*(3; Ьр(Г)) П Ьр(3; Ш;(Г)).
Через р(х, М) обозначаем расстояние от точки х до множества М. Условие Г € Са (а > 1 означает, что для любой точки х0 € Г найдется окрестность и (координатная окрестность) и система координат у (локальная система координат), полученная путем поворота и переноса начала координат из исходной, в которой
1] П С = {у € Е” : у' е Вг,ш(у') < уп < ш(у') + <5} ,
и П (Г1 \ С) = {у е : ш(у') - 6 < уп < ш^)} ,
Г П и = {у Е Е” : у' Е Вг, уп = ,
где у' = (г/1, г/2, •••, У/г-1), Вг = {г/ : \у'\ < г}, 8 > 0 - некоторая постоянная и о; €
Са(Бг). Без ограничения общности, считаем, что для локальной системы координат ось уп направлена по нормали к Г в точке х0.
Условия согласования и гладкости. Фиксируем р> п + 2т. Приведем, используемые ниже условия на данные задачи.
«сМ € И'Г"-2”,Л'(С), й(х, () € №*>»*> = (»)
где ] = 1, 2,... ,т.
I € Lp(^)) (6)
Уз (х, 0) = Бз (х, 0)ио(х)|ас, ] = 1, 2,...,т. (7)
фг(Ь) € Шр(0,Т), Фг(0) = ! ио(х)<рг (х)<1х, г = 1, 2,..., в, (8)
С;
фг ($ Є Шр(0,Т), фг(0) = ио(Хі), І = 1, 2,. . . ,8. (9)
Условия на коэффициенты операторов А, Вз- более или менее стандартные. Более того, для простоты выкладок мы будем использовать не самые точные условия на коэффициенты. Мы считаем, что
аа(і,х) Є ЬсоіС}) (М < 2 т), аа Є С {О) (|а'| = 2 т),
Ьз,з Є С2т~т> (5) {] = 1,..., т, \13\< Шз),
Ьг(х,г) Є Ьсх(0, Т; Ьр (С)), і = 1, 2,...,г, (11)
Пусть {Сз} - набор областей с границей класса С1 вложенных в С. Мы будем использовать два вида условий на весовые функции |^з- (х)}:
вирр щ С Су, <рз Є \¥}(Сз) (“ + “ = Х) ’ І = 1, 2,..., (12)
вирр <£з С Сз, <£з Є Ь1(С), і = 1, 2,..., 8. (13)
При выполнении минимальных требований (13) нам понадобятся дополнительные условия на данные задачи Пусть С0 = и;=1 Сз, О) = Со X (0,Т).
V/ Є Ьр(Оо), ЧЪз Є Ь^(0,Т,Ьр(Со)), (14)
2 772,_2ттг
VI/,о Є \¥р р (Со), Уаа(х,і) Є \¥^о), (Н < 2т). (15)
Пусть Вр(х) - шар радиуса р с центром в точке х. Найдется 80 > 0 такое, что
В$0(хг) П В$0(хз) = 0 при І = і и В$0(хг) П дС = 0 для всех І,і = 1, 2,... ,г. Положим
Сё = и г В& (хг). В случае задачи (1)-(3) определим матрицу В(ї) размера г X г, строки
которой с номерами (к — 1)к + 1, кк, (к = 1, 2,..., 8) занимают матрицы размера к X г
со столбцами J Ъ1^кЛх, ..., [ ЪгіркЛх. Можно показать, используя условия (11)-(12) (соот-а а
ветственно, (13), (14)) и теоремы вложения, что элементы этой матрицы принадлежит Ь^(0,Т). В случае задачи (1)-(2), (4) мы будем дополнительно требовать, что выполнены условия (13), (14), где в качестве области С0 берется 8-окрестность С6 множества {хз }^=1 с 8 < 80. В качестве матрицы В возьмем матрицу, строки которой с номерами (к — 1)к + 1, кк, (к = 1, 2,..., 8) занимают матрицы размера к X г со столбцами Ъ1(хк,Ь),...,ЪГ(хк,і). Опять при выполнении условий (13), (14) элементы этой матрицы принадлежит Ь^(0,Т). В обоих случаях мы требуем, чтобы существовала постоянная 80 > 0 такая, что
| В(Ь)І> 80, для п.в. і Є [0,Т] . (16)
Рассмотрим оператор: А0(і,х,Б) = ^|а|=2таа(х,і)Ба и предположим, что оператор ді + А0 параболичен, т.е. найдется постоянная 81 > 0 такая, что любой корень р многочлена
det (А0(і, х, І£) + рЕ) = 0,
(Е - единичная матрица) удовлетворяет неравенству:
Яер < -5^|2т, € Еп, У(х,г) € Я. (17)
Условие Лопатинского запишется в виде: для любой точки (Ь0,х0) € Б запишем операторы А0, Бз0 (Бз0 = ^2|в|=т. Ьзв) в локальной системе координат у и предположим, что система
(Xе + А0(гС',дуп° Бз0(г0,х0)(гС',дупМ0) = кз, (18)
= (£ь • • • ,§«-1)1 Уп £ Е+, j = 1, 2,..., /77.) имеет единственное решение из С'(Е+; Е) убывающее на бесконечности для всех £' € Кп-1, |arg Х| < п/2 и кз € Е таких что
|С/1 + |х| = 0.
Алгебраические условия, гарантирующие выполнение (18) могут быть найдены, например, в [28]. Положим Об,г = {х € Ог : р(х, дОi) > 5}, Я]г = Об,г X (0, 7), Об = и= Об,г и Яб = Об X (0,Т), Я] = Об X (0,7) (5 > 0), Я1 = О х (0,7).
Справедлива следующая теорема
Теорема 1.1. Пусть О - ограниченная область с границей класса С2т, выполнены
условия (5), (10), (17), (18) и кз = 1/р для всех ] = 1, 2,...,т. Тогда если д € Ьр (Я), то
существует единственное решение и € Ш1’2т(Я) задачи
иг + А(г,х,Бх)и = д, и^=0 = щ(х) , Бзи^ = Уз , (19)
удовлетворяющее оценке
Ml Wp’2m(Q) — c
\lp(Q) + ^ ||gjlWkj’2mkj(S) + |uo!Wp2m-2m/P(G) , (20)
j=i p
где c - постоянная, не зависящая от данных задачи g,gj,u0 и решения u. Если дополнительно выполнено условие (15) и Vg £ Lp(Qo), то решение и обладает свойством
Vu £ W1’2m(Qs), У8 > 0.
□ Первое утверждение - следствие из теоремы 10.4 в [28]. Получим второе утверждение. Покажем, что полученное решение обладает большей гладкостью в областях Qs,j. Фиксируем 82 >81 >8 (считаем, что 82 достаточно мало и таким образом Gs2j = 0). Построим функцию ф0(х) £ C0f(Rn); ф0 = 1 в Gs2j и ф0 = 0 в G \ GSlj. Положим Aiu = (u(x + вг'ц) — u(x))/n (ei - i-й координатный вектор), где |п| <8 — 81. Тогда функция V = ф0(х)А.1 и есть решение задачи
vt + A0(t,x,D)v = ^[A0, Ai}u + ^Aig + [A0,^0]Aiu +
+ ф0Ai ((A0 — A)(u + Ф)) (21)
Br V|s = 0 (r = 1, 2,...,m), Vlt=0 = фo(x)Ai щ.
где [A0, Ai] = A0Ai,—AiA0, [A0, ф] = A0ttф—t^A0 и т.д. (т.е. квадратные скобки обозначают соответствующий коммутатор). Тогда функция V удовлетворяет оценке (20), где правая часть, граничные функции gj и функция u0 заменяются на выражения, входящие в
правые части в (21), соответствующие нормы которых оцениваются постоянной не зависящей от параметра к. Используя лемму 4.6 главы 2 в [29], получим, что обобщенная производная 8Х1V принадлежит Wp’2m(Qs2j) и удовлетворяет оценке
) — Со
Р^0) + |^иоЦ^2т 2т/Р (£0) + Ци||^;
\Я)
(22)
В силу произвольности 82,81 и заключаем, что Vv Е Wp’2m(Qs1) для всех ^ > 0. ■ Как следствие теоремы 1.1 имеем
Теорема 1.2. Пусть С - ограниченная область с границей класса С2т, выполнены условия (10), (17), (18), кз = 1/р для всех] = 1, 2,... ,т и д Е Ьр) (*у Е (0,Т]). Тогда существует единственное решение и Е Wp’2m(QY) задачи
иг + Л(г,х,Бх)и = д, и\г=о = 0, В3 и\в = 0 (] = 1, 2,...,т) ,
(23)
V
х
удовлетворяющее оценке
[М^р1,2™^) — с11д1кр(я~<), (24)
где с - постоянная, не зависящая от *у.
Теорема 1.3. Пусть выполнены условия теоремы 1.2 и условия (15) на коэффициенты аа. Тогда решение и задачи (23) при фиксированном 81 > 0 удовлетворяет оценке
И^И^р1’2™^) — с(\\д\\ьр) + \№д\\ьр^)), (25)
где постоянная с не зависит от
2. Основные результаты
Теорема 2.1. Пусть выполнены условия (5)-(8), (10)-(12), (16)-(18). Тогда существует единственное решение (и,д1,..,дг) задачи (1)-(3) такое, что
и Е Wp,2m(Q), дг (I) Е Ьр (0,Т) , г = 1, 2,...,г.
Решение удовлетворяет оценке
г
[Мир1’2™^) + X! И^^Ьр (о,т) —
г=1
m в
с(\\/\[Ьр (Я) + ^2 \\д3 Н^Лг2™^ (2) + \\ио\\щ2т-2т/Р (С) + ^ Ь^Ш^ОТ)) '
3=1 Р 3=1
□ Продолжим граничные данные внутрь области, построив функцию Ф Е Wl’2m(Q)
такую, что Ф\г=0 = и0(х), В3Ф|2 = дз (] = 1, 2,... ,т). В качестве функции Ф возьмем
решение задачи (19) (см. теорему 1.1), где д = /. Тогда, если и решение задачи (1)-(3), то функция V = и — Ф есть решение задачи
Г
VI + Av = ^ Ш,х)дг(г) , v|t=0 = 0, В3 v|s = 0 ,] = 1, 2,...,т, (26)
і=1
/ vфidx = фг — Фіргйх = фг Є ШІ(0,Т). (27)
Зо Зо
Интегрируем (26) с весом фг и используем (27). Имеем
J (рі(х)УіСІх = ^ J ірі(х)у(х,і)(1х = фи ,
фи + / фiAvdx = Яз ф/з (ї, x)dx , і = 1, 2,... ,8 . (28)
Зо з=1 Зо
На равенство можно смотреть как на уравнение для нахождения функций дг(ї). Действительно, пусть В - матрица, определенная после формулы (15). Правая часть (28) записывается в виде Вд, д = (д1,д2,... , дг). Равенство (28) перепишется в виде
Вд = ф + Я(д) , (29)
где компоненты векторов Я(д), ф с номерами (к — 1)к + 1, кк, (к = 1, 2,..., 8) занимают
столбцы /о фкAvdx и фкі, соответственно, причем v решение задачи (26) и значит
Г
v = (д + А)-1(^2 /іЯі (і))
з=1
или
д = В 1ф + В 1Я(д) = фо + Яо(д). (30)
Покажем, что уравнение (30) разрешимо в Ьр(0,Т). Получим оценки. Оценим НЗДк(о,7). По условию матрица В обратима, и в силу условия (16) имеем
\\Ыо)НЬр(о,1) — со\\Я(д)НЬр(о,1) — ^ со\\ Л^гйхНЪр(о,1) . (31)
= о
Имеем Ли = Л^ + Л^, где Л^ = ^2 aaDav и Л^ = ^2 aaDav. При \а\ — 2т — 1,
|a|=2m |a|<2m
получим
1 ' г ' 1
I ааОаифг
о
Г — Г —
< м(^ \Вац\РСІХ^ Р ^ [фі^СІХ^4 < сЦмЦ^уЗт-і^^
оо
Г —
с = М тах( / |фі|9 dx)4 , М = тах .
і \ Iо ' 1а1<2т
Таким образом,
о
— сі 1М1 ш2т-1 .
(32)
Рассмотрим выражение /о Л0vфidx. Сюда входят слагаемые
/ aa(x,t)Davфidxdt = aa(x,t)Da ^фпdГ — / (ааф^хкDa vdx ,
./о ./г Зо1
д ,
где Пау = ——-О" V, Пк - координаты единичной внешней нормали к Г» = <96^. Второй дxk
интеграл оценивается сверху
ІааІІВа^ІІфіХк ^ + 1ааХк —
Юі
Ю0
Юі
— М( В v|pdx) / [фіХкI*dx) + Мі[ / В v)pdx
ф* dx
Таким образом, второй интеграл оценивается величиной с2|^||ш2т-1(о). Оценим первый интеграл с использованием теорем о следах (см., например, [26,28,29])
ааБа ^фгПкdГ
— Му В v||фгnк ^Г — М^ у Ва v|pdГ
Г 1
ф* —
Сз\\Оа 1)\\ьр(Гі) — с4\\Оа ^\ш,(оі) — С^И^т-іо)
1 > /3 > -Р
Из последних двух неравенств вытекает, что найдется постоянная с6 такая, что
о
— Сб№\\і№в+2т-1(о) ■
(33)
Фиксируем в. Тогда из (32), (33) и интерполяционных неравенств (см. [26]) следует, что
— ^ШМк2™-1^(0)Н^р(о>7) — с8|М1,Ср(оггШ™^)) НvНLp(0,r,Lp(О)) ,
где 2тв + (1 — в) = (2т — 1 + в). По теореме 1.2
— С9\\^1 Яі/і
і=1
Ьр &)
Правая часть оценивается так:
|дi|p|/i|pdxdt
Ю о о
Г
Г
Г
1
НАУЧНЫЕ ВЕДОМОСТИ Е»|Я Серия: Математика. Физика. 2014. №12(183). Вып. 35 69
/1 г г 1
\д^Р]с Шр^ — НМь,х(0,Т;Ьр(О)) ^ — (0>у) . (35)
Кроме того,
I
11
и(х,1) = иг(х,т)с1т , —I— = 1 ,
У р д
о
г г 1
1Мк(С) < J \\Ут(х,т)\\Ьр{С)(1т < 7^(У Рт(х,т)\\1р{а)(1тУ .
оо
Отсюда получим, что
ЫьрС) — т1Ык(ср) . (36)
Используя (34)-(36) и приведенное выше неравенство для ||Я0(д) ||, получим
Н^о(дШр(0,^) — с11НдНЬр(0,4)11 в . (37)
Таким образом, если с1171— — д0 < 1, то уравнение (30) имеет единственное решение д из Ьр(0,^) ^ф0 Е Ьр(0,^). Возьмем
д = Г д, t Е (0,7),
\ 0, t Е к 27]
и сделаем замену д = д1 + д0 в (30). Тогда
д1 = Яо(0л) + со — до + В-о(до). (38)
Если д1 есть решение уравнения (38) на [0, 27], то д1 — Я0(д1) = 0 на (0,7) и по доказанному д1 = 0 на (0,7). Имеем д1\[1,21] Е Ьр(^, 27). Оценим Н^0(С1)Ньр(^,21). Как и ранее, получим оценку
Н^0(д1)НЬр(1у21) — сМЛЬр(1,21)11~в , где без ограничения общности считаем, что постоянная с совпадает с постоянной с11 из (37). Тогда уравнение (38) имеет единственное решение из Ьр(*у, 2у). Функция д = д1 + до есть решение (30) на промежутке [0, 27]. Повторяя рассуждения за конечное число шагов докажем, что уравнение (30) имеет единственное решение из Ьр(0,Т).
Восстановим функцию v как решение уравнения (26). Покажем, что функция v есть решение нашей задачи. По построение v\t=0 = 0, В^\в = 0 (г = 1, 2,... ,т). Докажем, что /о фivdx = ф,, ^). Интегрируем уравнение в (26) по С с весом ф,,. Имеем
д_
т
фг, vdx + Лvфidx = Е дз Ь ф^-
3 = 1
о о о
Функции дз удовлетворяют системе (28), вычитая г-е уравнение которой из предыдущего
равенства получим, что ( [ фivdx — г[)Л =0 или
V/''* / г
о
фivdx — фi = ( фivdx — фi )\£=о = 0
о
о
г
в силу условий согласования. Таким образом функция v есть решение нашей задачи. ■
Оценка из утверждения теоремы фактически была получена в процессе доказательства разрешимости обратной задачи.
Теорема 2.2. Пусть выполнены условия (5)-(8), (10)-(11), (13)-(18). Тогда существует единственное решение (и,д1,..,дг) задачи (1)-(3) такое, что
и Е Wp’2m(Q), ф) Е Ьр(0,Т), г = 1, 2,...,г, VxU Е W^,2m(Q&)
для всех 8 > 0. При фиксированном 8 > 0 решение удовлетворяет оценке
Г
(Мкр’2™^) + llV'хиНШ^’2™(С6) + Нgi(t)НLp(0,T) —
i=1
m
с(II/НЬр(0 + хШНЬр(Со) + ^2 Ндз НШк^’2™к^ (Я) +
3=1
в
_2ш + ||У.тг(0|| 2,п-3ш + ||У’г||и/-1(0,Т) ) •
р (С) И/р р (Со) ^ 1 /
+
Шр р (о)
3 = 1
□ Доказательство проводится по той же схеме, что и доказательство предыдущей теоремы. Единственное отличие в доказательстве - способ получения оценки для нормы оператора Яо. Приведем его. Оценим ||Дод^|ьр(0,~). Как и ранее имеем
\^(о)НЬр(о,1) — соНя(д)НЬр(о,1) — Vсо / ^ф^
1=1 ]о
Ър(оа)
В силу компактности множеств вирр ф3, найдется 80 > 0 такое, что вирр ф3 С 0$^ для всех 8 > 80 и для всех ]. В силу условий на коэффициенты и теорем вложения [26].
Лvфidx
о
,о*0’
0’1
М1 X] ^^(о^) — М2Мш2™+в(о,01) , в Е (n/p, 1).
|a|<2m
Далее, используя интерполяционные неравенства [26], получим оценку для последней нормы
МзН\вш2т+1(о101 ))1М11-(%, (2т +1)в = 2т + в .
Неравенство справедливо для всех ]. Тогда
\Ко(д)НЬр(ог() — М4Нг’НЬр (0,г,ш2™+1(об0 ))НvНLp(0,r,Lp (о))
в
В силу оценки (36), имеем
\\Н°(о)\\Ьр(0,7) < М5\\ъ\\ьр(0,г,ш2т+1(С5о)) ^'и*^Ьр(0,1;Ьр(а))7 ,
Далее, в силу оценки из теорем 1.2, 1.3,
Г
\У\ьр(0,1;Ш2т+1(Об0)) < (\\У^ ) + \\^1ЛРЬр(Я~!)
І=1
где с - постоянная не зависящая от 7. Используя условия на функции /І, V Х/І, как и при доказательстве теоремы 2.1, получим оценку
||Яо® 1к(«.-,) < ММК(0,у)71- ■ (39)
Это как раз и есть нужная нам оценка. Остальные рассуждения совпадают с рассуждениями из предыдущей теоремы. I
Рассмотрим задачу (1), (2), (4). Фиксируем ^ < 80 (постоянная 80 была определена после формулы (15)) и возьмем в качестве областей Є і шары В^ (хз). Как и ранее, Є0 = и&і=1 Єз. Мы воспользуемся теоремой 2.3 из [30] в соответствии с которой:
Теорема 2.3. При выполнении условий (5)-(7), (9)-(11), (14)-(18) существует единственное решение задачи (1), (2), (4) такое, что д Є Ьр(0,Т),и Є Wl’2m(Q),Vи Є ), У5> 0.
□ Предположим, что выполнены условия теоремы 2.3. Пусть є > 0. Рассмотрим функцию ф(х) Є 0^°(В1) (В1) = {х Є : |х| < 1} такую, что /к„ ф(х)йх = 1 и
ф(х) > 0 для всех х. Определим Фіє(х) = е~Пф([х — хз}/є). Имеем
1 [ (х — хі
,3\\ыс) = Ых)<1х=- ф(^Щс1х= 1
7КП є \ Є /
Введем г^є = /о фіє(х)и0(х) йх — и0(хз). В силу теорем вложения и условий на функцию и0, легко увидеть, что найдется постоянная М > 0 такая, что ІГ'ієІ < Мє для всех ]. Рассмотрим задачу (1)-(3), где ^ = ^є, є < 81, Є і = В$1 (хз), а в качестве функций ф^ возьмем функции фіє = фі (ї) + гіє. По построению и в силу условий (9),
Фзє(0)= ФієЩ(х) йх ■
Зо
Решение этой задачи (1)-(3) (оно существует и обладает свойствами указанными в теореме 2.2) обозначим через иє, дє = (дє, ■ ■■,д1), а решение задачи (1), (2), (4) через и,д = (д1, ■■■,дг). ■
Теорема 2.4. Пусть выполнены условия теоремы 2.3. Тогда
иє — и || 1,2т —— 0 при є —— 0.
□ Введем функции V = и — Ф и у£ = и£ — Ф (функция Ф была построена в доказательстве теоремы 2.1). Функции V и V£ есть решения задач
Г
VI
+ Av£ = ^ ЧлЬ , V£Іt=0 = 0 , Б, V£ls = 0, 3 = 1, 2,...,т
у£ ~ / Лг
г=1
Г
+ Av = ^ дг1г, v|t=0 = 0 , Б, v|s = 0 , з = 1, 2,...,т.
г=1
Выполнены условия
1<(х,,£) = ф, — ф(.г,,{), 1’£'р.£1х = ф,£ — / Ф1р,£(х)£х .
(40)
(41)
(42)
(43)
'С
'с
В силу теоремы 1.1, V Ф Е Wl’2m(Qs), У6 > 0. Фиксируем 6 Е (0,^1) и считаем, что £ < 61 — 6. Обозначим ш£ = V — V£ и а£ = дг — д£. Вычитая (40) и (41), а также (42), (43), получим
Г
Ш£1 + Аш£ = ^2 а£1г, V£Іt=0 = 0 , Б, V£Іs = 0 , 3 = 1, 2,...,т,
г=1
J ш£ф,£йх = J ^(х, Ь) — v(xj,Ь))ф,£йх + ! (Ф — Ф(х,,Ь))ф,£(х)йх — г,£ . со °
По теореме 2.2 справедлива оценка
I Ш£Ш12т{!3)
г в р
+ Х! \\а£\\Ьр(0,Т) < | / ^ — 'и(х, ,Ь))Ф,£^х
г=1 ,=1 С
в Г
VI / (Ф — Ф(х,,1))(р,£(х)йх ^ + М1£ .
Зс №1(о,т))
ШМ0,Т)
+
Рассмотрим второе слагаемое
(44)
^2\\ (Ф — Ф(х, , Ь))ф,£(х)в>х о-1 " зс
,= 1
ШМ0,Т)
Используя теоремы вложения, оценим, например.
(Ф^х,Ь) — Ф^х, ,г))ф,£(х)(1х
с
Ьр (0,Т)
При а = 1 — п/р справедливы оценки
(Ф^х,Ь) — Фt(х,,г))<р,£(х)<1х < вир 1Ф^х,Ь) — Фt(х,,Ь)1- I 1ф,£(х)1<1х <
С
х£Бс(х^ )
в
£ SUp
x€Bs(xj)
l§t(x,i) — &t{Xj ,t)\
■,V€GS \x — xj \
< £а\\Ф
t\\Ca(Gs) ■
Так как ||Ф^|с“(с,5) < с||Ф^|жр1(с,5), то окончательная оценка будет иметь вид
3, < С1£а\\Ф^\ьр(0,Т-,Ш1(С)) ,
где постоянная с1 не зависит от £, 3. Аналогично оцениваем выражение \| /с(Ф(х,Ь) — Ф(х, ,Ь)), (х)д,х\Ьр(0,Т). Тогда справедлива оценка
G
(ф — &(xj ,t))<Pjedx < С2£<Х(\\$t\\bp (0,T;W1(Gs)) + \\Ф\\ьр (0,T;W1(Gs}})
W1(0,T)
Рассмотрим второе слагаемое Jg(v— v(xj, t))^j£dx ■ Совершенно аналогично имеем оценкУ:
(v — v(xj ,t))ipj£dx
G
W1(0,T)
< C3£a(\\vt\\bp(0,T;W1(GS)) + IMUp(0,T;W1(GS)))
где постоянная с3 не зависит от £, 3. Ввиду (44), окончательная оценка имеет вид
Г
\\и£\\щ12т(д) + ^2 \\а£\\ьр(о,т) < сФа ,
г=1
где постоянная с4 не зависит от £. I
Заключение. Приведенные выше рассуждения достаточно конструктивны и полученные результаты и способы нахождения решений могут быть использованы при построении численных алгоритмов решений как задачи (1)-(3) так и задачи (1), (2), (4). По сути в теореме 2.1 показано, что при любой начальной функции метод последовательных приближений, примененный при построении решений системы (30), сходится.
Литература
1. Алексеев Г.В. Оптимизация в стационарных задачах тепломассопереноса и магнитной гидродинамики / М.: Научный мир, 2010.
2. Belov Ya.Ya. Inverse problems for parabolic equations / Utrecht: VSP, 2002.
3. Levandowsky M., Childress W.S., Hunter S.H., Spiegel E.A. A mathematical model of pattern formation by swimming microorganisms // J. Protozoology. - 1975. - 22. - P.296-309.
4. Capatina A., Stavre R. A control problem in biconvective flow // J. Math. Kyoto Univ. -1997. - 37; №4. - P.585-595.
5. Алексеев Г.В., Калинина Е.А. Идентификация младшего коэффициента для стационарного уравнения конвекции-диффузии-реакции // Сиб. жур. индустриальной математики. - 2007. - 10; №1(29). - С.3-16.
6. Alekseev G.V. Coefficient Inverse Extremum Problems for Stationary Heat and Mass Transfer Equations // Comp. Math. and Math. Phys. - 2007. - 47; №6. - P.1007-1028.
7. Babeshko O.M., Evdokimova O.V., Evdokimov S.M. On taking into account the types of sources and settling zones of pollutants // Dokl. Math. - 2000. - 61; №2. - P.283-285.
8. Калинина Е.А. Численное исследование обратной задачи восстановления плотности источника двумерного нестационарного уравнения конвекции-диффузии // Дальневосточный матем. жур. - 2004. - 5; №1. - С.89-99.
9. Криксин Ю.А., Плющев С.Н., Самарская Е.А., Тишкин В.Ф. Обратная задача восстановления плотности источника для уравнения конвекции-диффузии // Матем. моделирование. - 1995. - 7; №11. - С.95-108.
10. Iskenderov A.D., Akhundov A.Ya. Inverse problem for a linear system of parabolic equations // Doklady Mathematics. - 2009. - 79; №1. - P.73-75.
11. Ismailov M.I., Kanca F. Inverse problem of finding the time-dependent coefficient of heat equation from integral overdetermination condition data // Inverse Problems In Science and Engineering. - 2012. - 20, №24. - P.463-476.
12. Ivanchov M.I. Inverse problem of simulataneous determination of two coefficients in a parabolic equation // Ukrainian Math. J. - 2000. - 52; №3. - P.379-387.
13. Li Jing, Xu Youjun An inverse coefficient problem with nonlinear parabolic equation // J. Appl. Math. Comput. - 2010. - 34. - P.195-206.
14. Kamynin V.L., Franchini E. An inverse problem for a higher-order parabolic equation // Mathematical Notes. - 1998. - 64; №5. - P.590-599.
15. Kerimov N.B., Ismailov M.I. An inverse coefficient problem for the heat equation in the case of nonlocal boundary conditions // Journal of Mathematical Analysis and Applications. -2012. - 396. - P.546-554.
16. Кожанов А.И. Параболические уравнения с неизвестным коэффициентом, зависящим от времени // Ж. Вычисл. Матем. и матем. физ. - 2005. - 45; №12. - C.2168-2184.
17. Vasin I.A., Kamynin V.L. On the asymptotic behavior of solutions to inverse problems for parabolic equations // Siberian Mathematical Journal. - 1997. - 38; №4. - P.647-662.
18. Prilepko A.I., Orlovsky D.G., Vasin I.A. Methods for solving inverse problems in Mathematical Physics / New-York: Marcel Dekker, Inc., 1999.
19. Tryanin A.P. Determination of heat-transfer coefficients at the inlet into a porous body and inside it by solving the inverse problem // Inzhenerno-Fizicheskii Zhurnal. - 1987. - 52; №3. -P.469-475.
20. Dehghan M., Shakeri F. Method of lines solutions of the parabolic inverse problem with an overspecification at a points // Numer Algor. - 2009. - 50; №4. - P.417-437.
21. Dehghan M. Numerical computation of a control function in a partial differential equation // Applied mathematics and computation. - 2004. - 147. - P.397-408.
22. Pyatkov S.G., Samkov M.L. On some classes of coefficient inverse problems for parabolic systems of equations // Sib. Adv. in Math. - 2012. - 22; №4. - P.287-302.
23. Pyatkov S.G. On some classes of inverse problems for parabolic equations // J. Inv. Ill-Posed problems. - 2011. - 18; №8. - P.917-934.
24. Ivanchov M. Inverse problems for equations of parabolic type // Math. Studies. Monograph Series. - 2003. - 10.
25. Кабанихин С.И. Обратные и некоректные задачи / Новосибирск: Сибирское научное издательство, 2009. - 457 с.
26. Трибель Х. Теория интерполяции. Функциональные пространства. Дифференциальные операторы / М.: Мир, 1980.
27. Amann H. Compact embeddings of vector-valued Sobolev and Besov spaces // Glasnik matematicki. - 2000. - 35(55). - P.161-177.
28. Ладыженская О.А., Солонников В.А., Уральцева Н.Н. Линейные и квазилинейные уравнения параболического типа / М.: Наука, 1967.
29. Ладыженская О.А., Уральцева Н.Н. Линейные и квазилинейные уравнения эллиптического типа / М.: Наука, 1973.
30. Pyatkov S.G., Tsybikov B.N. On some classes of inverse problems for parabolic and elliptic equations // J. Evol. Equat. - 2011. - 11. - P.155-186.
ON SOME CLASSES OF LINEAR INVERSE PROBLEMS FOR PARABOLIC SYSTEMS OF EQUATIONS
S.G. Pyatkov, E.I. Safonov
Yugra State University,
Chekhov St., 16, Khanty-Mansiysk, 628012, Russia, e-mail: [email protected],
Abstract. Some questions that concerned the well-posedness of some linear inverse problems connected with parabolic equations and systems are examined. Both solutions and right-hand sides of systems are recovered under some integral overdetermination conditions. Uniqueness and existence theorems are proved in the Sobolev classes. It is demonstrated that for an appropriate choice of integral overdetermination conditions it is possible to pass to the limit on a parameter and the limit solution is the solution to the inverse problem with the overdetermination conditions which are represented by values of the solution at some fixed points.
Key words: parabolic system, inverse problem, control problem, boundary value problem, well-posedness.
