[論文レビュー] Existence and Uniqueness of Solution to a Functional Integro-differential Fractional Equation

Moulay Rchid Sidi Ammi, El Hassan El Kinani+1 more|arXiv (Cornell University)|Jun 18, 2012

Fractional Differential Equations Solutions参考文献 18被引用数 4

ひとこと要約

本稿では、バナッハ代数における不動点定理を用いて、リーマン–リーマン型の関数型積分微分分数方程式の解の存在および一意性を確立する。主な貢献は、リプシッツおよびコンパクト性に基づく不動点の議論により解の存在を証明し、初期データに依存する性質と、収縮条件の下での一意性を示すことにある。

ABSTRACT

We prove, using a fixed point theorem in a Banach algebra, an existence result for a fractional functional differential equation in the Riemann-Liouville sense. Dependence of solutions with respect to initial data and an uniqueness result are also derived.

研究の動機と目的

• 非線形関数型積分微分分数方程式に、リーマン–リーマン微分を含む解の存在を確立すること。
• 分数微分方程式の文脈において、解が初期データにどのように依存するかを分析すること。
• 適切なリプシッツおよび収縮条件の下で、解の一意性を証明すること。
• 記憶および遅れ効果を含む関数型分数微分方程式へ、積分方程式における不動点技法を拡張すること。

提案手法

• バナッハ代数における不動点定理、特にリプシッツおよびコンパクト性条件を組み合わせた定理2.2を用いる。
• 順序 $\alpha \in (0,1)$ のリーマン–リウビルト分数微分を、$\frac{d^\alpha}{dt^\alpha} = \frac{d}{dt} \circ I^{1-\alpha}$ として定義する。
• 分数積分作用素 $I^\alpha$ を用いて、微分方程式を等価な積分方程式に変換する。
• 非線形関数 $f$, $g$, および $k$ に混合リプシッツ条件を課し、必要な正規性および有界性を保証する。
• 初期履歴関数のための空間 $C(I_0, \mathbb{R})$ を用い、履歴関数 $x_t(\theta) = x(t+\theta)$（$\theta \in [-\delta, 0]$）を定義する。
• バナッハ収縮原理および不動点の議論を用いて、コンパクト性およびリプシッツ仮定の下で解の存在および一意性の結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 関数型積分微分分数方程式（リーマン–リウビルト型）が解を有するための条件は何か？
• RQ2 関数型微分方程式における初期データ $\phi$ に対して、解はどのように依存するか？
• RQ3 与えられた分数関数型設定において、解の一意性を保証する条件は何か？
• RQ4 バナッハ代数における不動点定理は、記憶および遅れ効果を含む非線形分数積分微分方程式に効果的に適用可能か？
• RQ5 リプシッツ定数およびコンパクト性は、このような方程式の存在および一意性を証明する上で果たす役割は何か？

主な発見

• 仮定 (H1)–(H5) の下で、バナッハ代数における不動点定理を用いて、関数型積分微分分数方程式 (1.1)–(1.2) の解の存在が証明された。
• 解は初期データ $\phi$ に対して連続的に依存し、$\|x - y\| \leq \frac{(L\|y\| + F)(L_1 + L_2L_kT)\frac{T^\alpha}{\Gamma(\alpha+1)}}{1 - L}\|\phi_1 - \phi_2\|$ の境界が得られた。
• 依存性推定および収縮条件 $L < 1$ から、系4.2により解の一意性が確立された。
• 具体的な例として、$\alpha = \frac{1}{2}$、$f(t,x) = 1 + \frac{\sin t}{12}|x|$、$g(t,x,y) = t(\|x\| + |y|)$、$k(t,x) = \frac{x}{4\pi}$ を用いた場合、すべての仮定を満たし、$\overline{B_2(0)}$ 内に解が存在する。
• 解は $r \in [0.26, 18.34]$ の範囲の球 $\overline{B_r(0)}$ 内に存在し、$r = 2$ に対しても存在が確認された。
• 結果として、記憶および遅れ項を含む関数型分数方程式への不動点技法の拡張が達成された。