Articulo de referencia

Optimización cónica

La optimización cónica es un subcampo de la optimización convexa que estudia problemas que consisten en minimizar una función convexa sobre la intersección de un subespacio afín...

La optimización cónica es un subcampo de la optimización convexa que estudia problemas que consisten en minimizar una función convexa sobre la intersección de un subespacio afín y un cono convexo .

La clase de problemas de optimización cónica incluye algunas de las clases más conocidas de problemas de optimización convexa, a saber, la programación lineal y la programación semidefinida .

Definición

Dado un espacio vectorial real X , una función convexa de valores reales

F:doR{\displaystyle f:C\to \mathbb {R} }

definido en un cono convexodoincógnita{\displaystyle C\subset X}y un subespacio afínH{\displaystyle {\mathcal {H}}}definido por un conjunto de restricciones afineshi(incógnita)=0 {\displaystyle h_{i}(x)=0\ }, un problema de optimización cónica consiste en encontrar el puntoincógnita{\displaystyle x}endoH{\displaystyle C\cap {\mathcal {H}}}para el cual el númeroF(incógnita){\displaystyle f(x)}es el más pequeño.

Ejemplos dedo{\displaystyle C}incluir el ortante positivoR+norte={incógnitaRnorte:incógnita0}{\displaystyle \mathbb {R} _{+}^{n}=\left\{x\in \mathbb {R} ^{n}:\,x\geq \mathbf {0} \right\}}matrices semidefinidas positivasS+norte{\displaystyle \mathbb {S} _{+}^{n}}y el cono de segundo orden{(incógnita,t)Rnorte×R:incógnitat}{\displaystyle \left\{(x,t)\in \mathbb {R} ^{n}\times \mathbb {R} :\lVert x\rVert \leq t\right\}} . A menudoF {\displaystyle f\ }es una función lineal, en cuyo caso el problema de optimización cónica se reduce a un programa lineal , un programa semidefinido y un programa de cono de segundo orden , respectivamente.

Dualidad

Ciertos casos especiales de problemas de optimización cónica tienen expresiones analíticas notables para sus problemas duales.

Conic LP

El dual del programa lineal cónico

minimizardoTincógnita {\displaystyle c^{T}x\ }
sujeto aAincógnita=b,incógnitado {\displaystyle Ax=b,x\in C\ }

es

maximizarbTy {\displaystyle b^{T}y\ }
sujeto aATy+s=do,sdo {\displaystyle A^{T}y+s=c,s\in C^{*}\ }

dóndedo{\displaystyle C^{*}}denota el cono dual dedo {\displaystyle C\ }.

Si bien la dualidad débil se cumple en la programación lineal cónica, la dualidad fuerte no necesariamente se cumple. [ 1 ]

Programa semidefinido

El dual de un programa semidefinido en forma de desigualdad

minimizardoTincógnita {\displaystyle c^{T}x\ }
sujeto aincógnita1F1++incógnitanorteFnorte+GRAMO0{\displaystyle x_{1}F_{1}+\cdots +x_{n}F_{n}+G\leq 0}

es dado por

maximizartr (GRAMOZ) {\displaystyle \mathrm {tr} \ (GZ)\ }
sujeto atr (FiZ)+doi=0,i=1,,norte{\displaystyle \mathrm {tr} \ (F_{i}Z)+c_{i}=0,\quad i=1,\dots ,n}
Z0{\displaystyle Z\geq 0}

Referencias

  1. "Dualidad en la programación cónica" (PDF) .
  • Boyd, Stephen P.; Vandenberghe, Lieven (2004). Optimización convexa (PDF) . Cambridge University Press. ISBN 978-0-521-83378-3. Consultado el 15 de octubre de 2011 .
  • Paquete Splitting Conic Solver (SCS) para resolver problemas de conos convexos a gran escala.
  • El software MOSEK es capaz de resolver problemas de optimización cónica.