李秋月,吴艺婷

(中国计量大学 理学院,浙江 杭州 310018)

设f是[a,b]上的连续凸函数,则

(1)

不等式(1)称为Hermite-Hadamard不等式[1],该不等式有许多推广、引申和变形[2-4]。近年来,这类不等式研究的发展势头十分强劲。一方面,由推广凸函数而相应产生大量的Hermite-Hadamard型不等式[5-7];另一方面,分数阶微积分与Hermite-Hadamard型不等式研究的结合,使Hermite-Hadamard型不等式的研究空间得以不断拓展[8-9]。下面首先介绍与本文相关的一些结果。

针对Hermite-Hadamard不等式的中间项与最右项之差的上界估计,在|f′|q(q≥1)为凸函数的条件下,文献[10]建立如下关于区间端点一阶导数值的不等式:

(2)

文献[11]在|f″|q(q≥1)为凸函数的条件下,建立关于区间端点二阶导数值的不等式:

(3)

文献[12][13]将不等式(2)和(3)推广到s-凸函数的情形,分别给出如下当|f′|q,|f″|q(q≥1)为s-凸函数时的不等式:

(4)

(5)

受不等式(2)(3)(4)(5)的启发,本文在Riemann-Liouville分数阶积分下建立上述不等式的一种统一的推广形式。在阐述主要结果前,下一节我们先介绍一些需要用到的定义和引理。

1 定义和引理

f(tx+(1-t)y)≤tsf(x)+(1-t)sf(y),

则称函数f为s-凸函数。显然,当s=1时,s-凸函数即为通常意义下的凸函数。

2F1(a,b;c;z)=

(6)

为表述方便,下文中我们记

(7)

证明:当n=1时,有

所以当n=1时,等式(7)成立。

假设当n=m-1时,等式(7)成立,即

(8)

当n=m时,运用分部积分,得

(9)

另一方面,经计算得

(10)

因此,由等式(8)(9)(10)得到

所以当n=m时,等式(7)成立,从而引理2得证。

2 主要结果

(11)

其中

证明:运用引理2以及Hölder不等式得

记

则由|f(n)|q是s-凸函数得

因此,定理1得证。

3 若干推论

(12)

证明:在定理1中,令θ1=θ2=0,n=1得

(13)

将(13)式中的积分用超几何函数表示即得(12)式,从而推论1得证。

(14)

证明:在定理1中,令θ1=θ2=1,n=2得

(15)

将(15)式中的积分用超几何函数表示即得(14)式,从而推论2得证。……