论文部分内容阅读
非线性问题来源于几何学,天文学,流体力学,弹性力学,物理学,化学,生物,控制论,图像处理和经济学等许多学科.非线性泛函分析起源于一百多年前,它的目的就是建立一些抽象的拓扑方法和变分方法来研究这些应用学科中的非线性问题.虽然它是一个比较新的领域,但是已经取得了显著的进展,尤其是近三十年取得了快速发展,它已经成为现代数学分析的主流研究领域.非线性泛函分析的理论和方法源于数学的许多领域,比如常微分方程,偏微分方程,变分学,动力系统,微分几何,Lie群,代数拓扑,线性泛函分析,测度论,调和分析,凸分析,博弈论,优化理论等等.目前非线性泛函分析的主要内容包括拓扑度理论,临界点理论,半序方法,局部和全局分歧理论等.许多数学家为非线性泛函分析学科的发展做出了重要贡献,例如L. Lusternick, L. Schnirelman, M. Morse, R. S. Palais, S. Smale, E. Rothe, M. A. Krasonsel’skii, H. Amann, A. Ambrosetti, P. Rabinowitz, I. Ekeland, H. Brezis, L. Nirenberg.国户的张恭庆教授,郭大钧教授,陈文源教授,孙经先教授等在非线性泛函分析的许多领域都取得了非常出色的成就(参见文献[2,3,7,15,16,32,35,41,45,47,48,58,64,73,78,91,94]).在本论文中,我们首先用变分法得到了Schrodinger-Maxwell方程解的存在性结果,然后分别用上下解方法和不动点定理讨论了一类序列分数阶微分方程解的存在性.Schrodinger-Maxwell方程是在寻找非线性Schrodinger方程与一个未知静电场相互作用的驻波解时得到的.更多关于它的物理背景可以参考[29,39]及其中的参考文献.近年来,Schrodinger-Maxwell驻波解的存在性被许多学者广为研究,可以参见文献[17,19,3639,60,82,93,99,100].分数阶微分方程出现在许多研究领域,例如物理,化学,空气动力学,复杂介质电动力学,聚合物流变学,控制动力系统等等.近来,许多学者关注分数阶微分方程的初值和边值问题解的存在性,参见[13,42,43,57,61,63,75,80,96,98].分数阶微积分理论的进展可以参见[10,44,62,70,72,74,76,85].在第一章中,我们首先介绍了变分法的发展历程、基本思想以及一些最新进展,然后介绍了Sobolev空间的定义和相应的嵌入定理.第三节中引入了一个椭圆方程边值问题弱解的定义, (P.S.)条件的定义以及几个极小极大定理.第四节中介绍了几个常用不等式和Lebesgue积分理论中几个基本定理.最后一节介绍了Riemann-Liouville分数阶积分和导数的定义和几个基本性质.在第二章中,我们考虑如下的非线性静态的Schrodinger-Maxwell方程其中对于位势y,我们假设y∈C(R3,R),infx∈R3V(x)≥a1>0,a1>0而且对任意M>0,meas{x∈R3|V(x)≤M}<∞.对于非线性项f,我们没有假设所谓的"Ambrosetti-Rabinowitz"型条件,所以(P.S.)条件的验证变得非常复杂.为了克服这一困难,我们利用邹文明在文献[W. Zou Variant fountain theorems and their applications, Manu. Math.104 (2001) 343-358]中得到的变化的喷泉定理来证明问题(0.1)无穷多个高能量解的存在性.在第三章中,我们研究了如下带有Riemann-Liouville序列分数阶导数的微分方程的初值问题其中0<T<+∞而且f∈C([0,T]×R×R).通过讨论著名的Mittag-Leffler函数的性质,我们得到了对于证明主要结果非常重要的比较定理.如果假设问题(0.2)存在一对上下解,而且f满足合适的条件,我们利用单调迭代方法得到了问题(0.2)解的存在和唯—性结果.在第四章中,我们研究如下非线性序列分数阶微分方程的初值问题其中0<α≤1,f：[0,1]×R×R→R是连续的.我们利用Leray-Schauder型不动点定理和Banach压缩映像原理分别得到了问题(0.3)解的存在和唯一性.不同于前一章的单调迭代方法,我们不需要假设问题(0.3)存在一对上下解.