-
通常凸函数的定义是通过两个自变量的算术平均对应的函数值与这两个自变量对应的函数值的算术平均值之间的大小关系给出的.关于凸函数的各种推广及性质的研究可见文献[1-11].根据两个自变量的幂平均对应的函数值与这两个自变量对应的函数值的幂平均值之间的大小关系，可定义许多类型的凸函数，比如几何凸函数[12-14]、对数凸函数[14-15]、调和凸函数[16-17]、r次幂平均s-凸函数[18]、MM-凸函数[19].
定义1 [20]设f(x)是区间I⊆(0，+∞)上的正值函数.如果对任意x，y∈I及任意t∈[0, 1]，有
则称f是区间I上的AR凸函数；如果不等式(1)中的不等号反向，则称f是区间I上的AR凹函数.
引理1 [20]设f(x)是区间I⊆(0，+∞)上的正值函数，则f(x)为区间I上的AR凸函数的充要条件是f2(x)为区间I上的凸函数.
因为不等式
恒成立，所以正值的凸函数一定是AR凸函数.但AR凸函数不一定是通常的凸函数，比如
${x^p}(\frac{1}{2} < p < 1)$ .引理2 若f是[a，b]上的AR凸(凹)函数，则f在(a，b)内任意点处存在左右导数，且：
(ⅰ)对于a＜x＜y＜b，有f(x)f′-(x)≤(≥)f(x)f′+(x)≤(≥)f(y)f′-(y)≤(≥)f(y)f′+(y)；
(ⅱ)对于x∈[a，b]，y∈(a，b)，有f2(x)≥(≤)f2(y)+2(x-y)f(y)f′±(y).
证 根据引理1，利用凸函数的单侧导数的性质容易证明引理2.
引理3 设f是[a，b]上的正的二阶可微函数，且存在常数m和M，使得m≤f″≤M，则对任意t∈[0, 1]，有
其中
证 当t=0或t=1时，(4)式显然成立.当t∈(0，1)时，令K满足
考虑定义在[0, 1]上的函数
因φ(0)=φ(t)=φ(1)=0，故利用Rolle微分中值定理，存在τ∈(0，1)使得φ″(τ)=0，由此得
利用假设条件有
再结合(3)式，(2)式得证.
引理4 定义在[-1，0)∪(0，1]上的函数
$g(s) = \frac{1}{{3s}}\left[ {{{(1 + s)}^{\frac{3}{2}}} - {{(1 - s)}^{\frac{3}{2}}}} \right]$ 满足$\frac{{2\sqrt 2 }}{3} \le g(s) \le 1$ .证 因g(s)是[-1，0)∪(0，1]上的偶函数，故只需证明当s∈(0，1]时结论成立.易知
因为
即h(s)在(0，1]上严格单调递减，于是h(s)＜h(0)=0，从而g′(s)＜0，也即g(s)在(0，1]上严格单调递减，于是有：
引理5 若f是[a，b]上的有连续导数的AR凸函数，对于任意x∈[a，b]，有f′(x)≠0，则函数
$h(x) = 2x - \frac{{f(x)}}{{f'(x)}}$ 在[a，b]上单调递增.证 因对于任意x∈[a，b]有f′(x)≠0，由达布定理，f′(x)在[a，b]上恒正或恒负.对任意a≤x＜y≤b，有
$h(y) - h(x) = \frac{{g(x,y)}}{{f'(x)f'(y)}}$ ，其中当f′(x)在[a，b]上恒正时，由引理2有
$f'(y) \ge \frac{{f(x)f'(x)}}{{f(y)}}$ ，于是有故有h(y)-h(x)≥0，即函数h(x)在[a，b]上单调递增.类似可证：当f′(x)在[a，b]上恒负时，函数h(x)在[a，b]上单调递增.
继文献[20]研究了AR凸函数的基本性质和Jensen不等式之后，本文将建立AR凸函数的包括Hermite-Hadamard型不等式的积分不等式.
全文HTML
-
定理1 若f是[a，b]上的AR凸函数，则对于任意y∈(a，b)，有
证 利用AR凸函数的定义得
故(4)式的第一个不等式得证.利用
可证(4)式的第二个不等式.
定理2 若f是[a，b]上可微的AR凸函数，且对任意t∈ 0，1，有：
则有
证 由定理1知(5)式的第一个不等式成立.由引理2，对任意t∈ 0，1，有：
将(6)，(7)式分别乘以t，1-t，然后相加，得
于是
在(8)式中对t在[0, 1]上积分，则(5)式的第二个不等式得证.
定理3 设f的条件同引理3，则对任意t∈ 0，1，有
证 在(2)式中对t在[0, 1]上积分即可得证.
下面均假设
$A = \frac{{a + b}}{2}$ .定理4 若f是[a，b]上的AR凸函数，y∈(a，b)，f′±(y)≠0，对任意x∈[a，b]有
则有
证 由引理2，对任意x∈[a，b]有：
在(10)式中对x在[a，y]上积分，在(11)式中对x在[y，b]上积分，然后相加，则式(9)得证.
推论1 若f是[a，b]上可微的AR凸函数，f′(A)≠0，对任意x∈[a，b]有
则有
其中：
证 在定理4中取y=A，则(12)式的第一个不等式得证.第二个不等式由引理4可得.
定理5 若f是[a，b]上的AR凹函数，y∈(a，b)，f′±(y)≠0，则(5)式的反向不等式成立.特别地，有
证 证明类似于定理4.
定理6 若f是[a，b]上的AR凹函数，则有
证 利用引理2和Jensen不等式得
类似地，有
将(14)，(15)式相加，利用
$\sqrt x $ 的凹性，则(15)式的第一个不等式得证.又因f′-(A)≥f′+(A)，故(13)式的第二个不等式成立.定理7 设f是[a，b]上可微的AR凸函数，则
证 由引理2，有：
在(16)式中对x在[a，A]上积分，在(18)式中对x在[A，b]上积分，将所得的两个不等式分别乘以
$\int_A^b {\frac{{b - x}}{{f(x)}}} {\rm{d}}x$ 和$\int_a^A {\frac{{x - a}}{{f(x)}}} {\rm{d}}x$ ，然后相加，则式(16)得证.定理8 若f是[a，b]上有连续导数的AR凸函数，对于任意x∈[a，b]有f′(x)＞0，则有
若对于任意x∈[a，b]有f′(x)＜0，则(19)式中的不等号反向.
证 仅考虑对于任意x∈[a，b]有f′(x)＞0的情形，对于任意x∈[a，b]有f′(x)＜0时的情形类似可证.由引理5，对任意x∈[a，b]有
由此得：
整理(20)式可证得(19)式的第一个不等式.类似可证(19)式的第二个不等式.
定理9 若f是[a，b]上可微的AR凸函数，则有
证 设
$y = \frac{{\int_a^b {\frac{x}{{f(x)}}{\rm{d}}x} }}{{\int_a^b {\frac{1}{{f(x)}}{\rm{d}}x} }}$ ，则y∈[a，b].由引理2，有：在(22)式中对x在[a，y]上积分，在(23)式中对x在[y，b]上积分，然后相加，则(21)式得证.
-
例1 考虑定义在[e-1，e2]上的函数
$f(x) = \frac{x}{{2 + \ln x}}$ ，则：故f是单调递增的AR凸函数，但不是凸函数.由定理9，有
经计算得
这个结果强于利用积分型的Kantorovich不等式[2，706-707页]所得的结果
例2 考虑定义在[1，+∞)上的函数
$f(x)\frac{1}{{1 + {x^2}}}$ ，容易证明f2(x)是[1，+∞)上的凸函数，即f(x)是[1，+∞)上的AR凸函数. f′(x)＜0.对f(x)在[1，x]上应用定理8，得故对任意x≥1，有
这是不等式
$f(x)\frac{1}{{1 + {x^2}}}$ ＜arctan x＜x(x＞0)[2，346页]当x≥1时的加细.
下载: