Научная статья на тему 'Критерий оптимальности для задачи смешанного управления одной вырожденной системой'

Критерий оптимальности для задачи смешанного управления одной вырожденной системой Текст научной статьи по специальности «Математика»

CC BY
47
8
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ / РАСПРЕДЕЛЕННАЯ СИСТЕМА / ВЫРОЖДЕННЫЕ УРАВНЕНИЯ / КРИТЕРИЙ ОПТИМАЛЬНОСТИ / OPTIMAL CONTROL / DISTRIBUTED SYSTEM / DEGENERATE EQUATIONS / OPTIMALITY CRITERION

Аннотация научной статьи по математике, автор научной работы — Исламова Анна Фаридовна

Получены необходимые и достаточные условия оптимальности для линеаризованной системы фазового поля, которая относится к системам, неразрешимым относительно производной по времени. Рассматривается задача со смешанным (стартовым и распределенным) управлением и функционалом качества, не учитывающим затраты на управление.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

AN OPTIMALITY CRITERION FOR THE PROBLEM OF MIXED CONTROL OF SOME DEGENERATE SYSTEM

We obtain some necessary and sufficient conditions for the optimality of a linearized phase field system implicit in the time derivative. We consider the problem having mixed (initial and distributed) control and the quality functional neglecting the expenses on the control.

Текст научной работы на тему «Критерий оптимальности для задачи смешанного управления одной вырожденной системой»

Математические заметки СВФУ Апрель—июнь, 2014. Том 21, №2

УДК 517.97

КРИТЕРИЙ ОПТИМАЛЬНОСТИ ДЛЯ ЗАДАЧИ СМЕШАННОГО УПРАВЛЕНИЯ ОДНОЙ ВЫРОЖДЕННОЙ СИСТЕМОЙ А. Ф. Исламова

Аннотация. Получены необходимые и достаточные условия оптимальности для линеаризованной системы фазового поля, которая относится к системам, не разрешимым относительно производной по времени. Рассматривается задача со смешанным (стартовым и распределенным) управлением и функционалом качества, не учитывающим затраты на управление.

Ключевые слова: оптимальное управление, распределенная система, вырожденные уравнения, критерий оптимальности.

Введение

Необходимые условия оптимальности в теории оптимальных процессов для распределенных систем выводятся с помощью различных вариантов принципа Лагранжа. Однако исследование задач оптимального управления для систем, не разрешимых относительно производной по времени, приводит к значительным трудностям. Особенность линеаризованной квазистационарной системы уравнений фазового поля [1], рассматриваемой в данной работе, заключается в том, что оператор, стоящий при производной по времени, имеет нетривиальное ядро. Квазистационарная система уравнений фазового поля возникает при моделировании фазовых переходов первого рода в мезоскопической теории и, в частности, описывает взаимодействие твердой и жидкой фаз для расплывчатой, кашеобразной области.

Основные усилия автора направлены на вывод системы оптимальности для задачи минимизации функционала, не учитывающего затраты на управление системой, т. е. вывод набора соотношений, вместе с ограничениями исходной задачи описывающих необходимые условия. На первом шаге доказывается разрешимость задачи управления для системы фазового поля, на втором — с помощью функции Лагранжа получена сопряженная задача и ее разрешимость и, наконец, формулируется критерий оптимальности. Технически исследование опирается на результаты В. Е. Федорова [2] при доказательстве разрешимости начальной задачи и результаты А. В. Фурсикова [3] при выводе системы оптимальности.

Кроме описанных уже особенностей системы, отличие рассматриваемой задачи заключается в использовании комбинированного управления. С практической точки зрения в некоторых ситуациях важно одновременное управление

Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 14—01—31125—мол_а).

© 2014 Исламова А. Ф.

системой как посредством выбора начальных данных, так и на протяжении всего времени ее функционирования. Совокупность стартового и распределенного управлений названа в работе смешанным управлением. Ранее в совместных работах автора с М. В. Плехановой уже были рассмотрены вопросы разрешимости задач смешанного управления с различными функционалами качества для вырожденных систем [4-10], здесь же впервые приводятся необходимые и достаточные условия.

§ 1. Задача смешанного управления

В этом параграфе приведем необходимые в дальнейшем результаты. Пусть Ж, — гильбертовы пространства, Ь € ^(Ж';?У) (линейный непрерывный оператор из Ж в 2^), кег Ь = {0}, М € ^ 1(Ж;?¥) (линейный замкнутый плотно определенный в Ж оператор, действующий в пространство <3/). При исследовании будем использовать методы теории вырожденных полугрупп операторов [2,11]. Обозначим

N0 = N и {0}, рь(М) = {м € С :(рЬ - М)-1 #")},

К,р) (М) = П (№Ь - М)-1Ь, Ь^М) = П Ь(МкЬ - М)-1, к=0 к=0

Ж0 = кег Й(;1Р) (М), = кег Ь^) (М),

(черта над множеством означает замыкание в норме пространства или соответственно),

Ьк = Ь\хк, Мк = М|асшМк, аошМк = аошМ ПЖк, к = 0,1.

Пусть р € N0. Оператор М называется сильно (Ь,р)-секториальным, если

(I) За € М 39 € (п/2, п)

^(М) = {м € С : \агя(М - а)\ < 9, м = а} С рь(М);

(II) ЗК € М+ УМ0, М1,..., Мр € (М)

К

(111) для всех Л, М0, М1,..., Мр € (М)

П \мк - а\

к=0

К

\К^р)(М)(ХЬ - М)-^{У;Х) <-—

N

\Л - а\ П \мк - а\

к=0

Теорема 1.1 [2]. Пусть оператор М сильно (Ь, р)-секториален. Тогда

(I) имеют место равенства & = Ж0 © Ж1,®/ = °3/0 ©°3/1;

(II) Ьк €&(Жкк), Мк €сё'1(Жк;&к), к = 0, 1;

(ш) существуют операторы М0-1 € % (У 0;Ж0), Ь-1 € % (У 1;Ж1);

(1у) оператор С = М—1Ь0 € (^Г0) нильпотентен степени не больше р €

0;

(v) существует разрешающая полугруппа {X* G Jz? (^Г) : t > 0} уравнения Lx(t) = Mx(t), аналитическая в секторе Е = {т G C : | argт| < 0 — п/2, т = 0};

(vi) инфинитезимальным генератором аналитической полугруппы {X* G Jz?( J:'1) : t > 0} является оператор S = L-1Mi G J:'1).

Здесь X * — сужение оператора X* на ¿[Г 1. Проектор вдоль Ж0 на ЗС 1 обозначим через P, а вдоль W0 на W1 — через Q. Кроме того, будем использовать обозначение Hk(0,T; k G N, для пространства Соболева Wlf (0,T; ¿ST) функций u : [0, T] ^ Ж с нормой

( k т

IMIhW;Ж) = ( Е / yu(r)(t)fir dt \r=°0

Через H0(0, T; ¿ST) = L2(0,T; JT) будем обозначать пространство Лебега.

Пусть T > 0. Рассмотрим задачу управления с начальным условием Шо-уолтера

Lx(t) = Mx(t) + u(t), (1.1)

Px(0) = Pv, (1.2)

(u,v) G U9, (1.3)

«/(ж) = - x\\i2(0,T;jr) inf> (L4)

где непустое выпуклое замкнутое подмножество Ug пространства управлений U представляет собой множество допустимых управлений, пара (u, v) G U задает смешанное управление, x G L2(0, T; — заданная функция. В силу замкнутости оператора S пространство = domS = domM1 гильбертово со скалярным произведением (•, •)^S = (•, •)& + . В качестве пространства управлений

для данной задачи выберем U = Hp+1(0, T; х .

Сильным решением задачи (1.1), (1.2) назовем функцию x G H 1(0,T; удовлетворяющую условию (1.2) и почти всюду на интервале (0, T) — уравнению (1.1).

Специфика рассматриваемого вырожденного уравнения требует повышенной гладкости функции управления u (см. [12]). Чтобы учесть данное условие, решения уравнения (1.1) будем искать в гильбертовом пространстве

2Г = {z G H 1(0, T; JT) : Lz — Mz G Hp+1(0, T; 2Г)}, наделенном нормой

||z|1^ = llzHH1(0,T ;Ж) + ||Lz — MzyHp+i(0,T

Его полнота доказана в [12].

Минимизировать функционал стоимости будем на множестве допустимых троек W, т. е. на наборе функций (x, u, v) G 3f х U, удовлетворяющих условиям (1.1)—(1.3). Решением задачи управления (1.1)—(1.4) назовем тройку (X,u, D) G W, минимизирующую функционал стоимости: J(X) = inf J(x).

Теорема 1.2 [10]. Пусть оператор M сильно (L, р)-секториален, Ug — непустое замкнутое выпуклое множество, ограниченное в пространстве U. Тогда существует решение (x,u, D) G 3f х U задачи (1.1)—(1.4).

На парах u = (u,v) определим оператор л/, действующий по правилу s/u = x — решение задачи (1.1), (1.2). Учитывая вид решения [13,14] в случае

сильной (Ь, р)-секториальности оператора М, заметим, что оператор л/ будет определяться формулой

,#и(£) = +[ Х*-8Ь-1ди(5) -^ СкМ0-1(/-д)и(к)(£), 4 € (0,Т). (1.5) 0 к=0

Лемма 1.1. Пусть оператор М сильно (Ь, р)-секториален. Тогда з/ € .¿5>(Яр+1(0,Тх ^; Ь2(0,Т; ¿Г)).

Доказательство. Линейность оператора очевидна. Из оценки на решение [15]

||ж||Я1 (0,т\ЗС) Ж + ||и||ЯР+1(0,Т

следует, что ^ € (Яр+1(0,Т; х ^; Я 1(0,Т; ^Т)), поэтому тем более € .¿5>(Яр+1(0,Тх ^; Ь2(0,Т;ЯГ)). □

При X € Ь2(0, Т; ¿5Г) рассмотрим функционал

,/(ж(и)) = Р(и) = 1к„ - а-Н^о.т;*-). (1.6)

Лемма 1.2. Пусть оператор М сильно (Ь,р)-секториален, оператор л/ € (Яр+1(0, Т; х ^; Ь2(0, Т; ¿Г)) определен выражением (1.5) и * - сопряженный к л/ оператор. Тогда производная Фреше функционала (1.6) имеет вид Р'(и) = л/*(^и - X).

Доказательство. Для произвольного Ь € Яр+1(0, Т; х ^ рассмотрим приращение

Р(и + Ь) -Р(и) = {¿/и-х,дП1)ь,0 Т.Х) +

(0,Т;ЙГ) "Г" 2

В силу непрерывности имеем ||^Ь||^2(0 т-X) = 0(1|Ь||яр+1(0,т¡^х^), поэтому /'(и) - X). □

§ 2. Разрешимость задачи управления для системы уравнений фазового поля

Пусть О С Мв — ограниченная область с границей дО класса Са € М. Искомыми функциями являются ^(ж,£), ((ж, 4):

г(ж, 0) = «(ж), ж € О, (2.1)

д д

—г(ж, = — 0(ж, = 0, (ж, £) € дП х (0, Т), (2.2) дп дп

^(ж,£) = Аг(ж,г) - Д0(ж,г)+ и(ж,4), (ж, 4) € О х (0,Т), (2.3)

Д0(ж,4)+(1 - а)9(ж,4)+ г(ж,г) + ад(ж,4) = 0, (ж, 4) € О х (0,Т), (2.4)

€ , (2.5)

= - г\\12{0,т.ып)) +\\\6 - в\\1^т.мт - К (2.6)

где 5, 9 € Я 1(0,Т; Ь2(О)) заданы, непустое выпуклое замкнутое подмножество Ид пространства И = Я 1(0, Т; (Ь2(О))2) х Я|(О) — множество допустимых

управлений, тройка (и,ад,г>) € И задает управление, Н|(0) = {ад € Н2(0) : дад(х) = 0, х € дО}.

Решение задачи управления принадлежит пространству

& = {(;,() € НХ(0,Т;(^2(0))2) :

г, - А; € НХ(0,Т; ¿2(0)), А0 € НХ(0,Т; ¿2(0))}.

Обозначим Аад = Аад, domA = Н|(0) С Ь2(0).

Теорема 2.1. Пусть 1 — а € Тогда существует единственное решение

(г, (9, и,ад,«) € ^ х И задачи (2.1)-(2.6).

Доказательство. Проведем редукцию задачи (2.1)-(2.6) к абстрактной задаче управления с обобщенным условием Шоуолтера (1.1)—(1.4). Выберем пространства ЗС = = (Ь2(0))2 и операторы

Ь = (о о) ' М = ( А (а — 1)А + а).

Тем самым определены операторы Ь € (¿5Г), М € ^¿(^Г), причем, кегЬ = {0} х Ь2(0) и domM = (Н|(0))2.

Поскольку в [16] показано, что при условии 1 — а € оператор М сильно (Ь, 0)-секториален, ссылка на теорему 1.2 завершает доказательство. □

§ 3. Критерий оптимальности для системы уравнений фазового поля

Для составления сопряженной задачи рассмотрим функцию Лагранжа для задачи (2.1)-(2.6)

£(г, (9, и, ад, г>) = — \\г(х, £) — г(х

~ г(х^)\\12(о,т-ь2(п))

1 ~ 2 Г

+ ^\\в(х,г)-в(х,ЩЬ2[0<т.Ь2т+ ] ф3(х)(г(х,0) -у(х))(Ь

п

т

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

+ // ^(мх* М — Аг (х,Ч + «М — и(х,ВД ДО

0 п

т

^2(х, £)(А0(х, ¿) + (1 — а)0(х, £) + г(х, £) + ад(х, £)) ¿х^ о п

,3/

+/ ^3(х)(г(х'0)—«(х)) 'х

где (х, (х) — множители Лагранжа, ограничения на которые

опишем ниже.

Возьмем вариации по переменным г, 0, и, ад и «, т. е. рассмотрим функции г(х, £) + ¿;(х, £), 0(х, £) + ¿0(х, £), и(х, £) + ¿и(х, £), ад(х, £) + ¿ад(х, £) при (х, £) € О х (0,Т), «(х) + ¿«(х) при х € О, причем , ¿0, ¿и, ¿ад € НХ(0,Т; Ь2(0)), € Н2(0), и потребуем выполнения граничных условий для функций ¿2, ¿0.

Тогда линейная часть приращения функции Лагранжа выглядит следующим образом:

т т

,£ = //«х,«) - ^«Шх,«) ДО + / ¡<.т«) - *х. «»«Кх,«) до

0 О 0 о

т

1,1

+ //№,(х,«) - (х,о + Д®(м> - ММ)»1 (х,«) до

0 о

т

- / /< Д.0(х,«Ж! - ^(х,«) + «) + Мх, «))ф2(х.«)ДО

0 о

+ /0Мх, 0) - Мх))ф3(х)

о

Применяя интегрирование по частям, получим сопряженную краевую задачу из условия стационарности 6£ = 0 в оптимальной точке, приравнивая к нулю коэффициенты при вариациях:

ф^х,т) = 0, х е о, (3.1)

д д

—ф1(х,Ь) = —ф2(х,Ь) = 0, (х,г) € дп х (0,Т), (3.2)

дп дп

ф1(х,«) = -Дф^х,«) - ф2(х,«) + г(х,«) - в(х,«), (х,«) е О х (0,Т), (3.3)

Дф^х,«) - Дф2(х,«) - (1 - а)ф2(х,«) + 0(х,«) - 0(х,«) = 0,

(х,«) е О х (0,Т), (3.4)

ф1 (х, 0) = ф3(х), х е О. (3.5)

Искомыми здесь являются функции ф1, ф2, ф3.

Теорема 3.1. Пусть 1 - а е ^(А), г - в, 0 - 0 е Я 1(0,Т; Ь2(О)). Тогда задача (3.1)—(3.5) имеет единственное решение.

Доказательство. Редукцию задачи (3.1)-(3.4) проведем к задаче Шоуол-тера (1.1), (1.2). Выберем пространства Ж = & = (Ь2(О))2 и операторы

Ь = (1 0 ^ м = (-Д -1 ^ ь V о о у ' м V Д (а -1)1 - Д) .

Сильная (Ь, 0)-секториальность при замене переменных в = Т - « доказывается так же, как и для задачи (2.1)-(2.6). В силу результатов из [14] разрешимость задачи (3.1)-(3.4) относительно функций ф1, ф2 следует из условий г - в, 0 - в е Я 1(0,Т; Ь2(О)). Функция ф3 определяется из равенства (3.5). □

Теорема 3.2. Пусть 1 - а е Ид — непустое выпуклое замкнутое

ограниченное множество пространства Я 1(0, Т; (Ь2(О))2) х Яд(О), (ф1, ф2, ф3) е Я 1(0,Т;(Ь2(О))2) х Ь2(О) — решение задачи (3.1)-(3.5). Набор (г, 0, г, й, «) е

х Н 1(0,Т; (Ь2(0))2) х Н|(0) является решением задачи (2.1)-(2.6) в том и только том случае, когда выполнено неравенство

т

«"(х, ¿)(и(х, ¿) — й(х,£)) + J ! ,2(х, £)(г(х, £) — ги(х, £)) о о о о

/,3/

+ |— г)(ж)) dx > 0, (u,w,v) G Ug,

которое в случае (u, w, )) G int Ug превращается в равенство.

Доказательство. Достаточно найти действие оператора *, сопряженного к оператору . Учитывая, что — решение задачи (3.1)-(3.5), при c = (z — z, в — 0) имеем

и, с}Ь2(0,т;Ь2(о)) =у J ^ (х,г)( — ^Ом) — А,1 (х,£) + ,2(х,4)) ¿х^ о о

т

+ // «(м,^1 (.,<)— А^2(х,о— а— о,,2 „о,

оо

т

= / /(—ад' (х. о — «,2 (х. о + «(х. «),1(х.«»до + /

о о о

т

+ / /<ад1 <*«) + .(х, «,2 <*«) + »<х. ад2 (х.»)) **

оо

т

=/ /(«(х, .),1(х,^+г(х, ^(х,*» +/ ^ (х)

о о о

Таким образом, с = (,1(х, £), ,2(х, £), ,3(х)), и утверждение теоремы теперь следует из теоремы 1.4 [3, гл. 2]. □

ЛИТЕРАТУРА

1. Плотников П. И., Старовойтов В. Н. Задача Стефана с поверхностным натяжением как предел модели фазового поля // Дифференц. уравнения. 1993. Т. 29, № 3. С. 461—471.

2. Федоров В. Е. О гладкости решений линейных уравнений соболевского типа // Дифференц. уравнения. 2001. Т. 37, № 12. С. 1646-1649.

3. Фурсиков А. В. Оптимальное управление распределенными системами. Теория и приложения. Новосибирск: Науч. книга, 1999.

4. Исламова А. Ф., Плеханова М. В. Задачи с жестким смешанным управлением для линейных уравнений соболевского типа // Тр. междунар. науч. конф. Дифференц. уравнения и смежные проблемы. Стерлитамак: СГПА, 2008. С. 111-115.

5. Плеханова М. В., Исламова А. Ф. Исследование линеаризованной системы уравнений Буссинеска методами теории вырожденных полугрупп // Вестн. Челяб. гос. ун-та. Математика. Механика. Информатика. 2009. Т. 11, № 20. С. 62-70.

6. Плеханова М. В., Исламова А. Ф. Задача со смешанным управлением для одного класса линейных уравнений соболевского типа // Вестн. Челяб. гос. ун-та. Математика. Механика. Информатика. 2010. Т. 12, № 23. С. 49-58.

7. Исламова А. Ф. Задачи с жестким смешанным управлением для линейных уравнений соболевского типа // Тр. Воронеж. зимней мат. школы С. Г. Крейна. Воронеж: ВГУ, 2010. С. 69-74.

8. Плеханова М. В., Исламова А. Ф. О разрешимости задач смешанного оптимального управления линейными распределенными системами, не разрешенными относительно производной по времени // Изв. вузов. Математика. 2011. № 7. С. 37-47.

9. Исламова А. Ф. Минимизация функционалов со слабой нормой на решениях вырожденного линейного уравнения // Вестн. Южно-Урал. гос. ун-та. Мат. моделирование и программирование. 2011. Т. 8, № 17. С. 37-46.

10. Плеханова М. В., Исламова А. Ф. Задачи с жестким смешанным управлением для линеаризованного уравнения Буссинеска // Дифференц. уравнения. 2012. T. 48, №4. C. 565576.

11. Sviridyuk G. A., Fedorov V. E. Linear Sobolev type equations and degenerate semigroups of operators. Utrecht: VSP, 2003.

12. Плеханова М. В., Федоров В. Е. Критерий оптимальности в задаче управления для линейного уравнения соболевского типа // Изв. РАН. Теория и системы управления. 2007. № 2. С. 87-93.

13. Свиридюк Г. А., Федоров В. Е. О единицах аналитических полугрупп операторов с ядрами // Сиб. мат. журн. 1998. Т. 39, № 3. С. 604-616.

14. Федоров В. Е. Голоморфные разрешающие полугруппы уравнений соболевского типа в локально выпуклых пространствах // Мат. сб. 2004. Т. 195, № 8. С. 131-160.

15. Плеханова М. В., Федоров В. Е. О существовании и единственности решений задач оптимального управления линейными распределенными системами, не разрешенными относительно производной по времени // Изв. РАН. Сер. мат. 2011. Т. 75, № 2. С. 177-194.

16. Федоров В. Е., Уразаева А. В. Обратная задача для одного класса сингулярных линейных операторно-дифференциальных уравнений // Тр. Воронеж. зимней мат. школы С. Г. Крейна. Воронеж: ВГУ, 2004. С. 161-172.

Статья поступила 29 апреля 2014 г.

Исламова Анна Фаридовна

Челябинский гос. университет,

ул. Братьев Кашириных, 129, Челябинск 454001

isaf@csu.ru

i Надоели баннеры? Вы всегда можете отключить рекламу.