Материал: Методы оптимизации в примерах и задачах. Медведь Н.А., Фокин А.А

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

программирования,

а функция

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)

- регул.

 

 

 

Условия Ф.Джона

 

 

В точке (х00)≥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)

(x, y)

2x y 0,

 

 

 

(x, y)

2x y 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx1

1

 

1

 

 

 

dx2

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b)

 

(x, y)

x ( 2x y )x 0,

 

(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

Источник: https://studfile.net/preview/16565974/