凸函数的性质与应用

  • 格式:doc
  • 大小:1.02 MB
  • 文档页数:20

1 凸函数的性质与应用

数学与统计学院、数学与应用数学、0701班,湖北,黄石,435002

1.引言

凸函数是数学分析中的一个重要概念,它涉及了许多数学命题的讨论证明和应用,而且在现代优化学、运筹学、管理学、和工程测绘学等多个学科有着重要的意义和很好的应用.关于凸函数,虽然很多书籍都做了相应的介绍,但多是从不同的角度出发来进行不同的定义和应用.

在高等数学中,利用导数讨论函数的性态时,经常遇到一类特殊函数—凸函数,由于凸函数具有一些特殊性质,利用这些性质可非常简单地证明一些初等不等式、函数不等式和积分不等式. 凸函数是一类重要的函数,在不等式的研究中尤为重要.

本文通过凸函数的定义、性质的描述,主要研究其在不等式证明中的应用,举例说明解题思路与证明方法,并且证明了几个常见的重要不等式及高次函数的凸性猜想. 函数的凸性是函数在区间上变化的整体性态,把握函数在区间上的整体性态,不仅可以更加科学、准确地描绘函数的图象,而且有助于对函数的定性分析.

2. 凸函数的有关概念

2.1凸函数的定义、定理及其几何意义

定义 若函数fx对于区间,ab内的任意12,xx以及0,1,恒有

1212[(1)]()(1)()fxxfxfx,

则称fx为区间,ab上的凸函数.

其几何意义为:凸函数曲线yfx上任意两点11,,xfx 22,xfx间的割线总在曲线之上. 2 定理1 若函数fx在区间,ab内连续,对于区间,ab内的任意12,xx恒有

12121[][()()]22xxffxfx,

则称fx为区间,ab上的凸函数.

其几何意义为:凸函数曲线yfx上任意两点11,,xfx 22,xfx间割线的中点总在曲线上.

定理2 若函数fx在区间,ab内可微,且对于区间,ab内的任意x及0x ,恒有

00()()()fxfxfxx,

则称fx为区间,ab上的凸函数.

其几何意义为:凸函数曲线yfx上任一点处的切线,总在曲线之下.

注 若将定义1,2,3中的“”改为“”则称fx为,ab上的严格凸函数.

2.2 凸函数定义与定理之间的等价性条件

2.2.1 定义1与定理1的等价性

证 定义1定理1:显然,只要取12=即可由定义1推得定理1.

定理1定义1:我们首先推证fx对于任意的12,xx,ab及有理数0,1,不等式

1212[(1)]()(1)()fxxfxfx,

成立.事实上,对于此有理数λ,总可表示为有穷二进位小数,即 3 121121122220.2nnnnnnaaaaaaa,

其中0,1(1,2,,1);1inaina或由于1也是有理数,故也可以表示为有穷的二进位小数,即

1121121122220.2nnnnnnbbbbbbb,

其中1,1,2,,1;iibain1,nb这是因为11的缘故,

因此

111212[]()()iifaxbxafxbfx(1,2,,1)in,

所以

12[(1)]fxx

12112112112112222222[]22nnnnnnnnnnaaaabbbbfxx21212121111212112222()(22[]2nnnnnnnnaaabbbaxbxxxf2121212111121211222211[()]()2222nnnnnnnnaaabbbfaxbxfxx2121212111121211222211[()()]()2222nnnnnnnnaaabbbafxbfxfxx121112212221111[()()][()()]()2222nnnaxbxafxbfxafxbfxf11122122122111[()()][()()][()()]222nnnafxbfxafxbfxafxbfx 4 12112112112112222222()()22nnnnnnnnnnaaaabbbbfxfx

12()(1)().fxfx

下面再推证fx对为无理数时定义1也成立.事实上,对任意无里数0,1,{}(0,1),n存在有理数列12(),(1)nnnnxx所以,12(1)()xxn,由于fx在,ab内连续,所以

1212121212[(1)][lim(1)]lim[(1)]lim[()(1)()]()(1)()nnxnnnnxxfxxfxxfxxfxfxfxfx

综上即知,定义1与定理1等价.

2.2.2 定义1与定理2的等价条件

证 定义1定理2:对,ab内任意的0x及x,若0,xx则取0h,使00,xxhx由推论1得

0000()()()()].fxhfxfxfxhxx

上式中令0,h由于fx可微,所以有

0()fx00()(),fxfxxx

00()()()fxfxfxx.

若0,xx则取0h,使00,,xxxxhx同理可证.

2.2.3 定理2与定义1的等价条件 5 对于区间,ab内的任意12,xx(不妨设12xx)以及0,1,令121xxx,

则12,xxx 1121,xxxx 2xx 211,xx由泰勒(Taylor)公式,我们有

111222()()()()()()()()fxfxfxxfxfxfxx及

其中1122xxx,于是

12()(1)()fxfx

12[(1)]fxx+2121(1)()[()()]xxff.

再由单调性知

21()()ff,

所以

12()(1)()fxfx 12[(1)]fxx,

12[(1)]fxx12()(1)()fxfx.

所以在一定条件下,定义1与定理3等价.

3. 凸函数的有关结论

3.1 凸函数的运算性质

性质1 若fx为区间I上的凸函数, k为非负实数,则kfx也为区间I上的凸函数.

性质2 若,fxgx均为区间I上的凸函数,则fx gx也为区间I上的凸函数. 6 推论 若,fxgx均为区间I上的凸函数,12,kk为非负实数,则12fxkgxk也为区间I上的凸函数.

性质3 若fx为区间I上的凸函数,gx为J上的凸增函数,且fIJ,则gf为区间I上的凸函数.

性质4 若,fxgx均为区间I上的凸函数,则Fx

max,fxgx也是区间I上的凸函数.

上述性质很容易证明,故在此省略.

3.2 凸函数的其他性质

引理 f为I上的凸函数的充要条件是:对于I上的任意三点12xxx,总有

32212132()()()()fxfxfxfxxxxx. 1

证 [必要性]记3231,xxxx则213(1).xxx

由f的凸性知道

21313[(1)]()(1)()fxfxxfxfx

= 3221133131()()xxxxfxfxxxxx.

从而有

312321213()()()()xxfxxxfxxxfx,

即322212321213()()()()()xxfxxxfxxxfxxxfx. 7 整理后即得1式.

[充分性]在I上任取两点1313,,(),xxxx在[13,xx]上任取一点213(1)xxx 0,1,即3231.xxxx由必要性的推导逆过程,即可证明

1313[(1)]()(1)()fxxfxfx.

故f为I上的凸函数.

同理可证,f为I上的凸函数的充要条件是:对于I上的任意三点12,xxx总有

313221213132()()()()()()]]fxfxfxfxfxfxxxxxxx.

性质1 设f为区间I上的严格凸函数,若有0x是fx的极小值点,则0x是fx在I上唯一的极小值点.

证明 若fx有异于0x的另一极小值点1xI ,不妨设10fxfx

由于fx是在I上的严格凸函数, 故对于任意的0,1,都有

01010[(1)]()(1)()fxxfxfxfx.

于是,任意的0,1,只要充分接近时总有

0010(1),xxxUx.

但是,0()fxfx,这与1x是fx的极小值点的条件矛盾,从而0x是fx在I上唯一的极小值点.

性质2 设fx为,ab内的凸函数,有fx在I的任一内闭区间,,ab上满足Lipschitz条件. 8 证明 要证明fx在,上满足Lipschitz条件,即要证明:

0,L使得12,,xx有

1212()()fxfxLxx. 2

,,,,,,abhhab因为,故可取充分小使得因此,12,,xx,12,xx32xxh取,根据定义有

32212132()()()()fxfxfxfxMmxxxxh,

(其中,Mm分别表示()fx在,hh的上、下界)从而

2121()()Mmfxfxxxh, 3

若1232,,xxxxh可取由定义有

32211223()()()()fxfxfxfxxxxx,

从而

32211223()()()()fxfxfxfxMmxxxxh.

由此也可推出3式.

若12xx,则2显然成立.这就证明了3式显然对于一切12,,xx都成立,因此3式当12,xx互换位置也应成立,故有

2121()()Mmfxfxxxh.

令MmLh,则原命题成立.