[论文解读] Existence and Uniqueness of Boundary Value Problems for Hilfer-Hadamard-Type Fractional Differential Equations

Ahmad Y. A. Salamooni, D. D. Pawar|arXiv (Cornell University)|Jan 31, 2018

Nonlinear Differential Equations Analysis参考文献 8被引用 9

一句话总结

本文通过在巴拿赫空间中应用不动点定理，建立了关于阶数 $1 < \alpha \leq 2$ 且类型 $\beta \in [0,1]$ 的希尔弗-哈达玛型分数阶微分方程边值问题解的存在性与唯一性。主要贡献在于利用沙德罗夫定理与克拉斯诺斯尔斯基定理证明了解的存在性，并在利普希茨条件与压缩常数 $C = 1/16$ 下证明了解的唯一性，该条件在数值示例中通过 $C\Phi < 1$ 得到验证。分析基于哈达玛型分数阶微分的性质以及具有对数核的积分算子。

ABSTRACT

In this paper, we used some theorems of fixed point for studying the results of Existence and Uniqueness For Hilfer-Hadamard-Type Fractional Differential Equations, \[_{H}D^{α,β}x(t)+f(t,x(t))=0, ~~~~~~ on~~the~~ interval~~ J:=(1,e]\] with Boundary Value Problems \[x(1+ε)=0,~~~~~~~~~~_{H}D^{1,1}x(e)=ν~_{H}D^{1,1}x(ζ)\]

研究动机与目标

• 研究涉及希尔弗-哈达玛型分数阶微分方程的边值问题（BVPs）解的存在性与唯一性。
• 通过引入希尔弗-哈达玛导数，扩展分数阶微分方程理论，该导数统一了哈达玛导数与卡波托-哈达玛导数。
• 利用不动点理论，建立此类BVPs至少存在一个解或唯一解的充分条件。
• 为希尔弗-哈达玛分数阶BVPs在区间 $(1,e]$ 上提供一个严谨的分析框架，其非局部边界条件涉及在 $e$ 与 $\zeta$ 处的 $\nu$-加权导数。
• 通过具体示例验证理论结果，展示在利普希茨条件 $C = 1/16$ 下解的唯一性。

提出的方法

• 本研究在区间 $(1,e]$ 上连续函数的巴拿赫空间中，应用不动点定理——沙德罗夫定理与克拉斯诺斯尔斯基定理，分析与BVP相关联的算子。
• 希尔弗-哈达玛分数阶导数 $ {}_{H}D^{\alpha,\beta} $ 通过哈达玛分数阶积分与导数的复合定义，其中 $ \gamma = \alpha + \beta - \alpha\beta $，且 $ \delta = t \frac{d}{dt} $。
• 将BVP转化为一个积分算子 $ \rho $ 的不动点问题，该算子通过具有对数核 $ (\log(t/\tau))^{\alpha-1} $ 的哈达玛型积分构造。
• 通过利用伽马函数与对数范数的估计，证明算子 $ \rho $ 是完全连续的，并将有界集映射到自身，从而证明解的存在性。
• 唯一性通过巴拿赫压缩映射原理建立，要求非线性项 $ f(t,x) $ 的利普希茨常数 $ C $ 满足 $ C\Phi < 1 $，其中 $ \Phi $ 为积分算子的范数。
• 提供一个数值示例，其中 $ \alpha = 3/2 $，$ \beta = 1/2 $，$ \nu = 1/2 $，$ \zeta = 3/2 $，且 $ f(t,x) = \frac{1}{32}(\sqrt{t} + \log t)\left(\frac{|x|}{2 + |x|}\right) $，得到 $ C = 1/16 $ 且 $ C\Phi \approx 0.0876 < 1 $。

实验结果

研究问题

• RQ1 希尔弗-哈达玛型分数阶微分方程 $ {}_{H}D^{\alpha,\beta}x(t) + f(t,x(t)) = 0 $ 在 $ (1,e] $ 上在何种条件下至少存在一个解？
• RQ2 何种条件可确保此类BVPs解的唯一性？
• RQ3 边界条件 $ x(1+\epsilon) = 0 $ 与 $ {}_{H}D^{1,1}x(e) = \nu {}_{H}D^{1,1}x(\zeta) $ 如何影响解的结构？
• RQ4 参数 $ \nu \in [0,1) $ 在边界条件的非局部性中起何种作用？
• RQ5 理论结果能否通过一个具体示例得到验证，其中显式计算压缩常数与算子范数？

主要发现

• 该问题在 $ (1,e] $ 上至少存在一个解，通过沙德罗夫不动点定理证明：算子 $ \rho $ 是完全连续的，并将有界集映射到自身。
• 若非线性项 $ f(t,x) $ 满足利普希茨条件且常数 $ C = 1/16 $，则存在唯一解，且乘积 $ C\Phi < 1 $，其中 $ \Phi \approx 1.404 $，故 $ C\Phi \approx 0.0876 $。
• 在假设 $ f $ 连续且有界的前提下，通过涉及伽马函数与对数项的积分估计，得出解的范数有界于常数 $ M $。
• 在示例中，通过 $ f(t,x) = \frac{1}{32}(\sqrt{t} + \log t)\left(\frac{|x|}{2 + |x|}\right) $ 验证唯一性条件，其满足 $ |f(t,x) - f(t,y)| \leq \frac{1}{16}|x - y| $，确认 $ C = 1/16 $。
• 该示例表明压缩条件 $ C\Phi < 1 $ 成立，证实巴拿赫压缩映射原理适用于唯一性证明。
• 分析结果表明，希尔弗-哈达玛导数框架支持具有非局部条件的适定边值问题，将经典分数阶微积分结果扩展至对数核设定。