在本节中,我们使用重要的Hadamard分数积分恒等式,包括(f)在第2节中,建立了许多有趣的Hermite-Hadamard型不等式,其中涉及Hadamard阶分数次积分对于满足单调性、凸性和秒-e(电子)-条件。
3.1使用单调性
定理3.1让是上的可微映射具有.如果,而且不会减少,那么以下分数次积分不等式成立:
(15)
证明使用引理2.1和,我们发现
(16)
哪里
精明的和,我们有
(17)
和
(18)
其中使用了引理1.5和1.6。
因此,如果我们在(16)中使用(17)和(18),我们就得到了(15)的不等式。这就完成了证明。□
定理3.2让是上的可微映射具有.如果,而且不会减少,那么以下分数次积分不等式成立:
证明使用引理2.1和,可以获得
证明已完成。 □
定理3.3让是上的可微映射具有.如果,而且不会减少,那么以下分数次积分不等式成立:
证明使用引理2.2和,我们发现
这就完成了证明。□
定理3.4让是上的可微映射具有.如果,而且不会减少,那么以下分数次积分不等式成立:
证明使用引理2.2和,我们发现
这就完成了证明。 □
3.2使用秒-e(电子)-条件
定理3.5让是上的可微映射具有这样的话.如果满足秒-e(电子)-条件为对于一些固定的和,,然后是分数次积分的以下不等式持有:
证明从引理2.3开始满足秒-e(电子)-条件为,我们有
我们利用这个事实和通过
和
所以,使用约化公式()对于Euler伽马函数,证明已完成。 □
定理3.6让是上的可微映射具有这样的话.如果满足秒-e(电子)-条件为对于一些固定的和,,然后是分数次积分的以下不等式持有:
哪里.
证明使用引理2.3和著名的Hölder不等式,以及自满足秒-e(电子)-条件,我们有
这就完成了证明。 □
3.3使用单调性和凸性
注意到备注1.4并重复定理3.5和定理3.6中的相同过程,我们可以立即得出以下结果。
定理3.7让是上的可微映射具有这样的话.如果是凸的且不减少和,,然后是分数次积分的以下不等式持有:
定理3.8让是上的可微映射具有这样的话.如果是凸的且不减少和,,那么下面的分数积分不等式持有:
哪里.