3) сравнить значения функции, полученные в п.1 и п.2: наибольшее (наименьшее) из этих чисел и будет наибольшим (наименьшим) значением функции во всей области.
Граница области Ф аналитически может быть задана системой уравнений (условий) относительно переменных
Условный экстремум. Пусть необходимо найти экстремум функции
Предполагается, что функции
Говорят, что в точке
Для задач линейного программирования характерно следующее:
- Множество допустимых решений выпукло. Это выпуклое множество имеет конечное число вершин, называемых обычно крайними (угловыми( точками.
- Множество всех точек
- Локальный max или min является также глобальным max или min целевой функции на множестве допустимых решений, т.е. не существует локального оптимума целевой функции, отличного от глобального оптимума.
- Если оптимальное значение целевой функции ограничено, то по крайней мере одна крайняя точка множества допустимых решений является оптимальным решением. Кроме того, начав с произвольной вершины множества допустимых решений, можно достичь оптимума за конечное число шагов, причем на каждом шаге совершается переход только в соседнюю вершину. Окончательно данная вершина является оптимальной тогда и только тогда, когда значение целевой функции в ней по крайней мере не меньше, чем значения целевой функции во всех примыкающих вершинах.
У произвольной задачи нелинейного программирования некоторые или все приведенные выше свойства ЗЛП отсутствуют. Поэтому ЗНП гораздо сложнее задач линейного программирования и для них не существует общего универсального метода решения (аналогично симплексному методу).
4.4.Метод множителей Лагранжа
Среди задач (4.1)-(4.3) особое место занимают задачи типа
для решения которых можно воспользоваться классическим методом оптимизации Лагранжа, или методом разрешающих множителей. При этом предполагают, что функции
Можно указать следующий порядок решения задачи (6.10)-(6.11) методом множителей Лагранжа:
1) составить функцию Лагранжа:
L
здесь
2)Найти частные производные функции Лагранжа по всем переменным
Эта система состоит из m + n уравнений. Решить эту систему (если это окажется возможным) и найти таким образом все стационарные точки функции Лагранжа;
3) из стационарных точек, взятых без координат
В основе метода Лагранжа решения классической задачи оптимизации (6.10)-(6.11) лежит утверждение, что если
является решением системы (6.13). Следовательно, решая систему (6.13), получаем множество стационарных точек, в которых функция Z может иметь экстремальные значения. При этом, как правило, неизвестен способ определения точек глобального максимума или минимума. Однако, если решения системы найдены, то для определения глобального экстремума достаточно найти значения функции в соответствующих точках области определения.
Множителям Лагранжа можно придать следующий экономический смысл. Если
Пример 6.4. По плану производства продукции предприятию необходимо изготовить 200 изделий. Эти изделия могут быть изготовлены двумя технологическими способами. Производственные затраты на изготовление n изделий первым способом равны 4n+n2, а для второго способа - 8n+n2. Сколько изделий надо изготовить каждым способом, чтобы общие затраты на производство продукции были бы минимальными.
Решение.
Обозначим число изделий, изготовленных первым способом через х1, вторым способом - х2. Тогда суммарные затраты на изготовление продукции по плану составят:
f (x1,x2)=4x1+x12+8x2+x22
При этом общее число изделий должно быть равно 200, т.е.
x1+x2=200
Получим математическую модель задачи:
f(x1,x2)=4x1+x12+8x2+x22
x1+x2=200
x1
Для ее расчета применим метод множителей Лагранжа.
Составим функцию Лагранжа
L(x1,x2,
Найдем частные производные функции L по x1,x2,
имеем систему:
Исключим из этой системы
Таким образом, по необходимому условию экстремума дифференцируемой функции получим стационарную точку М(101,99) возможного условного экстремума функции f(x1,x2).
Дальнейшее исследование этой точки будем проводить как и в случае безусловного экстремума.
Найдем частные производные второго порядка:
Для рассматриваемого примера производные постоянны и не зависят от значений х1 и х2. Поэтому a11=2, a12=a21=0, a22=2 (см. 6.8). Вычислим определитель