凸函数的性质与应用
- 格式: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也是有理数,故也可以表示为有穷的二进位小数,即
1121121122220.2nnnnnnbbbbbbb,
其中1,1,2,,1;iibain1,nb这是因为11的缘故,
因此
111212[]()()iifaxbxafxbfx(1,2,,1)in,
所以
12[(1)]fxx
12112112112112222222[]22nnnnnnnnnnaaaabbbbfxx21212121111212112222()(22[]2nnnnnnnnaaabbbaxbxxxf2121212111121211222211[()]()2222nnnnnnnnaaabbbfaxbxfxx2121212111121211222211[()()]()2222nnnnnnnnaaabbbafxbfxfxx121112212221111[()()][()()]()2222nnnaxbxafxbfxafxbfxf11122122122111[()()][()()][()()]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()fx00()(),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)]fxx12()(1)()fxfx.
所以在一定条件下,定义1与定理3等价.
3. 凸函数的有关结论
3.1 凸函数的运算性质
性质1 若fx为区间I上的凸函数, k为非负实数,则kfx也为区间I上的凸函数.
性质2 若,fxgx均为区间I上的凸函数,则fx gx也为区间I上的凸函数. 6 推论 若,fxgx均为区间I上的凸函数,12,kk为非负实数,则12fxkgxk也为区间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,xx32xxh取,根据定义有
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,则原命题成立.