[论文解读] Existence and Uniqueness results for a class of Generalized Fractional Differential Equations

Udita N. Katugampola|arXiv (Cornell University)|Nov 7, 2014

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

一句话总结

本文建立了由 Katugampola 分数阶导数控制的一类广义分数阶微分方程的存在性与唯一性定理，该导数统一了 Riemann-Liouville 与 Hadamard 导数。通过不动点迭代与 Weissinger 不动点定理，作者在非线性项满足 Lipschitz 连续性与连续性条件时，证明了唯一解的存在性。

ABSTRACT

The author (Bull. Math. Anal. App. 6(4)(2014):1-15), introduced a new fractional derivative, \[{}^ρ\mathcal{D}_a^αf (x) = \frac{ρ^{α-n+1}}{Γ({n-α})} \, \bigg(x^{1-ρ} \,\frac{d}{dx}\bigg)^n \int^x_a \frac{τ^{ρ-1} f(τ)}{(x^ρ- τ^ρ)^{α-n+1}}\, dτ\] which generalizes two familiar fractional derivatives, namely, the Riemann-Liouville and the Hadamard fractional derivatives to a single form. In this paper, we derive the existence and uniqueness results for a generalized fractional differential equation governed by the fractional derivative in question.

研究动机与目标

• 建立涉及 Katugampola 分数阶导数的一类广义分数阶微分方程的存在性与唯一性结果。
• 通过引入将 Riemann-Liouville 与 Hadamard 导数作为特例的统一分数阶导数，推广现有分数阶微分方程的结果。
• 为由该广义分数阶导数控制的初值问题提供严谨的分析框架。
• 将经典不动点技术（如 Weissinger 定理）扩展至广义分数阶微分方程的语境。
• 在 Lipschitz 与连续性条件下，通过迭代逼近确保解的唯一性与收敛性。

提出的方法

• 本研究采用 Katugampola 的广义分数阶导数，其定义为 $ {}^{ ho} abla_{a}^{ u}f(x) = \frac{\rho^{\nu-n+1}}{\text{B}(\nu-n+1, n-\nu)} \bigg{(} x^{1-\rho} \frac{d}{dx} \bigg{)}^{n} \int_a^x \frac{\tau^{\rho-1} f(\tau)}{(x^{\rho} - \tau^{\rho})^{\nu-n+1}} d\tau $，该定义统一了 Riemann-Liouville 与 Hadamard 导数。
• 通过积分算子 $ A $ 定义的逐次逼近法证明了解的存在性，其中 $ A $ 由广义分数阶积分定义。
• 在连续性与有界性假设下，证明算子 $ A $ 将闭、凸且非空的子集 $ U \subset C[0,h] $ 映射到其自身。
• 应用 Weissinger 不动点定理于迭代算子 $ A^j $，通过级数 $ \sum_{j=0}^\infty \omega_j $ 的收敛性，其中 $ \omega_j = \frac{L^j (h^\rho / \rho)^{\alpha j}}{\Gamma(1 + \alpha j)} $，确保存在唯一不动点。
• 利用非线性函数 $ f $ 的 Lipschitz 条件，对连续迭代之间的差值进行有界控制，从而保证 Picard 迭代序列的收敛性。
• 解被构造为序列 $ y_n = A^n y_0 $ 的极限，其收敛性由级数 $ \sum \omega_j $ 的 Mittag-Leffler 函数行为所保证。

实验结果

研究问题

• RQ1 在何种条件下，由 Katugampola 导数控制的广义分数阶微分方程存在解？
• RQ2 在该广义分数阶导数的语境下，如何建立解的存在性与唯一性？
• RQ3 经典不动点定理（如 Weissinger 定理）能否被适配以证明此类分数阶方程的唯一性？
• RQ4 非线性项的 Lipschitz 连续性在确保迭代解收敛性方面起何作用？
• RQ5 统一 Riemann-Liouville 与 Hadamard 形式的广义分数阶导数，如何影响存在性与唯一性定理的结构？

主要发现

• 通过逐次逼近法，建立了涉及 Katugampola 广义分数阶导数的初值问题解的存在性。
• 在非线性项 $ f $ 关于其第二变量满足 Lipschitz 条件的假设下，证明了解的唯一性。
• Picard 迭代序列的收敛性由级数 $ \sum_{j=0}^\infty \frac{L^j (h^\rho / \rho)^{\alpha j}}{\Gamma(1 + \alpha j)} $ 的收敛性保证，该级数对应 Mittag-Leffler 函数 $ E_{\alpha}(L (h^\rho / \rho)^{\alpha}) $。
• 连续迭代之间的差值满足 $ \|A^j y - A^j \tilde{y}\|_{L_\infty[0,x]} \leq \frac{L^j (x^\rho / \rho)^{\alpha j}}{\Gamma(1 + \alpha j)} \|y - \tilde{y}\|_{L_\infty[0,x]} $，确保其具有压缩性。
• 解属于空间 $ C[0,h] $，且存在性与唯一性在紧区间 $ [0,h] $ 上成立，其中 $ h^* > 0 $，取决于问题参数。
• 该方法提供了通过迭代序列逼近解的构造性方法，误差界由 Mittag-Leffler 函数导出。