凹関数
与えられた関数 f が適当な凸集合内で凹であるための必要十分条件は、同じ集合内で関数 −f が凸関数となることである。
微分可能関数 f が与えられた区間において凹となるための必定十分条件は、その導関数 f′ がその区間において単調非増大となること、すなわち f′′ < 0 を満たすことである。凹函数はその傾きが常に減少する。
凸性が(凸と凹の間で)入れ替わる点は変曲点と呼ばれる。
二つの凹関数の(点ごとの)和はそれ自身ひとつの凹函数となる。また二つの凹関数の点ごとに大きくないほうの値をとって得られる函数もやはり凹函数である。すなわち、与えられた領域上定義された凹函数全体の成す集合は半体(英語版)を成す。
任意の関数は、その定義域の内部にある極大値点の近くにおいて、凹でなければならない。このことの部分的な逆として、狭義凹函数の導函数が適当な点において 0 となるならば、その点は極大値点である。
函数 f が二回微分可能であるとき、f が凹であることの必要十分条件は f′′ が非正(加速度が非正)となることである。より強く、二階導関数が負となるならば狭義凹になるが、逆は正しくない(反例として f(x) = −x を考えよ)。
凹関数の任意の極大値は最大値でもある。狭義凹関数は高々ひとつの最大値を持つ。
f が凹関数かつ微分可能であるとき、f は、f の1次のテイラー近似で上から抑えられる: f ( y ) ≤ f ( x ) + f ′ ( x ) [ y − x ] .
区間(あるいはより一般に、ベクトル空間内の凸集合)で定義された実数値関数 f が凹であるとは、f が区間内の任意の x, y, および区間 [0, 1] 内の任意の実数 α について不等式
f ( ( 1 − α ) x + α y ) ≥ ( 1 − α ) f ( x ) + α f ( y ) {\displaystyle f((1-\alpha )x+\alpha y)\geq (1-\alpha )f(x)+\alpha f(y)}
を満たしていることをいう。また狭義凹であるとは、不等式
f ( ( 1 − α ) x + α y ) > ( 1 − α ) f ( x ) + α f ( y ) {\displaystyle f((1-\alpha )x+\alpha y)>(1-\alpha )f(x)+\alpha f(y)}
を満たすことをいう。ただし α ∈ (0, 1) は任意、x ≠ y とする。実関数 f: R → R に対してはこの定義は単純に、x と y の間の任意の z に対する f のグラフ上の点 (z, f(z)) が (x, f(x)) と (y, f(y)) を結ぶ直線よりも上の位置にきていることを言っているのに過ぎない。関数 f の上方位集合(英語版) S ( a ) = { x : f ( x ) ≥ a } {\displaystyle S(a)=\{x:f(x)\geq a\}} が凸集合であるとき、その関数は準凹関数(英語版)と呼ばれる。