CC BY
26
Математика
УДК 517.9 001: 10.14529/ттрИ150401
ЗАДАЧА СТАРТОВОГО УПРАВЛЕНИЯ И ФИНАЛЬНОГО НАБЛЮДЕНИЯ ДЛЯ ОДНОГО КВАЗИЛИНЕЙНОГО УРАВНЕНИЯ СОБОЛЕВСКОГО ТИПА
Е.А. Богатырева1
Получены достаточные условия разрешимости задачи стартового управления и финального наблюдения для одного абстрактного квазилинейного уравнения соболевского типа в слабом обобщенном смысле. На основе абстрактных результатов доказана разрешимость задачи стартового управления и финального наблюдения для модели Баренблатта-Гильмана. Данная модель описывает неравновесную противоточную капиллярную пропитку, искомая функция соответствует эффективной насыщенности. Особенностью рассматриваемой модели является учет эффекта неравновесности, что согласуется с постановкой задачи стартового управления и финального наблюдения.
Ключевые слова: квазилинейное уравнение соболевского типа; задача стартового управления и финального наблюдения; слабое обобщенное решение; модель Баренблатта-Гильмана.
Введение
При исследовании процессов фильтрации в пористых средах [1] возникает задача Коши-Дирихле
х(5,0) = и (5), 5 еО, (1)
х(5, г) = 0, (5, г) едОх (0,Т), (2)
для уравнения Баренблатта-Гильмана
х, - аЛ(АФ(х)), = аДФ(х). (3)
Здесь Ос Я" - ограниченная область с границей дО класса С¥ , Те Я +, искомая функция х(5, г) соответствует функции эффективной насыщенности, параметры а и 1 - вещественны, положительны, характеризуют свойства среды и фаз, и(5) - эффективная насыщенность в начальный момент времени. Функция Ф(х) = |х|р 2 х, р > 2 - монотонно возрастающая и гладкая.
В подходящих функциональных пространствах (1)-(3) редуцируется к задаче Коши
х(0) = и (4)
для абстрактного квазилинейного уравнения соболевского типа
— (Ц(х)) + М(х) = 0, Ц(х) = Ах + 1М(х), 1е Я+. (5)
—г
Мы рассматриваем уравнения (3) и (5) как квазилинейные уравнения соболевского типа. С помощью методов, разработанных для этого класса уравнений, в работе [2] были рассмотрены задачи (1)-(3) и (4), (5), доказаны существование и единственность решения указанных задач в слабом обобщенном смысле.
Нас интересует задача стартового управления и финального наблюдения
— (Цх)) + М(х) = 0, х(0) = и, (6)
J(x(T),u) ® inf, u e U
ad'
1 Богатырева Екатерина Александровна - аспирант, кафедра уравнений математической физики, Южно-Уральский государственный университет. E-mail: [email protected]
где J(х(Т),и) - ограниченный снизу, полунепрерывный снизу, коэрцитивный функционал [3]; иа— - некоторое замкнутое и выпуклое множество в пространстве управлений и .
Общие вопросы существования решений задач оптимального управления рассмотрены в [3], доказано существование и единственность решения задачи стартового управления и финального наблюдения для эволюционного уравнения параболического типа. Задачи оптимального управления для линейных и полулинейных уравнений соболевского типа первого и высокого порядков с условиями Коши или Шоуолтера-Сидорова рассматривались в [4-7]. В работе использован метод Галеркина, применение этого метода для уравнений с двойной нелинейностью рассматривалось в [8-9]. Задача стартового управления и финального наблюдения моделирует ситуацию, когда момент наблюдения результата отделен по времени от начального кратковременного управляющего воздействия. Рассмотрение такой задачи для модели Баренблатта-Гильмана физически обосновано, так как данная постановка хорошо согласуется с учетом эффекта неравновесности, который является особенностью модели.
Статья содержит две части. В первой части доказывается существование решения задачи (6). Во второй части проводится редукция задачи стартового управления и финального наблюдения для модели Баренблатта-Гильмана к задаче (6) в подходящих функциональных пространствах. На основе полученных абстрактных результатов делается вывод о разрешимости задачи стартового управления финального наблюдения для модели Баренблатта-Гильмана.
1. Задача стартового управления и финального наблюдения для абстракной модели
Пусть Н = (Н•, ) - вещественное гильбертово пространство, отождествленное со своим
сопряженным; (и,и*) и (Р,Р*)- дуальные (относительно двойственности ^) пары
рефлексивных банаховых пространств. Построим пространство
X = {х: хе Ц¥(0,Т;и), хе Ц,(0,Т;Н)}. Определение 1. Слабым обобщенным решением задачи Коши (4), (5) назовем функцию х е X, удовлетворяющую условию
Т
)
—(Ц х), + (М (х),
= 0,
х(0) = и,"м> е и,"ре Ц2(0,Т). Замечание 1. Функции из пространства X после, быть может, изменения на множестве меры нуль из отрезка [0,Т] будут непрерывными отображениями [0,Т] ® и , таким образом, задача Коши (4), (5) имеет смысл.
В дальнейшем рассмотрении будут использованы следующие условия: Условия (А):
* *
А1. Вложения и с Р с Н с Р с и плотны и непрерывны. А2. Пространство и сепарабельно. А3. Вложение и с Р компактно. Условие (В):
В1. Оператор Ае Ь(и;и*) симметричен, положительно определен. Условия (С):
С1. Оператор Ме Сг+1(и;и*), г е N, 5 -монотонен, однороден порядка ке Я + . С2. Существует Р(5) > 0 при п.в. 5е [0,¥ такая, что Ре С[0,<») после, быть может, изменения на множестве меры нуль, и для п.в. 5е [0,¥, для любых u = и(5), V = v(5)еи выполняется
||М(и) -М(V)!Р* £ Р(5) |\и - v||p .
С3. Существуют СМ > 0 и р > 2 такие, что ||М (и)||* £ СМ \и\р-1 "и еи и (М (и), и) > 0 . С4. Производная Фреше оператора М симметрична.
0
Богатырева Е.А. Задача стартового управления и финального наблюдения
для одного квазилинейного уравнения соболевского типа
Справедлива следующая теорема [2].
Теорема 1. Пусть выполнены условия (A)-(C), тогда для любого u eU и для любого Т е R+ существует единственное слабое обобщенное решение задачи (4), (5), удовлетворяющее
||х(0|U £ Q(||u||U +||u||2), при п.в. tе (0,T),
и
II MI2 £ С II \\р
FH L2(0,T;H) £ С2 Ilullu'
Перейдем к рассмотрению задачи стартового управления и финального наблюдения (6). Введем
Определение 2. Пару (х,u)е XxUad будем называть решением задачи (6), если J(х(Т),u)= inf J(х(Т),u) и (х,u) удовлетворяет задаче (4), (5) в смысле определения 1. Вектор
( X,u)
u будем называть стартовым управлением в задаче (6).
Теорема 2. Пусть выполнены условия (A)-(C), тогда при любом Т е R + существует решение (х,u) е XXUad задачи (6).
Доказательство. При сформулированных условиях в силу теоремы 1 для задачи (4), (5) при любом u е Uad существует единственное слабое обобщенное решение. Поэтому можно считать, что
J (х(Т), u) = J (u).
Так как множество значений функционала ограниченно снизу, то существует минимизирующая последовательность {um } е Uad , такая что
lim J(um) = С,
где С - точная нижняя грань множества значений функционала. Следовательно, последовательность {J(um )}m=1 ограничена в R, а значит, в силу коэрцитивности функционала J(u), последовательность {um }m=1 ограничена в U .
Извлечем из {um } (переходя, если потребуется, к подпоследовательности) слабо сходящуюся последовательность um ® ü . В силу теоремы Мазура точка u е Uad .
Обозначим за хm = х(um) . В силу условий теоремы 1 можно извлечь такую подпоследовательность, назовем ее снова {хm}, что
хm ® х »-слабо в L¥ (0,Т;U); Xm (Т) ® х (Т) »-слабо в L^ (0,Т ;U); icm ® х слабо в L2(0^;U). В силу ограниченности линейного оператора A и ограниченности {х;я } в L¥ (0,Т;U), получим:
(Ахm (t), Xm (t)) £ |^ (t)|U* |^ (t)|U £ CA ^ (t)|£ , значит, {Aхm } ограничена в L¥ (0, Т ;U *).
В силу условия (C3) и ограниченности } в L¥ (0,Т;U), получим
M(Xm (t)), Xm (t)) £ |M(Xm (t))|U* IК (t)|U £ CM (t)|U ,
следовательно, {M (хП1)} ограничена в L¥ (0,Т ;U »).
Следовательно, найдется такая подпоследовательность {хm } , что
Aхm ® AX »-слабо в L¥(0,Т;U»); M(хт) »-слабо в L¥(0,Т;U»). Покажем, что m = M(х) . Так как вложение U с P компактно, то найдется такая подпоследовательность {хm }, что при почти всех t е ( 0,Т) хm ® х сильно в P . Заметив, что оператор M удовлетворяет (С2), получим:
||М(хт) -М(х)||* £ Р(5)1 хт - х\\ ® 0 при т ® +¥ , следовательно, / = М(х).
В силу сепарабельности пространства и выберем в нем счетную всюду плотную ортонор-мальную систему функций } . Тогда в силу основной леммы вариационного исчисления можно записать
Т
{.Ахт (Т), М;) + Л(М (хт (Т)), М;) + \Л(М (хт ), )—Т = ( Ахт (0), М;) + Л(М (хт (0)), .
0
Зафиксируем ] и перейдем к пределу при т ® +¥
Т
(Ах(Т), + Л(м (х(Т)), + Цм (х), )—т = ( Аи, + Л{М (и), .
Тогда получим, что
J (d{L( x), W + M ( x), W = 0,
T d
x(0) = u,"w e U,"je L2(0,T). Следовательно, x = x(ü) и в силу полунепрерывности снизу функционала lim inf J(üm ) > J(ü),
m®¥ Uad
значит, ü есть стартовое управление в задаче (6).
2. Модель Баренблатта-Гильмана
Рассмотрим задачу стартового управления и финального наблюдения для уравнения Баренблатта-Гильмана
xt -аЛ(АФ(x))t = аАФ(x).
x(s,0) = u(s), s e W,
x(s, t ) = 0, (s, t ) eôWx (0,T ), (7)
J(x,u) ® inf, u eUad, Положим H = W2-1(W) со скалярным произведением
(u,v) = Jü (-А) vdx, u,ve H,
W
где (-А) 1 - оператор Грина однородной задачи Дирихле для уравнения Пуассона Au = f в области W. В качестве пространства P выберем пространство Lp (W). Построим пространство
управлений U = {x : x e W^(W); x(s, t ) = 0, s e W}. В качестве U * и P* можно взять пространства,
сопряженные к U и P относительно двойственности в W2-1(W). Выберем Uad с U - непустое, замкнутое, выпуклое множество. Функционал зададим формулой
J ( x, u) = 2 |x(s,T ) - xd (s)|| q0 + 2 |u(s)|| q0 . 2 wqcw) 2 wqcw)
В силу теоремы вложения Соболева, если 1 < q < n и 2 < p < 2q , то условия (А1)-(А3) вы-
n - q
полнены. Кроме того, (А1)-(А3) выполнены, в случае, если n = q и p e (2, +»). Построим оператор A :
(Au, v) = (u, v) = J u (-A) vdx, u, v eU.
W
Лемма 1 [2]. Оператор A e L(U ;U*) симметричен, положительно определен.
0
0
Богатырева Е.А. Задача стартового управления и финального наблюдения
для одного квазилинейного уравнения соболевского типа
Построим оператор М:
(М(и),^ = Лj \ы\р 2 тёх, и,Vе и. п
Лемма 2 [2]. Оператор М е Сг+1(и ;и *), г еN , s-монотонен, однороден порядка к е Я+, имеет симметричную производную Фреше и удовлетворяет условиям (С2) и (С3).
2д
Теорема 3 [2]. Пусть 1 < д <п, а,Яе Я+, если д <п, то 2 < р <-, если д = п, то
п - д
о
р е (2, Тогда для любого и0 е и для любого Т е Я + существует единственное
обобщенное решение задачи (1)-(3).
В силу теоремы 2 и лемм 1 и 2 справедлива следующая
2д
Теорема 4. Пусть 1 < д < п, а,Яе Я+, если д < п, то 2 < р <-, если д = п, то
п - д
р е (2, Тогда при любом Т е Я + существует решение (X, и) е X X иаа задачи (7).
Литература
1. Баренблатт, Г.И. Математическая модель неравновесной противоточной капиллярной пропитки / Г.И. Баренблатт, А.А. Гильман // Инженерно-физический журнал. - 1987. - Т. 52, № 3. - С. 456-461.
2. Bogatyreva, E.A. On the Uniqueness of a Nonlocal Solution In The Barenblatt-Gilman Model / E.A. Bogatyreva, I.N. Semenova // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2014. - Т. 7, № 4. - С. 113-119. DOI: 10.14529/mmp140409
3. Фурсиков, А.В. Оптимальное управление распределенными системами. Теория и приложения. / А.В. Фурсиков. - Новосибирск: Научная книга, 1999. - 350 с.
4. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators /
G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Koln; Tokyo: VSP, 2003. - 216 p.
5. Замышляева, А.А. Оптимальное управление решениями начально-конечной задачи для уравнения Буссинеска-Лява / А.А. Замышляева, О.Н. Цыпленкова // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2012. - № 5(264). - С. 13-24.
6. Келлер, А.В. Численное решение задачи оптимального управления вырожденной линейной системой уравнений с начальными условиями Шоуолтера-Сидорова / А.В. Келлер // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2008. - № 27(127). -С.50-56.
7. Свиридюк, Г.А. Задача оптимального управления для уравнения Хоффа / Г.А. Свиридюк,
H.А. Манакова // Сибирский журнал индустриальной математики. - 2005. - Т. 8, № 2. - С. 144151.
8. Al'shin, A.B. Blow-up in Nonlinear Sobolev-Type Equations / A.B. Al'shin, M.O. Korpusov, A G. Sveshnikov. - Berlin, N.-Y.:Walter de Gruyter GmbH & Co. KG, 2011. - 648 p.
9. Свиридюк, Г.А. Одна задача для обобщенного фильтрационного уравнения Буссинеска / Г.А. Свиридюк // Изв. вузов. Математика. - 1989. - № 2. - С. 55-61.
Поступила в редакцию 29 июля 2015 г.
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2015, vol. 7, no. 4, pp. 5-10
DOI: 10.14529/mmph150401
THE START CONTROL AND FINAL OBSERVATION PROBLEM FOR A QUASI-LINEAR SOBOLEV TYPE EQUATION
E.A. Bogatyreva
Sufficient solvability conditions of the start control and final observation problem in a weak generalized meaning for one abstract quasilinear Sobolev type equation are obtained. Sobolev type equations constitute a large area of nonclassical equations of mathematical physics. Techniques used in this article originated in the theory of semilinear Sobolev type equations. Solvability of the start control and final observation problem for the Barenblatt-Gilman model describing the nonequilibrium countercurrent capillary impregnation was proved on the basis of abstract results. The unknown function corresponds to effective saturation. The main equation of this model is nonlinear and implicit with respect to the time derivative which makes it quite difficult to study. Formulation of this problem agrees with consideration of the effect of disequilibrium, which is the characteristic feature of the considered model.
Keywords: quasi-linear Sobolev type equations; start control and final observation problem; weak generalized solution; Barenblatt-Gilman model.
References
1. Barenblatt G.I., Gil'man A.A. Inzhenerno-fizicheskiy zhurnal, 1987, Vol. 52, no. 3, pp. 456-461. (in Russ.).
2. Bogatyreva E.A., Semenova I.N. On the uniqueness of a nonlocal solution in the Barenblatt -Gilman model. Bulletin of the South Ural State University. Series: Mathematical modelling, programming, 2014, Vol. 7, no 4, pp. 113-119. DOI: 10.14529/mmp140409
3. Fursikov A.V. Optimalnoe upravlenie raspredelennyimi sistemami. Teoriya i prilozheniya [Optimal control of distributed systems. Theory and Applications]. Novosibirsk: Nauchnaya kniga Publ., 1999. 350 p. (in Russ.).
4. Sviridyuk G.A., Fedorov V.E. Linear Sobolev type equations and degenerate semigroups of operators, Utrecht, Boston, Koln, Tokyo, VSP, 2003. 216 p. DOI: 10.1515/9783110915501
5. Zamyshlyaeva A.A., Tsyplenkova O.N. Optimal'noe upravlenie resheniyami nachal'no-konechnoj zadachi dlya uravneniya Bussineska-Lyava [The optimal control over solution of the initialfinish value problem for the Boussinsque-Love equation]. Bulletin of the South Ural State University. Series: Mathematical modelling, programming, 2012, no. 5(264), pp. 13-24. (in Russ.).
6. Keller A.V. Numerical solution of the optimal control problem for degenerate linear system of equations with Showalter-Sidorov initial conditions. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2008, no. 27(127), pp. 50-56. (in Russ.).
7. Sviridyuk G.A., Manakova N.A. An optimal control problem for the Hoff equation. Journal of Applied and Industrial Mathematics, 2007, Vol. 1, no. 2, pp. 247-253. DOI: 10.1134/S1990478907020147
8. Al'shin A.B., Korpusov M.O., Sveshnikov A.G. Blow-up in nonlinear Sobolev-type equations. Berlin, N.-Y.: Walter de Gruyter GmbH & Co. KG, 2011. 648 p. DOI: 10.1515/9783110255294
9. Sviridyuk G.A. Izv. vuzov. Matematika, 1989, no. 2, pp. 55-61. (in Russ.).
Received July 29, 2015
1 Bogatyreva Ekaterina Aleksandrovna is Post-graduate Student, Department of Equation of Mathematical Physics, South Ural State University, Chelyabinsk, Russia. E-mail: [email protected]
