凸共役性

数学において**凸共役**（とつきょうやく、）とは、ルジャンドル変換の一般化である。**ルジャンドル＝フェンシェル変換**あるいは**フェンシェル変換**としても知られる（アドリアン＝マリ・ルジャンドルとの名にちなむ）。

## 定義
以下、特に断りがなければ、ベクトル空間はすべて実係数のものを考える。

### 直観的意味

上記の定義の直観的な意味を説明するため、ベクトル空間の図形のを定義する。超平面
\Pi \in V
が集合
S\in V
の**支持超平面**（）とは、はの閉包の点を少なくとも１つ含み、しかも
V
をで２つ切ったときに片方にはの点が入っていない事をいう。

凸共役の直観的な意味を考えるため、の'''エピグラフ'''

:
\mathrm{epi}f=\{(x_0,y_0)\in X\times \mathbb{R} \mid y_0 \ge f(x_0)\} 

を考える。

すなわち、
a^*\in X^*
における
f
の凸共役
f^*(a^*)
は「傾き」
a^*
の支持超平面の「
y
切片」
b
にマイナスをつけたものと解釈できる。

### 滑らかな場合
が有限次元のベクトル空間で、が滑らかな凸関数であるとき、傾きx^*の支持超平面を接平面として持つ点をxとすると、すなわち
:
x^* = \mathrm{grad} f(x)

となる点をxとすると、の凸性からそのxにおいて\supが達成されるので、

:
f^{*} \left( x^{*} \right) =  \langle x^{*} , x \rangle - f(x)


が成立する。よってこの場合には、凸共役は通常のルジャンドル変換に一致する。

## 基本的性質
本節ではをノルム空間（例えば有限次元の計量ベクトル空間）とし、f,g~:~X \to \mathbb{R}\cup\{\pm \infty \}を関数とする。

前述のように凸共役は直観的には支持超平面によって特徴づけられるが、集合Sの支持超平面は、Sの閉包の支持超平面やSの凸包の支持超平面と一致するので、以下が成立する：
f)^* 
が成立する。ここで
* \bar{f}はエピグラフ\mathrm{epi}\bar{f} がのエピグラフの閉包\overline{(\mathrm{epi}f)}に一致する関数。
* \overline{\mathrm{conv}}fはエピグラフ \mathrm{epi}(\overline{\mathrm{conv}}f)  がfエピグラフの凸包の閉包 \overline{\mathrm{conv}(\mathrm{epi}f)}に一致する関数。
\bar{f}、\overline{\mathrm{conv}}fは一意にwell-definedされる。
}}また凸共役の定義から明らかに次が従う：上記の不等式を用いると、次が成立する事を簡単に示せる：一般にはf^{**}(x)=f(x)は成立しないが、次節でf^{**}(x)=f(x)が成立する条件を説明する。さらに以下が成立する：
## 二重共役
本節でもをノルム空間とする。凸共役を二度取ったf^{**}(x)は元のf(x)に一致する事は保証されない（なお、
f^{**}(x) = f(x)
と違い、
f^{***}(x^*) = f^*(x^*)
は無条件に成立する）。しかし以下が成立する事を示せる：

f がプロパーなら、任意のx\in Xに対し、以下が成立する：
: f^{**}(x)=\overline{\mathrm{conv}}f(x) }}ここで関数g~:~X\to \mathbb{R}\cup\{\pm \infty\}が**プロパー**であるとは、が恒等的にを取らない事を指す。

\overline{\mathrm{conv}}f  は凸関数なので、プロパーな関数fが
f^{**}(x)= f(x)
を満たすのはfが凸な場合に限られる。そのような関数に対して\overline{\mathrm{conv}}f(x)=f(x) が成立する条件を具体的に書き表す事で以下が成立する事がわかる：

上記の定理は各点毎に成立する。すなわち、プロパーな凸関数fが点x \in Xにおいてf^{**}(x)=f(x)を満たす必要十分条件は、fがxにおいて下半連続な事である。

なお、がバナッハ空間であれば凸関数が下半連続であれば\mathrm{dom}fの内点で連続である。とくに有限次元のベクトル空間であれば、（下半連続性の仮定がなくとも）\mathrm{dom}fの内点で連続である事が示せる。よってこの場合、下半連続性を問われるのは境界点のみである。

また、（バナッハ空間とは限らない）ノルム空間の凸部分集合上定義された凸関数は一点で連続であればその凸部分集合上の全点で連続である事も知られている。

## フェンシェルの双対性
本節では、凸共役を最適化問題に応用するうえで鍵となるフェンシェルの双対性について説明する。

### 定理のステートメント
まずは応用について考えず、天下り的に定理を与える。

、をノルム空間とし、T~:~X \to Yを有界線形作用素（例えば、が有限次元の計量ベクトル空間でが線形写像）とし、さらにf~:~X \to \mathbb{R}\cup\{\pm \infty\}、g~:~Y \to \mathbb{R}\cup\{\pm \infty\}を２つの関数とする。さらに下限を求める問題と上限を求める問題
:
p=\inf_{x\in X}(f(x)+g(Tx))

:
d=\sup_{y^*\in Y^*}(-f^*(T^*y)-g^*(-y^*)) 


を考える。これらの問題を**フェンシェル問題**（）といい、後者を前者の（そして前者を後者の）**双対問題**という。このとき前述したフェンシェル・ヤングの不等式から次が成立する。さらに次が成立する：ここで集合F \subset Xに対し、
:\mathrm{core}F := \{x \in X \mid \forall h \mathrm{s.t.} \|h\|=1 \exists \delta>0 \forall t \in [0,\delta]~:~x + th \in F\} 

であり、\mathrm{cont}gはの連続な点全体の集合である。

### 応用
C \subset X、D \subset Yを閉凸集合とし、以下の問題を考える：& F(x)\\
\text{subject to }& Tx \in D
\end{array} 

…|cellpadding=6|border=1|border colour=black|background colour=white}}すなわち、x \in C、Tx \in Dという条件下F(x)の最小値pを求めよ、という問題である。

上記の問題はフェンチェル問題の特殊な場合とみなす事ができる。実際、集合に対し、その**[[指示関数]]**（）を
:
\iota_A(x) := 
\begin{cases}
0 & \text{if } x \in A\\
\infty & \text{otherwise}
\end{cases}


と定義し、

:
f(x) = F(x) + \iota_C(x)

:
g(x) = \iota_D(x)


とすると、問題1はフェンチェル問題
p=\inf_{x\in X}(f(x)+g(Tx))
に一致する。

したがってをその双対問題
d=\sup_{y^*\in Y^*}(-f^*(T^*y)-g^*(-y^*)) 
ので下から抑えたり、等号成立条件が成り立っていれば双対問題の方を具体的に調べる事でp=dを求めたりする事が可能になる。

## 凸共役の例

アフィン函数

:
f(x) = \left\langle a,x \right\rangle - b,\,
a \in \mathbb{R}^n, b \in \mathbb{R}


の凸共役は

:
f^\star\left(x^{*} \right)
= \begin{cases} b,      & x^{*}   =  a
             \\ +\infty, & x^{*}  \ne a.
  \end{cases}


である。冪函数

:
f(x) = \frac{1}{p}|x|^p,\,1

の凸共役は

:
f^\star\left(x^{*} \right)
= \frac{1}{q}|x^{*}|^q,\,1

である。ここで \tfrac{1}{p} + \tfrac{1}{q} = 1 である。

絶対値函数

:f(x) = \left| x \right|

の凸共役は

:
f^\star\left(x^{*} \right)
= \begin{cases} 0,      & \left|x^{*} \right| \le 1
             \\ \infty, & \left|x^{*} \right|  >  1
  \end{cases}


である。指数函数 f(x)=\,\! e^x の凸共役は

:
f^\star\left(x^{*} \right)
= \begin{cases} x^{*} \ln x^{*} - x^{*}      , & x^{*}  > 0
             \\ 0                            , & x^{*}  = 0
             \\ \infty                       , & x^{*}  

である。指数函数の凸共役とルジャンドル変換は、凸共役の定義域が厳密に大きいことを除いて一致する。ルジャンドル変換は正の実数に対してのみ定義されるためである。

### 期待ショートフォール（リスク平均値）との関係

*F* を確率変数 *X* の累積分布函数とする。このとき、部分積分により

:f(x):= \int_{-\infty}^x F(u)\,du = \operatorname{E}\left[\max(0,x-X)\right] = x-\operatorname{E} \left[\min(x,X)\right]

は次の凸共役を持つ。

:
f^\star(p)=\int_0^p F^{-1}(q) \, dq = (p-1)F^{-1}(p)+\operatorname{E}\left[\min(F^{-1}(p),X)\right] 
 = p F^{-1}(p)-\operatorname{E}\left[\max(0,F^{-1}(p)-X)\right].

### 順序

特別な解釈により次の変換が考えられる。

:f^\text{inc}(x):= \arg \sup_t \,t\cdot x-\int_0^1 \max\{t-f(u),0\} \, \mathrm d u,

これは初期函数 f の非減少な書き換えである。特に、*f* に対する f^\text{inc}= f は非減少である。

## 性質

閉凸函数の凸共役は再び閉凸函数である。多面体的凸函数（多面体的エピグラフを持つ凸函数）の凸共役は、再び多面体的凸函数である。

### 凸性

二つの函数 f_0 と f_1 および数 0\le \lambda\le 1 に対し、次の凸関係が成立する。

:\left((1-\lambda)f_0+\lambda f_1\right)^\star\le (1-\lambda)f_0^\star+ \lambda f_1^\star

この演算 \star はそれ自身が凸写像である。

### 極小畳み込み

二つの函数 *f* と *g* の**極小畳み込み**（infimal convolution）は、次で定義される（epi-sum とも呼ばれる）：

: \left(f \Box  g\right)(x) = \inf \left \{ f(x-y) + g(y) \mid y \in \mathbb{R}^n \right \}. 

*f*1, …, *f*m は **R***n* 上の真凸かつ下半連続な函数とする。このとき、これらの極小畳み込みは凸かつ下半連続である（が、必ずしも真凸ではない）。さらに次が成立する。

: \left( f_1 \Box \cdots \Box f_m \right)^\star = f_1^\star + \cdots + f_m^\star. 

二つの函数の極小畳み込みは、次のような幾何学的解釈がある：二つの函数の極小畳み込みの（厳密な）エピグラフは、それらの函数の（厳密な）エピグラフのである。

### 最大化引数

函数 f が微分可能であるなら、その導函数は凸共役の計算における最大化引数（maximizing argument）である。すなわち、

:f^\prime(x) = x^*(x):= \arg\sup_{x^\star} {\langle x, x^\star\rangle} -f^\star(x^\star) と
:f^{\star\prime}(x^\star) = x(x^\star):= \arg\sup_x {\langle x, x^\star\rangle}-f(x);

が成り立つ。したがって

:x= \nabla f^{\star}(\nabla f(x)),
:x^\star= \nabla f(\nabla f^{\star}(x^\star)),

であり、さらに次が成立する。

:f^{\prime\prime}(x) \cdot f^{\star\prime\prime} (x^\star(x))=1,
:f^{\star\prime\prime}(x^\star)\cdot f^{\prime\prime}(x(x^\star))=1.

### スケーリング性

ある \gamma>0 に対し、\,g(x)=\alpha+ \beta x +\gamma \cdot f(\lambda x+\delta) であるなら、次が成り立つ。

:g^\star(x^\star)= -\alpha- \delta\frac{x^\star-\beta}\lambda +\gamma \cdot f^\star \left(\frac {x^\star-\beta}{\lambda \gamma}\right).

さらにパラメータ α が追加される場合は、次が成り立つ。

:f_\alpha(x)=-f_\alpha(\tilde x).

ここで \tilde x  は最大化引数であるように選ばれる。

### 線型変換の下での挙動

*A* を *X* から *Y* への有界線型作用素とする。*X* 上の任意の凸函数 *f* に対して、次が成り立つ。

: \left(A f\right)^\star = f^\star A^\star 

ここで

: (A f)(y) = \inf\{ f(x) : x \in X , A x = y \} 

は *f* の *A* に関する原像であり、*A** は *A* の共役作用素である。

閉凸函数 *f* は、ある与えられた直交線型変換の集合 *G* に関して対称である、すなわち

:f\left(A x\right) = f(x), \; \forall x, \; \forall A \in G 

であるための必要十分条件は、凸共役 *f** が *G* に関して対称であることである。

## 代表的な凸共役の表

次の表では、多くの有名な函数のルジャンドル変換で、有用な性質を持つものが示されている。

{| class="wikitable"
|-   
!g(x) !! \operatorname{dom}(g) !! g^*(x^*) !! \operatorname{dom}(g^*)
|- bgcolor="#E0FFEE"
| f(ax) (where a \neq 0) || X || f^*\left(\frac{x^*}{a}\right) || X^*
|- bgcolor="#E0FFEE"
| f(x + b) || X || f^*(x^*) - \langle b,x^* \rangle || X^*
|- bgcolor="#E0FFEE"
| a f(x) (where a > 0) || X || a f^*\left(\frac{x^*}{a}\right) || X^*
|- bgcolor="#E0FFEE"
| \alpha+ \beta x+ \gamma \cdot f(\lambda x+\delta) || X ||-\alpha- \delta\frac{x^*-\beta}\lambda+ \gamma \cdot f^* \left(\frac {x^*-\beta}{\gamma \lambda}\right)\quad (\gamma>0) || X^*
|- bgcolor="#E0FFEE"
| \frac{|x|^p}{p} (where p > 1) || \mathbb{R} || \frac

## 関連項目
* 双対問題
* フェンシェルの双対性定理
* ルジャンドル変換
* ヤングの不等式

## 出典


## 参考文献
* 
* 
* 
* 
* 

## 外部リンク
*  

* 

*