[论文解读] Positive solutions of a nonlocal Caputo fractional BVP

Alberto Cabada, Gennaro Infante|arXiv (Cornell University)|Jul 29, 2013

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

一句话总结

本文通过在正连续函数的锥上应用不动点指数理论，建立了非局部Caputo分数阶边值问题（BVP）存在多个正解的结果。通过将BVP重新表述为一个扰动的Hammerstein积分方程，并利用核与泛函的上下界验证指数条件，作者在显式参数约束下证明了至少存在两个或三个正解，从而扩展了先前关于非局部和分数阶BVP的研究结果。

ABSTRACT

We discuss the existence of multiple positive solutions for a nonlocal fractional problem recently considered by Nieto and Pimental. Our approach relies on classical fixed point index.

研究动机与目标

• 建立具有广义Stieltjes积分边界条件的非局部Caputo分数阶边值问题存在多个正解的结果。
• 通过引入分数阶导数和广义边界条件，扩展先前关于非局部BVP的研究结果。
• 在正连续函数的锥上应用不动点指数理论，分析解的多重性。
• 推导非线性项和参数的显式充分条件，以保证至少存在两个或三个正解。
• 将Infante和Webb的框架推广至具有非局部泛函边界条件的分数阶问题。

提出的方法

• 将非局部Caputo分数阶BVP重新表述为一个扰动的Hammerstein积分方程：$ u(t) = \tilde{\beta}(t)\tilde{\nu}[u] + \beta \tilde{\nu}[u] + \beta \tilde{\nu}[u] $，其中 $ \tilde{\nu}[u] $ 是一个涉及Stieltjes积分的泛函。
• 定义一个锥 $ K = \{ u \to C[0,1], u \geq 0, \min_{t\in[a,b]} u(t) \geq c\|u\| \} $，其中 $ c = \min\{c_1, c_2\} $，以确保在子区间上的正性和下界。
• 在有界开集 $ K_\rho $ 和 $ V_\rho $ 上使用不动点指数理论，其中 $ V_\rho = \{ u \in K : \min_{t\in[a,b]} u(t) < \rho \} $，以分析解的多重性。
• 应用指数条件：若 $ c_2\|\gamma\|\lambda_0 + f_{\rho,\rho/c} \cdot \frac{1}{M} > 1 $，则 $ i_K(T, V\rho) = 0 $；若 $ \tilde{\nu}[\gamma] < 1 $ 且 $ f^{0,\rho} $ 足够小，则 $ i_K(T, K_\rho) = 1 $。
• 通过 $ \Phi(s) $ 和 $ c_1 $ 分别给出核 $ k(t,s) $ 的上下界，通过 $ c_2 $ 给出 $ \gamma(t) $ 的界。
• 通过嵌套集 $ K_\rho \subset V_\rho \subset K_{\rho/c} $ 上指数0与指数1的组合，验证多重解的存在性，从而得出两个或三个解的存在性定理。

实验结果

研究问题

• RQ1 在何种条件下，具有Stieltjes积分边界条件的非局部Caputo分数阶边值问题会存在多个正解？
• RQ2 如何将不动点指数理论适配于具有非局部泛函边界条件的分数阶问题？
• RQ3 在存在扰动的Hammerstein积分结构的前提下，何种显式参数约束可确保至少存在两个或三个正解？
• RQ4 Green函数核与泛函 $ \lambda[u] $ 的上下界如何影响解的多重性？
• RQ5 在子区间上通过最小值条件定义的锥 $ K $ 在证明解算子的正性和紧致性中起到何种作用？

主要发现

• 当条件 $ (S_1) $ 或 $ (S_2) $ 成立时，本文证明了至少存在两个正解，这些条件涉及在嵌套集上交替出现的指数0与指数1条件。
• 若满足条件 $ (S_3) $ 或 $ (S_4) $，则至少存在三个正解，这需要在嵌套集上出现三到四次指数条件的切换。
• 在例子中，当 $ \alpha = 3/2, \beta = 4/5, \eta = 3/4, \xi = 1/4, \lambda = 1/2 $ 时，常数 $ c = 0.132 $，且指数 $ i_K(T, V_\rho) = 0 $ 要求 $ f_{\rho, \rho/c} > 0.218 $。
• 若 $ f^{0,\rho} < 1.255 $，则条件 $ i_K(T, K_\rho) = 1 $ 成立，该条件依赖于核的积分和泛函 $ \tilde{\nu}[\gamma] $。
• 为获得指数1结果，要求 $ \tilde{\nu}[\gamma] < 1 $，并显式计算为 $ \lambda(\beta/\Gamma(3-\alpha) + \eta - \xi) < 1 $，该式在示例参数下成立。
• 本文提供了 $ f_{\rho, \rho/c} $ 和 $ f^{0,\rho} $ 的显式可计算界，使得对特定非线性项的解存在性可被验证。