凹関数

数学におけるとは、その符号反転が凸関数となるようなものを言う。凹関数の同義語として、函数が下に凹、下方凹または上に凸、上方凸などがある。

 定義 
class=skin-invert-image|thumb|right|300px|凹関数のグラフ
区間（あるいはより一般に、ベクトル空間内の凸集合）で定義された実数値関数  が凹であるとは、 が区間内の任意の , , および区間  内の任意の実数  について不等式

を満たしていることをいうLENHART, S.; WORKMAN, J. T, Optimal Control Applied to biological models, / CRC、Mathematical and Computational Biology Series, 2007.。また狭義凹であるとは、不等式

を満たすことをいう。ただし  は任意、 とする。実関数  に対してはこの定義は単純に、 と  の間の任意の  に対する  のグラフ上の点  が  と  を結ぶ直線よりも上の位置にきていることを言っているのに過ぎない。関数  の  が凸集合であるとき、その関数は準凹関数と呼ばれる。

 性質 
 与えられた関数  が適当な凸集合内で凹であるための必要十分条件は、同じ集合内で関数  が凸関数となることである。
 微分可能関数  が与えられた区間において凹となるための必定十分条件は、その導関数  がその区間において単調非増大となること、すなわち  を満たすことである。凹函数はその傾きが常に減少する。
 凸性が（凸と凹の間で）入れ替わる点は変曲点と呼ばれる。
 二つの凹関数の（点ごとの）和はそれ自身ひとつの凹函数となる。また二つの凹関数の点ごとに大きくないほうの値をとって得られる函数もやはり凹函数である。すなわち、与えられた領域上定義された凹函数全体の成す集合はを成す。
 任意の関数は、その定義域の内部にある極大値点の近くにおいて、凹でなければならない。このことの部分的な逆として、狭義凹函数の導函数が適当な点において  となるならば、その点は極大値点である。
 函数  が二回微分可能であるとき、 が凹であることの必要十分条件は  が非正（加速度が非正）となることである。より強く、二階導関数が負となるならば狭義凹になるが、逆は正しくない（反例として  を考えよ）。
 凹関数の任意の極大値は最大値でもある。狭義凹関数は高々ひとつの最大値を持つ。
  が凹関数かつ微分可能であるとき、 は、 の1次のテイラー近似で上から抑えられる：

 ガウス平面  上の連続関数が凹であるための必要十分条件は  の任意の元 ,  について以下の不等式が成り立つことである。

  関数  が凹であり、 であるとき、 は劣加法性を持つ。証明は以下の通り。
  が凹であるから、 とおくと、 となる。したがって


 例 
 関数  および  はそれぞれの定義域において凹である。実際これらの二階導関数  および  は常に負である。
 対数関数  は定義域  上で凹である。実際、  の導関数  はその区間上狭義単調減少である。
 任意の一次函数  は凹かつ凸だが、狭義凹でも狭義凸でもない。
 正弦関数は区間  で凹関数である。
 関数  は凹関数である。ただし  は非負定値行列  の行列式である。
 光線の屈折のに、関数の凹性が用いられている。

 関連項目 
 凸関数
 イェンゼンの不等式

 脚注 

 参考文献 

Category:関数
Category:関数の種類
Category:凸解析
Category:数学に関する記事