УДК 517.9
ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ РЕШЕНИЯМИ НАЧАЛЬНО-КОНЕЧНОЙ ЗАДАЧИ ДЛЯ УРАВНЕНИЯ БУССИНЕСКА - ЛЯВА
А.А. Замышляева, О.Н. Цыпленкова
В работе исследована задача оптимального управления для уравнения соболевского типа второго порядка с относительно полиномиально ограниченным пучком операторов. Доказана теорема существования и единственности сильного решения начальноконечной задачи для данного уравнения. Получены достаточные, а в случае когда бесконечность является устранимой особой точкой А-резольвенты пучка операторов, и необходимые условия существования и единственности оптимального управления такими решениями. Исследована начально-конечная задача для уравнения Буссинеска
- Лява, моделирующего продольные колебания упругого стержня. В работе используются идеи и методы, разработанные Г.А. Свиридюком и его учениками. Доказательство теоремы о существовании и единственности оптимального управления для исследуемой задачи опирается на теорию оптимального управления, развитую в работах Ж.-Л. Лионса.
Ключевые слова: уравнения соболевского типа, относительно полиномиально ограниченный пучок операторов, сильные решения, оптимальное управление.
Введение
Пусть О С К” - ограниченная область с границей дО класса СВ цилиндре О х К рассмотрим уравнение Буссинеска - Лява
(Л — Д)х« = а(Д — Л;)х* + в (Д — Л/;)х + и (1)
с граничным условием
х(«,£) = 0, («, ^) € дО х К. (2)
Уравнение (1) описывает продольные колебания упругого стержня с учетом инерции и при внешней нагрузке, причем отрицательные значения параметра Л не противоречат физическому смыслу задачи.
Данную задачу в подходящих гильбертовых пространствах X и ф, И удается редуцировать к операторно-дифференциальному уравнению соболевского типа,
Ах = Б\Х + В0х + у + Си, (3)
где операторы А, Б\, Б0 € £(£; ф), С € £(И; ф), функции и : [0,т) С И,+ ^ И, у : [0, т) С
И,+ ^ ф (т < го).
Рассмотрим начально-конечную задачу [1]
Рги(Х(0) — х?) = 0, Рги(х(0) — х§) = 0; (4)
Р/т(Х(т) — х?) = 0, Р/гп(х(т) — х0) = 0; ( )
здесь Ргп(^гп) - некоторые проекторы в пространстве X. Нас будет интересовать задача оптимального управления, которая заключается в отыскании пары (х, и), где х - решение задачи (3), (4), а и € Иа4 - управление, для которого выполняется соотношение
3 (х,и)= шш 3 (х,и). (5)
(х,и)€ХхЯаа
Здесь .](х,и) - некоторый специальным образом построенный функционал качества, Яа^ -некоторое замкнутое и выпуклое множество в пространстве управлений Я.
Данная работа выполнена в рамках направления, развиваемого Г.А. Свиридюком [2] и его учениками [3, 4]. Мы рассмотрим начально-конечную задачу, которая является естественным обобщением задачи Шоуолтера - Сидорова [5]. Впервые начально-конечная задача была рассмотрена в работах Г.А. Свиридюка и С.А. Загребиной.
1. Полиномиально А-ограниченные пучки операторов и проекторы
Пусть X, ф, Я - некоторые гильбертовы пространства, операторы А, Б\, Во Є С(Х; ф), С Є С(Я;ф). Обозначим через В пучок операторов Ві, Во [6]. Множества рА(В) = [ц Є С : (ц2А — цВ1 — В0)-1 Є £(ф; X)} и аА(В) = С \ рА(В) будем называть соответственно А
- резольвентным множеством и А - спектром пучка В. Введем в рассмотрение оператор-функцию комплексной переменной ЯА(В) = (ц2А — цВі — Во)-1 с областью определения рА(В), которую назовем А-резольвентой пучка В.
Определение 1. Пучок операторов В называется полиномиально ограниченным относительно оператора А (или просто полиномиально А-ограниченным), если
За Є М+ Уц Є С (|ц| >а) ^ (ЯА(В) Є £($; X)).
Введем в рассмотрение дополнительное условие
I яА(В)йц = О, (А)
7
где контур 7 = [ц Є С : |ц| = г > а}.
Лемма 1. Пусть пучок В полиномиально А-ограничен и выполнено (А). Тогда операторы
Р = 2^1' ® = 2ПЇ / ЦАкіА(В)аЦ
і і
- проекторы в пространствах X и У соответственно.
Положим X0 = кег Р, ф0 = кег , Xі = іт Р, ф1 = іт . Из предыдущей леммы следует, что X = X0 ф X1, % = ф0 ф ф1. Через Ак (В^) обозначим сужение оператора А (Ві) на
Xй, к = 0,1; I = 0,1.
Теорема 1. Пусть пучок операторов В полиномиально А-ограничен, и выполнено (А). Тогда
(i) Ак Є С^к; фк), к = 0,1;
(ii) Вк єL(Xk;фк), к = 0,1,1 = 0,1;
(iii) существует оператор (А1)-1 Є С(^1; X1);
(т) существует оператор (В^)-1 Є ^(ф0; X0).
Построим операторы Н0 = (В0)-1А0 Є С^0) и Н1 = (ВЦ)-1В0 Є L(X0).
Определение 2. Определим семейство операторов [К^,К^} следующим образом:
К1 = Н0, К2 = —Н1,
К\+1 = К2Н0, К2+1 = К — К\НЪ д = 1,2,....
Определение 3. Точка ж называется
(i) устранимой особой точкой A-резольвенты пучка B, если K\ = O, K2 = O;
(ii) полюсом порядка p Є N A-резольвенты пучка B, если Kp = O, Kp = O, но Kp+ 1 =
O, Kp2+ 1 = O;
(iii) существенно особой точкой A-резольвенты пучка B, если K| = O при любом, k Є N.
Определение 4. Если пучок операторов B полиномиально A-ограничен, ж - полюс по—
рядка p Є {0} U N A-резольвенты пучка B, то будем называть пучок операторов B (A,p)-ограниченным.
2. Сильные решения
Рассмотрим линейное неоднородное уравнение соболевского типа второго порядка
Ax = B ]_x + Box + y. (б)
Если пучок B полиномиально A-ограничен, и выполнено условие (А), то существует единственное семейство вырожденных M,N-функций однородного уравнения (б) [7]. Пусть выполнено следующее условие:
A-спектр пучка B aA(B) = ^A(B) (J oA(B), причем
ak(B) = 0, k = 0,1; и существует контур Y0 С C, d)
ограничивающий область Г0 С C такую, что
Г0 П *£(B) = aA(B), Г0 П ^A(B)= 0.
Тогда существует оператор
Pfm = 2Ь /VRA(B)Ad^ Є L(X).
Y0
Потребуем выполнение еще одного условия
J rA(B)dv = O. (Ao)
Yo
Аналогично лемме 1 можно получить следующее утверждение.
Лемма 2. Пусть пучок B полиномиально A-ограничен, и выполнены условия (A), (B), (Ao). Тогда Pfгn - проектор, причем PfгnP = PPfгn = Pfгn.
Построим оператор Pn = P — Pfгn Є L(X). В силу леммы 2 оператор Pn - проектор, причем PfгnPгn = PгnPfгn = O. Возьмем произвольные векторы x°, x0, xj, x\ Є X. Решение x = x(t) уравнения (б) назовем решением начально-конечной задачи для уравнения (б), если оно удовлетворяет условиям (4).
Введем в рассмотрение следующие семейства операторов:
Щт = 2-J RA(B)Ae^d^,t Є R,
Yo
M}m = 2-J RA(B)(M — B 1 )e^,t Є R.
Yo
Лемма 3. Пусть пучок B полиномиально A-ограничен, и выполнены условия (B), (Ao). Тогда
(i) M^fгn и Nfin - пропагаторы уравнения (б);
(iif = f = O, f = M»„ = Р,г„.
Далее, построим семейства операторов Mifn = M1 — Mfin, Nifn = N1 — Nfin.
Лемма 4. Пусть пучок B полиномиально A-ограничен, и выполнены условия (A), (B), (Ao). Тогда
(i)M,Іп и N’n - пропагаторы уравнения (б);
(ii)Nl = Ml = O,Ni = M0n = Pm.
Теорема 2. [7] Пусть пучок B (A, p)-ограничен, и выполнены условия (A), (B), (Ao). Тогда для любых т Є R, xk,xk Є X, k = 0,1, вектор-функции y = y(t), t Є [0, т], такой, что y0 = (I — Q)y є Cp+l([0, т ]; Y0) n Cp+2((0, т ]; Y0), yfm = Qfvay Є C ([0, т ]; f), ym = Qmy Є C([0,т]; Yгn) существует единственное решение x = x(t) задачи (б), (4), которое к тому же имеет следующий вид:
pd
x(t) = — X/Kq (B0) 1 dm y0(t) + Mf-x0 + M^nx<0 + f xl + Ntn x0+ q=o
+1 (7)
Определение 5. Вектор-функцию х € Н2(Х) = {х € £2(0, т; X) : X € Ьъ(0,т; X)} назовем сильным решением уравнения (6), если она п. в. на (0,т) обращает его в тождество. Сильное решение х = х(Ь) уравнения (6) назовем сильным решением задачи (6),(4), если оно удовлетворяет (4).
В силу непрерывности вложения Н2(Х) ^ С1 ([0, т]; X) наше определение корректно. Термин «сильное решение> введен для того, чтобы отличать решение уравнения (6) в данном смысле от решения (7), которое обычно называют «классическими Заметим, что классическое решение (7) является также и сильным решением задачи (6), (4).
Построим пространства Нр+2(ф) = {у € Ь2(0,т; ф) : и(р+2) € Ь2(0,т; У),р € {0} и М}. Пространство Нр+2(ф) - гильбертово со скалярным произведением
p+2 г , . [v,w] = £ I (Vq),w(q)yydt.
q=o
Пусть y Є Hp+2(Y). Введем в рассмотрение операторы
p
AlV(t) = — £ K,2(BS)-1 £(I — Q)y(t),
q=o A2y(t) = Л Ntfd-Syin(s)ds, A3y(t) = ffT Nf-f
и функции
kl(t) = Mtfin x0, k2(t) = Mfnx0,
k3(t) = Nf~nxl, k4(t) = Nix0.
Лемма 5. Пусть пучок операторов В (А,р)-ограничен, выполнены условия (А), (В), (Ао). Тогда
(г) А1 €С(Нр+2(ф); Н2(Х));
(И) при любом, хО € X вектор-функция к1 € С2([0, т); X);
(ггг) А2 € С(Нр+2(ф); Н2(X));
(гю) при любом, х° € X вектор-функция к2 € С2([0, т); X);
(ю) Аз €С(Нр+2(ф); Н2(X));
(юг) при любом х\ € X вектор-функция кз € С2([0, т); X);
(югг) при любом, х1 € X вектор-функция к4 € С2([0,т);X).
Теорема 3. Пусть пучок операторов В (А, р)-ограничен, р € {0} и М, выполнены условия (А), (В), (А°). Тогда для любых х°к, хк € X,k = 0,1 и у € Нр+2(ф) существует единственное сильное решение задачи (4) для уравнения (6).
Доказательство. Подстановка классического решения (7) в уравнение (6) обеспечивает существования сильного решения. Покажем единственность решения задачи (6), (4). Пусть пучок операторов В (А,р)-ограничен, и выполняется условие (А), тогда в силу теоремы 1.
задача (6), (4) распадается на три независимые задачи
Иох° = И\х° + х0 + (£°)-У, (8)
-/ги = дїіпхїіп + s^Qinxfin + (Л/іп)-1у/іп, х/іп (т) = х0 ,х/іп(т) = х1, (9)
хіп = ^^хіп + S0nхіп + (Ліп)-1уіп, хіп (0) = х0, хіп(0) = хї, (10)
где операторы Н° = (В°)-1А°, Нх = (В°)-1В° € С^0), Б-п = (А-п)-1 В-п, Б-п = (А—п)-1В—п, Б°п = (А™)-1В°п,^п = (А™)-1В1п € С^1); вектор-функции х° = (I - Р)х, у° = (I - Q)У, х/т(т) = Р-п(т)х, у/т(т) = Я-1п{1п)У; векторы х^^ = Р^п{т)хк €
Xk, к = 0,1.
Пусть х и х - два решения задачи (8)-(10). Тогда х = х — х удовлетворяет
Ах = В1х + В°х,
Рт(х(0)) = 0, Ргп(х(0)) = 0; (11)
Р/гп(х(т)) = 0, Р/гп(х(т)) = 0.
Действуя на уравнение (11) последовательно проекторами I — Q и Qfin(in) и пользуясь леммой 1, сведем его к эквивалентной системе из двух независимых уравнений
Н°х° = Н1х° + х°, (12)
—п = Б-п—п + Б-пх-п х-п(т) = 0, 'х-п(т) = 0, х™ = ^1пх^п + Б°пх(п, х^(0) = 0, Xin(0) = 0.
Докажем, что х° = х°(£) = 0 при всех £ € М. Из (12) следует, что
х° = к1х° + К\х°.
Покажем, что
х° = Кк(х°)(к+1) + Кк2(х°)(к) (13)
при любом к € N. Предположим, что при к = ц это верно, и докажем при к = ц + 1. В силу
(12) (х)(?) = Н°(х°)(9+2) — Н1(х°)(?+1), поэтому
х° = К1(х°)(9+1) + к2(Н° (х°)(9+2) — Н1(х° )(9+1)) = К1+1(х°)(9+2) + Кд2+1(х°)(9+1).
Так как то - полюс порядка р А-резольвенты пучка В, то в силу определения 3 из (13) при
к = р + 1 получаем, что х°(£) = 0 при всех £ € М. □
3. Оптимальное управление
Рассмотрим начально-конечную задачу (4) для линейного неоднородного уравнения соболевского типа (3), где функции х, у, и лежат в гильбертовых пространствах X, ф и Я соответственно. Операторы А, В1 ,В° € С^; ф), оператор С € С(Я; ф), пучок операторов В (А, р)-ограничен.
Введем в рассмотрение пространство управлений
Нр+2(Я) = {и € Ь2(0,т;Я) : и(р+2) € £2(0,т; Я),р € {0} и М}.
Пространство Нр+2(Я) гильбертово, в силу гильбертовости Я, со скалярным произведением
р+2 „т
(уЧ^'
Ю \ /и
р+2 гт . .
[у,и!} = ^ J ^у(д),-ш(д)уи'£■
Выделим в пространстве Нр+2(Я) замкнутое и выпуклое подмножество Яа^ = Нр+2(Я)-множество допустимых управлений.
Определение 6. Вектор-функцию и € Нр+2(Я) назовем оптимальным управлением решениями задачи (3), (4), если выполнено соотношение (5).
Нашей целью является доказательство существования единственного управления и € Нр+2(Я), минимизирующего функционал качества
2 Г т р+2 ^т . .
3 (х,и) = ||х(д) — х(?)||2^ + ^ J ^Жди(д), и(дуиЛЬ. (14)
Здесь € С (Я), д = 0, 1, ..., р + 2, - самосопряженные и положительно определенные
операторы, х(Ь) - плановое состояние системы.
Теорема 4. Пусть пучок операторов В (А, р)-ограничен, р € {0} и М, выполнены условия (А), (В), (А°). Тогда для любых хк,хк € X, к = 0,1 и у € Нр+2(ф) существует единственное оптимальное управление решениями задачи (4) для уравнения (3).
Доказательство. По теореме 3 при любых у € Нр+2(ф), хк,хк € X, к = 0,1, и € Нр+2(Я) существует единственное сильное решение х € Н2 (X) задачи (3), (4), имеющее вид
х(Ь) = (А1 + А2 + Аз)(у + Си)(Ь) + к1(Ь) + к2(Ь) + кз(Ь) + к4(Ь), (15)
где операторы А1, А2, Аз и вектор-функции к1, к2, кз, к4 заданы в лемме 5.
Зафиксируем у € Нр+2(ф),
хк,хк € X, к = 0,1 и рассмотрим (15) как отображение
О : и ^ х(и). Тогда отображение О : Нр+2(Я) ^ Н2^) непрерывно. Поэтому функционал
качества зависит только от и, т.е. 3(х, и) = 3(и).
Перепишем функционал качества (14) в виде
3(и) = ||х(Ь, и) — х\\2н2(х) + [у, и},
где у(д)(Ь) = и(д)(Ь), д = 0,... ,р + 2. Отсюда
3 (и) = п(и,и) — 2 Л (и) + ||х — х(Ь, 0)\Н 2 (х),
где
п(и, и) = ||х(Ь, и) — х(Ь, 0)\Н2(х) + [у, и}
билинейная непрерывная коэрцитивная форма на ИР+2(Я), а
А(и) = (х — x(^, 0), х(Ь, и) — x(^, 0))я2(х) —
линейная непрерывная на ИР+2(Я) форма. Значит, условия теоремы [8, гл. 1] выполнены. □
4. Необходимое условие оптимального управления
Управление ио Є Ир+2(Я) оптимально тогда и только тогда, когда
3;(ио)(и — ио) > 0 Уи Є Ир+2(Я), (16)
то есть, для функционала (14), выполняется соотношение
(х(і,и0) — х,х(^ и) — х(^и0))н2(х) + [и0, и — и0] > 0Уи Є Ир+2(Я), (17)
где
Р+2 т
[и0,и — и0] = £ / ^Дїи0'ї)(і), и(?)(і) — и0?)(і^ № (18)
4=°0 Я
билинейная непрерывная коэрцитивная форма на ИР+2(Я).
Пусть X*, У*, Я* - сопряженные пространства к X, У, Я соответственно. Введем в рассмотрение изоморфизм
Ли : Я ^ Я*. (19)
Зафиксируем некоторые векторы (х°к)*, (хтк)* Є X*. Операторы Л*,В0,В* Є £(У*;X*). Введем в рассмотрение Л*-резольвентное множество
рА* (В *) = {р є С : (р2Л* — рВ* — В0*)-1 Є L(X*; У*)}
и Л*-спектр аА* (В *) = С \ рА* (В *) пучка операторов В *.
Лемма 6. Пусть пространства X и У гильбертовы. Пучок операторов В (Л, р)-ограничен, выполнены условия (Л), (В),(Л0) тогда и только тогда, когда пучок операторов В * (Л* ,р)-ограничен, и выполнены условия
I еА* (В*)йр = О; (Л*)
і*
Л* -спектр пучка В * аА* (В*) = ^А* (В*) У ^* (В*), причем
°А (В*) = 0, к = 0,1; и существует контур 70 С С, (В*)
ограничивающий область Г0 С С такую, что
Г0П Vа* (В*) = аА* (В*), Г*П Vа* (В*) = 0;
I еА* (В*)йр = О, (Л*)
где 7* С С - замкнутый контур, ограничивающий область, содержащую аА* (В*), ЕА* (В*) = (р2 Л* — рВ * — В0)- 1 - Л* -резольвента пучка операторов В *.
Операторы
Р* = ^ / ЕА* (В*)рЛЧр, я* = ,1-1 рЛ*еА* (В*)йр—
проекторы, Р* € С(У*), Я* € С^*). Положим X*0 = кегЯ*, ф*° = кегР*, X*1 = 1т Я*,
ф*1 = 1т Р*.
Теперь определим сопряженное состояние задачи (3), (4) £(Ь,и) € Н2(У*) как решение уравнения
А*ё = — (В1)*ё + (В°)*£ + (х(Ь, и) — х) (20)
на интервале (0; т), снабженного условиями
/ш) =»./„(«ад =». ,.2П
р;жт)) = 0, Р1,(«т)) = 0. ' '
Аналогично п. 2 показывается справедливость следующей теоремы
Теорема 5. Пусть пространства X, ф гильбертовы и пучок операторов В (А,р)-ограничен, выполнены условия (А), (В),(А°). Тогда существует единственное решение ((Ь,и) € Н2(ф*) задачи (20), (21).
Теорема 6. Пусть пучок операторов В (А, 0)-ограничен. Тогда при любых у € Н2(ф) и х € Н2^) оптимальное управление и° € Н|(Я) для задачи (3), (4) харатеризуется соотношениями (20), (21), и выполняется неравенство
<Л— С*((Ь,и°),и(Ь) — и°(Ь))Н2(и) + Е / (и°д)(Ь),и(д)(Ь) — и°д)(Ь)) > 0 Vu € H^(Я),
д=°° ' ' и
где
х(Ь,и°) € Н2(X), £(г,и°) € Н2(ф*).
Доказательство. Вектор-функция х(Ь,и) = х(Ь,и) — х(Ь,и°) является решением начальноконечной задачи
Рги(х(0)) = ° Рги(х(0)) = 0, ( )
Р/ги(х(т)) = 0, Р^и(х(т)) = 0
для уравнения
Ах = В1х + В°х + С (и — и°).
Действуя на данное уравнение последовательно проекторами I — Я и Я/г.(ги), сведем данную задачу к эквивалентной системе
Н°х° = Н1х° + х° + — Я)С (и — и°), (23)
А^™ = В^х1 + В^х1 + Я/^С (и — и°), х^и(т) = 0, /и(т) = 0, (24)
А^х^ = В^1 + В°их1 + Я.С (и — и°), хи (0) = 0, хги(0) = 0. (25)
Здесь Н° = (В°)_1А°, Н1 = (В°°)-1В°.
Умножим (24) скалярно на ^/ги(Ь,и°) и проинтегрируем по интервалу (0,т). Получим т т г/ \
J (А/гих/ги(Ь, и) — А/гих/ги(г, и°), /и) ЛЬ = / {в/гих/ги(г, и) — в{гих/ги(Ь, и°),/и) +
° ° ^ '
+ (в/гих/ги(Ь, и) — в/их/ги(1, и°), С/ги) + {Я/гиС(и — и°),/и) } (Ь.
Интегрируя по частям левую часть последнего равенства, получим
т
/ (А/гих/ги(Ь, и) — А/гих/ги(Ь, и°),/и) ЛЬ = —(А/гих/ги(т, и) — А/гих/ги(т, и°)Л/ги(т))+
°т
+(А/гих/ги(0, и) — А/гих/ги(0, и°),^ги(0)) + /(А/гих/ги(Ь, и) — А/гих/ги(Ь, и°),/и))М =
°
т
= / ((А/ги)* /и,х/ги(Ь,и) — х/ги (Ь,и°))(Ь,
°
аналогично проинтегрируем по частям выражение
т
/ /в (іпх^іп(г, и) — В{іпхііп(г, щ), Сііп) <И = (.В{іп(х/іп(т, и) — х/іп(т, щ)),£/іп (т))—
0т
— (В{іпхіп(0, и) — х^п(0, и0)),^іп(0)) — /(В{іпх1іп(г, и) — В{іпх1іп(г, щ), ^п(г))М =
0
т
= — /(х*іп, (В {гп)*^іп(і))(И,
0
откуда, применяя условия (21), (22),
т т т
/((Л/іп)*І'/іп, хііп)(И = — /((В(іп)*^іп, хііп)(И + /((В?іп)*£/іп, хііп)(И+
0 т 0 0 (26)
+ /(Л- 1С*Я*іпСїіп, (и — и0))йі.
0
Аналогично найдем
т
/((Ліп)*Сіп, хіп )(И = — /((В іп)*^іп, хіп)М + / ((В0п )*Сіп, хіп)М + / (Л- 1С * Я*пЄп, (и — и,0))(И. 0 0 0 0
^ (27)
В силу (Л,р)-ограниченности пучка операторов В в случае р = 0 из (23) следует, что
0 = х0 + (В0)- 1 (I — Я)С (и — и0).
т
0 = 1 [(В)*;,0^0^^) — х0(г,зд)) + (Л- 1С*(І — Я)*С0, (и — и0))] <И. (28)
0
Суммируя (26) - (28), будем иметь т т
/ (Л*,;-, х(г, и) — х(г, и0))м = / (—(в1)* С + (В0)*;, х(г, и) — х(г, и0)) + (л-1с *;, (и — и0))м.
00
Умножим (20) скалярно на х(Ь, и) — х(Ь, и0) и проинтегрируем по интервалу (0; т) т т
/ (Л*С , х(г, и) — х(г, и0))(г = / (—(в1)*; + (В0)*; + (х(г, и) — х),х(г, и) — х(г, и0))м,
00
тогда неравенство вида (17) можно при произвольном р Є N записать в виде
т р+2 т , .
/(л-1с*;, (и — и0))(г + ^2 / и^(ь),и(?)(г) — и^(ь)\ (г > 0 Уи є Ир+2(Я).
П п—0 П \ ' Я
□
5. Уравнение Буссинеска — Лява
Рассмотрим уравнение Буссинеска - Лява (1) с граничными условиями (2). Редуцируя задачу (1), (2) к уравнению (3), положим
X = {х € ^2+2(П) : х(в) = 0, 8 € дП}, ф = Ш12(П),
где ^2(П) - пространства Соболева. Операторы А, В1 и В° зададим формулами А = Л — А , В1 = а(А — Л'), В° = в (А — Л"), С = I. При любом I € {0}и N операторы А,В1,В° € С^; ф).
т
Обозначим через {Лк}(= 0"(А)) собственные значения задачи Дирихле для оператора Лапласа А, занумерованные по невозрастанию с учетом кратности. Через {Рк} обозначим соответствующие ортонормированные (в смысле Ь2(П)) собственные функции. Поскольку {Рк} С С~(П), то
А — ^В1 — В° = ^][(Л — Лк)^2 + а(Л' — Лк)л + в(Л>> — Лк)] < рк, ' > рк, к=1
где < ■, ■ > - скалярное произведение в Ь2(П).
Лемма 7. [9] Пусть выполнено одно из следующих условий:
(г) Л ^ а(А);
(И) (Л € а(А)) Л (Л = Л');
(т) (Л € о"(А)) Л (Л = Л') Л (Л = Л").
Тогда пучок В полиномиально А-ограничен.
Если выполнены условия (г) или (ггг) леммы 7, то имеет место и условие (А). Если (Л € а(А)) Л (Л = Л'), т.е. выполнено условие (гг) леммы 7, условие (А) не выполняется, и мы исключим его из дальнейших рассмотрений.
А-спектр пучка В составляют решения лк’2 уравнения
(Л — Лк)л2 + а(Л' — Лк)л + в(Л'' — Лк) = 0, к € N. (29)
Построим проектор Р:
{I, если выполнено (1);
I — (■,рк) Рк, если выполнено (ш).
Л=Лк
Для построения проектора Р^т выберем область Г° С С, содержащую конечное множество точек лк’2 А-спектра аА(В) и такую, что дГ°Р| (В) = Ф. Как нетрудно видеть, область Г° можно выбрать такой, что дГ° = 7° - контур. Таким образом выполнены условия (В) и (А°).
Рассмотрим начально-конечную задачу
'£,^12=^12 < Рк, х(8, 0) — х?(в) > Рк = 0, £мк'2=Мк’2 < Рк, х*(8, 0) — х°(«) > Рк = 0,
Л=Лк Л=Лк (30)
^1’2=^1’2 <Рк,х(в,г) — хТ1 (в) > Рк = 0, £^к’2=мк’2 <Рк,хг(я,г) — х°(в) > Рк = 0.
Л=Лк Л=Лк
для уравнения (1) с граничными условиями (2). В силу теоремы 4 имеет место
Теорема 7. При любых а, в € М\ {0} и Л € М таком, что выполнено условие либо (г), либо (ггг) леммы 7, и любых т € М+,хк, хк € X,k = 0,1, существует единственное решение задачи оптимального управления (х,у) для уравнения Буссинеска-Лява (1) с условиями
(2), (30), минимизирующее функционал (14).
В заключение авторы считают своим приятным долгом выразить искреннюю благодарность профессору Г.А. Свиридюку за постановку задачи и поддержку в работе.
Литература
1. Загребина, С.А. Начально-конечная задача для линейной системы Навье - Стокса /
С.А. Загребина // Вестн. Юж.-Урал. гос. ун-та. Сер.: Мат. моделирование и программирование. - 2011. - № 4 (221), вып. 7. - С. 35 - 39.
2. Sviridyuk, G. A. Linear Sobolev type equations and degenerate semigroups of operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Koln; Tokyo: VSP, 2003.
3. Келлер, А.В. Численное решение задачи стартового управления для системы уравнений леонтьевского типа / А.В. Келлер // Обозрение приклад. и пром. математики. - 2009.
- Т. 16, вып. 2. - С. 345 - 346.
4. Манакова, Н.А. Задача оптимального управления для уравнения Осколкова нелинейной фильтрации / Н.А. Манакова // Дифференц. уравнения. - 2007. - Т. 43, № 9.
- С. 1185 - 1192.
5. Свиридюк, Г.А. Задача Шоуолтера - Сидорова как феномен уравнений соболевского типа / Г.А. Свиридюк, С.А. Загребина // Известия Иркутского гос. ун-та. Сер. «Математика». - 2010. - Т. 3, № 1. - С. 104 - 125.
6. Свиридюк, Г.А. Фазовые пространства одного класса линейных уравнений соболевского типа высокого порядка / Г.А. Свиридюк, А. А.Замышляева // Дифференц. уравнения.
- 2006. - Т. 42, № 2. - С. 252 - 260.
7. Замышляева, А.А. Начально-конечная задача для уравнения Буссинеска - Лява / А.А. Замышляева // Вестн. Юж.-Урал. гос. ун-та. Сер.: Мат. моделирование и программирование. - 2011. - № 37 (254), вып. 10. - С. 22 - 29.
8. Лионс, Ж.-Л. Оптимальное управление системами, описываемыми уравнениями с частными производными / Ж.-Л. Лионс. - М.: Мир, 1972.
9. Замышляева, А.А. Фазовые пространства одного класса линейных уравнений соболевского типа второго порядка / А.А. Замышляева // Вычислит. технол. - 2003. - Т. 8, № 4. -С. 45 - 54.
Алена Александровна Замышляева, кандидат физико-математических наук, доцент, кафедра «Уравнения математической физики», Южно-Уральский государственный университет, (Челябинск, Российская Федерация), [email protected].
Ольга Николаевна Цыпленкова, аспирант, кафедра «Уравнения математической физики», Южно-Уральский государственный университет (Челябинск, Российская Федерация), [email protected].
The Optimal Control over Solutions of the Initial-finish Value Problem for the Boussinesque — Love Equation
A.A. Zamyshlyaeva, South Ural State University (Chelyabinsk, Russian Federation),
O.N. Tsyplenkova, South Ural State University (Chelyabinsk, Russian Federation)
Of concern is the optimal control problem for the Sobolev type equation of second order with relatively polynomially bounded operator pencil. The theorem of existence and uniqueness of strong solutions of initial-finish problem for abstract equation is proved. The sufficient and, in the case when infinity is a removable singularity of the A-resolvent operator pencil, the necessary conditions for optimal control existence and uniqueness of such solutions are found. The initial-finish problem for the Boussinesque - Love equation, which describes the longitudinal vibrations of an elastic rod, is investigated. We use the ideas and methods developed by G.A. Sviridyuk and his disciples. The proof of the existence and uniqueness of optimal control theorem is based on the theory of optimal control developed by J.-L. Lions.
Keywords: Sobolev-type equations, relatively polynomially bounded operator pencil, strong solutions, optimal control.
References
1. Zagrebina S.A. The Initial-Finish Problem for the Navier - Stokes Linear System [Nachal’no-konechnaya zadacha dlya lineynoy sistemy Nav’e - Stoksa]. Vestnik Yuzhno-Ural’skogo gosudarstvennogo universiteta. Seriya «Matematicheskoe modelirovanie i programmirovanie», 2011, no. 4 (221), issue 7, pp. 35 - 39.
2. Sviridyuk, G.A., Fedorov V.E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht; Boston; Koln; Tokyo, VSP, 2003.
3. Keller A.V. Numerical Solution of the Start Control for a System of Equations of Leontief Type [Chislennoe reshenie zadachi startovogo upravleniya dlya sistemy uravneniy leont’evskogo tipa]. Obozrenie prikladnoy i promyshlennoy matematiki, 2009, vol. 16, issue 2, pp. 345 - 346.
4. Manakova N.A. The Optimal Control Problem for the Oskolkov Nonlinear Filtration Equation. Differential Equations, 2007, vol. 43, no. 9, pp. 1213 - 1221.
5. Sviridyuk G.A., Zagrebina S.A. The Showalter-Sidorov Problem as a Phenomena of the Sobolev-type Equations. J. News of Irkutsk State University. Series «Mathematics», 2010, vol. 3, no. 1, pp. 51 - 72.
6. Sviridyuk G.A., Zamyshlyaeva A.A. The Phase Space of a Class of Linear Higher-Order Sobolev Type Equations. Differential Equations, 2006, vol. 42, no. 2, pp. 269 - 278.
7. Zamyshlyaeva A.A. The Initial-Finish Value Problem for the Boussinesque - Love Equation [Nachal’no-konechnaya zadacha dlya uravneniya Bussineska-Lyava]. Vestnik Yuzhno-Ural’skogo gosudarstvennogo universiteta. Seriya «Matematicheskoe modelirovanie
i programmirovanie», 2011, no. 37 (254), issue 10, pp. 22 - 29.
8. Lions Zh.-L. Optimal’noe upravlenie sistemami, opisyvaemymi uravneniyami s chastnymi proizvodnymi [Optimal Control of Systems Described by Equations with Partial Derivatives]. Moscow, Мк, 1972.
9. Zamyshlyaeva, A.A. The Phase Space of a Class of Linear Sobolev Type Equations of the Second Order [Fazovye prostranstva odnogo klassa lineynykh uravneniy sobolevskogo tipa vtorogo poryadka]. Vychislitel’nye tekhnologii, 2003, vol. 8, no. 4, pp. 45 - 54.
Поступила в редакцию 8 ноября 2011 г.