Методы оптимизации

Назад § 7. Общая задача нелинейного программирования Вперед

Ибо самое странное, заставляющее быть настороже в этой среде, или мире, в котором мы вынуждены существовать, состоит в том, что мир — в пределах неумолимо очерченного горизонта — всегда представляет нам разнообразные возможности действия, и нам не остается ничего, кроме как выбирать из этого разнообразия, осуществляя таким образом на практике свою свободу.

Х. Ортега-и-Гассет. Человек и люди



Здесь в соответствии со схемой предыдущего параграфа рассматривается общая задача нелинейного программирования с гладкими функциями.

7.1. Постановка задачи.

Общей задачей нелинейной условной оптимизации мы будем называть условную задачу минимизации

f0(x) ® min,   x О W,(1)

где W выделяется как ограничениями типа равенств

fi(x) = 0,   i = 1, ..., k,(2)

так и ограничениями типа неравенств

gj(x) Ј 0,   j = 1, ..., l(3)

(см. рис. 22).

Множество допустимых точек
Рис. 22.

Как и в предыдущем параграфе определяются допустимые точки, локальный и глобальный, строгий и нестрогий минимумы. Так же мы будем использовать обозначения f и g для функций из Rm в Rk и Rl, соответственно, определяемые координатами fi и gj. Поэтому задачу (1)(3) можно записывать в виде

f0(x) ® min,   f(x) = Q,   g(x) Ј Q.(4)

(напомним, что неравенство g(x) Ј Q означает покоординатные неравенства).

Нам также потребуется следующее обозначение: a+ = (a + |a|)/2; таким образом, a+ = a, если a і 0 и a+ = 0, если a Ј 0. Для векторов a О Rm операция "+" определяется покоординатно: a+ = ((a1)+, ..., (am)+). Кроме того, через J(x) будет обозначаться множество индексов так называемых активных ограничений: J(x) = {j О {1, ..., l}: gj(x) = 0} — это номера ограничений, которые в данной точке существенны. Например, на рис. 22 J(x1) = {2}, а J(x2) = Ж.

7.2. Теорема (обобщенное правило множителей Лагранжа).

Пусть f0, f, g О C1, а x* — локальное решение задачи (4). Тогда найдутся такие l*0 О R, l* О Rk, m* О Rl, не равные одновременно нулю, такие, что m*j і 0 при j О J(x*) и

l*0 f ў0(x*)+ k
е
i = 1
l*i f ўi(x*)+  
е
jОJ(x*)
m*j gўj(x*) = Q.
(5)

Д о к а з а т е л ь с т в о.  Возьмем r > 0 таким, чтобы x* = argminxОWr f(x), где Wr = W З B(x*, r). Для любого n О N определим функцию f n: Rm ® R равенством

f n(x) = f0(x) + n(||f(x)||2 + ||g+(x)||2) + ||x - x*||2.

З а д а ч а   7.1. Докажите, что f n О C1, в частности, покажите, что (||g+(x)||2)ў = 2g+(x)gў(x).

Поскольку f n непрерывно дифференцируемы и поэтому непрерывны, функции f n на шаре B(x*, r) достигают минимума; обозначим его через xn. В частности,

f n(xn) Ј f n(x*),(6)

т. е.

f0(xn) + n(||f(xn)||2 + ||g+(xn)||2) + ||xn - x*||2 Ј f n(x*).

Отсюда, поскольку, как легко видеть, f n(x*) = f0(x*),


||f(xn)||2 + ||g+(xn)||2 Ј 

1
n

[f0(x*) - ||xn - x*||2 - f0(xn)],

Выражение в квадратных скобках ограничено, так как xn О B(x*, r). Поэтому ||f(xn)||2 + ||g+(xn)||2 ® 0 при n ® Ґ и, следовательно, f(xn) ® Q и g+(xn) ® Q при n ® Ґ.

Пусть теперь {xni} — произвольная сходящаяся, скажем к y, подпоследовательность. Тогда, как легко видеть, во-первых, y О W и, во-вторых, f ni(xni) ® f0(y) + ||y - x*||2 при n ® Ґ. Поэтому, подставляя в (6) ni вместо n и переходя к пределу в получившемся неравенстве при i ® Ґ, получим

f0(y) + ||y - x*||2 Ј f0(x*).

С другой стороны, так как x* = argmin f(x), f0(x*) Ј f0(y). Отсюда ||y - x*||2 Ј 0, т. е. y = x*. Таким образом, любая сходящаяся подпоследовательность последовательности {xn} сходится к x*. Последнее, учитывая компактность последовательности, гарантирует ее сходимость к тому же пределу.

Далее, в силу доказанного можно считать, что при всех n точка xn лежит внутри шара B(x*, r). Поэтому в силу теоремы Ферма (f n)ў(xn) = Q, т. е.

f ў0(xn)+ 2k
е
i = 1
fi(xn)f ўi(xn)+ 2l
е
j = 1
[gj(xn)]+gўj(xn)+ 2(xn - x*) = Q.
(7)

Положим теперь


sn = 

ж
и

1 + 4n2

k
е
i = 1

[fi(xn)]2 + 4n2

l
е
j = 1

[gj(xn)]2

ц
ш
-1/2


,

ln0 = sn, lni= 2nfi(xn)sn, mnj= 2n[gj(xn)]+sn. Поскольку ln0,lnj,mnjО [-1, 1] (n О N; i = 1, ..., k; j = 1, ..., l), можно считать, не ограничивая общности, что найдутся такие l*0,l*iи m*j,что

ln0® l*0,  lni® l*i,  mnj® m*j  при  n ® Ґ.

Умножив (7) на sn и переходя в получившемся равенстве к пределу при n ® Ґ, получаем


l*0f ў0(x*)+ 

k
е
i = 1

l*if ўi(x*)+ 

l
е
j = 1

m*jgўj(x*)= Q. 

(8)

Остается заметить, что, во-первых, так как |ln0|2+ еki=1|lni |2+еlj=1|mnj|2=1, не все из l*0,l*i,m*jравны нулю, во-вторых, поскольку mnj= 2n[gj(xn)]+sn і 0, неотрицательны и m*jи, наконец, в-третьих, если j П J(x*) (т. е. gj(x*) < 0), то gj(xn) < 0 при больших n; поэтому [gj(x*)]+ = 0, что влечет равенство m*j= 0 и, следовательно, равенство

l
е
j = 1

m*jgўj(x*)= 

 
е
jОJ(x*)

m*jgўj(x*). 

Таким образом (8) — это (5).

7.3. Регулярный случай.

Так же, как и в случае ограничений-равенств в случае общей задачи нелинейной оптимизации, необходимый признак, задаваемый теоремой 7.2, информативен только в случае, если l*0 0. В этой ситуации, так же как и в предыдущем параграфе можно разделить (5) на l*0 и, следовательно, считать его равным единице. Это позволяет ввести функцию Лагранжа L: Rm×Rk×Rk ® R (в регулярном случае) равенством

L(x, l, m) = f0(x) + (l, f(x)) + (m, g(x)).

Условие регулярности в случае общей задачи выглядит сложнее. Именно, допустимая точка x называется регулярной, если векторы f ў1(x),..., f ўk(x)линейно независимы и для некоторого ненулевого вектора h О Rm

(f ўi(x),h) = 0 при i = 1, ..., k

и

(gўj(x),h) < 0 при j О J(x).

Геометрически, эти условия означают, что, во-первых, вектор h является касательным к многообразию, выделяемому ограничениями-равенствами (т. е. ортогонален всем градиентам f ўi(x)),и, во-вторых, он образует с градиентами gўj(x)активных ограничений (указывающими, очевидно, вовне множества W) тупой угол (см. рис. 23).

К понятию регулярной точки
Рис. 23.

7.4. Теорема (обобщенное правило множителей Лагранжа в регулярном случае).

Пусть f0, f, g О C1, а x* — регулярное локальное решение задачи (4). Тогда найдутся l* О Rk, m* О Rl не равные одновременно нулю, такие, что m*j і 0 при j О J(x*) и

Lўx(x*,l*, m*) = 0,(9)

(m*, g(x*)) = 0.(10)

Д о к а з а т е л ь с т в о.  Пусть l0**, l** и m** — величины, существование которых утверждается в теореме 7.2. Покажем, что l0** 0. В предположении противного умножим (5) скалярно на вектор h, фигурирующий в определении регулярности x*:

k
е
i = 1

li**(f ўi(x*),h)+ 

 
е
jОJ(x*)

mj**(gўj(x*),h) = Q. 

(11)

В силу регулярности (f ўi(x*),h) = 0 и (gўj(x),h) < 0, а по теореме 7.2 mj**і 0 при j О J(x*). Поэтому (11) влечет равенство m** = Q. Но тогда (5) означает, что

k
е
i = 1

li**f ўi(x*)= Q, 

что вместе с линейной независимостью f ўi(x*)дает равенство l** = Q. Противоречие.

Таким образом l0** 0. Положим теперь l*i= li**/l0**(i = 1, ..., k),


m*j= 

м
н
о
mj**/l0**при  j О J(x*),

0  при  j П J(x*).

Очевидно теперь, (10) выполняется автоматически, а (9) тривиально получается из (5).

7.5. Достаточные условия, существование, единственость.

Ситуация с задачей (1)(3) несколько отличается от изучавшихся ранее, поскольку минимумы здесь могут быть двух типов. В случае, когда в точке минимума x* нет активных ограничений, т. е. J(x*) = Ж, ситуация полностью аналогична описанной в предыдущем параграфе, поскольку ограничения-неравенства в окрестности точки x* можно опустить (см. рис. 24а). В случае же, когда J(x*) Ж минимум может достигаться на границе множества W и точка x* может не быть стационарной точкой (см. рис. 24б).

Решения условной задачи
Рис. 24.

Мы ограничимся лишь формулировками результатов, поскольку в идейном плане они не доставляют ничего нового. Аналогом теоремы 6.9 может служить следующая

Теорема (достаточные условия минимума). Пусть f0, f, g О C2, а x* — допустимая точка такая, что для некоторых l* О Rk и m* О Rl, одновременно не равных нулю, выполнены условия (9)(10) и при любых h О Rm, h Q таких, что

(f ўi(x*),h) = 0  при  i = 1, ..., k;

(gўj(x*),h) = 0  при  j О J(x*), m*j> 0;

(gўj(x*),h) і 0  при  j О J(x*), m*j= 0

выполнено неравенство (Lўўxx(x*,l*, m*)h, h) > 0. Тогда x* — локальное решение задачи (1)(3).

З а д а ч а  7.2. Докажите.

Что касается утверждений о существовании и единственности, то ситуация с результатами, которые могут быть доказаны изученными выше приемами, полностью аналогична.

З а д а ч а  7.3. Сформулируйте и докажите аналоги утверждений задач 6.7 и 6.8 для задачи (1)(3).

7.6. Об ограничениях-равенствах.

С целью упрощения изложения, начиная с этого момента, мы будем рассматривать задачу условной оптимизации, содержащую только ограничения-неравенства. Это, с одной стороны, не снижает общности изложения, поскольку ограничения-равенства сводятся к ограничениям-неравенствам: ограничение

f(x) = Q

эквивалентно ограничениям

f(x) Ј Q,   -f(x) Ј Q.

С другой стороны, задачи с ограничениями-равенствами мы уже достаточно подробно рассматривали выше.

Здесь, правда, следует помнить об одном важном обстоятельстве. При решении задач с ограничениями-неравенствами часто бывает важна (существенно используется) выпуклость функций, фигурирующих в задаче, вернее, выпуклость минимизируемой функции f0 и выпуклость множества W допустимых точек. Последнее гарантируется выпуклостью функций gj в ограничениях-неравенствах (см. задачу 7.4 ниже). Множества же, выделяемые ограничениями-равенствами, не бывают выпуклыми, за исключением случая аффинных функций fi. Поэтому методы решения задач условной оптимизации, существенно использующие "выпуклость задачи" могут применяться к задачам с ограничениями-равенствами с большой осторожностью.

Напомним, что множество W М Rm называется выпуклым, если "(x, y О W, l О [0, 1])[lx + (1 - l)y О W].

З а д а ч а  7.4. Докажите, что если функции gi: Rm ® R (i = 1, ..., l) выпуклы, то множество W = {x О Rm: gi(x) Ј 0, i = 1, ..., l} выпукло.

З а д а ч а  7.5. Докажите, что если функция g: Rm® R выпукла, вместе с функцией -g, то она аффинна: g(x) = (b, x) + c.

7.7. Еще один достаточный признак условного минимума.

Напомним, что точка (x*, l*) называется седловой точкой функции L: W1×W2 ® R (W1 М Rm, W2 М Rl), если при всех (x, l) М W1×W2 выполнены неравенства

L(x*, l) Ј L(x*, l*) Ј L(x, l*)

Теорема. Пусть (x*, l*) — седловая точка функции Лагранжа L: Rm×Rl+® R задачи (1), (3) (здесь Rl+= {l О Rl: l і Q}), l* і Q, x* — допустимая точка. Тогда x* — глобальное решение этой задачи.

Д о к а з а т е л ь с т в о.  Пусть x — произвольная допустимая точка, т. е. gi(x) Ј 0 (i = 1, ..., l). Тогда

f0(x*) + (l*, g(x*)) = L(x*, l*) Ј L(x, l*) = f0(x) +(l*, g(x)).(12)

Покажем, что

(l*, g(x*)) = 0.(13)

Тогда из (12), поскольку l* і Q, а g(x) Ј Q, будет следовать нужное неравенство f0(x*) Ј f0(x). Для доказательства (13) заметим, что по условию теоремы L(x*, Q) Ј L(x*, l*), т. е.

(l*, g(x*)) і 0.(14)

Равенство (13) вытекает теперь из (14), т.к. l* і Q, а g(x*) Ј Q.

Тот факт, что доказанная теорема дает лишь достаточный признак условного минимума демонстрируетсмя в следующей задаче.

З а д а ч а  7.6. Покажите, что одномерная задача минимизации функции f(x) = -x при ограничениях x Ј 1, -x Ј 0 разрешима, но ее функция Лагранжа не имеет седловых точек.

З а д а ч а  7.7. Если в предыдущей теореме (x*, l*) — локальная седловая точка, то можно ли утверждать, что x* — локальное решение задачи (1), (3)? (Ответ: нельзя).

Однако, если функции f0 и gi (i = 1, ..., l) выпуклы, а множество W содержит хотя бы одну внутреннюю точку, то условия доказанной теоремы являются необходимыми и достаточными (это утверждение называется теоремой Куна — Таккера; оно является центральным фактом теории выпуклого программирования).

Перейдем к описанию методов решения задач с ограничениями-неравенствами. Многие из описываемых ниже методов либо существенно используют выпуклость объектов, фигурирующих в задаче, либо вообще неработоспособны на невыпуклых задачах.

7.8. Методы возможных направлений.

Эти методы основываются на следующем простом понятии. Вектор (направление) z в допустимой точке x назовем возможным для задачи (1), (3), если малое перемещение в этом неправлении уменьшает значение функции f0 и не выводит из множества допустимых точек, т. е. если при достаточно малых s точка xs = x + sz допустима и f(xs) < f(x). Если теперь на каждом шаге сдвигаться в возможном направлении на достаточно малое расстояние, то мы очевидно получим релаксационную последовательность, которая во многих случаях будет сходиться к решению задачи. Методы этого типа называются методами возможных направлений.

З а д а ч а  7.8*. Докажите, что если (f0(x), z) < 0, то малое перемещение из точки x в направлении z уменьшает значение функции f0 (ср. с доказательством теоремы Ферма).

З а д а ч а  7.9*. Докажите, что если точка x допустима и (gi(x), z) < 0 при i О J(x), то малое перемещение из точки x в направлении z не выводит из множества допустимых точек.

В силу этих задач возможное направление zn в очередной точке xn, в котором функция f0 будет убывать быстрее всего, можно искать, решая задачу линейного программирования (о методах решения линейных задач см. список литературы)

(f ў0(xn),z) ® min,(15)

(gўi(xn),z) Ј 0,   i О J(xn),(16)

zi - 1 Ј 0,   -zi - 1 Ј 0,   i = 1, ..., m.(17)

Здесь "нормализующие" ограничения (16) введены для того, чтобы искать вектор возможных направлений на ограниченном множестве, т. е. для того, чтобы линейная задача (15)(16) была разрешима. К сожалению, решение задачи (15)(16) не всегда дает возможное направление (см. рис. 25). Причиной этого являются нестрогие неравенства в (16) (задачи же со строгими неравенствами часто оказываются неразрешимыми, поскольку точная нижняя грань значений функции f0 часто достигается на границе множества допустимых точек, которая в случае строгих ограничений-неравенств не принадлежит этому множеству). Эту трудность можно обойти разными способами. Например, на каждом шаге можно "возвращать" точку во множество W с помощью какой-либо процедуры "проектирования" см., например, следующий пункт). Можно также поступать следующим образом. Для любой допустимой точки x и произвольного e > 0 определим множество Je(x) индексов так называемых e-активных ограничений:

Je(x) = {i О {1, ..., m}: gi(x) і -e}.

Вектор ''возможных'' перемещений, выводящий из множества допустимых точек
Рис. 25.

Таким образом, если e малó и i О Je(x), то i-ое ограничение в точке x почти обращается в равенство. В одном из вариантов метода возможных направлений выбирают последовательность en ® 0 и из очередной точки xn следующий шаг совершют в направлении zn:

xn+1 = xn + anzn,(18)

где zn есть решение следующей линейной задачи

x® min

с ограничениями

(f ў0(xn),z) - x Ј 0,

(gўi(xn),z) - x Ј 0,   i О Jen(xn)

и нормализующими ограничениями (16). Подчеркнем, что в этой задаче неизвестными являются z и x. Длина шага в (18) выбирается таким образом, чтобы точка xn+1 не выходила из множества допустимых точек.

7.9. Методы проекции градиента.

Проекцией PWx точки x О Rm на множество W М Rm называется любая ближайшая к x точка множества W:

||x - PWx|| Ј ||x - y|| при всех y О W.

З а д а ч а  7.10. Докажите, что если W замкнуто и выпукло, то для любой точки проекция сужествует и единственна.

З а д а ч а  7.11. Приведите пример, когда проекция: а) не существует; б) не единственна.

В тех случаях, когда проекцию точки на множество допустимых точек задачи (1), (3) найти достаточно легко (например, когда W линейное подпространство, полупространство, шар, Rm+и  т. д.) используют метод проекции градиента:

xn+1 = PW(xn - anf ў0(xn))

(см. рис. 26), являющийся прямым обобщением градиентного метода.

Метод проекции градиента
Рис. 26.

Можно доказать, например, что если функция f0 О C1 сильно выпукла и f ў удовлетворяет условию Липшица, а множество W замкнуто и ограничено, то метод проекции градиента сходится со скоростью геометрической прогрессии.

7.10. Методы линеаризации.

Суть этих методов, как следует из названия, состоит в линеаризации минимизируемой функции и ограничений в очередной точке xn строящейся релаксационной последовательности и объявлении следующим значением xn+1 решения получающейся линейной задачи, т. е. задачи

(f ў0(xn),x - xn) ® min,(19)

gi(xn) + (gўi(xn),x - xn) Ј 0,   i = 1, ..., l.(20)

Чтобы эта (линейная) задача была разрешима либо добавляют штраф в минимизируемую функцию, заменяя (19), например, задачей

(f ў0(xn), x- xn) + d||x - xn||2 ® min,

либо добавляя к (20) простые ограничения, которые делают множество допустимых точек этой задачи ограниченным, например, (линейные) ограничения

xi - xni- an Ј 0,   -xi + xni- an Ј 0   (i = 1, ..., m).

Часто для уменьшения объема вычислительной работы среди ограничений (20) оставляют только e-активные.

7.11. Методы штрафов.

Основная идея здесь заключается в переходе от задачи (1), (3) к задаче безусловной оптимизации, в которой "наказывается" либо удаление от множества W допустимых точек (внешний штраф), либо приближение изнутри множества W к его границе (внутренний штраф). Например, это можно сделать так. Для любого s > 0 определим функцию Fsout:Rm ® R равенством (индекс "out" станет понятен чуть ниже)


Fsout(x)= f0(x) + s

l
е
i = 1

(gi)2+(x).

(21)

З а д а ч а  7.12 (ср. с задачей 6.11). Пусть f0, g О C1, а x* — единственное решение задачи (1), (3). Пусть, кроме того, множество {x О Rm: ||gi(x)|| Ј e, i = 1, ..., l} при некотором e і 0 непусто и ограничено. Докажите, что (безусловная) задача

F sout(x)® min(22)

при всех s разрешима и ее решение xs сходится к x* при s® Ґ.

Геометрическая трактовка замены задачи (1), (3) задачей (22) изображена на рис. 27.

Геометрическая интерпретация задач (1),(3) и (22)
Рис. 27.

Задачу (22) решают тем или иным методом решения безусловных задач, увеличивая на каждом шаге штраф s. Как и в случае задач с ограничениями-равенствами, основным недостатком метода штрафов является рост числа обусловленности задачи (22) с ростом s.

Описанный класс методов называют методами внешних штрафов, поскольку минимизируемая функция изменяется вне множества W. На несколько другой идее основываются так называемые методы внутренних штрафов или барьеров. Образно его можно описать так: у границы множества W возводятся барьеры, не позволяющие приближаться к его границе. Например, вместо задачи (1), (3) можно рассмотреть задачу

Fsin(x)® min,(23)

где функция Fsin: Wg ®R определяется равенством (ср. с ((21))


Fsin(x)= f0(x) + s

l
е
i = 1
1
gi(x)
.

Сравнение геометрических интерпретаций задач (1), (3) и (23) изображено на рис. 28.

Геометрическая интерпретация задач (1),(3) и (23)
Рис. 28.

З а д а ч а  7.13. Сформулируйте и докажите аналог задачи 7.5 для метода барьеров.

Задача (23) решается методами, развитыми для безусловных задач; при этом "крутизна барьера" характеризуемая числом s, возрастает на каждом шаге.

З а д а ч а  7.14. Попытайтесь выписать аналоги штрафных функций Fsoutи Fsinдля общей задачи нелинейного программирования (1)(3), содержащей как ограничения-неравенства, так и ограничения-равенства.

7.12. Двойственные методы.

Суть методов из этого весьма обширного класса в применении к задачам с ограничениями-неравенствами, так же как и в задачах с ограничениями-равенствами, заключается в замене условной задачи (1), (3) задачей поиска стационарной (часто седловой) точки функции Лагранжа. В выпуклом случае задача (1), (3) и задача о поиске седловой точки функции Лагранжа в силе теоремы Куна – Таккера эквивалентны. Например, применение простейшего (градиентного) метода к последней задаче приводит к следующему методу Эрроу – Гурвица – Удзавы:

xn+1 = xn - anLўx(xn,mn),

mn+1 = [mn + anLўm(xn,mn)]+.

Для поиска седловой точки в двойственных методах применяют почти весь спектр описанных выше методов минимизации — методы Ньютона, квазиньютоновские методы, методы сопряженных направлений и  т. д.


File based on translation from TEX by TTH, version 3.05.
Created 10 Jun 2001, 20:58.