[论文解读] Hermite-hadamard type inequalities for generalized $s$-convex functions on real linear fractal set $\mathbb{R}^{\alpha}(0<\alpha<1)$

Huixia Mo, Xin Sui|arXiv (Cornell University)|Jun 10, 2015

Mathematical Inequalities and Applications参考文献 8被引用 5

一句话总结

本论文通过局部分数阶微积分，在实线分形集 ℝα（0 < α < 1）上建立了广义 s-凸函数第二类的 Hermite-Hadamard 型不等式。利用 Gamma 函数和参数 s 与 α，推导了此类函数局部分数阶积分的界，以中点和端点处的函数值表示，将经典不等式推广至分形域。

ABSTRACT

In the paper, we establish the Hermite-Hadamard type inequalities for the generalized s-convex functions in the second sense on real linear fractal set $\mathbb{R}^{\alpha}(0<\alpha<1).$

研究动机与目标

• 将经典的 Hermite-Hadamard 不等式推广至实线分形集 ℝα（0 < α < 1）上广义 s-凸函数的设定。
• 利用局部分数阶微积分，为第二类广义 s-凸函数建立新的积分不等式。
• 以中点和端点处的函数值表示，推导此类函数局部分数阶积分的精确界。
• 通过引入分形维数 α 和参数 s ∈ (0,1)，将经典不等式推广至分形域。

提出的方法

• 在 ℝα 上定义第二类广义 s-凸函数，满足 f(λ₁u + λ₂v) ≤ λ₁^{αs}f(u) + λ₂^{αs}f(v)，其中 λ₁ + λ₂ = 1 且 u,v ≥ 0。
• 采用局部分数阶微积分：利用 Gamma 函数和分形测度 (dt)^α 定义局部分数阶导数与积分。
• 利用广义 Hölder 不等式和局部分数阶积分的分部积分法，对 f(a) 与 f(b) 的平均值和局部分数阶积分之间的差值进行有界估计。
• 通过变量替换和对称性论证，将 [a,b] 上的积分转化为 [0,1] 上的积分，并利用 s-凸性对被积函数进行有界估计。
• 利用关于幂函数局部分数阶积分的已知结果，例如 ∫₀¹ t^{αs} (dt)^α = Γ(1+sα)/Γ(1+(s+1)α)。
• 通过共轭指数 p 与 q 的 Hölder 不等式推导边界，尤其针对 q > 1 的情形，以处理导数的 L^q 范数。

实验结果

研究问题

• RQ1 如何将经典的 Hermite-Hadamard 不等式推广至 ℝα 上的广义 s-凸函数？
• RQ2 在 ℝα 上，第二类广义 s-凸函数的局部分数阶积分的精确界是什么？
• RQ3 参数 s ∈ (0,1) 和分形维数 α ∈ (0,1) 如何影响所得不等式中的常数？
• RQ4 当函数的导数本身也是第二类广义 s-凸函数时，能否推导出精确边界？

主要发现

• 对于 ℝα 上的第二类广义 s-凸函数 f，有不等式 2^{(s−1)α}/Γ(1+α) · f((a+b)/2) ≤ (1/(b−a)^α) · aI^α_b f(x) ≤ Γ(1+sα)/Γ(1+(s+1)α) · (f(a) + f(b)) 成立。
• 当 f 可微且 |f^{(α)}|^q 为第二类广义 s-凸函数（q ≥ 1）时，f(a) 与 f(b) 的平均值和局部分数阶积分之间的差值被一个常数倍 (b−a)^α 所有界，该常数涉及 Gamma 函数和导数的 L^q 范数。
• 当 q > 1 时，该边界表示为 (b−a)^α / 2^α 乘以 Gamma 函数比值的乘积，以及结合 |f^{(α)}(a)|^q 和 |f^{(α)}(b)|^q 的项，显式依赖于 s 和 α。
• 定理 3.3 中的边界包含了 a、b 和中点 (a+b)/2 处导数的贡献，通过引入中点值，显示出更高的精确性。
• 所有不等式中的常数均以 Gamma 函数显式给出，通过参数 α 反映出域的分形特性。
• 结果将经典的 Hermite-Hadamard 不等式推广至分形域，并在 α → 1 且 s → 1 时恢复经典情形。