Condizione Karush-Kuhn-Tucker - frontiera

[zio_mangrovia]

$ g(x)=(g_1(x), ... g_m(x)) $Buongiorno,
dato da condizione di Karush-Kuhn-Tucker per la ricerca dei punti stazionari di una funzione non lineare vincolata e dati i seguenti vettori:

$g(x)=(g_1(x), ... g_m(x))$
$h(x)=(h_1(x), ... h_p(x))$
$\lambda= lambda_1(x), ... lambda_m(x))$
$\mu= mu_1(x), ... mu_p(x))$

Sia $\barx$ minimo locale e $\lambda>=0$, questa condizione risulta essere necessaria per la condizione di minimo locale ma non sufficiente.

sistema:
$\gradf(\barx)+\sum_{i=0}^m\lambdagradg_i(\barx) $+$\sum_{j=0}^m\mugradh_j(\barx)=0$
$<\lambdag(\barx)> =0$
$g(\barx)<=0$
$h(\barx)=0$



Non ho compreso, ma provo a riflettere con voi, se questo elenco di punti che soddisfano il sistema appartiene solo alla frontiera del dominio costituente il vincolo oppure se la ricerca è estesa anche all'interno.
Se è presente nel sistema $h(\barx)=0$ mi verrebbe da dire che riguarda solo la frontiera, che dite ?