1. 引言
众所周知,在纯数学和应用数学的不同领域中,函数的凸性得到了广泛的应用。但实际中,很多问题并不满足凸性条件,故对凸函数概念的推广,具有重要的实际和理论意义。İşcan [1] 研究了一类新的广义凸函数,称为调和凸函数。之后,İşcan进一步推广了调和凸函数的概念,提出了调和s-凸函数 [2] 。在 [3] 中,Baloch和İşcan又引入了调和p-凸函数和调和(p, s)-凸函数的概念。
定义1 [3] 令
,
。如果对于任意
,
,满足
(1)
则称f为区间I上的调和(p, s)-凸函数,其中
,
。
自函数凸性被推广以来,引入由凸函数延伸出来的函数类并对其相关的各种不等式研究越来越受到关注,得到了许多有意义的结果,可参考文献 [4] [5] [6] [7] 。Jensen不等式就是最著名的结果之一,它在不等式理论中起着至关重要的作用,在数学、统计学和信息论中得到了广泛的应用。
定理1 [8] Jensen不等式 若f在区间I上是凸函数,则对于任意
,满足
(2)
其中
且
。
2003年,Mercer [9] 给出Jensen不等式的推广形式。
定理2 [9] Jensen-Mercer不等式 若f在区间
上是凸函数,则对于任意
,满足
(3)
其中
且
。
为了处理处处连续但不可微的函数,Yang系统地阐述了分形集理论(详见 [10] [11] ),并引入了局部分数微积分的定义。随着分形理论的不断完善和发展,许多学者又将函数凸性推广到了分形空间。2014年,Mo等人 [12] 在分形空间上定义了广义凸函数。Butt等人 [13] 在分形空间中,建立了广义凸函数的Jensen-Mercer不等式。2017年,Sun [14] 给出了广义调和凸函数的定义并且研究了该函数的Hermite-Hadamard型积分不等式。另外,有关广义调和凸函数的Jensen不等式和Jensen-Mercer不等式被Butt等人 [15] 证得。
本文的主要目的是在分形空间中给出广义调和(p, s)-凸函数的定义,在更弱的函数条件下建立相关Jensen不等式和Jensen-Mercer不等式。此外,通过对Jensen-Mercer型不等式的改进,利用分数阶积分在分形空间上建立广义调和(p, s)-凸函数的Hermite-Hadamard型积分不等式。
2. 预备知识
设
是维数为
的分形集,参考文献 [10] [11] ,则下面运算律成立:
若
,则
1)
,
;
2)
,
;
3)
,
;
4)
;
5)
,
。
利用Yang的方法可定义局部分数阶导数和局部分数阶积分,参见文献 [9] [10] 。
记
表示
在区间
上局部分数阶连续;
表示
在区间
上
阶局部分数阶可导;
表示
在区间
上
阶局部分数阶积分。
这里,需要注意
,并且当
时,
。若对任意
,
存在,则记为
。
引理1 [10] 1) 设
,则
。
2) 设
,
,且
,则
。
引理2 [10]
;
,
。
引理3 [10] 广义Hӧlder不等式 设
,
且
,则
。
定义2 [14] 令
,
。如果对任意
,
,函数f满足
,
则称f为I上的广义调和凸函数。
定理3 [15] 广义调和凸函数的Jensen不等式 若f为
上的广义调和凸函数,则对任意
,满足
(4)
其中
且
。
定理4 [15] 广义调和凸函数的Jensen-Mercer不等式 若f为
上的广义调和凸函数,则对任意
,满足
(5)
其中
且
。
3. 主要结论
利用分形集理论,首先给出广义调和(p, s)-凸函数的定义。
定义3 令
,
。如果对任意
,
,函数f满足
(6)
则称f为I上的广义调和(p, s)-凸函数,其中
,
。
注1 在式(6)中,当
时,f则为广义凸函数;当
时,f则为凸函数;当
时,f则为广义调和凸函数;当
时,f则为调和凸函数;当
时,f则为调和p-凸函数;当
时,f则为调和(p, s)-凸函数。特别地,当
时,则可定义f为广义调和p-凸函数。
定理5 广义调和(p, s)-凸函数的Jensen不等式 令
,
。如果f为I上的广义调和(p, s)-凸函数,则对任意
,满足
(7)
其中
且
。
证明 采用数学归纳法进行证明。当
时,由定义3,不等式显然成立。假设当
时不等式也是成立的,即当
,
,
,
,有
。
设
,
,
,
,取
,则对所有的
,
满足
。
因此
证毕。
注2 利用定理5和注1,若取
,可得到文献 [12] 中的定理4.1;若取
,可得到文献 [15] 中的定理5;若取
,可得到定理1。
推论1 广义调和p-凸函数的Jensen不等式 假设定理5中的条件成立,取
,f为I上的广义调和p-凸函数,则对任意
,满足
(8)
其中
且
。
定理6 令
,
。如果f为I上的广义调和(p, s)-凸函数,则对任意
,满足
,
其中
。
证明 取
,
,则
注3 利用定理6和注1,若取
,可得到文献 [16] 中的引理3.1;若取
,可得到文献 [15] 中的引理3。
推论2 假设定理6中的条件成立,取
,f为I上的广义调和p-凸函数,则对任意
,有
(9)
定理7 广义调和(p, s)-凸函数Jensen-Mercer不等式 令
,
。如果f为I上的广义调和(p, s)-凸函数,则对任意
,满足
,
其中
且
。
证明 由定理5、定理6以及f在
上的广义调和(p, s)-凸性,有
注4 利用定理7和注1,若取
,可得到文献 [16] 中的定理3.1;若取
,可得到定理3;若取
,可得到定理2。
推论3 广义调和p-凸函数Jensen-Mercer不等式 假设定理7中的条件成立,取
,f为I上的广义调和p-凸函数,则对任意
,满足
(10)
为建立涉及局部分数阶微积分的Hermite-Hadamard型不等式,需对广义Jensen-Mercer不等式进行变形与细化。
定理8 令
,
。如果f为I上的广义调和(p, s)-凸函数,则对任意
,满足
(11)
其中
且
,
。
证明 利用定理5并结合
,有
(12)
另一方面,由广义调和(p, s)-凸函数的定义、定理6以及定理7,有
(13)
由式(12)和(13),可得到式(11)成立。
注5 在定理8中,若取
,可得到文献 [17] 中的定理2.3;若取
,可得到文献 [18] 中的定理2.1;若取
,可得到文献 [15] 中的定理7。
推论4 假设定理8中的条件成立,取
,f为I上的广义调和p-凸函数,则对任意
,满足
,
其中
且
,
。
定理9 假设定理8中的条件成立且
,则有关于广义调和(p, s)-凸函数的Hermite-Hadamard型不等式
(14)
其中
为分型空间中的Beta函数 [19] ,即
,
,
。
证明 式(11)的每一项对t在
上进行局部分数阶积分,可得式(14)。事实上,利用引理2,有
和
。
利用变量代换
,有
推论5 在定理9中,取
,则有关于广义调和p-凸函数的Hermite-Hadamard型不等式
(15)
注6 在推论9中,若取
,可得到文献 [17] 中的推论2.4;若取
,可得到文献 [18] 中的推论2.1。
推论6 [20] 在定理9中,取
,
,
,
,则有关于广义凸函数的Hermite-Hadamard不等式
考虑推论5,给出有关广义调和p-凸函数更精确的结果,即推论7。
推论7 令
,
。如果f为I上的广义调和p-凸函数,则对任意
,满足
其中
且
,
。
证明 利用广义调和p-凸函数的Jensen不等式,有
(16)
又由函数f的广义调和p-凸性,可得
(17)
式(16)两边同时对t在
上进行局部分数阶积分,有
. (18)
式(17)两边同乘
并对t在
上进行局部分数阶积分,有
(19)
由式(18),(19)以及式(15)的第二个不等式,定理得证。
注7 在推论7中,若取
,可得到文献 [17] 中的定理2.6;若取
,可得到文献 [18] 中的定理2.2。
4. 概率方面的应用
设
是一个随机变量,
的广义概率密度函数为
且f为广义调和p-凸函数。在分形空间中,为研究概率问题,可给出如下定义 [15] :
广义分布函数
;
广义期望
;
广义p-矩
,
。
命题1 在推论3中取
,
,
,
,有
. (20)
例1 设有广义概率密度函数
,显然f为广义调和p-凸函数,则有不等式
. (21)
证明 由题意可得f的广义分布函数为
。利用式(20),经简单计算可得式(21)成立。
命题2 在推论5中取
,
,
,
,有
5. 总结
本文在分形集上定义了调和(p, s)-凸函数,结果表明,适当选择参数p、s和
,可得到众多凸函数延伸类,如调和p-凸函数、调和s-凸函数、调和(p, s)-凸函数和广义调和凸函数。故证明的有关广义调和(p, s)-凸函数的Jensen不等式、Jensen-Mercer不等式和Hermite-Hadamard型不等式具有更广泛的意义。最后把相关结论用在了概率密度函数的讨论上。在未来的研究中,可以考虑引入强调和(p, s)-凸函数的定义,推广文中的相关结论。
基金项目
国家自然科学基金项目(11801342);陕西省自然科学基础研究计划项目(2023JCYB043)。
参考文献