===================
凸関数の性質
===================
熱力学や解析力学で重要となるLegendre変換への準備です．Legendre変換は凸関数や凹関数に対して定義される変換で，その凸性を
保存します．

一変数の凸関数
================
一変数の凸関数の定義から凸関数の様々な性質を見ていきたいと思います．ちなみに，ここで証明するほとんどの性質は適当な一般化
のもとで多変数の場合にも成り立ちます．

実数上の適当な閉区間 $ [a,b] $ で定義された下に凸な関数 $ f(x) $ を考えます．下に凸であることの定義は任意の $ x,y\in [a,b] $ と
任意の $ t\in (0,1) $ に対して
<tex>
f((1-t)x+ty)\le (1-t)f(x)+tf(y)
</tex>
が成り立つことです．ここでこの式の不等号が $ \le $ ではなく， $ < $ となるようなものを真に下に凸な関数や狭義凸関数などと
言うことがあります．また，不等号が反対の不等式を満たす関数を上に凸な関数とか凹関数などと言います． $ f(x) $ が
上に凸なら $ -f(x) $ は下に凸ですから，以下は下に凸な関数の場合だけを考えていくことにしましょう．

まず，凸関数の大切な性質をあげておきます．

1.閉区間 $ [a,b] $ 上の凸関数は開区間 $ (a,b) $ 上Lipschitz連続である．よって，凸関数は開区間 $ (a,b) $ 上連続関数である．

2.閉区間 $ [a,b] $ 上の凸関数は開区間 $ (a,b) $ 上の任意の点 $ x $ で，右側微係数と左側微係数を持つ．つまり，任意の $ x\in (a,b) $ に対して
<tex>
f\;'(x+0):=\lim_{\delta\to +0}{f(x+\delta)-f(x)\over \delta}\;,\;f\;'(x-0):=\lim_{\delta\to -0}{f(x+\delta)-f(x)\over \delta}
</tex>
が存在する．

3.ここで，右側微係数と左側微係数に関して次の性質が成り立つ． $ x<y\in (a,b) $ として，
<tex>
f'(x-0)\le f'(x+0)\le f'(y-0)\le f'(y+0)
</tex>
がなりたつ．

以上の性質は，グラフを見てみたらとても分かりやすい結果ですね．ここでは，いずれも解析的に証明してみることにします．
まず，次のセクションで上の証明に非常に便利な不等式を得ることにします．

凸関数の基本的な不等式
========================
それでは，(1)-(3)の性質を証明するときにとてもお世話になる不等式を証明しましょう． $f$ は $(a,b)$ で下に
凸な関数であるとします．

任意の $ \alpha<\gamma \in (a,b) $ に対して， $ f $ の凸性より任意の  $ t\in (0,1) $ に対して
<tex>
f((1-t)\alpha+t\gamma)\le (1-t)f(\alpha)+tf(\gamma)\quad
\Leftrightarrow\quad {f(\alpha+t(\gamma-\alpha))-f(\alpha)\over t(\gamma-\alpha)}\le{f(\gamma)-f(\alpha)\over \gamma-\alpha}
</tex>
が成り立ちます．(両辺から $f(\alpha)$ を引いて， $t(\gamma -\alpha)$ で割ればよいです．)真に下に凸な関数については等号は不成立です．

ここで， $ \beta=\alpha+t(\gamma-\alpha)\in (a,b) $ と置いて，
<tex>
{f(\beta)-f(\alpha)\over \beta-\alpha}\le{f(\gamma)-f(\alpha)\over \gamma-\alpha}
</tex>
を得ます．同様にして， $ \alpha<\beta<\gamma\in[a,b] $ に対して $ f $ が下に凸ならば次の不等式
<tex>
{f(\beta)-f(\alpha)\over \beta-\alpha}\le{f(\gamma)-f(\alpha)\over \gamma-\alpha}\le{f(\gamma)-f(\beta)\over \gamma-\beta}
</tex>
が成り立ちます．これで証明の準備が整いましたから，次のセクションから証明をしていきましょう．

凸関数の性質(1),(2),(3)の証明
=================================
さて，(1),(2),(3)の関係を証明してしまいましょう．

(1)前のセクションで示した不等式から，
任意の $ \beta\in(a,b) $ をむ閉区間 $ [\alpha,\gamma] $ に対して $ \forall x\in [\alpha,\gamma] $ に対して，不等式
<tex>
\left|{f(x)-f(\beta)\over x-\beta}\right|\le
\max\left\{\left|{f(\beta)-f(\alpha)\over \beta-\alpha}\right|,\left|{f(\gamma)-f(\beta)\over \gamma-\beta}\right|\right\}
</tex>
が成り立ちます．よって，
<tex>
M=\max\left\{\left|{f(\beta)-f(\alpha)\over\beta-\alpha}\right|,
\left|{f(\gamma)-f(\beta)\over \gamma-\beta}\right|\right\}
</tex>
と置けば，
<tex>
|f(x)-f(\beta)|\le M|x-\beta|
</tex>
となります．つまり，凸関数はLipschitz連続であることが分かりましたから連続関数です．

(2)さらに， $\beta\not =x\in [\alpha,\gamma]$ に対して， $ F(x)={f(x)-f(\beta)\over x-\beta}$ と置けば，
不等式 $ -M\le F(x)\le M $ が成り立ちます． $\alpha\le x<\beta $ で $ F(x) $ は単調に
増加して， $ \beta<x\le \gamma $ でも $ F(x) $ は単調に増加します．ゆえに， $\forall \beta\in (a,b)$ に対して，
左極限と右極限
<tex>
f\;'(\beta-0):=\lim_{x\to \beta-0}F(x),f\;'(\beta+0):=\lim_{\beta\to \beta+0}F(x)
</tex>
がそれぞれ存在することがわかります．(有界な単調関数の極限が存在することを使っています．)

(3)さらに，前のセクションで示した不等式と上の結果を合わせて，次の二つの不等式が分かります． $\forall \beta\in (a,b)$ に対して
<tex>
-M\le f\;'(x-0)\le f\;'(x+0)\le M
</tex>
が成り立ちます．なお，真ん中の不等式の等号成立条件は $ f $ が $ x $ を含むある区間で微分可能であることが必要十分です．

また $\forall \alpha<\forall \beta\in [a,b] $ に対して
<tex>
f\;'(\alpha+0)\le f\;'(\beta-0)
</tex>
です．等号成立条件は $ f $ が区間 $ [\alpha,\beta] $ で線形であることです．

@@author:佑弥@@
@@category:解析力学@@