数学における(おうかんすう、: concave function)とは、その符号反転凸関数となるようなものを言う。凹関数の同義語として、函数が下に凹[1]、下方凹[2]または上に凸[3]、上方凸[4]などがある。

定義

編集
 
凹関数のグラフ

区間(あるいはより一般に、ベクトル空間内の凸集合)で定義された実数値関数 f凹であるとは、f が区間内の任意の x, y, および区間 [0, 1] 内の任意の実数 α について不等式

 

を満たしていることをいう[5]。また狭義凹であるとは、不等式

 

を満たすことをいう。ただし α ∈ (0, 1) は任意、xy とする。実関数 f: RR に対してはこの定義は単純に、xy の間の任意の z に対する fグラフ上の点 (z, f(z))(x, f(x))(y, f(y)) を結ぶ直線よりも上の位置にきていることを言っているのに過ぎない。関数 f上方位集合英語版   が凸集合であるとき、その関数は準凹関数英語版と呼ばれる[6]:496

性質

編集
  • 与えられた関数 f が適当な凸集合内で凹であるための必要十分条件は、同じ集合内で関数 f が凸関数となることである。
  • 微分可能関数 f が与えられた区間において凹となるための必定十分条件は、その導関数 f がその区間において単調非増大となること、すなわち f″ < 0 を満たすことである。凹函数はその傾きが常に減少する。
  • 凸性が(凸と凹の間で)入れ替わる変曲点と呼ばれる。
  • 二つの凹関数の(点ごとの)和はそれ自身ひとつの凹函数となる。また二つの凹関数の点ごとに大きくないほうの値をとって得られる函数もやはり凹函数である。すなわち、与えられた領域上定義された凹函数全体の成す集合は半体英語版を成す。
  • 任意の関数は、その定義域の内部にある極大値点の近くにおいて、凹でなければならない。このことの部分的なとして、狭義凹函数の導函数が適当な点において 0 となるならば、その点は極大値点である。
  • 函数 f が二回微分可能であるとき、f が凹であることの必要十分条件は f″ が非正(加速度が非正)となることである。より強く、二階導関数が負となるならば狭義凹になるが、は正しくない(反例として f(x) = −x4 を考えよ)。
  • 凹関数の任意の極大値は最大値でもある。狭義凹関数は高々ひとつの最大値を持つ。
  • f が凹関数かつ微分可能であるとき、f は、f の1次のテイラー近似で上から抑えられる[6]:489
     
  • ガウス平面 C 上の連続関数が凹であるための必要十分条件は C の任意の元 x, y について以下の不等式が成り立つことである。
     
  • 関数 f が凹であり、f(0) ≥ 0 であるとき、f劣加法性を持つ。証明は以下の通り。
    f が凹であるから、y = 0 とおくと、f(tx) = f(tx + (1 − t) ⋅ 0) ≥ tf(x) + (1 − t)f(0) ≥ tf(x) となる。したがって
     
  • 関数   および   はそれぞれの定義域において凹である。実際これらの二階導関数   および   は常に負である。
  • 対数関数   は定義域   上で凹である。実際、 f(x) の導関数 1/x はその区間上狭義単調減少である。
  • 任意の一次函数 f(x) = ax + b は凹かつ凸だが、狭義凹でも狭義凸でもない。
  • 正弦関数は区間 [0, π] で凹関数である。
  • 関数   は凹関数である。ただし |B|非負定値行列 B行列式である[7]
  • 光線屈折計算英語版に、関数の凹性が用いられている。

関連項目

編集

脚注

編集
  1. ^ : concave downwards
  2. ^ : concave down
  3. ^ : convex upwards
  4. ^ : convex cap, upper convex
  5. ^ LENHART, S.; WORKMAN, J. T, Optimal Control Applied to biological models, チャップマン・アンド・ホール英語版/ CRC、Mathematical and Computational Biology Series, 2007.
  6. ^ a b Varian, Hal (1992). Microeconomic Analysis (英語) (3rd ed.). New York: W. W. Norton & Company英語版. ISBN 0-393-95735-7
  7. ^ Thomas M. Cover and J. A. Thomas (1988). “Determinant inequalities via information theory”. SIAM Journal on Matrix Analysis and Applications 9 (3): 384–392. doi:10.1137/0609033. 

参考文献

編集