[論文レビュー] On the asymptotic integration of a class of sublinear fractional differential equations

Octavian G. Mustafa, Dumitru Bǎleanu|arXiv (Cornell University)|Apr 9, 2009

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

ひとこと要約

本稿では、$ \lambda \in (0,1) $ かつ $ H(t) $ がゆっくりと減少するという条件の下で、形式 $ D_{0+}^{\beta}(x - x_0) = H(t)x^\lambda $ の非線形分数階微分方程式の解の漸近的成長見積もりを確立する。三重内挿不等式と分数階積分の見積もりを用いて、$ t \to \infty $ のとき解が $ t^{a\alpha} $ よりも遅く成長することを証明する。条件は $ 1 > \alpha > 1 - a > \lambda > 0 $ を満たす。また、構築された例により、この見積もりの鋭さを示している。

ABSTRACT

We estimate the growth in time of the solutions to a class of nonlinear fractional differential equations $D_{0+}^α(x-x_0) =f(t,x)$ which includes $D_{0+}^α(x-x_0) =H(t)x^λ$ with $λ\in(0,1)$ for the case of slowly-decaying coefficients $H$. The proof is based on the triple interpolation inequality on the real line and the growth estimate reads as $x(t)=o(t^{aα})$ when $t o+\infty$ for $1>α>1-a>λ>0$. Our result can be thought of as a non--integer counterpart of the classical Bihari asymptotic integration result for nonlinear ordinary differential equations. By a carefully designed example we show that in some circumstances such an estimate is optimal.

研究の動機と目的

• 非線形分数階微分方程式に現れる部分線形非線形性の長期的挙動を分析すること。
• 係数 $ H(t) $ がゆっくりと減少する場合の解の鋭い漸近的成長見積もりを確立すること。
• 整数でない微分階数を持つ分数階方程式へ、古典的なBihari型結果を拡張すること。
• 注意深く構築された反例を通じて、導出された成長見積もりの最適性を示すこと。

提案手法

• 解の成長を $ L^p $-空間で制御するため、実直線上の三重内挿不等式を用いる。
• Riemann-Liouville積分表現を用いて、分数階微分方程式を特異積分方程式に再定式化する。
• Hölderの不等式とガンマ関数の性質を用いて、解の事前境界を導出する。
• $ 1 > \alpha > 1 - a > \lambda > 0 $ の条件下で、成長見積もり $ x(t) = o(t^{a\alpha}) $ を証明する。
• $ H(t) = (t+1)^{-\alpha\lambda} t^{-(1+\varepsilon)/p_2} $ という特定の例を構築し、境界が漸近的に鋭いことを示す。
• 内挿枠組みにおける $ p_2 $ と $ p_3 $ の双対性を活用して、成長見積もりにおける指数を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 係数がゆっくりと減少する部分線形分数階微分方程式の解の漸近的成長率は何か？
• RQ2 常微分方程式に対する古典的なBihari不等式の結果を分数階系に拡張できるか？
• RQ3 導出された成長見積もり $ x(t) = o(t^{a\alpha}) $ は、このような方程式に対して最適か？
• RQ4 分数階数 $ \alpha $、部分線形指数 $ \lambda $、および $ H(t) $ の減少率の間の相互作用が、解の挙動にどのように影響するか？

主な発見

• 分数階微分方程式 $ D_{0+}^{\alpha}(x - x_0) = H(t)x^{\lambda} $ の解は、$ t \to \infty $ のとき $ x(t) = o(t^{a\alpha}) $ を満たす。ただし条件は $ 1 > \alpha > 1 - a > \lambda > 0 $ を満たす。
• 構築された例により、成長見積もりが鋭いことが示された。この例では、解が $ O(t^{(1-\lambda)\alpha - (1+\varepsilon)/p_2}) $ のように成長し、これは境界に多項式的要因を除き一致する。
• 実直線上の三重内挿不等式は、漸近的結果を支える $ L^p $-ベースの見積もりを導出する上で中心的な役割を果たす。
• $ (1 - \lambda)\alpha > \lambda\alpha + (1 - \lambda)\frac{\alpha^2}{1 + \alpha} $ は $ 1 > \lambda(2 + \alpha) $ と同値であり、これは成長見積もりの有効性を保証する。
• $ x(t) = o(t^{a\alpha}) $ の境界は、任意の $ \eta \in (0, \eta_0) $ に対して、数値解が少なくとも $ O(t^{(1-\eta) a\alpha}) $ の速度で成長しうるという点で最適である。ただし $ \eta_0 < 7\alpha/2 $ である。