Рассмотрим проблему —
minf left(x right) такое, что x inX, где X — открытое множество в mathbbRn и gi left(x right) leq0,i=1,2,...,m
Пусть S = \ left \ {x \ in X: g_i \ left (x \ right) \ leq 0, \ forall i \ right \}
Пусть hatx inS и f и gi,i inI дифференцируемы в hatx, а gi,i inJ непрерывны в hatх. Кроме того, bigtriangledowngi left( hatx right),i inI линейно независимы. Если hatx решает вышеуказанную проблему локально, то существует ui,i inI, такой что
bigtriangledownf left(x right)+ displaystyle sum limiti inIui bigtriangledowngi left( hatx right)=0, ui geq0,i inI
Если gi,i inJ также дифференцируемы в hatx. затем hatx, затем
bigtriangledownf left( hatx right)+ displaystyle sum limitmi=1ui bigtriangledowngi left( hatx right)=0
uigi left( hatx right)=0, foralli=1,2,...,m
ui geq0 foralli=1,2,...,m
пример
Рассмотрим следующую проблему —
minf left(x1,x2 right)= left(x1−3 right)2+ left(x2−2 right)2
такой, что x21+x22 leq5,
x1,2x2 geq0 и hatx= left(2,1 right)
Пусть g1 left(x1,x2 right)=x21+x22−5,
g2 left(x1,x2 right)=x1+2x2−4
g3 left(x1,x2 right)=−x1 и g4 left(x1,x2 right)=−x2
Таким образом, вышеуказанные ограничения могут быть записаны как —
g1 left(x1,x2 right) leq0,g2 left(x1,x2 right) leq0
g3 left(x1,x2 right) leq0, и g4 left(x1,x2 right) leq0 Таким образом, поэтому I = \ left \ {1,2 \ right \} , u3=0,u4=0
bigtriangledownf left( hatx right)= left(2,−2 right), bigtriangledowng1 left( hatx right)= left(4,2 right)) и
bigtriangledowng2 left( hatx right)= left(1,2 right)
Таким образом, помещая эти значения в первое условие условий Каруша-Куна-Такера, мы получаем —
u1= frac13 и u2= frac23
Таким образом, условия Каруша-Куна-Такера выполняются.