强h-凸函数的若干性质

合集下载

严格强凸函数

严格强凸函数

严格强凸函数严格强凸函数是数学中的一个重要概念,它在优化问题中有着广泛的应用。

本文将介绍严格强凸函数的定义、性质、求解方法以及相关定理。

一、定义1.1 强凸函数设$f(x)$是定义在$\mathbb{R}^n$上的实值函数,若对于任意$x,y\in \mathbb{R}^n$和任意$\lambda \in [0,1]$,有:$$f(\lambda x+(1-\lambda)y)\leq \lambda f(x)+(1-\lambda)f(y)-\frac{\mu}{2}\lambda(1-\lambda)\|x-y\|^2$$其中$\mu>0$为常数,则称$f(x)$是强凸函数。

1.2 严格强凸函数若上述不等式中等号仅在$x=y$时成立,则称$f(x)$是严格强凸函数。

二、性质2.1 唯一最小值点对于严格强凸函数$f(x)$,存在唯一的最小值点$x^*$,即:$$f(x^*)=\min_{x\in \mathbb{R}^n}f(x)$$2.2 Lipschitz连续性对于严格强凸函数$f(x)$,存在常数$L>0$使得:$$\|f(x)-f(y)\|\leq L\|x-y\|,\forall x,y\in \mathbb{R}^n$$ 其中$\|\cdot\|$为欧几里得范数。

2.3 连续可微性对于严格强凸函数$f(x)$,存在连续可微函数$g(x)$使得:$$f(x)=g(x)+\frac{\mu}{2}\|x\|^2$$其中$\mu>0$为常数。

三、求解方法3.1 梯度下降法梯度下降法是求解优化问题的一种常用方法。

对于严格强凸函数$f(x)$,其梯度$\nabla f(x)$在全局范围内都是单调递增的,因此可以通过不断迭代来逼近最小值点$x^*$。

具体算法如下:(1) 初始化$x_0$和学习率$\alpha>0$;(2) 重复执行以下步骤直至收敛:$$x_{k+1}=x_k-\alpha \nabla f(x_k)$$其中$k$表示迭代次数。

凸函数的性质及判定

凸函数的性质及判定

2008年9月第28卷第5期天水师范学院学报J our nal of Ti ans h ui N or m al U ni ve r si t yS e p.,2008V01.28N o.5凸函数的性质及判定刘开生,王贵军(天水师范学院数学与统计学院,甘肃天水741001)摘要:给出了凸函数的一些重要性质及判定定理,研究了函数的凸性与函数奇偶性、单调性之问的关系。

关t词:凸函数;性质;关系中图分类号:0174.6文献标识码:A文章编号:1671—1351(2008)05—0012—021预备知识文献【1】中给出凸函数的定义如下:设触)为定义在区间I上的函数,若对任意两点菇I,X2和实数O<A<I,总军£“A戈l+(1一A)z2)≤。

讹1)+(1一A批2),则镌触)为定义在I上的凸函数。

若锹从,+(10k:)≥讹1)+(1_A掀2),则镌舷)为定义在I上的凹函数。

其次,文献还给出了判别触)为I上的凸函数的四个等价命题;同时也给出了利用二阶导数判别厂0)为I上凸(凹)函数的判断命题。

定理1.1设,b)为定义在区间I上的可导函数。

则下述命题等价(1).肭为I上的凸函数;(2)厂0)为I上的增函数;(3)对I上任意两点名,,互:有m2)≥触,)矿@t)02.略t);(4).尸@)≥0,茗∈I.定理1.2f11设M为定义在区间I上的二阶可导函数,则在I上触)为凸(凹)函数的充要条件是厂0)≥O(尸G)≤0),茗∈I定理1.掣l若触)为区间I上的凸函数.则慨。

,戈:∈I,欹华)≤世屿监2主要结果及其证明定理2.1勘∞石@)均为【a,b】上的凸函数,贝岍G)坼仁)也是【a'b】上的凸函数。

定理2.2蝴∽为【a,bl上的凸函数,j}为正常数,则坼)也为【a,b】上的凸函数。

注2.1:定理2.1和定理2.2利用文献f11中所给的定义可直接证明。

定理2.3设u吡)为[a,hi I-I拘凸函数,g(∞在【a,bl t-单调递增,且也为[a,b】上的凸函数,则复合函数的讧))也是【a,b】上的凸函数。

凸函数的性质与应用

凸函数的性质与应用

凸函数的性质与应用数学与统计学院、数学与应用数学、0701班,湖北,黄石,4350021.引言凸函数是数学分析中的一个重要概念,它涉及了许多数学命题的讨论证明和应用,而且在现代优化学、运筹学、管理学、和工程测绘学等多个学科有着重要的意义和很好的应用.关于凸函数,虽然很多书籍都做了相应的介绍,但多是从不同的角度出发来进行不同的定义和应用.在高等数学中,利用导数讨论函数的性态时,经常遇到一类特殊函数—凸函数,由于凸函数具有一些特殊性质,利用这些性质可非常简单地证明一些初等不等式、函数不等式和积分不等式. 凸函数是一类重要的函数,在不等式的研究中尤为重要.本文通过凸函数的定义、性质的描述,主要研究其在不等式证明中的应用,举例说明解题思路与证明方法,并且证明了几个常见的重要不等式及高次函数的凸性猜想. 函数的凸性是函数在区间上变化的整体性态,把握函数在区间上的整体性态,不仅可以更加科学、准确地描绘函数的图象,而且有助于对函数的定性分析.2. 凸函数的有关概念2.1凸函数的定义、定理及其几何意义定义 若函数()f x 对于区间(),a b 内的任意12,x x 以及()0,1,λ∈恒有1212[(1)]()(1)()f x x f x f x λλλλ+-≤+-,则称()f x 为区间(),a b 上的凸函数.其几何意义为:凸函数曲线()y f x =上任意两点()()11,,x f x ()()22,x f x 间的割线总在曲线之上.定理1 若函数()f x 在区间(),a b 内连续,对于区间(),a b 内的任意12,x x 恒有12121[][()()]22x x f f x f x +≤+, 则称()f x 为区间(),a b 上的凸函数.其几何意义为:凸函数曲线()y f x =上任意两点()()11,,x f x ()()22,x f x 间割线的中点总在曲线上.定理2 若函数()f x 在区间(),a b 内可微,且对于区间(),a b 内的任意x 及0x ,恒有00()()()f x f x f x x '≥+-,则称()f x 为区间(),a b 上的凸函数.其几何意义为:凸函数曲线()y f x =上任一点处的切线,总在曲线之下. 注 若将定义1,2,3中的≤“”改为<“”则称()f x 为(),a b 上的严格凸函数. 2.2 凸函数定义与定理之间的等价性条件2.2.1 定义1与定理1的等价性证 定义1⇒定理1:显然,只要取12λ=即可由定义1推得定理1.定理1⇒定义1:我们首先推证()f x 对于任意的12,x x (),a b ∈及有理数()0,1λ∈,不等式1212[(1)]()(1)()f x x f x f x λλλλ+-≤+-,成立.事实上,对于此有理数λ,总可表示为有穷二进位小数,即121121122220.2n n n nn na a a a a a a ---++=,其中0,1(1,2,,1);1i n a i n a ==-=或由于1λ-也是有理数,故也可以表示为有穷的二进位小数,即1λ-=121121122220.2n n n nn nb b b b b b b ---++=, 其中()1,1,2,,1;i i b a i n =-=-1,n b =这是因为()11λλ+-=的缘故,因此111212[]()()i i f a x b x a f x b f x +≤+(1,2,,1)i n =-,所以12[(1)]f x x λλ+-12112112112112222222[]22n n n n n nn n nna a a ab b b b f x x ------++++=+21212121111212112222()(22[]2n n n n n nn n a a a b b b a x b x x x f ------+++++=2121212111121211222211[()]()2222n n n nn n n n a a a b b b f a x b x f x x ------++≤+++2121212111121211222211[()()]()2222n n n n n n n n a a a b b b a f x b f x f x x ------++≤+++121112212221111[()()][()()]()2222n n n a x b x a f x b f x a f x b f x f -+≤++++11122122122111[()()][()()][()()]222n n na f xb f x a f x b f x a f x b f x ≤+++++12112112112112222222()()22n n n n n n n n n na a a ab b b b f x f x ------++++=+12()(1)().f x f x λλ=+-下面再推证()f x 对λ为无理数时定义1也成立.事实上,对任意无里数()0,1,λ∈{}(0,1),n λ⊂存在有理数列12(),(1)n n n n x x λλλλ→→∞+-→所以,12(1)()x x n λλ+-→∞,由于()f x 在(),a b 内连续,所以1212121212[(1)][lim (1)]lim [(1)]lim[()(1)()]()(1)()n n x n n n n x x f x x f x x f x x f x f x f x f x λλλλλλλλλλ→∞→∞→∞+-=+-=+-≤+-=+-综上即知,定义1与定理1等价.2.2.2 定义1与定理2的等价条件证 定义1⇒定理2:对(),a b 内任意的0x 及x ,若0,x x <则取0h >,使00,x x h x <+<由推论1得0000()()()()].f x h f x f x f x h x x +-+≤-上式中令0,h →由于()f x 可微,所以有0()f x '00()(),f x f x x x +≤-即00()()()f x f x f x x '≥+-.若0,x x <则取0h >,使00,,x x x x h x <<+<同理可证.2.2.3 定理2与定义1的等价条件对于区间(),a b 内的任意12,x x (不妨设12x x <)以及()0,1,λ∈令()121x x x λλ=+-,则12,x x x << ()()1121,x x x x λ-=-- 2x x -= ()()211,x x λ--由泰勒(Taylor)公式,我们有111222()()()()()()()()f x f x f x x f x f x f x x θθ''=+-=+-及其中1122x x x θθ<<<<,于是12()(1)()f x f x λλ+-12[(1)]f x x λλ=+-+2121(1)()[()()]x x f f λλθθ''---.再由单调性知21()()f f θθ''≥,所以12()(1)()f x f x λλ+-≥ 12[(1)]f x x λλ+-,即12[(1)]f x x λλ+-≤12()(1)()f x f x λλ+-.所以在一定条件下,定义1与定理3等价.3. 凸函数的有关结论 3.1 凸函数的运算性质性质1 若()f x 为区间I 上的凸函数, k 为非负实数,则()kf x 也为区间I 上的凸函数.性质2 若()(),f x g x 均为区间I 上的凸函数,则()f x + ()g x 也为区间I 上的凸函数.推论 若()(),f x g x 均为区间I 上的凸函数,12,k k 为非负实数,则()()12f x k g x +k 也为区间I 上的凸函数.性质3 若()f x 为区间I 上的凸函数,()g x 为J 上的凸增函数,且()f I J ⊂,则g f ⋅为区间I 上的凸函数.性质4 若()(),f x g x 均为区间I 上的凸函数,则()F x =()(){}max ,f x g x 也是区间I 上的凸函数.上述性质很容易证明,故在此省略.3.2 凸函数的其他性质引理 f 为I 上的凸函数的充要条件是:对于I 上的任意三点12x x x <<,总有32212132()()()()f x f x f x f x x x x x +-≤--. ()1证 [必要性]记3231,x x x x λ-=-则213(1).x x x λλ=+- 由f 的凸性知道()21313[(1)]()(1)()f x f x x f x f x λλλλ=+-≤+-=3221133131()()x x x xf x f x x x x x --+--.从而有()()312321213()()()()x x f x x x f x x x f x -≤-+-,即()()()322212321213()()()()()x x f x x x f x x x f x x x f x -+-≤-+-.整理后即得()1式.[充分性]在I 上任取两点1313,,(),x x x x <在[13,x x ]上任取一点213(1)x x x λλ=+- ()0,1,λ∈即3231.x x x x λ-=-由必要性的推导逆过程,即可证明 1313[(1)]()(1)()f x x f x f x λλλλ+-≤+-.故f 为I 上的凸函数.同理可证,f 为I 上的凸函数的充要条件是:对于I 上的任意三点12,x x x <<总有313221213132()()()()()()]]f x f x f x f x f x f x x x x x x x -+-≤≤---.性质1 设f 为区间I 上的严格凸函数,若有0x 是()f x 的极小值点,则0x 是()f x 在I 上唯一的极小值点.证明 若()f x 有异于0x 的另一极小值点1x I ∈ ,不妨设()()10f x f x ≤ 由于()f x 是在I 上的严格凸函数, 故对于任意的()0,1λ∈,都有()01010[(1)]()(1)()f x x f x f x f x λλλλ+-<+-≤.于是,任意的0δ>,1,只要充分接近时总有()0010(1),x x x U x λλδ=+-∈.但是,()0()f x f x ≤,这与1x 是()f x 的极小值点的条件矛盾,从而0x 是()f x 在I 上唯一的极小值点.性质2 设()f x 为(),a b 内的凸函数,有()f x 在I 的任一内闭区间()(),,a b αβ<上满足Lipschitz 条件.证明 要证明()f x 在(),αβ上满足Lipschitz 条件,即要证明:0,L ∃>使得()12,,x x αβ∀∈有1212()()f x f x L x x -≤-. ()2()()()(),,,,,,a b h h a b αβαβ⊂-+⊂因为,故可取充分小使得因此,()12,,x x αβ∀∈,12,x x <32x x h =+取,根据定义有32212132()()()()f x f x f x f x M mx x x x h+--≤≤--,(其中,M m 分别表示()f x 在(),h h αβ-+的上、下界)从而2121()()M mf x f x x x h--≤-, ()3 若1232,,x x x x h >=-可取由定义有32211223()()()()f x f x f x f x x x x x --≤--,从而32211223()()()()f x f x f x f x M m x x x x h---≤≤--.由此也可推出()3式.若12x x =,则()2显然成立.这就证明了()3式显然对于一切()12,,x x αβ∈都成立,因此()3式当12,x x 互换位置也应成立,故有2121()()M mf x f x x x h--≤-. 令M mL h-=,则原命题成立.性质3 设()f x 是(),a b 上的凸函数,则()f x 在(),a b 上处处存在左、右导数,且左导数小于、等于右导数.证明 ()()()00,,,x a b U x a b δ∀∈∃⊂.记()()00()(),,f x f x F x x a b x x +=∈-,()121200,x x x x x x δ<∈-任意且,,,有引理得()()1020121020()()()()f x f x f x f x F x F x x x x x ++=≤=--.()F x 在()00x x δ-,上单调递增;再在0x 右方任取一定点()00,x x λλδ∈+,,由引理得: ()()()12F F F x x λ≤≤所以()F x 在()00x x δ-,上单调递增且有上界, 故由单调有界原理: 极限()0lim x x F x -→存在,即0()f x +'存在; 任意102x x x <<由定义3有()()1020121020()()()()f x f x f x f x F x F x x x x x ++=≤=--.令1020,x x x x -+→→,则()f x 在0x 的左导数小于等于()f x 在0x 的右导数.性质4 设()f x 为(),a b 内可导凸函数,证明()0,x a b ∈ 为()f x 的极小值的充要条件是0()0f x '=.证明 [必要性]已知函数()f x 在0x 可导,且取得极小值,则0()0f x '=(极值的必要条件).[充分性] (),x a b ∀∈,0,x x ≠有00()()().f x f x x x ≥+-因为0()0f x '=,故(),,x a b ∀∈都有0()(),f x f x ≥所以0x 为()f x 的极小值点.定理1 设f 为区间I 上的可导函数,则下列论断互相等价;1) f 为I 上的凸函数, 2) f '为I 上的增函数, 3) 对I 上的任意两点12,,x x 有()21121()()()f x f x f x x x '≥+-. ()*证明 1)2)→ 任取I 上的两点1212,x x x x <()及充分小的正数,h 由于1122,x h x x x h -<<<+根据的凸性及引理有11212212()()()()()()f x f x h f x f x f x h f x h x x h---+-≤≤-.有f 是可导函数,令0h +→时可得211212()()()()f x f x f x f x x x -''≤≤-.所以f '为I 上的递增函数.2)3)→ 在以1212,()x x x x <为端点的区间上,应用拉格朗日中值定理和f '递增条件,有()()2121121()()()()f x f x f x x f x x x ξ''-=-≥-,移项后即得()*式成立,且当12x x >仍可得到相同结论3)1)→ 设以12,x x 为I 上的任意两点,312(1)x x x λλ=+-,由3)并利用131223211)()x x x x x x x x λλ-=---=-与(),()()133133312()()()()(1)()f x f x f x x x f x f x x x λ''≥+-=+--,()233233321()()()()()f x f x f x x x f x f x x x λ''≥+-=+-(),分别用λ和1λ-乘上列两式并相加,便得()()12312(1)()()(1)f x f x f x f x x λλλλ+-≥=+-,从而为I 上的凸函数.推论1 设()f x 为区间I 上的二阶可导函数,则()f x 为凸函数.()0,f x x I ''⇔≥∈.推论2 设()f x 为区间I 上的可微凸函数,则有0x I ∈是()f x 的极小值点.()00.f x ''⇔=定理2 设()f x 在(),a b 上连续,则()f x 是(),a b 上的凸函数的充要条件是:对任意含于(),a b 的闭区间[],,x h x h -+都有1()()2hhf x f x t dt h -≤+⎰. 证明 必要性:()()()()1,2t h f x f x t f x t ∀≤≤-++,故 ()()()()12[]2hhhhhf x f x t f x t f x t dt --≤-++≤+⎰⎰.充分性:假定存在12,x x <使()()1212122x x f f x f x +⎛⎫>+⎡⎤ ⎪⎣⎦⎝⎭ 作辅助函数()()()()11,x f x k x x f x ϕ=---其中2121()()f x f x k x x +=-则120,2x x ϕ+⎛⎫> ⎪⎝⎭因此[]()()[][]12012,max 0,0,,,,x x x x h x h x h x x ϕϕ=>=-+⊂取()()000t h x x t ϕϕ≤-+≥当时,且不恒为0,因此()()002hhh x xt dt ϕϕ->+⎰.再由()x ϕ的定义推出: ()002()hhf xt hf x dt -+>⎰ 这与条件矛盾, 故定理2得证.定理3 若()f x 为(),a b 内的凸函数,(),,i x a b ∈ 1,2,,,i n =则()111.ni ni i i x f f x n n ==⎛⎫⎪ ⎪≤ ⎪ ⎪⎝⎭∑∑ 证明 对12,2n x ==不等式是显然的,设对1n -不等式成立. 因为1212111,1nn n x x x x x x n x nn n n-++++++-=⋅+- 这里()()1211,,,,,1n n x x x n a b x a b n n λ-+++-=∈∈- 由题得()()111111.1n n i i n i i n i i x x n f f f x f x n n n nn ===⎛⎫⎛⎫ ⎪ ⎪- ⎪⎪≤+=- ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭∑∑∑ 4.凸函数的一些应用4.1应用凸函数性质证明不等式在初等数学及数学分析的课程中,对于不等式的证明是一个重要内容.有时利用凸 函数的理论,证明一些不等式,将会更加简单.下面用例题加以说明.例1 求证:对任意实数,,a b 有()21.2a ba bee e +≤+ 证明 设()()(),0,,x f x e f x x ''=≥∈-∞+∞则故()xf x e =(),-∞+∞为上的凸函数.从而对121,,2x a x b λ===有定义 12121[][()()]22x x f f x f x +≤+.即得()212a ba bee e +≤+. 注:该题构造函数,运用凸函数的定义很容易就导出.例2 设01,01,x a <<<<则有()()1111.aax x x -+-<-证明 设()()()()11101aaf x x x x -=+-<<.那么()()()()()()111111,aaa a f x a x x x ax ---'=-+-++-()()()()()()1111111aaaa f x a a x x a a x x ----''=--+---+()()()()1121111a aa a a a x x a a x x ------+--+()()()()()()12112111111aa a a a a a x x x x x x x x -----⎡⎤=--+-++++-+⎣⎦()()()()()()1212111111.a a aa a a x x a a x x ------=--+-=-+-于是 ,当01,01x a <<<<时,()0,f x ''>由严格凸函数的定义,其中12,1,0,x x x λ===得()()()()()110110,f x f x x x f x f =⋅+-⋅<⋅+-⋅⎡⎤⎣⎦即()()1111.aax x x -+-<-注:该题运用了定理1及推论1的结论.例3 在ABC 中,证明sin sin sin 2A B C ++≤()()()()sin ,0,,sin 0,0,f x x x f x x x ππ''=-∈=>∈证明 令由应用2得()()()33f A f B f C A B C F ++++⎛⎫≥ ⎪⎝⎭,即sin sin sin sin3A B CA B C ++++≤s i n ,3π≤=所以sinA+sinB+sinC 2注:该题运用了定理3的结论.例4设12n a a a 、、均为正数,且121n a a a +++=.求证:()2222212121111.n n na a a a a a n +⎛⎫⎛⎫⎛⎫++++++≥⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭证 因为()2,f x x =()()()22,20,f x x f x f x x ''==>=由于得是凸函数,有凸函数的性质,有22212122121221211111111111.n n n nn a a a a a a a a a a a a n n n a a a ⎛⎫⎛⎫⎛⎫+++++ ⎪⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫++++++ ⎪⎪≥⎪ ⎪⎝⎭⎛⎫=++++ ⎪⎝⎭()4 由柯西不等式:222111n n n i i i i i i i a b a b ===⎛⎫⎛⎫⎛⎫⋅≥ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭∑∑∑得1212111111()1n n a a a a a a ⎛⎫+++=+++⋅ ⎪⎝⎭()12122111(),n na a a a a a n =++++++≥212111()nn a a a ∴+++≥,由()4即得 ()2222212121111n n n a a a a a a n+⎛⎫⎛⎫⎛⎫+++++≥⎪⎪ ⎪⎝⎭⎝⎭⎝⎭.4.2关于凸函数的某些猜想猜想1 三次函数不是(),-∞+∞上的凸函数. 证 设()3232103,0.x x a x a x a a f a +++≠= 显然,()f x 在(),-∞+∞上可导,且()232123x x a x a f a ++'=,因为30,a ≠故()f x '在(),-∞+∞上不单调,所以不是凸函数.猜想2 试给出四次的函数在定义域上是凸函数的一个充分条件. 设()432432104,0,x x x a x a x a a f a a ++++≠=因为四次的在定义域上二次同样可导,且()324321432x x x a x a f a a +++'=, ()24321262x x x a f a a ++''=.根据3..1的推论1可知,下式()423420.64120a a a a >⎧⎪⎨-⋅⋅≤⎪⎩ 则该四次函数在(),-∞+∞是凸函数. 化简得① 423420.380a a a a >⎧⎨-⋅≤⎩② 423420.380a a a a <⎧⎨-⋅≤⎩ 则该四次函数在(),-∞+∞不是凸函数.③ 423420.380a a a a >⎧⎨-⋅>⎩设()24321262x x x a f a a ++''=与x 轴的两交点分别是()1212,,x x x x <则()x f 在()()12,,,x x -∞+∞内分别为凸函数,在()12,x x 内不是凸函数.④ 423420.380a a a a <⎧⎨-⋅>⎩同理设()x f ''与x 轴的两交点分别是()1212,,x x x x <则()x f 在()12,x x 内为凸函数,其他区间不是凸函数.猜想3 5次函数在实数范围内是否有为凸函数的?设5次函数的表达式为()54325432105,0,x x x x a x a x a a f a a a +++++≠= 显然该是在实数范围内二次可导.()432543215432,x x x x a x a f a a a ++++'= ()325432201262.x x x x a f a a a +++''=现在需要找出二次导数在实数范围内是否恒大于等于0. 我们设()()325432201262,x f x x x x a g a a a ''=+++=()2154360246.x x x g a a a =++'下面分情况讨论:()524530,2446060a a a a >⎧⎪⎨-⋅⋅≤⎪⎩ 即()0x g ≥'在R 上恒成立.则()x g 在R 上单调递增,此时5a 为某一定值,但是总,x R ∃∈使得()0,x g <即x R ∃∈使()0f x ''<成立.同四次的理一样,其他3种情况更不可能为凸函数. 所以五次函数在R 上不是凸函数.以此类推,高次函数()11100,,n n n n n f x a x a x a x a a --=+++≠5n 时,该函数在实数范围内不是凸函数.5.小结本文通过凸函数的定义、性质的描述,主要研究其在不等式证明中的应用,举例说明解题思路与证明方法,并且证明了几个常见的重要不等式及高次函数的凸性猜想.函数的凸性是函数在区间上变化的整体性态,把握函数在区间上的整体性态,不仅可以更加科学、准确地描绘函数的图象,而且有助于对函数的定性分析.致谢经过半年的忙碌和工作,本次毕业论文已经接近尾声,在这里首先要感谢我的指导老师柴国庆教授.柴老师平日里工作繁多,但在我做毕业论文的每个阶段,从初次选题到查阅资料,论文初稿的确定和修改,中期检查,后期详细设计等整个过程中都给予了我悉心的指导,还不惜把自己的研究成果让我参考、借鉴,细心地纠正论文中的错误并给予指导.如果没有他的大力支持,此次论文的完成将变得非常困难.除了敬佩柴老师的专业水平外,他的治学严谨和科学研究的精神也是我永远学习的榜样,然后还要感谢大学四年来所有的老师,为我们打下坚实的专业知识的基础.最后祝各位评审老师身体健康,工作顺利!参考文献[1]数学分析上第三版.华东师范大学数学系编.北京.高等教育出版社,2001,148-154.[2]李惜雯.数学分析例题解析及难点注释(上册).西安.西安交通大学出版社,2004.1,265-269.[3]林源渠方企勤.数学分析解题指南.北京.北京大学大学出版社,2003.11.84-87.[4]大学数学名师导学丛书.北京.中国水利水电出版社,2004208-212..[5]花树忠.邯郸市职工大学基础教学部.邯郸,056001.[6]李世杰.衢州市教育局.浙江.衢州,324002.[7]宋小军.西华师范大学数学与信息学院.四川文理学院学报.2010年5期.[8]陈迪红.长沙铁道学院学报.第12卷.第3期.1994年9月.[9]曹良干.阜阳师范学院学报.总22期.[10]陈太道.琼州大学.数学系.临沂师范学院学报第24卷,第3期.[11]李宗铎.湖南教育学院学报长沙大学.第18卷第2期.。

凸函数的性质与应用【文献综述】

凸函数的性质与应用【文献综述】

文献综述数学与应用数学凸函数的性质与应用凸函数是数学分析中一类非常重要的函数,它不仅在一些具体学科,如机器人学,模具设计或一些数学分支(如全局优化,运筹学等)中具有重要的应用,在具体的数学学科学习中也有重要的应用.我们在华东师范大学数学系编的数学分析书上册的第六章第五节学习了凸函数的有关定义和性质.在该书中对凸函数的定义叙述为:定义1[1] 设f 为定义在区间I 上的函数,若对I 上的任意两点1x ,2x 和任意实数λ∈(0,1)总有: 1212((1))()(1)()f x x f x f x λλλλ+-≤+-,则称f 为I 上的凸函数.几何形状如下图所示:根据凸函数的定义和相关引理,我们可以得出关于二阶可导凸函数的一个重要的充要条件:定理2[1]设f 为区间I 上的二阶可导函数,则在I 上f 为凸函数的充要条件是: 0)(''≥x f ,I x ∈.从凸函数的定义,图像,充要条件上,我们可以看到凸函数有其本身的特殊性和直观性,而这些性质对于证明某些较复杂的不等式,解答高中里的数学题目均有很大的帮助.国内外现状与研究方向:由于凸函数在数学上的广泛应用,国内外越来越多的学者专注于对凸函数各个方面的研究.首先,在凸函数的众多研究课题当中,对其基本定义和性质的研究最为广泛和普遍.研究的主要内容包括凸函数及对其概念的理解,等价定义,判别法,它的线形性[华东师范大学.数学分析上册(第三版)就对凸函数的概念和定义作了详细的说明].除了对凸函数原有性质的研究之外,对其新性质的研究也使研究者们趋之若鹜.目前越来越多的学者专注于凸函数的若干新性质在求解线性与非线性不等式组和线性规划中的应用,寻找求解线性与非线性不等式组的新方法.其次,在对凸函数的定义和性质有了充分研究的前提下,研究者们更加关注对凸函数的应用的研究.例如研究其与不等式证明有关的下凸函数的性质[邱忠文,刘瑞金.函数的凹凸性及不等式的证明;王新奇.利用函数的凹凸性证明一类三角不等式];利用Jenven不等式证明当 n 取任意自然数时该性质的推广;在不等式中的应用[于靖.利用曲线的凹凸性证明柯西不等式];凸函数与极值,导数的一些关系[裴礼文.数学分析中的典型问题与方法;孙本旺,汪浩.数学分析中的典型例题和方法];判断函数极值点与拐点等应用.凸函数在高中数学中的研究也是一大亮点:由于凸函数是一类象形函数,在高中课程中虽然没有明确引入它的定义和概念,但因其性质具有明显的直观性,可以考查学生的观察能力和知识迁移能力,又可考查函数的各种性质,还能使平淡的题目增色,所以近年来已受高考命题人的青睐.初等函数基本都是凸函数,研究凸函数性质的纵向和横向的发散应用[方良秋.高考题中凸函数的题型及应用].最后,随着凸函数的凸性在数学,物理学,经济学,管理学,最优化理论等领域的广泛应用,对凸函数的凸性的进一步研究已成为众多学者密切关注的一个焦点,而由凸集和凸函数拓展延伸而产生的各类凸集和凸函数的不断出现,不仅极大地丰富了凸分析理论,而且有力地推动了数学科学的发展,特别是对数学规划,控制论,最优化等领域的发展起到巨大的作用,也引起了众多学者的密切关注和极大兴趣[钟伟,周彬林.凸函数的几种不同定义及应用].进展情况:一开始时,凸函数的重要作用被认为是在一些具体学科,如机器人学,模具设计或一些数学分支(如全局优化,运筹学等)中的应用.但随着对凸函数横向和纵向研究的逐渐深入,研究者们越来越意识到凸函数是数学分析中的一个重要概念,它涉及了许多数学命题的讨论证明和应用.例如由重庆师范大学罗超群学者所写的《凸函数在分析中的初探》就详细得探讨了凸函数的线形性和凸函数与极值,倒数的一些关系;由中国科学院计算数学与科学工程计算研究所时贞军学者和曲阜师范大学运筹与管理学院岳丽学者所写的《凸函数的若干新性质及应用》则详细讨论凸函数的性质在求解线性与非线性不等式组和线性规划中的应用,为线性与非线性不等式组,线性规划的求解提供了一种新方法;由井冈山职业技术学院的晏忠红学者所写的《凸函数的应用》则对用凸函数方法和凸函数詹生不等式推证几种重要的不等式作出了讨论;由湖南省汨罗市第二中学的刘正良和宋加文老师则在《凸函数理论及应用策略》中描述了凸函数在初高中数学学科中的具体应用.总之,学者们对凸函数各方面的研究是趋之若鹜,使得凸函数在各方面的应用也越来越深入.存在问题:现阶段关于凸函数主要存在三个方面的问题:(1)在一元微积分的教学里,函数的凹凸性的的概念却往往被忽视.在一些工科类的微积分教材中,对于函数的凹凸性的判断甚至就简单地通过比较函数图像和其切线(或割线)的上下位置关系来描述.(2)对二元凸函数的性质研究较少.(3)对于凸函数的定义和基本性质的介绍比较分散,跨度大.参考文献:[1] 华东师范大学. 数学分析上册(第三版)[M]. 北京:高等教育出版社,2006:119-125.[2] 雷澜.凸函数的性质与不等式证明[N].渝州大学学报,2000,17(4):19-21.[3] 裴礼文. 数学分析中的典型问题与方法[M]. 北京: 高等教育出版社, 2006: 186-191.[4] 卢兴江,金蒙伟. 高等数学竞赛教程[M]. 杭州: 浙江大学出版社, 2010: 20-46.[5] 顾荣. 函数凹凸性定义的探讨[J]. 佳木斯教育学院学报,2010, 102(6): 299.[6] 王庆东,侯海军. R n 中函数凹凸性判定的充要条件[J]. 河北理科教学研究, 2003, 3: 50.[7] 张国坤. 多元函数的凹凸性再探[J], 曲靖师专学报. 1995, 14(6): 29-31.[8] 陈朝晖. 二元函数凹凸性的判别法及最值探讨[J]. 高师理科学刊, 2010, 30(5): 25-28.[9] 白景华. 凸函数的性质、等价定义及应用[J]. 开封大学学报, 2003, 17(2), 69-64.[10] 赵文彼, 栗洪敏. 利用函数的凹凸性推导出一批积分不等式[J]. 工科数学, 1994, 10(4):227-229.[11] 王新奇. 利用函数的凹凸性证明一类三角不等式[J]. 西安文理学院学报(自然科学版), 2005,8(3): 37-40.[12] 于靖. 利用曲线的凹凸性证明柯西不等式[J]. 辽宁师专学报, 2003, 5(2): 2-3.[13] 沈文国. 用泰勒公式研究函数凹凸性的一种拓广[J]. 兰州工业高等专科学校学报, 2001,8(4): 4-8.[14] 普丰山, 李兆强. 连续函数的单调性及凸凹性研究[J]. 河南科学, 2009, 27(8): 896-899.[15] 陈传璋. 数学分析[M]. 北京: 高等教育出版社, 1992:203-205.[16] 时贞军. 无约束优化的超记忆梯度算法[J]. 工程数学学报, 2000, 17(2): 99-104.[17] 孙本旺, 汪浩. 数学分析中的典型例题和方法[M]. 长沙: 湖南科学技术出版社, 1983:246-264.[18] 方良秋.高考题中的凸函数题型及其应用[J].数学教学通讯报,2007,271:38-4.[19] 李碧荣.凸函数及其性质在不等式证明中的应用[N].广西师范学院学报,2004,21(2):93-95.[20] 邱忠文, 刘瑞金. 函数的凹凸性及不等式的证明[J]. 工科数学, 1993, 19(3): 151-154.[21] 陈太道.凸函数判定及其应用[N].临沂师范学院学报,2002,24(3):91-92.[22] 古小敏.对凸函数定义之间等价性的进一步研究[J].重庆工商大学学报(自然科学版),2009,26(2):172-182.。

凸函数的性质及应用(0907142王波波).docx

凸函数的性质及应用(0907142王波波).docx

目录1引言 (2)2凸函数的定义及性质 (2)2.1凸函数的几种不同定义及其关联 (2)2.2凸函数的判定定理及证明 (4)2.3凸函数的性质 (5)3凸函数的应用 (6)3.1詹森不等式及应用 (6)3.2凸函数在微分学的应用 (8)3.3凸函数在积分学的应用 (9)结论 (11)参考文献 (11)凸函数的性质及应用王波波,数学计算机科学学院扌商要:凸函数是高等数学中的一个基本内容,它在证明比较复杂的不等式方面有着重要的作用•在本文中,我们分析总结了凸函数的性质及相关定理•最后用凸函数方法和詹森不等式推证几种重要的不等式,并对某些结论作一些讨论. 关键i司:凸函数;方法;不等式;推论Properties of Convex Function and Its ApplicationWangbobo , College of Mathematic and Computer Science Abstract:Convex function is a basic content of higher maths.lt plays an important role in proving more complex inequality. In this paper,we summarized some properties and theorem of convex function . And finally we proved some important inequality using the method of Convex function and Jensen inequality of convex function and discussed some conclusion.Key words:Convex function; Method; Inequality; Inference1引言在很多数学问题的分析与证明中,我们都需要用到凸函数,例如在数学分析、函数论、泛函分析、黎曼集合、最优化理论等当中•常用的凸函数有两种,一种叫上凸函数,即曲线位于每一点切线的下方或曲线上任意两点间的弧段总在这两点连线上方的函数;另一种叫下凸函数,即曲线位于每一点切线的上方或曲线上任意两点间的弧段总在这两点连线下方的函数。

凸函数的性质及应用

凸函数的性质及应用

凸函数的性质及应用摘要:函数是数学中最重要的基本概念,也是数学分析的重点研究对象。

而凸函数则是其中重要的一类。

本文主要是研究几类凸函数的性质与应用。

探讨拟凸函数、严格拟凸函数及强拟凸函数的定义、性质以及这三类函数之间相互转换的充分必要条件,也讨论拟凸函数的连续性和可微性。

同时也对强伪凸函数性质进行研究,得到一些有意义的结论。

关键词:凸函数性质应用1.凸函数的概念与等价定义1.1凸函数的概念人们常用凸与凹来反映曲线的弯曲方向。

这种从几何直观给出的关于曲线凸(凹)的概念反映在数学上就是表达该曲线的凸(凹)性概念。

定义1.1.1([1])设是定义在区间上的函数,若对上的任意两点 , ,常有,则称为上的凸函数。

定义1.1.2([2])若在定义上成立不等式(≠),则称是上严格的凸函数。

1.2凸函数的等价定义定义1.2.1设在区间上有定义,在上成为凸函数当且仅当对任意 ,∈ ,任意∈(0,1)有若不等号反向,则称为上的凹函数。

若“≤”改为“<”,则称为上的严格凸函数。

2.凸函数的简单性质在本节中,来叙述关于凸函数的一些常用的简单的性质。

定理2.1([4])设在区间I上为凸函数,对任意,则:时,在区间上为凸函数,时,在区间上为凹函数。

定理2.2([5])设,是间I上的凸函数,则其和也是I上的凸函数。

定理2.3([6])若设,是间I上的凸函数,则为I上的凸函数定理2.4([7])设是单调递增的凸函数,u=f(x)是凸函数,则复合函数也是凸函数定理2.5设为区间I上的凹函数,,则为区间I上的凸函数,反之不真。

3.凸函数的判定定理利用凸函数的定义判别函数是否为凸函数,常常并不方便。

因此需要建立一系列的便于应用的判别方法。

定理3.1若函数是区间上的递增可积函数,则变动上限积分所定义的函数是上的一个凸函数。

定理3.2若在间上存在,则在上成为凸函数的充分必要条件是:在上4.关于凸函数的几个重要不等式4.1不等式定理4.1.1(凸函数的基本不等式)设是间上的凸函数,则对中任意个数成立不等式,当仅当时等号。

凸函数的知识点总结

凸函数的知识点总结

凸函数的知识点总结一、凸函数的定义凸函数是一种具有很多重要性质的函数。

在数学上,凸函数的定义如下:设$f$是定义在实数集上的函数,如果对于任意的$x_1, x_2$和任意的$t \in [0,1]$,都有$f(tx_1 + (1-t)x_2) \leq tf(x_1) + (1-t)f(x_2)$,则称$f$是凸函数。

凸函数的定义实际上描述了函数图像上两点之间的连线位于函数图像之上,即函数的下凹性。

二、凸函数的性质1. 一阶导数的非减性:凸函数在其定义域上是处处可导的,在其定义域上的各点处,函数的导数保持不减。

2. 二阶导数的非负性:凸函数在其定义域上是处处二阶可导的,并且在其定义域上的各点处,函数的二阶导数大于等于零。

3. 零阶条件:如果$f$是定义在实数集上的连续函数,那么$f$是凸函数当且仅当对于任意的$x_1, x_2 \in \mathbb{R}$,都有$f(\frac{x_1 + x_2}{2}) \leq \frac{f(x_1) + f(x_2)}{2}$。

三、常见的凸函数1. 线性函数:$f(x) = ax + b$,其中$a, b \in \mathbb{R}$,且$a \geq 0$。

2. 指数函数:$f(x) = e^{ax}$,其中$a \geq 0$。

3. 幂函数:$f(x) = x^a$,其中$a \geq 1$或$0 \leq a \leq 1$。

4. 对数函数:$f(x) = \log(x)$,其中$x > 0$。

四、凸函数的应用1. 在优化领域中,凸函数是一类非常重要的函数。

因为凸函数具有许多良好的性质,比如局部最小值也是全局最小值、一阶导数大于零等等。

所以在优化问题中,可以采用凸函数作为目标函数或约束条件,从而使得问题更容易求解。

2. 在经济学中,凸函数通常被用来描述一些经济变量之间的关系。

比如成本函数、效用函数等都可以用凸函数来描述。

3. 在凸优化问题中,凸函数也是一种标准形式的函数。

凸函数的性质及其在不等式证明中的应用

凸函数的性质及其在不等式证明中的应用

凸函数的性质及其在不等式证明中的应用凸函数是一类在数学中非常重要的函数,它具有很多重要的性质,并且在不等式证明中有着广泛的应用。

在本文中,我将介绍凸函数的性质,并给出一些在不等式证明中的具体应用。

一、凸函数的定义:对于定义在区间上的函数,如果对于区间上的任意两个点和以及任意实数,都有那么我们称函数是凸函数。

如果上式中的等号只在时成立,那么我们称函数是严格凸函数。

二、凸函数的性质:1.凸函数的一阶导数是非递减的。

2.凸函数的二阶导数是非负的。

3.函数的局部极小值点是凸函数。

4.凸函数的和、乘积以及复合仍然是凸函数。

三、凸函数在不等式证明中的应用:凸函数具有很多重要的性质,这些性质使得凸函数在不等式证明中有着广泛的应用。

下面是一些具体的应用示例:1.利用凸函数判断不等式的方向:考虑不等式f(x)≥g(x)如果函数和是凸函数,且在区间上有,那么可以得到f(x) ≥ g(x) for a ≤ x ≤ b2.利用凸函数证明不等式:有时候,我们需要证明一个不等式,其中和可能是一些函数或者表达式。

如果我们可以找到一个凸函数,使得在区间上有,以及在边界处有,那么我们就可以得到f(x) ≥ g(x) for a ≤ x ≤ b从而证明原始的不等式。

3.利用凸函数确定不等式的最优解:在一些优化问题中,我们需要求解一个约束条件下的最优解。

如果我们可以找到一个凸函数,使得在区间上有,且在边界处有,那么我们就可以确定约束条件的最优解。

4.利用凸函数证明柯西不等式:对于实数集和,柯西不等式指的是(a1b1 + a2b2 + ... + anbn)^2 ≤ (a1^2 + a2^2 + ... +an^2)(b1^2 + b2^2 + ... + bn^2)其中和是任意实数。

我们可以通过构造一些凸函数的性质,如二次函数,来证明柯西不等式。

在不等式证明中,凸函数是一个非常重要的工具。

它的性质使得我们可以利用它来判断不等式的方向,证明不等式,确定不等式的最优解,甚至证明柯西不等式等等。

严格强凸函数

严格强凸函数

严格强凸函数什么是强凸函数?在数学中,凸函数是一种具有特殊性质的函数。

对于一维的凸函数,它的图像是上凸的,也就是说任意两点连成的线段都位于函数图像的下方。

而对于多维的函数,我们则需要引入更多的概念来描述凸函数。

在多维情况下,我们将函数的定义域定义为凸集,定义域内的每个点上的函数值都要小于或等于该点与定义域中其他点的连线上相应位置的函数值的加权平均。

这种定义可以用一个不等式表示:f(λx+(1−λ)y)≤λf(x)+(1−λ)f(y)其中,∀x,y∈D,0≤λ≤1,f(x)表示函数f在点x的取值。

而强凸函数则是凸函数的一种扩展,它是指存在一个正的常数m,使得对于定义域中任意两个不同的点x和y,有下面的不等式成立:f(y)≥f(x)+∇f(x)T(y−x)+m2∥y−x∥2其中,∇f(x)表示函数f在点x的梯度,∥⋅∥表示向量的范数。

强凸函数的性质强凸函数具有许多有用的性质,下面我们来逐一介绍:性质一:唯一最小值点强凸函数的一个重要性质就是它只有一个全局最小值点。

这是因为如果存在两个不同的最小值点x∗和y∗,则根据强凸函数的定义,有:f(y∗)≥f(x∗)+∇f(x∗)T(y∗−x∗)+m2∥y∗−x∗∥2将上面的式子两边都减去f(y∗)并重新整理得到:m2∥y∗−x∗∥2≤∇f(x∗)T(y∗−x∗)注意到右边的项正好等于函数在x∗处的梯度在方向(y∗−x∗)上的投影,而由于函数是强凸的,可以保证投影的值是非零的。

因此,左边的项必然大于右边的项,这与上面的不等式矛盾,所以不存在两个不同的最小值点。

性质二:全局最小值点的一致性对于强凸函数,它的全局最小值点的性质与函数本身的谱条件数有关系。

谱条件数是一个描述矩阵病态程度的指标,对于函数而言,它的谱条件数等于函数梯度的Lipschitz连续性常数与强凸性常数之比。

具体来说,如果一个函数的谱条件数较小,那么它的全局最小值点相对于函数图像的位置就较为稳定;相反,如果谱条件数较大,全局最小值点的位置可能会受到函数图像的微小扰动而发生较大变化。

凸函数的性质及其在证明不等式中的应用

凸函数的性质及其在证明不等式中的应用

凸函数的性质及其在证明不等式中的应用凸函数(Convex function)是数学中的一种特殊函数,具有一些特殊的性质和应用。

在证明不等式中,凸函数的性质可以帮助我们简化问题,提供了一种有效的方法。

1. 定义:对于定义在实数集上的函数f(x),如果对于任意的x1,x2∈R以及0≤t≤1,都有f(tx1+(1-t)x2)≤tf(x1)+(1-t)f(x2),那么f(x)是凸函数。

2.几何意义:凸函数的几何意义可以通过以下两点来理解。

首先,凸函数的图像上的任意两点形成的线段在函数图像的上方或者处于函数图像上。

其次,凸函数的下方的切线都位于函数图像下方。

3.一阶导数条件:对于凸函数来说,一阶导数是单调递增的。

也就是说,如果f(x)是凸函数,则f'(x)≥0。

4.二阶导数条件:凸函数的二阶导数是非负的。

也就是说,如果f(x)是凸函数,则f''(x)≥0。

凸函数在证明不等式中的应用:1.约束条件:凸函数在一些约束条件下的最大值或最小值通常是问题的关键。

我们可以通过构造一个约束函数和一个目标函数,来求解最优化问题。

通常情况下,约束函数是一个凸函数,而目标函数是可以转化为凸函数的。

2.差分近似:在证明不等式过程中,我们常常需要利用凸函数近似一些复杂的函数。

这是因为凸函数在大部分区间上是递增的,所以可以将复杂的问题简化为凸函数问题。

3. Jensen不等式:Jensen不等式是证明凸函数不等式的重要工具。

Jensen不等式指出,如果f(x)是凸函数且x1, x2, ..., xn是任意实数,那么有f(λ1x1+λ2x2+...+λnxn) ≤λ1f(x1)+λ2f(x2)+...+λnf(xn),其中λ1, λ2, ..., λn是非负实数且满足λ1+λ2+...+λn=14. Karamata不等式:Karamata不等式是一种更加广义的不等式,可以被用于证明许多重要的几何不等式。

这个不等式是基于对凸函数定义的一个扩展。

凸函数的性质与应用

凸函数的性质与应用

> 设
x
2
,

,
(
4 )
x
,
式 成立
x
十 1
,
我们 证 明
1

n
n
+
(
q
,
4 )
:
,
式 也 成立

,
:
为 I 上 的任 意
+
+
i
个点
q
x
Z
:
,
q
:
为 满足 条 件
`
q
,



q

l
=
1
的任 意
n
个正 实 数
,
不 失 一般 性 设 x
,
<
< … <
x
<
x
、 」。
因为
!
x
<
l


X +
+ r
+
:
丝 吐 +

:
不妨 设 X
)
:
<
利用 拉格朗 日 中值 公 式
,

2`
互) (五 毛 【( 迄
l
2
` (
X
;

l
f(
X :

`
签』

x
,
)
)f

“X
,
」!

“一 ,

`
(五 名k )』
’ “`
c
Z
=
(
x

凸函数的性质

凸函数的性质

凸函数的性质凸函数是数学中非常重要的一类函数,它在经济学、物理学、计算机科学等领域中得到广泛应用。

在本篇文章中,我将会讲解凸函数的性质及其应用。

一、凸函数的定义首先,我们先来回顾一下凸函数的定义。

对于定义在$R^n$上的函数$f(x)$,若对任意$ x_1, x_2∈R^n $,以及$0≤λ≤1$都有$$ f(λx_1+(1−λ)x_2)≤λf(x_1)+(1−λ)f(x_2)$$则称$f(x)$为凸函数。

当$λ \in (0,1)$时,式子称为严格凸。

凸函数的定义很简单,但是它却有着非常重要的数学性质。

二、(一)一阶导数首先,我们来考虑凸函数的一阶导数。

对于一元函数$f(x)$而言,若其在点$x$处可导,则有:$$f(x + h) = f(x) + f'(x)h + o(h)$$其中$o(h)$为比$h$高阶的无穷小,即当$h$趋于0时,$o(h)/h$趋近于0。

因为$f(x)$是凸函数,所以有:$$ \begin{aligned} \frac{f(x + h) - f(x)}{h} &≥ \frac{(1-λ)f(x) + λf(x + h) - f(x)}{λh} \\ &≥ \frac{(1-λ)f(x) + λf(x) + λhf'(x) + o(h) -f(x)}{λh} \\ &= f'(x) + \frac{o(h)}{h} \end{aligned} $$所以有:$$ f'(x+)≥f'(x) $$也就是说,凸函数的导数是单调非减的。

类似地,我们可以证明一阶导数单调非增的函数是凹函数。

(二)二阶导数接下来,我们来考虑凸函数的二阶导数。

对于一元函数$f(x)$而言,若其在$x$处二阶可导,则有:$$f(x+h) = f(x) + f'(x)h + f''(x)\frac{h^2}{2} + o(h^2)$$同时,因为$f(x)$是凸函数,所以有:$$\begin{aligned} f(λx_1+(1-λ)x_2)&≤λf(x_1)+(1-λ)f(x_2) \\f′(λx_1+(1-λ)x_2)&≥ \frac{f(x_2)-f(x_1)}{x_2−x_1} \end{aligned}$$对右边的式子取极限,得到:$$ f''(x_)≥0 $$也就是说,凸函数的二阶导数是非负的。

凸函数的若干性质及应用

凸函数的若干性质及应用

凸函数的若干性质及应用凸函数是数学分析中的重要概念,具有许多重要的性质和广泛的应用。

本文将从性质和应用两个方面来阐述凸函数的相关内容。

一、性质:1. 定义:凸函数的定义是指函数f(x)在定义域的任意两点x1和x2,对于任意的t∈[0,1],都有f(tx1+(1-t)x2)≤tf(x1)+(1-t)f(x2)成立。

这个定义也可以用来判定函数的凹凸性。

2. 凸函数的图像:凸函数的图像总是位于其切线的下方,且曲线向上凸起,在凸函数的图像上取任意两点,连接这两点与曲线的切线,切线位于曲线的下方。

3. 严格凸函数:如果函数f(x)在定义域内的每两个不同的点x1和x2之间,对于任意的t∈(0,1),都有f(tx1+(1-t)x2)<tf(x1)+(1-t)f(x2)成立,则称函数f(x)为严格凸函数。

4. 凸函数的一次导数:凸函数的一次导数是非递减的,也就是说,若函数f(x)是凸函数,则它的导函数f'(x)是非递减的。

二、应用:凸函数在许多领域都有广泛的应用,以下介绍凸函数的一些常见应用:1. 最优化问题:凸函数在最优化问题中具有重要作用,特别是线性规划和凸规划。

通过建立优化问题的目标函数为凸函数,可以快速求得该问题的最优解。

2. 机器学习:在机器学习中,凸函数常用于构建损失函数和约束条件。

通过选择合适的凸函数作为损失函数,可以用来拟合模型和训练模型,如线性回归和逻辑回归等。

3. 经济学:凸函数在微观经济学中具有广泛的应用,特别是在效用函数和供求关系中。

凸函数可以描述消费者偏好和生产者的成本、收益等经济现象,为经济学家提供了重要的理论工具。

4. 几何学:凸函数与凸集有着密切的关系,可以通过凸函数来描述凸集。

凸函数在几何学中被广泛用于解决凸优化问题、凸包问题等凸几何相关的问题。

5. 图像处理:在数字图像处理中,凸函数常用于图像的分割、边缘检测、图像重建等问题。

通过构建合适的凸函数和优化算法,可以提高图像处理的效率和精度。

凸函数的定义与性质

凸函数的定义与性质

凸函数的定义与性质凸函数,可以说是数学中最重要、研究最深入的一种函数。

它是优化理论以及经济学等方面的基础,而在计算机科学、物理学中也是不可或缺的一种工具。

那么什么是凸函数呢?它有哪些性质呢?定义:凸函数是在其定义域上的任意两个点之间的连线都在函数图像之上的函数。

换句话说,就是任意两点之间的直线不会穿过函数图像下方。

直观地说,凸函数就是一种不会向下凹陷的图形,一只碗的外形就是一个简单的凸函数。

凸函数的性质:1.单调性:凸函数的图像是向上的,所以在函数的定义域上,凸函数关于x轴单调递增。

2.二阶可导性:对于凸函数f,其二阶导数f''(x)>=0,即函数图像上的任意一点处的曲率不会变为负值,因此函数图像是向上的。

3.可微性:凸函数是可微的,即在定义域上处处可导。

4.支持超平面:对于凸函数f,任意一点(x,f(x))上方支持超平面是存在的,也就是说,必定有一个超平面,所有位于该平面之上的点都在函数图像之上。

凸函数的应用:凸函数的一个应用是在经济学中。

常常有人会面临着优化问题,对于一个经济学家来说,他要对最优化问题进行研究。

其实,很多问题都可以通过凸函数来描述。

比如说,有一个厂家生产两种产品,对于这两种产品,厂家希望能够在生产情况下实现最大利润,而利润与销售额之间存在线性关系,这样的问题就可以转化为凸函数的优化问题。

总之,凸函数是一种在数学中运用最广泛的概念,不仅在数学中有着重要地位,同时还在物理学、经济学、计算机科学等许多领域中都有着不可替代的作用。

了解凸函数的定义和性质,对于深入探究各种凸集合、凸问题,以及优化问题等起着极为重要的作用。

凸函数的若干性质

凸函数的若干性质

凸函数的若干性质摘要:在很多数学问题的分析与证明中都要用到凸函数,所以研究凸函数的性质就显得尤为重要.本文在参考众多文献的基础上,对凸函数的若干性质进行了归纳和总结,主要论述了凸函数的运算性质、几何性质、有界性等等,给出了凸函数应用的几个实例.在此基础上又对凸函数进行了推广,阐述了对数性凸函数的若干结论.关键词: 凸函数;Jensen不等式;对数性凸函数引言凸函数是一类重要的函数,它的概念最早见Jensen[1905]著述中.在本世纪初建立了凸函数理论以来,凸函数这一重要概念已在许多数学分支中得到了广泛应用,例如:它在纯粹数学和应用数学的众多领域中具有广泛的应用,现已成为数学规划、对策论、数理经济学、变分学和最优控制等学科的理论基础和有力工具.凸函数也是一种性质特殊的函数,到目前为止,对凸函数的研究已经从定义的研究到凸性的研究,再到凸性应用方面的研究.对函数凸凹性的研究,在数学中的多个分支都有用处,特别在不等式的推导方面,凸函数有着十分重要的应用.现在对凸函数的研究工作有中间凸函数情形下函数成为凸函数的条件,利用半严格凸和中间凸性给出凸函数的一个判别准则,实值函数成为凸函数的一些条件等等.如何推广函数的凸性概念,使得在更广泛的函数范围内,凸函数的许多重要性质仍然得以保留,于是研究凸函数的一些性质就显得十分必要了.很多文献都对凸函数的性质进行了讨论,文献[1]给出了凸函数的定义、定理和一些简单性质.文献[2]讨论了凸函数的运算性质.文献[3]讨论了凸函数的有界性质.文献[4]讨论了凸函数的连续性、可微性,给出了凸函数应用的几个实例.文献[7]讨论了一些不等式如何利用凸函数的性质进行证明,给出了一些重要不等式的证明过程,如Jensen不等式的证明方法及详细步骤.文献[11]在凸函数的前提下讨论了对数性凸函数,给出了对数性凸函数的一些性质.本文在参考上述文献的基础上,总结了凸函数的运算性质、几何性质、有界性等等,然后又对其性质进行了应用.另外,本文又对凸函数进行了推广,给出了对数性凸函数的若干结论,于是对凸函数性质的研究具有一定的理论意义和实践价值.1预备知识凸函数是一类重要的函数,凸函数有许多良好的性质.函数的凸性是函数在区间上变化的整体性态,把握区间上的整体性态,不仅可以更加科学准确的描绘函数的图像,而且有助于对函数的定性分析.在对凸函数的性质展开研究之前,我们先来回顾一下有关凸函数的概念、定义和定理. 1.1 凸函数的概念凸函数是用来区分增减函数的增减方式不同的两种类型的函数:即使一个函数是增函数,也有如图(1)所示的两种方式,于是我们规定图(1)中1的增加方式 叫做凹函数,反之,把2规定为凸函数.图(1) 图(2) 1.2 凸函数的几何特征如图(2)所示,按图(1)所规定的方式,图(2)中的曲线()f x 为凸函数,其中1,2,3,三条直线在曲线()f x 内围成一个三角形,三角形的三边所对应的弧段都在所对应直线的下方.于是我们从凸函数的几何特征出发,给出凸函数的一个几何意义上的概念,就是曲线()f x 上任意两点之间的弧段总在这两点连线的下方.例如我们熟悉的函数()21f x x =和()2f x =的图像,它们图像不同的特点是:曲线()21f x x =上任意两点的弧段总在这两点连线的下方;而曲线()2f x =则相反,即任意两点的弧段总在这两点连线的上方. 1.3 凸函数的等价定义及判定定理定义[]11 设()f x 为定义在区间(),m n 上的函数,若对(),m n 上任意的两点1x ,2x ,任意的实数()0,1λ∈总有1212((1))()(1)()f x x f x f x λλλλ+-≤+-,则称()f x 为区间(),m n 上的凸函数;若上式仅不等号成立,则称()f x 为区间(),m n 上的严格凸函数.反之,如果总有1212((1))()(1)()f x x f x f x λλλλ+-≥+-,则称()f x 为区间(),m n 上的凹函数,若仅不等号成立,则称()f x 为区间(),m n 上的严格凹函数.定义2 设()f x 在区间(),m n 上有定义,若对(),m n 上任意两点1x ,2x 和正数12,λλ∈()0,1,且121λλ+=,总有()11221122()()f x x f x f x λλλλ+≤+,则称()f x 为区间(),m n 上的凸函数.在定义2的基础上我们可以得到下面的定义3.定义3(Jensen 不等式) 若函数()f x 在区间[],c d 内是凸函数,则对任意[],i x c d ∈,0i λ>(1,2,3,i n = ),且11ni i λ==∑,有()11n ni i i i i i f x f x λλ==⎛⎫≤ ⎪⎝⎭∑∑. 证 应用数学归纳法,当2n =时,由凸函数的定义,有11221122()()()f x x f x f x λλλλ+≤+,121λλ+=,即2n =时不等式成立.设n k =时成立,即对任意[]12,,,,k x x x c d ∈ 及0i q >,1,2,3,i n = ,11ni i q ==∑,有()11n ni i i i i i f q x q f x ==⎛⎫≤ ⎪⎝⎭∑∑. 设[]121,,,,,k k x x x x c d +∈ 及0i λ>(1,2,3,i n = ),11ni i λ==∑.令11ii k q λλ+=-,1,2,i k = ,则11ni i q ==∑.由数学归纳法假设可推得()112211k k k k f x x x x λλλλ++++++11221111=(1)1k kk k k k x x x f x λλλλλλ++++⎛⎫+++-+ ⎪-⎝⎭()()1112211(1)k k k k k f q x q x q x f x λλ+++≤-++++()()()()1112211(1)k k k k k q f x q f x q f x f x λλ+++≤-++++⎡⎤⎣⎦()()()12112111(1)111k k k k k k f x f x f x λλλλλλλ++++⎡⎤=-+++⎢⎥---⎣⎦()()111nk k i i i f x f x λλ++=+=∑.所以对任何正整数n (≥2)总有()11n ni i i i i i f x f x λλ==⎛⎫≤ ⎪⎝⎭∑∑成立.注 当121===n nλλλ=时便得到定义4. 定义4 若函数()f x 在区间E 上是凸函数,则不等式1212()()()n n x x x f x f x f x f n n ++++++⎛⎫≤⎪⎝⎭. 定义5 若函数()f x 在区间E 上存在二阶导数,且()0f x ''≥,则x E ∀∈,有 Jensen 不等式成立,即()()()()11221122n n n n f x x x f x f x f x λλλλλλ+++≤+++ ,其中i x E ∈,i q >0(1,2,3,i n = )且121n q q q +++= .证 由于()0f x ''≥,则()f x 是区间E 上的凸函数,由定义3也可得此结论.在凸函数定义的基础上我们再给出凸函数的几个判定定理.定理 1 函数()f x 为区间(),m n 上的凸函数的充要条件是:对于(),m n 上的任意三点1x ,2x ,3x (1x <2x <3x ),总有()()()()21322132f x f x f x f x x x x x --≤--. 定理2 设()f x 在区间E 上可导,则下述论断互相等价: 1)()f x 是区间E 上的凸函数; 2)()f x '是区间E 上的增函数;3)对区间E 上的任意两点1x ,2x 有()21121()()()f x f x f x x x '≥+-.证 1)2)⇒在区间E 上任取两点1x ,2x ()12x x <,对充分小的正数h ,由于1122x h x x x h-+<<<,所以由定理1得 ()()()()()()11212221f x f x h f x f x f x h f x h x x h---+-≤≤-, 因()f x 是区间E 上的可导函数,令0h +→可得()()211221()()f x f x f x f x x x -''≤≤-,所以()f x '是区间E 上的增函数.2)3)⇒在以1x ,2x ()12x x <为端点的区间上,由Langrange 中值定理和()f x '是区间E 上的增函数得()()()2121121()()()f x f x f x x f x x x ξ''-=-≥-,移项后得()21121()()()f x f x f x x x '≥+-,且当12x x >时仍可得到相应的结论.3)1)⇒任取区间E 上的任意两点1x ,2x ()12x x <,()3121x x x λλ=+-()01λ<<,由3)并利用()()13121x x x x λ-=--与()2321x x x x λ-=-得()()()()()()()133133312()1f x f x f x x x f x f x x x λ''≥+-=+--, ()()()()()()233233321()f x f x f x x x f x f x x x λ''≥+-=+-,分别用λ和1-λ乘上述两式并相加,便得()()()()()12312()11f x f x f x f x x λλλλ+-≥=+-,则()f x 是区间E 上的凸函数.定理3 设()f x 为区间E 上的二阶可导函数,则在区间E 上()f x 为凸函数的充要条件是()0f x ''≥,x E ∈.证 1)必要性 因为()f x 在区间E 为凸函数,则()f x '是区间E 上的增函数 ,即()0f x ''≥,x E ∈.2)充分性 因为()0f x ''≥,x E ∈,所以()f x '是区间x E ∈上的增函数,即()f x 为x E ∈上的凸函数.2凸函数的性质2.1 凸函数的运算性质性质1 若()f x 为凸函数,则(1)若0β≥,则称()f x β为凸函数; (2)若β<0,则称()f x β为凹函数.证 因()f x 为凸函数,由定义若对(),m n 上任意两点12,x x 和正数()0,1λ∈,总有1212((1))()(1)()f x x f x f x λλλλ+-≤+-.(1)当0β≥时在上式两端同时乘以β得:()()()()()()121212((1))()(1)()1f x x f x f x f x f x βλλβλλλβλβ+-≤+-=+-,即()f x β为凸函数.(2)当β<0时在上式两端同时乘以β得:()()()()()()121212((1))()(1)()1f x x f x f x f x f x βλλβλλλβλβ+-≥+-=+-,即()f x β为凹函数.性质2 若()f x 为凸函数,则()f x -为凹函数,反之亦然.注 性质2是性质1的特例,即1β=-.性质3 若()f x ,()g x 为凸函数,则(){}max (),()I x f x g x =为凸函数. 证 因()f x ,()g x 为凸函数,则对(),m n 上任意两点1x ,2x 和正数()0,1λ∈,总有()()()()()()()()121212111f x x f x f x I x I x λλλλλλ+-≤+-≤+-, ()()()()()()()()121212111g x x g x g x I x I x λλλλλλ+-≤+-≤+-, ()()()()()(){}1212121max 1,1I x x f x x g x x λλλλλλ+-=+-+-()()()121I x I x λλ≤+-.所以(){}max (),()I x f x g x =为凸函数.性质4 若()i f x 为凸函数,则()()()(){}12max ,,,n F x f x f x f x = (1,2,,i n = )亦为凸函数.证 由性质3和数学归纳法可证得.性质5 若()f x ,()g x 为凸函数,则()()()F x f x g x =+为凸函数. 证 因()f x ,()g x 为凸函数,即对(),m n 上任意两点1x ,2x 和正数()0,1λ∈, 总有1212((1))()(1)()f x x f x f x λλλλ+-≤+-, 1212((1))()(1)()g x x g x g x λλλλ+-≤+-,()()()()()()121212111F x x f x x g x x λλλλλλ+-=+-++-()()()()()()()()()()()()()()12121122121111.f x f xg x g x f x g x f x g x F x F x λλλλλλλλ≤+-++-=++-+⎡⎤⎡⎤⎣⎦⎣⎦=+-则()()()F x f x g x =+为凸函数.性质6 若()i f x 为凸函数,则()()1ni i F x f x ==∑(1,2,,i n = )为凸函数.证 由性质5和数学归纳法可证得.性质[]27 设()f x ,()g x 都是(),m n 上的非负单调递增(递减)的凸函数,则()()()F x f x g x =也是(),m n 上的凸函数.证 因()f x ,()g x 都是(),m n 上的非负单调递增(递减)的凸函数,则对(),m n 上任意两点1x ,2x 有()()()()21210f x f x g x g x --≥⎡⎤⎡⎤⎣⎦⎣⎦,()()()()()()()()12211122f x g x f x g x f x g x f x g x +≤+. (3)又因为()f x ,()g x 是非负的凸函数,即对(),m n 上任意两点1x ,2x 和()0,1λ∈ 总有1212((1))()(1)()f x x f x f x λλλλ+-≤+-, 1212((1))()(1)()g x x g x g x λλλλ+-≤+-.所以()()()()()()121212111F x x f x x g x x λλλλλλ+-=+-+-()()()()()()121211f x f x g x g x λλλλ≤+-+-⎡⎤⎡⎤⎣⎦⎣⎦ ()()()()()()()22221121f x g x f x g x f x g x λλλ=+-+⎡⎤⎣⎦ ()()()2111f x g x λ+-.再由(3)式可知()()()()()()121212111F x x f x x g x x λλλλλλ+-=+-+-()()()()()()()22221121f x g x f x g x f x g x λλλ=+-+⎡⎤⎣⎦ ()()()2111f x g x λ+-()()()()()()()()()()()()()()()112211*********.f xg x f x g x f x g x f x g x F x F x λλλλλλλλλλ=-++-+-=+-=+-即()()()F x f x g x =也是(),m n 上的凸函数.性质8 若()f x 是奇函数,且当0x ≥时,()f x 是凸函数(凹函数),那么当0x ≤时,()f x 是凹函数(凸函数).若()f x 是偶函数,且当0x ≥时,()f x 是凸函数(凹函数),那么当0x ≤时,()f x 是凸函数(凹函数).分析 利用凸凹函数的定义及奇偶函数图像的性质可直接得出.性质9 若()y f x =是(),m n 上的连续递增的凸函数,则()1x f y -=是递增的凹函数.证 因()f x 是(),m n 上的凸函数,所以对(),m n 上任意两点1x ,2x 和()0,1λ∈有1212((1))()(1)()f x x f x f x λλλλ+-≤+-.又因为()y f x =在(),m n 上是连续递增的,并且反函数单调性不变,则有()()()()()111212121((1))(1)f f x f x f f x x x x λλλλλλ--+-≥+-=+-, 所以()1x f y -=是递增的凹函数.性质10 若()f x 为区间H 上的凸函数,11:g R R →为单调增加的凸函数,则()()g f x 亦为凸函数.证 因()f x 为凸函数,即对H 上任意两点1x ,2x 和正数()0,1λ∈总有1212((1))()(1)()f x x f x f x λλλλ+-≤+-.又11:g R R →为单调增加的凸函数,所以()()()()()()()121212((1))()(1)()1g f x x g f x f x g f x g f x λλλλλλ+-≤+-≤+-. 即()()g f x 亦为凸函数.2.2 凸函数的几何性质性质11 若()f x 是H 上的凸函数,则对∀1x ,2x ,3x ∈H ,且123x x x <<,有313221213132()()()()()()f x f x f x f x f x f x x x x x x x ---≤≤---. 证 令3231x x x x λ-=-,21311x xx x λ--=-,则()2131x x x λλ=+-,由()f x 的凸性可知 ()()()()()()2131311f x f x x f x f x λλλλ=+-≤+-,从而有()()()()()()()[]211313111()()f x f x f x f x f x f x f x λλλ-≤+--=--, ()()()()()()[]32133311()()f x f x f x f x f x f x f x λλλ-≥---+=-,把λ代入得()()[]3121212131312131()()()()()()f x f x x x f x f x f x f x f x f x x x x x x x ----≤-⇒≤---, ()()[]3232313231313231()()()()()()x x f x f x f x f x f x f x f x f x x x x x x x ----≥-⇒≥---. 所以313221213132()()()()()()f x f x f x f x f x f x x x x x x x ---≤≤---. 分析 此性质的几何意义是分别连接曲线()f x 上的两点()()111,A x f x ,()()222,A x f x 的弦的斜率2121()()f x f x x x --不超过()()333,A x f x 与()()111,A x f x的弦的斜率3131()()f x f x x x --,不超过()()333,A x f x 与()()222,A x f x 的弦的斜率3232()()f x f x x x --.性质12 若()y f x =是(),-∞+∞上的凸函数,且不恒为常数,则存在一点d 使得()f x 在(),d -∞上递减,在(),d +∞上递增.证 若()y f x =是(),-∞+∞上的凸函数,则对于,a b R ∀∈,且a b <,(),x a b ∀∈可得()()()()f b f a f b f x b a b x--≤--, 因此()()f b f a >时,()()0f b f a b a-≥-.从而()()0f b f x b x-≥-,即()()0,()()f b f x f b f x -≥≥,所以当a b <,且()()f b f a ≥时,()f x 在(),b +∞上递增;当a b <,且()()f b f a ≤时,()f x 在(),b -∞上递减.所以存在一点d 使得()f x 在(),d -∞上递减,在(),d +∞上递增. 2.3 凸函数的有界性性质[]313 若()f x 是H 上的凸函数,则()f x 在H 内的任意闭子区间上有界.证 设[],a b 是H 内的任意闭子区间,对[],x a b ∀∈,存在01λ≤<,使得()1x a b λλ=+-,由凸函数的定义可知()()()()()()[]11max (),()f x f a b f a f b f a f b λλλλ=+-≤+-≤.因此()f x 在[],a b 上有上界,设其上界是M ,则()()max ,M f a f b =⎡⎤⎣⎦.再证()f x 在[],a b 上有下界.对[],x a b ∀∈,令()12t x a b =-+,则 11()()22222a b a b a b f f t t +++⎛⎫⎡⎤=++- ⎪⎢⎥⎝⎭⎣⎦ []111()()()22222a b a b f t f t f x M ++≤++-≤+, 即()22a b f x f M +⎛⎫≥- ⎪⎝⎭.所以()f x 在[],a b 上有下界,设其下界是m .记22a b m f M +⎛⎫=- ⎪⎝⎭,综上所述,()[],,m f x M x a b ≤≤∈.性质[]314 设函数()f x 在区间(),a b 内为凸函数,则()f x 在任意一闭子区间[](),,a b αβ⊂上满足Lipschitz 条件:即∃L >0,使得[]12,,x x αβ∀∈有()()1212f x f x L x x -≤-.证 因[](),,a b αβ⊂,则∃h >0,使得[](),,h h a b αβ-+⊂,[]12,,x x αβ∀∈, 若1x <2x ,取32x x h =+,()f x 在区间(),a b 内为凸函数,由定理1知()()()()21322132f x f x f x f x M mx x x x h---≤≤--, 其中,M m 分别为()f x 在[],h h αβ-+上的上下界,从而()()1212M mf x f x x x h--≤-. 若1x >2x ,取32x x h =-,因()f x 在区间(),a b 内为凸函数,由定理1知()()()()23122312f x f x f x f x x x x x --≤--, 即()()()()21321223f x f x f x f x M m x x x x h---≤≤--,因此()()1212M mf x f x x x h--≤-, 取M mL h-=,则[]12,,x x αβ∀∈有 ()()1212f x f x L x x -≤-.2.4 凸函数的连续性性质[]415 若()f x 是H 上的凸函数,则()f x 在H 上连续. 证 对x H ∀∈,都存在闭区间[],a b H ⊂,使得[],x a b ∈,令{}32min ,,x x x x a b x ∆---<,由性质11知当0x ∆>时,有()()()()()()f x f a f b f x xf x x f x xx a b x --∆≤+∆-≤∆--. 当0x ∆<时,有()()()()()()f b f x f x f a xf x x f x xb x x a--∆≤+∆-≤∆--. 因而有()()()()()()max ,f x f a f b f x f x x f x x x a b x ⎧--⎫+∆-≤∆⎨⎬--⎩⎭.再由性质13可知,上式右端是有下界的变量,因此,当0x ∆→时,有()()0f x x f x +∆-→.所以()f x 在点x 连续,由x 的任意性可知,()f x 在H 上连续. 2.5 凸函数的可微性性质[]416 若函数()f x 在区间(),m n 内是凸函数,那么()f x 在(),m n 内处处左右可导,同时满足对任意的()()1212,,,x x m n x x ∈<有()()()()12112212()()f x f x f x f x f x f x x x -+-+-''''≤≤≤≤-.证 若函数()f x 在区间(),m n 内是凸函数,则对()()1212,,,x x m n x x ∀∈<, 由性质11知()22()()f x f x F x x x -=-在()2,x n 内为不减函数,且当12x x x n <<<时221221()()()()f x f x f x f x x x x x --≥--,所以222()()limx x f x f x x x →--是有限的.再因()()22222()()limx x x x f x f x f x x x +→-'=->,所以由单调有界定理可知()2f x +'存在且()21221()()f x f x f x x x +-'≥-. 同样也可证12a x x x <<<时有()11211121()()()()lim x x f x f x f x f x f x x x x x -→--'=--<, 所以()1f x -'存在.由1x ,2x 的任意性知()f x 在(),m n 内处处可导. 再因,若1x ,2x ∈(),m n 且21x x >,取0x ∆>且2x x n +∆<,21x x x -∆>, 那么()()()()22222121()()f x f x x f x f x x f x f x x x x x -+∆-+∆-≥≥-∆∆-, 即()()()()22222121()()f x x f x f x x f x f x f x x x x x +∆-+∆--≥≥∆-∆-. 另0x ∆→则()()212221()()f x f x f x f x x x +--''≥≥-. 同理可证()()121112()()f x f x f x f x x x -+-''≤≤-,所以()()()()12112212()()f x f x f x f x f x f x x x -+-+-''''≤≤≤≤-.注 从凸函数的基本定义出发,上述16个性质是由凸函数的运算性质、几何性质,逐步过渡到凸函数的有界性、连续性、可微性,于是我们可以看到凸函数有很好的性质.下面我们逐步展开对凸函数及其性质的应用的探讨.3凸函数性质的应用例3.1 证明不等式()+++4a b c da b c d abcd a b c d ≤,其中,,,a b c d 均为正数.证 设()ln f x x x =,x >0.由()f x 的一阶和二阶导数()ln 1f x x '=+,()1f x x''=. 可见()ln f x x x =在x >0时为严格凸函数.依Jensen 不等式有()()()()()+1+44a b c d f f a f b f c f d ++⎛⎫≤++ ⎪⎝⎭.从而()++1ln ln ln ln +ln 444a b c d a b c d a a b b c c d d ++++≤++, 即++4a b c da b c d a b c d a b c d ++++⎛⎫≤ ⎪⎝⎭.又因+4a b c d++≤, 所以()+++4a b c da b c d abcd a b c d ≤.例3.2 证明当x ,y ,z 都为正数且互不相等时,有ln ln ln x x y y z z ++>()ln3x y zx y z ++++. 证 设()ln f t t t =(t >0),则()()11ln ,f t t f t t'''=+=>0,所以()f t 在()0,+∞上是严格凸函数.对,,x y z ∀>0且x y z ≠≠时,依Jensen 不等式有()()()3f x f y f z ++>3x y z f ++⎛⎫⎪⎝⎭, 即ln ln ln 3x x y y z z ++>ln 33x y z x y z++++,所以ln ln ln x x y y z z ++>()ln3x y zx y z ++++. 例3.3(Holder 不等式) 设i a >0,i b >0(1i n ≤≤),p >1,111p q+=.则 11111nnnpqp q i i i i i i i a b a b ===⎛⎫⎛⎫≤ ⎪ ⎪⎝⎭⎝⎭∑∑∑.证 设()=ln f x x -,()0,x ∈+∞,则21()f x x''=>0,即()f x 是()0,+∞上的严格凸函数,对于12,x x ∀>0,由Jensen 不等式得()()121211x x f f x f x p q pq ⎛⎫+≤+ ⎪⎝⎭,取12,p q x a x b ==,带入上式得()()1111p q p q f a b f a f b pq p q ⎛⎫+≤+ ⎪⎝⎭,即1111ln ln ln ln p q p q a b a b ab p q p q ⎛⎫⎛⎫-+≤-+=- ⎪ ⎪⎝⎭⎝⎭.由ln x 在()0,+∞上单调递增,得11p qa b ab p q+≥. 记1111,pnnqp q ki k i i i a a a b b b ==⎛⎫⎛⎫== ⎪ ⎪⎝⎭⎝⎭∑∑ (1,2,,k n = )带入上式得11111111p q k kk k nn p q n n p q p q i k i i i i i i a b a b p qa b a b ====≤+⎛⎫⎛⎫ ⎪ ⎪⎝⎭⎝⎭∑∑∑∑(1,2,,k n = ). 对上式两边求和,则11111111111111nn nn np p qq k kkik i k k i k i nnpqp q i i i i a b a a b b p q p qa b =======≤+=+=⎛⎫⎛⎫ ⎪ ⎪⎝⎭⎝⎭∑∑∑∑∑∑∑, 即11111n nnpqp q i i i i i i i a b a b ===⎛⎫⎛⎫≤ ⎪ ⎪⎝⎭⎝⎭∑∑∑.注 从上面几个例子我们看到在利用凸函数的性质证明不等式时构造合适的函数能达到简化不等式证明的目的.4凸函数的推广4.1 对数性凸函数的定义设()f x 为区间E 上的正值函数,如果()ln f x 在区间E 上为凸函数,即对12,x x E ∀∈和所有的实数()0,1λ∈有()()()()()1212ln 1ln 1ln f x x f x f x λλλλ+-≤+-,则称()f x 在区间E 上为对数性凸函数,如果对于12x x ≠严格不等式成立,则称()f x 在区间E 上为严格对数性凸函数. 4.2 对数性凸函数的性质定理[]114.2.1 设()f x 为区间E 上的正值函数,则()f x 在区间E 上为对数性凸函数的充要条件是对12,x x E ∀∈和所有的实数()0,1λ∈有()()()()()112121f x x f x f x λλλλ-+-≤.定理4.2.2 设()f x 为区间E 上的正值函数且二阶可导,则()f x 在区间E 上为对数性凸函数的充要条件是对x E ∀∈,有()()()()2f x f x f x '''≥.证 必要性 若()f x 为E 上的对数性凸函数,则()ln f x 在区间E 上为凸函数,由凸函数的判定定理知()ln 0f x ''≥⎡⎤⎣⎦,即()()0f x f x '⎡⎤'≥⎢⎥⎣⎦, 即()()()()220f x f x f x fx '''-⎡⎤⎣⎦≥.由于()2fx >0,故()()()20f x f x f x '''-≥⎡⎤⎣⎦.充分性 设()()ln g x f x =,则()()()()ln f x g x f x f x '''==⎡⎤⎣⎦, ()()()()()220f x f x f x g x f x ''''-⎡⎤⎣⎦''=≥,所以()g x 在E 上为凸函数,由定义知()f x 在E 上为对数性凸函数.性质4.2.3 如果函数()1f x 和()2f x 为区间E 上的对数性凸函数,则()()12f x f x 也为区间E 上的对数性凸函数.推论4.2.4 如果函数()i f x ()1,2,i n = 在区间E 上为对数性凸函数,则()1ni i f x =∏也为区间E 上的对数性凸函数.性质4.2.5 如果函数()1f x 和()2f x 为区间E 上的对数性凸函数,则()()12f x f x +也为区间E 上的对数性凸函数.推论4.2.6 如果函数()i f x ()1,2,i n = 在区间E 上为对数性凸函数,则()1ni i f x =∑也为区间E 上的对数性凸函数.定理[]134.2.7 设()f x 为E 上的正值函数,则()f x 为E 上的对数性凸函数的充要条件是对E 上的任意三点1x <2x <3x 总有()()()()2132112312x x x x f x f x f x f x --⎡⎤⎡⎤≤⎢⎥⎢⎥⎣⎦⎣⎦.证 必要性 记3231x x x x λ-=-,则()2131x x x λλ=+-.由()f x 为E 上的对数性凸函数可知()()()()()()()32213131121313131x x x x x x x x f x f x x f x fx f x f x λλλλ-----=--≤=,整理后,得()()()()2132112312x x x x f x f x f x f x --⎡⎤⎡⎤≤⎢⎥⎢⎥⎣⎦⎣⎦.充分性 任取E 上两点1x ,3x 且1x <3x ,在[]13,x x 上任取一点()2131x x x λλ=+-,()0,1λ∈,所以3231x x x x λ-=-,由必要性的推导逆过程便可得证. 注 定理4.2.2和定理4.2.7分别是由定理3和定理1类比得到的. 推论 4.2.8 设()f x 为E 上的正值函数,则()f x 为E 上的对数性凸函数的充要条件是对E 上的任意三点1x ,2x ,3x (1x <2x <3x )总有()()()()()()213132111233112x x x x x x f x f x f x f x f x f x ---⎡⎤⎡⎤⎡⎤≤≤⎢⎥⎢⎥⎢⎥⎣⎦⎣⎦⎣⎦.定理 4.2.9 设()f x 为E 上的正值函数,若()f x 为E 上的对数性凸函数,则()f x 为E 上的凸函数.证 由于()f x 为E 上的对数性凸函数,则由定理4.2.1得,对12,x x E ∀∈和所有的实数()0,1λ∈有()()()()()112121f x x f x f x λλλλ-+-≤.又由于()f x 为E 上的正值函数,则()1f x >0,()2f x >0,()11λλ+-=,从而由引理得()()()()()112121fx fx f x f x λλλλ-≤+-,由不等式的传递性得()()()()()121211f x x f x f x λλλλ+-≤+-,故()f x 为E 上的凸函数. 4.3 对数性凸函数的应用例 4.3.1 如果0x ≥,0y ≥, 111m n +=,且m >1,则1111mn x y x y m n≤+,其中等式成立当且仅当x y =.分析一 仔细观察本题中所要证的不等式我们发现本题刚好类似于对数性凸函数,下面我们不妨构造函数()f x x =,用对数性凸函数对本题进行证明.证 (1)当0,0x y ==或0,0x y =≥或0,0x y ≥=时,显然成立.(2)当x >0,y >0时,构造函数()f x x =,则()()()()21f x f x f x '''-=-<0.所以由定理4.2.2可知,函数()f x x =(x >0)为对数性凹函数. 又因为111m n+=,由定理4.2.1有 ()()1111mnf x f y f x y mn ⎛⎫≤+ ⎪⎝⎭,于是1111mnx y x y m n≤+. (3)1111mnx y x y x y m n=+⇔=. 必要性 当x y =时显然成立充分性 对1111mnx y x y m n =+求x 的偏导数,得11111m n x y m m-=,即1111n m n y x x -==,故x y =.分析二 我们先对此不等式进行适当的变形,不妨在不等式的两边同取自然对数得11ln ln m n x y x y m n ⎛⎫⎛⎫≤+ ⎪ ⎪⎝⎭⎝⎭,即11ln ln ln x y x y m n m n ⎛⎫+≤+ ⎪⎝⎭. 由此我们就可以找到合适的凸函数了.证 设()ln f x x =-(x >0),因()21f x x''=>0,故()f x 为x >0上的严格凸函数,又因111m n+=,故 11ln ln ln x y x y m n m n ⎛⎫-+≤-- ⎪⎝⎭, 即11ln ln ln x y x y m n mn ⎛⎫+≥+ ⎪⎝⎭, 从而1111m n x y x y m n≤+. 注 证法一和证法二各有其优缺点,但是无论哪一种证法都体现出用凸函数证明不等式的巧妙性.小结本文主要总结了凸函数的一些性质.首先是给出了凸函数的概念,然后是凸函数的几个常用的等价定义和判定定理,其次在此基础上总结了凸函数的一些性质,这些性质之间都相互联系着,最后利用凸函数性质证明了几个不等式.通过利用凸函数的性质对不等式的证明可以看出,用凸函数的性质证明有关不等式不仅可使难度较大且证明过程复杂的问题转化成证明比较容易,证明过程简单的问题,而且在丰富证明不等式方法,简化不等式证明过程中发挥了一定作用.最后又给出了对数性凸函数的定义、性质和一些简单的应用.通过对凸函数的性质的探讨,我们已经发现和了解到凸函数具有很大的研究空间,于是总结一些凸函数的性质对于今后的学习和研究具有很大的价值和实际意义.参考文献[1] 华东师范大学数学系.数学分析[M].北京:高等教育出版社,2001:148-154.[2] 白景华.凸函数的性质、等价定义及应用[J].开封大学学报,2003,6,17(2):59-64.[3] 林贤坤.凸函数的性质[J].广西民族学院学报,2001,11,6(4):250-253.[4] 朱玉明,杜曼.凸函数的性质和应用[J].沙洋师范高等专科学校学报,2005,6(5):23-25.[5] 孙清华,孙吴编.数学分析内容、方法、与技巧(上)[M].武汉:华中科技大学出版社,2003:210-215.[6] 狄雷.凸函数的性质及应用[J].南京晓庄学院,科教文汇,2009,9:272-273.[7] 查良松.凸函数及其在不等式证明中的应用[J].浙江工贸职业技术学院报,2005,9,5(3):77-81.[8] 李碧荣.凸函数及其性质在不等式证明中的应用[J].广西师范学院学报,2004,6,21(2):94-95.[9] DS密特若维奇,张小平,王尤泽.解析不等式[M].北京:科学出版社,1970:19-33.[10] 胡江.关于凸函数与对数凸函数的研究[J].徐州工程学院数学物理学院,成功(教育版),2007(1):113-114.[11] 刘芳园等编.对数性凸函数的一些性质[J].新疆:新疆师范大学学报,2006,9,25(3):22-25.[12] 张晶晶.对数性凸函数和几何凸函数的一些性质[D].楚雄师范学院,2008.[13] 刘海燕.凸函数在不等式证明中的应用[J].牡丹江教育学院学报,2005(1):19-20.。

ah—凸函数及其应用

ah—凸函数及其应用

ah—凸函数及其应用凸函数的性质在许多数学问题的研究和实际应用里具有极为重要的意义.但是对于大多数非数学专业的大学生来说凸函数只是一个简单平常的数学理论,并未对凸函数有太多的深入了解,更缺乏对凸函数应用的解读和分析.论文从凸函数的多种定义开始,引出凸函数的性质.引言凸函数理论的建立起自于21本世纪初,凸函数这个现在为众人所知的理论在很多有关于数学类学科中运用极为丰富.相比于函数论,数学分析,最优化理论等学科里运用都很频繁.其中凸函数是数学分析中极为重要的函数之一,还有凸函数在最优化的运用,在运筹学中的运用,很多其他的数学等理科科目中也大量运用这凸函数的知识.但是凸函数在高等教育数学中往往极少具有直接的相对运用,从而使得凸函数的研究在大学中并不常见,这往往是凸函数应用不多的原因.在本论文中会结合凸函数的性质和判定理论指出凸函数的应用,来明确出凸函数的应用优势.ah—凸函数及其应用 2定义1:在[a,b]上有定义.任意的有,则称为凸函数.定义2:在[a,b]上有定义.任意的及有:,则称为凸函数.定义3:在[a,b]上有定义.任意的且,有,则称为凸函数.定义4:在[a,b]上有定义.任意的且,有,则称为凸函数.定义5:在[a,b]上连续,在(a,0)上可导,任意的有,则称为凸函数.定义6:在[a,b]上连续,并且在区间(a,b)上是可导的函数,同时在区间上单调递增,则称为凸函数.定义7:在[a,b]上连续,并且在区间(a,b)上是可二次求导的函数,并且总存在,则称为凸函数.ah—凸函数及其应用 31.假设函数与此同时在区间[a,b]内是可导的,则可以称在区间[a,b]内是递增函数为是凸函数的充要条件.2.假设函数与此同时在区间[a,b]上存可以在二阶求导,则是为函数是凸函数的充要条件.3.假设函数并且在区间[a,b]内可导,且有使得①则称为①函数是凸函数的充要条件.4.假设函数并且在[a,b]内可导,若存在②则称为②函数是凸函数的充要条件.5.假设对并且,,则称为函数是凸函数的充要条件.ah—凸函数及其应用 43.1运算性质-凸函数1.(相加)如果函数和函数都是凸函数并且区间为[a,b],则也是凸函数,区间为[a,b].推论:假设函数,都是凸函数并且区间为,是非负实数,则也为都是凸函数并且区间为.2.(倍乘)如果函数是凸函数并且区间为[a,b],,则也是凸函数并且区间为[a,b].3.(相乘)如果函数和函数都是凸函数并且区间为[a,b]同时为非负单调递增凸函数,且,则也是凸函数并且区间为[a,b].4.(复合)如果函数总为单调递增的凸函数,也是一个凸函数,那么函数为凸函数.5.(最值)设函数在区间为凸函数,则在区间也为凸函数.6.(高阶导)设函数在区间为非负凸函数,则在区间上也为凸函数.7.(反函数)设在区间为严格减少的凸函数,则反函数也为凸函数.证明1.(相加性质)当我们需要去证明凸函数的相加性质时,知道函数,在区间为凸函数,则可以根据定义写出它有关运算的公式,函数+的和就是两个运算公式的和,在区间上也是成立的.证明:若并且,又因为函数和函数都是区间[a,b]上的凸函数,所以①②因此,①+②得由凸函数定义知也是凸函数,区间为[a,b].推论:证:,,因函数,在区间为凸函数,从而且又因为为非负实数,所以有=++因此在区间也为凸函数.2.(倍乘)因为函数是区间[a,b]上的凸函数,则和,存在**式两端同时乘以,则得到由凸函数定义知也是凸函数,区间为[a,b].3.(相乘)分析:利用凸函数的定义和函数在区间的单调性可以证明在区间也为凸函数.证明:因为且,,又因为函数和函数都是区间[a,b]上的单调递增凸函数,所以,即*因为函数和函数都是区间[a,b]上的凸函数,则,①.②从而得,①*②,得到由*式知由凸函数定义知也是凸函数,区间为[a,b].注:①,非负例:假设,且函数和函数都是凸函数,,所以当时可知不是一个凸函数,因为为负数.②,单调递增例:假设,且函数和函数都是凸函数,,以当时可知不是凸函数,因为是单调递减的函数.4.(复合)分析:因为函数是单调递增的凸函数,是凸函数,由凸函数定义得,,,因此得到,即,所以是凸函数.5.(最值)分析:利用凸函数的定义可以证明在区间也为凸函数.证明:,,因函数,在区间为凸函数,从而且令=,则因此在区间也为凸函数.6.(高阶导)分析:利用不等式的性质和函数的连续可以证明在区间上也为凸函数.证明:,因函数为非负凸函数,可知在连续,且从而在区间连续,因,有,因此[]可知在区间上也为凸函数.7.(反函数)分析:根据凸函数的一些已证性质,利用函数在区间上的单调性可以证明反函数也为凸函数.证明:因在区间上严格减少,从而存在反函数,设a=,.,则,使即则为凸函数,从而=因为严格减少.因此,即因此,由定义知在a=也为凸函数.3.2积分性质-凸函数1.设是上的凸函数,则为上的凸函数.2.设函数在上递增,则函数为凸函数.积分性质-证明1.分析:利用凸函数的定义和求导的公式为上的凸函数.证明:为凸函数区间是,因此它在区间内连续,在区间上有界.由此知有意义.,令时,恒有=(因的凸性)所以是上的凸函数.2.分析:利用函数的不等式的性质(增减性)可以证明函数为凸函数.证明:因递增,积分有意义.且.故为凸函数.ah—凸函数及其应用 5在许多数学问题的证明过程中,我们经常遇到一些有关于不等式的证明,所以我们可以学会着去运用凸函数来证明,因为凸函数的性质和判定方法可以很大程度化简化证明.通过例举出的例子可以得出,运用凸函数的性质证明来证明与之相关的不等式,则可让一些难度比较大的和不容易证明的不等式得以求证出结果.所以要学会用凸函数来解决一些不等式的问题,这样才能让发挥数学这门学科的优势,和凸函数的存在意义,更能方便我们的学习和生活.4.1凸函数在不等式的应用4.1.1凸函数的性质证明初等不等式(例)证明:当且时,有.思路:将不等式变形,即两边同时乘以,得新式,因此我们可以构造辅助函数,则可证出.证:设在区间是凸函数对且,得所以得即1.凸函数的性质证明函数不等式(例)证明:对任何非负实数有证:设,,,则在上是凸函数,由凸函数性质知,对任何的非负实数有,既所以.2.凸函数的性质证明积分不等式(例)证明:在上可积且,是在上的连续凸函数,则证:设由于是凸函数,故有①由定积分的定义知在①中令时使得.4.1.2(jensen)不等式琴生不等式是一个十分重要凸函数的性质,因为每一个凸函数都可以满足琴声不等式性质,于是琴生不等式是重要方法对于研究不等式来说.定理:假设函数是区间上的凸函数,则存在并且,总有.(例)若求证:证:因为对所有的,可以令,所以有又因为是凸函数所以有.注:①当时,则存在.②当时,有.4.1.3(holder)不等式赫尔德不等式是数学分析的重要内容,不等式的命名来自奥图.赫尔德.this inequality clearly shows the relationship between lp spaces.there are manyhölder's inequality,and of course there are also proofs of convex functions.定理:假设,则存在其中,并且.(例)证明存在n个正数,这些数倒数的算术平均值大于或等于这些数的算术平均值的倒数.证:假设函数,因此所以在上是凸函数,在jensen不等式中取则得到既.4.2凸函数在极值的应用根据常识的数学知识我们可以得知,一个连续函数如果是有界的,那么在这个区间内一定有max和min.但是对于函数来说max和min可能是在区间上的随机处.又因为对于凸函数,它的max(min)具有一些特征性质。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

1 c 强 s-凸函数;当 h ( t ) = 时,称 f 是 I 上的模 c 强 Godunova-Levin 凸函数;当 h ( t ) ≡ 1 时,称 f 是 I 上的 t 模 c 强 p 凸函数。
示特殊的实赋范线性空间- 中的区间),符号 J , J1 , J 2 表示 中包含 ( 0,1) 的区间。
张欣隆 等
关键词
强h-凸函数,h-凸函数,上积函数
Copyright © 2018 by authors and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY). /licenses/by/4.0/
2
强h-凹函数的情形可类似的证明。 注:特别地,当 c → 0 时,定理1~4恰是Varosanec [1]关于h-凸函数性质研究的结论。
DOI: 10.12677/pm.2018.81002 10
理论数学
张欣隆 等
4. 上积函数,单调性与强 h-凸函数的关系
定义 3 [1]:若函数 h : J → 满足
1 特别地,当 h ( t ) = t 时,则 f 为凸函数;当 h ( t ) = t s ( 0 < s ≤ 1 )时,f 为 s 凸函数; h ( t ) = 时,f 为 t
2011 年 Angulo [8]进一步推广了 h-凸函数,引入了强 h-凸函数的概念。
定义 2:设 ( Χ, ) 是实赋范线性空间,I 是 Χ 中的一个凸子集,J 是 内的一个区间,且 ( 0,1) ⊂ J ,
Pure Mathematics 理论数学, 2018, 8(1), 8-13 Published Online January 2018 in Hans. /journal/pm https:///10.12677/pm.2018.81002
Open Access
1. 引言
凸型函数在纯粹数学和应用数学等众多领域中具有广泛的应用,譬如它已成为数学规划、对策论、数 理经济,最优控制等学科的理论基础和有力工具。2007 年 Varosanec [1]提出了 h-凸函数的概念。h-凸函数 是凸函数、s-凸函数[2]、Godunova-Levin 函数[3]以及 P-函数[4]等函数类的推广。我们熟知这些函数类在数 学的各个分支中有大量的应用, 因此 h-凸函数引起了学者们广泛的兴趣与关注(如见文献[5] [6] [7]等)。 2011 年 Angulo 等[8]在强凸函数[9]和 h-凸函数的基础上引进了强 h-凸函数。 和 h-凸函数类似, 当 h ( x ) 取不同值 时可分别得到强凸函数[9]、强 s-凸函数、强 Godunova-Levin 函数以及强 P-函数等(见文献[8])。本文主要结 合函数(列)的上积性、单调性、收敛性等概念,对强 h-凸函数的性质进行更深入的分析和讨论。
Keywords
Strongly h-Convex Function, h-Convex Function, Sup-Multiplicative Function
强h-凸函数的若干性质
张欣隆,郑乔诗,阮建苗*
浙江外国语学院数学系,浙江 杭州
收稿日期:2017年12月14日;录用日期:2017年12月27日;发布日期:2018年1月4日
Some Properties of the Strongly h-Convex Function
Xinlong Zhang, Qiaoshi Zheng, Jianmiao Ruan*
Department of Mathematics, Zhejiang International Studies University, Hangzhou Zhejiang
f ( tx + (1 − t ) y ) ≤ h ( t ) f ( x ) + h (1 − t ) f ( y ) − c1t (1 − t ) x − y ,
2
g ( tx + (1 − t ) y ) ≤ h ( t ) g ( x ) + h (1 − t ) g ( y ) − c2t (1 − t ) x − y .
.
若 h ( t ) ≥ t , t ∈ ( 0,1) ,且若 f 为 I 上的非负模 c 强凹函数,则 ∀x, y ∈ I , t ∈ ( 0,1) ,有
f ( tx − (1 − t ) y ) ≥ tf ( x ) + (1 − t ) f ( y ) − ct (1 − t ) x − y
2 2
2 2
.
定理 3:设 h 为定义在区间 I 上的非负函数。已知 c1 > c2 ,若 f 模为 c1 强 h 凸函数,则 f 为模为 c2 的 强 h 凸函数;若 f 模为 c1 强 h 凹函数,则 f 为模为 c2 的强 h 凹函数。 定理 4:设常数 λ > 0 。若 f , g 分别为定义在 I 上的模为 c1 , c2 的强 h-凸(凹)函数,则 f + g 为 I 上 的模 c1 + c2 强 h-凸(凹)函数, λ f 为 I 上的模 λ c1 强 h-凸(凹)函数。 证明:若 f , g 分别为 I 上模为 c1 , c2 的强 h-凸函数,则有
f ( tx + (1 − t ) y ) ≤ h ( t ) f ( x ) + h (1 − t ) f ( y ) − ct (1 − t ) x − y
函数 h : J → [ 0, ∞ ) 。若函数 f : I → [ 0, ∞ ) 满足:存在常数 c > 0 , ∀x, y ∈ I , t ∈ ( 0,1) ,不等式
h-凸函数。设非负函数 h 满足 h ( t ) ≥ t , t ∈ ( 0,1) ,若 f 是 I 上的模 c 强凹函数,则 f 也为 I 上的模 c 强 h凹函数。 证明:若 h ( t ) ≤ t , t ∈ ( 0,1) ,且若 f 为定义在 I 上模 c 强凸函数,则 ∀x, y ∈ I , t ∈ ( 0,1) , 有
2. h-凸函数和强 h-凸函数的定义
2007 年 Varosanec [1]引进了一类推广了的凸型函数:h-凸函数,即 定义 1:设 I , J 是 内的一个区间,且 ( 0,1) ⊂ J ,函数 h : J → [ 0, ∞ ) 。若函数 f : I → [ 0, ∞ ) 满足,
∀x, y ∈ I , t ∈ ( 0,1) ,
f ( tx − (1 − t ) y ) ≤ h2 ( t ) f ( x ) + h2 (1 − t ) f ( y ) − ct (1 − t ) x − y ≤ h1 ( t ) f ( x ) + h1 (1 − t ) f ( y ) − ct (1 − t ) x − y
即 f 为模为 c 的强 h1-凸函数。同理可证凹函数的情况。 类似定理 2 的证明,我们容易得到下面的结论。
≥ h ( t ) f ( x ) + h (1 − t ) f ( y ) − ct (1 − t ) x − y
即 f 为 I 上的模 c 强 h-凹函数。
.
定理 2:设非负函数 h1 , h2 满足 h1 ( t ) ≤ h2 ( t ) , t ∈ ( 0,1) 。若 f 是 I 上的模 c 强 h2-凸函数,则 f 为 I 上 模 c 强 h1-凸函数;若 f 是 I 上的模 c 强 h1-凹函数,则 f 为 I 上模 c 强 h2-凹函数。 证明:若 f 为模为 c 强 h2-凸函数,则对于任意的 t ∈ ( 0,1) ,有
h ( xy ) ≥ h ( x ) h ( y ) , x, y ∈ J
那么我们称 h 为 J 上的上积函数。若上述不等号反向,则称 h 为 J 上的下积函数。 定理 5:设 f 为 I 上的模 c 强 h-凸函数,且 h 为 J 上的上积函数。若 f ( 0 ) = 0 ,则 ∀x, y ∈ I , α , β > 0 , 且 α x + β y ∈ I ,有
2
(2)
成立,那么我们就称函数 f 是 I 上的模 c 强 h-凸函数。若上述不等式反向成立,那么我们就称函数 f 是 I 上的模 c 强 h-凹函数。在不引起混淆的情况下,我们分别简称为 f 是 I 上的强 h-凸函数与强 h-凹函数。 类似地,当 h ( t ) = t 时,我们称 f 是 I 上的模 c 强凸函数;当 h ( t ) = t s ( 0 < s ≤ 1 )时,称 f 是 I 上的模Dec. 14 , 2017; accepted: Dec. 27 , 2017; published: Jan. 4 , 2018
Abstract
The strongly h-convex function is a generation of the convex function and the h-convex function, and the latter is also a common generalization of the convexity, s-convexity, the Godunova-Levin function and the P-function. In this paper, we discuss some basic properties of strongly h-convex functions, and make some presentations of them involving the notations of sup-multiplicative functions, convergence of sequence, etc.


强h-凸函数是强凸函数和h-凸函数的推广,而后者又是凸函数、s-凸函数、Godunova-Levin函数以及P函数等的推广。本文讨论了强h-凸函数的一些基本性质,并结合上积函数,函数列收敛等概念,对强h凸函数的性质进行更深入的讨论。
相关文档
最新文档