2015-01-21
532
Пусть x* 
locmin f 
(из выпуклости D) 
Из выпуклости 
или
является глобальным.
Пусть 
-выпукло. Если 
,то для строго выпуклых функций предыдущее неравенством не может превратиться в равенство и они не могут достигать минимум более чем в одной точке.
Теорема 2. Если 
выпукла на выпуклом множестве D и 
то 
(1) и если 
то (1) превращается в равенство. Если кроме того выпукла на D, то (1)является достигнутым условием, чтобы 
.Для недифференцируемых функций критерий 
вводится с использованием понятия субградиента.
Опр.1. Пусть 
. Вектор 
называется субградиентом 
в 
, если 
. (2)
Замечание: множество всех субградиентов в и обозначается 
, а (2) означает, что график лежит не ниже графика линейной функции 
, определенной равенством 
.
Теорема 3. Если выпукла на выпуклом 
и 
, то 
.
Доказательство:
(следует из Т1, п.3.2). Обратное вложение: т.к. и из (2) 
и 
выполняется 
(3)
а условие 
влечет 
для всех малых 
, и подставляя 
в (3) получаем 
. ч.т.д.
Замечание: субдифференциал не пуст в каждой точке области определения выпуклой функции.
|
|
|
Теорема 4: Пусть 
. Точка 
является точкой 
на 
.
Док-во:
Неравенство 
(4) имеет место, если 
- точка на . Оно влечет за собой 
. Обратно, условие (4) означает, что 
принадлежит субдифференциалу 
в . Это означает, что 
- точка на .
10. Функция Лагранжа и седловая точка.
Пусть 
Опр.1. 
определенная формулой 
называется регулярной функцией Лагранжа для задачи выпуклого программирования (ВП).
Опр. 2. Пара 
называется Седловой точкой для задачи ВП, если 
(1)
Теорема 1. 
седловая точка для 
1) 
,
2) 
