フェンシェル型双対定理

出典: ORWiki

【ふぇんしぇるがたそうついていり (Fenchel-type duality theorem)】

フェンシェル(フェンケル)型双対定理とは, 一般に, 「凸関数」と「凹関数」の組(f,g)とそれらの共役関数の組(f^{\bullet}, g^{\circ})の間に成り立つ最大最小定理を意味する. 例えば, \textstyle \langle p, x \rangle = \sum_{i=1}^{n}p_{i}x_{i}として, 以下の形の主張となる.


\mbox{inf} \{ f(x) - g(x) \mid x \in {\mathbf Z} \} ^{n} =

\mbox{sup} \{ g^{\circ}(p) - f^{\bullet}(p) \mid p \in {\mathbf Z}^{n} \} ,

f^{\bullet}(p) = \mbox{sup} \{\langle p, x \rangle - f(x) \mid x \in {\mathbf Z}^{n} \} : ( p \in {\mathbf Z}^{n}) ,
g^{\circ}(p) = \mbox{inf} \{\langle p, x \rangle - g(x) \mid x \in {\mathbf Z}^{n} \} : ( p \in {\mathbf Z}^{n}) .


"http://www.orsj.or.jp/~wiki/wiki/index.php/%E3%83%95%E3%82%A7%E3%83%B3%E3%82%B7%E3%82%A7%E3%83%AB%E5%9E%8B%E5%8F%8C%E5%AF%BE%E5%AE%9A%E7%90%86" より作成