[論文レビュー] On weighted Montogomery identities for Riemann-Liouville fractional integrals

Mehmet Zeki Sarıkaya, Hatice Yaldız|arXiv (Cornell University)|Mar 10, 2012

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

ひとこと要約

本稿は、リーマン＝リウヴィル型分数積分に対する重み付きモンゴメリー恒等式を導入し、重み関数を用いた分数階微積分への古典的オストロフスキー型不等式の拡張を提示する。一般化されたペアノ核フレームワークを用いて、導関数の上界と重み関数の分布に依存する新たな分数階オストロフスキー不等式を導出しており、未重み付きおよび古典的ケースの先行研究を一般化する。

ABSTRACT

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

研究の動機と目的

• 古典的モンゴメリー恒等式を重み付きリーマン＝リウヴィル型分数積分へ一般化すること。
• 分数積分および重み関数を含む新たなオストロフスキー型積分不等式を確立すること。
• 微分可能関数の有界導関数に対する既存のオストロフスキー不等式を統一的かつ一般化すること。
• 提案されたフレームワークの特殊ケースとして、古典的および重み付きオストロフスキー不等式を回復できること。
• 導関数の上界ノルムに依存する、分数積分近似のための鋭い誤差境界を提供すること。

提案手法

• 重み関数の部分区間への積分を用いて定義される、重み付き分数階ペアノ核 $ \Omega_w(x,t) $ を導入する。
• リーマン＝リウヴィル型分数積分 $ J_a^\alpha $ およびガンマ関数 $ \Gamma(\alpha) $ を用いて、一般化された重み付きモンゴメリー恒等式を導出する。
• 核に重みをかけた導関数の分数積分に対して部分積分を適用し、$ f(x) $ を重み付き分数積分の形で表現する。
• 三角不等式および $ |f'(x)| \leq M $ の有界性を用いて、誤差推定を導出する。
• 積分の順序を入れ替える操作を適用し、結果の積分を評価し、誤差境界を $ A(x) $ および $ B(x) $ の形で表現する。
• 構造 $ \left| m(a,b)f(x) - \text{fractional terms} \right| \leq \frac{M(b-x)^{1-\alpha}}{\alpha} \left[ A(x) - (b-x)^\alpha B(x) \right] $ を用いて、主要な不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意の重み関数を伴う分数積分へ、古典的モンゴメリー恒等式をどのように拡張できるか。
• RQ2 リーマン＝リウヴィル積分に対する重み付き分数階ペアノ核の形は何か。
• RQ3 得られるオストロフスキー型不等式は、重み関数および分数階 $ \alpha \geq 1 $ にどのように依存するか。
• RQ4 新しい不等式は、既知の古典的および分数階オストロフスキー境界を特殊ケースとして回復できるか。
• RQ5 導関数の上界ノルムに関して、誤差境界の鋭さはどのように評価できるか。

主な発見

• 本稿は、新規の重み付き分数階ペアノ核 $ \Omega_w(x,t) $ を用いて、リーマン＝リウヴィル型分数積分に対する新しい重み付きモンゴメリー恒等式を確立した。
• 導出されたオストロフスキー型不等式は、$ f(x) $ と重み付き分数積分平均との乖離を $ \frac{M(b-x)^{1-\alpha}}{\alpha} \left[ A(x) - (b-x)^\alpha B(x) \right] $ で評価する。ここで $ A(x) $ および $ B(x) $ は重み関数を含む積分である。
• $ w(u) = 1 $ の場合、不等式はアスタシオウ他による定理4.1に還元され、先行研究と整合性を確認した。
• $ \alpha = 1 $ かつ $ w(u) = 1 $ のとき、古典的モンゴメリー恒等式が回復され、一般化の妥当性が裏付けられた。
• 誤差境界は、導関数の上界と重み分布に依存する最良の定数を含むという意味で鋭い。
• 本フレームワークは、任意の重み関数を伴う分数積分を用いた数値積分における誤差推定を可能にする。