О решениях системы Гурса-Дарбу с распределенным и граничным управлениями тема диссертации и автореферата по ВАК РФ 01.01.02, кандидат физико-математических наук Погодаев, Николай Ильич

• Погодаев, Николай Ильич
• кандидат физико-математических наук
• 2009

Оглавление диссертации кандидат физико-математических наук Погодаев, Николай Ильич

Введение

1 Существование решений

1.1 Обозначения, определения и утверждения.

1.1.1 Множества и пространства.

1.1.2 Функциональные пространства.

1.1.3 Функции Каратеодори.

1.1.4 Интегральные функционалы.

1.1.5 Многозначные отображения.

1.1.6 Селекторы.

1.1.7 Многозначный оператор Немыцкого.

1.2 Дифференциальное включение.

1.2.1 Предположения.

1.2.2 Свойства операторов % и Ci.

1.2.3 Случай полунепрерывных сверху многозначных отображений

1.2.4 Построение множества К.

1.2.5 Случай полунепрерывных снизу многозначных отображений

1.2.6 Смешанный случай.

1.2.7 Существование экстремальных решений.

1.3 Управляемая система.

1.4 Комментарии.

2 Свойства решений

2.1 Постановка задачи.

2.1.1 Предположения.

2.2 Компактность.

2.3 Плотность.

2.4 Бэнг-бэнг принцип.

2.5 Примеры систем, обладающих свойством единственности

2.6 Граничность

2.7 Необходимые и достаточные условия компактности множества решений.

2.8 Примеры операторов ^.

2.9 Комментарии.

3 Задачи минимизации

3.1 Теорема существования.

3.1.1 Предположения.

3.1.2 Доказательство теоремы.

3.2 Теорема Боголюбова.

3.2.1 Предположения.

3.2.2 Формулировка и доказательство теоремы.

3.2.3 Расширение вариационных задач.

3.3 Релаксационная теорема.

3.4 Комментарии.

Введение диссертации (часть автореферата) на тему «О решениях системы Гурса-Дарбу с распределенным и граничным управлениями»

Актуальность работы

В связи с развитием современной науки, техники и технологии все чаще возникают задачи управления и оптимизации в процессах, описываемых системами дифференциальных уравнений в частных производных. В теории управления такие системы называют системами с распределенными параметрами, а управления, зависящие от нескольких независимых переменных — распределенными управлениями.

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

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

Таким образом, в настоящее время в теории управляемых систем с распределенными параметрами представляется важным

• исследовать задачи не только с распределенным, но и с граничными управлениями;

• исследовать системы с невыпуклыми ограничениями на управления и невыиуклые задачи оптимального управления.

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

В данной работе мы будем исследовать управляемую систему Дарбу, заданную на прямоугольнике П = [0, а] х [0,6], а,Ь > 0, zxy = Ci{x,y,z)zx + c2{x:y,z)zy + f(x,y,z,u) (1) с граничными условиями на характеристиках (условиями Гурса) х у z(x, 0) = Ог) + J u\t) dt, z(0, у) = <р2(у) + J u2(s) ds. (2) о о

Здесь и является распределенным, а и1 и и2 — граничными управлениями. В связи с важностью исследования невыпуклых задач, мы будем предполагать, что управления подчинены невыпуклым смешанным ограничениям, т.е. ограничениям, зависящим от текущего состояния системы z: и{х,у) 6 U{x,y,z{x,y)), и\х) 6 U^x^iz)^)), и2(у) е СЪСу.адМ), где i — 1,2, — непрерывные операторы, действующие из пространства непрерывных функций двух переменных в пространство непрерывных функций одной переменной, a U, С/г-, г = 1,2, — многозначные отображения с невыпуклыми замкнутыми значениями.

Выбор именно этой задачи был продиктован двумя причинами. Во-первых, практической значимостью системы Гурса-Дарбу, которая описывает, например, процессы хроматографии, сорбции и десорбции газов, процессы сушки и др. [58, 65, 68, 69]. Во-вторых, новизной, связанной с одновременным рассмотрением распределенного и граничных управлений, подчиненных смешанным ограничениям.

Для указанной задачи мы изучим топологические свойства множества решений (под решением понимается четверка (г, и, и1, и2)) управляемой системы, такие как компактность, плотность, граничность и др. Следует отметить, что знание этих свойств необходимо не только в теории оптимального управления, но и в других разделах теории управляемых систем, например, в теории выживаемости. Установленные свойства мы используем для изучения задачи минимизации интегрального функционала на множестве решений управляемой системы Гурса-Дарбу. При этом мы будем предполагать, что подынтегральные функции невыиуклы по управлениям. Поскольку такая задача, вообще говоря, не имеет решения, возникает вопрос о построении такого расширения [55] задачи оптимального управления, которое решение имеет.

Обзор литературы

Существует несколько эквивалентных подходов к определению обобщенного решения системы Гурса-Дарбу. Мы будем использовать подход, основанный на понятии абсолютно непрерывной функции многих переменных.

Пусть на Q = [0, а] х [0,6] задана непрерывная функция /. Любой такой функции можно поставить в соответствие некоторую аддитивную функцию промежутков, содержащихся в О. А именно, если h j = [xi,x2] х [уиу2], х2>хи у2 > У1 то положим p(j) = f(x2, Уг) - f(xi,y2) - f(x2, г/1) + /(Ж1, yi). 6

Функцию промежутков <р называют абсолютно непрерывной, если для любого е > 0 существует такое S > 0, что неравенство выполняется для любой конечной системы попарно не налегающих замкнутых промежутков , содержащихся в Q , сумма площадей которых не превосходит S. Напомним, что замкнутые промежутки называются не налегающими, если они не имеют общих внутренних точек.

Функцию / называют абсолютно непрерывной функцией двух переменных, если соответствующая ей функция промежутков ср абсолютно непрерывна и, если, кроме того, функции /(О, •) и /(-,0) — абсолютно непрерывны на [0,6] и [0, а] соответственно.

Известно [66], что любую абсолютно непрерывную функцию / двух переменных можно представить в виде х у х у у) = /(0,0)+ J g1(s) ds + J g2(t) dt + J J g(s,t)dsdt, (x,y)eSl,

0 0 0 0 где g, g1, g2 — некоторые интегрируемые функции. Исходя из этого интегрального представления, получим выражения для частных производных ее] df(x>v)=9\X) + j д(х, t) dt, д-Ы = Ау) + JbM ds dx о о и для смешанной производной второго порядка d2f{x,y) = дхду '

Некоторые авторы [23, 36, 38, 47] используют другие определения производных, которые для абсолютно непрерывных функций приводят к тем же самым выражениям.

Пространство абсолютно непрерывных функций двух переменных обычно обозначают символом АС {О) и определяют на нем норму ас(П) = max|/| + / \dxf\dxdy+ / \dyf\dxdy+ / \d2xyf\dxdy. " Jn Jo, Jci

В большинстве работ, посвященных системе Гурса-Дарбу, предполагают, что обобщенные решения принадлежат пространству AC(fl). Взаимосвязь между пространством AC(Q) и соболевским пространством для задачи Гурса-Дарбу изучена в [38].

Перечислим теперь известные результаты, касающиеся свойств управляемых систем, а также тесно связанных с ними включений Гурса-Дарбу. К настоящему времени лучше всего исследовано включение zxy е F(x, у, z) (3) с граничными условиями z(x, 0) = <pi(x), z(0, у) = <р2(у), а также: связанные с ним включения

5)

6)

Здесь F — многозначное отображение, значениями которого являются замкнутые подмножества некоторого банахова пространства, со Е — замкнутая выпуклая оболочка множества Е, ext со Е — совокупность всех крайних точек множества со Е.

При определенных предположениях о многозначном отображении F для этих включений доказано существование как обобщенных [6, 9, 24, 25, 60, 39, 44, и др.] так и классических [30, 40] решений, а также доказана теорема о непрерывной зависимости от начальных условий и от параметра [28, 35, 41]. Известно, кроме того, что множество обобщенных решений включения (5) является компактным в пространстве непрерывных функций. Показано [30, 42], что множества как обобщенных так и классических решений являются ретрактами в подходящих функциональных пространствах. Установлена взаимосвязь между множествами решений включений (3), (5) и (6). А именно: показано [45], что множества обобщенных решений включений (3) и (6) одновременно плотны и граничны в множестве обобщенных решений включения (5).

4) zxy G со F(x,y,z), zxy е ext со F(x, у, z).

Для дифференциального включения общего вида

Zxy € F{pC, У1 -Z, Zx, Zy) с граничными условиями (4), результатов значительно меньше: получены лишь теоремы существования классических и обобщенных решений [40, 50, 51, 32, 48, и др.], а также теорема о непрерывной зависимости от параметра [28, 42].

Что касается управляемых систем, здесь также много результатов относящихся к существованию решений и их непрерывной зависимости от параметра [33, 5, 20, 26, 61], и лишь несколько работ, посвященных изучению топологических свойств множеств решений. Это прежде всего статья [37], в которой рассматривалась система

Zxy = cq{x, y)z + С!(ж, y)zx + с2(х, y)zy + с3(х, у)и (7) с граничными условиями (4) и ограничением на управление ueU, (8) где U — компактное множество. Для этой системы получены теоремы существования и единственности (т.е. показано, что каждому допустимому управлению соответствует ровно одна траектория), а также доказан так называемый бэнг-бэнг принцип. Данный результат можно сформулировать следующим образом. Для любого решения (z,u) системы (7), (4), (8) найдется другое решение (z, й) такое, что управление й кусочно-постоянно, й(х, у) G ext U, п.в. на Г2. и z(a, b) = z(a, b).

Позднее, в работах [16, 21], Д. Иджак доказал аналогичные теоремы для системы (7) с управляемыми граничными условиями (2), а также для системы zxy = /О, У, z) + д(х, у, z)u с граничными условиями (4). Отметим, что бэнг-бэнг принцип в приведенной выше формулировке не имеет места для последней системы. Для нелинейных систем свойство бэнг-бэнг формулируют следующим образом: любую допустимую траекторию системы можно равномерно аппроксимировать траекториями, которые соответствуют кусочно-постоянным управлениям со значениями из множества ext U.

Среди перечисленных топологических свойств множеств решений особое место занимает теорема о плотности множества решений системы с невыпуклым ограничением на управление в множестве решений системы с овыпукленным ограничением. Именно для систем, обладающих этим свойством, можно построить расширение задачи оптимального управления. К доказательству теоремы плотности существует два подхода. Один основан на теореме А.А. Ляпунова о выпуклости и замкнутости множества значений неатомической меры в конечномерном пространстве. В другой форме эта теорема утверждает, что интеграл от измеримого многозначного отображения с невыпуклыми замкнутыми значениями и интеграл от овыпук-ленного многозначного отображения совпадают. Второй подход основан на теореме Бэра о категориях. В этом случае показывают, что множество решений включения (6) является счетным пересечением открытых и плотных подмножеств множества решений овыпуклеиого включения (5) и, следовательно, но теореме Бэра само является плотным. Мы в наших доказательствах будем использовать теоремы о непрерывных селекторах многозначных отображений с невыпуклыми разложимыми значениями [44, 45]. Доказательства этих теорем основаны на теореме Бэра. Однако применять теоремы о непрерывных селекторах для исследования топологических свойств множеств решений управляемых систем намного удобней, чем напрямую теорему Бэра.

Отметим, что система Гурса-Дарбу рассматривалась не только на прямоугольнике Q, но и на неограниченных множествах [4, 36]. Выделим также работы [8, 15], в которых изучалась система Гурса-Дарбу с импульсным управлением. Возмущенная управляемая система (дифференциальная игра) изучалась в работе [22].

Большое число статей посвящено вопросам существования решений в задаче оптимального управления распределенной системой Гурса-Дарбу [14, 18, 17, 27, 46, 52, 53, и др.]. Отметим одну общую особенность этих работ: все задачи, рассматриваемые в них, выпуклые (выпуклые ограничения на управления и выпуклые по управлению интегранты).

Невыпуклые задачи изучались ранее лишь для систем вида

Zxi, = со (ж, y)z + ci(z, y)zx + с2(х, y)zy + f(x, у, и). (9)

В работе [37] рассматривалась проблема Майера (т.е. J(z, и) = ф(г(а, b)), где ф — непрерывная функция) для этой системы с невыпуклым ограничением на управление. В статье [71] для системы (9) с граничными условиями (2), невыпуклыми ограничениями на управления и ограничениями

Vi(z) ^ Ь{, Wj(zx, zy, и, и\ к2) ^dj, (г = 1,., к, j = 1,., /) изучалась задача минимизации интегрального функционала вида

91 (х, у, z(x, у)) + д2(х, у, и(х, у)) dx dy+ + / gz{x1ul{x))dx+ / g4(y,u2(y))dy.

Jh Jh

При этом предполагалось, что функции z i—> g\(x,y,z), V{ и Wj являются вогнутыми. Отметим также работы [7, 12], в которых исследовались невыпуклые задачи минимизации интегральных функционалов специального вида на множествах решений управляемых систем ху ~ У") %ху = Vt для которых граничные условия заданы на всех четырех сторонах прямоугольника ft. Во всех этих работах для доказательства существования решений был использован подход, основанный на теореме Ляпунова для интеграла от многозначного отображения.

Как видно, существование решений доказывалось лишь для невыпуклых задач оптимального управления специального вида. Дело в том, что в невыпуклых задачах решение, как правило, не существует. В связи с этим возникает вопрос о поиске подходящего расширения невыпуклой задачи, которым для систем Гурса-Дарбу, по-видимому, никто не занимался.

Существует несколько подходов к понятию расширения вариационной задачи. Мы будем пользоваться определением, введенным А.Д. Иоффе и В.М. Тихомировым в работе [55].

JQ

Пусть на некотором метрическом пространстве V определен функционал X. Пару (V,X) называют вариационной парой, а задачу infZ(?;) ваvev риационной задачей.

Вариационную задачу inf J{vS) называют расширением вариационной w£W задачи inf X(v), если существует непрерывное отображение г: V —» W, vGV при котором

1) i(V) плотно в W;

2) J(i(v)) < X(v) для всех v <Е V;

3) для любого w € W существует последовательность vn G V такая, что lim i(vn) = w и lim X(vn) = J{w).

71—t-OO n—> oo

Первым исследованием, относящимся к расширению вариационных задач, была работа Н.Н. Боголюбова [3], в которой в нашей терминологии доказана следующая теорема. Пусть

У = МО е С1^, fi] | v(to) = v0, vfa) = VJ, h J g(t,v(t),v(t))dt, to где C^o^i] — пространство непрерывно дифференцируемых функций v: —> Rn, д: х Mn х Rn —> R — непрерывное отображение.

Расширением задачи inf X{v) будет задача inf J{w), в которой v£V w€W

W = (w(-) e AC°°[t0} t,} I w(t0) = v0, w(h) = h

J(w) = J g**(t, w(t), w{t)) dt, to где AC°°[to,ti] — пространство абсолютно непрерывных функций w: [^Oj^i] —> Rn с измеримыми существенно ограниченными производными, д** — биполяра отображения £ н-»■ g(t,v,£).

Позднее С.И. Суслов [67] построил расширение задачи inf X(v), в котоvev рой V являлось множеством решений включения v е F(t,v), v(t0) = v0, vfa) = vu где F: [io^i] x Rn —> Rn — непрерывное no Хаусдорфу многозначное отображение, значениями которого являются строго выпуклые компактные подмножества Rn с непустой внутренностью. В работе [11] требование выпуклости было снято. Расширение было также построено для задачи минимизации интегрального функционала на множестве решений эволюционной управляемой системы [72, 43].

Цель работы

Целью работы является изучение топологических свойств множеств решений управляемой системы, описываемой уравнением Гурса-Дарбу с распределенным и граничными управлениями, подчиненными смешанным ограничениям. Использование этих свойств для изучения вопроса существования решения в невыпуклой задаче оптимального управления системой Гурса-Дарбу. Построение такого расширения невыпуклой задачи оптимального управления, которое имеет решение.

Структура и объем работы

Данная работа состоит из введения, трех глав, заключения и списка литературы.

Первая глава посвящена вопросам существования решений включений и управляемых систем типа Гурса-Дарбу. В первом параграфе вводятся необходимые обозначения, определения, а также приводятся теоремы многозначного анализа, которые используются затем в работе. Во втором параграфе изучаются вопросы существования решений включения Гурса-Дарбу для случая полунепрерывных сверху, полунепрерывных снизу, а также непрерывных по Хаусдорфу многозначных отображений. В третьем параграфе доказываются теоремы существования для управляемой системы Гурса-Дарбу.

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

В третьей главе рассматривается задача оптимального управления системой Гурса-Дарбу. В первом параграфе приводятся условия, при которых задача минимизации интегрального функционала с невыпуклым по распределенному управлению интегрантом на множестве решений управляемой системы Гурса-Дарбу имеет решение. Во втором параграфе доказан аналог теоремы Боголюбова (о расширении) для системы Гурса-Дарбу. В третьем параграфе доказана теорема о релаксации.

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

Методы исследования

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

Научная новизна

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

Новой является сама постановка задачи, поскольку управляемые системы Гурса-Дарбу с распределенным и граничными управлениями, подчиненными смешанным ограничениям, рассматриваются впервые.

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

Необходимые и достаточные условия замкнутости множества решений системы с невыпуклыми ограничениями на управления, а также аналог теоремы Боголюбова (о расширении) для невыпуклой задачи оптимального управления ранее не рассматривались для систем Гурса-Дарбу и доказаны впервые.

Теоретическая и практическая значимость работы

Результаты данной работы являются важным вкладом в качественную теорию управляемых систем с распределенными параметрами и могут быть использованы при исследовании и оптимизации широкого класса реальных физических, химических и технологических процессов, описываемых управляемой системой Гурса-Дарбу.

Основные результаты диссертации, выносимые на защиту

1. Теоремы о существовании решений управляемой системы Гурса-Дарбу с распределенным и граничными управлениями, подчиненными смешанным ограничениям. Теорема о компактности множества решений системы Гурса-Дарбу с выпуклыми ограничениями на управления.

2. Теорема о плотности множества решений системы Гурса-Дарбу с невыпуклыми ограничениями на управления в множестве решений системы с овыпукленными ограничениями. Теорема о бэнг-бэнг принципе для системы Гурса-Дарбу с постоянными ограничениями.

3. Теоремы о граничности, а также необходимые и достаточные условия замкнутости множеств решений системы с невыпуклыми ограничениями, доказанные для частных случаев рассматриваемой нами задачи.

4. Теорема о существовании решения в задаче минимизации интегрального функционала с невыпуклым по распределенному управлению ин-тегрантом на множестве решений управляемой системы Гурса-Дарбу. Теорема о расширении невыпуклой задачи оптимального управление системой Гурса-Дарбу. Теорема о существовании решения в расширенной задаче оптимального управления.

В целом в диссертационной работе методы теории непрерывных селекторов многозначных отображений с невыпуклыми разложимыми значениями используются для изучения качественных свойств множеств решений управляемой системы Гурса-Дарбу. Основываясь па полученных свойствах, мы строим расширение невыпуклой задачи оптимального управления и доказываем существование решения в расширенной задаче.

Апробация работы

Результаты, излагаемые в диссертации, докладывались на следующих конференциях:

• Научная конференция "Теория управления pi математическое моделирование", посвященная 75-летию Удмуртского государственного университета (3-8 июля 2006 г., Ижевск).

• Конференция ИДСТУ СО РАН "Ляпуновские чтения и презентация информационных технолога" (14-15 декабря 2006 г., Иркутск).

• Международная конференция "Дифференциальные уравнения, теория функций и приложения", посвященная 100-летию со дня рождения академика И.Н. Векуа (28 мая - 2 июня 2007 г., Новосибирск).

• Конференция ИДСТУ СО РАН "Ляпуновские чтения и презентация информационных технологи" (ноябрь 2007 г., Иркутск).

• Международная конференция "Дифференциальные уравнения и топология", посвященная 100-летию со дня рождения JI.C. Понтрягина (17-22 июня 2008 г., Москва).

• Школа-семинар «Нелинейный анализ и экстремальные задачи» (23-30 июля, 2008, Иркутск).

• Конференция ИДСТУ СО РАН "Ляпуновские чтения и презентация информационных технологи" (декабрь 2008 г., Иркутск).

Результаты диссертации неоднократно обсуждались на семинарах Института динамики систем и теории управления СО РАН.

Публикации

По материалам диссертации опубликованы следующие работы.

1. Погодаев Н.И. О решениях задачи Гурса-Дарбу с граничными и распределенными управлениями / Н.И. Погодаев // Дифференциальные уравнения. - 2007. - Т. 43, №8. - С. 1116-1126.

2. Погодаев Н.И. О свойствах решений задачи Гурса-Дарбу с граничными и распределенными управлениями / Н.И. Погодаев // Сибирский математический журнал. — 2007. — Т. 48, №5. — С. 1116-1133.

3. Погодаев Н.И. О решениях включения типа Гурса-Дарбу со смешанными ограничениями на граничные и распределенные управления / Н.И. Погодаев // Сибирский журнал индустриальной математики. — 2008. - Т. 11, №1. - С. 96-110.

4. Погодаев Н.И. О решениях задачи Гурса-Дарбу с граничными и распределенными управлениями // Известия института математики и информатики, выпуск 3 (37), с. 125-126, Ижевск, 2006.

5. Погодаев Н.И. Об одном классе управляемых систем типа Гурса-Дарбу // Материалы конференции «Ляпуновские чтения и презентация информационных технологий» (14-15 декабря 2006 г., Иркутск), с. 43.

6. Погодаев Н.И. Свойства экстремальных решений управляемой системы типа Гурса-Дарбу // Тезисы докладов Международной конференции «Дифференциальные уравнения, теория функций и приложения» (28 мая - 2 июня 2007 г., Новосибирск), с. 250-251.

7. Погодаев Н.И. Релаксация в задаче оптимального управления для системы типа Гурса-Дарбу // Материалы конференции «Ляпуновские чтения и презентация информационных технологий» (ноябрь 2007 г., Иркутск), с. 34.

8. Погодаев Н.И. Релаксация в управляемой системе типа Гурса-Дарбу // Тезисы докладов международной конференции «Дифференциальные уравнения и топология» (17-22 июня 2008 г., Москва), с. 387-388.

9. Погодаев Н.И. Расширение задачи оптимального управления для системы типа Гурса-Дарбу // Тезисы докладов школы-семинара «Нелинейный анализ и экстремальные задачи» (23-30 июня 2008 г., Иркутск), с. 51

10. Погодаев Н.И. Существование решений в задаче оптимального управления для системы Гурса-Дарбу // Материалы конференции «Ляпуновские чтения и презентация информационных технологий» (декабрь 2008 г., Иркутск), с. 32.

Заключение диссертации по теме «Дифференциальные уравнения», Погодаев, Николай Ильич

ЗАКЛЮЧЕНИЕ

В работе получены следующие основные результаты.

1. Доказаны теоремы о существовании решений управляемой системы Гурса-Дарбу с распределенным и граничными управлениями, подчиненными смешанным ограничениям, представляющими собой многозначные отображения. Показано, что множество решений системы Гурса-Дарбу с выпуклыми ограничениями на управления является компактным подмножеством некоторого топологического пространства.

2. Для системы со смешанными ограничениями на управление введено понятие свойства единственности, которое является обобщением свойства единственности (каждому допустимому управлению соответствует единственная траектория) для систем с постоянными ограничениями. Доказана теорема о плотности множества решений управляемой системы Гурса-Дарбу с невыпуклыми ограничениями на распределенное и граничные управления в множестве решений системы с овыпук-ленными ограничениями. Для системы Гурса-Дарбу с постоянными ограничениями установлен бэнг-бэнг принцип.

3. Для частных случаев рассматриваемой системы доказаны теоремы о граничности, а также получены необходимые и достаточные условия замкнутости множеств решений систем с невыпуклыми ограничениями.

4. Найдены условия, при которых существует решение в задаче минимизации интегрального функционала с невыпуклым по распределенному управлению интегрантом на множестве решений управляемой системы Гурса-Дарбу. Построено расширение для невыпуклой задачи оптимального управление системой Гурса-Дарбу. Показано, что расширенная задача имеет решение.

Список литературы диссертационного исследования кандидат физико-математических наук Погодаев, Николай Ильич, 2009 год

1. Aubin, J.-P. Differential 1.clusions / J.-P. Aubin, A. Celina. — Springer-Verlag, 1984.

2. Balder, E. Necessary and sufficient conditions for L\ -strong-weak lower semicontinuity of integral functionals / E. Balder // Nonlinear Analysis. Theoty, Methods, and Applications. — 1987. — Vol. 11, no. 12. — Pp. 13991404.

3. Bogolyubov, N. Sur quelques method nouvelles dans le calculus des variations / N. Bogolyubov // Ann. Math. Рига Appl, ser. Jh — 1930.— Vol. 7.-Pp. 249-271.

4. Bogusz, D. Helly's princile and its application to an infinite-horizon optimal control problem / D. Bogusz //J. Optim. Theory Appl. — 2007. — Vol. 134. Pp. 371-383.

5. Borzymjwski, A. Goursat-type problems containing the normal derivatives of the unknown functions / A. Borzymjwski, M. Shaieb // Demonstrato Mathematica. 1997. — Vol. XXX, no. 4. - Pp. 869-882.

6. Bressan, A. On a non-convex hyperbolic differential inclusion / A. Bressan, F. Flores // Ref. S.I.S.S.A. 1992. - Vol. 77.-Pp. 1-17.

7. Bressan, A. Multivariable auman integrals and controlled wave equations / A. Bressan, F. Flores // J. of Math. Anal, and Appl. — 1995. — Vol. 189. — Pp. 315-334.

8. Chang, Y. -K. On impulsive hyperbolic differential inclusions with nonlocal initial conditions / Y.-K. Chang, J. Nieto, W.-S. Li // J. Optim. Theory Appl. 2009. - Vol. 140. - Pp. 431-442.

9. Dawidowski, M. On bounded solutuions of hyperbolic differential inclusion in Banach spaces / M. Dawidowski, I. Kubiaczyk // Demonstrate Mathematica. 1992. - Vol. XXV, no. 1-2. — Pp. 153-159.

10. De Blast, F. On the structure of the set of solutions of the Darboux problem for hyperbolic equations / F. De Blasi, J. Myjak // Proc. of the Edinburgh Math. Society. 1986. - Vol. 29. - Pp. 7-14.

11. De Blasi, F. A Bogolyubov-type theorem with nonconvex constraints in Banach spaces / F. De Blasi, G. Pianigiani, A. Tolstonogov // SIAM Journal on Control and Optimization. — 2004. — Vol. 43, no. 2. — Pp. 466476.

12. Flores-Bazan, F. Nonconvex variational problems related to a hyperbolic equation / F. Flores-Bazan, S. Perrotta // SIAM J. Control Optom. — 1999. Vol. 37, no. 6. - Pp. 1751-1766.

13. Himmelberg, C. Measurable relations / C. Himmelberg // Fund. Math. — 1975. Vol. 87, no. 1. - Pp. 53-71.

14. Idczak, D. Nonlinear Goursat-Darboux problem and its optimization / D. Idczak // Nonlinear Vibration Problems. — 1993. — Vol. 25. — Pp. 143157.

15. Idczak, D. Distributional derivatives of functions of two variables of finit variation and their application to an impulsive hyperbolic equation / D. Idczak // Czechoslovak Math. J. 1998. - Vol. 48, no. 123. — Pp. 145171.

16. Idczak, D. Bang-bang principle for linear and non-linear Goursat-Darboux problems / D. Idczak // Int. J. Control— 2003,— Vol. 76, no. 11.— Pp. 1089-1094.

17. Idczak, D. Stability analysis of solutions to an optimal control problem associated with a Goursat-Darboux problem / D. Idczak, M. Majewski, S. Walczak // Int. J. Appl. Math. Comput. Sci. — 2003. Vol. 13, no. 1. -Pp. 29-44.

18. Idczak, D. On Helly's theorem for functions of several variables and its applications to variational problems / D. Idczak, S. Walczak // Optimization. 1994. — Vol. 30. — Pp. 331-343.

19. Idczak, D. On the existence of the Caratheodory solutions for some boundary value problems / D. Idczak, S. Walczak // Rocky Mountain J. of Math. 1994.-Vol. 24, no. l.-Pp. 115-127.

20. Idczak, D. On the existence of a solution for some distributed control hyperbolic system / D. Idczak, S. Walczak // Int. J. Math. & Math. Sci. — 2000.-Vol. 23, no. 5.—Pp. 297-311.

21. Idczak, D. On some properties of Goursat-Darboux systems with distributed and boundary controls / D. Idczak, S. Walczak // Int. J. Control. 2004. - Vol. 77, no. 9. - Pp. 837-846.

22. Jank, G. Desturbance attenuation in hyperbolic 2d-systems / G. Jank // Multidim. Syst. Sign. Process. — 2006. — Vol. 17. — Pp. 257-270.

23. Kisynski, J. Solutions generalees du probleme de Cauchy-Darboux pour l'equation d2z/dxdy — f(x, y, z: dz/dx, dz/dy) / J. Kisynski // Annales Universitatis Mariae Curie-Sklodowska. — I960.— Vol. XIV, no. 6.— Pp. 87-109.

24. Kubiaczyk, I. Existence theorem for hyperbolic equation in Banach spaces / I. Kubiaczyk // Functiones et Approximatio.— 1988.— Vol. XVI.— Pp. 207-215.

25. Kubiaczyk, I. Existence theorem for multivalued hyperbolic equation in Banach spaces / I. Kubiaczyk // Functiones et Approximatio. — 1988. — Vol. XVI. — Pp. 217-223.

26. Kubiaczyk, I. On the existence of weak solutions of the Darboux problem for the hyperbolic partial differential equations in Banach spaces / I. Kubiaczyk, N. Mustafa Ali // Fasciculi Mathematici. — 1998. — no. 28. — Pp. 93-99.

27. Majewski, M. On the existence of optimal solutions to an optimal control problem / M. Majewski // J. of Optimization Theory and Appl. — 2006. — Vol. 128, no. 3.- Pp. 635-651.

28. Marano, S. Generalized solutions of partial differential inclusions depending on a parameter / S. Marano // Rend. Accad. Naz. Sci. XL, Mem. Mat. 1989. - Vol. XIII, no. 18. - Pp. 281-295.

29. Marano, S. Controllability of partial differential inclusions depending on a parameter and distributed parameter control processes / S. Marano // Le Matematiche. 1990. — Vol. XLV, no. II. — Pp. 283-300.

30. Marano, S. Classical solutions of partial differential inclusions in Banach spaces / S. Marano // Applicable Analysis. — 1991.— Vol. 42,— Pp. 127143.

31. Plis, A. Trajectories and quasitrajectories of an orientor field / A. Plis // Bull. Acad. Polon. Sci., Ser. Math. — 1963.— Vol. 11, no. 6,— Pp. 369370.

32. Rzepecki, B. The Darboux problem for hyperbolic partial differential equation in Banach spaces / B. Rzepecki // Descussiones Mathematicae. — 1988. Vol. IX. - Pp. 175-180.

33. Sosulski, W. Continuous dependence of a solution set for generalized differential equations of the hyperbolic type / W. Sosulski // Discussiones Mathematicae. 1983. - Vol. VI. - Pp. 149-152.

34. Sosulski, W. On neutral partial functional-differential inclusion of hyperbolic type / W. Sosulski // Demonstratio Mathematica. — 1990.— Vol. XXIII, no. 4. Pp. 893-909.

35. Staicu, V. On a non-convex hyperbolic differential inclusion / V. Staicu // Proc. of the Edinburgh Math. Soc. 1992. - Vol. 35. - Pp. 375-382.

36. Sturiale, G. Un problema di Darboux in un insieme non limitato. Esistcnza, unicita e dipendenza continua della solutione / G. Sturiale // Le Matematiche. — 1998. Vol. bill, no. II. - Pp. 359-373.

37. Suryanarayana, M. Existence theorems for optimization problems concerning linear, hypcrbolic partial differetial equations without convexity conditions / M. Suryanarayana // Rocky Mountain J. of Math. — 1976.— Vol. 19, no. l.-Pp. 47-61.

38. Suryanarayana, M. A Sobolev space and a Darboux problem / M. Suryanarayana // Pacific J. of Math.— 1977,— Vol. 69, no. 2.— Pp. 535-550.

39. Teodoru, G. The Goursat problem associated with a lipschitzian hiperbolic multivalued equation / G. Teodoru // Mathematica — Revue d'Analyse Numerique Et de Theorie de VApproximation.— 1990.— Vol. 32(55), no. l.-Pp. 81-87.

40. Teodoru, G. Classical solutions of the Darboux problem for partial functional-differential inclusions in Banach space / G. Teodoru // Studia Univ. Babes-Bloyai, Mathematica. — 1994. — Vol. XXXIX, no. 2. — Pp. 5168.

41. Teodoru, G. Continuous dependence of parameter of the solutions for differential hyperbolic inclusions / G. Teodoru, V. Dragan // Mem. Sec. Sti. Acad. Rom. Ser. IV. 1998. - Vol. 19. - Pp. 99-107.

42. Tolstonogov, A. Continuous selectors of fixed point set of multifunctions with decomposable values / A. Tolstonogov // Set- Valued Analysis. — 1998. Vol. 6. - Pp. 129-147.

43. Tolstonogov, A. Relaxation in nonconvex optimal control problems with subdifferential operators / A. Tolstonogov // Journal of Mathematical Sciences. — 2007. Vol. 140, no. 6. - Pp. 850-872.

44. Tolstonogov, A. Lp-continuous extreme selectors of multifunctions with decomposable values: existence theorems / A. Tolstonogov, D. Tolstonogov 11 Set-Valued Analysis. — 1996. Vol. 4, no. 2. - Pp. 173203.

45. Tolstonogov, A. Lp-continuous extreme selectors of multifunctions with decomposable values: relaxation theorems / A. Tolstonogov,

46. D. Tolstonogov // Set-Valued Analysis. — 1996. — Vol. 4, no. 3. — Pp. 237269.

47. Tuan, H. On solution sets of nonconvex Darboux problems and applications to optimal control with endpoint constraints / H. Tuan // J. Austral. Math. Soc. Ser. B. 1996.- Vol. 37, no. 3. —Pp. 354-391.

48. Walczak, S. Absolutely continuous functions of several variables and their application to differential equations / S. Walczak // Bulletin of the Polish Academy of Sciences. Math. — 1987, —Vol. 35, no. 11-12, —Pp. 733-744.

49. Wojtowicz, D. On the implicit Darboux problem in Banach spaces / D. Wojtowicz // Bull. Austral. Math. Soc. 1997, — Vol. 56.— Pp. 149156.

50. Введение в теорию многозначных отображений и дифференциальных включений / Ю. Борисович, Б. Гельман, А. Мышкис, В. Обуховский. — М.: КомКнига, 2005.

51. Витюк, А. О существовании решений одного класса многозначных дифференциальных уравнений с частными производными / А. Витюк // Укр. мат. журп. — 1990. — Т. 42, № 11. — С. 1454-1460.

52. Витюк, А. О решениях гиперболических дифференциальных включений с невыпуклой правой частью / А. Витюк // Укр. мат. журн. — 1995. Т. 47, № 4. - С. 531-534.

53. Данилова, О. Существования оптимального управления в задаче Гурса: нетрадиционный критерий / О. Данилова, А. Матвеев // Деп. в ВИНИТИ. 1996. - № 224-В96.

54. Данилова, О. Нетрадиционные условия существования оптимального управления для системы Гурса-Дарбу / О. Данилова, А. Матвеев // Изв. РАН Сер. матем. — 1998. Т. 65, № 5. - С. 79-102.

55. Данфорд, Н. Линейные операторы / Н. Данфорд, Д. Шварц.— М.: Изд-во иностр. лит., 1962.

56. Иоффе, А. Расширение вариационных задач / А. Иоффе, В. Тихомиров // Труды Московского математического общества. — 1968. — Т. 18.-С. 187-246.

57. Иоффе, А. Теория экстремальных задач / А. Иоффе, В. Тихомиров. — М.: Наука, 1974.

58. Кутателадзе, С. Основы функционального анализа / С. Кутателад-зе.— Новосибирск: Издательство института математики, 2006.

59. Лыков, А. Явление переноса в капиллярно-пористых телах / А. Лыков. -М.: ГИТТЛ, 1954.

60. Обен, Ж.-П. Прикладной нелинейный анализ / Ж.-П. Обен, И. Эк-ланд, — М.: Мир, 1988.

61. Плотников, В. Дифференциальные уравнения с многозначной правой частью. Асимптотические методы / В. Плотников, А. Плотников, А. Витюк. — Одесса: АстроПринт, 1999.

62. Плотников, В. Проблемы устойчивости нелинейных систем Гурса-Дарбу / В. Плотников, В. Сумин // Дифференциальные уравнения,— 1972. Т. VIII, 5. - С. 845-856.

63. Погодаев, Н. О решениях задачи Гурса-Дарбу с граничными и распределенными управлениями / Н. Погодаев // Дифференциальные уравнения. 2007. - Т. 43, № 8. - С. 1116-1126.

64. Погодаев, П. О свойствах решений задачи Гурса-Дарбу с граничными и распределенными управлениями / Н. Погодаев // Сибирский математический журнал.— 2007. — Т. 48, № 5, — С. 1116-1133.

65. Погодаев, П. О решениях включения типа Гурса-Дарбу со смешанными ограничениями на граничные и распределенные управления / Н. Погодаев // Сибирский журнал индустриалыюй математики. — 2008. — Т. И, № 1. — С. 96-110.

66. Рачинский, В. Введение в общую теорию динамики сорбции и хромо-тографии / В. Рачинский. — М.: Наука, 1964.

67. Смирнов, В. Курс высшей математики / В. Смирнов.— М.: Государственное издательство физико-математической литературы, 1959. —

68. Суслов, С. Теорема Боголюбова с ограничением в виде дифференциального включения / С. Суслов // Сибирский Математический Журнал. 1994. - Т. 35, № 4. - С. 902-914.

69. Тихонов, А. Поглащение газа из тока воздуха слоем зернистого материала / А. Тихонов, А. Жуковицкий, Я. Забежинский // Журнал Физической Химии. — 1946. — Т. 20, № 10. — С. 1113-1126.

70. Тихонов, А. Уравнения математической физики / А. Тихонов, А. Самарский. — М.: Наука, 2004.

71. Толстоногое, А. К теореме Скорца-Драгони для многозначных отображений с переменной областью определения / А. Толстоногов // Мат. заметки. 1990. - Т. 48, № 5. - С. 109-120.

72. Толстоногое, А. Теорема существования оптимального управления в задаче Гурса-Дарбу без предположений выпуклости / А. Толстоногов // Изв. РАН. Сер. матем. — 2000. — Т. 64, № 4,- С. 163-182.

73. Толстоногов, А. Теорема Боголюбова при ограничениях, порожденных эволюционной управляемой системой второго порядка / А. Толстоногов // Изв. РАН. Сер. матем. 2003. - Т. 67, № 5. - С. 177-206.

74. Филатов, А. Интегральные неравенства и теория нелинейных колебаний / А. Филатов, JI. Шарова. — Москва, 1976.

75. Хартман, Ф. Обыкновенные дифференциальные уравнения / Ф. Хартман. — М.: Мир, 1970.

76. Шварц, Л. Анализ / Л. Шварц, М.: Мир., 1972, —Т. 1.

77. Эдварде, Р. Функциональный анализ / Р. Эдварде.— М.: Мир, 1969.

78. Экланд, И. Выпуклый анализ и вариационные проблемы / И. Экланд, Р. Темам. — М.: Мир, 1979.1. Т. 5.