凸関数
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/c7/ConvexFunction.svg/350px-ConvexFunction.svg.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/31/Epigraph_convex.svg/350px-Epigraph_convex.svg.png)
英: convex function)とは、ある区間で定義された実数値関数 f で、区間内の任意の 2 点 x , y と開区間 (0, 1) 内の任意の t に対して
(とつかんすう、
を満たすものをいう。グラフの膨らむ向きを区別する表現を使うなら、凸関数とは「下に凸な関数」のことである[1]。これはまた、エピグラフ(グラフ上およびグラフの上部の点の集合)が凸集合であるような関数である[2]ともいえる。より一般に、ベクトル空間の凸集合上定義された関数に対しても同様に定義する[3]。 また、狭義凸関数とは、任意の異なる 2 点 x , y と開区間 (0, 1) 内の任意の t に対して
を満たす関数である(従って、下に凸な関数の事である)。
−f が凸関数のとき、f を (おうかんすう)[4]と呼ぶ。凸関数を「下に凸な関数」、凹関数を「上に凸な関数」と称することもある。
定義
[編集]X をある実ベクトル空間内の凸集合として、f を f: X → R となる関数とする。
- このとき f が凸であるとは次の条件を満たすことをいう。
- また、f が狭義の凸であるとは次の条件を満たすことをいう。
- 関数 −f が(狭義の)凸であるとき、f は(狭義の)凹であるという。
一般形
[編集]イェンセンの不等式 を参照せよ。
凸関数の性質
[編集]凸開区間 C で定義された凸関数 f は連続で、高々可算個の点を除いて微分可能である[5]。閉区間の場合は、端で連続でない場合がある。
f が連続関数ならば、凸関数であるためには、任意の x, y に対して
を満たせば十分である。この条件は、凸関数の定義中の不等式で、特に t = 1/2 の式である。
区間上の 1 変数微分可能な関数が凸関数であるための必要十分条件は、微分が単調非減少であることである。
また 1 変数 2 階微分可能な関数が、凸関数であることの必要十分条件は、2 階微分が非負であることである[6]。また、2 階微分が正ならば、狭義凸関数である。この逆は成立しない。例えば、y = x4 は狭義凸関数であるが、2 階微分は正ではない。
より一般的に、C2 級関数が凸関数であるための必要十分条件は、凸集合の内部で、ヘッセ行列が半正値であることである。
f, g が凸関数であるとき、非負の a , b について af + bg は凸関数である。同様に、max{f , g} も凸関数である。
凸関数の極小値は最小値である。狭義凸関数は最小値を取る点が存在するなら 1 点である[7]。
f が凸関数のとき、レベル集合 {x | f (x ) < a } と {x | f (x ) ≤ a } は、任意の a ∈ R について凸集合である。
対数凸関数
[編集]定義域において正値であり、その対数が凸である関数を対数凸関数という[8]。対数凸関数は凸関数であることが重みつきの算術平均と幾何平均の定理から従う。対数凹関数も同様にして定義される。正値の凹関数が対数凹関数であることも同様にして示される。
例
[編集]- x2 は凸関数であるが、対数凸関数ではない。
- x3 は x > 0 において凸関数であり、x < 0 において凹関数である。
- 指数関数 ex は凸関数であり、狭義ではない対数凸関数である。
- ガンマ関数 Γ(x ) は x > 0 において対数凸関数である。
- 絶対値関数 |x| は x = 0 で微分不可能であるが凸関数である。
- 区間 [0, 1] 上で、f(0) = f (1) = 1, 0 < x < 1 のとき f(x ) = 0 で定義された f は不連続であるが、凸関数である。
- 線形写像は狭義ではない凸関数であり、狭義ではない凹関数でもある。
- アフィン写像は凸関数であり、凹関数でもある。
- ガウス関数 exp(−x2) は対数凹関数であるが、凹関数ではない。
原点に対して凸
[編集]経済学においては、曲線が原点に向かって弓なりに突き出した形になっていることを原点に対して凸[9]、または原点に向かって凸[10]と呼ぶことがある。
脚注
[編集]- ^ 英: downward-convex function
- ^ Rockafellar & Wets 1998, Proposition 2.4 (convexity of epigraph).
- ^ Rockafellar & Wets 1998, Definition 2.1 (convex sets and convex functions).
- ^ 英: concave function
- ^ Rockafellar 1977, Theorem 25.3.
- ^ アルティン 2002, p. 9.
- ^ Rockafellar & Wets 1998, Theorem 2.6 (characteristics of convex optimization).
- ^ アルティン 2002, p. 12.
- ^ 芦谷 (2009)、p. 51。
- ^ 神部、寶多、濱田 (2006)、p. 99。
参考文献
[編集]- E. アルティン『ガンマ関数入門』日本評論社、2002年。ISBN 4-535-60846-6。
- 芦谷政浩『ミクロ経済学』有斐閣、2009年。ISBN 978-4-641-16350-8。
- 神戸伸輔; 寶多康弘; 濱田弘潤『ミクロ経済学をつかむ』有斐閣、2006年。ISBN 4-641-17700-7。
- Rockafellar, R. Tyrrell (1977). Convex analysis. Princeton Landmarks in Mathematics. Princeton University Press. ISBN 0-691-01586-4. MR1451876. Zbl 0932.90001
- 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
関連項目
[編集]Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.