Condições de Karush-Kuhn-Tucker

Em otimização, as Condições de Karush-Kuhn-Tucker (também conhecidas como Condições de Kuhn-Tucker ou condições KKT) são condições de primeira ordem para que uma solução de um problema de programação não linear seja ótima, desde que valham condições chamadas de condições de qualificação ou, em inglês, constraint qualifications. Permitindo restrições de desigualdade, as condições KKT generalizam, na programação não linear, o método de multiplicadores de Lagrange, que permite somente restrições de igualdade. O sistema de equações e inequações correspondente às condições KKT em geral não é resolvido diretamente, exceto em alguns casos especiais onde uma solução pode ser obtida analiticamente. Nos demais casos, diversos algoritmos de otimização podem ser usados para resolver numericamente o sistema.

As condições KKT foram originalmente nomeadas após Harold W. Kuhn e Albert W. Tucker, que primeiro publicaram essas condições em 1951. Porém, estudiosos posteriores descobriram que as condições necessárias para esse problema já haviam sido ditadas por William Karush em sua tese de mestrado em 1939.

O problema

Seja o seguinte problema de otimização não-linear (também conhecido como PNL):

$(PNL)\{\begin{array}{cc}\min {\mathrm{\backslash limits}}_x& f(x)\\ \text{sujeito a}& g_i(x)\le 0\\ & h_j(x)=0\end{array}$

onde

$x\in {ℝ}^n$ é a variável de otimização,

$f(x)$ é a função a ser minimizada (chamada também de função objetivo),

$g_i(x)$, com $i=1,2,...,m$ são as restrições de desigualdade,

$h_j(x)$, com $j=1,2,...,l$ são restrições de igualdade,

sendo $m$ e $l$ as quantidades de restrições de desigualdade e igualdade, respectivamente.

Condições necessárias

Seja um PNL definido como na seção acima. Seja também o operador Lagrangeano $L:{ℝ}^n\times {ℝ}^m\times {ℝ}^l\to ℝ$ definido como:

$L(x,\mu ,\lambda )=f(x)+\sum _{i=1}^m{\mu }_i{g}_i(x)+\sum _{j=1}^l{\lambda }_j{h}_j(x)$

Suponha que a função objetivo $f:{ℝ}^n\to ℝ$ e as restrições $g_i:{ℝ}^n\to ℝ$ e $h_j:{ℝ}^n\to ℝ$ sejam continuamente diferenciáveis em um ponto $x^{*}$.

Se $x^{*}$ é um mínimo local para $f$ e o PNL satisfaz algumas condições de regularidade então existem constantes ${\mu }_i$ com $i=1,2,...,m$ e ${\lambda }_j$ com $j=1,2,...,l$, chamadas de multiplicadores KKT tais que:

Estacionariedade

$\mathrm{\nabla }f(x^{*})+\sum _{i=1}^m{\mu }_i\mathrm{\nabla }{g}_i(x^{*})+\sum _{j=1}^l{\lambda }_j\mathrm{\nabla }{h}_j(x^{*})=0$

Folga complementar

${\mu }_i{g}_i(x^{*})=0$ para todo $i=1,2,...,m$

Viabilidade primal

$g_i(x^{*})\le 0$ para todo $i=1,2,...,m$

$h_j(x^{*})=0$ para todo $j=1,2,...,l$

Viabilidade dual

${\mu }_i\ge 0$ para todo $i=1,2,...,m$

As restrições $g_i(x)$ em que $g_i(x^{*})=0$ são chamadas restrições ativas em $x^{*}$.

No caso particular em que $m=0$, isto é, não há nenhuma restrição de desigualdade, as condições KKT se transformam nas condições de Lagrange e os multiplicadores KKT são chamados multiplicadores de Lagrange.

Se algumas das funções não são diferenciáveis, versões subdiferenciáveis das condições KKT estão disponíveis.

Condições suficientes

Em alguns casos, as condições necessárias são também suficientes para otimalidade, mas em geral, isso não ocorre e informações adicionais são necessárias, como as condições suficientes de segunda ordem. Para funções suaves, essas condições envolvem as segundas derivadas, o que explica seu nome.

As condições necessárias são suficientes para otimalidade se a função objetivo $f$ de um problema de maximização é uma função côncava, as restrições de desigualdade $g_j$ são funções convexas continuamente diferenciáveis e as restrições de igualdade $h_i$ são funções afim.

H.D. Martin provou em 1985 que a ampla classe de funções em que as condições KKT garantem a otimalidade global é chamada funções invexas tipo 1.

Condições suficientes de segunda ordem

Para problemas não-lineares suaves, uma condição suficiente de segunda ordem é dada como segue:

Considere $x^{*}$, ${\lambda }^{*}$, ${\rho }^{*}$ que achem um mínimo local usando as condições KKT. Com ${\rho }^{*}$ tal que a complementaridade estrita é mantida em $x^{*}$ (i.e. todo ${\rho }_i>0$), então para todo $s\ne 0$ tal que

${[\frac{\delta g(x^{*})}{\delta x},\frac{\delta h(x^{*})}{\delta x}]}^{T}s=0$

A seguinte equação deve se manter: $s^{\prime }\underset{xx}{\overset{2}{\mathrm{\nabla }}}L(x^{*},{\lambda }^{*},{\rho }^{*})s\ge 0$

Se a condição acima é satisfeita estritamente, a função é estritamente restrita a um mínimo local.