凸函数是具有如下特性的一个定义在某个向量空间的凸子集formula_1（区间）上的实值函数formula_2：对其定义域formula_1上的任意两点formula_4，总有formula_5。若对其定义域formula_1上的任意两点formula_4，总有formula_8，则称函数formula_2是严格凸的。也就是说，一个函数是凸的当且仅当其上境图（在函数图像上方的点集）为一个凸集。若对于任意的formula_10，其中formula_11，都有formula_12，则称函数formul