[论文解读] Fractional-order boundary value problem with Sturm-Liouville boundary conditions

Douglas R. Anderson, Richard I. Avery|arXiv (Cornell University)|Nov 20, 2014

Fractional Differential Equations Solutions参考文献 20被引用 39

一句话总结

本文利用共形分数阶导数研究了一个分数阶边值问题，将传统的二阶共轭问题在这一新框架下重新表述。通过构造一个正的格林函数，并应用函数型压缩-扩张不动点定理，作者在特定条件下证明了至少存在一个正解，与基于黎曼-刘维尔导数的结果相比，尤其在解的界和适用性方面表现出更优的特性。

ABSTRACT

Using the new conformable fractional derivative, which differs from the Riemann-Liouville and Caputo fractional derivatives, we reformulate the second-order conjugate boundary value problem in this new setting. Utilizing the corresponding positive fractional Green's function, we apply a functional compression-expansion fixed point theorem to prove the existence of a positive solution. We then compare our results favorably to those based on the Riemann-Liouville fractional derivative.

研究动机与目标

• 利用共形分数阶导数研究分数阶边值问题正解的存在性，其与黎曼-刘维尔导数和卡波托导数不同。
• 在共形分数阶微积分框架下重新表述二阶共轭边值问题。
• 在适当的参数约束下，推导并证明相应分数阶格林函数的正性。
• 应用函数型压缩-扩张不动点定理，建立至少一个正解的存在性。
• 将所得的存在性结果与基于黎曼-刘维尔导数的先前结果进行有利比较，尤其在解的界和条件方面。

提出的方法

• 阶数为 $\alpha$ 的共形分数阶导数定义为 $D^{\alpha}f(t) = t^{1-\alpha}f'(t)$，替代了传统的黎曼-刘维尔或卡波托定义。
• 问题表述为：在 $[0,1]$ 上，$-D^{\beta}D^{\alpha}x(t) = f(t,x(t))$，边界条件为斯蒂尔吉厄斯-刘维尔条件 $\gamma x(0) - \delta D^{\alpha}x(0) = 0 = \eta x(1) + \zeta D^{\alpha}x(1)$，其中 $\alpha, \beta \in (0,1]$，且参数满足 $d = \eta\delta + \gamma\zeta + \gamma\eta/\alpha > 0$。
• 定义了 $\beta$-分数阶积分为 $\int_a^b f(s) d_\beta s = \int_a^b f(s)s^{\beta-1} ds$，从而在共形框架下实现积分。
• 格林函数 $G(t,s)$ 以分段形式显式推导，且在给定参数约束下确保其正性。
• 将函数型压缩-扩张不动点定理应用于算子 $Ax(t) = \int_0^1 G(t,s)f(s,x(s)) d_\beta s$，以证明在正函数锥中存在不动点。
• 通过一个比较实例验证了结果：取 $\alpha=1$，$\beta=1/2$，$f(s,x)=1 + \frac{1}{4}\sin s + x^2$，表明存在正解，且其最小值和最大值具有指定的上下界。

实验结果

研究问题

• RQ1 共形分数阶导数框架是否允许在具有斯蒂尔吉厄斯-刘维尔条件的二阶共轭边值问题中存在正解？
• RQ2 能否为共形分数阶共轭问题显式构造一个正格林函数？其在何种参数条件下为正？
• RQ3 基于共形导数的存在性结果与基于黎曼-刘维尔导数的结果相比，在定量和定性方面有何差异？
• RQ4 非线性项 $f(t,x)$ 需满足何种条件，才能通过函数型压缩-扩张不动点定理确保至少存在一个正解？
• RQ5 与黎曼-刘维尔情形相比，共形框架下能否建立更紧的正解最小值和最大值的界？

主要发现

• 共形分数阶导数使得二阶共轭边值问题得以重新表述，从而通过不动点理论实现新的存在性证明。
• 斯蒂尔吉厄斯-刘维尔问题的格林函数 $G(t,s)$ 被显式推导，并在 $\gamma,\delta,\eta,\zeta \geq 0$ 且 $d > 0$ 的条件下被证明为正，确保了后续不动点分析的有效性。
• 对于共轭问题（$x(0)=x(1)=0$），格林函数简化为 $G(t,s) = \frac{1}{\alpha} \min(t^\alpha, s^\alpha) \cdot (1 - \max(t^\alpha, s^\alpha))$，在 $[0,1]^2$ 上为正。
• 对于问题 $-D^{0.5}x'(t) = 1 + \frac{1}{4}\sin t + x(t)^2$，$x(0)=x(1)=0$，存在正解，且满足 $\min_{t\in[1/4,3/4]}x^*(t) \geq \frac{11}{1000}$ 与 $\max_{t\in[0,1]}x^*(t) \leq \frac{9}{25}$。
• 与文献 [3] 中基于黎曼-刘维尔导数的结果相比，该方法在解的最小值上给出了更紧的界，后者仅得出 $\max x^\dagger \geq \frac{1}{14}$ 与 $\max x^\dagger \leq 1$，且未提供最小值信息。
• 函数型压缩-扩张不动点定理成功地在函数锥中建立了正解的存在性，其中算子 $A$ 将锥映射到自身，并满足所需的压缩与扩张条件。