Condiciones de Karush-Kuhn-Tucker

En FISICA, Las condiciones de Karush-Kuhn-Tucker (también conocidas como las condiciones KKT o Kuhn-Tucker) son condiciones necesarias y suficientes para que la solución de una programación no lineal séa óptima. Es una generalización del método de los Multiplicadores de Lagrange

consideremos el problema siguiente de optimización no lineal:

$\,{\mbox{minimizar }}f(x)$

${\mbox{sujeto a }}g_{i}(x)\leq 0,h_{j}(x)=0$

donde $f(x)$ es la función a ser minimizada, $g_{i}(x)\ (i=1,\ldots ,m)$ son las restricciones de desigualdad y $h_{j}(x)\ (j=1,\ldots ,l)$ son las restricciones de igualdad, y $m$ y $l$ son el número de restricciones de desigualdad e igualdad, respectivamente.

Las condiciones necesarias para problemas con restricciones de desigualdad fueron publicadas por primera vez en la Tesis doctoral de W. Karush,​ aunque fueron renombradas tras un artículo en una conferencia de Harold W. Kuhn y Albert W. Tucker.​

Condiciones necesarias

Supongamos que la función objetivo, por ejemplo, a minimizar, es $f:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ y las funciones de restricción son $g_{i}:\,\!\mathbb {R} ^{n}\rightarrow \mathbb {R}$ y $h_{j}:\,\!\mathbb {R} ^{n}\rightarrow \mathbb {R}$. Además, supongamos que son continuamente diferenciables en el punto $x^{*}$. Si $x^{*}$ es un mínimo local, entonces existe constantes $\lambda \geq 0$, $\mu _{i}\geq 0\ (i=1,\ldots ,m)$ y $\nu _{j}\ (j=1,...,l)$ tales que

$\lambda +\sum _{i=1}^{m}\mu _{i}+\sum _{j=1}^{l}|\nu _{j}|>0,$

$\lambda \nabla f(x^{*})+\sum _{i=1}^{m}\mu _{i}\nabla g_{i}(x^{*})+\sum _{j=1}^{l}\nu _{j}\nabla h_{j}(x^{*})=0,$

$\mu _{i}g_{i}(x^{*})=0\;{\mbox{para todo}}\;i=1,\ldots ,m.$

Condiciones de regularidad (o cualificación de las restricciones)

En la condición necesaria anterior, el multiplicador dual $\lambda$ puede ser igual a cero. Este caso se denomina degenerado o anormal. La condición necesaria no tiene en cuenta las propiedades de la función sino la geometría de las restricciones.

Existen una serie de condiciones de regularidad que aseguran que la solución no es degenerada (es decir $\lambda \neq 0$). Estas incluyen:

• Cualificación de la restricción de independencia lineal (CRIL): los gradientes de las restricciones activas de desigualdad y los gradientes de las restricciones de igualdad son linealmente independientes en $x^{*}$.
• Cualificación de la restricción de Mangasarian-Fromowitz (CRMF): los gradientes de las restricciones activas de desigualdad y los gradientes de las restricciones de igualdad son linealmente independientes positivos en $x^{*}$.
• Cualificación de la restricción de rango constante (CRRC): para cada subconjunto de las restricciones activas de desigualdad y los gradientes de las restricciones de igualdad, el rango en el entorno de $x^{*}$ es constante.
• Cualificación de la restricción de dependencia lineal constante positiva (DLCP): para cada subconjunto de restricciones activas de desigualdad y de gradientes de las restricciones de igualdad, si es linealmente dependiente positivo en $x^{*}$ entonces es linealmente dependiente positivo en el entorno de $x^{*}$. ($\{v_{1},\ldots ,v_{n}\}$ es linealmente dependiente positivo si existe $a_{1}>=0,\ldots ,a_{n}>=0$ distintos de cero tal que $a_{1}v_{1}+\ldots +a_{n}v_{n}=0$)
• Condición de Slater: para un problema únicamente con restricciones de desigualdad, existe un punto $x$ tal que $g_{i}(x)<0$ para todo $i=1,\ldots ,m$

Puede verse que CRIL=>CRMF=>DLCP, CRIL=>CRRC=>DLCP, aunque CRMF no es equivalente a CRRC. En la práctica, se prefiere cualificación de restricciones más débiles ya que proporcionan condiciones de optimalidad más fuertes.

Condiciones suficientes

Séa la función objetivo $f:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ y las funciones de restricción $g_{i}:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ sean funciones convexas y $h_{j}:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ sean las funciones de afinidad, y séa un punto $x^{*}$. si existen constantes $\mu _{i}\geq 0\ (i=1,\ldots ,m)$ y$\nu _{j}\ (j=1,\ldots ,l)$ tales que

$\nabla f(x^{*})+\sum _{i=1}^{m}\mu _{i}\nabla g_{i}(x^{*})+\sum _{j=1}^{l}\nu _{j}\nabla h_{j}(x^{*})=0$

$\mu _{i}g_{i}(x^{*})=0\;{\mbox{para todo}}\;i=1,\ldots ,m,$

entonces el punto $x^{*}$ es un mínimo global.

Véase también

• Avriel, Mordecai (2003). Nonlinear Programming: Analysis and Methods. Dover Publishing. ISBN 0-486-43227-0.
• R. Andreani, J. M. Martínez, M. L. Schuverdt, On the relation between constant positive linear dependence condition and quasinormality constraint qualification. Journal of optimization theory and applications, vol. 125, no2, pp. 473-485 (2005).