На правах рукописи
Исламова Анна Фаридовна
ЗАДАЧИ СМЕШАННОГО УПРАВЛЕНИЯ ДЛЯ ЛИНЕЙНЫХ РАСПРЕДЕЛЕННЫХ СИСТЕМ СОБОЛЕВСКОГО ТИПА
01.01.02 дифференциальные уравнения, динамические системы и оптимальное управление
АВТОРЕФЕРАТ
диссертации на соискание ученой степени кандидата физико-математических наук
Екатеринбург 2012
Работа выполнена в ФГБОУ ВПО УЧелябинский государственный университетФ на кафедре математического анализа.
Научный консультант: кандидат физико-математических наук, доцент Плеханова Марина Васильевна
Официальные оппоненты: доктор физико-математических наук Максимов Вячеслав Иванович доктор физико-математических наук Чистяков Виктор Филимонович
Ведущая организация: Институт математики им. С.Л.Соболева СО РАН, г. Новосибирск
Защита диссертации состоится 25 апреля 2012 года в 11:00 часов на заседании диссертационного совета Д.006.004.01 при Институте математики и механики УрО РАН по адресу:
620990, г. Екатеринбург, ул. Софьи Ковалевской, д. 16.
С диссертацией можно ознакомиться в научной библиотеке Института математики и механики УрО РАН.
Автореферат разослан марта 2012 г.
Ученый секретарь диссертационного совета, Н. Ю. Лукоянов доктор физ.-мат. наук
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность темы. Высокий уровень развития современных технологий свидетельствует о важности использования систем управления различными процессами в промышленности и о необходимости исследования соответствующих задач управления. Поэтому теория оптимального управления является современным и актуальным направлением науки. О многообразии сфер применения теории управления распределенными системами, ее методов и результатов говорит ее тесная связь с техническими задачами (работы А.Г. Бутковского, К.А. Лурье), с теорией игр и задачами позиционного управления, с обратными задачами динамики управляемых систем (работы Н.Н. Красовского, А.Б. Куржанского, Ю.С. Осипова, А.И. Субботина и др.) Большой вклад в развитие теории управления распределенными системами внесли Ж.-Л. Лионс, Ф.П. Васильев, Г. Фатторини и др.
Практическое исследование задач оптимального управления для различных систем многие исследователи зачастую проводят с помощью нахождения численного решения. Однако, для полного исследования необходимо выяснить при каких условиях на параметры задачи существует решение. Данная работа посвящена рассмотрению вопросов разрешимости задач оптимального управления для линейных распределенных систем, не разрешенных относительно производной по времени, а также нахождению необходимых и достаточных условий оптимальности для таких задач. При этом речь идет как о системах с сосредоточенными параметрами (дескрипторные или дифференциально-алгебраические системы), так и о распределенных системах.
Задачи управления для дифференциально-алгебраических систем исследуют в своих работах Ю.Е. Бояринцев, В.Ф. Чистяков, Г.А. Курина, Ф.Л. Льюис, Л. Пандолфи. Управление распределенными системами, не разрешенными относительно производной по времени, исследовалось в работах Г.А. Свиридюка, А.А. Ефремова, М.В. Плехановой, В.Е. Федорова.
Однако никто из перечисленных авторов не рассматривал ранее задачи с одновременным действием распределенного и стартового управления.
Поэтому тема исследования диссертационной работы представляется актуальной.
Цель работы. Пусть U, X, Y - гильбертовы пространства, операторы L L(X ; Y) (линейный и непрерывный), ker L = {0}, B L(U; Y), оператор M Cl(X ; Y) (линейный, замкнутый плотно определенный в X ). Предполагается, что оператор M сильно (L, p)-секториален1, т. е пара операторов L, M порождает разрешающую аналитическую полугруппу уравнения Lu(t) = Mu(t). Поскольку ядро оператора L нетривиально, эта полугруппа является вырожденной и параметр p {0}N является харакСвиридюк, Г.А., Федоров В.Е. О единицах аналитических полугрупп операторов с ядрами / Г.А. Свиридюк, В.Е. Федоров // Сиб. мат. журн. 1998. Т.39, № 3. С.604-616.
теристикой ее вырожденности (максимальная высота M-присоединенных векторов оператора L, попадающих в ядро единицы полугруппы).
Рассмотрим задачу оптимального управления L(t) = Mx(t) + y(t) + Bu(t), (1) x(0) = v, (2) (u, v) U, (3) J(x, u, v) = x - x 2 + Hr1(0,T ;X ) N1 N+ u - 2 + v - inf, (4) Hr2(0,T ;X ) Z 2 где Z - пространство X или подпространство в нем, снабженное другой нормой, непустое выпуклое замкнутое подмножество U пространства U = L2(0, T ; U) Z - множество допустимых управлений, пара (u, v) U задает управление, N1, N2 0, r1 {0, 1}, r2 {0, 1,..., p + 1}, 1 y Hp+1(0, T ; Y), x Hr (0, T ; Y), Hr (0, T ; Y), Z - заданные функции.
Множество W троек (x, u, v) ZrU, удовлетворяющих условиям (1) - (3), назовем множеством допустимых троек задачи (1) - (4). Решение задачи (1) - (4) состоит в нахождении троек (x, , v) W, минимизирую щих функционал стоимости J:
J(x, , v) = inf J(x, u, v).
(x,u,v)W Рассматриваются задачи с различными функционалами (4): с компромиссными функционалами (N1, N2 > 0, r1 = 1, Z = X ), с жесткими функционалами (не зависящими явно от функции управления, т. е.
N1 = N2 = 0), с функционалами со слабой по t нормой функции состояния (r1 = 0), с функционалами с нормой графика оператора M (Z = domM) и др. Каждый из рассмотренных классов функционалов требует особенных методов исследования разрешимости соответствующих задач. Например, при рассмотрении задачи жесткого управления приходится требовать ограниченности множества допустимых управлений, переход к слабой норме по t в компромиссном функционале приводит к необходимости усиления нормы управления v по пространственным переменным в нем.
Таким образом, рассматриваемые в данной работе задачи управления предполагают одновременное управляющее воздействие двух типов - стартовое, т. е. управление процессом за счет выбора начальных данных v в условии (2), и распределенное, т. е. внешнее воздействие на систему посредством выбора функции u в уравнении (1). Назовем такое управление смешанным.
В приложениях часто возникают системы, описываемые в начальный момент времени не условием Коши (2), а так называемым обобщенным условием Шоуолтера P x(0) = v, (5) где P - проектор вдоль ядра разрешающей полугруппы однородного уравнения (1). Для уравнений, не разрешенных относительно производной по времени, это условие часто является более "физичным", так как предполагает задание начального состояния только для динамически изменяющейся части системы (1).
Целью данной работы является исследование разрешимости описанных задач смешанного оптимального управления вида (1) - (4) и (1), (3) - (5).
Методы исследования. В диссертации использованы результаты теории вырожденных полугрупп операторов, развитой в работах Г.А. Свиридюка, В.Е. Федорова. В основной части работы рассматривается случай сильно (L, p)-секториального оператора M. Это позволяет установить однозначную разрешимость в смысле сильных решений x H1(0, T ; X ) задачи Коши (2) и Шоуолтера (5) для уравнения (1).
Задачи смешанного оптимального управления (1) - (4) исследуются в данной работе с использованием предложенной ранее в работах Ж.-Л. Лионса, А.В. Фурсикова схемы исследования задач оптимального управления для распределенных систем, состояние которых описывается некорректными начально-краевыми задачами. Она позволяет, используя лишь условие нетривиальности для рассматриваемой системы и свойства минимизируемого функционала, установить существование и единственность решения задачи оптимального управления. При этом важно, что нет необходимости выражать функции состояния x через функции управления u и v, поскольку для рассматриваемых систем, не разрешимых относительно производной по времени, это возможно лишь для функций управления из неплотного множества в пространстве управлений.
Новизна полученных результатов. В данной диссертационной работе, по-видимому, впервые исследуются задачи смешанного оптимального управления с различными функционалами стоимости для вырожденных распределенных систем, описываемых уравнением (1), не разрешимым относительно производной и снабженным условием Коши или обобщенным условием Шоуолтера. При этом, в отличие от работ других авторов, касающихся систем, не разрешенных относительно производной по времени, в работе рассмотрены различные классы функционалов стоимости, в частности терминальный функционал, зависящий от финального состояния системы, задачи с жестким управлением.
Полученные абстрактные результаты используются при исследовании задач смешанного оптимального управления для линеаризованной системы Буссинеска, линеаризованной системы фазового поля с нулевым временем релаксации, для содержащего многие уравнения теории фильтрации и теории полупроводников класса уравнений вида (1), в котором операторы L и M являются многочленами от эллиптического самосопряженного дифференциального по пространственным переменным оператора высокого порядка.
Помимо исследования разрешимости задач смешанного управления для вырожденных распределенных систем в диссертационной работе для ряда конкретных задач осуществлен вывод систем оптимальности - необходимых и достаточных условий экстремума.
Теоретическая и практическая ценность. Результаты диссертации имеют как теоретический, так и практический характер. Они дают решения некоторых актуальных проблем теории оптимального управления системами, описываемыми дифференциальными уравнениями. И в то же время результаты диссертационной работы предоставляют методы исследования и поиска решений (с помощью систем оптимальности) задач оптимального управления для систем уравнений в частных производных, встречающихся в естествознании и технике.
Апробация работы. Результаты диссертации докладывались и обсуждались на семинарах кафедры математического анализа Челябинского государственного университета (рук. д.ф.-м.н., проф. В.Е. Федоров), на семинаре Лаборатории дифференциальных и разностных уравнений Института математики им. С.Л. Соболева СО РАН (рук. д.ф.-м.н., проф.
Г.В. Демиденко, д.ф.-м.н., проф. А.И. Кожанов) и на следующих научных конференциях: Международная научная конференция "Дифференциальные уравнения и смежные проблемы", г. Стерлитамак, 2008 г.; Международная конференция по дифференциальным уравнениям и динамическим системам, г. Суздаль, 2008 г.; Воронежская зимняя математическая школа С.Г. Крейна, 2010 г.; IX Международная научно-техническая конференция "Физика и технические приложения волновых процессов", г. Челябинск, 2010 г., Международная конференция "Алгоритмический анализ неустойчивых задач", г. Екатеринбург, 2011 г.
Данное исследование выполнено при финансовой поддержке РФФИ, проект № 10-01-96007-р_урал_а, и Фонда помощи молодым ученым ЧеГУ.
Публикации. По теме диссертации опубликовано 11 работ, в том числе 3 работы - в журналах, включенных в Перечень ведущих периодических изданий. Cписок публикаций автора диссертации приводится в конце автореферата. Результаты, опубликованные в совместных с научным руководителем работах, получены автором самостоятельно; соавтору принадлежит постановки задач и некоторые идеи доказательств.
Структура и объем работы. Диссертация состоит из введения, четырех глав и списка литературы. Общий объем диссертации составляет 129 страниц. Библиография содержит 155 наименований работ российских и зарубежных авторов.
КРАТКОЕ СОДЕРЖАНИЕ ДИССЕРТАЦИИ Во введении обосновывается актуальность темы исследования, определяется цель работы, дается обзор литературы по исследуемой проблематике, кратко излагаются основные результаты диссертации.
В первой главе приведены результаты других авторов, которые используются при доказательстве основных утверждений диссертации во второй, третьей и четвертой главах. В первом параграфе определены пространства Лебега - Бохнера и Соболева - Бохнера, обозначенные для краткости L2(0, T ; X ) = L2(X ), Hk(0, T ; X ) = Hk(X ), k N. Второй параграф содержит определения и свойства относительно p-секториальных и относительно p-радиальных операторов.
При p {0} N ведем обозначения X = ker((L - M)-1L)p+1, Y0 = ker(L(L - M)-1)p+1, через X и Y1 обозначим замыкания образов im((L - M)-1L)p+1 и im(L(L - M)-1)p+1 в норме пространства X и Y соответственно. Дальнейшее изложение будет использовать эти обозначения и следующий результат.
Теорема 1. Пусть p {0}N, оператор M сильно (L, p)-секториален.
Тогда 0 (i) X = X X, Y = Y0 Y1;
k k (ii) Lk = L|Yk L(X ; Yk), Mk = M|domM Cl(X ; Yk), где domMk = k k domM X, k = 0, 1;
-0 (iii) существуют операторы M0 L(Y0; X ), L-1 L(Y1; X );
-(iv) оператор G = M0 L0 L(X ) нильпотентен степени не больше p;
(v) существует аналитическая разрешающая полугруппа операторов {Xt L(X ) : t 0} уравнения L(t) = Mx(t).
0 Проектор вдоль X на X обозначим через P, а вдоль Y0 на Y1 - через Q.
В третьем параграфе приведены результаты о разрешимости задач с начальным условием Коши и обобщенным условием Шоуолтера для неоднородного уравнения соболевского типа. Четвертый параграф содержит абстрактные теоремы о линейной задаче управления, используемые далее при исследовании задач смешанного оптимального управления.
Вторая глава содержит новые результаты о существовании и единственности решений задач смешанного оптимального управления для систем, описываемых уравнением первого порядка в гильбертовом пространстве с вырожденным оператором при производной и с заданным начальным условием Коши или Шоуолтера. В первом параграфе второй главы рассматривается задача смешанного оптимального управления (1) - (3) с Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators / G.A. Sviridyuk, V.E. Fedorov. Utrecht; Boston: VSP, 2003.
компромиссным функционалом 1 N1 N2 J(x, u, v) = x - w 2 + u - + v - inf, (6) H1(X ) L2(U) X 2 2 где U = L2(U) X - пространство управлений, заданы y Hp+1(Y), w H1(X ), L2(U), X, константы N1, N2 > 0.
Условие согласования стартового управления и неоднородности в уравнении (1) в начальный момент времени задается множеством H(y), которое состоит из пар (u, v) Hp+1(U) X, при заданном y Hp+1(Y) удовлетворяющих равенству p p -1 -GkM0 (I - Q)Bu(k)(0) + (I - P )v = - GkM0 (I - Q)y(k)(0).
k=0 k=С использованием пространства Zr = {z H1(X ) : L - Mz Hr(Y)} получен следующий результат.
Теорема 2. Пусть оператор M сильно (L, p)-секториален, U - непустое, выпуклое, замкнутое подмножество пространства L2(U) X, UH(y) = . Тогда существует единственное решение (x, , v) Z0U задачи (1) - (3), (6).
Аналогичный результат получен для задачи (1), (3), (5), (6). Необоходимость в условии U H(y) = при этом исчезает в силу особенностей задачи Шоуолтера.
Теорема 3. Пусть оператор M сильно (L, p)-секториален, U - непустое, выпуклое, замкнутое подмножество пространства L2(U) X, U (Hp+1(U) X ) = . Тогда существует единственное решение (x, , v) Z0 U, задачи (1), (3), (5), (6).
Во втором параграфе рассмотрены задачи смешанного оптимального управления с функционалом NJ1(x, u, v) = J0(x) + u - 2 + Hp+1(U) N2 N2 + v - + Sv - S inf, (7) X X 2 где Hp+1(U), S = L-1M1 Cl(U1), domS - заданы, функционал J0 - выпуклый, неотрицательный на линейном нормированном пространстве Y, полунепрерывный снизу относительно слабой сходимости в Y, причем предполагается непрерывное вложение Zp+1 Y.
Введем в рассмотрение пространство DS = domS = domM1, которое в силу замкнутости оператора S является гильбертовым относительно скалярного произведения , = , + S, S.
DS X X Теорема 4. Пусть оператор M сильно (L, p)-секториален, U - непустое выпуклое замкнутое подмножество пространства Hp+1(U) DS, U H(y) = . Тогда существует единственное решение (x, , v) Zp+1 U задачи (1) - (3), (7).
Как частные случаи функционала J1 рассмотрены функционал со слабой нормой функции состояния J0(x) = x - w 2 и терминальный 2 L2(X ) 1 функционал J0(x) = x(T ) - w.
X Здесь же доказаны аналогичные теоремы о разрешимости задачи управления с функционалом качества J1 в случае обобщенного условия Шоуолтера (5).
В третьем параграфе в пространстве управлений U = L2(U) X рассматриваются задачи с жестким управлением, когда функционал в явном виде не зависит от управления J(x) = x - w 2 inf. (8) H1(X ) Существенным для разрешимости таких задач является требование ограниченности множества допустимых управлений, а для единственнсти решения - условие инъективности оператора B в уравнении (1).
В данном параграфе рассмотрен случай (L, p)-секториального оператора M, поскольку в некоторых приложениях, например, для рассмотренной в третьей главе линеаризованной системы Буссинеска, условие сильной (L, p)-секториальности оператора M не выполняется.
Ослабление условий на операторы приводит к отсутствию непрерывности у оператора L-1 : imL1 U1 и необходимости изменения множества H(y). Для y Hp+1(Y) через H(y) обозначим множество пар (u, v) U, таких, что Q(Bu(t) + y(t)) imL1 при t (0, T ), L-1Q(Bu + y) H1(X ), (I - Q)(Bu + y) Hp+1(Y), p -(I - P )v = - GkM0 ((I - Q)(Bu + y))(k)(0).
k=Определим для k N {0} оператор Bk L(Hk(U); Hk(Y)), (Bku)(t) = Bu(t), t (0, T ).
Теорема 5. Пусть оператор M (L, p)-секториален, U - замкнутое, выпуклое и ограниченное в L2(U) X множество, причем U H(y) = .
Тогда существует непустое множество решений задачи (1) - (3), (8) имеющее вид {(x, , v) Z0 U : x = x1, v = v1, = 1 + u, u ker B0}, где (x1, 1, v1) - одно из решений задачи.
Исследование той же задачи с начальным условием Шоуолтера, после выбора подходящих пространств и доказательства коэрцитивности функционала приводит к утверждению.
Теорема 6. Пусть оператор M (L, p)-секториален, U - замкнутое, выпуклое и ограниченное в L2(U) X множество, U (Hp+1(U) X ) = .
Тогда существует непустое множество решений задачи (1), (3), (5), (8), имеющее вид {(x, , v) Z0 U : x = x1, v = v1, = 1 + u, u ker B0}, где (x1, 1, v1) - одно из решений задачи.
Для задачи жесткого управления с абстрактным функционалом J0(x) inf, (9) удовлетворяющим тем же условиям, что и во втором параграфе, получены следующие результаты.
Теорема 7. Пусть оператор M (L, p)-секториален, J0 - ограниченный снизу на линейном нормированном пространстве Y, полунепрерывный снизу относительно слабой сходимости в Y функционал, имеет место непрерывное вложение Zp+1 в Y, U - выпуклое, замкнутое и ограниченное в пространстве управлений U = Hp+1(U) DS множество, причем U H(y) = . Тогда существует решение (x, , v) Zp+1 U задачи (1) - (3), (9).
Теорема 8. Пусть оператор M (L, p)-секториален, y Hp+1(Y), Qy(t) imL1 при t (0, T ), L-1Qy H1(X ), J0 - ограниченный снизу на линейном нормированном пространстве Y, полунепрерывный снизу относительно слабой сходимости в Y функционал, имеет место непрерывное вложение Zp+1 в Y, U - непустое, выпуклое, замкнутое и ограниченное в пространстве управлений U = Hp+1(U) DS множество.
Тогда существует единственное решение (x, , v) Zp+1 U задачи (1), (3), (5), (9).
Как следствие получены результаты для терминального и со слабой нормой функции состояния функционалов стоимости.
В пятом параграфе рассмотрена задача (1) - (3) для функционала с нормой графика NJ(x, u, v) = J0(x) + u - 2 + Hp+1(U) N2 N2 + v - + Mv - M inf, (10) X Y 2 где Hp+1(U) и y Hp+1(Y) - заданные функции, DM = domM - заданный вектор, константы N1, N2 > 0.
Теорема 9. Пусть оператор M сильно (L, p)-секториален, U - непустое, выпуклое, замкнутое подмножество пространства Hp+1(U)DM, функционал J0 выпуклый, неотрицательный на линейном нормированном пространстве Y, полунепрерывный снизу, U H(y) = . Тогда существует единственное решение (x, , v) Zp+1 U задачи (1) - (3), (10).
В шестом параграфе второй главы содержатся комментарии по поводу рассмотренных задач в случае, если оператор M удовлетовряет более общему условию сильной (L, p)-радиальности.
Третья глава содержит приложения результатов второй главы к исследованию задач оптимального управления для уравнений или систем уравнений в частных производных, не разрешенных относительно производной по времени, которые возникают при моделировании реальных процессов. В первом параграфе проведена редукция задачи ( - )wt(x, t) = w(x, t) + u(x, t), (x, t) (0, T ), (11) w(x, t) = 0, (x, t) (0, T ), (12) w(x, 0) = v(x), x , (13) описывающей переходные процессы в полупроводнике в ограниченной области , к задаче (1), (2). Здесь , R. Во втором параграфе доказана теорема о разрешимости задачи смешанного управления системой (11) - (13) в случае компромиссного функционала стоимости 1 N1 NJ(w, u, v) = w - w 2 + u - 2 + v - H1(0,T ;H2()) H1(0,T ;L2()) H2() 2 2 и задачи жесткого управления с терминальным функционалом J(w) = w(T ) - w 2 inf. (14) H2() Рассмотрению начально-краевой задачи для уравнения Дзекцера (-)wt(x, t) = w(x, t)-2w(x, t)+u(x, t), (x, t) (0, T ), (15) w(x, t) = w(x, t) = 0, (x, t) (0, T ), (16) n n w(x, 0) = v(x), x , (17) посвящен третий параграф главы. Показано, что при редукции к задаче (1), (2) получается уравнение с сильно (L, 0)-секториальным оператором M, если , R, > 0, = 0, = /. В следующем параграфе исследованы задача смешанного управления системой (15) - (17) в случае функционала 1 N1 NJ1(w, u, v) = w - w 2 + u - 2 + v - H1(0,T ;H2()) L2(0,T ;L2()) H2() 2 2 и задачи жесткого управления для функционалов J2(w) = w(T ) - w1, H2() J3(w) = w - w 2.
H1(0,T ;H2()) В пятом параграфе исследуется задача оптимального управления решениями начально-краевых задач для дифференциального уравнения с многочленами от эллиптических дифференциальных по пространственным переменным операторов высокого порядка. В данном параграфе показано, что рассматриваемая начально-краевая задача для нее редуцируется к абстрактной задаче Коши с сильно (L, 0)-радиальным оператором.
К задаче для уравнения (1) с условием Шоуолтера (5) сводится рассмотренная в шестом параграфе начально-краевая задача z(x, t) = z(x, t) - (x, t) + u1(x, t), (x, t) (0, T ), (18) t (x, t) + ( - 1)(x, t) + z(x, t) + u2(x, t) = 0, (x, t) (0, T ), (19) z(x, t) = (x, t) = 0, (x, t) (0, T ), (20) n n z(x, 0) = v(x), x , (21) для уравнений фазового поля с нулевым временем релаксации. Доказана разрешимость задач смешанного оптимального управления системой (18) - (21) c функционалом со слабой нормой функции состояния 1 J(z, , u, w, v) = z - z 2 + - 2 + L2(0,T ;L2()) L2(0,T ;L2()) 2 N1 N1 N+ u1 - 1 2 + u2 - 2 2 + v - H1(0,T ;L2()) H1(0,T ;L2()) H2() 2 2 и задача жесткого управления 1 J(z, ) = z - z 2 + - 2 inf. (22) L2(0,T ;L2()) L2(0,T ;L2()) 2 В седьмом параграфе начально-краевая задача для линеаризованной cистемы уравнений Буссинеска z(x, t) = z(x, t) - r(x, t) - (x, t)e3 + u1(x, t), (x, t) (0, T ), t z(x, t) = 0, (x, t) (0, T ), (x, t) = (x, t) + z3(x, t) + u2(x, t), (x, t) (0, T ), t z(x, t) = 0, (x, t) = 0, (x, t) (0, T ), z(x, 0) = v1(x), r(x, 0) = v2(x), (x, 0) = v3(x), x , редуцируется к задаче Коши с (L, 0)-секториальным оператором при R, , > 0. Далее приведены условия разрешимости задачи жесткого смешанного управления для системы Буссинеска с функционалом 1 1 J(z, r, )= z - z0 2 + r - r0 2 + - 0 2.
H1(0,T ;L2) H1(0,T ;L2) H1(0,T ;L2()) 2 2 Здесь L2 = (L2())3. Существование единственного решения следует из ограниченности множества допустимых управлений и инъективности оператора B.
Выводу необходимых и достаточных условий оптимальности в рассматриваемых задачах посвящена четвертая глава. В первом параграфе главы для задачи жесткого управления системой, описываемой уравнением переходных процессов в полупроводнике, с терминальным функционалом получена сопряженная задача ( - )t (x, t) = -1(x, t), (x, t) (0, T ), (23) 1(x, t) = 0, (x, t) (0, T ), (24) ( - )1(x, T ) = -w(x, T ) + w(x), x , (25) ( - )1(x, 0) = 2(x), x , (26) и показана ее однозначная разрешимость. Во втором параграфе описаны множества H(0) и Z1, соответствующие рассматриваемой задаче, и доказан критерий оптимальности. Обозначим H0() = {w H2() : w(x) = 0, x }.
Теорема 10. Пусть , = 0, U - непустое, выпуклое, замкнутое, огра ниченное множество из пространства H1(0, T ; L2()) H0(), U H(0) = , (1, 2) H1(0, T ; H0()) L2() - решение задачи (23) - (26). Тройка (, , v) Z1 H1(0, T ; L2()) H0() является решением задачи (11) - (14) в том и только в том случае, когда для всех (u, v) U выполнено неравенство T 1(x, t)(u(x, t) - (x, t))dxdt + 2(x)(v(x) - v(x))dx 0, 0 которое в случае (, v) int U превращается в равенство.
Третий параграф посвящен нахождению сопряженной задачи для задачи жесткого смешанного управления системой уравнений фазового поля с функционалом со слабой нормой функции состояния. Доказана однозначная разрешимость сопряженной задачи t (x, t) = -1(x, t) - 2(x, t) + z(x, t) - z(x, t), (27) 1(x, t) - 2(x, t) - (1 - )2(x, t) + (x, t) - (x, t) = 0, (28) 1(x, t) = 2(x, t) = 0, (x, t) (0, T ), (29) n n 1(x, T ) = 0, x , (30) 1(x, 0) = 3(x), x , (31) которая также является задачей для системы, не разрешенной относительно производной по времени, но с конечным условием типа Шоуолтера. В четвертом параграфе выведены необходимые и достаточные условия оптимальности для исследуемой задачи управления. Обозначим Aw = w, domA = H2 () = {w H2() : w(x) = 0, x } L2().
n n Теорема 11. Пусть 1 - (A), U - непустое выпуклое замкну/ тое ограниченное множество пространства H1(0, T ; L2()) H2 (), n (1, 2) H1(0, T ; L2()) L2() - решение задачи (27) - (31). Тройка (, , v) Z1H1(0, T, L2())H2 () является решением задачи (18) - n (22) в том и только в том случае, когда выполнено неравенство T T 1(x, t)(u(x, t) - (x, t))dxdt + 2(x, t)(w(x, t) - (x, t))dxdt+ 0 0 + 3(x)(v(x) - v(x))dx 0, (u, w, v) U, которое в случае (, , v) int U превращается в равенство.
Следует заметить, что результаты четвертой главы получены для абстрактных функционалов и вкупе с предлагаемым алгоритмом вывода сопряженной задачи могут быть использованы при исследовании других задач оптимального управления для уравнений и систем уравнений в частных производных, не разрешенных относительно производной.
Результаты, выносимые на защиту
:
I. Теоремы существования и единственности решения задач смешанного оптимального управления с различными функционалами стоимости для систем, описываемых линейным уравнением первого порядка в гильбертовом пространстве с вырожденным оператором при производной и с условием Коши или Шоуолтера.
II. Теоремы существования и единственности решения задач смешанного управления для уравнения с многочленами от эллиптических самосопряженных операторов высокого порядка, уравнения, описывающего переходные процессы в полупроводнике, уравнения Дзекцера свободной поверхности фильтрующейся жидкости, линеаризованной системы уравнений фазового поля, линеаризованной системы уравнений Буссинеска.
III. Необходимые и достаточные условия оптимальности для задач смешанного управления системой, описываемой уравнением переходных процессов в полупроводнике, линеаризованной системой уравнений фазового поля с нулевым временем релаксации.
Публикации автора по теме диссертации 1. Плеханова, М.В. О разрешимости задач смешанного оптимального управления линейными распределенными системами, не разрешенными относительно производной по времени / М.В. Плеханова, А.Ф. Исламова // Известия вузов. Математика. - 2011. - № 7. - С. 37-47.
2. Исламова, А.Ф. Минимизация функционалов со слабой нормой на решениях вырожденного линейного уравнения / А.Ф. Исламова // Вестник ЮУрГУ. Математическое моделирование и программирование. - 2011. - Вып. 8 - № 17 (234) - С. 37-46.
3. Плеханова, М.В. Задачи с жестким смешанным управлением для линеаризованного уравнения Буссинеска / М.В. Плеханова, А.Ф. Исламова // Дифференциальные уравнения. - 2012. - Т.48, № 4 - С. 565576.
4. Исламова, А.Ф. Задачи с жестким смешанным управлением для линейных уравнений соболевского типа / А.Ф. Исламова, М.В. Плеханова // Дифференциальные уравнения и смежные проблемы. Тр.
международ. науч. конф. - Стерлитамак, 2008. - С. 111-115.
5. Плеханова, М.В. Исследование линеаризованной системы уравнений Буссинеска методами теории вырожденных полугрупп / М.В. Плеханова, А.Ф. Исламова // Вестник ЧеГУ. Математика. Механика.
Информатика. - 2009. - Вып.11. - С. 62-70.
6. Исламова, А.Ф. Задачи с жестким смешанным управлением для линейных уравнений соболевского типа / А.Ф. Исламова // Тр. Воронежск. зимн. мат. школы. - Воронеж, 2010. - С. 69-74.
7. Плеханова, М.В. Задача со смешанным управлением для одного класса линейных уравнений соболевского типа / М.В. Плеханова, А.Ф.
Исламова // Вестник ЧеГУ. Математика. Механика. Информатика.
- 2010. - Вып. 23. - С. 49-58.
8. Исламова, А.Ф. Смешанное оптимальное управление линейными уравнениями соболевского типа / А.Ф. Исламова, М.В. Плеханова // Тез. докл. Междунар. конф. по дифференц. уравнениям и динамическим системам. - Владимир, 2008. - С. 123.
9. Исламова, А.Ф. Смешанное управление системой уравнений, описывающей переходные процессы в полупроводнике / А.Ф. Исламова // Тез. докл. Воронежск. зимн. мат. школы. - Воронеж, 2010. - С. 68.
10. Исламова, А.Ф. Жесткое смешанное управление решениями обобщенной задачи Шоуолтера для уравнения соболевского типа / А.Ф. Исламова // Физика и технические приложения волновых процессов. Тез. докл. международ. науч.-техн. конф. - Челябинск, 2010. - С. 201.
11. Исламова, А.Ф. Задача смешанного управления для уравнения Дзекцера / А.Ф. Исламова // Алгоритмический анализ неустойчивых задач. Тез. докл. Междунар. конф., посвященной памяти В.К. Иванова.
Екатеринбург: ИММ УрО РАН, 2011. - С. 235.
Подписано в печать 13.03.20Формат 60x84 1/16. Усл. печ. л. 0,93. Уч.-изд. л. 0,97.
Бумага офсетная. Тираж 120 экз. Заказ ФГБОУ ВПО ФЧелябинский государственный университетФ 454021, г. Челябинск, ул. Братьев Кашириных, 1Издательство ЧеГУ 454021, г. Челябинск, ул. Молодогвардейцев, 57 б Авторефераты по всем темам >> Авторефераты по разным специальностям