Математическая теория оптимального управления (как важная составная часть современной теории экстремальных задач) возникла во второй половине 50-х годов. Центральным достижением современной теории оптимального управления, занимающейся неклассическими задачами (т.е. задачами минимизации функционалов в случае, когда точка минимума находится на границе рассматриваемой области) является принцип максимума Понтрягина.
Принцип максимума, сформулированный Л. С. Понтрягиным, был установлен вначале для линейных систем обыкновенных дифференциальных уравнений (ОДУ) Гамкрелидзе Р. В. /24/.
Доказательство принципа максимума для нелинейных систем, как и ряд дальнейших результатов об оптимальных процессах /II/ в общем нелинейном случае, принадлежит Болтянскому В. Г. /9/.
Первоначальный набросок теории оптимального управления был изложен в /8/ и в обзорной статье Понтрягина Л. С. /58/, затем теория оптимального управления для ОДУ составила содержание основополагающей монографии /60/, давшей толчок бурному развитию всего направления исследований, связанных с экстремальными задачами.
Завершенная теория линейных систем была разработана Кра-совским H.H. /43/.
Исследования по необходимым условиям экстремума в последние годы связаны в основном со следующими направлениями:
— разработка абстрактных вариантов теорий принципа максимума и их применение к разным задачам;
— получение необходимых условий экстремума высших порядков, их приложение к дифференциальным уравнениям разных типов;
— дальнейшее распространение теорий и методов оптимального управления на задачи: с ОДУ в бесконечномерных пространствахс дифференциальными уравнениями в частных производных (ДУЧП) — с интегро-дифференциальными уравнениями (ИДУ) — со стохастическими дифференциальными уравнениями (СДУ) и т. д.
Остановимся на этих направлениях чуть подробнее.
Одни из первых теорий первого направления, охватывающие разные типы конкретных ситуаций, были построены в работах Гам-крелидзе Р.В. и Харатишвили Г. Л. /89/, /25/, Neustadt l.w. и Haikin н. /94/, /95/, /91/ (см. также /II/, /40/, /64/).
Весьма общий метод получения необходимых условий экстремума был развит в работах Дубовицкого А. Я. и Милютина A.A. /33/, /36/. С помощью этого единого функционально-аналитического подхода в книге Гирсанова И. В. /27/ выводятся необходимые условия экстремума для ряда задач — от принципа максимума Понт-рягина в теории оптимального управления до теории двойственности в линейном программировании. Построению абстрактной теории принципа максимума для задач со смешанными ограничениями была посвящена статья /37/. Она ориентирована на применение к задачам оптимального управления достаточно общего вида, возникающих при исследовании ряда сложных экономических проблем.
Исследования такого же абстрактного и общего характера отражены в работах Якубовича В. А. /82/, /83/, /84/. В них был предложен новый вариант абстрактной теории принципа максимума, а в /52/ была показана плодотворность таких теорий на примере задач из оптимального управления с ДУЧП (см. также /53/).
Путем введения новых способов локальной аппроксимации множеств конусами, а нелинейных отображений — линейными и сублинейными, работе Сухинина М.Ш./71/ получен принцип Лагранжа для достаточно широкого класса задач в топологических векторных пространствах, позволяющий в то же время охватить некото- • ' рые, не дифференцируемые по Фреше или по Гато ни в одной точке, отображения и, таким образом, в случае банаховых пространств не сводящийся к обычному принципу Лагранжа (а строго обобщающий его) (см. также /69/, /7/).
По-видимому, одними из первых работ, в которых предлагалась общая схема для получения необходимых условий высших порядков в неклассических задачах, были /34/, /35/ (см. /45/).
Работы, посвященные условиям высших порядков, среди которых отметим здесь работы Kelley H.J., Kopp R.E., Moyer H.G. /92/, Габасова Р. и Кирилловой Ф. М. /20/, /22/ (см. /19/), Аграчева A.A. и Гамкрелидзе Р. В. /3/ - /5/, Krener a.j. /93/ восходят к принципу максимума Понтрягина. Аналогично игольчатым вариациям Понтрягина, вариациям первого порядка, вводятся игольчатые вариации высших порядков, так называемые пакеты вариаций, и множеству пакетов вариаций данного порядка соответствует необходимое условие — принцип максимума данного порядка, который доказывается аналогичено принципу максимума Понтрягина.
Отметим еще результаты, полученные в /54/. Они относятся к общей теории условий экстремума высших порядков. С их помощью выводится квадратичное необходимое условие слабого экстремума для гладких задач оптимального управления, не содержащих локальных ограничений типа неравенства.
Большое значение имеют приложения методов и теории экстремальных задач к оптимальному управлению системами, описываемыми дифференциальными уравнениями разного типа: ОДУ, ДУЧП, ИДУ, СДУ и др. По этим вопросам имеется огромная литература.
Особенно хорошо изучены задачи оптимального управления с ОДУ как в конечномерных, так и в бесконечномерных пространствах (см. /60/, /43/, /25/, /40/, /26/, /6/, /10/, /46/, /17/, /21/, /18/, /77/, /38/-.
Многие вопросы оптимальных проблем с ДУЧП получили подробное освещение в монографиях Лионса Ж.-Л. /47/, Бутковско-го А.Г. /13/, /14/ (см. /15/) и Лурье К. А, /49/ (см. также /38/). Центральной задачей в этих работах является распространение необходимых условий типа принципа максимума Понтрягина на оптимальные задачи с ДУЧП.
Общий метод, направленный в основном на задачи с частными производными, был предложен в работе Плотникова В. И. /57/. .
В /23/ получены другие результаты по необходимым условиям оптимальности второго порядка для систем ДУЧП (см. также /52/).
Теория и методы решения минимизации в конечномерных пространствах, принцип максимума и динамическое программирование в задачах оптимального управления процессами, описываемыми ОДУ, а также бесконечномерные экстремальные задачи хорошо изложены, например, в монографиях Васильева Ф. П. /17/, /18/.
Численным методам в экстремальных задачах посвящены монографии /17/, /18/, /55/, /61/ и др.
Распространению необходимых условий оптимальности управления на задачи с запаздыванием посвящены работы /73/, /16/, /76/, /56/ и др.
С задачами оптимального управления с СДУ можно ознакомиться, например, в работе /75/.
Важным математическим аппаратом в теории экстремальных задач является выпуклый анализ. К настоящему времени наиболее полно изучены задачи минимизации выпуклых и гладких функций, а также минимаксные задачи /28/.
Достаточно полное изложение конечномерного выпуклого анализа и его применения в задачах на экстремум имеется в книге Рокафеллара /66/.
С бесконечномерным выпуклым анализом и его приложением к экстремальным задачам можно ознакомиться, например, в работах Иоффе А. Д. и Тихомирова B.C. /40/, Алексеева В. М., Тихомирова В. M. и Фомина C.B. /6/, Пшеничного Б. Н. /63/, /64/ и др.
В выпуклом анализе существенную роль играет понятие субдифференциала (см. /90/, /64/, /40/^.
Предпринимаются попытки распространить понятие субдифференциала на другие классы негладких функций. Среди этих попыток следует отметить работу Кларка /87/, в которой приведено понятие производной по Кларку, Рокафеллара /96/, Варги Дж. /16/, Кусраева А. Г. /44/.
Введенные ими субдифференциалы позволяют изучить ряд важных свойств липшицевых функций. Однако, не всегда пригодны с точки зрения оптимизации. Верхние выпуклые аппроксимации из /62/ (см. /45/) предназначены для задач минимизации и пригодны для произвольных липшицевых функций.
В /29/, /31/, /64/ было введено понятие квазидифференци-руемой функции и установлен ряд свойств таких функций. Класс квазидифференцируемых функций более узок, чем класс липшицевых функций, но достаточно широк с точки зрения приложения.
В /29/ - /31/ рассматривалось обобщение результатов из /64/ для квазидифференцируемых функций.
Как известно, теорема о неявной функции играет большую роль в теории экстремума. С результатами по необходимым условиям экстремума с использованием теорем о неявной функции можно ознакомиться по исследованиям, проведенным в /II/, /40/, /7/, /32/ и др.
Ряд результатов, и достаточно общих, без использования теорем о неявной функции, был получен в /88/ (см. /85/, /86/).
Интересная область приложений необходимых условий экстремума и, в частности, оптимального управления представляет собой математическая экономика. По-видимому, возможность исследования в этой области далеко не исчерпана. С этой проблематикой можно ознакомиться, например, по работам /74/, /51/ и др.
Диссертация посвящена исследованию необходимых условий оптимального управления (принципа максимума Понтрягина и условий трансверсальности) системами, описываемыми ОДУ типа.
I) и. — управление) в бесконечномерных пространствах.
Основным моментом в доказательстве принципа максимума и условий трансверсальности является теорема о непрерывной и дифференцируемой зависимости решения уравнения (I) от совокупности начальных данных и правой части О, где концы отрезка времени, на котором рассматривается задача- 0С±- - эс (Ч.1) — начальное условие- (- правая.
часть.
Следует заметить, что в практических задачах чаще всего приходится иметь дело с разрывными по t (t — время) функциями (t, х, tt (t>), поскольку U (t), как правило, бывает разрывной. Поэтому возникает потребность исследований таких ОДУ в случае измеримых по t. правых частей.
Этот вопрос исследовался в разных ситуациях многими авторами. Отметим лишь некоторые из них.
В математической литературе излагаются различные варианты теоремы о дифференцируемой и непрерывной зависимости решения ОДУ от начальных данных и правой части.
В классическом виде она доказана, например, в /59, с.172/, где X е IR, feIR, а Т и л х непрерывны по совокупности аргументов на Сг С. R х (R. .
В /40, с. 69/, /6, с. 195/ приводятся аналоги этой теоремы в случае, когда f (t}x.) удовлетворяет условию типа Каратеодори на GС, А х U, где.
Л с Г, 1/сГ в следующем смысле: почти при каждом «Ь? А отображение ^ ь ^ непрерывно дифференцируесо на J, а при каждом ос ?.U отображение измеримо на ^ • В /41, с. 160/ излагается вариант теоремы о дифференцируемое&tradeв случае банаховых пространств, где «f х) и fx) непрерывны по норме на 6- С (R х X (Хбанахово пространство^.
В /70/ доказана теорема о дифференцируемости решения ОДУ по начальному условию в локально выпуклом пространстве? л.в.п.).
Х^, полученном наделением банахова пространства X подходящей локально выпуклой топологией 6 (л.в.т.), удовлетворяющей некоторым условиям, причем и х) непрерывны в некотором смысле на открытом множестве &—С 1Л*Х см. также /25/, /26/, /73/).
В /48/ доказана соответствующая теорема для того случая, когда { компактно дифференцируема по х" (см. /48/,.
2/) и непрерывна на & С 1Ц х X при наделении пространства линейных непрерывных отображений X в X топологией равномерной сходимости на компактных множествах из X .
В данной работе получены необходимые условия оптимальности управления (принцип максимума Понтрягина и условия трансверсальности) системами, описываемыми ОДУ с измеримой по ^ правой частью ^ в бесконечномерных пространствах (см. Главу 1У, ср. с /25/, /77/).
Эти результаты были получены на основе доказанных в данной работе новых теорем о дифференцируемой зависимости решений дифференциальных уравнений от параметров (правой части, начальных данных и т. д.).
По сравнению с известными ранее анлогичными результатами в диссертации ослаблены требования на дифференцируемую зависимость правой части f от фазовыз переменных X, а именно, дифференцируемость здесь принимается не по Фреше, а в более слабом смысле.
Другая особенность данной работы заключается в постановке задачи оптимального управления. Хотя фазовое пространство бесконечномерно, на переменные системы налагается лишь конечное число склярных ограничений типа равенства. Это дает возможность применить конечномерное правило множителей Лагранжа.
Диссертация состоит из введения, четырех глав и заключения. Первая глава состоит из пяти параграфов, вторая глава состоит, из двух параграфов, третья глава содержит три параграфа и четвертая глава состоит из трех параграфов.
Основные результаты диссертации заключаются в следующем. .
1. Доказаны новые теоремы о дифференцируемое&tradeрешения ОДУ по начальным данным и правой части, взятым в разных сочетаниях в случае измеримой по и дифференцируемой по в более слабом смысле, чем по Фреше, правой части {-(Ь^х) в бесконечномерных пространствах.
2. Изучены свойства введенных в диссертации функциональных пространств ^ (&& 9 Х$) > (6} И’И*-);
3. На основе этих результатов получены необходимые условия оптимальности управления (принцип максимума Понтрягина и условия трансверсальности) системами, описываемыми ОДУ с правой частью 6 в бесконечномерных пространствах.
ЗАКЛЮЧЕНИЕ
.