宋 振 云

(湖北職業(yè)技術(shù)學(xué)院 機(jī)電工程學(xué)院, 湖北 孝感 432000)

?

HM-凸函數(shù)及其Jensen型不等式

宋 振 云

(湖北職業(yè)技術(shù)學(xué)院 機(jī)電工程學(xué)院, 湖北 孝感 432000)

凸函數(shù)是一類(lèi)特殊的函數(shù),隨著其在應(yīng)用上的不可替代性作用的逐漸顯現(xiàn),近年來(lái),關(guān)于凸函數(shù)的研究已成為一個(gè)備受關(guān)注的熱點(diǎn),不同種類(lèi)的凸函數(shù)概念被不斷提出,尤其是基于區(qū)間上的二元冪平均確定的凸函數(shù)?？紤]由區(qū)間上的算術(shù)平均、幾何平均、調(diào)和平均所確定的調(diào)和凸函數(shù)、HG-凸函數(shù)、HA-凸函數(shù)等凸函數(shù)的推廣問(wèn)題,定義了HM-凸函數(shù);通過(guò)對(duì)HM-凸函數(shù)的凸性特征的系統(tǒng)研究,討論了HM-凸函數(shù)的判定方法并給出了相應(yīng)的判定定理;分析了HM-凸函數(shù)的凸性特點(diǎn),得到了若干凸性性質(zhì)。在此基礎(chǔ)上,建立了HM-凸函數(shù)的Jensen型不等式。

HM-凸函數(shù); 判定定理; 性質(zhì); Jensen型不等式

凸性及其廣義凸性在控制理論、最優(yōu)化理論、線(xiàn)性規(guī)劃等領(lǐng)域的應(yīng)用價(jià)值,已是人所共知的。隨著其在數(shù)學(xué)中的地位的不斷攀升和應(yīng)用上不可替代性作用的逐漸顯現(xiàn),近年來(lái),凸函數(shù)已引起了眾多學(xué)者的廣泛關(guān)注和高度重視,對(duì)它的深入研究也成為了一個(gè)熱點(diǎn)。正因如此,不同種類(lèi)的新的凸函數(shù)概念被不斷提出,僅就區(qū)間上的二元冪平均確定的凸函數(shù),就有如調(diào)和凸函數(shù)[1]、HG-凸函數(shù)[2]、HA-凸函數(shù)[3]、rP-凸函數(shù)[4]等。本文考慮對(duì)調(diào)和凸函數(shù)、HG凸函數(shù)、HA-凸函數(shù)進(jìn)一步推廣,給出了HM-凸函數(shù)的定義,討論了HM-凸函數(shù)的判定定理,研究了HM-凸函數(shù)的相關(guān)性質(zhì),建立了HM-凸函數(shù)的Jensen型不等式。

定義 設(shè)I?(0,+∞),f(x)是定義在I上的正值函數(shù),如果?x1,x2∈I及?t∈[0,1],存在r∈R,使得

則稱(chēng)f(x)為I上的HM-凸(凹)函數(shù)。其中,當(dāng)r>0時(shí),稱(chēng)f(x)為I上的HMr+-凸(凹)函數(shù);當(dāng)r<0時(shí),稱(chēng)f(x)為I上的HMr--凸(凹)函數(shù)。

注:當(dāng)r=0時(shí),HM-凸(凹)函數(shù)即為HG-凸(凹)函數(shù);當(dāng)r=-1時(shí),HM-凸(凹)函數(shù)即為調(diào)和凸(凹)函數(shù);當(dāng)r=1時(shí),HM-凸(凹)函數(shù)即為HA-凸(凹)函數(shù)。

1 關(guān)于HM-凸函數(shù)的判定

約定全文所有討論只考慮r≠0的情形,對(duì)r=0時(shí)的相關(guān)討論參見(jiàn)文獻(xiàn)[2]。

定理1 設(shè)I?(0,+∞),f(x)是定義在I上的正值函數(shù),則

ⅰ)f(x)為I上的HMr+-凸(凹)函數(shù)的充要條件是:?x1,x2,x3∈I且x1

ⅱ)f(x)為I上的HMr--凸(凹)函數(shù)的充要條件是:?x1,x2,x3∈I且x1

證明 只證ⅰ),同理可證ⅱ)。

由于r>0時(shí),以上證明步步可逆,因此充分性成立。

若f(x)是I上的HMr+-凹函數(shù),則證明中的不等號(hào)反向,故定理1(ⅰ)的后半部分成立。

定理2 設(shè)I?(0,+∞)(I為閉區(qū)間),f(x)是I上的正值函數(shù),?x∈I,τ:x→x-1,若記τ(I)=I-1,則

ⅰ)f(x)為I上的HMr+-凸(凹)函數(shù)的充要條件是(f(x-1))r(r>0)為I-1上的凸(凹)函數(shù);

ⅱ)f(x)為I上的HMr--凸(凹)函數(shù)的充要條件是(f(x-1))r(r<0)為I-1上的凹(凸)函數(shù)。

證明 只證ⅰ),同理可證ⅱ)。

設(shè)g(x)=(f(x-1))r(x∈I-1,r>0),

充分性。若g(x)=(f(x-1))r(r>0)為I-1上的凸函數(shù),則?x1,x2∈I,?t∈[0,1],有

=[t(f(x1))r+(1-t)(f(x2))r]1/r,

所以,f(x)為I上的HMr+-凸函數(shù)。

必要性。若f(x)為I上的HMr+-凸函數(shù),r>0,則,?x1,x2∈I,?t∈[0,1],有

故g(x)=(f(x-1))r(r>0)是I上的凸函數(shù)。

由以上的證明過(guò)程可知,定理2(ⅰ)的后半部分成立。

定理3 設(shè)I?(0,+∞),f(x)是定義在I上的正值函數(shù),則

證明 只證ⅰ),同理可證ⅱ)。

因?yàn)棣?t)為[0,1]上的凸函數(shù),且r>0,所以

即f(x)是I上的HMr+-凸函數(shù)。

必要性。 ?x1,x2∈I及?t1,t2∈[0,1],由2個(gè)正數(shù)的冪平均的性質(zhì)[5]知

因?yàn)閒(x)是I上的HMr+-凸函數(shù),r>0,所以,?t1,t2∈[0,1]及?α∈[0,1],有

如果f(x)是I上的HMr+-凹函數(shù),則證明中的不等號(hào)反向,所以定理3(ⅰ)的后半部分成立。

定理4設(shè)I?(0,+∞),f(x)是I上的正值函數(shù),且二階可導(dǎo),則

ⅰ)f(x)為I上的HMr+-凸(凹)函數(shù)的充要條件是:

ⅱ)f(x)為I上的HMr--凸(凹)函數(shù)的充要條件是,

證明 只證ⅰ),同理可證ⅱ)

因?yàn)閤∈I?(0,+∞),且f(x)在I上是正的,所以

φ″(t)≥(≤)0?r[f(x)(2f′(x)+xf″(x))+(r-1)x((f′(x))2]≥(≤)0(x∈I)。

由定理3(ⅰ),f(x)為I上的HMr+-凸(凹)函數(shù)

?φ″(t)≥(≤)0?f(x)(2f′(x)+xf″(x))+(r-1)x((f′(x))2≥(≤)0(x∈I,r>0)。 證畢。

2 關(guān)于HM-凸函數(shù)的性質(zhì)

定理5 設(shè)I?(0,+∞),f(x)是定義在I上的正值函數(shù)。

ⅰ) 若f(x)為I上嚴(yán)格遞增的rP-凸函數(shù),則當(dāng)r>0時(shí),f(x)在I上是HMr+-凸函數(shù);當(dāng)-1≤r<0時(shí),f(x)在I上是HMr--凸函數(shù)。

ⅱ) 若f(x)為I上嚴(yán)格遞減的rP-凸函數(shù),則當(dāng)r≤-1時(shí),f(x)在I上是HMr--凸函數(shù)。

ⅲ) 若f(x)為I上嚴(yán)格遞增的rP-凹函數(shù),則當(dāng)r≤-1時(shí),f(x)在I上是HMr--凹函數(shù)。

ⅳ) 若f(x)為I上嚴(yán)格遞減的rP-凹函數(shù),則當(dāng)r>0時(shí),f(x)在I上是HMr+-凹函數(shù)。 當(dāng)-1≤r<0時(shí),f(x)在I上是HMr--凹函數(shù)。

證明 只證ⅰ),同理可證ⅱ),ⅲ),ⅳ)。

因?yàn)閒(x)是I上嚴(yán)格遞增的rP-凸函數(shù),所以

故f(x)是I上的HMr+凸函數(shù)。

當(dāng)-1≤r<0時(shí),同樣地可證明f(x)是I上的HMr--凸函數(shù)。

定理6 設(shè)I,D?R+,f:I→D,且f(I)=D,那么

ⅰ) 若y=f(x)為I上嚴(yán)格遞增的HM-凹函數(shù),則當(dāng)r>0時(shí),其反函數(shù)y=f-1(x)為D上的HMr+-凸函數(shù);當(dāng)-1≤r<0時(shí),其反函數(shù)y=f-1(x)為D上的HMr--凸函數(shù)。

ⅱ) 若y=f(x)為I上嚴(yán)格遞增的HM-凸函數(shù),當(dāng)r≤-1時(shí),其反函數(shù)y=f-1(x)為D上的HMr--凹函數(shù)。

證明 只證ⅰ),同理可證ⅱ)。

設(shè)f(x)是I上嚴(yán)格遞增的函數(shù),則f(x)在I上的反函數(shù)y=f-1(x)亦為D上的嚴(yán)格遞增函數(shù)。

?y1,y2∈D,?x1,x2∈I,使x1=f-1(y1),x2=f-1(y2),即y1=f(x1),y2=f(x2)。

當(dāng)r>0時(shí),因?yàn)閥=f(x)是I上的MH-凹函數(shù),所以,?x1,x2∈I及?t1,t2∈[0,1],有

所以,由y=f-1(x)在D上的嚴(yán)格遞增性和(7)式,得

故y=f-1(x)為D上的HMr+-凸函數(shù)。

當(dāng)-1≤r<0時(shí),同樣地可證明y=f-1(x)為D上的HMr--凸函數(shù)。

定理7 設(shè)B?I?R+,A?R+,f:I→R+,μ:A→B,則

ⅰ) 如果y=f(u)是I上的嚴(yán)格遞增rP-凸函數(shù),u=μ(x)是A上的HM-凸函數(shù),那么y=f(μ(x))是A上的HM-凸函數(shù);

ⅱ) 如果y=f(u)是I上的嚴(yán)格遞減rP-凸函數(shù),u=μ(x)是A上的HM-凹函數(shù),那么y=f(μ(x))是A上的HM-凸函數(shù);

ⅲ) 如果y=f(u)是I上的嚴(yán)格遞增rP-凹函數(shù),u=μ(x)是A上的HM-凹函數(shù),那么y=f(μ(x))是A上的HM-凹函數(shù);

ⅳ) 如果y=f(u)是I上的嚴(yán)格遞減rP-凹函數(shù),u=μ(x)是A上的HM-凸函數(shù),那么y=f(μ(x))是A上的HM-凹函數(shù)。

證明 只證ⅰ),同理可證ⅱ)、ⅲ)、ⅳ)。

故y=f(μ(x))為A上的HM-凸函數(shù)。

3 HM-凸函數(shù)的Jensen型不等式

證明 設(shè)g(x)=(f(x-1))r(x∈I-1),

由于x∈I-1時(shí)x-1∈I,x∈I時(shí)x-1∈I-1,且r>0,所以

當(dāng)r<0時(shí),根據(jù)定理2(ⅱ)同樣地可以證明定理成立。

若f(x)為I上的HMr+-凹函數(shù),則證明中的不等號(hào)反向,即定理8的后半部分成立。

[1]張?zhí)煊?荷花,冀愛(ài)萍.關(guān)于調(diào)和凸函數(shù)的一些性質(zhì)[J].內(nèi)蒙古民族大學(xué)學(xué)報(bào):自然科學(xué)版, 2006,21(4):361-363.

[2]陳少元.HG-凸函數(shù)及其Jensen型不等式[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí), 2013,43(2):257-264.

[3]宋振云.HA-凸函數(shù)及其Jensen不等式[J].德州學(xué)院學(xué)報(bào), 2014,30(4):16-21.

[4]吳善和.rP-凸函數(shù)與琴生不等式[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí), 2005,35(3):220-228.

[5]匡繼昌.常用不等式[M].4版.濟(jì)南:山東科學(xué)技術(shù)出版社, 2010:53-63.

HM-convex function and its Jensen-type inequality

SONGZhenyun

(School of Mechanical & Electrical Engineering, Hubei Polytechnic Institute, Xiaogan 432000, China)

The convex function belongs to a special category of functions.Since its irreplaceable application within recent years, the convex function study becomes attractive, while different categories of convex functions are brought forward, especially the brilliant convex function determined by dual parameters for two variables power means within a certain section.Considering promotion issues of the harmonic convex function, HG-convex function and HA-convex function determined by arithmetic means, geometric means and harmonic means within a certain section, this article gives the determination of HM-convex function, discusses its judgment method and the corresponding judgment theorem, and analyzes its convexity features by systematically studying its convexity attribute.The author finally comes to several convexity properties of HM-convex function, and sets up the Jensen-type inequality of HM-convex function and the equivalent form.

HM-convex function; judgment theorem; property; Jensen-type inequality

2014-04-20。

湖北省教育科學(xué)“十二五”規(guī)劃項(xiàng)目(2013A054)。

宋振云(1958-),男,湖北孝感人,湖北職業(yè)技術(shù)學(xué)院教授。

1673-5862(2015)01-0023-05

O178.1

A

10.3969/ j.issn.1673-5862.2015.01.006