[論文レビュー] 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

ひとこと要約

本稿では、6つの既存の分数階積分を統一するカツガンポラの分数階積分を用いて、グルス型積分不等式を一般化する。有界関数にこの作用素を適用することで、古典的グルス境界を拡張する新たな不等式が得られ、コーシー・シュワルツおよび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.

研究の動機と目的

• カツガンポラの一般化された分数階積分作用素を用いて、古典的グルス型不等式を分数階微積分の枠組みに拡張すること。
• リーマン＝リウヴィル、ハダマール、エレディリ＝コーバーなど6つの既知の分数階積分を、1つの作用素で統一し、より広範な適用可能性を達成すること。
• 作用素に特有の推定を用いて、改善された誤差境界を有する新たな分数階グルス型不等式を確立すること。
• 分数階設定における他の古典的不等式（例えば、エルミート＝アダマール）を一般化する基盤を提供すること。

提案手法

• パrameter化された核 $ 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) $ の境界を導出する。
• 分数階積分形に対してコーシー・シュワルツおよび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 $。
• 代数的変形および極限ケースを用いて結果を検証し、$ \rho \to 1 $, $ \beta = \alpha $, $ \kappa = 0 $, $ \eta = 0 $ の場合に既知のリーマン＝リウヴィル境界が回復されることを確認。

実験結果

リサーチクエスチョン

• RQ1 カツガンポラの分数階積分作用素を用いて、グルス型不等式を一般化できるか？
• RQ2 分数階積分の下で、古典的グルス不等式の境界はどのように変化するか？
• RQ3 有界関数の仮定の下で、分数階グルス不等式の最も鋭い誤差境界は何か？
• RQ4 分数階積分形に対してコーシー・シュワルツおよびAM-GM推定を用いて、分数階グルス不等式を導出できるか？
• RQ5 リーマン＝リウヴィルやハダマールなどの既知の分数階積分に還元する際の、新しい不等式の極限ケースは何か？

主な発見

• 本稿では、新たな分数階グルス型不等式を確立した：$ \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 $、これは古典的結果を一般化する。
• 分数階積分の核構造とパrameter依存性を組み込むことで、古典的バージョンよりも鋭い境界が達成される。
• 境界 $ \frac{(M+m)^2}{4} $ は分数形でも保持され、古典的極値的挙動が一般化作用素下でも維持されることを示している。
• 2番目の不等式も導出された：$ \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 $ のとき、古典的グルス不等式に還元され、既知の理論と整合性が確認される。
• この枠組みは、将来の分数階設定におけるエルミート＝アダマールおよびエルミート＝アダマール＝フェイジャー不等式の一般化を可能にする。