凸函数性质与应用.docVIP

凸函数的性质与应用 数学与统计学院、数学与应用数学、0701班，湖北，黄石，435002 1.引言 凸函数是数学分析中的一个重要概念,它涉及了许多数学命题的讨论证明和应用,而且在现代优化学、运筹学、管理学、和工程测绘学等多个学科有着重要的意义和很好的应用.关于凸函数,虽然很多书籍都做了相应的介绍,但多是从不同的角度出发来进行不同的定义和应用. 在高等数学中,利用导数讨论函数的性态时,经常遇到一类特殊函数—凸函数,由于凸函数具有一些特殊性质,利用这些性质可非常简单地证明一些初等不等式、函数不等式和积分不等式. 凸函数是一类重要的函数,在不等式的研究中尤为重要. 本文通过凸函数的定义、性质的描述,主要研究其在不等式证明中的应用,举例说明解题思路与证明方法,并且证明了几个常见的重要不等式及高次函数的凸性猜想. 函数的凸性是函数在区间上变化的整体性态,把握函数在区间上的整体性态,不仅可以更加科学、准确地描绘函数的图象,而且有助于对函数的定性分析. 2. 凸函数的有关概念 2.1凸函数的定义、定理及其几何意义 定义　若函数对于区间内的任意以及恒有 则称为区间上的凸函数. 其几何意义为:凸函数曲线上任意两点 间的割线总在曲线之上. 定理1　若函数在区间内连续,对于区间内的任意恒有 则称为区间上的凸函数. 其几何意义为:凸函数曲线上任意两点 间割线的中点总在曲线上. 定理2　若函数在区间内可微,且对于区间内的任意及 ,恒有 则称为区间上的凸函数. 其几何意义为:凸函数曲线上任一点处的切线,总在曲线之下. 注 若将定义中的改为则称为上的严格凸函数. 2.2 凸函数定义与定理之间的等价性条件 2.2.1 定义1与定理1的等价性 证 　定义1定理1:显然,只要取即可由定义1推得定理1. 定理1定义1:我们首先推证对于任意的及有理数,不等式 成立.事实上,对于此有理数λ,总可表示为有穷二进位小数,即 其中由于也是有理数,故也可以表示为有穷的二进位小数,即 其中这是因为的缘故, 因此 所以 下面再推证对为无理数时定义1也成立.事实上,对任意无里数,由于在内连续,所以 综上即知,定义1与定理1等价. 2.2.2 定义1与定理2的等价条件 证 　定义1定理2:对内任意的及,若则取,使由推论1得 上式中令由于可微,所以有 即 . 若则取,使同理可证. 2.2.3 定理2与定义1的等价条件 对于区间内的任意(不妨设)以及令, 则 由泰勒(Taylor)公式,我们有 其中,于是 +. 再由单调性知 , 所以 , 即 . 所以在一定条件下，定义1与定理3等价. 3. 凸函数的有关结论 3.1 凸函数的运算性质 性质1 若为区间上的凸函数, 为非负实数,则也为区间上的凸函数. 性质2 若均为区间上的凸函数,则 也为区间上的凸函数. 推论 若均为区间上的凸函数,为非负实数,则也为区间上的凸函数. 性质3 若为区间上的凸函数,为上的凸增函数,且,则为区间上的凸函数. 性质4 若均为区间上的凸函数,则 也是区间上的凸函数. 上述性质很容易证明，故在此省略. 3.2 凸函数的其他性质 引理 为上的凸函数的充要条件是：对于上的任意三点，总有 . 证 [必要性]记则 由的凸性知道 = . 从而有 , 即. 整理后即得式. [充分性]在上任取两点在[]上任取一点 即由必要性的推导逆过程，即可证明 . 故为上的凸函数. 同理可证，为上的凸函数的充要条件是：对于上的任意三点总有 . 性质1 设为区间上的严格凸函数,若有是的极小值点,则是在上唯一的极小值点. 证明 若有异于的另一极小值点 ,不妨设 由于是在上的严格凸函数, 故对于任意的,都有 . 于是,任意的, . 但是,,这与是的极小值点的条件矛盾,从而是在上唯一的极小值点. 性质2 设为内的凸函数,有在的任一内闭区间上满足Lipschitz条件. 证明 　要证明在上满足Lipschitz条件,即要证明: 使得有 . 因此，，，根据定义有 , (其中分别表示在的上、下界)从而 , 若由定义有 , 从而 . 由此也可推出式. 若则显然成立.这就证明了式显然对于一切都成立，因此式当互换位置也应成立，故有 . 令,则原命题成立. 性质3 设是上的凸函数,则在上处处存在左、右导数,且左导数小于、等于右导数. 证明 . 记 . 在上单调递增;再在右方任取一定点由引理得: 所以在上单调递增且有上界, 故由单调有界原理: 极限存在，即存在; 任意由定义3有 . 令,则在的左导数小于等于在的右导数. 性质4 设为内可导凸函数,证明