Está en la página 1de 3

Instituto de Matematica y Ciencias

Afines (IMCA)

Proyecto de Tesis de Maestra con Mencion en


Matematica Aplicada

Ttulo de la Tesis
mmmmmmzmg

Tesista: Luis Alonso Fiestas Llenque

Asesores: Roger Metzger (IMCA)

Lima, 20 de marzo del 2017

Eladio Ocana Anaya


Coordinador de la Maestra

1
1 Introduccion
La tesis se enmarcara dentro de lo que es Teora de Optimizacion, y pretende
estudiar uno de los topicos mas importantes de la Optimizacion, como es la
Teora de la Dualidad Lagrangiana en optimizacion no convexa. Su impor-
tancia es tanto teorica como aplicada.
En la Tesis se analizara la validez de las propiedades de Dualidad fuerte
y Gap de dualidad cero, dentro del ambito de la programacion matematica.
En consecuencia se establecera clases de problemas no convexos para las cuales
las propiedades anteriores se cumplen.

1.1 Formulacion general del problema


Sea X un espacio vectorial topologico localmente convexo; Y un espacio nor-
mado; P Y un cono convexo cerrado con interior topologico eventualmente
vaco, C un subconjunto de X. Dado f : C R y g : C Y , se considera el
siguiente problema de minimizacion:

:= inf f (x) (P )
xK

donde K := {x C : g(x) P }. Esto quiere decir que P puede ser de la


forma P = R k {0}, en cuyo caso, el conjunto de restricciones esta determinado
por desigualdades e igualdades.
Se recuerda que un conjunto P Y es un cono si tP P para todo t 0;
por P se indicara el cono polar (no negativo) de P , i.e., P = {z Y : hz, pi
0 p P }, donde Y es el dual topologico de Y , y el smbolo h, i denota el
producto de dualidad entre el espacio Y y su dual Y .
El problema dual Lagrangiano asociado a (P ) es

:= sup inf [f (x) + h , g(x)i]. (D)


P xC

Obviamente obtenemos

inf [f (x) + h , g(x)i] , P . (1)


xC

Se dice que el problema (P ) tiene gap de dualidad cero si los valorores optimos
de (P ) y (D) coinciden, es decir, = . El problema (P ) se dice que tiene la
propiedad de dualidad fuerte si el gap de dualidad es cero y el problema (D)
admite solucion.
Si = , el gap de dualidad es cero y cualquier elemento de P es solucion
optima de (D), y por lo tanto el problema (P ) tiene la propiedad de dualidad
fuerte.
Teniendo en cuenta esta observacion, solo analizaremos el caso cuando R,
y el objetivo es tratar problemas no convexos.

2
Asociado al problema (P ), consideremos la funcion valor optimal : Y
R {} definida mediante

inf x [f (x) : g(x) P + a] si K(a) 6= ;
(a) =
+ en caso contrario,

donde
K(a) = {x C : g(x) P + a}.
Note que K(a) 6= si y solo si a g(C) + P , es decir,

dom () := {a Y : (a) < } = g(C) + P.

2 Objetivos
2.1 Generales
En la Tesis se revisa la teora de dualidad lagrangiana para problemas de opti-
mizacion no convexa desde un punto de vista moderno, para luego desarrollarla
tanto en dimension finita como infinita; con particular enfasis en la validez de
cuando el gap de dualidad es cero y cuando se cumple la propiedad de dualidad
fuerte.

2.2 Particulares
En gran medida estos ya fueron descritos durante la formulacion del proyecto

Identificar las clases de problemas (as de funciones) no convexos que


poseen gap de dualidad cero.
Identificar las clases de problemas (as de funciones) no convexos que
tienen la propiedad de dualidad fuerte.

3 Metodologa
Entre las herramientas a emplear se cuenta aquellas propias del analisis convexo
(en particular, el analisis asintotico), analisis variacional (tanto en dimension
finita como infinita), teora de matrices, etc.