[論文レビュー] Existence, uniqueness, estimation and continuous dependence of the solutions of a nonlinear integral and an integrodifferential equations of fractional order

J. Vanterler da C. Sousa, E. Capelas de Oliveira|arXiv (Cornell University)|Jun 5, 2018

Fractional Differential Equations Solutions参考文献 30被引用数 10

ひとこと要約

本稿では、$ψ$-Hilfer分数階微分を用いて、非線形分数階ボルテラ積分方程式および積分微分方程式の解の存在、一意性、推定、連続的依存性を確立する。特別に設計されたノルムと分数階積分不等式を導入することで、解の安定性を証明し、Mittag-Leffler関数を含む明示的な境界を導出する。これにより、一般の非線形系における分数階微積分の解析的理論が前進する。

ABSTRACT

By means of two fractional order integral inequalities we investigate the existence and uniqueness of the solutions of the fractional nonlinear Volterra integral equation and a fractional nonlinear integrodifferential equation in Banach space $C_ξ$, using an adequate norm, $||\cdot||_{ξ,\infty}$. We estimate the solutions and investigate their continuous dependence.

研究の動機と目的

• 非線形分数階ボルテッラ積分方程式および積分微分方程式の解の存在と一意性を、Banach空間 $C_{\xi}$ において確立すること。
• 分数階積分不等式とMittag-Leffler関数を用いて、解の明示的推定を導出すること。
• $ψ$-Hilfer分数階微分の文脈において、初期データおよびパラメータに関する解の連続的依存性を調査すること。
• 特化されたノルムと計量構造を導入することで、分数階積分方程式の解析的結果を一般化すること。
• 一般化された分数階微分を含む非線形系に特に焦点を当て、分数階微積分の理論的基盤に貢献すること。

提案手法

• 著者らは、解の挙動を分析するために、Banach空間 $C_{\xi}$ に新しいノルム $||\cdot||_{\xi,\infty}$ と計量を定義する。
• 解の差の境界を求めるために、2つの主要な分数階積分不等式（補題4および5）と、Mittag-Leffler関数を含む系を用いる。
• 非線形積分方程式および積分微分方程式のモデル化に、$ψ$-Hilfer分数階微分と $ψ$-Riemann-Liouville積分を用いる。
• 非線形項のリプシッツ連続性および有界性条件の下で、コントラクション型の議論により解の推定を導出する。
• 初期データおよびパラメータの摂動に関する解の差をMittag-Leffler関数を用いて境界化することで、連続的依存性を証明する。
• フレームワークは、初期条件を伴う分数階積分方程式 (1.1) および分数階積分微分方程式 (1.2) に適用される。

実験結果

リサーチクエスチョン

• RQ1 非線形分数階ボルテッラ積分方程式が、$ψ$-Hilfer微分を伴い、$C_{\xi}$ で一意な解をもつための条件は何か？
• RQ2 分数階積分不等式を用いて、非線形分数階積分方程式の解をどのように推定できるか？
• RQ3 非線形分数階積分微分方程式の解は、初期データおよびパラメータに関してどのように連続的に依存するか？
• RQ4 Mittag-Leffler関数は、解の安定性および誤差境界を定量化するために果たす役割は何か？
• RQ5 提案されたノルムおよび計量構造は、分数階積分微分問題の解空間における完備性および収束を保証できるか？

主な発見

• 適切なリプシッツ連続性および有界性条件の下で、分数階積分方程式 (1.1) の解はBanach空間 $C_{\xi}$ に存在し、一意的である。
• 明示的な解の推定が得られる：$||x||_{\xi,\infty} \leq \frac{M}{1 - \overline{N}}$、ここで $M$ は非線形項の有界値、$\overline{N} < 1$ はリプシッツ定数である。
• 連続的依存性の観点から、解 $z_1(t)$ と $z_2(t)$ の差は $|z_1(t) - z_2(t)| \leq \frac{Q|\mu - \mu_0|}{1 - \overline{N}} \mathbb{E}_{\alpha}\left[\frac{\overline{N}}{1 - \overline{N}} r(t,t)(\psi(t) - \psi(a))^\alpha\right]$ で有界である。
• パラメータ依存系への連続的依存性結果は、Mittag-Leffler関数を含む境界に拡張され、$|z_1(t) - z_2(t)| \leq Q|\mu - \mu_0| \mathbb{E}_{\alpha}\left\{\overline{p}(t)\Gamma(\alpha) \mathbb{E}_{\alpha}(\overline{r}(t,t)\Gamma(\alpha)(\psi(t) - \psi(a))^\alpha)(\psi(t) - \psi(a))^\alpha\right\}$ が得られる。
• 結果は一般の $ψ$-Hilfer分数階微分に対して有効であり、先行研究をより広い分類の分数階微分方程式に拡張する。
• 理論的枠組みは、新しいノルムと計量に基づき、解空間の完備性を保証し、解の安定性の厳密な解析を可能にする。