函数凸性及相关性质.docVIP

函数的凸性及相关性质 设是定义在区间上的函数，若对上任意两点和任意实数总有 则称为区间上的凸函数或下凸函数。上述不等式表明弧在弦下，故曰下凸。 性质1. 为区间上的凸函数的充要条件是对于上任意三点，总有下述不等式成立。 根据这一性质，若函数即是凸函数又是凹函数，则不等式变为等式，立即可得是一线性函数。 性质2. 开区间上的凸函数必是连续函数。 证明 记开区间为，任取，不妨设，根据性质1的第一个不等式得到，又取，根据性质1的第二个不等式得到。结合这两个不等式得 两边同时令，得，即在右连续。同理可证在左连续。是任意取的，所以在内连续。 【注】这一结论在闭区间上有可能不再成立，在开区间上也无法加强为一致连续。 性质3. （詹森不等式）设为区间上的凸函数，则对于任意，， 有 性质4. 设为区间上的凸函数，则函数单调递增。 证明 取则根据性质1有，所以单调递增。 从这个结论还可以看到，凸函数有有限的单侧导数。 性质5. 在开区间上为下凸函数的充分必要条件是对每个，存在使得在区间上成立不等式。 证明 首先时显然成立。 性质6. （阿达玛不等式）设是上的下凸函数，则对每一对有。 证明 为下凸函数，所以，两边对从到积分，得。另一方面，由为下凸函数又可得到，后者等于。 综上所述有，。