凹凸函数的性质.doc

在区间上为(严格)凸（凹）函数－在区间上为（严格）凹（凸）代替并应用（严格）凸函数的结论即可推得。因此，只须讨论（严格）凸函数的性质。 定理1、在区间I上为凸函数,,,,下面不等式 任何两个组成的不等式成立 证明：（1）在区间为凸函数 （2）在区间上为凸函数 定理1的几何表示： 定理2、(Jenden不等式) 如果在区间上为严格凸函数，则当上述且不全相等时，有 证明：设 （归纳法）当时， 当时， 假设当时， 有 则当时，， 令 ，便有 ， 于是， 归纳可得， 如果右边条件成立，特别当时，，故有 这就证明了在区间上为凸函数 关于严格凸函数的情形，当不全相等时，我们重新审视归纳证明过程，当时，不全相等就是，按定义，严格的不等号成立。假设当时，严格不等号成立，再设不全相等，如果其中不全相等，则上述归纳法中最后的那个不等号应该是严格的；如果，则，此时归纳过程的第一个不等号时严格的。总之，不等式对一切成立 定理、(Jensen不等式)在区间上为凸函数有 如果是严格凸的，则当上述不全相等时，有 当在内可导时有下面应用起来更方便的定理： 定理3、设在区间上可导，则下面三个命题等价： 在上为（严格）凸函数 在上为(严格)增函数 ，有 (或)即的图形(严格)在其任一点的切线的上方 证明：（1）（2） 设在区间上为凸函数，即，充分小的， 使得，根据的凸性及定理1有 因为可导，令，得到 所以在上为增函数。 在为严格凸函数的情形时，我们取定一点，从而得出 这就得出了严格不等式即在上为严格增函数 (1)(2) 设在上为增函数，对任何，由拉格朗日中值定理知，存在，使得， 再由定理1知，在上为严格凸函数 （2）(3) 设在上为增函数，，由拉格朗日中值定理知，存在介于与之间的，使得 即的图像落在的切线的上方 如果在上为严格增函数，，上述不等式为 即的图形严格落在的切线的上方 （1）（3） 由（3）并利用得到 于是， 即在上为凸函数。 如果的图形严格在曲线每一点，的切线的上方，则上述不等式中所有的“”均为“”，于是 即在上为严格凸函数 （2）（3） 由（3），，有 从而 即在上为单调增函数 如果的图形严格在曲线每一点，的切线的上方，则上述不等式中所有的“”均为“”，于是 即在上为严格增函数 当在内二劫可导时，有下面应用起来更方便的定理： 定理4、设在区间上二阶可导，则在上为（严格）凸函数 证明：在为(严格)单调凸函数 在上为（严格）单调增函数 定理a、设为区间，在上连续，在内可导，则在上单调增（减） 定理b、设为区间，在上连续，在内可导，则在上严格增（减） （1） （2）上， 凹凸函数的性质