一类分数阶中立型延迟微分系统解的存在唯一性

首先利用分数阶微积分的相关性质获得一类Riemann—Liouville分数阶中立型延迟微分系统初值问题有连续解的等价问题,然后采用逐步逼近方法严格证明了此类分数阶中立型延迟微分系统初值问题解的存在唯一性,最后获得了该类初值问题的解有限步稳定的一个充分条件．     

一类Caputo型分数阶微分包含的非局部问题

考虑一类具有非线性增长条件的分数阶微分包含的非局部问题,先利用Leray-Schauder不动点定理验证分数阶非线性微分方程解的存在性与唯一性,再利用集值不动点理论证明一类分数阶微分包含问题解的存在性.     

一类非线性分数阶微分方程的奇异摄动

研究了一类非线性分数阶微分方程初值问题的奇异摄动.在适当的条件下,利用边界层函数法构造出原问题解的形式渐近展开式,并利用最近发展的分数阶微分不等式理论证明了渐近解的一致有效性.     

一类多种时滞分数阶微分方程的相对可控性

讨论了具有多种时滞的分数阶微分方程的相对可控性问题.提出了一类具有多种时滞的分数阶微分系统，得到了系统方程的解.利用Gramian矩阵证明了系统的相对可控性，提出并建立了具有多种时滞的分数阶系统的相对可控性的充分必要条件.运用Schauder不动点定理、压缩映像原理、Arzela-Ascoli定理得到非线性系统的解，证明了非线性系统具有相对可控性.通过实例验证了所得理论的正确性.     

时空分数阶扩散方程的最小二乘混合型有限元方法

本文考虑时空分数阶扩散问题的数值模拟.通过引入通量u=-Dp作为中间变量,将分数阶扩散方程化为一阶微分方程组,构造了相应的最小二乘泛函与变分问题,证明了最小二乘问题与变分问题的等价性.据此,对时空分数阶扩散方程建立了最小二乘混合型有限元离散格式,利用双线性形式满足■不等式,证明了离散格式解的存在唯一性与收敛性估计,并进行了数值实验.     

非线性非局部奇摄动分数阶方程Cauchy问题的激波解（英文）

研究了一类非线性非局部奇摄动分数阶方程Cauchy问题.首先求出了原Cauchy问题的外部解.然后利用伸长变量、合成展开法构造出解的激波层和初始层校正项.最后利用微分不等式理论,研究了原非线性非局部奇摄动分数阶方程Cauchy问题解的渐进性态并证明了它的一致有效的渐近估计式.     

具有时滞的分数阶半线性微分包含的可控性

用多值映射的不动点定理讨论具有时滞的分数阶半线性微分包含非局部问题的精确可控性.在非紧半群条件下,克服了用非紧性测度方法证明解算子紧性的困难,当相应的线性微分方程初值问题精确可控时,证明了具有时滞的分数阶半线性微分包含的精确可控性.     

分数阶弱奇异积分微分方程的多项式数值解法

为了求分数阶变系数且带有弱奇异积分核Volterra-Fredholm积分微分方程的数值解,本文提出了Legendre多项式算子矩阵法,利用Legendre多项式的定义及其性质给出了分数阶微分算子矩阵,同时也给出了任意阶弱奇异积分的近似求积公式.通过简化所求分数阶积分微分方程,并离散化简后的方程,可将原问题转换为求代数方程组的解.收敛性分析证明了本文方法是收敛的,数值算例验证了该方法的有效性.     

非线性分数阶微分系统解的存在性

研究一类分数阶微分系统解的存在性问题。利用G reen函数将分数阶微分系统转化为等价的积分方程组,应用Schauder不动点定理给出解的存在性结果。     

具有微分算子的分数阶微分方程边值问题解的存在性与唯一性

研究一类具有分数阶线性微分算子的Riemann-Liouville型分数阶非线性微分方程两点边值问题解的存在性和唯一性.通过求出相应边值问题的Green函数并证明其性质,建立积分算子方程,应用压缩映射原理证明了这类边值问题解的存在性与唯一性定理.运用Krasnoselskii’s不动点理论建立并证明了该边值问题解的存在性与唯一性定理.最后给出了两个应用实例,用以说明本文所得结论的有效性.     

一类由变分不等式驱动的模糊分数阶微分包含系统解的存在性

考虑一类动态模糊系统,该系统由模糊Atangana-Baleanu分数阶微分包含和变分不等式组成,称为模糊分数阶微分变分不等式(FFDVI),它包括了模糊分数阶微分包含和变分不等式两个领域的研究,拓宽了模糊环境下的可研究问题,该模型在同一框架内捕获了模糊分数微分包含和分数微分变分不等式的期望特征.利用Krasnoselskii不动点定理,得到了FFDVI在某些温和条件下解的存在性.     

具对数非线性的分数阶p-Kirchhoff型方程基态解的存在性

具对数非线性的分数阶p-Kirchhoff型方程的研究是Kirchhoff型方程研究中的热点问题之一。基于p=2的具对数非线性抛物型方程,提出了一类p≥2具对数非线性的分数阶p-Kirchhoff椭圆型方程。针对该类方程基态解的存在性问题,在变分法的理论基础上,利用分数阶Sobolev空间理论、格林公式和积分恒等式定义了具对数非线性的分数阶p-Kirchhoff型方程的弱解及对应的Nehari泛函和能量泛函,进而给出了Nehari流形,并结合对数的性质和Holder不等式以及能量泛函下确界d与Vitali微分收敛定理证明了具对数非线性的分数阶p-Kirchhoff型方程基态解的存在性。     

一类分数阶微分方程组极解的存在性

考虑一类具有积分项的非线性分数阶微分方程组, 通过计算得到了该方程组对应的格林函数, 并应用增算子不动点定理和上下解方法, 证明了该方程组极解的存在唯一性, 给出了近似极解的显示迭代格式.     

局部分数阶微分系统的李雅普诺夫不等式研究

利用局部分数阶积分,将微分方程转换成积分方程,在此基础上构造格林函数,通过研究格林函数的最大值,得到李雅普诺夫不等式.此研究结果可分析局部分数阶微分系统解的不存在区间,也可研究局部分数阶微分系统特征值问题.     

待定系数法解常系数齐次分数阶微分方程组

用Jordan标准型方法研究常系数齐次分数阶微分方程组的基本解矩阵, 得到了方程组的基本解系. 结果表明, 可以用待定系数法解常系数齐次分数阶微分方程组, 并且该结果蕴含常系数线性一阶微分方程组.     

分数阶奇摄动非线性方程的激波层渐近解

研究了一类奇摄动非线性分数阶微分方程初值问题.在适当的条件下,首先求出了原问题的外部解.其次利用伸长变量和幂级数展开理论构造出问题解的激波层和初始层校正项,并得到了解的形式渐近展开式.最后利用微分不等式理论,讨论了问题解的渐近性态,证明了得到的展开式是原问题解的一致有效的渐近估计式.     

具有积分边界条件的耦合φ-Hilfer分数阶微分系统解的存在性

为了拓展分数阶微分方程系统的相关理论,研究了一类具有积分边界条件的耦合 φ-Hilfer分数阶微分系统。首先,将具有积分边界条件的耦合 φ-Hilfer分数阶微分系统转化为积分系统;其次,定义合适的Banach乘积空间和范数,构造合适的积分算子,分别运用压缩映像原理和Kransnoselskii不动点定理得出耦合 φ-Hilfer分数阶微分系统在积分边界条件下解的存在性结果;最后,通过列举实例说明所得结论的正确性。研究表明,积分边界条件下的耦合 φ-Hilfer分数阶微分系统的解具有存在性。研究结论丰富了耦合分数阶微分系统理论可解性的相关理论,可为深入研究分数阶微分方程提供一定的理论参考。     

时间-空间双边分数阶扩散方程微分阶数的反演

研究了一维时间-空间双边分数阶扩散方程的求解与微分阶数的数值反演问题.基于Caputo意义下时间分数阶导数和Grünward-Letnikov意义下空间双边分数阶导数的离散,给出了一个有限差分求解格式,证明了其稳定性和收敛性.分别基于终值数据及区域中点处的观测值作为附加数据,应用同伦正则化算法对微分阶数进行数值反演.反演结果表明同伦正则化算法对于分数阶扩散方程的微分阶数反演是有效的.     

应用Bernstein多项式求解一类变分数阶微分方程

文章应用Bernstein多项式求解一类变分数阶微分方程,结合Bernstein多项式的一阶微分算子矩阵、分数阶微分算子矩阵,通过离散变量,将原方程转化为线性方程组,通过解该线性方程组,进而得到数值解。数值算例验证了该方法的高度可行性和准确性。     

一类Caputo分数阶p-Laplace反周期边值问题解的存在性

研究一类带有p-Laplace算子的Caputo分数阶微分方程反周期边值问题解的存在性.首先给出了所研究的分数阶边值问题的Green函数,并将研究Caputo分数阶p-Laplace微分边值问题解的存在性问题转化为研究一个非线性算子的不动点问题,然后利用Banach压缩映像原理和Schauder不动点定理得到边值问题解的存在性,最后,通过一个例子验证了本文的主要结果.