Пусть необходимо найти экстремум функции при условии, что переменные удовлетворяют уравнениям
(*)
Предполагается, что функции и имеют непрерывные частные производные по всем переменным. Уравнения (*) называют уравнениями связи.
Говорят, что в точке удовлетворяющей уравнениям связи (*), функция имеет условный максимум (минимум), если неравенство () имеет место для всех точек , координаты которых удовлетворяют уравнениям связи.
Алгоритм метода
Рассмотрим задачу математического программирования: найти значения переменных , удовлетворяющие системе ограничений
1, 2,…,m
и обращающие в максимум (минимум) целевую функцию
Эта задача отличатся тем, что среди ограничений нет неравенств, нет условий неотрицательности переменных, их дискретности, и функции и непрерывны и имеют частные производные, по крайней мере второго порядка.
Для решения задачи
1) составляют функцию
(- функция Лагранжа, числа - множители Лагранжа);
2) определяют частные производные и приравнивают их к нулю;
3) решают систему уравнений
и находят стационарные точки, в которых функция z может иметь экстремальные значения. Вопрос о существовании экстремумов решается на основании исследования знака второго дифференциала функции Лагранжа. Однако если решения системы найдены, то для определения условного глобального максимума (минимума) достаточно найти значения функции в соответствующих точках и выбрать из всех значений наибольшее (наименьшее).
Пример 4.Найти точку условного экстремума функции при ограничениях
Решение.
Составим функцию Лагранжа и продифференцируем её по переменным Приравнивая полученные выражения нулю, получаем следующую систему уравнений:
Из первого и третьего уравнения следует, что тогда
Решая данную систему, находим: