программирования, |
а функция |
f0 (x) |
является непрерывно |
|||
дифференцируемой. |
Для того, чтобы точка x 0 была |
решением |
||||
задачи (3.3.1) в случае, |
когда все |
ограничения |
линейны, |
|||
необходимо |
и |
достаточно, |
чтобы |
существовал |
вектор |
|
y0 0, y0 |
Rm , такой что точка |
|
|
|
||
|
|
|
(x 0 , y 0 ) 0, x 0 |
Rn , y 0 |
Rm , |
||
была бы седловой точкой функции Лагранжа. |
|
||||||
|
|
Связь между приведенными фактами и теоремами можно |
|||||
проиллюстрировать схемой, изображенной на рис. 3.3.2. |
|||||||
|
|
|
|
|
|
||
|
|
|
|
Ω – регулярно, |
|
|
|
|
|
|
|
(3.3.1) - ЗВП |
|
|
|
|
|
|
|
|
|||
|
x0 является решением |
|
|
(x0,y0) седловая точка |
|||
|
|
задачи (3.3.1) |
|
|
функции Лагранжа Ф(x,y) |
||
|
|
|
|
|
|
|
|
|
x0 |
, |
(3.3.1)-ЗВП |
(3.3.1)-ЗВП |
fi (x) - |
||
|
(3.3.1)-ЗВП |
fi (x) - |
fi (x) - |
непрер. |
|||
|
fi (x) - |
непрер. |
непрер. |
диффер. |
|||
|
непрер. |
дифференц. |
диффер. |
_____ |
|||
|
|
|
|
|
|||
|
_____ |
_____ |
(i 0, m) |
||||
|
диффер. |
||||||
|
(i 0, m), |
(i 0, m) |
|
||||
|
|
_____ |
|
||||
|
|
|
|
|
|
|
|
|
(i |
0, m) |
- регул. |
|
|
|
|
Условия Ф.Джона |
|
|
В точке (х0,у0)≥0 |
|
|
|
выполняются условия |
|
x |
0 |
a)-d) теоремы 3 |
|
|
|
Рисунок 3.3.2. Логическая связь между теоремами и замечаниями
78
Пример 1. Найти решение задачи
f0 (x) |
x12 |
x22 |
max |
||
f |
1 |
(x) |
x1 |
x2 |
2, |
|
|
|
|
|
|
x1 , x2 0
Решение. Так как функция f0 (x) в задаче является
выпуклой (вверх) и непрерывно дифференцируемой, воспользуемся теоремами 6 и 3.
Запишем функцию Лагранжа данной задачи:
|
|
|
|
|
(x, y) |
|
|
|
x 2 |
|
x 2 |
y |
1 |
( 2 x |
|
x |
2 |
), |
||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
1 |
|
|
|
||||
|
|
|
|
x1 , x2 , y1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Выпишем условия экстремума этой задачи: |
|
|
|
|
|
|
||||||||||||||||
a) |
dÔ (x, y) |
2x y 0, |
|
|
|
dÔ (x, y) |
2x y 0, |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
dx1 |
1 |
|
1 |
|
|
|
dx2 |
2 |
1 |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
b) |
|
dÔ (x, y) |
x ( 2x y )x 0, |
|
dÔ (x, y) |
x ( 2x y )x 0, |
||||||||||||||||||
|
|
|
||||||||||||||||||||||
|
|
dx1 |
1 |
|
1 |
1 |
1 |
|
|
|
|
dx1 |
|
|
1 |
|
|
1 |
1 |
2 |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
c) |
|
|
(x, y) |
2 |
|
x1 |
x2 |
0, |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
y1 |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d ) |
|
(x, y) |
y |
( 2 |
x |
|
x |
|
) y |
0, |
|
|
|
|||||||
|
|
|
|
|
|
|
2 |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
y1 |
|
|
|
1 |
|
|
|
1 |
|
|
1 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Такая система решается следующим образом: решается система равенств b) и d), а затем полученные точки подставляются в неравенства а), с) и условия неотрицательности и проверяются.
Итак, решим систему
( 2x1 y1 )x1 0, ( 2x2 y1 )x2 0,
( 2 x1 x2 ) y1 0,
Из последнего равенства следует, что либо y1 0, либо
79
x1 x2 2 .
Если y1 0, то из первых двух равенств следует, что x1 x2 0 .
Подставим полученную точку (0,0,0) в неравенства. Условия неотрицательности, очевидно, выполнены, однако неравенство с)
нарушено ( -2+0+0 0 -неверно). Значит y1 0, т.е.
x1 x2 2 .
Выразим
x2 2 x1
и подставим в первые два равенства.
Рассмотрим случай
x1 0 x2 2, y1 4.
Подставим в неравенства точку (0,2,4). Условия неотрицательности выполнены, однако первое неравенство в а) нарушено (0+4≤0 - неверно).
Рассмотрим случай
x1 2 |
x2 0, y1 |
4. |
В данной точке нарушено второе |
неравенство в а) (0+4≤0 - |
|
неверно). Остался случай |
|
|
2x1 |
y1 |
0, |
|
4 |
2x1 |
y1 0. |
|
Проводя вычисления, получаем |
|||
4x1 |
4, |
x1 |
1, |
откуда |
|
|
|
x2 |
1, |
y1 |
2. |
В точке (1,1,2) все неравенства (в т. ч. условия неотрицательности) выполнены, следовательно она является
седловой точкой, а точка x* (1,1) - точкой условного максимума.
80
Ответ: f |
max |
(x) |
2; x* |
1; x* |
1. |
|
|
1 |
2 |
|
|
Пример 2. |
Проверить, является ли точка x = (4,0) решением |
||||
задачи |
|
|
|
|
|
3x12 4x1 x2 5x22 min x1 x2 4
x1 , x2 0
Решение. Данная точка является допустимой. Воспользуемся дифференциальным вариантом теоремы КунаТаккера, для чего перепишем задачу следующим образом:
f |
0 |
(x) |
3x 2 |
4x x |
2 |
5x |
|
|
|
1 |
1 |
|
|
||
f1 (x) |
x1 |
x2 |
4 |
|
|||
x1 , x2 0
В точке (4,0) активными являются ограничения
2 |
max |
|
2 |
||
|
x1 |
x2 |
|
4, x2 0 . |
|
Посчитаем градиенты : |
|
|
|
|
f0 (x) ( 6x1 |
4x2 ; 10x2 4x1 ) ; |
|||
f0 (4,0) |
( |
24; |
16) ; |
|
f1 (x) ( |
1; |
1) . |
|
|
Разложение (3.3.3) имеет вид: |
|
|||
(-24; -16)= y1 ( |
1, 1) |
2 (0,1) |
||
Отсюда y1 24, 2 |
8. Так как в оптимальной точке должны |
|||
выполняться неравенства y1 |
0, |
2 |
0 , данная точка x = =(4,0) не |
|
является решением задачи.
Ответ: точка х = (4,0) не является решением задачи.
81
Пример 3.
(x |
3)2 |
x2 |
max |
1 |
|
2 |
|
(1 |
x )3 |
x 0 |
(3.3.4) |
|
1 |
2 |
|
x1 , x2 0
Решение. На рис.3.3.3 изображено допустимое множество данной задачи
2
1
Рисунок 3.3.3. Допустимое множество задачи (3.3.4)
Множество не является выпуклым, но из графика видно, что решением задачи является точка x* (1, 0). Запишем условия КунаТаккера и проверим, выполняются ли они в данной точке:
(x, y) |
(x |
3) |
2 x2 |
y ((1 |
x )3 |
x |
2 |
), |
|
1 |
|
2 |
1 |
1 |
|
|
|
x1 , x2 , y1 |
0 |
|
|
|
|
|
|
|
82