凹凸函数性质总结
谁知道凸函数和凹函数的定义与性质？
谁知道凸函数和凹函数的定义与性质？
答：在高等数学里我们经常说凸曲线或者凹曲线，而不说#34凸函数#34或#34凹函数#34。并在高等数学导数的应用于研究函数的图形的凹凸性时，是这样定义凹曲线和凸曲线的：如果连续可导函数的图像是一条曲线，那么区城I内函数y＝f(x)的图形位于任意点处切线的上方，这个函数就是图形上凹的，相反函数的图形位于任意点处切线的下方，函数就是图形上凸的。
如果函数f(x)二阶可导，那么二阶导数f#39#39(x)lt0，函数的图开是上凸的，二阶导数f#39#39(x)gt0，函数的图形是上凹的。
凹函数推广定义如何证明？
函数的凹凸性刻画了函数在定义区间上任意两点间的曲线弧与过两点的弦之间的上下位置关系。
一、凹凸函数代数定义及判定定理
定义 若函数在区间上连续，对内任意两点，恒有
成立，则称函数在区间上是凹的；若恒有
成立，则称函数在区间上是凸的.
如果函数在区间内具有二阶微商，那么有下面的函数曲线凹凸性的判定定理。
定理[1] 设函数在区间上连续，且存在二阶微商.
(1)若对任意的，有，则函数在区间内是凹的；
(2)若对任意的，有，则函数在区间内是凸的.
定理的证明方法较多[2-3]，有些是采用对原函数及一阶导函数连续利用微分中值定理的证明思路，也有些是运用函数单调性的导数判别法及微分中值定理，本文就不再赘述。下面给出对于定理的推广定理。
二、对凹凸函数判定定理的推广及证明
推广1 设函数在区间上连续，且存在二阶微商.
(1)若对于任意的都有成立，那么对于任意的
及，有
(2)若对于任意的都有成立，那么对于任意的及，有
推广1可以理解为定理的等价性推广.事实上、是函数曲线上的两点，过这两点的直线不妨记为，则有
.
那么，表示与之间的任意一点.所以，当时，有
成立，即表示函数曲线上与之间的任意一点始终位于与连线上方.其中
也就是成立.
从几何直观上看，推广1刻画了在曲线弧上任意取两点，连接这两点的弦总是在弧段的上方，那么曲线就是凹的；反之，连接这两点的弦总是在弧段的下方，那么曲线就是凸的。
进一步地，从曲线弧切线的位置看，曲线是凹的要求曲线弧总在切线上方，而曲线是凸要求曲线弧总在切线下方，这与几何直观上了解的凹与凸是一致的。
推广2 设函数在区间上连续，且存在二阶微商.
(1)若对于任意的都有成立，那么对于任意的
，有
(2)若对于任意的都有成立，那么对于任意的，有
推广3 设函数在区间上连续，且存在二阶微商.若对于任意的都有成立，存在且，那么对于所有的，有
证明 对于所有的
不妨设，记.
将在处，按照一阶泰勒公式展开，有
（1）
分别将代入（1）式，得：
（2）
（3）
……
（n 1）
以乘以（2），以乘以（3），……，以乘以（n 1），并相加，得：
因为，
则上式中：
所以上式整理可得：
又因为，，
故有成立，即
.
注1 若相应的将改为，其他条件不变,则有下式成立:
注2 推广3在推广1的基础上，揭示了在内插入个离散点的算术平均值处的函数值与这个离散点处函数值的算术平均值之间的关系。其中，当时推广3即为推广1的情形；当时，推广3即为推广2的情形，所以推广3刻画了更为一般的情形，也具有更强的应用性。
例1 设函数在区间上连续，且存在二阶微商.若对于任意的都有成立，证明有
若有，则不等号方向改变.