「凸関数」の版間の差分

削除された内容追加された内容

インライン

2016年6月4日 (土) 18:56時点における版

凸関数（とつかんすう、英: convex function）、下に凸関数 (downward-convex function) とは、ある区間で定義された実数値関数 $f$ で、区間内の任意の 2 点 $x , y$ と開区間 $(0, 1)$ 内の任意の $t$ に対して

$f(tx+(1-t)y)\leq tf(x)+(1-t)f(y)\,$

を満たすものをいう。言い換えれば、エピグラフ（グラフ上およびグラフの上部の点の集合）が凸集合である関数である^[1]。より一般に、ベクトル空間の凸集合上定義された関数に対しても同様に定義する^[2]。

また、狭義凸関数とは、任意の異なる 2 点 $x , y$ と開区間 $(0, 1)$ 内の任意の $t$ に対して

$f(tx+(1-t)y)<tf(x)+(1-t)f(y)\,$

を満たす関数である（従って、下に凸な関数の事である）。

$- f$ が凸関数のとき、 $f$ を凹関数（おうかんすう、concave function）と呼ぶ。凸関数を「下に凸な関数」、凹関数を「上に凸な関数」と称することもある。

定義

$X$ をある実ベクトル空間内の凸集合として、 $f$ を $f : X \to R$ なる関数とする。

このとき $f$ が凸であるとは次の条件を満たすことをいう。

\forall x_{1},x_{2}\in X,\forall t\in [0,1]:\qquad f(tx_{1}+(1-t)x_{2})\leq tf(x_{1})+(1-t)f(x_{2}).

また、 $f$ が狭義の凸であるとは次を満たすことをいう。

\forall x_{1}\neq x_{2}\in X,\forall t\in (0,1):\qquad f(tx_{1}+(1-t)x_{2})<tf(x_{1})+(1-t)f(x_{2}).

関数 $- f$ が（狭義の）凸であるとき、 $f$ は（狭義の) 凹であるという。

凸関数の性質

凸開区間 $C$ で定義された凸関数 $f$ は連続で、高々可算個の点を除いて微分可能である。閉区間の場合は、端で連続でない場合がある。

$f$ が連続関数ならば、凸関数であるためには、任意の $x, y$ に対して

f\left({\frac {x+y}{2}}\right)\leq {\frac {f(x)+f(y)}{2}}

を満たせば十分である。この条件は、凸関数の定義中の不等式で、特に $t = 1/2$ の式である。

区間上の 1 変数微分可能な関数が凸関数であるための必要十分条件は、微分が単調非減少であることである。

また 1 変数 2 階微分可能な関数が、凸関数であることの必要十分条件は、2 階微分が非負であることである。また、2 階微分が正ならば、狭義凸関数である。この逆は成立しない。例えば、 $y = x 4$ は狭義凸関数であるが、2 階微分は正ではない。

より一般的に、 $C 2$ 級関数が凸関数であるための必要十分条件は、凸集合の内部で、ヘッセ行列が半正値であることである。

$f, g$ が凸関数であるとき、非負の $a , b$ について $af + bg$ は凸関数である。同様に、 $max{f, g}$ も凸関数である。

凸関数の極小値は最小値である。狭義凸関数は最小値を取る点が存在するなら 1 点である^[3]。

$f$ が凸関数のとき、レベル集合 ${x | f (x) < a}$ と ${x | f (x) \leq a}$ は、任意の $a \in R$ について凸集合である。

対数凸関数

定義域において非負であり、その対数が凸である関数を対数凸関数（英語版） (logarithmically convex function) という。対数凸関数は、それ自体凸関数である。

例

$x 2$ は凸関数であるが、対数凸関数ではない。
$x 3$ は $x > 0$ において凸関数であり、 $x < 0$ において凹関数である。
指数関数 $e x$ は凸関数であり、狭義ではない対数凸関数である。
ガンマ関数 $Γ(x)$ は $x > 0$ において対数凸関数である。
絶対値関数 $| x |$ は $x = 0$ で微分不可能であるが凸関数である。
区間 $[0, 1]$ 上で、 $f (0) = f (1) = 1, 0 < x < 1$ のとき $f (x) = 0$ で定義された $f$ は不連続であるが、凸関数である。
線形写像は狭義ではない凸関数であり、狭義ではない凹関数でもある。
アフィン写像は凸関数であり、凹関数でもある。

原点に対して凸

経済学においては、曲線が原点に向かって弓なりに突き出した形になっていることを原点に対して凸^[4]、または原点に向かって凸^[5]と言う。

脚注

参考文献

芦谷政浩『ミクロ経済学』有斐閣、2009年。ISBN 978-4-641-16350-8。
神部伸輔; 寶多康弘; 濱田弘潤『ミクロ経済学をつかむ』有斐閣、2006年。ISBN 4-641-17700-7。
Rockafellar, R. Tyrrell; Wets, Roger J.-B. (1998). Variational analysis. Grundlehren der Mathematischen Wissenschaften. 317. Springer-Verlag. ISBN 3-540-62772-3. MR1491362. Zbl 0888.49001

@@ 9行目: / 9行目: @@
 を満たす関数である（従って、下に凸な関数の事である）。
-{{math|&minus;''f''}} が凸関数のとき、{{mvar|f}} を'''凹関数'''（おうかんすう、{{en|[[:en:Concave function|concave function]]}}）と呼ぶ。凸関数を「下に凸な関数」、凹関数を「上に凸な関数」と称することもある。
+{{math|&minus;''f''}} が凸関数のとき、{{mvar|f}} を'''[[凹関数]]'''（おうかんすう、{{en|concave function}}）と呼ぶ。凸関数を「下に凸な関数」、凹関数を「上に凸な関数」と称することもある。
 == 定義 ==
-<math>X</math>をある実ベクトル空間内の凸集合として、fを{{math|''f'' : ''X'' → '''R'''}}となる関数とする。
+{{mvar|X}} をある実ベクトル空間内の凸集合として、{{mvar|f}} を {{math|''f'': ''X'' → '''R'''}} なる関数とする。
-* この時{{mvar|f}}は次の条件を満たせば'''凸'''であるといえる。
+* このとき {{mvar|f}} が'''凸'''であるとは次の条件を満たすことをいう。
 ::<math>\forall x_1, x_2 \in X, \forall t \in [0, 1]: \qquad f(tx_1+(1-t)x_2)\leq t f(x_1)+(1-t)f(x_2).</math>
-* また、fが'''狭義の凸'''{{mvar|f}}となる条件は次のとおり。
+* また、{{mvar|f}} が'''狭義の凸'''であるとは次を満たすことをいう。
 ::<math>\forall x_1 \neq x_2 \in X, \forall t \in (0, 1): \qquad f(tx_1+(1-t)x_2) < t f(x_1)+(1-t)f(x_2).</math>
-*関数{{math|−''f''}}が（狭義の）凸である時、{{mvar|f}}は（狭義の) [[凹関数|凹]]([[:en:Concave function|英語版]])であるという。
+*関数 {{math|−''f''}} が（狭義の）凸であるとき、{{mvar|f}} は（狭義の) [[凹関数|凹]]であるという。
 == 凸関数の性質 ==
@@ 28行目: / 28行目: @@
 区間上の 1 変数微分可能な関数が凸関数であるための必要十分条件は、微分が[[単調関数|単調非減少]]であることである。
-また 1 変数 2 階微分可能な関数が、凸関数であることの必要十分条件は、2 階微分が非負であることである。また、2 階微分が正ならば、狭義凸関数である。この[[逆]]は成立しない。例えば、{{math|''y'' {{=}} ''x'' {{sup|4}}}} は狭義凸関数であるが、2 階微分は正ではない。
+また 1 変数 2 階微分可能な関数が、凸関数であることの必要十分条件は、2 階微分が非負であることである。また、2 階微分が正ならば、狭義凸関数である。この[[逆]]は成立しない。例えば、{{math|''y'' {{=}} ''x''{{sup|4}}}} は狭義凸関数であるが、2 階微分は正ではない。
-より一般的に、[[滑らかな関数|{{math|''C'' {{sup|2}}}} 級関数]]が凸関数であるための必要十分条件は、凸集合の内部で、[[ヘッセ行列]]が[[エルミート行列|半正値]]であることである。
+より一般的に、[[滑らかな関数|{{math|''C''{{sup|2}}}} 級関数]]が凸関数であるための必要十分条件は、凸集合の内部で、[[ヘッセ行列]]が[[エルミート行列|半正値]]であることである。
-{{mvar|f , g}} が凸関数であるとき、非負の {{mvar|a , b}} について {{math|''af'' + ''bg''}} は凸関数である。同様に、{{math|max {{(}}''f'' , ''g'' {{)}}}} も凸関数である。
+{{mvar|f, g}} が凸関数であるとき、非負の {{mvar|a , b}} について {{math|''af'' + ''bg''}} は凸関数である。同様に、{{math|max{{(}}''f'' , ''g''{{)}}}} も凸関数である。
 凸関数の[[極小値]]は[[最小値]]である。狭義凸関数は最小値を取る点が存在するなら 1 点である{{sfn|Rockafellar|Wets|1998|loc={{google books quote|id=w-NdOE5fD8AC|page=41|Theorem 2.6 (characteristics of convex optimization)}}}}。
@@ 39行目: / 39行目: @@
 == 対数凸関数 ==
-定義域において非負であり、その[[対数]]が凸である関数を'''対数凸関数''' ({{en|''logarithmically convex function''}} ) という。対数凸関数は、それ自体凸関数である。
+定義域において非負であり、その[[対数]]が凸である関数を'''{{仮リンク|対数凸関数|en|Logarithmically convex function}}''' ({{en|''logarithmically convex function''}}) という。対数凸関数は、それ自体凸関数である。
 == 例 ==
-*{{math|''x'' {{sup|2}}}} は凸関数であるが、対数凸関数ではない。
+*{{math|''x''{{sup|2}}}} は凸関数であるが、対数凸関数ではない。
-*{{math|''x'' {{sup|3}}}} は {{math|''x'' &gt; 0}} において凸関数であり、{{math|''x'' &lt; 0}} において凹関数である。
+*{{math|''x''{{sup|3}}}} は {{math|''x'' &gt; 0}} において凸関数であり、{{math|''x'' &lt; 0}} において凹関数である。
 *[[指数関数]] {{math|e''{{sup|x}}''}} は凸関数であり、狭義ではない対数凸関数である。
 *[[ガンマ関数]] {{math|&Gamma;(''x'' )}} は {{math|''x'' &gt; 0}} において対数凸関数である。
-*[[絶対値]]関数 {{math|{{!}}''x'' {{!}}}} は {{math|''x'' {{=}} 0}} で微分不可能であるが凸関数である。
+*[[絶対値]]関数 {{math|{{!}}''x''{{!}}}} は {{math|''x'' {{=}} 0}} で微分不可能であるが凸関数である。
-*区間 {{math|{{!(}}0, 1{{)!}}}} 上で、{{math|''f'' (0) {{=}} ''f'' (1) {{=}} 1, 0 &lt; ''x'' &lt; 1}} のとき {{math|''f'' (''x'' ) {{=}} 0}} で定義された {{mvar|f}} は不連続であるが、凸関数である。
+*区間 {{math|{{!(}}0, 1{{)!}}}} 上で、{{math|''f''(0) {{=}} ''f'' (1) {{=}} 1, 0 &lt; ''x'' &lt; 1}} のとき {{math|''f''(''x'' ) {{=}} 0}} で定義された {{mvar|f}} は不連続であるが、凸関数である。
 *[[線形写像]]は狭義ではない凸関数であり、狭義ではない凹関数でもある。
 *[[アフィン写像]]は凸関数であり、凹関数でもある。
@@ 65行目: / 65行目: @@
 |first1     = R. Tyrrell
 |last2      = Wets
-|first2     = Roger J. -B.
+|first2     = Roger J.-B.
 |year       = 1998
 |title      = Variational analysis

2016年6月4日 (土) 18:56時点における版

定義

凸関数の性質

対数凸関数

例

原点に対して凸

脚注

参考文献

関連項目