论文部分内容阅读
非线性常微分方程边值问题是微分方程定性理论中一个重要分支,具有广泛的应用背景.近年来,随着分数阶微积分理论的发展,分数阶微分方程在许多领域被广泛的应用,如:物理力学领域、反常扩散研究领域、自动控制领域、生物医学领域等.从而对分数阶微分方程边值问题的研究受到人们的重视,得到了许多深刻的结果.本文在已有工作的基础上,利用推广的集值映射型Leggett-Williams定理、改进的k-集压缩算子抽象连续性定理、Avery-Henderson不动点定理和经典的临界点理论、拓扑度理论等理论方法研究了几类分数阶微分方程(系统)边值问题解的存在性与多重性.作为应用,本文还讨论了星图上分数阶微分系统边值问题解的存在性与Ulam型稳定性.所得新的结果推广和丰富了相关领域的研究成果,改进后的定理为研究相关问题提供了新的方法.全文分为七章.第一章介绍了所研究问题的研究背景和研究现状,本文的主要工作以及文中所需用到的基本概念和相关引理与定理.第二章研究了分数阶拟线性微分包含系统共振边值问题正解的存在性.将O’Regan和Zima证明的线性算子集值映射型Leggett-Williams定理推广到拟线性算子情形,得到拟线性算子集值映射型Leggett-Williams定理,并运用该定理给出了一类带p-Laplacian算子的分数阶微分包含系统共振边值问题正解的存在性结果.本章的结果丰富了相关领域的理论成果,并为讨论带拟线性算子的微分包含系统共振边值问题正解的存在性提供了研究方法.第三章研究了两类分数阶隐式微分方程耦合系统边值问题解的存在性.我们改进了 k-集压缩算子抽象连续性定理,为运用该定理讨论微分方程共振边值问题简化了验证过程.利用改进的k-集压缩算子抽象连续性定理给出了带扰动项的分数阶耦合系统周期与反周期边值问题解的存在性条件.此外,还运用Mawhin连续性定理证明了分数阶隐式微分方程耦合系统周期边值问题解的存在性.注意到,运用连续性定理处理分数阶隐式微分方程边值问题的研究工作尚不多见.本章的研究工作推广、改进和修正了相关文献的结果.第四章研究了无穷区间上Hadamard型分数阶微分方程积分边值问题解的存在性与多重性.为证明问题解的多重性结果,本章建立了一个新的不动点定理,即,改进的Avery-Henderson不动点定理,给出存在三个不动点结论(原定理是两个不动点存在性),运用该定理和其他不动点定理以及单调迭代方法讨论了无穷区间上Hadamard型分数阶微分方程积分与多点边值问题正解的存在性和多重性.此外,我们还研究了无穷区间上Hadamard型分数阶微分方程积分共振边值问题,得到了解存在性结果,并证明了方程非线性项依赖于低阶导数情形的算子紧性判定准则(见引理4.7).本章改进的Avery-Henderson不动点定理为研究微分方程边值问题的多解性提供了判定准则.与已有文献相比,本章所研究的问题更一般,定理所给条件更弱.第五章研究带瞬时脉冲与非瞬时脉冲的分数阶微分方程Dirichlet问题解的存在性与多重性.运用极小作用原理和山路定理等临界点定理分别建立了脉冲问题以及含参脉冲问题解的存在性与多重性结果.以往的工作只是研究带一种脉冲形式的分数阶微分方程边值问题,所以本章研究的问题更宽泛,所得结果丰富了分数阶脉冲微分方程边值问题相关研究工作.第六章研究星图上分数阶微分系统边值问题解的存在性、唯一性以及Ulam型稳定性.本章研究的问题是微分方程边值问题在星图上的应用.通过运用Schaefer不动点定理和Banach压缩映射定理建立了星图上系统微分方程边值问题解的存在性与唯一性,同时证明了相关Ulam型稳定性.与已有文献相比我们研究的问题模型更具一般性,在较弱的条件下得到了解的存在性结果且还讨论了Ulam型稳定性.注意到,目前关于Ulam型稳定型在星图上微分方程边值问题以及高维(n>2)分数阶微分系统边值问题的研究中尚未涉及.因此,本章我们的工作推广、改进和丰富了相关结果.第七章总结了本文的主要结果,并对后续工作进行了展望.