ラグランジュの双対性のソースを表示

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

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


\[
\begin{array}{cll}
\mbox{(P}_{L}\mbox{)} & \mbox{min.} & \displaystyle\sup_{\lambda\ge{0},\mu}L(x,\lambda,\mu)  \\
                      & \mbox{s.t.} & \displaystyle{x\in{{\bf R}^n}}   \\
\mbox{(D}_{L}\mbox{)} & \mbox{max.} & \displaystyle\inf_{x}L(x,\lambda,\mu)  \\
                      & \mbox{s.t.} & \displaystyle{0\le\lambda\in{{\bf R}^{k}}}, \: 
                       \displaystyle\mu\in{{\bf R}^{l}}
\end{array}
\]


<math>L\,</math> の鞍点 <math>(\bar{x},\bar{\lambda},\bar{\mu})\,</math> が存在すれば, <math>\bar{x}\,</math> と <math>(\bar{\lambda},\bar{\mu})\,</math> はそれぞれ問題(P<math>_{L}\,</math>)と(D<math>_{L}\,</math>)の最適解となり最適値が一致する.