[论文解读] Asymptotic integration of $(1+\alpha)$-order fractional differential equations

Dumitru Bǎleanu, Octavian G. Mustafa+1 more|arXiv (Cornell University)|Oct 22, 2010

Fractional Differential Equations Solutions参考文献 6被引用 5

一句话总结

本文为形如 $^0O^{1+eta}_t x + a(t)x = 0$ 的 (1+α)-阶分数阶微分方程建立了渐近积分公式，其中 $α \in (0,1)$。通过在加权函数空间上应用压缩映射原理，证明了解在 $t \to +\infty$ 时渐近表现为 $[a + O(1)] \cdot x_{Τmall} + b \cdot x_{Υarge}$，其中 $x_{Τmall}$ 和 $x_{Υarge}$ 是齐次方程的基本解。该结果在 $a(t)$ 满足可积性条件时成立，且 $O(1)$ 项通常无法改进为 $o(1)$。

ABSTRACT

oindent{\bf Abstract} We establish the long-time asymptotic formula of solutions to the $(1+\alpha)$--order fractional differential equation ${}_{0}^{\>i}{\cal O}_{t}^{1+\alpha}x+a(t)x=0$, $t>0$, under some simple restrictions on the functional coefficient $a(t)$, where ${}_{0}^{\>i}{\cal O}_{t}^{1+\alpha}$ is one of the fractional differential operators ${}_{0}D_{t}^{\alpha}(x^{\prime})$, $({}_{0}D_{t}^{\alpha}x)^{\prime}={}_{0}D_{t}^{1+\alpha}x$ and ${}_{0}D_{t}^{\alpha}(tx^{\prime}-x)$. Here, ${}_{0}D_{t}^{\alpha}$ designates the Riemann-Liouville derivative of order $\alpha\in(0,1)$. The asymptotic formula reads as $[a+O(1)]\cdot x_{{\scriptstyle small}}+b\cdot x_{{\scriptstyle large}}$ as $t ightarrow+\infty$ for given $a$, $b\in\mathbb{R}$, where $x_{{\scriptstyle small}}$ and $x_{{\scriptstyle large}}$ represent the eventually small and eventually large solutions that generate the solution space of the fractional differential equation ${}_{0}^{\>i}{\cal O}_{t}^{1+\alpha}x=0$, $t>0$.

研究动机与目标

• 推导具有变系数的 (1+α)-阶分数阶微分方程解的长期渐近公式。
• 将经典渐近积分理论推广至分数阶微分算子。
• 以齐次方程的基本解为基准，刻画解的渐近行为。
• 确定系数 $a(t)$ 的条件，以保证渐近展开式 $[a + O(1)] \cdot x_{\text{small}} + b \cdot x_{\text{large}}$ 的存在性。

提出的方法

• 通过在 $[t, \infty)$ 上对分数阶微分方程（FDE）进行积分，形式推导出伏尔塔拉型积分方程。
• 定义具有加权上确界范数的连续函数的完备度量空间，以保证收敛性。
• 应用巴拿赫不动点定理，证明对应于解的不动点的存在性与唯一性。
• 利用黎曼-刘维尔分数阶导数及涉及 Beta 函数的积分变换，推导解的表达式。
• 构造三种不同的积分算子，分别对应于 $^{1+\alpha}_t$ 算子的三种因式分解形式：$^1O^{1+\alpha}_t$、$^2O^{1+\alpha}_t$ 和 $^3O^{1+\alpha}_t$。
• 通过 $a(t)$ 的有界性条件验证压缩条件，包括 $s^{1+\alpha}|a(s)|$ 与 $s^\alpha|a(s)|$ 在 $[T, \infty)$ 上的可积性。

实验结果

研究问题

• RQ1 在何种 $a(t)$ 条件下，(1+α)-阶 FDE $^iO^{1+\alpha}_t x + a(t)x = 0$ 的解在 $t \to +\infty$ 时具有渐近展开式？
• RQ2 解是否可渐近地由齐次方程 $^iO^{1+\alpha}_t x = 0$ 的基本解的线性组合近似？
• RQ3 渐近公式中的误差项是否必然为 $O(1)$，或在更强条件下可改进为 $o(1)$？
• RQ4 $^{1+\alpha}_t$ 算子的不同因式分解形式如何影响渐近解的结构？

主要发现

• 对于 $^1O^{1+\alpha}_t$，在 $\int_T^\infty s^{1+\alpha}|a(s)|ds < \infty$ 且 $a(s)$ 满足范数条件时，解满足 $x(t) = a + bt^\alpha + O(t^{\alpha-1})$，且 $O(1)$ 项可改进为 $o(1)$。
• 对于 $^2O^{1+\alpha}_t$，在类似可积性与范数条件下，解的行为为 $x(t) = bt^\alpha + O(t^{\alpha-1})$，但 $O(1)$ 项通常无法改进为 $o(1)$。
• 对于 $^3O^{1+\alpha}_t$，在 $\int_0^\infty t|a(t)|dt < \infty$ 且 $\chi = \sup_{t>0} t^{1-\alpha} \int_0^t |a(s)|/(t-s)^{1-\alpha} s^{1-\alpha} ds$ 满足条件时，解满足 $x(t) = [a + O(1)]t^{\alpha-1} + bt$，且一般情况下 $O(1)$ 无法改进为 $o(1)$。
• 渐近公式 $[a + O(1)] \cdot x_{\text{small}} + b \cdot x_{\text{large}}$ 对所有三种算子类型均成立，其中 $x_{\text{small}}$ 和 $x_{\text{large}}$ 为齐次方程的基本解。
• 渐近公式中的 Landau 符号 $O(1)$ 通常不能替换为 $o(1)$，如 $x' \notin L^1$ 及某些奇异积分发散所示。
• 不动点方法在加权函数空间中成功构造了解，其压缩常数依赖于 $a(t)$ 的衰减速率与可积性性质。