本文主要研究了基于经典Hadamard不等式的一类不等式在(h, m)凸函数上的形式,得到了三个有意义的推广后的不等式。 In this paper, we are interested to present the Hermite-Hadamard-type inequalities for product of (h, m)-convex functions via three new inequalities. Presented results have close connection with some classical Hermite-Hadamard-type inequality.
陈雅琦,陈欣,高翔
中国海洋大学数学科学学院,山东 青岛
收稿日期:2019年4月26日;录用日期:2019年5月6日;发布日期:2019年5月24日
本文主要研究了基于经典Hadamard不等式的一类不等式在(h, m)凸函数上的形式,得到了三个有意义的推广后的不等式。
关键词 :Hadamard不等式,(h, m)凸函数
Copyright © 2019 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
不等式是数学理论中非常重要的组成部分,很多复杂的数学问题需要借助不等式进行简化才得以顺利求解。作为不等式家族的重要成员,凸型不等式一直备受关注。这一方面是由于很多凸型不等式的证明都颇具挑战性,建立需要较强的数学技巧;另一方面是由于凸型不等式往往都具有非常优美的表现形式和直观的几何意义。其中,Hermite-Hadamard不等式是使用频率非常高的一个经典凸型不等式。
作为数学上最重要的概念之一,凸函数的研究一直吸引着数学工作者的注意。国内外数学工作者们在凸分析上进行了大量的探索,其中,针对凸函数的定义,人们将J凸函数的条件进行加强或者削弱,得到了许多不同的凸概念,如几何凸函数、调和凸函数、算术平方凸函数、h-凸函数、m-凸函数、(h, m)-凸函数等。在此后的研究中,国内外数学工作者根据以上凸函数进行了许多研究,尤其是对各种凸函数关于Hermite-Hadamard型不等式的探索取得了卓有成效的结果。本文正是受此启发,研究了(h, m)-凸函数的定义和性质,给出了关于(h, m)-凸函数的若干定理,建立了(h, m)-凸函数的三个Hermite-Hadamard类型不等式。
设f为定义在区间I上的函数,若对I上的任意两点 x , y 以及 α ∈ [ 0 , 1 ] ,总有 f ( α x + ( 1 − α ) y ) ≤ α f ( x ) + ( 1 − α ) f ( y ) 成立,则称f为I上的凸函数。
若h是定义在区间J上的一个非负函数,f是定义在区间I上的非负函数,且对 ∀ x , y ∈ I , α ∈ [ 0 , 1 ] ,总有 f ( α x + ( 1 − α ) y ) ≤ h ( α ) f ( x ) + h ( 1 − α ) f ( y ) 成立,则称f为I上的h-凸函数,可记作 f ∈ S X ( h , I ) 。
若f是定义在区间I上的函数,且对 ∀ x , y ∈ I , α ∈ [ 0 , 1 ] ,总有 f ( α x + m ( 1 − α ) y ) ≤ α f ( x ) + m ( 1 − α ) f ( y ) 成立,则称f为I上的m-凸函数。
若h是定义在区间J上的一个非负函数,f是定义在区间I上的非负函数,且对 ∀ x , y ∈ I , α ∈ [ 0 , 1 ] ,总有 f ( α x + m ( 1 − α ) y ) ≤ h ( α ) f ( x ) + m h ( 1 − α ) f ( y ) 成立,则称f为I上的(h, m)-凸函数。
若f是定义在 [ a , b ] 上的连续凸函数,则有(1)式成立:
f ( a + b 2 ) ≤ 1 b − a ∫ a b f ( x ) d x ≤ f ( a ) + f ( b ) 2 (1)
(1)式被称为Hermite-Hadamard不等式。同时,若f是凹函数,则上述两个不等式同时反向成立。
若f,g是定义在 [ a , b ] → [ 0 , ∞ ) 上的凸函数,则有不等式(2)、(3)成立:
1 b − a ∫ a b f ( x ) g ( x ) d x ≤ 1 3 M ( a , b ) + 1 6 N ( a , b ) (2)
2 f ( a + b 2 ) g ( a + b 2 ) ≤ 1 b − a ∫ a b f ( x ) g ( x ) d x + 1 6 M ( a , b ) + 1 3 N ( a , b ) (3)
其中, M ( a , b ) = f ( a ) g ( a ) + f ( b ) g ( b ) ; N ( a , b ) = f ( a ) g ( b ) + f ( b ) g ( a ) 。
若对 ∀ a , b ∈ I ,且 a < b , f ∈ L 1 ( [ a , b ] ) , t ∈ [ 0 , 1 ] ,有 f ∈ S X ( h 1 , I ) , g ∈ S X ( h 2 , I ) , f g ∈ L 1 ( [ a , b ] ) , h 1 h 2 ∈ L 1 ( [ a , b ] ) ,则有(4)式成立:
1 b − a ∫ a b f ( x ) g ( x ) d t ≤ M ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( t ) d t + N ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( 1 − t ) d t (4)
其中: M ( a , b ) = f ( a ) g ( a ) + f ( b ) g ( b ) ; N ( a , b ) = f ( a ) g ( b ) + f ( b ) g ( a ) 。
若对 ∀ a , b ∈ I ,且 a < b , f ∈ L 1 ( [ a , b ] ) , t ∈ [ 0 , 1 ] ,有 f ∈ S X ( h 1 , I ) , g ∈ S X ( h 2 , I ) , f g ∈ L 1 ( [ a , b ] ) , h 1 h 2 ∈ L 1 ( [ a , b ] ) ,则有(5)式成立:
f ( a + b 2 ) g ( a + b 2 ) − 2 b − a h 1 ( 1 2 ) h 2 ( 1 2 ) ≤ h 1 ( 1 2 ) h 2 ( 1 2 ) [ N ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( t ) d t + M ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( 1 − t ) d t ] (5)
其中: M ( a , b ) = f ( a ) g ( a ) + f ( b ) g ( b ) ; N ( a , b ) = f ( a ) g ( b ) + f ( b ) g ( a ) 。
若对 ∀ a , b ∈ I ,且 a < b , f ∈ L 1 ( [ a , b ] ) , t ∈ [ 0 , 1 ] ,有 f ∈ S X ( h 1 , I ) , g ∈ S X ( h 2 , I ) , f g ∈ L 1 ( [ a , b ] ) , h 1 h 2 ∈ L 1 ( [ a , b ] ) ,则有(6)式成立:
1 2 h ( 1 2 ) f ( a + b 2 ) ≤ 1 b − a ∫ a b f ( x ) d x ≤ [ f ( a ) + f ( b ) ] ∫ 0 1 h ( t ) d t (6)
若 f , g 是定义在区间I上的函数,其中f是 ( h 1 , m ) -凸函数,g是 ( h 2 , m ) -凸函数,且 f g ∈ L 1 ( [ a , b ] ) h 1 h 2 ∈ L 1 ( [ 0 , 1 ] ) 。 a , b ∈ I ,其中 a < m b ,且 f ∈ L 1 ( [ a , b ] ) , t ∈ [ 0 , 1 ] ,则有以下结果成立:
1 m b − a ∫ a m b f ( x ) g ( x ) d t ≤ M ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( t ) d t + N ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( 1 − t ) d t
其中, M ( a , b ) = f ( a ) g ( a ) + m 2 f ( b ) g ( b ) ; N ( a , b ) = m f ( a ) g ( b ) + m f ( b ) g ( a ) 。
证明:因为f是 ( h 1 , m ) -凸函数g是 ( h 1 , m ) -凸函数,所以对 ∀ t ∈ [ 0 , 1 ] ,根据 ( h , m ) -凸函数的定义,有:
f ( t a + m ( 1 − t ) b ) ≤ h 1 ( t ) f ( a ) + m h 1 ( 1 − t ) f ( b ) (7)
g ( t a + m ( 1 − t ) b ) ≤ h 2 ( t ) g ( a ) + m h 2 ( 1 − t ) g ( b ) (8)
又因为f,g都是非负的,(7),(8)式两边分别相乘可得:
f ( t a + m ( 1 − t ) b ) g ( t a + m ( 1 − t ) b ) ≤ ( h 1 ( t ) f ( a ) + m h 1 ( 1 − t ) f ( b ) ) × ( h 2 ( t ) g ( a ) + m h 2 ( 1 − t ) g (b))
也即:
f ( t a + m ( 1 − t ) b ) g ( t a + m ( 1 − t ) b ) ≤ h 1 ( t ) h 2 ( t ) f ( a ) g ( a ) + [ m h 1 ( t ) h 2 ( 1 − t ) f ( a ) g ( b ) × m h 1 ( 1 − t ) h 2 ( t ) f ( a ) g ( a ) ] + m 2 h 1 ( 1 − t ) h 2 ( 1 − t ) f ( b ) g (b)
对不等式两边同时在[0, 1]上积分,
∫ 0 1 f ( t a + m ( 1 − t ) b ) g ( t a + m ( 1 − t ) b ) d t ≤ [ f ( a ) g ( a ) + m 2 f ( b ) g ( b ) ] ∫ 0 1 h 1 ( t ) h 2 ( t ) d t + m [ f ( a ) g ( b ) + f ( b ) g ( a ) ] ∫ 0 1 h 1 ( t ) h 2 ( 1 − t ) d t
令 x = t a + m ( 1 − t ) b ,整理后得到:
1 m b − a ∫ a m b f ( x ) g ( x ) d t ≤ M ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( t ) d t + N ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( 1 − t ) d t
其中, M ( a , b ) = f ( a ) g ( a ) + m 2 f ( b ) g ( b ) ; N ( a , b ) = m f ( a ) g ( b ) + m f ( b ) g ( a ) 。证明完毕。
推论1若令m = 1,则定理1中的结果退化为引理2中的(4)式;更进一步,若令m = 1,且 h 1 ( t ) = h 2 ( t ) = t ,则定理1中的结果退化为引理1中的不等式(2)。
若 f , g 是定义在区间I上的函数,其中f是 ( h 1 , m ) -凸函数,g是 ( h 2 , m ) -凸函数,且 f g ∈ L 1 ( [ a , b ] ) h 1 h 2 ∈ L 1 ( [ 0 , 1 ] ) 。 a , b ∈ I ,其中 a < m b ,且 f ∈ L 1 ( [ a , b ] ) , t ∈ [ 0 , 1 ] ,则有以下结果成立:
f ( a + m b 2 ) g ( a + m b 2 ) − 1 + m 2 m b − a h 1 ( 1 2 ) h 2 ( 1 2 ) ∫ a m b f ( x ) g ( x ) d x ≤ 2 m h 1 ( 1 2 ) h 2 ( 1 2 ) [ N ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( t ) d t + M ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( 1 − t ) d t ]
其中, M ( a , b ) = f ( a ) g ( a ) + m 2 f ( b ) g ( b ) ; N ( a , b ) = m f ( a ) g ( b ) + m f ( b ) g ( a ) 。
证明:首先,做以下变换: a + m b 2 = a t + m ( a − t ) b 2 + ( 1 − t ) a + m t b 2 ,则 f ( a + m b 2 ) g ( a + m b 2 ) = f ( a t + m ( a − t ) b 2 + ( 1 − t ) a + m t b 2 ) × g ( a t + m ( a − t ) b 2 + ( 1 − t ) a + m t b 2 ) ≤ h 1 ( 1 2 ) [ f ( a t + m ( 1 − t ) b ) + m f ( ( 1 − t ) a + m t b ) ] × h 2 ( 1 2 ) [ g ( a t + m ( 1 − t ) b ) + m g ( ( 1 − t ) a + m t b ) ]
因此, f ( a + m b 2 ) g ( a + m b 2 ) ≤ h ( 1 2 ) h ( 1 2 ) × [ f ( a t + m ( 1 − t ) b ) g ( a t + m ( 1 − t ) ) + m 2 f ( ( 1 − t ) a + m t b ) g ( ( 1 − t ) a + m t b ) ] + m h 1 ( 1 2 ) h 2 ( 1 2 ) × [ ( h 1 ( 1 − t ) h 2 ( t ) + h 1 ( t ) h 2 ( 1 − t ) N ( a , b ) ) + ( h 1 ( t ) h 2 ( t ) + h 1 ( 1 − t ) h 2 ( 1 − t ) M ( a , b ) ) ] 。
对等式两边同时在[0, 1]上积分可得,
∫ 0 1 f ( a t + m ( 1 − t ) b ) g ( a t + m ( 1 − t ) b ) d t + ∫ 0 1 m 2 f ( ( 1 − t ) a + m t b ) g ( ( 1 − t ) a + m t b ) d t = 1 + m 2 m b − a ∫ a m b f ( x ) g ( x ) d x
从而,
f ( a + m b 2 ) g ( a + m b 2 ) − 1 + m 2 m b − a 2 h 1 ( 1 2 ) h 2 ( 1 2 ) ∫ a m b f ( x ) g ( x ) d x ≤ 2 m h 1 ( 1 2 ) h 2 ( 1 2 ) × [ M ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( t ) d t + M ( a , b ) ∫ 0 1 h 1 ( t ) h 2 ( 1 − t ) d t ]
其中: M ( a , b ) = f ( a ) g ( a ) + m 2 f ( b ) g ( b ) ; N ( a , b ) = m f ( a ) g ( b ) + m f ( b ) g ( a ) 。
推论2若令m = 1,则定理2中的结果就退化成为引理3中的不等式(5)。更进一步,若我们令m = 1,并且令 h 1 ( t ) = h 2 ( t ) = t ,则定理2中的结果就退化成为引理1中的不等式(3)。
若f是定义在区间I上的 ( h , m ) -凸函数, a , b ∈ I , a < m b 且 f ∈ L 1 ( [ a , b ] ) , t ∈ [ 0 , 1 ] ,则以下不等式成立:
1 ( 1 + m ) h ( 1 2 ) f ( a + m b 2 ) ≤ 1 m b − a ∫ a m b f ( x ) d x ≤ [ f ( a ) + m f ( b ) ] ∫ 0 1 h ( t ) d t
证明:首先,我们来证明右边的不等式。令 x = a , y = b ,由定义可知 f ( t a + m ( 1 − t b ) ) ≤ h ( t ) f ( a ) + m h ( 1 − t ) f (b)
对等式两边同时在区间[0, 1]上积分可得,
1 m b − a ∫ a m b f ( x ) d x ≤ ∫ 0 1 h ( t ) f ( a ) d t + ∫ 0 1 m h ( t ) f ( b ) d t = [ f ( a ) + m f ( b ) ] ∫ 0 1 h ( t ) d t
然后,我们来证明左边的不等式。
令 x = t a + m ( 1 − t ) b , y = ( 1 − t ) a + m t b ,可以得到,
f ( a + m b 2 ) = f ( x + y 2 ) ≤ h ( 1 2 ) [ f ( t a + m ( 1 − t ) b ) + m f ( ( 1 − t ) a + m t b ) ]
同时对不等式两边在区间[0, 1]上进行积分,可以得到
f ( a + m b 2 ) ≤ h ( 1 2 ) 1 m b − a ∫ a m b f ( x ) d x + h ( 1 2 ) m m b − a ∫ a m b f ( x ) d x = h ( 1 2 ) 1 + m m b − a ∫ a m b f ( x ) d x
因此可以得到:
1 ( 1 + m ) h ( 1 2 ) f ( a + m b 2 ) ≤ 1 m b − a ∫ a m b f ( x ) d x ≤ [ f ( a ) + m f ( b ) ] ∫ 0 1 h ( t ) d t
证明完毕。
推论3若我们令m = 1,则定理3中的结果就退化成为引理4中的不等式(6)。更进一步,若我们令m = 1,并且令 h ( t ) = t ,则定理3中的结果就退化成为经典Hermite-Hadamard不等式。
首先我要感谢我的指导老师高翔老师,若非老师为我提供了无私的帮助以及鼓励,这篇论文无法得以完成;还要感谢陈欣同学,和我讨论问题并且提出了许多宝贵的建议。最后,感谢我的父母一直以来对我的学业的支持。
陈雅琦,陈 欣,高 翔. 一些关于(h, m)凸函数的Hadamard类型不等式Some Hadamard-Type Inequalities for (h, m)-Convex Functions[J]. 理论数学, 2019, 09(03): 421-426. https://doi.org/10.12677/PM.2019.93057