- •1. Введение в оптимизацию 4
- •2. Безусловная оптимизация функции одной переменной 13
- •1. Введение в оптимизацию
- •Ограничения на допустимое множество
- •Структура оптимизационных задач математического программирования
- •Примеры постановки задачи оптимизации для решения методами математического программирования
- •Классификация методов оптимизации
- •2. Безусловная оптимизация функции одной переменной
- •Свойства функции одной переменной
- •Идентификация экстремумов функции одной переменной
- •Прямые методы поиска экстремума функции одной переменной
- •Метод равномерного поиска
- •Метод золотого сечения
- •Сравнение методов исключения интервалов
- •Полиномиальная аппроксимация
- •Методы с использованием производных
- •Метод Ньютона-Рафсона
- •Метод средней точки
- •Метод секущих
- •3. Безусловная оптимизация функции нескольких переменных
- •Критерии оптимальности для функции нескольких переменных
- •Методы прямого поиска для нескольких переменных
- •Метод эволюционной оптимизации
- •Метод поиска по симплексу ( метод)
- •Градиентные методы
- •Метод Коши (Наискорейшего спуска)
- •Метод покоординатного спуска.
- •С хема метода Гаусса – Зейделя
- •4. Условная оптимизация. Линейное программирование
- •Общие сведения о линейном программировании
- •Постановка задачи линейного программирования
- •Пример постановки задачи линейного программирования
- •Геометрическая интерпретация задачи линейного программирования
- •Симплекс-метод решения задачи линейного программирования.
- •5. Классическое вариационное исчисление
- •Критерий оптимизации в задачах вариационного исчисления
- •Вариация функционала
- •Необходимые условия экстремума. Уравнение Эйлера.
- •Уравнение Эйлера и условия Лежандра для функционалов, зависящих от нескольких функций и от высших производных
- •6. Динамическое программирование
- •Задача о Черепашке
- •Оптимальное управление представляет собой вектор, определяемый последовательностью оптимальных пошаговых управлений
- •Организация процесса оптимизации в динамическом программировании
Вариация функционала
Вариация функционала играет в вариационном исчислении ту же роль, что понятие дифференциала при изучении функций. Для ее вычисления при конкретных расчетах применяется формула Тейлора разложения в степенной ряд.
Пусть задан функционал
.
Придав функции
малое приращение
,
перейдем к некоторой другой близкой
функции
.
Новое значение функционала можно
записать
.
Разложим функционал
в ряд по формуле Тейлора в окрестности
точки
.
.
Тогда приращение функционала запишется
.
Первый член ряда
представляет собой
главную линейную часть приращения
функционала и называется первой
вариацией функционала.
Теорема.
Если функционал
,
имеющий вариацию
,
достигает максимума или минимума при
,
где
– внутренняя точка области определения
функционала, то при
вариация
.
Примем это утверждение без доказательства.
Условие
при любых значения
(а на характер
не накладывается ограничений), может
выполняться только при
.
Вторая вариация
функционала представляет собой второй
член ряда
.
Она позволяет определить характер
экстремума. Если
достигает минимума, то
,
если максимума –
.
Таким образом, мы определили в общем виде необходимые условия экстремума любого функционала. Они сводятся к равенству нулю первой вариации этого функционала. Перейдем теперь к более детальному анализу этой проблемы для конкретных видов функционалов.
Необходимые условия экстремума. Уравнение Эйлера.
Сформулируем задачу. Пусть задан функционал вида
.
Требуется
найти функцию
,
которая дает ему минимум. Геометрически
это можно трактовать так. Даны две точки
и
.
Нужно найти уравнение линии, проходящей
через эти две точки, которое при
подстановке в функционал давало бы ему
экстремум. Предположим, что такая функция
найдена (рис.5.2).
Рис. 5.2. Вариация функционала
Проварьируем ее и найдем приращение функционала
.
Вариацию
выбираем так, что
,
т. е. любая линия проходит через заданные
точки. Запишем выражение для первой
вариации функционала
.
Интегрируем второе
слагаемое по частям, пользуясь известной
формулой
.
Получим
.
Первый член равен
нулю, т.к.
равно нулю при
и
.
Тогда общее выражение запишется
,
или
.
По теореме об экстремуме функционала, если есть решение задачи, то . Учитывая, что функция произвольна, можно записать необходимое условие экстремума в виде
,
или, как часто пишут
,
где
.
Полученное уравнение
называется уравнением
Эйлера и
представляет собой необходимое условие,
которому должны удовлетворять функции,
обеспечивающие экстремум функционала
.
Уравнение Эйлера является дифференциальным,
в общем случае нелинейным уравнением
второго порядка. Его решения
,
где
– постоянные интегрирования, являются
экстремалями.
Поскольку уравнение Эйлера определяет только необходимое условие экстремума, нельзя утверждать, что решение уравнения Эйлера обеспечивает экстремум функционала. Это аналогично случаю, имеющему место при исследовании экстремумов функций: точка, где дифференциал функции равен нулю, может являться точкой перегиба, а не экстремума. Однако только среди решений Эйлера (экстремалей) следует искать функцию, которая доставляет экстремум функционалу. При этом постоянные определяются из граничных условий.
Условия Лежандра.
Чтобы оценить, действительно ли решения
уравнения Эйлера обеспечивают экстремум,
а еще точнее максимум или минимум,
необходимо провести дополнительные
исследования. О характере экстремума
можно судить по знаку второй вариации
функционала
.
Известно, что знак второй вариации
совпадает со знаком производной
.
В связи с этим для достижения функционалом минимума на функции необходимо, чтобы выполнялось условие
,
(5.1)
а для достижения максимума – условие
.
(5.2)
Условия (5.1), (5.2) называются условиями Лежандра и относятся к числу необходимых.
Таким образом, если некоторая функция реализует экстремум функционала, то она должна удовлетворять уравнению Эйлера и условию Лежандра в силу их необходимости. Обратное утверждение в общем случае не справедливо. Могут существовать функции, которые удовлетворяют уравнению Эйлера и условию Лежандра, но не доставляют экстремум функционалу. Исключить из рассмотрения подобные случаи можно при помощи достаточных условий экстремума. Но при решении практических задач наличие экстремума и его характер, как правило, заранее известны из экспериментальных исследований или предварительных расчетов. Это обстоятельство существенно упрощает решение вариационной задачи, давая возможность определить искомую функцию с помощью только необходимых условий и, в частности, с помощью только уравнений Эйлера.
Пример. Определим функцию , обеспечивающую экстремум функционалу
.
Функция
должна удовлетворять граничным условиям:
.
Находим частные
производные
и
:
;
.
Отсюда уравнение Эйлера можно записать
или
.
Решение этого уравнения имеет вид
.
Граничные условия
выполняются при
и
,
поэтому окончательное решение имеет
вид
.
