[论文解读] On new inequalities via Riemann-Liouville fractional integration

Mehmet Zeki Sarıkaya, Ogunmez, H.|arXiv (Cornell University)|May 7, 2010

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

一句话总结

本文利用黎曼-刘维尔分数阶积分，建立了新的奥斯特洛夫斯基型积分不等式，将蒙哥马利恒等式推广至分数阶。通过新颖的分数阶皮亚诺核框架，推导出具有有界导数的可微函数的精确界，将经典与加权奥斯特洛夫斯基不等式作为特例推广。

ABSTRACT

In this paper, we extend the Montogomery identities for the Riemann-Liouville fractional integrals. We also use this Montogomery identities to establish some new integral inequalities for convex functions.

研究动机与目标

• 将蒙哥马利恒等式推广至阶数 $ \alpha \geq 1 $ 的黎曼-刘维尔分数阶积分。
• 利用分数阶微积分，为凸函数与具有有界导数的可微函数建立新的积分不等式。
• 将经典与加权奥斯特洛夫斯基不等式作为所提分数阶框架的特例进行推广。
• 引入并分析一个新的分数阶皮亚诺核 $ P_3(x,t) $，以改进分数阶积分恒等式中的误差估计。
• 利用导数的 $ L^1 $-范数，推导函数值与其分数阶积分平均值之间偏差的精确上界。

提出的方法

• 利用黎曼-刘维尔积分算子 $ J_a^\beta $ 推导分数阶蒙哥马利恒等式，其中 $ \beta = \alpha $ 与 $ \alpha - 1 $。
• 为 $ \alpha \geq 1 $ 引入一个新的分数阶皮亚诺核 $ P_2(x,t) $，其分段定义并带有 $ (b-x)^{1-\alpha} \Gamma(\alpha) $ 的缩放因子。
• 对核加权导数的分数阶积分应用分部积分法，将恒等式转化为包含 $ f(x) $、$ J_a^\alpha f(b) $ 与 $ J_a^{\alpha-1}(P_2 f) $ 的形式。
• 将核推广至依赖于参数 $ \lambda \in [0,1] $ 的 $ P_3(x,t) $，实现端点之间的插值并改进误差控制。
• 利用有界性 $ |f'(t)| \leq M $，通过 $ P_3(x,t) $ 的 $ L^1 $-范数估计余项，从而得出显式误差界。
• 通过分段线性绝对值计算 $ |P_3(x,t)| $ 在 $ [a,x] $ 与 $ [x,b] $ 上的积分，得到以 $ \lambda $、$ \alpha $、$ a $、$ b $ 与 $ x $ 表示的闭式表达式。

实验结果

研究问题

• RQ1 如何将蒙哥马利恒等式推广至阶数 $ \alpha \geq 1 $ 的黎曼-刘维尔分数阶积分？
• RQ2 何种结构的分数阶皮亚诺核 $ P_3(x,t) $ 能够实现奥斯特洛夫斯基型不等式中的误差估计？
• RQ3 当 $ \lambda = 0 $ 或 $ \alpha = 1 $ 时，新不等式如何退化为经典与加权奥斯特洛夫斯基不等式？
• RQ4 在 $ \|f'\|_\infty $ 与分数阶参数下，偏差 $ \left| (1-2\lambda)f(x) - \cdots \right| $ 的精确上界为何？
• RQ5 所提出的框架能否统一并推广现有的分数阶微积分中奥斯特洛夫斯基型不等式？

主要发现

• 本文为 $ \alpha \geq 1 $ 建立了新的分数阶蒙哥马利恒等式，将 $ f(x) $ 表示为 $ J_a^\alpha f(b) $、$ J_a^{\alpha-1}(P_2 f) $ 与包含 $ (b-x)^{1-\alpha} \Gamma(\alpha) $ 的校正项的组合。
• 当 $ \lambda = 0 $ 时，推广后的不等式退化为 Anastassiou 等人 [1] 的定理 4.1，确认了与先前工作的相容性。
• 定理 4 中的误差界被显式推导为 $ \leq \frac{M}{\alpha(\alpha+1)} \left\{ (b-a)^\alpha (b-x)^{1-\alpha} [2\lambda^{\alpha+1} + 2(1-\lambda)^{\alpha+1} + \lambda(b-a) - 1] + (b-x)[2\alpha \frac{b-x}{b-a} - (\alpha+1)] \right\} $，适用于 $ \alpha \geq 1 $。
• 该界是精确的，且依赖于位置 $ x \in [a,b] $、分数阶阶数 $ \alpha $ 与控制端点凸组合的参数 $ \lambda $。
• 分数阶皮亚诺核 $ P_3(x,t) $ 分段定义为两个线性段，实现子区间上精确的积分与误差估计。
• 该方法提供了一个统一框架，当 $ \alpha \to 1^+ $ 且 $ \lambda \to 0 $ 或 $ \lambda \to 1 $ 时，可恢复经典奥斯特洛夫斯基与加权奥斯特洛夫斯基不等式作为极限情形。