分?jǐn)?shù)次積分下關(guān)于s-凸函數(shù)的新Hermite-Hadamard型不等式

孫文兵

(邵陽(yáng)學(xué)院 理學(xué)與信息科學(xué)系, 湖南 邵陽(yáng) 422000)

分?jǐn)?shù)次積分下關(guān)于s-凸函數(shù)的新Hermite-Hadamard型不等式

孫文兵

(邵陽(yáng)學(xué)院 理學(xué)與信息科學(xué)系, 湖南 邵陽(yáng) 422000)

建立了一個(gè)關(guān)于Riemann-Liouville分?jǐn)?shù)次積分的恒等式, 利用此恒等式, 得到了一些函數(shù)為可微且s-凸映射的關(guān)于分?jǐn)?shù)次積分的新Hermite-Hadamard型積分不等式, 并且對(duì)于可微的s-凹函數(shù)也得到一些新的結(jié)果. 文中的新結(jié)果推廣了部分已有研究的結(jié)論.最后給出了一個(gè)應(yīng)用實(shí)例.

Hadamard不等式;s-凸函數(shù); H?lder不等式; Riemann-Liouville 分?jǐn)?shù)次積分

0 引 言

令f:I?R→R是一個(gè)凸函數(shù)且a,b∈I,a

(1)

這就是著名的Hermite-Hadamard不等式.

近年來(lái),眾多研究者根據(jù)函數(shù)具備不同的凸性對(duì)Hermite-Hadamard型不等式進(jìn)行了推廣和改進(jìn)[1-7].隨著分?jǐn)?shù)次積分的廣泛應(yīng)用,不少學(xué)者開(kāi)始研究涉及分?jǐn)?shù)次積分的Hermite-Hadamard型不等式,并且得到了越來(lái)越多關(guān)于分?jǐn)?shù)次積分的結(jié)果[8-11].

KIRMACI[12]證明了以下與不等式(1)左端有關(guān)聯(lián)的一些結(jié)果:

引理1令f:I*?R→R是區(qū)間I*上的一個(gè)可微映射(I*是I的內(nèi)部),若f′∈L[a,b],a,b∈I*,a

(2)

根據(jù)引理1,KIRMACI證明了以下有關(guān)凸函數(shù)的3個(gè)定理.

定理1令f:I*?R→R是區(qū)間I*上的可微映射,若|f′|是區(qū)間[a,b]上的凸函數(shù),a,b∈I*,a

(3)

(4)

(5)

KIRMACI等[13]還證明了對(duì)于凹函數(shù)，有

定理4令f:I*?R→R是區(qū)間I*上的可微映射,且p≥1.如果|f′|p是[a,b]上的凹函數(shù),a,b∈I*,a

(6)

為了得到新的結(jié)果,特引入下面3個(gè)定義.

定義1[14]若f:[0,∞)→R,對(duì)于x,y∈[0,∞),λ∈[0,1]，并且對(duì)于某一固定的s∈(0,1],若不等式

f(λx+(1-λ)y)≤λsf(x)+(1-λ)sf(y)

易知,當(dāng)s=1時(shí),s-凸性即為通常意義下的凸函數(shù).

DRAGOMIR等[15]證明了對(duì)于第2種意義下s-凸函數(shù)的Hadamard不等式的一個(gè)變式:

定理5假設(shè)f:[0,∞]→[0,∞]是一個(gè)第2種意義下的s-凸函數(shù),其中s∈(0,1)且a,b∈[0,∞),a

(7)

下面給出α(∈R+)階左側(cè)和右側(cè)分?jǐn)?shù)次積分的定義.

可見(jiàn),當(dāng)α=1時(shí),分?jǐn)?shù)次積分即為經(jīng)典積分.

為了簡(jiǎn)化結(jié)果的表示形式，引入不完全Beta函數(shù)的定義[16-18]:

定義3對(duì)于a,b>0且0

本文利用Riemann-Liouville分?jǐn)?shù)次積分,對(duì)具有s-凸性的函數(shù),建立了與Hermite-Hadamard不等式左端相關(guān)的不等式.將Hermite-Hadamard積分不等式推廣到分?jǐn)?shù)次積分,文中結(jié)果推廣了已有文獻(xiàn)中的結(jié)論,如不等式(3)～(6)是本文結(jié)果的特殊情況.

1 Hermite-Hadamard型分?jǐn)?shù)次積分不等式的主要結(jié)果及證明

引理2令f:[a,b]→R是區(qū)間(a,b)上的可微映射,a

(8)

證明由分部積分,有

(9)

和

(10)

其中,用到變量代換x=ta+(1-t)b,t∈[0,1].

用(b-a)分別乘以式(9)和(10)兩邊,分別得到

(11)

和

(12)

由式(11)和(12)，引理2得證.

由引理2,可以得到關(guān)于第2種意義下s-凸函數(shù)的分?jǐn)?shù)次積分不等式.

(13)

(|f′(a)|+|f′(b)|)，

其中用到以下計(jì)算結(jié)果：

和

結(jié)論得證.

(14)

證明在式(13)中,取s=1,由于

于是,結(jié)論得證.

注1在推論1中,如果令α=1,則由式(14)可得到定理1中的不等式(3).

推論2令f:[a,b]?[0,∞]→R,在區(qū)間(a,b)上是一個(gè)可微映射,a

(15)

證明在式(13)中,取α=1,由于

則結(jié)論成立.

注2在推論2中,令s=1,則式(15)也能得到定理1中的不等式(3).

定理7令f:[a,b]?[0,∞]→R,在區(qū)間(a,b)上是一個(gè)可微映射,a1,則以下分?jǐn)?shù)次積分不等式成立:

(16)

其中，

因?yàn)閨f′|q在[a,b]上是第2種意義下s-凸的,則有

和

通過(guò)計(jì)算得到

定理7得證.

3|f′(b)|p/(p-1))(p-1)/p+

(17)

證明在式(16)中,取s=1,即可得到式(7).

注3在推論3中,如果令α=1,則由式(17)可得到定理2中的不等式(4).

推論4令f:[a,b]?[0,∞]→R,在區(qū)間(a,b)中是一個(gè)可微映射,a1,則以下不等式成立:

(18)

證明在式(16)中,取α=1,即可得到式(18).

注4在推論4中,如果令s=1,則由式(18)也可得到定理2中的不等式(4).

(19)

證明令a1=|f′(a)|p/(p-1),b1=(2s+1-1)|f′(b)|p/(p-1),a2=(2s+1-1)|f′(a)|p/(p-1),b2=|f′(b)|p/(p-1)，這里對(duì)p>1,有0<(p-1)/p<1.因?yàn)閷?duì)于0

由定理7,可得

[1+(2s+1-1)(p-1)/p](|f′(a)|+|f′(b)|)≤

定理8得證.

(20)

證明在式(19)中,取s=1,即可得到式(20).

注5在推論5中,取α=1,則由式(20)可得到定理3中的不等式(5).

推論6令f:[a,b]?[0,∞]→R,在區(qū)間(a,b)上是一個(gè)可微映射,a1,則以下分?jǐn)?shù)次積分不等式成立:

(21)

證明在式(19)中取α=1,即可得到式(21).

注6在推論6中,如果令s=1,則由式(21)也可得到定理3中的不等式(5).

(22)

因?yàn)閨f′|q在區(qū)間[a,b]上是第2種意義下s-凹的,利用不等式(7),可得

通過(guò)計(jì)算,可得

(23)

證明根據(jù)定理9中的式(22),由于|f′|是一個(gè)線性映射,立即可得式(23)[13].

注7在推論7中,取s=1,α=1,由于p>1,則由式(23)可得到定理4中的式(6).

2 應(yīng)用舉例

文獻(xiàn)[14]給出一個(gè)s凸函數(shù)的例子：令s∈(0,1),a1,b1,c1∈R，函數(shù)f:[0,∞]→R定義為：

注8若在本文結(jié)論中取[a,b]=[0,1]，即a=0,b=1,f(x)=xλ-1(2>λ>1,x∈[0,1])，結(jié)合不完全Beta函數(shù)定義可得：

其中用到換元1-t=x，并且

因此，有以下命題：

命題1令2>λ>1,由注8以及定理6可得不等式：

注9按照命題1的方法，由文中其他結(jié)論可得到類似的不等式.

[1]SETE, ?ZDEMIRME,DRAGOMIRSS.OntheHermite-Hadamardinequalityandotherintegralinequalitiesinvolvingtwofunctions[J].JInequalAppl,2010：Article ID 148102.

[2] LATIF M A. Inequalities of Hermite-Hadamard type for functions whose derivatives in absolute value are convex with applications[J].ArabJMathSci,2015,21(1):84-97.

[3] ALOMARI M W, DARUS M, KIRMACI U S. Some inequalities of Hermite-Hadamard type fors-convex functions[J].ActaMathematicaScientia,2011,31(4):1643-1652.

[5] LATIF M A, SHOAIB M. Hermite-Hadamard type integral inequalities for differentiablem-preinvex and (α,m)-preinvex functions[J].JournaloftheEgyptianMathematicalSociety,2015,23:236-241.

[6] ?ZDEMIR M E, AVCI M, KAVURMACI H. Hermite-Hadamardtype inequalities via (α,m)-convexity[J].ComputMathAppl,2011,61:2614-2620.

[7] ?ZDEMIR M E, YILDIZ ?, AKDEMIR A O, et al. On some inequalities fors-convex functions and applications[J].JournalofInequalitiesandApplications,2013,2013:333.

[8] SARIKAYA M Z, SET E, YALDIZ H, et al. Hermite-Hadamard’s inequalities for fractional integrals and related fractional inequalities[J].MathComputModel,2013,57:2403-2407.

[9] SET E. New inequalities of Ostrowski type for mappings whose derivatives ares-convex in the second sense via fractional integrals[J].ComputMathAppl,2012,63:1147-1154.

[10] WANG J R, ZHU C C， ZHOU Y. New generalized Hermite-Hadamard type inequalities and applications to special means[J].JournalofInequalitiesandApplications,2013，2013:325.

[11] ?ZDEMIR M E, DRAGOMIR S S, YILDIZ ?. The Hadamard inequalities for convex function via fractional integrals[J].ActaMathematicaScientia,2013,33(5):1293-1299.

[12] KIRMACI U S. Inequalities for differentiable mappings and applications to special means of real numbers and to midpoint formula[J].ApplMathComput,2004,147:137-146.

[13] KIRMACI U S, ?ZDEMIR M E. On some inequalities for differentiable mappings and applications to special means of real numbers and to midpoint formula[J].ApplMathComput,2004,153:361-368.

[14] HUDZIK H, MALIGRANDA L. Some remarks ons-convex functions[J].AequationesMath,1994,48:100-111.

[15] DRAGOMIR S, FITZPATRICK S. The Hadamard’s inequality fors-convex functions in the second sense[J].DemonstratioMath,1998,31(3):633-642.

[16] GRADSHTEYN I S, RYZHIK I M.TablesofIntegrals,Series,andProducts[M]. San Diego: Academic Press,2000.

SUN Wenbing

(Department of Science and Information Science, Shaoyang University, Shaoyang 422000, Hunan Province, China)

In this paper, we establish a new identity for Riemann-Liouville fractional integrals. Using the established identity, some new Hermite-Hadamard type inequalities for differentiables-convex mappings that are connected with the Riemann-Liouville fractional integrals are obtained. Also, some results are deduced for differentiables-concave functions. Our results extend some proved results in the existing researches. Finally, we give an example to illustrate the applications of the results.

Hadamard’s inequality;s-convex function; H?lder inequality; Riemann-Liouville fractional integral

O 178

：A

：1008-9497(2017)05-531-07

2016-08-30.

湖南省自然科學(xué)基金資助項(xiàng)目(12JJ3008)；湖南省教育廳重點(diǎn)項(xiàng)目(14A132);邵陽(yáng)市科技計(jì)劃項(xiàng)目(2016GX04).

孫文兵(1978-)，ORCID:http://orcid.org/0000-0002-5673-4519，男，碩士，副教授，主要從事解析不等式研究，E-mail:swb0520@163.com.

10.3785/j.issn.1008-9497.2017.05.006

NewHermite-Hadamard-typeinequalitiesfors-convexfunctionsviafractionalintegrals. Journal of Zhejiang University(Science Edition), 2017,44(5):531-537