Документ взят из кэша поисковой машины. Адрес оригинального документа : http://oc.cs.msu.su/article/study/high_order/47.html
Дата изменения: Unknown
Дата индексирования: Sat Apr 9 23:21:22 2016
Кодировка: Windows-1251
Программа курса — Кафедра Оптимального управления ВМК МГУ
Кафедра Оптимального управления факультета ВМиК МГУ Московский государственный университет им. М.В.Ломоносова
 
  О кафедре     Наука     Люди     Учебный процесс  
Главная -> Учебный процесс -> Лекционные курсы -> Условия высших порядков в задачах на экстремум -> Программа курса
Учебный процесс

Лекционные курсы 
Спецкурсы 
Семинары 
Практикум 
Расписание 

Программа курса

Программа курса
"Условия высших порядков в задачах на экстремум"
осенний семестр 2006 года, лектор: д.ф.-м.н А.В. Дмитрук

    Часть I. Элементы общей теории экстремальных задач и конечномерная задача на экстремум

  1. Общая задача на экстремум с ограничениями в банаховом пространстве. Локальный минимум. Предположения о гладкости.
  2. Регулярность ограничений равенства: условие Люстерника. Теорема Люстерника об оценке расстояния до множества нулей оператора. Следствие: теорема Люстерника о касательном подпространстве.
  3. Условия первого порядка для локального минимума в общей задаче. Правило множителей Лагранжа. Функция Лагранжа. Активные индексы и условия дополняющей нежесткости. Принцип Лагранжа снятия ограничений.
  4. Конус критических вариаций. Мягкие и жесткие индексы в его записи. Случай, когда конус превращается в подпространство.
  5. Случай K = {0} - достаточное условие первого порядка для локального минимума.
  6. Лемма Хоффмана об оценке расстояния до множества решения системы линейных равенств и неравенств. Следствие: оценка расстояния от точки до многогранного конуса.
  7. Конечномерная задача на экстремум с ограничениями равенства и неравенства. Условия второго порядка для локального минимума. Вторая вариация функции Лагранжа. Функционал типа максимума семейства квадратичных форм.
  8. Доказательство необходимого условия второго порядка.
  9. Доказательство достаточного условия второго порядка.
  10. Симметрия между минимизируемым функционалом и ограничениями неравенства. Получение условий второго порядка в задаче на минимакс путем сведения ее к гладкой задаче с ограничениями неравенства.
  11. Часть II. Задача оптимального управления без поточечных ограничений

  12. Каноническая задача оптимального управления без поточечных ограничений (задача Лагранжа вариационного исчисления). Сведение задачи с интегральным функционалом к канонической. Сведение задачи на нефиксированном отрезке времени (в т.ч. задачи быстродействия) к канонической.
  13. Пространства фазовых и управляющих функций в канонической задаче. Основные типы минимума: слабый, сильный, и минимум относительно нормы пространства W.
  14. Оператор Немыцкого (подстановка в функцию) и его дифференцируемость в пространствах ограниченных функций.
  15. Оператор, задающий ограничения равенства. Замкнутость образа его производной. Лемма о замкнутости образа составного оператора.
  16. Слабый минимум в канонической задаче оптимального управления; его эквивалентность локальному минимуму в норме пространства W.
  17. Уравнение Эйлера-Лагранжа - необходимое условие первого порядка для слабого минимума. Сопряженное уравнение, условия трансверсальности, условие стационарности по управлению.
  18. Квадратичные условия (условия "второго порядка") для слабого минимума в канонической задаче оптимального управления. Грубость оценки второй вариации с помощью квадрата исходной нормы пространства W.
  19. Часть III. Случай единственности множителей Лагранжа: исследование квадратичной формы

  20. Общий вид квадратичной формы - второй вариации функции Лагранжа, возникающей в канонической задача оптимального управления без поточечных ограничений. Общий вид конуса критических вариаций.
  21. Необходимое условие Лежандра. Усиленное условие Лежандра и его недостаточность для положительной определенности квадратичной формы.
  22. Достаточность усиленного условия Лежандра для положительной определенности квадратичной формы на малых отрезках времени.
  23. Расширение пространства вариаций управления до L_2 [0,T]. Лемма о плотности всюду плотного многообразия в подпространстве конечной коразмерности.
  24. Слабая полунепрерывность снизу и лежандровость квадратичной формы в гильбертовом пространстве. Связь этих понятий с условием Лежандра для интегральной квадратичной формы. Лемма о положительной определенности положительной лежандровой квадратичной формы.
  25. Теория Якоби для интегральной квадратичной формы при линейных ограничениях равенства на левом конце и нулевом правом конце). Расширяющееся семейство гильбертовых пространств L_2 [0,T], T > 0 . Непрерывность этого семейства. Прохождение лежандровой квадратичной формы через ноль.
  26. Понятие управляемой и вполне управляемой системы на данном отрезке. Критерий управляемости в терминах сопряженной переменной. Полная управляемость в задачах классического вариационного исчисления (простейшей и со старшими производными).
  27. Уравнение Эйлера-Якоби для интегральной квадратичной формы в случае вполне управляемой системы и нулевого правого конца. Положительность коэффициента при функционале при линейной независимости векторов, задающих ограничения на левом конце. Условие трансверсальности.
  28. Итоговая процедура исследования квадратичной формы с помощью уравнения Эйлера-Якоби. Сопряженная точка и уравнение для ее нахождения. Условия Якоби для знакоопределенности квадратичной формы.

Рекомендуемая литература

  1. Конспект лекций.
  2. И.М. Гельфанд, С.В. Фомин. Вариационное исчисление. М., Физматгиз, 1961.
  3. В.М. Алексеев, В.М. Тихомиров, С.В. Фомин. Оптимальное управление. М., Наука, 1979.
  4. А.Д. Иоффе, В.М. Тихомиров. Теория экстремальных задач. М., Наука, 1974.
  5. В.М. Алексеев, Э.М. Галеев, В.М. Тихомиров. Сборник задач по оптимизации. М., Наука, 1984.
  6. И.Л. Калихман. Сборник задач по математическому программированию. М., 1975.

 О кафедре  | Наука  | Люди  | Учебный процесс  |
©2002–2016 Кафедра Оптимального управления факультета ВМиК МГУ
Дизайн: Кирилл Редькин,
программирование: Алексей Борзов.