CC BY
27
УДК 517.97
МИНИМИЗАЦИЯ ФУНКЦИОНАЛОВ СО СЛАБОЙ НОРМОЙ НА РЕШЕНИЯХ ВЫРОЖДЕННОГО ЛИНЕЙНОГО УРАВНЕНИЯ
А.Ф. Исламова
MINIMIZATION OF FUNCTIONALS WITH A WEAK NORM ON SOLUTIONS OF THE DEGENERATE LINEAR EQUATION
A.F. Islamova
В работе для класса задач жесткого смешанного управления линейными распределенными системами, не разрешенными относительно производной по времени, со слабыми относительно функции состояния функционалами качества доказаны теоремы существования и единственности. Абстрактные результаты проиллюстрированы на примере задачи управления для уравнения соболевского типа с многочленами от эллиптических самосопряженных операторов высокого порядка.
Ключевые слова: оптимальное управление, распределенная система, уравнение соболевского типа.
In the work existence and uniqueness theorems are proved for a class of problems with rigid mixed control of linear distributed systems, not solvable with respect to the time derivative, with weak cost functional with respect to the state function. Abstract results are illustrated by example of the control problem for Sobolev type equation with polynomials of high order elliptic selfadjoint operators.
Keywords: optimal control, distributed system, Sobolev type equation.
Введение
Пусть X, У, U — гильбертовы пространства, L е £(Х;У), kerL ф {0}, В 6 С(Ы]У) (линейные непрерывные операторы), М Е С1(Х;У) (линейный, замкнутый и плотно определенный в X). При некоторых предположениях на операторы L и М, гарантирующих существование сильно непрерывной разрешающей полугруппы уравнения Lx(t) — Mx(t), будем исследовать задачу оптимального управления для системы, в которой управляющее воздействие производится посредством выбора начального значения v и выбора функции и в уравнении состояния
Lx(t) — Mx(t) + y(t) + Bu(t), Px(0)=v, (1)
(и, v) € Дэ, (2)
Jo(a:)->inf. (3)
Здесь P - проектор, являющийся единицей упомянутой полугруппы операторов, \Xq — непустое выпуклое замкнутое подмножество пространства управлений Я, которое будет определено далее, у (0, Т") —У У — заданная вектор-функция. Поскольку в явном виде функционал
стоимости не зависит от управления, задачу (1) - (3) называют задачей с жестким управлением [1].
Система (1) является абстрактной формой многих начально-краевых задач для уравнений и систем уравнений в частных производных, встречающихся в естествознании и технике. К примеру, к уравнению такого вида сводятся линеаризованная система Навье - Стокса, система и уравнение Соболева, уравнение ионно-звуковых волн, уравнение волн Россби, уравнение свободной эволюции поверхности фильтрующейся жидкости и др. (см., например, [2, 3]). Заметим, что выбранное в качестве начального обобщенное условие Шоуолтера для уравнений соболевского типа в приложениях часто оказывается более естественным, чем условие Коттти.
При исследовании задачи (1) - (3) будем пользоваться результатами о разрешимости начальных задач для уравнений, не разрешенных относительно производной по времени, так называемых уравнений соболевского типа, полученных в своих работах Г.А. Свиридюком и
В.Е. Федоровым [3, 4].
Задачи оптимального управления для уравнений соболевского типа исследовались Г.А. Свиридюком и его учениками. В работах [5, 6] доказаны существование и единственность решения задач с распределенным управлением в случае линейных уравнений соболевского типа, а в [7, 8] - для нелинейных уравнений.
Задача со смешанным управлением вида (1) - (3) рассматривается впервые. Общие результаты о задаче с функционалом качества </о(х) используются при рассмотрении задач с функционалом в виде квадрата нормы функции состояния в пространстве Лебега (в отличие от более ранних результатов, в которых используется норма в пространстве Соболева) и с терминальным функционалом качества - квадратом нормы функции состояния в фиксированный момент времени. Абстрактные результаты работы проиллюстрированы на примере уравнения соболевского типа с многочленами от эллиптических самосопряженных операторов высокого порядка.
1. Относительно ^р-радиальные операторы.
Разрешимость задачи Шоуолтера
В данном параграфе приведены условия на операторы, достаточные для разрешимости задачи (1). Доказательства приведенных результатов можно найти в работах [3, 4].
Пусть Х,У - банаховы пространства, операторы Ь € С{Х\У), М € С1(Х;У). Введем некоторые необходимые в дальнейшем обозначения: рь(М) = {/1 6 С : (/лЬ — М)~л е С(У;Х)}, Я%(М) = {цЬ - М)-гЬ, Ь%(М) = Ь{цЬ - М)~\ М+ = {а € М : а > 0}, 1+ = М+и{0}, м0 = {о}им.
Определение 1. Пусть р 6 N0. Оператор М называется сильно (Ь,р)-радиальным, если
(1) За Е М (а, +оо) с рь(М);
(и) Ж > 0 е (а, +оо) Уп € N
тМ{||(^(М))”«^»||,сда,|[(^(АЮ)"<'+1Ч|ед} < _ д-^р+ц ■
О
(Ш) существует плотный в У линеал У, такой, что
\\М(1лЬ - мгНь^тг+'уИу < Уу еу
при любом [I € (о, +оо);
(іу) для любого ц Є (а, +оо)
||(^(М))"«(^-М)'Ч|£№Л < (-£^г.
Замечание 1. Эквивалентность этого, более простого определения сильной (Ь,р)~ радиальности и того, которое было использовано в [3, 4], доказана в [9].
Обозначим через Х° (У°) ядро кег(Д£(М))Р+1 (кег(і^(М))^+1), а через Xі (У1) - замыкание линеала іт(Д^(М))р+1 (и:п(Ь^(М))р+1) в норме пространства X (У). Через Мк (Ьк) будем обозначать сужение оператора М (Ь) на с1от.М£ = Хк ПсІотМ (Хк), к = 0,1.
Теорема 1. [3, 4]. Пусть оператор М сильно (Ь,р)-радиален. Тогда (і) Х^Х°фХ\ У = У°ЄУ1;
(И) Ьк Е С(Хк; Ук), Мк Е С1{Хк; Ук), к = 0,1;
(Ні) существуют операторы М$1 Е С(У0\Х°) и Ь^1 Е С(У1\ Х1)\
(іу) оператор (7 = М^1Ьо нильпотентен степени не больше р;
(у) существует сильно непрерывная полугруппа {Xі Е С(Х) : і Є Ж+}, разрешающая уравнение Ьх = Мх ;
(уі) оператор в = Е С1(Х1) является инфинитезимальным генератором Со-
непрерывной полугруппы {Х\ = Xі
Е £{Х1) : і Е Е+}.
Xх
Замечание 2. Проектор вдоль Х° на Xі (вдоль 3^° на ^У1) имеет вид
Р = 8- Пт (^(М)Г+1 = Пт (М^(М))^+1).
ц—Я-оо ^ д->+оо ^
При доказательстве утверждения (іі) используется тот факт, что в условиях теоремы 1 выполняются равенства = ЬР, С}Мх = МРх для х Є сІотМ.
Для краткости пространства Соболева в дальнейшем будем обозначать: \Ук(X) = ]¥к(0,Т;Х), Нк(Х) = \¥${Х) при к Е М0, 1 < д < оо. При этом ЬЯ(Х) = Ш$(Х), Ь2{Х) = Н°(Х).
Рассмотрим задачу с обобщенным условием Шоуолтера
Ьх(і) — Мх(і) + у(£), (4)
Рж(0) = хо, (5)
Функция х Е \¥ц{Х) называется сильным решением задачи (4), (5), если она удовлетворяет условию (5) и почти всюду на (О, Т) - уравнению (4).
Теорема 2. [10]. Пусть оператор М сильно (Ь,р)-радиален. Тогда при любых у Е ИГ%+1(У) их о Є ёотМх существует единственное сильное решение х задачи (4), (5). При этом оно имеет вид
р І х(*) = - X) ~ Я)У{к) (і) + / Хг-3Ь^1Яу{8)й8 + Xіхо (6)
к=о {
и удовлетворяет условию
1!ж11и^1(д') ^ & (іі^оИл1 + 1|5®о||йг + \\у\\2у/р+1(у)) ■ СО
2. Линейная задача управления
Результаты данного параграфа, необходимые для дальнейшего изложения, взяты из монографии А.В. Фурсикова [1]. Пусть 2), 53 - линейные нормированные пространства, 2)х, И - рефлексивные банаховы пространства, причем 2)х непрерывно вложено в 2). Рассмотрим следующую абстрактную линейную задачу управления
£(у, и) + Зо = 0, (8)
и Е На- (9)
J(y,u)-^шf, (10)
Здесь йд - замкнутое выпуклое подмножество пространства Я, функционал стоимости J(y,u) - выпуклый, определенный, полунепрерывный снизу относительно слабой сходимости в 2) х Я и ограниченый снизу на 2) х Ид, линейный оператор £ : %)х х Я -4 2? непрерывен, Зо Е 23 - заданный вектор.
Множеством 2ГГ допустимых пар {у, и) задачи (8) - (10), называется множество пар (у, и) € 2)х х Я, удовлетворяющих соотношениям (8), (9), для которых J(y,u) < оо. Предполагается также выполнение условий нетривиальное™ и коэрцитивности. Нетривиальность: Множество 233 допустимых элементов непусто.
Коэрцитивность: Для любого Л > 0 множество {(у, и) Е 233 : J(y,u) < В,} ограничено в 2)х х Я.
Решением задачи (8) - (10) называется пара (у, й) & 233, на которой достигается минимум функционала J:
1(у,й)= И %и).
(у,и)€ЗВ
Теорема 3. Пусть выполнены все условия, сформулированные в данном параграфе. Тогда задача (8) - (10) имеет решение (у,й) € 2)х х Я. Если функционал 7 строго выпуклый, то это решение единственно.
3. Задачи жесткого управления
со слабой нормой функции состояния
Пусть К, X, У - гильбертовы пространства, Ь Е С(Х]У), кет Ь ф {0}, В Е С(Ы]У), оператор М Е С1(Х;У) сильно (£,р)-радиален.
Введем обозначение Т>$ = склпМ]. В силу замкнутости оператора Б = Ь^1 М\ пространство является гильбертовым со скалярным произведением {■, -)х)3 = {■, -)х + (5'-, в-)#- В качестве пространства управлений выберем Я = НР+1(Ы) х Т>з-
Пусть «То - ограниченный снизу на линейном нормированном пространстве 2), полунепрерывный снизу относительно слабой сходимости в 2) функционал. Рассмотрим задачу оптимального управления
£ж(<) = Мх(Ь) + у{Ь) + Ви(€), Ь Е (0,Т), (11)
Рх( 0) = V, (12)
(и,и) Е Я5. (13)
,/о(х) -> т£, (14)
где непустое выпуклое замкнутое подмножество Яд пространства Я - множество допустимых управлений, пара (и, и) Е Я задает управление, у Е НР+1(У) - заданная функция.
Решения уравнения (11) будем искать в гильбертовом пространстве 2 = {г Е Н1(Х) \ Ы — Мх Е НР+1(У)}, наделенном нормой \\г\\^ = ЦгЦ^^ + \\Ы — Мг\\2НР+цуу
Множество 2В троек (х, и, у) £ 2 х И, удовлетворяющих условиям (11) - (13), для которых Jo(x) < +оо, назовем множеством допустимых троек задачи (11) - (14).
Решение задачи (11) - (14) состоит в нахождении троек (х,й,у) Е 233, минимизирующих функционал стоимости ./о (ж):
Мх)= Ы Мх).
(х,и,у)^Ш
Функционал </о(х) назовем коэрцитивным, если для любого Л > 0 множество {(ж, и, у) Е 2В : ./о (ж) < Л} ограничено в пространстве 2 х И.
Введем в рассмотрение непрерывный оператор 70 : Н1(Х) —> X, действующий по правилу 70Ж = Рх(0), и определим оператор 23 6 £(НР+1(К); НР+1(У)), (25и)(Ь) = Вм(£), £ Е (0,Т).
Теорема 4. Пусть оператор М сильно (Ь,р)-радиален, у Е НР+1(У), ^ - ограниченный снизу на линейном нормированном пространстве 2), полунепрерывный снизу относительно слабой сходимости в 2) функционал, имеет место непрерывное вложение 2 в 2), Ид -непустое, выпуклое, замкнутое и ограниченное в пространстве Д = НР+1(Ы) х Р5 множество. Тогда существует решение (х,й,у) Е 2 х И задачи (11) - (14).
Доказательство. Возьмем 2)х = 2, 53 = Н1(У) х X, I Е {0,1,... ,р+1}, вектор 5о = (—у, 0) Е
03. Очевидна линейность оператора £ : 2)1 х И -4 03, £.(х,и,у) — (Ьх — Мх — Ви,'уох — у). Докажем его непрерывность. В силу очевидного неравенства Ц-уогсЦ^' < С\ЦжЦя имеем
11(1-® -Мх- Вщ'уох - «)Ия«(з;)хД- = \\ь± -Мх- Ви\\2н,{у) + Ц70® - и\\% <
2||Ьх - Мх\\2НР+ЧУ) 4- 2\\Ви\\2НР+1{у) + 2||7ожЦ^ + 2\\ь\\% < С\\{х,щь)\\%хиш
Для доказательства коэрцитивности функционала ,/о воспользуемся оценкой (7) на решение обобщенной задачи Шоуолтера:
\\х\\% + 1М1яр+1(г-о + 1М1х>5 =
Н^Ня1^) + \\Ви + у\\ 2НР+1(У) + \\и\\2нр+ци) + 1М||5 <
@1 (|М& + 11*541* + \\Ви +
уНяи-ЧУ)) + \\и\\‘нр+1(и) + 1М11>Я < ^2 (|1и11яр+1(^) + 1М1|>5 + 1Ы1яр+х(;у)) —
Здесь использована ограниченность Ид в пространстве НР+1(Ы) х Т>з- Таким образом, из теоремы 3 следует сущестовование решения задачи (11) - (14).
□
Рассмотрим частные случаи функционала «То
Мх) = \\\х ~ Н1ь2(*) 1п£> (15)
Ых) = \ \\х{т) - 41* -> (16)
где ад е 1,2{Х) для (15) и ад Е X для (16). Из теоремы 4 вытекают следующие утверждения.
Следствие 1. Пусть оператор М сильно (Ь,р)-радиален, у Е НР+1(У), Ид - непустое, выпуклое, замкнутое и ограниченное в пространстве управлений Я = НР+1(Ы) х Р5 множество. Тогда существует решение (х,й,у) Е 2 х И задачи (11) - (13), (15). В случае иньективности оператора 23 решение задачи единственно.
Доказательство. Поскольку функционал J\ выпуклый в пространстве L^X), то из его полунепрерывности снизу следует полунепрерывность снизу относительно слабой сходимости [11]. Таким образом, существование решения следует из теоремы 4, если положить 2) = Ь2(Х). Непрерывное вложение 2)х в 2) следует из построения Z.
Докажем единственность решения при условии инъективности оператора 03 с учетом строгой выпуклости J\. Пусть существуют два решения (i'l, ui,vi), (i’2, fi-2, щ) задачи (11) -(13), (15). Тройка (£i±£2.? ш±т.; чх.х.1'и) в силу выпуклости множества 2П является допустимой. Пусть х\ ф Х2, тогда в силу строгой выпуклости функционала J\ относительно одной переменной
Получили противоречие С тем, ЧТО J\(xi) = J\{x2) = inf J\ (x). Следовательно, X\ = X2 и
{x,u,v)ew
поэтому vi = V2■ В силу (11) это означает, что 23(?ii — й2) = 0, т. е. щ — й2 Е кегОЗ. □
Следствие 2. Пусть оператор М сильно (Ь,р)-радиален, функция у Е НР+1(У), Дэ - непустое, выпуклое, замкнутое и ограниченное в пространстве Д = НР+1(Ы) х Т>$ множество. Тогда существует решение (x,u,v) Е Z х Д задачи (11) - (13), (16).
Доказательство. Положим 2) = Н1(Х) и пусть хп сходится к ж в Н1(Х). Имеем ^||ж(Т) - w\\2x < ^ (||ж(Т) - хп(Т)\\% + ||®„(Т) - w\\%+
2|[хп(Т) - х(Т)Ы\\хп(Т)\\х + НЫ) <
Gill* - Хп\\2нцх) + ^\\хп(Т) - w\\% + С2\\х - ХП\\Н1(Х) ■ {\\хп\\нцх) + 1ИЫ-
С учетом ограниченности последовательности {Н^пЦя1^)}; переходя к пределу при п —> оо, получим полунепрерывность снизу функционала J2.
Покажем выпуклость функционала J2 на пространстве Н1(Х). Для а Е [0,1] очевидны неравенства
а(1 — а)(а — Ь)2 > 0; а( 1 — а)а2 + а( 1 — а)Ь2 — 2а(1 — a)ab > 0;
(а — а2)а2 + ((1 — а) — (1 — а)2)Ъ2 — 2а(1 — a)ab > 0;
(аа + (1 — а)Ь)2 < аа2 + (1 — а)Ь2.
Отсюда имеем при любых х%, ж2 Е Н1(Х)
J2{ax 1 + (1 - а)х2) = ||aa;i(T) + (1 - а)х2{Т) - w\\2x <
(a||a;i(T) - w\\x + (1 - а)\\х2(Т) - w\\x)2 <
а\\хг(Т) - w\\x + (1 - а)\\х2{Т) - w\\x = aJ2(x 1) + (1 - а) J2(s2).
Таким образом, получили выпуклость, а потому и полунепрерывность снизу относительно слабой сходимости функционала J2■ В силу теоремы 4 получим требуемое. □
4. Задачи оптимального управления для уравнения с многочленами от эллиптических самосопряженных операторов
п т
Пусть многочлены Рп(У) = <5т(А) — ^ с]^\3 таковы, что сг. (13 Є С, % =
г=0 ]—О
0,і — 0,1 сп,йт ф 0, п < т. Далее, Я С Iі - ограниченная область с
границей дії класса С°°, набор операторов А, ... Вг - регулярно эллиптический [12], где
(Аи))(х) = аа(ж)£»аг(;(а;), аа Е С00^),
|а|<2г
(.Ві-ш)(х) = Ь1а(х)Раги(х), Ьіа(х) ЕС°°(дП), 1 = 1,2,...,г.
\а\<гі
Потребуем также самосопряженности оператора А\ Е СІ (В г (О)) с областью определения (ІотЛі = Н2ів^(ії) [12], Аі'ш = Ай), го Є (ІотЛі, и ограниченности справа его спектра. Редуцируем начально-краевую задачу
Рп{А)ть{х,г) = +у{х,г), (х,і) Е О х (0,Т), (17)
В{Акги(х, і) = 0, & = 0,1,... ,т — 1, / = 1,2,... ,г, (ж,і)ЄсЮх(0 ,Т), (18)
Рп(Л)ш(ж,0) = Рп(А)у0(х), ж Є О, (19)
к задаче (4), (5). Для этого возьмем
Х = Н2гп(П), У = Ь2(П), Ь = Рп(А), М = <2т(А),
АошМ = {и)Е Н2гт(П): В^тіх) = 0, к = 0,1,..., т - 1, I = 1,2,..., г, х Є 5Гі}.
Через {<рь : к Є М} обозначим ортонормированные в смысле скалярного произведения (•,•) в Ь2(С1) собственные функции оператора А\, занумерованные по невозрастанию собственных значений {\к : к Є М} с учетом их кратности. Здесь мы учли, что спектр оператора Л і вещественный и сгущается к — оо.
Теорема 5. Пусть (—1)т~п11 е(с„/с?то) < 0, спектр а(А\) не содержит общих корней многочленов Рп(А) и <Эт(А). Тогда оператор М сильно (Ь,0)-радиален.
Доказательство. В условиях теоремы числа р,к = Ят(^к)/Рп(^к) при тех к, при которых Рпі^к) Ф 0, составляют множество оь(М). Если т = п, то существует конечный предел
Ят(^к) пт ,
Ь-юо Рп(Хк)
поэтому множество о1{М) = {С2т(^к)/Рп(^к) : к Є М} ограничено в С и оператор М является сильно (£, 0)-радиальным в силу отсутствия у оператора Ь М-присоединенных векторов (см. [3]).
Если т > п, то по условию на старшие коэффициенты многочленов
Нт
к—їоо
^т(А&)
*щрШ
Е (тг/2,7г).
Поэтому можно выбрать такое а € К, что все точки множества аь(М) лежат слева от прямой {р Е С : Кер = а).
Проверим оценки из определения сильной (Ь, 0)-радиальности. При /л, и > а, го £ X, у £ 1-2 (О)
\{у,<Рк) |2
Рп(Хк)^0
<
1М112(П)
(м - о)2 ’
\\пь(\т\~п\\2 V (1 + л^п) К"7’^)!2 - 1М1я2™(п)
\\Н^(М )т\\Н2т^ — 2_^ °
Е —
рп(\к)Ф0 |Рп(Аа;)|2
о
Взяв у £ с1отМ =у, получим
Рп(А,)^0 /X -
||я£(М)(^-МГ^||2я2г1г(п) =
(1 + Л*П) \{У^к)\2
фт(Ад-)
ОпЛ^к)
Рп(Хк)
<
(М - а)5
С|Ы1|2(П)
— а)2(и — а)2
Е -----------
Рп{\ъ)фО |РП(А*)|
!|м(1/1г - м)-11^{м)у\\12т
\Ят{^к)\2\{У1<Рк)\2
I, Ят(^к)
Ят(^к)
Рп(\к)
<
~2\\Му\\2
ь2( П)
(ц — а)2^ — а)2
Здесь мы использовали тот факт, что |РП(А*:)| > с при тех к, по которым идет суммирование. Это следует из отсутствия конечных предельных точек множества {Л*}. □
Замечание 3. Как уже было замечено,
аь(М) = € С : /л = %^М,Р„(А*) ф О
Рп{^к)
}'
Поэтому, если т > п, Ие(с„/</т) = 0, относительный спектр является неограниченным множеством, но оператор М не является сильно (Ь, 0)-секториальным [3].
Имеем Р = <3 = £ (-,4>к)ч>к, Х° = эрап{^ : Рп{\к) = 0}, X1 = Щэап-^ : Рп(Хк) ф
Рп(*к)Ф о
0} - замыкание в норме пространства Н2гп(0). При этом сильно непрерывная полугруппа однородного уравнения (17) имеет вид
Х*= X
Рп(Хк)Ф 0
ехр 1 (р\^к)1) ^ (рк')(рк'
Из вида проектора Р следует, что для ио, «о € Н2гп(П) условие Рщ = Руо выполняется тогда и только тогда, когда Рп(А)щ(х) = Рп(А)уо(х). В этом смысле начальное условие (19) эквивалентно обобщенному условию Шоуолтера.
Рассмотрим задачу оптимального управления
Рп(А)и)Ь(х,г) = С2т(А)‘ш(х,г)+у(х,г)+и(х,г), (ж,*) е О х (0,Г), (20)
В1Ак,ш(х, Ь) = 0, к = 0,1,..., т — 1, I = 1,2,..., г, (х,Ь) £ 90 х (О, Т), (21)
Рп(А)и}(х, 0) = «(ж), ж € О, (22)
{и, у) £ Дэ, (23)
ЛИ = ^IN - «'||£2(0,Т;Я*™(П)) inf’ (24)
где w Е L2(0, Т; Н2гп(И)) - заданная функция, Да - подмножество пространства управлений Д .
Выбрав пространство U = L2(Q), оператор В = I и
Р5 = {ше Н2гт(П): BtAkw(x) = 0, к = 0,1,..., т - 1, / = 1,2,,.., г, ж £ <90,
Pn(Afc)/0
с нормой пространства Н2гт(П), редуцируем задачу (20) - (24) к задаче (11) - (14). Тогда пространство управлений Д = il^O, T;Z2(0)) х V$ и
Я = {* е Я1(0,Т;Я2гп(П)) : Р„(А)г* - Qm(A)* е Ях(0, Т; L2(fi))}.
Из следствия 1 вытекает
Теорема 6. Пусть (—l)m~”Re(cn/dm) < 0, спектр а(А\) не содержит общих корней многочленов РП(А) и Qm(^), У € Я^О, Т; L2(0)), множество ttg непустое, выпуклое, замкнутое и ограниченное в пространстве управлений И = Н1(0, Т; L2(0)) xPg. Тогда существует единственное решение (w,u,v) Е Z х Ях(0, T;L2(0)) х задачи (20) - (24).
Рассмотрим также задачу с терминальным функционалом стоимости
ЛИ = ^IMT) - т\\2Н2гп(П) -> inf, (25)
где w\ Е H2rn(Q). Из следствия 2 получим нижеприведенный результат.
Теорема 7. Пусть (—l)m~"Re(cn/dm) < 0, спектр о(А\) не содержит общих корней многочленов РП(Л) и Qm(А), у Е Ях(0,Т; L2(i7)) и пусть йд - непустое, выпуклое, замкнутое и ограниченное в пространстве управлений Д = Яг(0,Т; L2(f2)) х T>s■ Тогда существует решение (w,u,v) G Z х Я^О, T;L2(0)) x Vs задачи (20) - (23), (25).
Работа выполнена при поддержке гранта РФФИ (код проекта 10-01-96007-р_урал_а).
Литература
1. Фурсиков, А.В. Оптимальное управление распределенными системами. Теория и приложения / А.В. Фурсиков - Новосибирск: Науч. кн., 1999.
2. Демиденко, Г.В. Уравнения и системы, не разрешенные относительно старшей производной / Г.В. Демиденко, С.В. Успенский. - Новосибирск: Науч. кн., 1998. - 438 с.
3. Sviridyuk, G.A. Linear Sobolev type equations and degenerate semigroups of operators / G.A. Sviridyuk, V.E. Fedorov - VSP, Utrecht etc., 2003.
4. Федоров, B.E. Вырожденные сильно непрерывные полугруппы операторов / В.Е. Федоров // Алгебра и анализ. - 2000. - Т. 12, вып. 3. - С. 173 - 200.
5. Свиридюк, Г.А. Оптимальное управление линейными уравнениями типа Соболева с относительно р-секториальными операторами / Г.А. Свиридюк, А.А. Ефремов // Диффе-ренц. уравнения, - 1995. - Т. 31, № 11. - С. 1912 - 1919.
6. Свиридюк, Г.А. Задача оптимального управления для линейных уравнений типа Соболева / Г.А. Свиридюк, А.А. Ефремов // Изв. вузов. Матем. - 1996. - № 12. - С. 75 - 83.
7. Свиридюк, Г.А. Задача оптимального управления для уравнения Осколкова / Г.А. Свиридюк, М.В. Плеханова // Дифференц. уравнения. - 2002. - Т. 38, № 7. - С. 997 - 998.
8. Свиридюк, Г.А. Задача оптимального управления для уравнения Хоффа / Г.А. Сви-ридюк, Н.А. Манакова // Сиб. журн. индустр. математики. - 2005. - Т. 8, № 2. -
С. 144 - 151.
9. Федоров, В.Е. Свойства псевдорезольвент и условия существования вырожденных полугрупп операторов / В.Е. Федоров // Вестник. Челяб. гос. ун-та. Сер. «Математика. Механика. Информатика». - 2009. - Вып. 1. - С. 12 - 19.
10. Федоров, В.Е. Слабые решения и проблема квадратического регулятора для вырожденного дифференциального уравнения в гильбертовом пространстве / В.Е. Федоров, М.В. Плеханова // Вычислительные технологии. - 2004. - Т. 9, № 2. - С. 92 - 102.
11. Экланд, И. Выпуклый анализ и вариационные проблемы / И. Экланд, Р. Темам. - М.: Мир, 1979. - 20 с.
12. Трибель, X. Теория интерполяции, функциональные пространства, дифференциальные операторы / X. Трибель. - М.: Мир, 1980. - 664 с.
Анна Фаридовна Исламова, кафедра «Математический анализ», Челябинский государственный университет, [email protected].
Поступила в редакцию 8 февраля 2011 г.
