[论文解读] Gruss-type inequality by mean of a fractional integral

J. Vanterler da C. Sousa, D. S. Oliveira+1 more|arXiv (Cornell University)|Apr 28, 2017

Mathematical Inequalities and Applications被引用 4

一句话总结

本文利用Katugampola的分数阶积分，推广了Grüss型积分不等式，统一了六种现有的分数阶积分。通过将该算子应用于有界函数，作者推导出新的不等式，扩展了经典的Grüss界，并通过Cauchy-Schwarz和AM-GM型估计证明了其紧致性，从而在分数阶微积分背景下获得了更精确的误差界。

ABSTRACT

In this paper, using a fractional integral as proposed by Katugampola we establish a generalization of integral inequalities of Gruss-type. We prove two theorems associated with these inequalities and then immediately we enunciate and prove others inequalities associated with these fractional operator.

研究动机与目标

• 将经典的Grüss型不等式推广至使用Katugampola广义分数阶积分的分数阶微积分框架中。
• 将六种已知的分数阶积分（Riemann-Liouville、Hadamard、Erdélyi-Kober等）统一于单一算子下，以增强其适用范围。
• 通过算子特异性估计，建立具有改进误差界的新型分数阶Grüss型不等式。
• 为在分数阶环境下推广其他经典不等式（如Hermite-Hadamard）提供基础。

提出的方法

• 利用Katugampola的左侧行分数阶积分算子，其核函数依赖于参数 $ x^\rho $, $ \tau^\rho $ 和伽马函数。
• 在空间 $ X_c^p(a,b) $ 内操作，确保在 $ L^p $-型范数下分数阶积分的可积性与收敛性。
• 应用不等式 $ (f(t) - mg(t))(Mg(t) - f(t)) \geq 0 $ 推导 $ {}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}(fg)(x) $ 的界。
• 在分数阶积分形式上应用Cauchy-Schwarz不等式与AM-GM不等式，推导 $ \left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}f^2\right)\left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}g^2\right) $ 的上界。
• 推导出关键界：$ \left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}f^2\right)\left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}g^2\right) \leq \frac{(M+m)^2}{4} \left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}fg\right)^2 $。
• 通过代数恒等变形与极限情形验证结果，当参数取特定值时可恢复已知的Riemann-Liouville界。

实验结果

研究问题

• RQ1 能否利用Katugampola的分数阶积分算子推广Grüss型不等式？
• RQ2 在分数阶积分下，经典Grüss不等式的界如何变化？
• RQ3 在有界函数假设下，分数阶Grüss不等式的最紧致误差界是什么？
• RQ4 能否通过在分数阶积分形式上应用Cauchy-Schwarz与AM-GM估计推导出分数阶Grüss不等式？
• RQ5 当新不等式退化为已知分数阶积分（如Riemann-Liouville或Hadamard）时，其极限情形如何？

主要发现

• 本文建立了新的分数阶Grüss型不等式：$ \left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}f^2\right)\left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}g^2\right) \leq \frac{(M+m)^2}{4} \left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}fg\right)^2 $，该不等式推广了经典结果。
• 通过引入分数阶积分的核结构与参数依赖性，该不等式较经典版本获得了更紧致的界。
• 界 $ \frac{(M+m)^2}{4} $ 在分数阶形式中得以保留，表明经典极值行为在广义算子下仍保持不变。
• 推导出第二个不等式：$ \sqrt{\left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}f^2\right)\left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}g^2\right)} - \left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}fg\right) \leq \frac{(\sqrt{M} - \sqrt{m})^2}{2\sqrt{mM}} \left({}^\rho\mathcal{I}_{\eta,\kappa}^{\alpha,\beta}fg\right) $，提供了相对误差估计。
• 当 $ \rho \to 1 $, $ \beta = \alpha $, $ \kappa = 0 $, $ \eta = 0 $ 时，结果退化为经典Grüss不等式，验证了与已知理论的一致性。
• 该框架为未来在分数阶环境下推广Hermite-Hadamard与Hermite-Hadamard-Fejér不等式提供了可能。