凸函数

凸函数是一个连续函数，其在定义域内每个区间的中点的值不大于该区间端点值的算术平均值。

更一般地，函数 在区间 上是凸函数，如果对于 中的任意两点 和 以及任何满足 的 ，

(Rudin 1976, p. 101; 参见 Gradshteyn 和 Ryzhik 2000, p. 1132)。

如果 在 上存在二阶导数，那么它在该区间上是凸函数的必要和充分条件是二阶导数 对于所有 在 上成立。

如果上述不等式对于所有 和 都是严格不等式，那么 称为严格凸函数。

凸函数的例子包括 ，其中 或 ，，其中 ，以及 ，对于所有 。如果不等号反向，则该函数称为凹函数。