[論文レビュー] Ostrowski type inequalities involving the right Caputo fractional derivatives belong to L_{p}

Mehmet Zeki Sarıkaya|arXiv (Cornell University)|Mar 20, 2012

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

ひとこと要約

本稿は、積分余剰項を伴う右Caputo分数階微分のテイラー公式を用いて、$L_p$ 空間（$1 \leq p \leq \infty$）における右Caputo分数階微分を含む新しいオストロフスキー型不等式を確立する。主な貢献は、関数の積分平均からのずれの鋭い上限を、分数階微分およびリーマン＝リウヴィル積分のノルムを用いて導出することであり、古典的なオストロフスキー不等式を $L_p$-可積分な微分を持つ分数階微分の設定に一般化する。

ABSTRACT

In this paper, we have established Ostrowski type inequalities involving the right Caputo fractional derivatives belong to L_{p} spaces (1\leq p \leq \infty) via the right Caputo fractional Taylor formula with integral remainder.

研究の動機と目的

• 古典的なオストロフスキー不等式を、$L_p$ 空間における右Caputo分数階微分の設定に拡張すること。
• 高階分数階微分が $L_\infty$ や $L_1$ ではなく $L_p$ に属する場合のオストロフスキー型不等式におけるギャップを埋めること。
• 右Caputo分数階微分の $L_p$ ノルムを組み込むことにより、既存の分数階オストロフスキー不等式を一般化すること。
• アスタシオウの分数階オストロフスキー不等式に関する先行結果を、$L_p$ 条件の下で統一的かつ精緻に再考すること。

提案手法

• 積分余剰項を伴う右Caputo分数階テイラー公式を用いて、関数をその分数階微分で表現する。
• ホルダーの不等式を適用し、積分余剰項内の分数階微分項の $L_p$ ノルムを制御する。
• リーマン＝リウヴィル分数階積分 $J_{a+}^{\alpha}$ を用いて、端点における関数値を含む余剰項を評価する。
• テスト関数を乗じて $[a,b]$ 上で積分することで不等式を導出する。
• $f^{(k)}(b) = 0$（$k=1,\dots,m-1$）という仮定を用いてテイラー展開を簡略化し、分数階微分項を分離する。
• ノルム推定と積分不等式を適用し、関数とその $[a,b]$ 上での平均値との差を評価する。

実験結果

リサーチクエスチョン

• RQ1 右Caputo分数階微分が $L_p$ 空間（$1 \leq p \leq \infty$）に属する関数に対して、オストロフスキー型不等式をどのように拡張できるか。
• RQ2 右Caputo分数階微分が $L_p$ に属する場合、関数の積分平均からのずれの鋭い上限は何か。
• RQ3 得られた不等式は、古典的なオストロフスキー不等式およびアスタシオウ型不等式とどのように関係し、一般化されるか。
• RQ4 積分余剰項を伴う分数階テイラー公式を、オストロフスキー型不等式の $L_p$ ノルム推定に効果的に応用できるか。
• RQ5 リーマン＝リウヴィル分数階積分は、$L_p$ 基盤のオストロフスキー不等式の境界をどのように精緻化するか。

主な発見

• $D_{b-}^{\alpha}f, D_{b-}^{\alpha}g \in L_\infty$ の場合、不等式は $\|D_{b-}^{\alpha}f\|_{\infty} J_{a+}^{\alpha+1}|g(b)| + \|D_{b-}^{\alpha}g\|_{\infty} J_{a+}^{\alpha+1}|f(b)|$ で抑えられ、$L_\infty$ 場合を一般化する。
• $D_{b-}^{\alpha}f, D_{b-}^{\alpha}g \in L_1$ の場合、境界は $\|D_{b-}^{\alpha}f\|_{L_1} J_{a+}^{\alpha}|g(b)| + \|D_{b-}^{\alpha}g\|_{L_1} J_{a+}^{\alpha}|f(b)|$ に変化し、$L_1$ 場合を拡張する。
• $D_{b-}^{\alpha}f, D_{b-}^{\alpha}g \in L_q$（$p,q > 1$, $\frac{1}{p} + \frac{1}{q} = 1$）かつ $\alpha > 1 - \frac{1}{p}$ の場合、境界は $\Gamma(\alpha + \frac{1}{p}) \left( \|D_{b-}^{\alpha}f\|_{L_q} J_{a+}^{\alpha + \frac{1}{p}}|g(b)| + \|D_{b-}^{\alpha}g\|_{L_q} J_{a+}^{\alpha + \frac{1}{p}}|f(b)| \right)$ に与えられ、双対性により $L_p$ 場合を捉える。
• $g(x) = 1$ のとき、導出された不等式は既知の結果に還元され、アスタシオウの先行的な $L_p$ 基盤のオストロフスキー不等式と整合性を確認する。
• 右Caputo分数階テイラー公式を積分余剰項とともに用いることで、分数階微分の $L_p$ ノルムに基づく余剰項の精密な制御が可能になる。
• 結果は鋭く、古典的なオストロフスキー不等式を $L_p$ 空間における分数階微分に一般化し、分数階積分不等式の統一的枠組みを提供する。