[論文レビュー] A Fite type result for sequential fractional differential equations

Octavian G. Mustafa, Thabet Abdeljawad+3 more|ArXiv.org|Apr 9, 2009

Nonlinear Differential Equations Analysis参考文献 7被引用数 4

ひとこと要約

本稿は、$\beta \in (1/2, 1)$ および $P(t)$ が有界かつ連続である形の逐次分数階微分方程式 ${}_{a}D_{t}^{\beta}({}_{a}D_{t}^{\beta}f) + P(t)f = 0$ に対して、Fiteの定理の分数階版を確立する。解の零点構造とその分数階微分の性質を分析することで、$c - a$ に対する正の下界が $\beta$ と $P_{\infty}$ のみに依存して得られ、分数階微分方程式における非共役性（disconjugacy）を保証する。

ABSTRACT

Given the solution $f$ of the sequential fractional differential equation $_{a}D_{t}^α(_{a}D_{t}^αf)+P(t)f=0$, $t\in[b,c]$, where $-\infty

研究の動機と目的

• 整数階常微分方程式におけるFiteの古典的揺動結果を分数階設定に拡張すること。
• 非共役性の文脈において、解およびその逐次分数階微分の零点分布を分析すること。
• 解とその分数階微分が異なる点で同時にゼロとなることがないような区間長 $c - a$ の定量的下界を導出すること。
• 分数階微分方程式における非共役性および補間の研究の理論的基盤を提供すること。

提案手法

• リーマン＝リウヴィル微分と積分を用いて逐次分数階微分方程式を定式化する。
• $f$ と $g = {}_{a}D_{t}^{\alpha}f$ を含む一階系に二階方程式を変換する。
• 分数階積分を用いた積分表現を適用し、ベータ関数およびホルダーの不等式を用いて推定を行う。
• 特異性 $t = a$ を制御するため、重み関数 $(t-a)^{1-\alpha}$ を用いた重み付き $L^\infty$ ノルムを用いる。
• $\|G\|_{\infty}$, $\|R\|_{\infty}$, および区間長を用いて分数階積分作用素の推定を行い、解の差の境界を導出する。
• 背理法を用いた不動点議論により、$\alpha$ および $P_{\infty}$ に依存する $c - a$ の下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 整数階常微分方程式における零点分離の区間長を制限するFite型結果が、逐次分数階微分方程式へ拡張可能か。
• RQ2 非自明な解 $f$ 及びその分数階微分 ${}_{a}D_{t}^{\alpha}f$ が $[b,c]$ 内の異なる点で同時にゼロとなるような区間 $[a,c]$ の最小長さは何か。
• RQ3 区間長 $c - a$ の下界が分数階 $\alpha \in (1/2,1)$ および係数 $P(t)$ の上界 $P_{\infty}$ にどのように依存するか。
• RQ4 このような下界が、分数階微分方程式の文脈における非共役性の定義および分析に利用可能か。

主な発見

• 解とその分数階微分が $[b,c]$ 内の異なる点で同時にゼロとなることがないよう保証するため、$\alpha$ および $P_{\infty}$ のみに依存する $c - a$ の正の下界が確立された。
• この下界は、$ m \cdot (c-a)^{\alpha} \cdot \frac{\max\{(c-a)^{1/q}, (c-a)^{1-\alpha}\}}{\min\{(c-a)^{1/q}, (c-a)^{1-\alpha}\}} \geq \frac{\Gamma(\alpha)}{2^{2(2-\alpha)} + B(\alpha,\alpha)} $ で与えられ、$m = \max\{\|G\|_{\infty}, \|R\|_{\infty}\}$ である。
• 分数階積分作用素の可積分性を保証するため、$p > 1$ および $(1 - \alpha)p < 1/2$ の条件下で導出された。
• 特異性 $t = a$ を制御するため、重み関数 $(t-a)^{1-\alpha}$ を用いた重み付き $L^\infty$ ノルムに依存している。
• この境界は、解とその分数階微分が $[b,c]$ 内の異なる点でゼロを持つためには区間 $[a,c]$ が十分に小さくはならないことを示唆し、分数階非共役性の概念を支持する。
• 本結果は、分数階正弦および余弦関数の零点の局在化を研究するための理論的道具を提供するとともに、分数階微分を含む緩和振動方程式の解析にも応用可能である。