11. (*) 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.
Ejemplo142
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.
Para calcular este punto, observamos que la recta de contacto es
La curva de nivel de contacto es
Así que tenemos que calcular
los puntos sobre esta curva de
nivel, donde la recta tangente es
o más precisamente, los puntos
sobre esta curva de nivel, donde la pendiente de la recta tangente es
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:
.
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,
1
Un problema de maximización en programación no lineal, tiene la siguiente forma:
“Maximizar
sujeto a
con .
”
2
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.
Ejemplo143
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 .
Dado que el vértice
satisface y
queda fuera de la
región factible, por encima de ambas restricciones. 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, y la restricción activa
resulta ser
Para calcular este punto, observamos que la recta de contacto es
La curva de nivel de contacto es
Así que tenemos que calcular
los puntos sobre esta curva de
nivel, donde la recta tangente es
o más precisamente, los puntos
sobre esta curva de nivel, donde la pendiente de la recta tangente es
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 son
los multiplicadores de Lagrange. Notemos que la lagrangiana se ha escrito de modo que cada término
es no negativo en la región factible (para el problema de maximización, donde
), lo cual es
consistente con exigir
Las
condiciones de Kuhn-Tucker para un máximo son
Las
condiciones de Kuhn-Tucker para un mínimo son
Nota:Para el problema de minimización con restricciones la condición expresa
precisamente que es decir, que el punto pertenece a la región factible. La condición de complementariedadindica que si la restricción-ésima no está activa(i.e., , slack estricto),
entonces necesariamente
Bajo ciertas hipótesis, las condiciones de Kuhn-Tucker, son condiciones necesarias y suficientes para determinar si en un punto
, la función
objetivo
alcanza un máximo o mínimo global.
Teorema 22 — Versión para restricciones lineales.
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.
Ejemplo144
Minimizar sujeto
a las condiciones
Solución. : Ya sabemos que podría
alcanzar un mínimo global en
Para aplicar las condiciones de Kuhn-Tucker, reescribimos las restricciones en la forma
requerida para un problema de minimización:
Verificamos a continuación si
satisface las condiciones de Kuhn-Tucker; las condiciones a.) y b.) del teorema ya se cumplen pues las
son
lineales y
es un paraboloide (convexa, y por tanto cóncava cambiando el signo; en este caso la versión de minimización aplica
directamente).
Sea
Como es un problema de minimización, las condiciones son
1.
2.
3.
4.
5.
6.
7.
8.
Las condiciones de no negatividad claramente
se cumplen para el punto . Verificamos
las condiciones 3. y 4. evaluando en :
Observemos que indica
que la restricción
está activa en ,
mientras que
indica que la primera restricción no está activa (tiene holgura estricta). Por la condición de complementariedad
esto
obliga a
Ahora, de las condiciones 5. y 6., como
en , se
requiere
y lo que
conduce al sistema:
que son no negativas como se pedía. Con estos valores, verificamos que se cumplen todas las condiciones de Kuhn-Tucker. El
siguiente cuadro resume el estado de cada restricción:
Restricción
Valor en
Activa
Multiplicador
(holgura)
No
Sí
Por tanto, en la
función objetivo
alcanza un mínimo global.
Ejercicios
Resuelva los siguientes ejercicios usando el método gráfico. Aplique, si se puede, las condiciones de Kuhn-Tucker.
11.1Maximizar sujeto
a las condiciones
La región factible es la misma del ejemplo anterior: está acotada y sus vértices son
y
Evaluando
en cada
vértice:
El máximo es
en
Las condiciones de Kuhn-Tucker no son aplicables para garantizar un máximo global: el teorema exige que
sea cóncava en el octante
no negativo, pero
es convexa. En este caso el máximo se determina directamente comparando los valores en los vértices de la región factible
(región poligonal acotada).
11.2Maximizar , sujeta
a las restricciones
y
La región factible es no acotada. En la dirección del gradiente
podemos tomar
y hacer
ambas restricciones
se satisfacen pues
y para
todo .
Luego y
el problema no tiene solución óptima finita. Las condiciones de Kuhn-Tucker no son aplicables.
11.3Maximizar , sujeta
a las restricciones
y
Los vértices de la región factible son:
y (La intersección
de las dos rectas da
fuera del octante no negativo.) Evaluando:
El máximo es
en
Las condiciones de Kuhn-Tucker sí son aplicables:
es lineal (cóncava) y las restricciones son lineales. La lagrangiana es
En : la
restricción está
activa () y la
primera no (),
por lo que De
se
obtiene
de
se verifica la condición. Todas las condiciones de Kuhn-Tucker se satisfacen con
confirmando el
máximo global en .
11.4Minimizar , sujeta
a las restricciones
y
El punto
satisface todas las restricciones:
Es un punto interior de la región factible, y en él se tiene
que es el valor mínimo
absoluto de . Por tanto,
el mínimo global es
en
En un punto interior con
todas las restricciones tienen holgura estricta, de modo que los multiplicadores son
y las condiciones de
Kuhn-Tucker se reducen a
que se cumple pues
es el vértice del paraboloide.
11.5Minimizar , sujeta
a las restricciones
y
El punto
satisface todas las restricciones:
Es un punto interior y es
el mínimo absoluto de .
El mínimo global es
en
Análogamente al ejercicio anterior, todas las restricciones tienen holgura en
, los multiplicadores son
y las condiciones de
Kuhn-Tucker se reducen a
que se cumple pues
es el mínimo del paraboloide.
11.6Minimizar , sujeta
a las restricciones
y
La región factible es el intervalo
Como es decreciente
en , el mínimo se
alcanza donde es
máximo, es decir en
Las condiciones de Kuhn-Tucker no son aplicables para garantizar un mínimo global:
es cóncava
(no convexa), por lo que el teorema no se puede invocar. El mínimo se determina directamente evaluando los extremos del intervalo:
y
concluyendo que
el mínimo global es
en .