книги из ГПНТБ / Васильев Ф.П. Лекции по методам решения экстремальных задач
.pdf120 |
|
МИНИМИЗАЦИЯ ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ |
|
[ Г л . 2 |
||||||||||
|
|
|
J |
(«*) < |
J k (ыА,) < Л -1- e (k) < |
J k («„,) + |
e = |
|
|
|||||
|
|
|
|
= |
J (vm) + |
Pк(Vm) + |
6 •< У* -f Зв. |
|
|
|
||||
Отсюда в |
силу |
произвольности е > 0 |
имеем Пгп J |
(«/г) < У’ . Далее, |
||||||||||
Q* (g (%)) = ^ (“ft) — ^ («*) < |
J* + |
Зе — inf J |
(«) < oo |
при всех |
k > £0. |
|||||||||
|
|
|
|
|
|
___ |
|
^m |
|
|
|
|
|
|
Это возможно£|только при |
lim g («ft) < О,) |
ибо |
в |
противном |
случае |
|||||||||
|
|
|
|
|
к.—too |
|
Ukn, |
|
|
|
|
|
|
|
существовала,(бы. ^последовательность |
для |
которой |
limg' (ы* ) = |
|||||||||||
- |
а > 0 |
и |
|
|
|
|
|
|
|
|
|
|
П - * оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
0 < |
|
< |
& я (£(«О ) ^ |
+ |
00 |
(Л-»-0°). |
|
|
||||
Наконец, |
пусть |
ы* — предельная |
точка 'множества |
{«*} |
при |
k —»оо, |
||||||||
т. е. существует |
последовательность |
«*п -» |
«* |
(/г-»-оо) .}• Тогда |
||||||||||
Пш g («й ) = |
g («*) |
0, т. е. «* 6 U■ Следовательно, |
|
|
|
|||||||||
П -Ю О |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
У* < |
У («*) = |
П т У («* ) < |
lim У (Uk) |
< У*, |
|
|
||||
|
|
|
|
|
|
П— >оо |
|
fe— >оо |
|
|
|
|
||
т. |
е. У («*) = |
J" . Последнее утверждение теоремы теперь очевидно.’^ |
||||||||||||
|
Если |
множество |
U задается |
несколькими |
ограничениями типа |
неравенств или равенств, то на практике часто бывает целесооб разно штрафовать не все из этих ограничений, а только некоторые из них. А именно пусть f/ = {u :« et/ | и gi(u).<Z.О, i — 1, 2,..., s}, где
Ux — множество достаточно простого вида и реализация тех или иных методов минимизации функций на множестве не встречает больших затруднений. Тогда на ограничения gi(u) ^ 0 ( г = 1, 2,...,s) можно наложить штраф с помощью какой-либо штрафной функ ции Ph(u) и перейти к задаче минимизации функции J k (« )= / (« ) + Р й(«) на множестве U\. Теорема 1 и ее доказатель ство и в этом случае полностью сохраняют силу, причем все рас
смотрения |
достаточно провести на множестве U\\ в |
частности, |
здесь нет |
необходимости задавать функции /(и), g i(« ), |
Ph{u) на |
всем пространстве Е т. |
|
Метод штрафных функций дает простую и универсальную схе му решения задач минимизации на множествах 11ф Ет и часто применяется на практике. Однако, как показывает численный опыт, при больших значениях k нахождение точек «л, удовлетво ряющих условиям (3), с ростом k становится все более трудным. Это связано с тем, что с ростом k методы минимизации, исполь зуемые для определения «л, сходятся все более медленно, и, кро ме того, оперирование с большими числами /г также вносит допол
§ Щ Теорема Куна — Тиккера 121
нительные погрешности в вычисления. Поэтому на практике целе сообразно поступать следующим образом. Сначала нужно задать
достаточно |
быстро |
возрастающую последовательность k — k n |
(например, |
fe„=10n, |
п = 1, 2, . . . ) и использовать метод штрафных |
функций до таких возможно больших п, пока удается получить достаточно быстрое убывание функции /(и) с небольшой затратой машинного времени. При этом для малых п слишком точное ре шение задачи минимизации /*(и) нецелесообразно, и успех в при менении метода штрафных функций часто зависит от согласован ного выбора величин к п и е(/еп) = е „ . Если на этом пути не уда-, лось получить решение с требуемой точностью и процесс движения к минимуму при некоторых п сильно замедлился, то далее прибе гают к услугам других более тонких и, вообще-говоря, более тру доемких методов минимизации, позволяющих получить'решение задачи с требуемой точностью. Решение, полученное с помощью метода штрафных функций на одном этапе, полезно использовать в качестве начального приближения на следующем этапе.
Различные аспекты метода штрафных функций рассматрива
лись, например, в работах [27, 35, 75, 109, 155, 170, 171, |
192, 229, |
235, 260]. Подробное изложение различных вариантов |
метода |
штрафных функций, обсуждение вычислительных аспектов этого метода, большое число примеров можно найти в книге [235]. В работах [55, 229] исследован другой способ учета ограничений типа (2), заключающийся в специальном выборе нелинейного преобразования координат, позволяющем перейти от задачи на условный экстремум к задаче поиска экстремума функции на всем пространстве.
§10. ТЕОРЕМА КУНА — ТАККЕРА
Вэтом параграфе рассмотрим теорему Куна — Танкера, за нимающую важное место в теории выпуклого программирования. Эта теорема представляет собой обобщение классического метода множителей Лагранжа [126] для определения экстремумй при на личии ограничивающих условий на случай, когда последние содер жат не только равенства, но и неравенства.
Будем рассматривать задачу |
минимизации /(и) |
переменных |
|||||||||
ы = (и\ |
и2, . . . , ит) |
на множестве |
|
|
|
|
|
||||
U {и : и е |
и ъ |
g L (и) < |
0 |
(г = |
1 , 2 , . . . |
, s), |
g t (и) = 0 |
(i = |
1, 2, . . . |
, р)}, |
|
где U1 — заданное множество в |
Е т, |
функции /(«), |
g i ( u ) , |
g i ( u ) |
|||||||
определены |
на |
и 1ш |
В |
частности, |
возможно, И\= £ т , |
или |
|||||
U{ = (п : ш ^ 0 (г = Л , 2 , . . . , т ) } . |
|
|
|
|
|
||||||
В дальнейшем для каких-либо двух векторов х = ( х и . . . , хп), |
|||||||||||
|
|
уп) |
будем |
писать х ^ у , |
понимая |
под |
этой записью |
||||
выполнение следующих неравенств: xi'^ yi ( i= 1, |
2, . . , |
/г). Если же |
|||||||||
xi> y i ( t =l , |
2, . . , п), то будем писать х > у . Тогда сформулирован |
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 , или / = { / : ! |
< / < //г}); |
|
|
§ Щ |
|
Теорема Куна — |
Таккера |
|
127 |
заданные |
матрицы |
и векторы. Если |
р = 0 или |
s = 0, тогда |
будем |
считать, что в (10) |
ограничения Аи = Ь или соответственно |
Аи.^.Ь |
|||
отсутствуют. |
|
|
|
|
|
Пусть |
_А* , А* |
— матрицы, порученные |
транспонированием |
матриц А, А соответственно; (Аи)и (Au)i — i-тые координаты_век- торов-столбцов Аи, Аи, полученных умножением матриц А, А со-
ответственно |
на |
вектор-столбец |
и = [ и11\; |
uT— (ul, . . . t ит) — |
|||
|
|
|
|
|
|
\ит) |
|
вектор-строка |
(впрочем, |
если это |
не |
может привести к недоразу |
|||
мениям, |
знак |
Т |
в обозначении вектор-строки |
будем часто опус- |
|||
|
|
ТП |
|
|
|
|
|
кать); |
(и, а) |
= ^ |
и1а ‘ — |
скалярное |
произведение векторов-столб- |
||
|
|
i=i |
|
|
|
|
|
цов и, а ^ Е т\ е5= ( 0 , . . . , |
0, I, 0 , . . . , |
0) — /-тый единичный коор |
|||||
динатный вектор; |
|
|
|
|
|
i-тые столбцы матриц А, А, А*, А’ |
соответственно. |
В этих обозна |
||||
чениях имеем |
|
|
|
|
|
|
|
m |
m |
|
m |
|
|
Au = Yi “'А , Аи = £ и*А;, (Аи)) = |
£ |
a hu’ = |
||||
|
•i=i |
i=i |
|
/=1 |
|
|
- |
= (А*, и), (Аи)с = (Д*, и), и’ = (е., и), |
|
||||
и задача (10) |
может быть записана |
в виде (1): |
найти min J (и), |
|||
|
|
|
|
|
|
иеи |
U = {и :и £ Ult |
g c (u) = (Ai, и) — bt = 0 |
(i = 1, |
... , р), |
|||
|
gt.(u) = |
(А*, и) — bt < |
0 (t = 1, . . . |
, s)}, |
|
|
где и х — {и : и 6 Ет, и1> 0 , i б I). |
|
|
|
|
Т е о р е м а 4. Пусть J (и) — гладкая выпуклая функция на множестве Uj. Тогда, для того чтобы точка u *^ U была решением задачи (10), необходимо и достаточно существования точки
А* = ОЛ И*) € Лх = (А = |
(р, р ): р б £ s> Ц > 0, ц б Ер}, |
||
такой, чтобы |
пара |
(«*, А*) образовала седловую точку вида- (2) |
|
для функции |
L(u, |
A,)==/(u) + |
(|.i, Аи—Ь) + (р, Аи— Ь) на множе |
стве П1Х Л 1. |
|
|
|
128 |
МИНИМИЗАЦИЯ ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ |
[Гл. 2 |
|
Д о к а з а т е л ь с т в о . |
Достаточность доказана в теореме 1. |
||
Докажем |
необходимость. |
Пусть и* — точка минимума функции |
|
J (и) на U. Покажем, что |
функция L(u, X) на множестве 1Л Х Л i |
||
имеет седловую точку (и*, |
Л*). Направление |
1т)¥= 0 на |
зовем возможным в точке и*, если существует число ао>0, такое,
что и= и* + atef/ , |
т. |
е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
и£ = |
и * |
+ |
ali > |
0^ (i 6 /), А (и* + а/) — Ь,~А (и* + аI) <^.Ь |
|
|
|||||||||||||||
при всех |
а, |
0 < а < |
а о. Введем множества |
индексов |
|
|
|
|
|||||||||||||
|
/I = "{i : 1 < |
i < |
s, (Au')i = |
&,}, l\ = |
{i : i 6 /, |
u‘* = |
0}. |
|
|
||||||||||||
Нетрудно ^видеть, что направление |
I ф 0 |
будет |
возможным |
в |
точке |
||||||||||||||||
и* тогда и только тогда, если A l= 0, (А1); < 0 |
|
|
lt > 0 |
(t 6 /2), |
или |
||||||||||||||||
|
|
(Л;,/) |
= 0 |
( i = |
1, . .. ,р), (Л ;,/)<0 |
(гб /Г), |
|
|
|
|
|||||||||||
|
|
|
|
|
|
( - |
e t., /)=-/,<0 |
(16 /2). |
|
|
|
|
|
5( H ) |
|||||||
Заметим также, |
что в |
силу выпуклости |
множества |
U направление / |
|||||||||||||||||
будет |
возможным |
тогда и |
только |
тогда, |
когда |
существуют |
точка |
||||||||||||||
и 61/, |
иф иС , и число в > 0 , |
|
такие, что l = |
s(u — и*). Поэтому |
в |
си |
|||||||||||||||
лу теоремы 1.3 будем иметь |
(J ' (и*), и — и*) > 0 |
при всех и 6 1/ |
или |
||||||||||||||||||
(J' (и*), /) > 0 |
для любого /, удовлетворяющего условиям |
(11). |
Поло |
||||||||||||||||||
жим в теореме 3 у = — J' (и'), с, = Ас, а в качестве |
ci возьмем |
век |
|||||||||||||||||||
торы Л( при i 6 /* |
и — ег при i 6 /2- |
Как вытекает из (II) |
и’ неравен |
||||||||||||||||||
ства (— Д (ы *),/ )< 0, |
все условия теоремы 3 _выполнены, |
и, |
следо |
||||||||||||||||||
вательно, |
существуют |
числа |
р£ > 0 |
(i 6 /1), р£|> 0 |
(t 6 /2) |
и |
Pi (i = |
||||||||||||||
= 1, 2, ■■•,р), |
такие |
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
— J' (и*) = |
РгА + |
^ р И Н - |
£ ]p i(— £/). |
|
|
|
£J2) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
i£l\ |
|
16/J |
|
|
|
|
|
|
||
Положим П = |
(p *7p V |
где |
р* = |
(pi, • ^ |
, Рр), |
^р* = (рь • • •, |
Ps), |
Рг и |
|||||||||||||
р* взяты из (12), |
недостающие числа р£ (i ф /]) |
положены |
равными |
||||||||||||||||||
нулю. |
Тогда (12) |
можно переписать в виде |
|
|
|
|
|
|
|
|
|||||||||||
|
J ’ (ц*) +.Л*р* + |
Л*р* = |
£ |
р*е;,:.р*|> 0, |
рЦ >0 (г6 /2). |
|
(13) |
||||||||||||||
Покажем, |
что |
(и*, Я*) — седловая |
толка |
функции |
L {и, |
Я),= /(и) + |
|||||||||||||||
+ (р,~Ли— 6) + |
(р, Ли — 6) |
на множестве |
|
х Ax. |
В |
самомделе, |
|||||||||||||||
L (и, Г ) - |
L ( и * , Г ) = |
J |
(и) - |
|
/ (и*) + |
(р*, Л (и - |
и*)) + (р*, |
А (и - |
и*)) |
§ т Теорема Куна — Танкера 129
Для гладкой выпуклой функции всегда J |
(и) — J (и*) > ( J ' |
(и*), и — иГ), |
|||||||||||||||
поэтому с учетом (13) для любого u^U 1 получим |
|
|
|
|
|
|
|||||||||||
|
L (и, Я*) — L (и*, Г ) |
> |
(J' (и*) + А У + I V |
, и — и*) = |
|
|
|
||||||||||
|
= Y,^ (в* « и — “ *) = S й ( « * — « О = j ] |
|
> о. |
|
|
||||||||||||
|
iG/j |
|
|
|
iG /j |
|
|
t'G/j |
|
|
|
|
|
|
|||
Наконец, при всех Я 6 Лх будем |
иметь |
|
|
|
|
|
|
|
|
|
|
||||||
L (ц*, К ) — Н У , Я) = (р* — р, |
Ли* — 6) + |
(j?— р, Ли* —Ъ) = |
|
|
|||||||||||||
|
= £ |
( р ; - р , ) ( Л и * - й ) ^ 2 |
(— (ч) (Ли* — б); > 0, |
|
|
|
|||||||||||
|
г^/* |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
так как р£> 0 , |
(Ли* — й)£< 0 |
при |
Д |
|
|
|
|
|
|
|
|
||||||
Теоремы 2 и 4 являются частным 'случаем следующей более |
|||||||||||||||||
общей теоремы, которую также принято называть теоремой |
Ку |
||||||||||||||||
на — Таккера. |
|
|
|
|
|
|
_ |
|
|
|
|
|
|
|
|
||
Т е о р е м а |
5. |
Пусть |
U = {u :u ^ U u |
g(u) ,^;0Л g(u) = 0 }, |
где |
||||||||||||
U\—заданное выпуклое множество из Ет, g(u) — (gi(u), |
..., g's(u)), |
||||||||||||||||
ё ( и) = |
( Ы ы)> |
£ ? ( “ )) . |
причем функции gi(u ), |
i = l , |
2, |
..., |
s, |
и |
|||||||||
часть |
функций gi(u) при |
i = l , |
2,_... , |
r .^ s |
являются |
линейными, |
|||||||||||
т. е. |
существуют |
векторы |
а£, |
а£_ и |
числа |
bitJ> it |
такие, |
что |
|||||||||
gi(u) = {au u)—bh |
i= K 2 , . . . , р, gi(u) = |
(a,-, u)—bt, i = |
1, |
2 , . . . , |
г, |
||||||||||||
a остальные |
функции gv(il), |
i = r + 1, . . . , |
s, |
выпуклы |
на |
и |
не |
||||||||||
являются линейными (возможно, что s = 0 или г = 0, или r — s, |
или |
||||||||||||||||
р = 0, т. е. некоторые из ограничений g(u)<C.0 |
или g (u )= 0 могут |
||||||||||||||||
отсутствовать в представлении множества U). |
Пусть |
существует |
|||||||||||||||
точка |
a e l/ i, |
такая, |
что g i(v ) < 0 при i = r + l , . . . , s |
(если |
r = s , |
то |
|||||||||||
это условие отсутствует), и пусть J (и) выпуклая функция на U\. |
|||||||||||||||||
Тогда, |
для того чтобы в точке ( ( * e l /1 |
достигался |
минимум функ |
||||||||||||||
ции J (и) на множестве U, необходимо и_достаточно существова |
|||||||||||||||||
ния точки Я *= (р *, |
p * ) e A i = |
{Я = (р, р) |
: p e £ s, р ^ О , |
р е £ р}, |
та |
||||||||||||
кой, чтобы пара |
(u*,' Я*) образовала седловую точку вида |
(2) |
для |
||||||||||||||
функции Лагранжа |
L(u, |
Я )= / (и ) + (р, |
g'(u)) + |
(p |
g (u )) |
на мно |
|||||||||||
жестве Ui X A i. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Доказательство этой теоремы см., |
например, |
в работе [269], |
|||||||||||||||
§ 28. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема |
Куна — Таккера имеет многочисленные приложения |
в теории экстремальных задач. В частности, с помощью этой тео
ремы |
в следующем параграфе будет |
доказан |
ряд |
важнейших |
теорем |
линейного программирования. |
Теорема |
Куна |
— Таккера |
5 Ф. П. |
Васильев |
|
|
|