Помощь в учёбе, очень быстро...
Работаем вместе до победы

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

ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Как уже отмечено выше, в теории оптимального управления сосредоточенными и распределенными системами существуют несколько абстрактных схем получения условий оптимальности. Эти схемы позволяют эффективно получать в различных сложных задачах оптимального управления с ограничениями условия оптимальности как первого, так и более высоких порядков, а также результаты так или иначе связанные с условиями… Читать ещё >

Содержание

  • Введение
    • 0. 1. Сокращения, обозначения, нумерация
    • 0. 2. Общая характеристика диссертации
    • 0. 3. Краткий обзор содержания диссертации
    • 0. 4. Основные результаты диссертации
  • 1. Абстрактная параметрическая задача минимизации с операторным ограничением в равномерно выпуклом пространстве
    • 1. 1. Правило множителей для субоптимальных элементов в метрическом пространстве
    • 1. 2. Абстрактная задача минимизации с параметром в ограничении
      • 1. 2. 1. Постановка абстрактной параметрической задачи минимизации, минимизирующее приближенное решение (м.п.р.)
      • 1. 2. 2. Аксиоматика
    • 1. 3. Абстрактный принцип максимума для м.п.р. в случае «богатого» целевого множества
    • 1. 4. Абстрактный принцип максимума для м.п.р. в случае «бедного» целевого множества. Субдифференциалы функции значений
      • 1. 4. 1. Полунепрерывность снизу функции значений в параметрической задаче минимизации
      • 1. 4. 2. Нормали Фреше, субдифференциалы и сингулярные субдифференциалы полунепрерывных снизу функций
      • 1. 4. 3. Абстрактный принцип максимума для м.п.р
      • 1. 4. 4. Субдифференциалы функции значений
    • 1. 5. Регулярность, нормальность, чувствительность в параметрической задаче с операторным ограничением в равномерно выпуклом пространстве
    • 1. 6. Экстремальные последовательности
  • 2. Субоптимальное управление параболическими уравнениями 95 2.1 Задача с нефиксированным временем без его варьирования и с ограничением типа включения в конечномерное множество
    • 2. 1. 1. Постановка задачи
    • 2. 1. 2. Проверка выполнимости абстрактной аксиоматики
    • 2. 1. 3. Задача с фиксированным временем
    • 2. 1. 4. Принцип максимума для м.п.р. в задаче с фиксированным временем
    • 2. 1. 5. Достаточность принципа максимума для м.п.р. в задаче с фиксированным временем
    • 2. 1. 6. Свойства регулярности, нормальности в задаче с ограничением типа включения с фиксированным временем
    • 2. 1. 7. Принцип максимума для м.п.р. в задаче с ограничениями типа равенства и неравенства
    • 2. 1. 8. Достаточность принципа максимума в задаче с равенствами и неравенствами
    • 2. 1. 9. Свойства регулярности и нормальности в задаче с равенствами и неравенствами, типичность регулярности
    • 2. 1. 10. Особые минимизирующие последовательности, сходимость минимизирующих последовательностей в задаче с фиксированным временем
    • 2. 1. 11. Иллюстративные примеры
    • 2. 1. 12. Задача с нефиксированным временем
    • 2. 1. 13. Принцип максимума для м.п.р. в задаче с нефиксированным временем
    • 2. 1. 14. Нормальность, регулярность в задаче с нефиксированным временем
    • 2. 1. 15. Экстремальные последовательности
    • 2. 2. Задача с нефиксированным временем с его варьированием и с ограничением типа включения в конечномерное множество
    • 2. 2. 1. Постановка задачи
    • 2. 2. 2. Проверка выполнимости абстрактной аксиоматики
    • 2. 2. 3. Принцип максимума для м.п.р
    • 2. 3. Задача с граничным управлением и с ограничением типа включения в функциональное множество общего вида в гильбертовом пространстве
    • 2. 3. 1. Постановка задачи
    • 2. 3. 2. Проверка выполнимости абстрактной аксиоматики
    • 2. 3. 3. Принципы максимума для м.п.р., свойства регулярности и нормальности в задаче с операторным ограничением
    • 2. 3. 4. Регулярность, нормальность, условная нормальность в задаче с операторным ограничением
    • 2. 3. 5. Иллюстративные примеры
  • 3. Субоптимальное управление эллиптическими уравнениями
    • 3. 1. Субоптимальное управление квазилинейным эллиптическим уравнением с поточечным фазовым ограничением общего вида в равномерно выпуклом пространстве
      • 3. 1. 1. Постановка задачи
      • 3. 1. 2. Проверка выполнимости абстрактной аксиоматики
      • 3. 1. 3. Принципы максимума для м.п.р., принципы максимума
    • 3. 2. Субоптимальное управление полулинейным эллиптическим уравнением с фазовым ограничением в пространстве непрерывных функций
      • 3. 2. 1. Постановка задачи
      • 3. 2. 2. Вспомогательные результаты
      • 3. 2. 3. Аппроксимация задачи с фазовым ограничением задачами с конечным числом функциональных ограничений
      • 3. 2. 4. Проверка выполнимости абстрактной аксиоматики в аппроксимирующей задаче
      • 3. 2. 5. Принцип максимума для м.п.р. в задаче с фазовым ограничением
      • 3. 2. 6. Регулярность, нормальность, условие Слейтера, условие линейности
      • 3. 2. 7. Липшицевость функции значений, чувствительность
      • 3. 2. 8. Типичность регулярности
      • 3. 2. 9. Переформулировка исходной задачи как задачи с равномерно выпуклым целевым пространством
      • 3. 2. 10. Расширение исходной задачи с фазовыми ограничениями
      • 3. 2. 11. Иллюстративные примеры
    • 3. 3. Принцип максимума в задаче оптимального управления полулинейным эллиптическим уравнением со смешанным ограничением
      • 3. 3. 1. Постановка задачи со смешанным ограничением
      • 3. 3. 2. «Эквивалентная» задача с равномерно выпуклым целевым пространством
      • 3. 3. 3. Проверка выполнимости абстрактной аксиоматики
      • 3. 3. 4. Принцип максимума в исходной задаче со смешанным ограничением
    • 3. 4. Субоптимальное управление полулинейным эллиптическим уравнением с фазовым ограничением в пространстве непрерывных функций и граничным управлением
      • 3. 4. 1. Постановка задачи
      • 3. 4. 2. Вспомогательные результаты
      • 3. 4. 3. Аппроксимация задачи с фазовым ограничением задачами с конечным числом функциональных ограничений
      • 3. 4. 4. Проверка выполнимости абстрактной аксиоматики в аппроксимирующей задаче
      • 3. 4. 5. Принцип максимума для м.п.р. в задаче с фазовым ограничением и граничным управлением
      • 3. 4. 6. Регулярность, нормальность
      • 3. 4. 7. Липшицевость функции значений, чувствительность
      • 3. 4. 8. Иллюстративные примеры
  • 4. Субоптимальное управление гиперболическими уравнениями
    • 4. 1. Задача параметрического субоптимального управления системой Гурса-Дарбу
      • 4. 1. 1. Постановка задачи
      • 4. 1. 2. Задача с фазовым ограничением в? э (П)
      • 4. 1. 3. Принципы максимума в задаче с фазовым ограничением в Ьг (П)
      • 4. 1. 4. Иллюстративные примеры к задаче с фазовым ограничением в Ьг (П)
      • 4. 1. 5. Задача с фазовым ограничением в С (П)
      • 4. 1. 6. Иллюстративные примеры к задаче с фазовым ограничением в С (П)
  • 5. Субоптимальное управление в негладких задачах оптимизации распределенных систем
    • 5. 1. Параметрическая негладкая задача оптимального управления для параболического уравнения
      • 5. 1. 1. Постановка негладкой задачи
      • 5. 1. 2. Связь между обобщенным градиентом Кларка и обобщенной производной в смысле С.Л.Соболева
      • 5. 1. 3. Вспомогательные задачи, сглаживание
      • 5. 1. 4. Проверка выполнимости абстрактной аксиоматики в сглаженных вспомогательных задачах
      • 5. 1. 5. Условия субоптимальности в сглаженной вспомогательной задаче
      • 5. 1. 6. Предельный переход во вспомогательных необходимых условиях при стремлении к нулю параметра сглаживания, принципы максимума для м.п.р
      • 5. 1. 7. Регулярность, нормальность, чувствительность в негладкой задаче
  • 6. Двойственные численные методы в задачах оптимального управления
    • 6. 1. Численный метод для нахождения минимизирующей последовательности в случае существования вектора Куна-Таккера
      • 6. 1. 1. Постановка задачи
      • 6. 1. 2. Модифицированный функционал Лагранжа
      • 6. 1. 3. Функция значений м.ф.Л. и ее субдифференциал
      • 6. 1. 4. Максимизация функции значений м.ф.Л., сходимость двойственного метода
      • 6. 1. 5. Функционал невязки принципа максимума
    • 6. 2. Метод точного недифференцируемого штрафа для регулярной задачи оптимального управления
      • 6. 2. 1. Постановка задачи
      • 6. 2. 2. Расширение исходной задачи
      • 6. 2. 3. Нормаль Фреше и точный штрафной недифференцируемый функционал
  • 7. Субоптимальное управление для задач с приближенно известными исходными данными, регуляризация
    • 7. 1. Субоптимальное управление для задач с приближенно известными исходными данными
      • 7. 1. 1. Постановка задачи
      • 7. 1. 2. Принцип максимума для м.п.р. как необходимое условие в задачах с приближенными данными
      • 7. 1. 3. Принцип максимума для м.п.р. как достаточное условие в задачах с приближенными данными, регуляризирующее свойство м.п.р
    • 7. 2. Численные методы нахождения нормального решения обратной задачи, регуляризация
      • 7. 2. 1. Постановка задачи
      • 7. 2. 2. Метод невязки для решения обратной задачи
      • 7. 2. 3. Алгоритм Удзавы для решения обратной задачи
    • 0. 1. Сокращения, обозначения, нумерация

    Список сокращений т.к. — так как- т. е. — то есть- п.в. — почти все, почти всюду- о.о. — ограничение общности- м.п. — минимизирующая последовательность- м.п.р. — минимизирующее приближенное решение- э.п. — экстремальная последовательность.

    Список основных обозначений — «равно по определению» или «тождественно равно" —

    V — «для всех" —

    3 — «существует" —

    0 — пустое множество-

    0}^- - нуль линейного пространства X- х? X: .} - совокупность элементов множества X, обладающих свойством «." — X х Y — декартово произведение множеств X и У-

    X — внутренность множества X- г i X — относительная внутренность X-

    X — замыкание множества X- дХ — граница множества X- meas X — лебегова мера множества X- сГ — знак слабого со звездой замыкания- conv — выпуклая оболочка- dorn / - эффективное множество функции (функционала) /-

    Ргх (а>) — проекция точки, а на множество X- р (X) — функция (функционал) расстояния до множества X- dp (-, X) — производная Фреше (градиент) функции расстояния-

    PNq (x) — совокупность всех проксимальных нормалей к множеству П в точке х-

    Nc (x- П) — нормальный конус Кларка в х к П- dcf (x) — обобщенный градиент Кларка функции / в точке х q f (x) — сингулярный обобщенный градиент Кларка функции / в точке х-

    N (x-u) — нормальный конус Фреше к П в х

    N (x- П) — нормальный конус ко множеству II в х- df (x) — субдифференциал (по Мордуховичу) функции / в точке X]

    9°°/(х) — сингулярный субдифференциал (по Мордуховичу) функции / в точке х- х*, х) — значение линейного функционала х* 6 X* на элементе х? X-

    Ят — га-мерное пространство векторов-столбцов х = (хх,., хт) с евклидовой нормой 1= дтхп тп мерНое пространство (га х п)-матриц, А = {

Математическая теория субоптимального управления распределенными системами (реферат, курсовая, диплом, контрольная)

После открытия принципа максимума последовали его всевозможные обобщения. Во первых, были созданы различные общие схемы получения необходимых условий экстремума в абстрактных задачах с ограничениями (А.Я.Дубовицкий и А. А. Милютин, Р. В. Гамкрелидзе и Г. Л. Харатишвили, L.W.Neustadt и др., см., например, [28, 30, 41, 82, 95, 129, 241]). В дальнейшем эти схемы постоянно развивались и с их помощью решались все более сложные задачи оптимального управления (А.В.Дмитрук, А. Я. Дубовицкий, А. А. Милютин, Н. П. Осмоловский и др., см., например, [3, 8, 38, 39, 42, 43, 70, 83, 84, 104, 243]).

Одновременно с созданием абстрактных схем исследования задач оптимального управления интенсивно развивается также и теория «собственно задач» оптимального управления различными системами с сосредоточенными и распределенными параметрами (А.В.Арутюнов, В. И. Благодатских, В. Г. Болтянский, А. Г. Бутковский, Ф. П. Васильев, Р. Габасов, В. Ф. Демьянов, А. И. Егоров, Ю. В. Егоров, М. И. Зеликин, А. Д. Иоффе, Ф. М. Кириллова, Н.Н.Красов-ский, А. В. Кряжимский, А. Б. Куржанский, К. А. Лурье, Б. Ш. Мордухович, М. С. Никольский, Ю. С. Осипов, В. И. Плотников, Л. И. Розоноэр, С. Н. Слугин, Т. К. Сиразетдинов, В. М. Тихомиров, Е. Л. Тонков, В. А. Троицкий, А. Ф. Филиппов, А. В. Фурсиков, F.H.Clarke, J.L.Lions, J. War-ga, L.J.Young, и др., см., например, [2, 4, 5, 6, 7, 12, 14, 15, 16, 17, 18, 20, 23, 25, 37, 40, 44, 45, 46, 47, 48, 49, 50, 55, 60, 65, 72, 74, 86, 92, 99, 100, 101, 105, 106, 107, 108, 121, 130, 133, 178, 179, 180, 182, 183, 185, 186, 187, 196, 199, 212, 213, 214, 215]).

В то же время появляются и различные общие подходы к получению принципа максимума для распределенных систем (Ю.В.Егоров, В. И. Плотников, В. А. Якубович, А. С. Матвеев, H.O.Fattorini и др., см., например, [48, 51, 52, 53, 77, 78, 79, 80, 81, 109, 110, 111, 112, 113, 114, 115, 191, 192, 193, 194, 195, 219]).

Теория оптимального управления системами с распределенными параметрами интенсивно развивается в различных направлениях (С.А.Авдонин, Л. Т. Ащепков, О. В. Васильев, Ф. П. Васильев, А. И. Егоров, С. А. Иванов, А. З. Ншмухаметов, А. В. Кряжимский, А. И. Короткий, В. И. Максимов, А. С. Матвеев, С. Ф. Морозов, Ю. В. Орлов, Ю. С. Осипов, М. М. Потапов, С. Н. Слугин, В. А. Срочко, В. И. Сумин, А. В. Фурсиков, В. А. Якубович, V. Barbu, H.O.Fattorini, H. Frankowska, B.S.Mordukhovich, J.L.Lions и др., см., например, [1, 10, 19, 20, 21, 22, 54, 56, 57, 62, 63, 73, 75, 76, 93, 98, 102, 103, 116, 117, 118, 119, 128, 138, 139, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 185, 186, 187, 188, 197, 201, 202, 203, 204, 220, 221, 222, 223, 225, 226, 232, 234, 235, 236, 242]).

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

Как уже отмечено выше, в теории оптимального управления сосредоточенными и распределенными системами существуют несколько абстрактных схем получения условий оптимальности. Эти схемы позволяют эффективно получать в различных сложных задачах оптимального управления с ограничениями условия оптимальности как первого, так и более высоких порядков [3, 8, 28, 30, 38, 39, 41, 43, 48, 51, 52, 53, 70, 77, 78, 79, 80, 81, 82, 83, 84, 95, 104, 109, 110, 111, 112, 113, 114, 115, 129, 191, 192, 193, 194, 195, 219, 241, 243], а также результаты так или иначе связанные с условиями оптимальности (принципом максимума). Важно отметить, что все эти абстрактные подходы предполагают наличие по крайней мере одного очень существенного обстоятельства: (I) Существование оптимального элемента. В теории оптимального управления таковыми являются обычные (измеримые по Лебегу) или обобщенные [18, 27, 29, 183, 196, 224] оптимальные управления. Отмеченное обстоятельство обеспечивается в случае обычного оптимального управления во всех упомянутых выше схемах посредством постулирования факта существования (как известно [196], именно это привело к возникновению словосочетания «наивная теория оптимального управления»), если на задачу не наложены дополнительные и, как правило, весьма жесткие условия существования оптимального элемента. При этом, как известно, для задач оптимального управления обыкновенными уравнениями, а также для весьма широкого класса так называемых полулинейных уравнений в частных производных существование оптимальных обобщенных элементов дается «практически даром» .

В то же время, в теории оптимального управления распределенными системами несуществование обычного оптимального управления и одновременно невозможность расширения задачи в том или ином смысле [18, 27, 29, 183, 196, 224] не является каким либо редким и патологическим событием. Рассмотрим для иллюстрации следующий простой пример.

Пример 0.2.1. Рассмотрим простейшую задачу оптимального управления для одномерной задачи Гурса-Дарбу [ (г2(х, у) — и2{х, у)) ¿-хйу Ы, u€V) JQ 30.

Т> = {ие Ьоо (П): и (х, у) е и = [-1,1] п.в. на П}, П = [0,1] х [0,1], гху = и (х, у) гх + и (х, у), г (х, 0) = г (0, у) = 0.

Специфика такой хорошо известной конструкции функционала такова, что в этой задаче нижняя грань I* > —1. В то же время, легко заметить, что эта нижняя грань не достигается ни на каком обычном управлении. Принцип максимума для м.п. [122] здесь имеет вид.

Г Г m^ {i (x)y){zx[u%x, y)^l){v-ul{x, y))-{{ux, y))2-v2)}dxdy<1 (0.2.1)о Зо «е[-1,Ц где 7! >0, 7® —> 0, «-> оо, %и1] - решение граничной задачи, соответствующее управлению и1, г}[иг] - решение при и = и1 сопряженной задачи.

Ф, у) ~ / «К У) Ф, у) йу = ~2 / / У) иу? X оу.

Элементарный анализ принципа максимума (0.2.1) показывает, что любая последовательность управлений и1, i = 1,2,., будет ему удовлетворять, если и1{х, у) 1, гх[иг](х, у) -" —1,? со, по мере на П. Т.к. и](лг, у) = [ (ехр (Г «(&, ?6) ~ 1).

Показать весь текст
Заполнить форму текущей работой