Файл: Васильев Ф.П. Лекции по методам решения экстремальных задач.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 11.04.2024
Просмотров: 246
Скачиваний: 1
122 МИНИМИЗАЦИЯ ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ [Гл. 2
ную задачу минимизации можно кратко записать в следующем виде:
|
|
m in J{u ), |
U = |
{ u :u e U 1,g ( u ) ^ 0 ,g ( u ) |
= |
|
0}, |
|
|
|
|
(1) |
|||||||||||
|
|
н6£/ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где g = |
(g i , |
g s), g = |
(g , , |
g p). Условия g(u) = 0 |
называют огра |
||||||||||||||||||
ничениями типа равенств, условия g ( u ) ^ 0 |
— ограничениями типа |
||||||||||||||||||||||
неравенств. Разумеется, условие «e£/i, возможно, |
представимо |
||||||||||||||||||||||
посредством |
ограничений |
указанных |
типов, |
однако |
нам |
будет |
|||||||||||||||||
удобнее сохранить это условие именно в таком виде. |
|
|
|
|
|
|
|
||||||||||||||||
Введем переменные X = |
(р, р), |
р = |
(р ^ . ■■, ps), |
р = |
(plt |
•••, рД |
|||||||||||||||||
и составим функцию: |
L.(u, X) = J(u) + |
(р, g(u)) + (р, g (и)), |
называе |
||||||||||||||||||||
мую функцией Лагранжа задачи (1). |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
О п р е д е л е н и е ! . |
Точку |
(и*, X*), и* |
|
|
X' = |
|
(р*, р*), |
р* > 0 |
|||||||||||||||
называют |
седловой |
точкой |
функции |
Лагранжа |
L (и, X) |
в |
области |
||||||||||||||||
Ux X Alt |
где A j = {X = (р, р ): р 6 Es, р > |
0, |
р 6 £р}, |
если |
|
|
|
|
|||||||||||||||
L (и*, X) < |
L (и*, X*) < |
L {и, X*) при всех |
и 6 Ux, |
А/6 Лх. |
|
|
(2) |
||||||||||||||||
Т е о р е м а |
1. Для того чтобы точка |
и *^ 1 ), |
была точкой |
ми |
|||||||||||||||||||
нимума функции /'(и) на |
U, |
достаточно |
|
существования |
|
точки |
|||||||||||||||||
Я *еЛ ], |
такой, чтобы пара |
(а*, |
X*) была седловой |
точкой |
Ь(и, 'Х) |
||||||||||||||||||
в области б^ХЛ]. |
|
|
|
|
|
|
|
|
|
|
(и*, |
.X*) eC /.XA i — |
|||||||||||
Д о к а з а т е л ь с т в о. По условию точка |
|||||||||||||||||||||||
седловая точка L(u, X), т. е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
J |
(а*) + |
(р, g (и*)) -г (Р, g {и)) < J |
(и*) |
+ |
(j?, |
g (и*)) -f |
|
|
|
|||||||||||||
|
|
|
-i- О1*, ё (“*)) < и .( и) + |
ОЛ ё |
(«)) |
-г (р\ |
ё («)) |
|
|
|
|
(3) |
|||||||||||
при всех |
u(zU1 и X6 Аг. |
Покажем, |
что тогда и' £ U. Из |
левого |
не |
||||||||||||||||||
равенства |
(3) |
при р = |
р* |
имеем (р* — р, £ («')) |
> 0 при любых р в Ер, |
||||||||||||||||||
что возможно только |
при g (u *)— 0. Далее, |
при р = |
|
р* |
левое |
нера |
|||||||||||||||||
венство |
(3) дает |
(р* — р, g (« *))> 0 |
при |
всех р > 0 , |
|
что |
возможно, |
||||||||||||||||
только |
при g (и‘) < |
0. |
В |
самом |
деле, |
если |
здесь |
взять |
р = |
(р*, .. . |
|||||||||||||
. . . ,р£_ь |
рг, p*+ i, |
••■, р*), |
то будем |
иметь (р- — р]) g t (и’) > 0 |
при |
||||||||||||||||||
всех р£ > |
0, |
откуда |
g t (и*) < 0 |
(i = |
1, |
2, |
. . . , s). |
|
Таким |
|
образом, |
||||||||||||
й* 6 U. Заметим, |
что если g L(и*) < |
0, |
то обязательно р* = 0, |
и поэтому |
|||||||||||||||||||
|
|
|
|
|
Pigi («*) = 0, |
i = l , 2 , |
•••, s. |
|
|
|
|
|
|
|
(4) |
||||||||
Отаода и из g (и*) = |
0 следует |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(р*>£(“*)) = о, ОЛ*(«’)) = о. |
(5) |
§ Ю] |
|
|
|
Теорема Куна — |
Таккера |
|
123 |
|
Так |
как |
р * > |
0, |
то с учетом равенств |
(5) из |
правого |
неравенства (3) |
|
при любом u £ U будем иметь J (и*) < |
J (и) + |
(р*, g (и)) + |
(р*, g (и)) < |
|||||
< / ( « ), |
т. е. |
J |
(и*) — inf J { u ) . ± |
|
|
|
|
|
/ (и) |
Теорема |
1 |
доказана без каких-либо ограничений |
на функцию |
||||
и |
множества U,, U. Обратное |
утверждение, |
к |
сожалению, |
неверно и при довольно жестких ограничениях на данные задачи (1), как, например, выпуклость функций /(м), g (u ), g(u) и вы пуклость множества £Л. Чтобы убедиться в этом, достаточно взять
J ( u ) = — и, Ui = {и : и ^ О } , |
g (u ) — uz. |
Здесь множество U |
состоит |
|||
из одной точки и = 0 и |
m in J (и) = |
/(0) = 0 , и* = |
0, но |
функция |
||
/.(», |
X) = —и + Хи2 при ы^О, |
Х^О вообще не имеет |
седловых точек |
|||
типа |
(2). Однако теорему |
1 |
можно |
обратить, если |
функция / (и) |
и множество Ui выпуклы и, .кроме того, множество U удовлетво ряет некоторым дополнительным условиям регулярности.
|
О п р е д е л е н и е 2. |
Множество. U = {и : u ^ U u g (u )^ .0}, где |
||||||||||||||
U1 |
— выпуклое |
множество в E m> |
gi(u) — выпуклые функции на |
|||||||||||||
U i( i= l, 2 |
s), |
назовем регулярным, |
если для любого Л = р ^ 0 , |
|||||||||||||
Х=£0 существует точка n et/ i, |
такая, что |
(X, g (v))< C 0. |
|
|
|
|||||||||||
|
Для регулярности множества |
U |
|
достаточно |
существования |
|||||||||||
точки а е У i, |
для которой g (o )< 0 |
(условие Слейтера). Множество |
||||||||||||||
U |
будет |
регулярным |
и |
_тогда, |
|
когда |
существуют |
точки |
||||||||
щ ^ и (,t = l, |
. . , |
s), такие, что g i{u i)< 0 , |
i.= 1, |
.. , s. В этом случае |
||||||||||||
точка |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
удовлетворяет |
неравенству g(v}<^0. |
|
|
||||||||
|
Т е о р е м а |
2 |
(теорема Куна |
— Таккера). Пусть множество |
||||||||||||
U = {u :u ^ .U I, £( н)=^0}, где U: выпукло, |
gi(u) — выпуклые функ |
|||||||||||||||
ции |
на U \{i=l, |
2,.-., s ), |
удовлетворяет |
условию |
регулярности, |
и |
||||||||||
J (и) является выпуклой |
на |
U\. |
Тогда, |
для |
того |
чтобы |
в |
точке |
||||||||
u *^ U 1 достигался |
минимум функции J (и) |
на множестве |
U, |
необ |
||||||||||||
ходимо и достаточно существования точки X* ^ 0 , |
такой, что _пар а |
|||||||||||||||
(и*, X*) образует |
седловую точку функцииТ(цД) = J(u )-\ -(X ,g(u )) |
|||||||||||||||
в области f/iXAi, где А\ = {X :X ^ E S, Х ^ 0 }. |
|
|
|
|
|
|
||||||||||
|
Д о к а з а т е л ь с т в о . |
Достаточность |
доказана в теореме |
1. |
||||||||||||
Докажем необходимость. Пусть и* |
— точка минимума J (и) |
на |
U. |
|||||||||||||
Покажем, что тогда функция L(u, |
X) |
в области П1Х Л 1 имеет сед |
||||||||||||||
ловую точку |
(и*, Я*). Для этого в s + |
1-мерном пространстве пере |
||||||||||||||
менных а = {1 о, £) = (!о, £1, . . , |
Is) |
введем |
|
два |
множества |
А |
и |
В |
||||||||
следующим образом: |
|
|
|
|
|
|
|
|
|
|
|
|
А = U А„,
124 |
|
|
|
МИНИМИЗАЦИЯ |
ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ |
|
|
[ Г л . 2 |
||||||||||||||||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Au = |
i a = |
(So, £):£>£■(“). So > J (“)}. |
|
|
|
|
|
||||||||||||
|
|
u t U i, |
5 = {6 = (g0, g ) : g < 0 , |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Множества |
Л и Б |
не имеют общих внутренних точек. |
В |
самом деле, |
||||||||||||||||||||
если 6 = |
(So, S) € -80, |
то |
g < 0 , |
g0 <•/(«*). В |
то время |
как для |
точек |
|||||||||||||||||
а = |
(!„, |
Е) € Л |
имеем |
g„ > / |
(и) > |
/(«’), в случае «6£/, |
а |
если же |
||||||||||||||||
и £ Ult |
но |
u<£U, то найдется |
такой |
номер |
i, l < t < s , |
что |
|
g£ > |
||||||||||||||||
> § г(и )> 0 .'. |
Таким образом, |
Л° |
f] £ ° = |
0 - |
|
Далее, |
Л и Б — выпук |
|||||||||||||||||
лые |
множества в Es+ ь |
В |
самом деле, если |
aL= (go, SO 6 A (i = |
1, 2), |
|||||||||||||||||||
то |
существует |
6 Ux такое, что а, 6 |
Лы.. |
Покажем, |
что тогда |
|
|
|||||||||||||||||
|
аа = |
аа1 + (1 — а) а2 = |
(ag> + |
(1 — а) % |
ag1 + |
(1 — a)vg2) 6 Л„аг, |
||||||||||||||||||
при |
любом а , |
0 < а < |
1; |
здесь ыа = |
аиг + |
(1 — а) и2 6 |
|
в |
силу |
вы |
||||||||||||||
пуклости |
U1. |
Из |
выпуклости J (и), gi(u) имеем |
|
|
|
|
|
|
|
||||||||||||||
|
|
|
8 («а) < |
а § Ю |
|
+ |
(■1 — а) g («г) < |
а !1 -г- ( If— а) g2, |
|
|
|
|||||||||||||
|
|
|
J («а) < |
а/ (ых) + |
(1 — а )7 (м2) < |
ago - f (1 — a) go-' |
|
|
|
|||||||||||||||
Следовательно, aa £ Лца cz Л [при |
любом |
а , |
0 < |
а < |
1. |
Аналогично |
||||||||||||||||||
доказывается |
выпуклость Б. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
Согласно |
теореме |
|
5.5 |
тогда |
|
существует |
гиперплоскость |
||||||||||||||||
(с, |
а ) = а = |
const |
с |
направляющим |
вектором c = (v 0, |
/0) =7^0 , |
кото |
|||||||||||||||||
рая разделяет множества Л и Б. Это значит, что |
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
‘ |
|
(с, b) |
< а |
< ( с , |
а), аЕ А, Ь£ В. |
|
|
|
|
|
|
(6) |
||||||||
Левое неравенство (6) возможно лишь при сГ^гО, ибо |
во |
множе |
||||||||||||||||||||||
стве Б |
содержатся точки 6 = (g о, S) |
со сколь угодно |
большими |
по |
||||||||||||||||||||
модулю отрицательными координатами. |
Покажем, |
что v o > 0 . |
Если |
|||||||||||||||||||||
допустить v o = 0 , |
то |
из |
c — (vо, 1о)¥=0 |
следует 1офО. В |
силу |
регу |
||||||||||||||||||
лярности |
множества |
U тогда |
найдется |
такая |
точка |
о е/ 71э |
что |
|||||||||||||||||
(/„, |
£ ( н ) ) < 0 . |
|
Положим |
в |
(6) |
|
|
а = (/(о), |
g {v)±<=AvciA , |
|||||||||||||||
b = |
(J(u *), |
0 ) е Б . При |
v o = 0 получим |
неравенство |
(/о, |
g ( w ) ) ^ 0 , |
||||||||||||||||||
противоречащее определению |
о. |
Следовательно, |
v o > 0 , |
/0^ 0 . |
|
|
||||||||||||||||||
ЙГ |
Примем теперь в (6) |
а = (J |
(и), g (и)) 6 Л„ с= A, b — (J («*), 0) £ Б . |
|||||||||||||||||||||
Будем |
иметь |
v0J |
(и*) < v oy (и) + |
(/0, g(u)), |
или |
если разделить |
на |
|||||||||||||||||
v0> 0 |
и принять V = |
Vo |
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
J |
(и") < / ( « ) |
+ |
(Я*, g |
(и)) |
при любом и 6 Ux. |
|
|
|
(7) |
§ Щ |
Теорема Куна — Танкера |
|
125 |
|
В частности, при |
и = и" |
отсюда следует, что 0 < |
(A,*, g (и")). |
Но |
А .*>0, g («*)_< О, |
поэтому |
возможно лишь равенство |
(A,*, g (и*)) = |
0. |
Так как (A,, g (и')) < 0 при любом А,.^-0, то из (7) окончательно имеем
L (и, А,*) = У(и) + (Г , g («)) > |
J («*) = J (и*) + (Г , g (и')) = |
|
= L(u\ Г ) > J («*) + |
(к, g («*)) = |
L{u\ к) |
при всех u^U lt А, > 0 . ^ |
|
|
На примере простой задачи |
min (— и), |
U = { u :u ^ s 0, «2.^ 0 } |
мы убедились выше, что теорема 2 неверна для выпуклых мно жеств без дополнительного требования регулярности. Однако если множество U определяется линейными уравнениями и неравен ствами, то теорема Куна — Таккера, оказывается, верна без до полнительных условий регулярности. Важную роль при установ лении этого факта и в некоторых других вопросах играет следую щая теорема.
Т е о р е м а 3 (теорема Фаркаша). Пусть даны векторы
£-i — (cil> |
' 1■* ^im) |
1 j 2, •■■ ,p) |
Ci = (Cil> C('2i ’ ‘ ' >cim) (i = 1, 2, . . ■,n)
Пусть П — множество |
всех |
тех |
векторов 1 = |
1т) ^ Е т, ко |
||||
торые удовлетворяют условиям |
|
|
|
|
|
|||
|
т |
|
|
|
|
|
|
|
(С;,/) = |
£ |
С^ |
= |
0 |
(г = |
1, |
2, . . . |
, р), |
|
/=1 |
|
|
|
|
|
|
|
|
т |
|
|
|
|
|
|
|
(°t, 1) ■= |
£ |
cijlj < 0 |
(t = |
1, |
2, . . . |
, п ). |
||
|
i=i |
|
|
|
|
|
|
|
Тогда для того, чтобы |
некоторый |
вектор |
у — (у\,. . . , ут) удовле |
|||||
творял неравенству |
|
|
|
|
|
|
|
|
|
т |
|
|
|
|
|
|
|
(у, 0 = |
£ |
yili ^ |
0 |
при всех |
(8) |
|||
|
£=1 |
|
|
|
|
|
|
необходимо и достаточно, чтобы у _можно было представить в виде линейной комбинации векторов с,-, с,
р |
п _____ |
|
( 9 ) |
i=i £=i
126 |
МИНИМИЗАЦИЯ |
ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ |
|
[ Г л . 2 |
||||||
где р.£ > О, |
f = l , 2 , . . . |
,п, |
а u£, i |
= |
1, 2, |
. . . , р, могут быть |
произ |
|||
вольными ([114]., [116], |
[134] и др.). |
|
|
Пусть вектор у пред |
||||||
Д о к а з а т е л ь с т в о . |
Д о с т а т о ч н о с т ь . |
|||||||||
ставим в виде (.9). Тогда |
при любом / 6 й |
имеем |
|
|
||||||
(У, I) = 2 V/ (с;> 0 + £ ? 6 , 0 = 2 ? / (Ъ, 0 < 0. |
|
|||||||||
|
i=l |
|
|
i=l |
|
|
t=l |
|
|
|
т. е. неравенство (8) справедливо |
при любом / £ й . |
|
|
|||||||
Н е о б х о д и м о с т ь . |
|
Пусть |
вектор |
у удовлетворяет условию |
||||||
(8). Покажем, что тогда имеет место представление |
(9). |
В про |
||||||||
странстве Ет введем множество |
|
|
|
|
|
|
||||
Z = [z = (г1, •••, г"1) : z = |
£ |
№ |
+ 2 |
И/ с’> И/ > |
°- |
|
||||
|
|
|
|
|
1= 1 |
1=1 |
|
|
|
|
t = |
1, 2, . . . , /I, |
|
р£, i — 1, |
2, |
. •. , р — произвольны|. |
|
||||
Нетрудно видеть, что множество Z — выпукло и замкнуто |
(дока |
жите!). Для доказательства теоремы достаточно установить, что
y^ Z . Предположим, |
что г/gzZ. Тогда согласно теореме 5.4 сущест |
|||||||||||
вует |
гиперплоскость |
(I, z— у ) = 0 |
с |
направляющим |
вектором |
|||||||
|
|
1т) Ф 0, строго разделяющая множество Z и точку у, т. е. |
||||||||||
(/, z— у) < 0 |
при всех |
z e Z . |
Заметим, |
что |
поскольку |
O eZ, то |
||||||
(/, г/)>0. Покажем, что fe Q . |
В самом деле, |
|
|
|
||||||||
|
|
(Л 2) = 2 |
Hi (ci- 0 |
-f-2 Hi (С/, l) < (/, «/) = const |
|
|
||||||
|
|
|
|
t= l |
|
|
i—'l |
|
|
|
|
|
при всех |
(X i^ O |
и |
произвольных Pi, |
|
что |
возможно только при |
||||||
(с£, |
I) = 0 , |
i = l , |
2, . . , |
р, |
(Ci, 1)4:0, i = |
1, 2, . . , |
п, т. е. /<=й. По усло |
|||||
вию |
(8) тогда |
(у, I) ^ 0 , в то время как по построению |
(/, |
у) > 0 . |
||||||||
Пришли |
к противоречию, которое и доказывает теорему. ± |
|
||||||||||
|
Рассмотрим следующую задачу: найти |
|
|
|
||||||||
|
min J |
(u), |
U = |
|
|
:ы/> 0 , |
/£/, |
Аи.= Ь, Аи < |
6 |
( Ю ) |
||
|
и£Ц |
|
|
|
|
|
|
|
|
|
|
|
где / — некоторое заданное подмножество индексов / среди |
1 < / < т |
|||||||||||
(в частности, возможно, |
/ = |
0 , или / = { / : ! |
< / < //г}); |
|
|