8. (*) Extremos globales. Condiciones de Kuhn-Tucker.
Haremos aquí, una pequeño acercamiento a la programación no lineal. Sea
una
función posiblemente no lineal,
Un
problema de maximización en programación no lineal, tiene la siguiente forma:
“Maximizar
sujeto a
con .
”
Un
problema de minimización en programación no lineal, tiene la siguiente forma:
“Minimizar
sujeto a
con .”
Solución gráfica. Para obtener una solución gráfica de un problema de programación no lineal (o lineal) sencillo,
usamos las mismas ideas que se discutieron en la sección de multiplicadores de Lagrange. Las restricciones
y las condiciones de no
negatividad, determinan una región factible para encontrar una solución. Nos movemos luego, sobre esta región o hacia esta región, sobre las
curvas de nivel de en la
dirección en la que
crece o decrece, según sea el problema (maximización o minimización).
Una vez encontrada una solución, el problema de determinar si es un máximo (o mínimo) global depende de que se satisfagan
ciertas condiciones.
Minimizar sujeto
a las condiciones
Solución. : Aquí las restricciones son lineales. La región factible es la región sombreada en las figuras. La función es un paraboloide con vértice en . La dirección de decrecimiento es hacia el vértice (entre más me acerco al centro, más pequeño se hace ). El punto donde alcanza el mínimo local, se encontraría en el “punto más profundo” de la región factible en la dirección de decrecimiento.
| | |
La pendiente de la recta tangente a la curva de nivel
en es
y, puesto que está
también sobre la recta
entonces tendríamos que
Resolvemos entonces el sistema:
.
Condiciones de Kuhn-Tucker.
Consideremos el problema
“Maximizar
sujeto a
con .”
Entonces, consideremos la función lagrangiana
Las condiciones de Kuhn-Tucker para un máximo son
Dado el problema no lineal
“Maximizar (o Minimizar)
sujeto a
con ,”
si se satisfacen las siguientes condiciones:
- a.)
- las
son lineales (diferenciables y convexas) en el octante no negativo,
- b.)
-
es diferenciable y cóncava en el octante no negativo,
- c.)
- el punto
satisface las condiciones de Kuhn-Tucker
entonces en , la función objetivo alcanza un máximo (o mínimo) global.
Para verificar que un punto
satisface las condiciones de Kuhn-Tucker, se desarrollan estas condiciones, i.e. , se calculan las derivadas parciales
y las
, luego las
se evalúan en
y se debe verificar
que existen
tal que se satisface todo el conjunto de condiciones.
Minimizar sujeto
a las condiciones
Solución. : Ya sabemos que podría
alcanzar un a mínimo global en
Ahora verificamos si satisface las condiciones de Kuhn-Tucker, pues las condiciones a.) y b.) ya se cumplen.
Sea
Como es un problema de minimización, las condiciones son
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
Al sustituir en las condiciones 5. y 6. obtenemos que
y que de
donde se obtiene
que son no negativas como se pedía. Con estos valores de las
y
, se cumplen todas las condiciones
de Kuhn-Tucker. Por tanto en
la función objetivo
alcanza un mínimo global.