CLASE 4 Puntos Extremos y Existencia

Prof. Carlos Bohle Zrecht (carlos.bohle@gmail.com)

Modelacin
Recomendacin: realizar muchos ejercicios de modelacin del apunte del curso. Si se avisa con suficiente anticipacin, podemos revisar ejercicios en clase.

Importante:
Tener clara la identificacin de funcin objetivo, restricciones y variables. Saber generar variables auxiliares. Reconocer cundo usar distintos tipos de variables.

Puntos Extremos
Donde hemos llegado hasta ahora:
Forma general del problema:

Nocin geomtrica (2D) de este problema. ADVERTENCIA: clase terica y un poco densa.

Puntos Extremos
La formulacin anterior se supone que nos lleva a solucin:
Problema: maximizar retornos de una inversin, sin poner un tope a la cantidad de plata a invertir. Max 1/x, x>0

Cmo saber si un problema tiene solucin ptima? Si conocemos una solucin por la razn que sea (sugerencia de 3, historia, azar) cmo saber si es ptima?

Puntos Extremos
Caracterizacin de puntos extremos:

Puntos Extremos
Caracterizacin de puntos extremos:

Puntos Extremos
Existencia de solucin ptima:

Puntos Extremos
En qu situaciones un problema puede no tener solucin ptima?
Problema con un conjunto de puntos factibles vaco Problema con una desigualdad estricta en el borde donde estara situado el ptimo. Problemas con un dominio no acotado, donde el valor puede crecer tanto como quiera. Problema con una funcin objetiva discontinua sobre el dominio factible, que no sea ptima en el punto de discontinuidad, pero que mejore al acercarse a l.

Puntos Extremos
Teorema 1 : Existencia de soluciones ptimas:

Nota: definicin de conjunto cerrado Un conjunto es cerrado si contiene a todos sus puntos frontera. Si el conjunto es igual a todos los reales, entonces tambin es cerrado porque el conjunto de los puntos frontera es vaco.

Puntos Extremos
Teorema 1 en forma grfica:

Ojo: an teniendo un valor ptimo finito, un problema puede no admitir solucin ptima. Alguna idea de cmo puede suceder eso?

Puntos Extremos
Ejemplo:

Qu sucede en este caso?

P) No tiene solucin, aunque

Puntos Extremos
Corolario: Bolzano-Weierstrass:

Si f es continua, sobre un dominio no vaco, cerrado y acotado, entonces el problema necesariamente tendr solucin ptima, ya que la imagen de una funcin continua sobre un set compacto, es tambin compacta (cerrada y acotada).

Es clara la idea, grficamente?

Puntos Extremos
Qu tipo de funciones son candidatas a no tener solucin ptima? Se puede optimizar si D es no cerrado?

Nota: el teorema 1 y el corolario identifican condiciones suficientes para la existencia de solucin ptima, pero no necesarias Pueden haber problemas que no satisfacen ambas condiciones pero igual presentan solucin ptima.