Abstrakte Definition

Gegeben sei ein reeller Vektorraum ${\displaystyle V_{1}}$ versehen mit einem Skalarprodukt ${\displaystyle \langle {\cdot },{\cdot }\rangle _{1}}$ und einem abgeschlossenen, spitzen und konvexen Kegel ${\displaystyle K}$ mit nichtleerem Inneren. Des Weiteren seien ${\displaystyle B,C\in V_{1}}$ und ${\displaystyle {\mathcal {L}}}$ ein linearer Unterraum von ${\displaystyle V_{1}}$. Dann heißt das Optimierungsproblem

${\displaystyle {\begin{aligned}{\text{Minimiere }}&s(X)=\langle {C},{X}\rangle _{1}\\{\text{unter den Nebenbedingungen }}&X\in {\mathcal {K}}\\&X\in {\mathcal {L}}+B\end{aligned}}}$

ein konisches Programm oder konisches Optimierungsproblem. Gesucht wird also ein Element eines Vektorraumes, das sowohl in einem Kegel als auch in einem affinen Unterraum liegt und minimal bezüglich des Skalarproduktes ist.

Konvexe Definition

Analog zu den Linearen Programmen kann man konische Programme auch in einer Standardform und einer Ungleichungsform angeben. Dazu betrachtet man die von dem Kegel induzierte verallgemeinerte Ungleichung ${\displaystyle \preccurlyeq _{K}}$ und einen weiteren Vektorraum ${\displaystyle V_{2}}$ mit einem Skalarprodukt ${\displaystyle \langle {\cdot },{\cdot }\rangle _{2}}$

Dualität konischer Programme

Betrachtet man das Problem

${\displaystyle {\begin{aligned}{\text{Minimiere }}&s(X)=\langle {C},{X}\rangle _{1}\\{\text{unter den Nebenbedingungen }}&X\succcurlyeq _{K}0\\&X\in {\mathcal {L}}+B\end{aligned}}}$

als primales Problem, so ist heißt das Problem

${\displaystyle {\begin{aligned}{\text{Minimiere }}&s(Y)=\langle {B},{Y}\rangle _{1}\\{\text{unter den Nebenbedingungen }}&Y\succcurlyeq _{K^{D}}0\\&Y\in {\mathcal {L}}^{\perp }+C\end{aligned}}}$

das duale konische Problem. Hierbei ist ${\displaystyle K^{D}}$ der duale Kegel von ${\displaystyle K}$ und ${\displaystyle {\mathcal {L}}^{\perp }}$ der Orthogonalraum von ${\displaystyle {\mathcal {L}}}$. Insbesondere ist das duale Programm des dualen Programms wieder das primale Programm.

Es gilt dann für jeden zulässigen Punkt ${\displaystyle X}$ des primalen Problems und jeden zulässigen Punkt ${\displaystyle Y}$ des dualen Problems, dass

${\displaystyle \langle {C},{X}\rangle _{1}+\langle {B},{Y}\rangle _{1}\geq \langle {B},{C}\rangle _{1}}$

Ist der Optimalwert ${\displaystyle p^{*}}$ des primalen Problems endlich und ist die Slater-Bedingung erfüllt (siehe unten), so besitzt das duale Problem eine Optimallösung ${\displaystyle Y^{*}}$, und es ist

${\displaystyle p^{*}+\langle {B},{Y^{*}}\rangle _{1}=\langle {B},{C}\rangle _{1}}$.

Erfüllen sowohl das primale als auch das duale Problem die Slater-Bedingung, so existieren Optimallösungen ${\displaystyle X^{*},Y^{*}}$ mit

${\displaystyle \langle {C},{X^{*}}\rangle _{1}+\langle {B},{Y^{*}}\rangle _{1}=\langle {B},{C}\rangle _{1}}$.

Lagrange-Dualität

Nicht mit der obigen Dualität zu verwechseln ist die Lagrange-Dualität, angewandt auf die konvexe Form eines konischen Problems. Ist ein konisches Problem in Normalform gegeben durch

${\displaystyle {\begin{aligned}{\text{Minimiere }}&s(X)=\langle {C},{X}\rangle _{1}\\{\text{unter den Nebenbedingungen }}&-X\preccurlyeq _{K}0_{V_{1}}\\&L(X)-b=0_{V_{2}}\end{aligned}}}$,

so lautet die Lagrange-Funktion

${\displaystyle L(X,\Lambda ,\mu )=\langle {C},{X}\rangle _{1}+\langle {-X},{\Lambda }\rangle _{1}+\langle {-L(X)+b},{\mu }\rangle _{2}}$.

Ist ${\displaystyle L^{*}}$ der zu ${\displaystyle L}$ Adjungierte Operator, so folgt mit der Linearität des Skalarproduktes

${\displaystyle L(X,\Lambda ,\mu )=\langle {C},{X}\rangle _{1}-\langle {X},{\Lambda }\rangle _{1}+\langle {b},{\mu }\rangle _{2}-\langle {X},{L^{*}(\mu )}\rangle _{1}}$.

Diese Funktion ist linear in ${\displaystyle X}$, und da Lineare Funktionen genau dann unbeschränkt sind, wenn sie konstant gleich Null sind, lautet die Zielfunktion des dualen Programms

${\displaystyle q(\Lambda ,\mu )={\begin{cases}\langle {b},{\mu }\rangle _{2}&{\text{ falls }}C-\Lambda -L^{*}(\mu )=0\\-\infty &{\text{ sonst }}\end{cases}}}$

Schreibt man diese Fallunterscheidung als Nebenbedingung in das duale Problem und fasst man ${\displaystyle \Lambda }$ als Schlupfvariable mit ${\displaystyle -\Lambda \preccurlyeq _{K}0_{V_{1}}}$ auf, so lautet das duale Problem

${\displaystyle {\begin{aligned}{\text{maximiere }}&s(\mu )=\langle {b},{\mu }\rangle _{2}\\{\text{unter den Nebenbedingungen }}&L^{*}(\mu )-C\preccurlyeq _{K^{D}}0_{V_{1}}\end{aligned}}}$,

was ein konisches Programm in Ungleichungsform ist. Ein Minimierungsproblem erhält man, indem man das Vorzeichen der Zielfunktion umkehrt.

Für ein konisches Problem in Ungleichungsform

${\displaystyle {\begin{aligned}{\text{Minimiere }}&s(x)=\langle {c},{x}\rangle _{2}\\{\text{unter den Nebenbedingungen }}&L^{*}(x)-B\preccurlyeq _{K}0_{V_{1}}\end{aligned}}}$

lautet die Lagrange-Funktion

${\displaystyle L(x,\Lambda )=\langle {c},{x}\rangle _{2}+\langle {L(\Lambda )},{x}\rangle _{2}-\langle {\Lambda },{B}\rangle _{1}}$

und mit einem analogen Vorgehen zu oben ist das duale Problem

${\displaystyle {\begin{aligned}{\text{Maximiere }}&s(\Lambda )=-\langle {\Lambda },{B}\rangle _{1}\\{\text{unter den Nebenbedingungen }}&-\Lambda \preccurlyeq _{K^{D}}0_{V_{1}}\\&L(\Lambda )+c=0_{V_{2}}\end{aligned}}}$,

was wieder eine konisches Programm in Normalform ist. Duale Probleme von konischen Problemen sind also stets wieder konische Probleme. Bildet man außerdem das duale Problem eines dualen Problems, so gelangt man wieder zum Ausgangsproblem

Gilt die Slater-Bedingung (siehe unten), so gilt starke Dualität, das heißt die Optimalwerte des primalen und des dualen Problems stimmen überein. Ein schwächeres Ergebnis ist, dass der Zielfunktionswert des dualen Problems stets kleiner als der Zielfunktionswert des primalen Problems ist. Diese Aussage ist auch als schwache Dualität bekannt.

Zusammenhang der Dualitätsbegriffe

Die beiden obigen Dualitätsbegriffe sind nicht identisch, hängen aber sehr eng zusammen. Betrachtet man zum Beispiel einen linearen Unterraum ${\displaystyle {\mathcal {L}}}$, der durch die Lösung der linearen Gleichung ${\displaystyle L(Y)=0}$ beschrieben wird, so wird der Orthogonalraum ${\displaystyle {\mathcal {L}}^{\perp }}$ durch den zu ${\displaystyle L}$ adjungierten Operator ${\displaystyle L^{*}(y)}$ beschrieben. Damit ist die Bedingung ${\displaystyle Y\in {\mathcal {L}}^{\perp }+C}$ äquivalent zu ${\displaystyle Y=L^{*}(y)+C}$ für ${\displaystyle y\in V_{2}}$. Somit ist

${\displaystyle \langle {B},{Y}\rangle _{1}=\langle {B},{L^{*}(y)+C}\rangle _{1}=\langle {b},{y}\rangle _{2}+\langle {B},{C}\rangle _{1}}$,

wobei ${\displaystyle L(B)=b}$ ist. Nun kann man anstelle von ${\displaystyle Y}$ über ${\displaystyle y}$ optimieren, der Term ${\displaystyle \langle {B},{C}\rangle _{1}}$ kann ignoriert werden, da er den nur den Optimalwert, nicht aber den Optimalpunkt beeinflusst. Die neue Zielfunktion lautet nun also ${\displaystyle \langle {b},{y}\rangle _{2}}$. Fasst man ${\displaystyle Y}$ als Schlupfvariable mit ${\displaystyle -Y\preccurlyeq _{K}}$ auf, so ist ${\displaystyle Y=L^{*}(y)+C}$ äquivalent zu ${\displaystyle -L^{*}(y)\preccurlyeq _{K}C}$. Somit ist das duale abstrakte Problem ein Problem in Ungleichungsform und umgekehrt.

Slater-Bedingung

Die Slater-Bedingung für konische Programme in der abstrakten Form lautet

${\displaystyle ({\mathcal {L}}+B)\cap \operatorname {Int} ({\mathcal {K}})\neq \emptyset }$.

Hierbei ist ${\displaystyle \operatorname {Int} }$ das innere einer Menge. Es muss also mindestens einen Punkt geben, der sowohl im Inneren des Kegels als auch in dem affinen Raum ${\displaystyle {\mathcal {L}}+B}$ liegt.

Für konische Programme in der konvexen Form ist die Slater-Bedingung erfüllt, wenn es einen Punkt gibt, der die Gleichungsrestriktion erfüllt, und der zulässig bezüglich der von den Kegel induzierten strikten Ungleichung ${\displaystyle \prec _{K}}$ ist (dies entspricht der Forderung, dass der Punkt im Inneren des Kegels liegen soll). Solche Punkte werden auch strikt zulässige Punkte genannt.