凸函数的若干性质.doc

凸函数的若干性质 摘要: 在很多数学问题的分析与证明中都要用到凸函数,所以研究凸函数的性质就显得尤为重要.本文在参考众多文献的基础上,对凸函数的若干性质进行了归纳和总结,主要论述了凸函数的运算性质、几何性质、有界性等等,给出了凸函数应用的几个实例.在此基础上又对凸函数进行了推广,阐述了对数性凸函数的若干结论. 关键词: 凸函数;Jensen不等式;对数性凸函数 引言 凸函数是一类重要的函数它的概念最早见 [1905]著述中它在纯粹数学和应用数学的众多领域中具有广泛的应用现已成为数学规划对策论数理经济学变分学和最优控制等学科的理论基础和有力工具凸函数是一类重要的函数凸函数有许多良好的性质 图(1) 图(2) 1.2 凸函数的几何特征 如图(2)所示,按图(1)所规定的方式,图(2)中的曲线为凸函数,其中1,2,3,三条直线在曲线内围成一个三角形,三角形的三边所对应的弧段都在所对应直线的下方.于是我们从凸函数的几何特征出发,给出凸函数的一个几何意义上的概念,就是曲线上任意两点之间的弧段总在这两点连线的下方. 例如我们熟悉的函数和的图像,它们图像不同的特点是:曲线上任意两点的弧段总在这两点连线的下方;而曲线则相反,即任意两点的弧段总在这两点连线的上方. 1.3 凸函数的等价定义及判定定理 定义 设为定义在区间上的函数,若对上任意的两点 ,,任意的实数总有 , 则称为区间上的凸函数;若上式仅不等号成立,则称为区间上的严格凸函数.反之,如果总有 , 则称为区间上的凹函数,若仅不等号成立,则称为区间上的严格凹函数. 定义2 设在区间上有定义,若对上任意两点,和正数,且,总有 , 则称为区间上的凸函数. 在定义2的基础上我们可以得到下面的定义3. 定义3(Jensen不等式) 若函数在区间内是凸函数,则对任意 ,(),且,有 . 证 应用数学归纳法,当时,由凸函数的定义,有 , ,即时不等式成立.设时成立,即对任意及 ,,,有 . 设及(),. 令,,则.由数学归纳法假设可推得 . 所以对任何正整数(2)总有成立. 注 当时便得到定义4. 定义4 若函数在区间上是凸函数,则不等式 . 定义5 若函数在区间上存在二阶导数,且,则,有 Jensen不等式成立,即 , 其中,＞0()且. 证 由于,则是区间上的凸函数,由定义3也可得此结论. 在凸函数定义的基础上我们再给出凸函数的几个判定定理. 定理1 函数为区间上的凸函数的充要条件是:对于上的任意三点,,(＜＜),总有. 定理2 设在区间上可导,则下述论断互相等价: 1）是区间上的凸函数; 2）是区间上的增函数; 3）对区间上的任意两点,有. 证 在区间上任取两点,,对充分小的正数,由于,所以由定理1得 , 因是区间上的可导函数,令可得 , 所以是区间上的增函数. 在以,为端点的区间上,由Langrange中值定理和是区间上的增函数得 , 移项后得 , 且当时仍可得到相应的结论. 任取区间上的任意两点,, ,由3）并利用与得 , , 分别用和1乘上述两式并相加,便得 , 则是区间上的凸函数. 定理3 设为区间上的二阶可导函数,则在区间上为凸函数的充要条件是,. 证 1)必要性 因为在区间为凸函数,则是区间上的增函数 ,即,. 2)充分性 因为,,所以是区间上的增函数,即为上的凸函数. 2凸函数的性质 2.1 凸函数的运算性质 性质1 若为凸函数,则(1)若,则称为凸函数; (2)若＜,则称为凹函数. 证 因为凸函数,由定义若对上任意两点和正数,总有 . (1)当时在上式两端同时乘以得: , 即为凸函数. (2)当＜时在上式两端同时乘以得: , 即为凹函数. 性质2 若为凸函数,则为凹函数,反之亦然. 注 性质2是性质1的特例,即. 性质3 若,为凸函数,则为凸函数. 证 因,为凸函数,则对上任意两点,和正数,总有 , , . 所以为凸函数. 性质4 若为凸函数,则 ()亦为凸函数. 证 由性质3和数学归纳法可证得. 性质5 若,为凸函数,则为凸函数. 证 因,为凸函数,即对上任意两点,和正数, 总有 , , 则为凸函数. 性质6 若为凸函数,则()为凸函数. 证 由性质5和数学归纳法可证得. 性质 设,都是上的非负单调递增(递减)的凸函数,则 也是上的凸函数. 证 因,都是上的非负