Теорема. Критерий седловатости точки.
Точка () при условях (В) есть седловой точкой ф-и Лагранжа тогда и только тогда, когда
Доказательство:
Необходимости: (следует из определения седл. точки)
По определению седл. точка – это точка минимума.
f (x*)= L(x*,0) < f (x)
из определения: L(x*,0) L(x*, *).
Тогда можем получить что:
f (x*)+ f (x*).
Но в этом случае такого быть не может справедливо что =0 и тогда минимум.
Достаточность:
Пусть () есть точка в которой выполняется (10). Тогда следует из (8) что
L(x*, *)= f (x*).
Если это так, то для произвольных :
L(x*, *)= f (x*) L(x*, ), и точка () – седловая точка.
19. Двойственная функция для ЗНП. Теорема о взаимосвязи экстремумов взаимно двойственных функций.
Двойственная функция в задачах нелинейного програмирования
Пусть
(11)
(12) в силу того, что