[論文レビュー] Convergence of solutions of fractional differential equations to power-type functions

Mohammed D. Kassim, Nasser‐eddine Tatar|arXiv (Cornell University)|Nov 18, 2020

Nonlinear Differential Equations Analysis被引用数 4

ひとこと要約

本稿では、カプート型微分を伴う非線形分数階微分方程式の解の漸近的挙動を調査し、非線形項の成長条件が満たされる場合に解がべき関数型に収束することを証明している。分数階積分変換、重み付きノルム推定、および新規に導出されたカプート型分数階のロピタルの定理を用いて、$ 0 < \beta < \alpha < 1 $ の場合に解が $ \tau^{\beta} $ 型関数に収束することを確立した。これは、通常微分方程式に対する古典的結果を一般化するものである。

ABSTRACT

In this article we study the asymptotic behavior of solutions of some fractional differential equations. We prove convergence to power type functions under some assumptions on the nonlinearities. Our results extend and generalize some existing well-known results on solutions of ordinary differential equations. Appropriate estimations and lemmas such as a fractional version of L'Hopital's rule are used.

研究の動機と目的

• カプート微分を伴う分数階微分方程式の解の長期的挙動を分析すること。
• 通常微分方程式における古典的漸近的結果を分数階設定に拡張すること。
• 解がべき関数型関数 $ \tau^{\beta} $ に収束するための十分条件を確立すること。
• 漸近的解析に応用可能な、分数階のロピタルの定理の新規なバージョンを構築し、適用すること。
• 右辺の非線形項に非線形成長制約を課した場合の有界性および収束結果を一般化すること。

提案手法

• カプート分数階積分を用いて、分数階初期値問題を等価な積分方程式に変換する。
• 共役指数 $ p, q $ を用いた重み付き $ L^q $-ノルム推定とホルダーの不等式を適用し、非線形項を制御する。
• 新たに導出された分数階のロピタルの定理のバージョンを用いて、解の漸近的挙動を分析する。
• 重み付き関数空間における比較定理およびグロウォール型不等式を用いて、解およびその分数階微分を有界化する。
• 解 $ |x(\tau)| $ および $ |{}^{C}\mathfrak{D}_{0}^{\beta}x(\tau)| $ を支配する補助関数 $ z(\tau) $ を導入し、積分不等式の適用を可能にする。
• 関数 $ h(\tau) $ および成長関数 $ \varphi_1, \varphi_2 $ に対する可積分性条件を検証し、解の有界性を保証する。

実験結果

リサーチクエスチョン

• RQ1 カプート微分を伴う分数階微分方程式の解が、どのような条件下でべき関数型関数に収束するか。
• RQ2 漸近的挙動の解析に応用可能な、分数階のロピタルの定理をどのように構築し、適用できるか。
• RQ3 非線形項にどのような成長制限を課すと、解の有界性および収束性が保証されるか。
• RQ4 分数階微分の次数 $ \alpha $ および $ \beta $ が、解の漸近的プロファイルにどのように影響を与えるか。
• RQ5 通常微分方程式における古典的漸近的結果を、カプート微分を伴う分数階の場合に一般化できるか。

主な発見

• 初期値問題 $ {}^{C}\mathfrak{D}_{0}^{\alpha}x(\tau) = f(\tau, x(\tau), {}^{C}\mathfrak{D}_{0}^{\beta}x(\tau)) $ の解は、$ 0 < \beta < \alpha < 1 $ かつ適切な成長条件のもとで、$ \tau \to \infty $ のとき $ c\tau^{\beta} $ に収束する。
• 問題 $ {}^{C}\mathfrak{D}_{0}^{\alpha}x(\tau) = f(\tau, x(\tau), {}^{C}\mathfrak{D}_{0}^{\beta}x(\tau)) $ において、$ \int_{\xi_0}^{\infty} \frac{ds}{\varphi_1^q(s^{1/q})\varphi_2^q(s^{1/q})} = \infty $ を満たす場合、解は有界であり、ある定数 $ C $ に対して $ |x(\tau)| \leq C $、$ |{}^{C}\mathfrak{D}_{0}^{\beta}x(\tau)| < C $ を満たす。
• 新規に導出された分数階のロピタルの定理のバージョンが確立され、分数階微分を含む関数の比の漸近的挙動の解析に用いられた。
• この手法は、微分方程式を積分方程式に変換し、適切に選んだ重みを用いたホルダーの不等式を適用して非線形項を制御することに依存している。
• 結果として、通常微分方程式における既知の漸近的挙動（例：$ x(\tau) \sim c\tau + b $）が、べき関数型収束を示す分数階系に一般化された。
• 例として、$ \alpha = 2/3 $、$ \beta = 1/3 $ であり、非線形項に指数的減衰とべき関数が含まれる場合が提示され、主定理により有界性および収束性が確認された。