[论文解读] On some integral inequalities for s-logarithmically convex functions and their applications

Ahmet Ocak Akdemi̇r, Mevlüt Tunç|arXiv (Cornell University)|Dec 7, 2012

Mathematical Inequalities and Applications参考文献 10被引用 4

一句话总结

本文引入了 s-对数凸函数，即对数凸函数的推广，并利用 Hölder 不等式和特殊积分核，建立了涉及这些函数的新积分不等式。主要贡献在于针对 s-对数凸函数的乘积，提出了一个改进的 Hermite-Hadamard 型不等式，其显式界涉及对数平均值和幂权重积分。

ABSTRACT

In this paper, we describe s-logarithmically convex functions in the first and second sense which are connected with the ordinary logatihmic convex and s-convex in the first and second sense. Afterwards, some new inequalities related to above new definitions are given.

研究动机与目标

• 定义并研究 s-对数凸函数的第一类和第二类，推广经典对数凸性。
• 将经典积分不等式，特别是 Hermite-Hadamard 型不等式，推广至 s-对数凸函数的框架下。
• 利用 Hölder 不等式和特殊积分核，为两个 s-对数凸函数乘积的积分建立新界。
• 通过涉及对数平均值和幂权重积分的显式不等式，提供这些不等式的应用。
• 通过引入参数 s ∈ (0,1]，推广先前关于对数凸函数的结果，当 s = 1 时可恢复经典结果。

提出的方法

• 通过条件 f(tx + (1−t)y) ≤ [f(x)]^{t^s} [f(y)]^{(1−t)^s}（t ∈ [0,1]）定义 s-对数凸函数，推广对数凸性。
• 利用积分表示 f(ta + (1−t)b) ≤ [f(a)]^{t^s} [f(b)]^{(1−t)^s}，通过 t ∈ [0,1] 的代换，对 [a,b] 上的积分进行界定。
• 对乘积 f(x)g(x) 应用 Hölder 不等式，将积分拆分为两部分，使用共轭指数 p, q 满足 1/p + 1/q = 1。
• 引入辅助函数 k(ω), k(ℓ) 以表示形如 ∫₀¹ [f(a)]^{p t^s} [f(b)]^{p (1−t)^s} dt 的积分，实现闭式估计。
• 利用对数平均值 L(p,q) = (p−q)/(ln p − ln q)（当 p ≠ q 时）表达 f(x)g(x) 积分的界。
• 在 f(a), g(a), f(b), g(b) ≤ 1 的条件下推导不等式，以确保核估计中的收敛性和单调性。

实验结果

研究问题

• RQ1 如何将对数凸性的概念推广至包含参数 s ∈ (0,1]，从而导出 s-对数凸函数？
• RQ2 当 s-对数凸性应用于 Hermite-Hadamard 框架时，会涌现出哪些新的积分不等式？
• RQ3 当 s = 1 时，两个 s-对数凸函数乘积的积分界与经典结果相比如何？
• RQ4 Hölder 不等式能否与 s-对数凸性有效结合，以推导加权积分的更紧界？
• RQ5 特殊积分核 k(ω), k(ℓ) 在估计幂次指数函数的积分中起到何种作用？

主要发现

• 本文建立了两个 s-对数凸函数乘积积分的新不等式：(1/(b−a))∫ₐᵇ f(x)g(x)dx ≤ K(s,p,q;k(ω),k(ℓ))，其中 K 涉及对数平均值和幂权重积分。
• 当 s = 1 时，该不等式退化为已知结果，涉及对数平均值：(1/(b−a))∫ₐᵇ f(x)g(x)dx ≤ L([f(a)]^p, [f(b)]^p)^{1/p} L([g(a)]^q, [g(b)]^q)^{1/q}。
• 当 f, g ≤ 1 时，积分 ∫₀¹ [f(a)]^{p t^s} [f(b)]^{p (1−t)^s} dt 的上界为 [f(b)]^{sp} k(ω(sp,sp))，其中 k(ω) 通过核函数定义。
• 不等式 (4.9) 在 f 和 g 为 s-对数凸函数的假设下成立，其界依赖于参数 s, p, q 和对数平均值。
• 核函数 k(ω(u,v)) 用于估计形如 ∫₀¹ [f(a)]^{t^s} [f(b)]^{(1−t)^s} dt 的积分，从而实现以 f(a), f(b), s 表示的显式界。
• 所推导的不等式推广了经典 Hermite-Hadamard 和 Hadamard 型不等式，适用于对数凸函数，扩展了其在参数 s 所定义的更广函数类中的适用性。