凸函数的性质及其应用论文
- 格式:doc
- 大小:1018.54 KB
- 文档页数:12
教育史一项良心工程
凸函数性质及其应用
摘 要 本文首先给出了凸函数的几种定义,然后给出了凸函数的几种重要性质,最后举例说明了凸函数在微分学、积分学、及在证明不等式中的应用.
关键词 凸函数的积分性质;凸函数的不等式
Abstract In this article,first we list several kind of definitions for convex functions,then we give several
important properties of convex functions ; finally we discuss the application of convex functions in differential calculus ,
integral calculus, and the proof of inequality.
Keywords integral properties of convex functions ; inequality of convex functions
凸函数是一类非常重要的函数,广泛应用于数学规划、控制论、黎曼几何、复分析等领域.本文先给出凸函数的几种等价定义,然后列出重要的相关性质,最后给出在微分学、积分学、以及在证明不等式中应用.
1 凸函数的定义及其相互关系
定义1 设()fx在区间I上有定义,()fx在区间I称为是凸函数当且仅当:12,,(0,1)xxI,有1212[(1)]()(1)()fxxfxfx上式中“”改成“<”则是严格凸函数的定义.
定义2 设()fx在区间I上有定义, ()fx在区间I称为是凸函数当且仅当:12,,xxI有1212()().22xxfxfxf
定义3 设()fx在区间I上有定义, ()fx在区间I称为是凸函数当且仅当:1,2,...,nxxxI,有1212......()()......().nnxxxfxfxfxfnn
定义4 ()fx在区间I上有定义,当且仅当曲线()yfx的切线恒保持在曲线以下,则成()fx为凸函数.若除切点之外,切线严格保持在曲线下方,则称曲线()fx为严格凸的.
引理1 定义2与定义3等价.
引理2 若()fx连续,则定义1,2,3等价.
2 凸函数的性质 黄山学院2008届数学与应用数学专业学年论文
1 定理1 设()fx在区间I上有定义,则以下条件等价(其中各不等式要求对任意,
123,,,xxxI123xxx 保持成立):
(i)()fx在I上为凸函数 (1)
(ii)2121()()fxfxxx3131()()fxfxxx (2)
(iii)31323132()()()()fxfxfxfxxxxx (3)
(iv) 2121()()fxfxxx3232()()fxfxxx (4)
推论1若()fx在区间I上为凸函数,则I上任意三点123xxx,有2121()()fxfxxx3131()()fxfxxx3232()()fxfxxx.
推论2 若()fx在区间I上的凸函数,则0,xI过0x的弦的斜率()kx 00()()fxfxxx是x的增函数(若f为严格凸的,则()kx严格增).
推论3 若()fx是区间I上的凸函数,则I上任意四点s
推论4 若()fx是区间I上的凸函数,则对I上的任一内点x,单侧导数(),()fxfx皆存在,皆为增函数,且()()fxfx 0()xI这里0I表示I的全体内点组成之集合.(若f为严格凸的,则'f与'f为严格递增的).
证明 因x为内点,故12,,xxI使得12xxx,从而(利用推论2),1212()()()()fxfxfxfxxxxx.再由推论2所述,当1x递增时,11()()fxfxxx也递增.故由单调有界原理知,如下极限存在且'f(x)=
101212()()()()limxxfxfxfxfxxxxx.同理,在此式中,令2xx时,可知'()fx存在,且''()()fxfx.最后由推论3中的不等式重新取相应的极限,可知'f与'f皆黄山学院2008届数学与应用数学专业学年论文
2 为增函数.
推论5 若()fx在区间I上为凸的,则f在任一内点x0I上连续.
事实上由推论4知f与f存在,所以f在x处左右都连续.
定理2 设函数()fx在区间I上有定义,则()fx为凸函数的充要条件是:00,xI,使得xI,有()fx 00()()xxfx.
证明(必要性)因()fx为凸函数,由上面的推论4知, 0'00,()xIfx存在且'000()()()fxfxfxxx. 由此任取一'0(),fx则0xx时有00()()()fxxxfx.因''00()fxfx(),所以对任一:''00()(),fxfxxI恒有()fx00()()xxfx.
(充分性)设123xxx是区间I上的任意三点,由已知条件222,,()()()xfxxxfx()xI,由此令1xx和3xx,可以得到32123212()()()()fxfxfxfxxxxx,由定理1可知()fx为凸的.
定理3 设()fx在区间I上有导数,则()fx在I上为凸函数的充要条件是()()fxIx递增.
证明 (充分性)12,xxI,不妨设12xx及(0,1),记12(1)xxx,则1212()[(1)]()(1)()fxfxxfxfx,或12()()(1)()0fxfxfx (1)
由于()()(1)()fxfxfx (1)式等价于
12[()()](1)[()()]0fxfxfxfx (2)
应用Largrange定理,12,:,xx使得
''1212[()()](1)[()()]()()(1)()()fxfxfxfxfxxfxx,
但112121[(1)](1)()xxxxxxx,
212212[(1)]()xxxxxxx. 黄山学院2008届数学与应用数学专业学年论文
3 故(2)式左端=12[()()](1)[()()]fxfxfxfx
''221()(1)()(1)()()fxxfxx
21(1)()[()()]xxff
按已知条件()()fxIx递增,得知()()ff,从而上式0,(2)式获证.
(必要性)由定理1的推论4,()fx在0I内为递增的,因()fx存在,故()()fxfx亦在0I内为递增的,若I有右端点b,按照已知条件f在b点有左导数,0xI易知:
''''()()()()()()fxfbfxfxfbfbxb
同理,若I有左端点a,则()(),fafx即()fx在I上为递增的.
推论 若()fx在区间I上有二阶导数,则()fx在I上为凸函数的充要条件是:()0fx
定理4 (Jensen不等式)若()fx为[a,b]上的凸函数,则[,]ixab ,0(1,2,...,),iin
11,nii,有11()()nniiiiiifxfx.
证明 应用数学归纳法.当n=2时,由定义1命题显然成立.设n=k时命题成立,即对任何
12,,...,[,]kxxxab与10,1,2,...,,1niiiik都有11()()kkiiiiiifxfx
现设121,,...,,[,]kkxxxxab及0i(i=1,2,…k+1),111kii.
令1,1iiki=1,2,…,k,则11kii.由数学归纳法假设可推得1111111()[(1)]1kiikiiikkkikxfxfx1111(1)()kkiikkixfx
1111(1)()()kkiikkifxfx
=11111(1)()()1kikikkikfxfx 黄山学院2008届数学与应用数学专业学年论文
4 =11()kiiifx
即对任何正整数n(n2),上述不等式成立.
推论 设()fx在区间I上是凸函数,则对于任意的12,,...,mxxxI和120m,,...,都有1122111212...()...()()......mmmmmmxxxfxfxf.
3 凸函数的应用
3.1在微分学中的应用
我们讨论了凸函数的有界性,左右函数极限和Lipschitz性质.
例1 设函数()fx在区间I上为凸函数,试证:()fx在I上的任一闭子区间上有界.
证明 设[,]abI为任一闭子区间:
①(证明()fx在[,]ab上有上界)[,],xab取[0,1],xaba(1)xba.
因()fx为凸函数,所以()[(1)]()(1)()(1)fxfbafbfaMMM
其中max{(),()}Mfafb. 故在[,]ab上有上界M;
②(证明()fx在[,]ab上有下界)记2abc为,ab的中点,则[,]xab,有关于c的对称点x,因()fx为凸函数,所以()()11()()222fxfxfcfxM ,
从而 ()2()fxfcMm , 即m为()fx在[,]ab上的下界.
例2 设()fx为区间(a,b)内的凸函数,试证:()fx在I上的任一内闭区间[,][,]ab上满足Lipschitz条件.
证明 要证明()fx在区间[,]上满足Lipschitz条件,即要证明:0,L使得12,[,]xx有1212()()fxfxLxx (1)