УДК 517.95 DOI: 10.14529/mmph200305
ВАРИАЦИОННАЯ ПОСТАНОВКА ОДНОЙ ОБРАТНОЙ ЗАДАЧИ ДЛЯ ПАРАБОЛИЧЕСКОГО УРАВНЕНИЯ С ИНТЕГРАЛЬНЫМИ УСЛОВИЯМИ
Р.К. Тагиев, Ш.И. Магеррамли
Бакинский государственный университет, г. Баку, Азербайджанская Республика E-mail: r.tagiyev@list.ru, semedli.shehla@gmail.com
Коэффициентные обратные задачи для уравнений в частных производных могут быть поставлены как задачи оптимального управления, т. е. в вариационной форме. В таких постановках искомые коэффициенты уравнений состояния играют роль управляющих функций и целевые функционалы составляются на основе дополнительных условий. В статье рассматривается вариационная постановка обратной задачи об определении младшего коэффициента многомерного параболического уравнения с интегральным граничным условием и дополнительным интегральным условием. При этом роль управляющей функции играет младший коэффициент параболического уравнения и является элементом пространства интегрируемых по Лебегу функций с конечным индексом суммируемости. Решение краевой задачи для параболического уравнения, при каждом заданном управляющей функции, определяется как обобщенное решение из пространства Соболева. Целевой функционал составлен на основе дополнительного интегрального условия. Доказано существование решение задачи и получено необходимое условие оптимальности.
Ключевые слова: параболическое уравнение; обратная задача; интегральные условия; вариационная постановка.
Введение
Вариационные постановки коэффициентных обратных задач для параболических уравнений при классических граничных и дополнительных условиях изучены в работах [1-5] и др. Однако эти задачи при интегральных условиях исследованы существенно слабее [6, 7].
В настоящей работе изучается вариационная постановка обратной задачи об определении младшего коэффициента многомерного параболического уравнения с интегральными условиями. Доказано существование решение задачи, и получено необходимое условие оптимальности.
1. Постановка задачи
Пусть Rn - евклидово пространство размерности n > 2 , QcRn - ограниченная область с кусочно-гладкой границей S, S = S ^S , T > 0 - заданное число, QT = Qx(0,T), ST = Sx(0,T), S'T = S'x(0,T), S'T = S"x(0,T) .
Рассмотрим в цилиндре QT линейное параболическое уравнение
(ац (x t)uXj ) +u(x)и = f (xt), (x t)e qt , (1)
с начально-краевыми условиями
X (а1} ( х, г) их ) + и( х) и = / (х, г), ( х, г)е дт
•, ]"хг
и (х,0) = ^( х), х еП, (2)
и ^ = 0 ' ^'(х,^ = X а- (х,г) ^ С08 х =1К (х, У,г )и (Уг) ' (3)
Здесь V - единичный вектор нормали к S , направленной вне и ; а- (•, - = 1,п),о, /К -некоторые функции; и = и (х,г) - решение задачи (1)-(3).
Задачу нахождения решения и = и (х,г) задачи (1)-(3) по заданным функциям а- (•,- = 1,п),о,/,ф,К называют прямой задачей. На практике возникают также обратные задачи,
Тагиев Р.К., Магеррамли Ш.И.
Вариационная постановка одной обратной задачи для параболического уравнения с интегральными условиями
в которых некоторые из коэффициентов aij (x,t)(г',у = 1,п), x) уравнения неизвестны и подлежат определению по некоторой дополнительной информации. Такие задачи называются коэффициентными обратными задачами.
Пусть в задаче (1)-(3) а, (г, j = 1,п), а ,р,К — известные функции. Требуется найти пару функций (и,и), удовлетворяющих условиям (1)—(3) и дополнительному условию
) и ( х, t) & = а( х), х еО,
(4)
где ю и а — известные функции.
Задачу (1)—(4) поставим в вариационной форме: требуется минимизировать функционал
2
3(и) = | )и(х,t^;V)&-а(х)
&х
(5)
на множестве
V = {и = и(х) е (О): Цх)|< & п.в.на О} (6)
при условиях (1)—(3), где 5 > п +1 при п > 2 , & > 0 — заданные числа, и(х^;и) = и(х— решение краевой задачи (1)—(3) соответствующее коэффициенту и еУ. Ниже эту задачу будем называть задачей (1)—(3), (5), (6). В этой задаче коэффициент и = и(х) играет роль управления, а целевой функционал (5) составлен на основе условия (4).
Будем предполагать, что заданные функции а, (г, у = 1, п), а ,р, К,ю,а удовлетворяют сле-
дующим условиям:
ау (л; t) = ауг (x, t), (/, у = 1,п),
V?2 <¿0, (х, </\ # = (£,...,£, ),
г,3=1
г=1
( х, t )|<и п.в.на QT ;|К ( х, у, t )|<и2,К ( х, у, t п.в.на S х0х(0,т),
реЖ^ (О), f е Ь2 (От ); (7)
ю е Ь2 (0,Т), а е Ь2 (О) , (8)
где V, /, / > 0 (г = 1,3) — некоторые постоянные.
Пусть и еУ — некоторое фиксированное управление. Тогда обобщенным решением из V,1,0 (От) краевой задачи (1)—(3) назовем функцию и = и(х^) = и(х^;и) из ^о (От ) =
|и = и (х, t) е V1,0 (От ): и (х, t) = 0, (х,t) е } :
удовлетворяющую интегральному тождеству
/
От
-ип + Ё агзих} Пх, +ииП
•,3=1
dxdt - |
| К ( s,y,t )и(у,^у
О
П ( s,t) dsdt =
(9)
= \ф(х)ц(х,0)&х + | f^dxdt , т] = ^(х,t)
е ^2,0 (От ), л(х,Т) = 0 .
о от
Можно показать, что краевая задача (1)—(3) однозначно разрешима в ^о (От ) при каждом и еУ, решение задачи (1)—(3) является элементом пространства
Ж°о (От ) = \и = и(х,t) е Ж1,1 (От ): и(х,t) = 0, (х,t) е Бт } и верна оценка
< М1
II (11) II 2,От
N2:0+11 А ко _
Здесь и ниже всюду М1, М2,... — положительные постоянные.
(10)
0
О
0
т
2. Существование решения задачи
Теорема 1. Пусть выполнены условия (7), (8). Тогда задача (1)-(3), (5), (6) имеет хотя бы одно решение.
Доказательство. Пусть и еУ - некоторый элемент и последовательность (рк} с V такова,
что
ик ^ и слабо в Ls (П). (11)
Положим Uk =Uk (х= и(хХик) . Тогда из (1)-(3), записанных при и = ик , учитывая оценку (10) получим
ЫК^ (k=1,2,...),
Тогда в силу теоремы вложения [8, с. 78], не ограничивая общности, можно считать, что
ик ^и слабо в ^о (QT ) и сильно в L2 (QT ),
где и=и(х,г) - некоторая функция из Жго(Qт) . Пологая в (9) и = ик,и = ик , получим тождества
(12)
(13)
i
QT
-ukVt + Z a'juK. Vx, + vk (x)ukV
i, J=1
dxdt - J
J К (s, t) uk (t) dy
v( s, t) dsdt =
= jV( x)v(x,0) dx +J fvdxdt (k = 1,2,.) , V^ = v(x, t)eW£0 (QT ), v(x,T) = 0 . (14)
Q QT
Проводя обычное преобразование и пользуясь неравенством Коши-Буняковского, имеем:
J uk uk ndxdt - J vuydxdt
QT QT
J uk (uk - u) ndxdt+ J (uk - и) u^dxdt
QT
QT
d||ufc — u|
2,QT II ' ll2,QT
J (vk - v)uvdxdt
QT
(15)
Используя теоремы вложения [8, с. 78], получаем, что ище )(QT ) при s > п +1. Тогда из
соотношений (11), (13) и (15) следует, что
| икик цdxdt ^ | vщdxdt. (16)
Qг Qт
Известно, что вложение ^о (@тL2() ограничено [8, с. 78]. Используя этот факт и пользуясь неравенством Коши-Буняковского, имеем
th.
J
J J К (s,y,t) uk (y,t) dy
' Ls
J(uk( y, t)- u (y, t)(dy
П ( s,t) dsdt - J
J K ( s,y,t) u (y,t) dy
Q
П ( s,t) dsdt
V(s,tJdsdt < M2 2/2 |Iuk -u||2,Q J Ыs,t2,(0,T) ds
.|1/2
¡л2 Q M3 \\uk - u
ll(1,1)
ll2,QT II ' ll2,QT '
где |П| = шеиП. Если в (17) прейдем к пределу при к ^го и учтем (13), то получим
J
J К (s,y,t) uk (y,t) dy
П ( s,t) dsdt ^ J
J K ( s,y,t) u ( y,t) dy
Q
П ( s,t) dsdt.
(17)
(18)
T
Тагиев Р.К., Магеррамли Ш.И.
Вариационная постановка одной обратной задачи для параболического уравнения с интегральными условиями
Теперь перейдем к пределу в (14) и учтем соотношения (13), (16), (18). Тогда получим, что функция и(х^) удовлетворяет тождеству (9), т. е. и(хД) = и(х,Р,ь) . Таким образом, соотношение
(13) справедливо с функцией и = и (х^) , и в частности
и (х^;ик ) ^ и (х, V, и) сильно в Ь2 (От ) . (19)
Тогда из равенства (5) и соотношения (19) следует, что 3(ик) ^ J(и) при к ^го. Таким образом, функционал 3 (и) слабонепрерывен на слабокомпактном множестве V. Следовательно, функционал 3(и) достигает своей нижней грани на V [9, с. 49], т. е. справедливо утверждение теоремы 1. Теорема 1 доказана.
3. Градиент целевого функционала и необходимое условие оптимальности
Пусть функция 1у( х) = к( х, t ) = к( хЗ;и) еУ^д (От ) является обобщенным решением следующей сопряженной краевой задачи:
п . .
К + Е(«у (х,t)¥хг ) -о^+{ К(£,х,tt)=
г, 3=1
'т
= 2
|ю(г)и(х,г;о)-а(х)
ю^ ), ( х, t) е От
х,т) = 0, х еО,
'= 0, .= 0.
(х,)е(х,,)е
Решение краевой задачи (20)—(22) удовлетворяет интегральному тождеству
(20)
(21) (22)
I
*2Т
КЛг + Ё аУ (Xt)^х1 Лх + оКЛ
', 3=1
dxdt - |
ег
| К ($, х, t t)
7]dxdt =
= -2 1
от
|ю(г)и(х,г;о)- а(х)
, Ул = л( х, t)еW21,,¿ (От ) ,л(х,0) = 0 . (23)
Можно показать, что краевая задача (20)—(22) однозначно разрешима в Ж2,0 (От) и верна оценка
ИЩМ4
|ю(^) и ( х,%;и) d% — a( х)
и
(* )
(24)
2,От
Для оценки нормы в правой части оценки (20) используем неравенство Коши—Буняковского и учитывая (10), получаем
\ШТ^2М4| 1С 2,(0,т)
М1И2,(0,т)(|И(2,пЧ1 А\2,от ) + а1|2,а
(25)
Теорема 2. Пусть выполнены условия теоремы 1. Тогда функционал (5) дифференцируем по Фреше в каждой точке и е У и его градиент имеет вид
т
3(о) = | и ( х, t;o)к( х, t;o) dt, х еО. 0
(26)
Доказательство. Пусть и е У — некоторой элемент, Ао е (О) — приращение этого элемента и о+АоеV . Через Аи = Аи (х, t) = и (х, ^о + Ао)- и (х,^о) обозначим приращение решения краевой задачи (1)—(3). Тогда ясно, что Аи является решением из (От ) краевой задачи
5
Aut -¿(a, (x, t)Aux ) + [v(x) +Av(x)]Au = -Av(x) u, (x,t)e QT , (27)
Au (x,0) = 0, x eQ, (28)
i, J =1
Au
SAu
: J К ( x, y, t) Au (y, t) dy |
'(x,t)eST 0 SN x,)eSy J "V-" "/"•''(x,,)eSr
(29)
и для него справедлива оценка:
IIAu\\Ms|| Avull
2,qt ^5 H~~Hl2,QT •
Тогда, используя неравенство (1.7) из [8, с. 75] и ограниченность вложения
W2,0 (qt ) ^ l2s/(s-2) (qt ) при s > п + 1 , имеем
ll(!,!) ^ Т°Ч1лЛ О ЛЖ IIЛ > ill IUI(!,!)
||aHIv,A) M5T!sIIAJ IUII , . MJAvII luir;: .
II II 2,QT 5 || lls,Qll Il2s /(s-2),QT 6 II lls,Qll II2Q
Приращение AJ (v) = J (v + Av)- J (v) функционала (5) представим в виде
AJ (v) = 2 J
J®(g)u(x,g;v)dg -a (x)
J®(t)Au(x,t)dt >dx + J J®(t)Au(x,t)dt
(30)
dx. (31)
Из (27)-(29) следует, что справедливо равенство
J
QT
Au,
Ы + Z a,jAux M, + (v + Av)AM
i, J =1
dxdt - J
J К (s, y, t) Au(y, t)dy
m( s, t) dsdt =
J Avuydxdt.
Qt
В (23) положим n = Au , полученное равенство вычтем из (32) и придем к равенству
(32)
2 J"
J®(g)u(x,g;v)dg - a(x)
Ja(t)Au(x,t)dt>dx = J (um + Au^Avdxdt.
QT
Подставляя это выражение в (31), получим
AJ(v) = J u^Avdxdt + R,
QT
rge
R = J Ja(t)Au(x,t)dt
0
dx + J AuyAvdxdt.
QT
(33)
(34)
Используя неравенство (18) из [8, с. 75], ограниченность вложения
w2,o (Qt ) ^L2s/(s-1) (QT ) и оценки (30), имеем
J u^Avdxdt
QT
<1И2s/(s-!),Qr Ml2s/(s-!)Q INIs,^M7 INl^ Ы^ IHls,Q
m8| u 2Q>KQtH s,q)2 .
<„QT II2,QT
Кроме того, используя неравенство Коши-Буняковского и оценки (30), имеем
2
(35)
T
J Ja(t)Au(x,t)dt
dx < И2,(0,T) IMI^ m2 INI2,(0,T) (lrfQ) IAv!,Q. (36)
Подставляя оценки (35), (36) в (34), получаем оценку
T
Q
2
Q
Q
0
Тагиев Р.К., Вариационная постановка одной обратной задачи
Магеррамли Ш.И. для параболического уравнения с интегральными условиями
И J
^ № IИ Lot ) I NI 21 + m1)| |и||2Й? INI * . (37)
112,(0,т)11 Н2,Ог 8ЦУ|12О /II Н2,ог II 1Ь,о ' Тогда из (33), (37) следует, что функционал 3 (и) (5) дифференцируем и его градиент имеет вид
(26). Теорема 2 доказана.
С помощью формулы градиента (26) и теоремы 5 из [9, с. 28] можно установить необходимое условие оптимальности управления в задаче (1)—(3), (5), (6).
Теорема 3. Пусть выполнены условия теоремы 1 и и =и (х)еУ — решение задачи (1)—(3), (5), (6), т. е. оптимальное управление. Тогда выполняется неравенство
i
|и(х,t;v )\(х,t;v )dt
[и( х )-v ( х )] dx > 0, Vv = v( х )eV.
Литература
1. Искендеров, А.Д. О вариационных постановках многомерных обратных задач математической физики / А.Д. Искендеров // Докл. АН СССР. - 1984. - Т. 274, № 3. - С. 531-533.
2. Алифанов, О.А. Экстремальные методы решения некорректных задач / О.А. Алифанов, Е.А. Артюхин, С В. Румянцев. - М.: Наука, 1988. - 285 с.
3. Кабанихин, С.И. Обратная задача нахождения коэффициента уравнения теплопроводности / С.И. Кабанихин., Г. Даирбаева // Международная конференция «Обратные некорректные задачи математической физики, посвященная 75-летию академика М.М. Лаврентьева», Новосибирск, 20-25 августа 2007. - Новосибирск, 2007. - С. 1-5.
4. Кабанихин, С.И. Обратные и некорректные задачи / С.И. Кабанихин. - Новосибирск: Сибирское Научное Издательство, 2009. - 457 с.
5. Iskenderov, A.D. Variational method solving the problem of identification of the coefficients of quasilinear parabolic problem / A.D. Iskenderov, R.K. Tagiyev // The 7th International Conference «Inverse Problems: modelling and simulation» (IMPS-2014), May 26-31, 2014. - 2014. - P. 31.
6. Тагиев, Р.К. Об оптимизационной постановке коэффициентной обратной задачи для параболического уравнения с дополнительным интегральным условием / Р. К. Тагиев, P.A. Касумов // Вестник Томского государственного университета. Математика и механика. - 2017. - № 45. -С.49-59.
7. Габибов, В.М. Коэффициентная обратная задача типа управления для параболического уравнения с дополнительным интегральным условием / В.М. Габибов // Вестник Бакинского Университета. Сер. физ.-матем. наук. - 2017. - № 2. - С. 80-91.
8. Ладыженская, О.А. Линейные и квазилинейные уравнения параболического типа / О.А. Ладыженская, В.А. Солонников, Н.Н. Уральцева. - М.: Наука, 1967. - 736 с.
9. Васильев, Ф.П. Методы решения экстремальных задач / Ф.П. Васильев. - М.: Наука, 1981. -400 с.
Поступила в редакцию 24 февраля 2020 г.
Q
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2020, vol. 12, no. 3, pp. 34-40
DOI: 10.14529/mmph200305
VARIATIONAL FORMULATION OF AN INVERSE PROBLEM FOR A PARABOLIC EQUATION WITH INTEGRAL CONDITIONS
R.K. Tagiev, Sh.I. Maharramli
Baku State University, Baku, Republic of Azerbaijan E-mail: r.tagiyev@list.ru, semedli.shehla@gmail.com
Coefficient inverse problems for partial differential equations can be posed as optimal control problems, i. e. in variation form. In such formulations, the sought-for coefficients of the state equations play the role of control functions, and the objective functionals are compiled on the basis of additional conditions. The paper discusses a variational formulation of the inverse problem of determining the lower coefficient of a multidimensional parabolic equation with an integral boundary condition and an additional integral condition. In this case, the role of the control function is played by the lower coefficient of the parabolic equation and is an element of the space of Lebesgue integrable functions with a finite summability index. The solution to the boundary value problem for a parabolic equation, for each given control function, is defined as a generalized solution from the Sobolev space. The objective functional is based on an additional integral condition. The existence of a solution to the problem is proved and the necessary optimality condition is obtained.
Keywords: parabolic equation; inverse problem; integral conditions; variational formulation.
References
1. Iskenderov A.D. On variational formulations of multidimensional inverse problems of mathematical physics. Sov. Math., Dokl., 1984, Vol. 29, pp. 52-55. (in Russ.).
2. Alifanov O.A., Artyukhin E.A., Rumyantsev S.V. Ekstremal'nye metody resheniya nekorrektnykh zadach (Extreme methods for solving ill-posed problems), Moscow, Nauka Publ., 1988, 285 p. (in Russ.).
3. Kabanikhin S.I., Dairbaeva G. Obratnaya zadacha nakhozhdeniya koeffitsienta uravneniya teploprovodnosti (The inverse problem of finding the coefficient of the heat equation). Mezhdunarodnaya konferentsiya "Obratnye nekorrektnye zadachi matematicheskoy fiziki, posvyashchennaya 75-letiyu akademikaM.M.Lavrent'eva", Rossiya, Novosibirsk, 20-25 avgusta 2007 (Proc. International Conference "Inverse Ill-posed Problems of Mathematical Physics, Dedicated to the 75th Anniversary of Academician M. M. Lavrentiev", Russia, Novosibirsk, August 20-25, 2007), pp. 1-5. (in Russ.).
4. Kabanikhin, S.I. Obratnye i nekorrektnye zadachi (Inverse and ill-posed problems). Novosibirsk: Sibirskoe Nauchnoe Izdatel'stvo Publ., 2009, 457 p. (in Russ.).
5. Iskenderov A.D., Tagiyev R.K. Variational method solving the problem of identification of the coefficients of quasilinear parabolic problem. Proc. 7th International Conference "Inverse Problems: modelling and Simulation" (IPMS-2014). May 26-31, 2014, P. 31.
6. Tagiev R.K., Kasumov R.A. Ob optimizatsionnoi postanovke koeffitsientnoi obratnoi zadachi dlya parabolicheskogo uravneniya s dopolnitel'nym integral'nym usloviem (On the optimization formulation of the coefficient inverse problem for a parabolic equation with an additional integral condition). Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika, 2017, no. 45, pp. 49-59. DOI: 10.17223/19988621/45/4
7. Gabibov V.M. Koeffitsientnaya obratnaya zadacha tipa upravleniya dlya parabolicheskogo uravneniya s dopolnitel'nym integral'nym usloviem (Coefficient inverse problem of control type for a parabolic equation with an additional integral condition). Vestnik Bakinskogo Universiteta. Ser. fiz.-matem. Nauk, 2017, no. 2, pp. 80-91.
8. Ladyzhenskaya O.A., Solonnikov V.A., Ural'tseva N.N. Lineynye i kvazilineynye uravneniya parabolicheskogo tipa (Parabolic linear and quasilinear equations). Moscow, Nauka Publ., 1967, 736 p. (in Russ.).
9. Vasil'ev, F.P. Metody resheniya ekstremal'nykh zadach (Methods for solving extreme problems). Moscow, Nauka Publ., 1981, 400 p.
Received February 24, 2020