5. Теория двойственности в выпуклом программировании

Рассм. зад. (1). Будем предполагать, что мн-во планов этой задачи регулярно. Тогда для нее справедлива теорема Куна-Таккера. По параметрам зад. (1) составим функцию Лагранжа, и будем строить две функции.

(2), (3)

наз. прямой, – двойственной для задачи (1). Рассмотрим две задачи:

(4), (5)

Задачу (4) называют прямой, а (5) – двойственной для задачи (1). Множество называется множеством прямых планов, а множество – множеством двойственных планов.

Рассм. множество прямых планов. По определению функции получаем: . Тогда видно, что множество прямых планов (4) в точности совпадает с множеством планов основной задачи выпуклого программирования и на этом множестве . Это означает, что задачи (4) и (1) идентичны (одинаковы).

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

Теорема. (Соотношения двойственности)

1. Справедливо неравенство , . (6)

2. Если оптимал. план зад.(3), то тогда – оптимал. план зад. (4), причем

. (7)

3. Если – оптимал. планы задач(4),(5),то на них выполн-ся усл. .

4. 4.1) Если на некоторой последовательности двойственных планов , то .

2. Если на некоторой последовательности , то множество двойственных планов пусто.

5. Для того чтобы были оптимал. планами(4),(5) необход. и достаточно, чтобы пара была седловой точкой функции Лагранжа для задачи (1).

6. Если для некоторых планов выполняется , то они являются оптимальными планами (4), (5).

6. Решение одной задачи квадратичного программирования.

Рассмотрим следующую задачу оптимизации

. (28)

В (28) – симметричная матрица, .

Очевидно, что (28) – задача со строго выпуклыми функциями и линейными ограничениями и имеет форму основной задачи выпуклого программирования с равенствами. Для этой задачи справедлива теорема Куна-Таккера, причем . Построим для задачи (28) функцию Лагранжа.

и будем строить двойственную функцию: . Поскольку функция Лагранжа при строго выпукла, то достигается в стационарной точке, то есть там, где (29)

Составим условие стационарности:

(30)

Отсюда получаем:

. И построим двойственную задачу: (31)

Нетрудно убедиться, что функция является строго вогнутой относительно (для этого нужно взять вторую производную по от и убедиться в том, что это будет матрица отрицательная). И поэтому задача (31) всегда имеет оптимальный план, и он достигается в стационарной точке

(32)

Составляем условие стационарности (32)

.

Отсюда находим оптимальный план (31), получаем:

– оптимальный план (31).

По теории двойственности тогда существует оптимальный план и прямой задачи, которая совпадает с (28) и он имеет вид:

Таким образом, теория двойственности позволяет для задачи (28) сразу получить оптимальный план в явной форме. Задача (28)относится к задачам квадратичного программирования, то есть к задачам с квадратичной целевой функцией и линейными ограничениями.