ラグランジュの双対性

【らぐらんじゅのそうついせい (Lagrange duality)】

ラグランジュ関数 $L\,$ に対して定義された以下の主問題とその双対問題の間に成立する双対性のこと.

${\begin{array}{cll}({\mbox{P}}_{L})&{\mbox{min.}}&\displaystyle \sup _{\lambda \geq {0},\mu }L(x,\lambda ,\mu )\\&{\mbox{s.t.}}&\displaystyle x\in {\mathbf {R} }^{n}\\({\mbox{D}}_{L})&{\mbox{max.}}&\displaystyle \inf _{x}L(x,\lambda ,\mu )\\&{\mbox{s.t.}}&\displaystyle 0\leq \lambda \in {\mathbf {R} }^{k},\quad \mu \in {\mathbf {R} }^{l}\end{array}}$

$L\,$ の鞍点 $({\bar {x}},{\bar {\lambda }},{\bar {\mu }})\,$ が存在すれば, ${\bar {x}}\,$ と $({\bar {\lambda }},{\bar {\mu }})\,$ はそれぞれ問題(構文解析に失敗 (Conversion error. Server ("https://en.wikipedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle P_{L}\,} )と(構文解析に失敗 (Conversion error. Server ("https://en.wikipedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle D_{L}\,} )の最適解となり最適値が一致する.