banach空间二阶周期边值问题解存在性word格式论文.docxVIP

优秀毕业论文  PAGE 4 精品参考文献资料 J 同 常微分方程边值问题是常微分方程理论研究中一个重要分支，它在物理学、天文 学、生物学及社会学等研究领域内有着广泛的应用背景和重要的理论指导意义，有关这 一问题的研究早在一百多年前的 Sturm-Liouville 时期就己经开始了，至今，在问题研究 的深度、广度以及研究方法和工具方面都有很大的进展. 关于非线性常微分方程周期边值问题，己有十分丰富的研究成果，但 Banach 空间 的常微分方程理论是近四五十来发展起来的一个新的数学分支，它把常微分方程理论和 泛函分析理论结合起来，利用泛函分析理论研究 Banach 空间中的常微分方程. 它的理论 在不动点理论、临界点理论、特征值理论、偏微分方程及分歧理论等方面都有广泛的应 用. 近年来这方面的研究十分活跃，涌现了大量深入的研究结果. Banach 空间常微分方程的基本课题是建立类似于普通常微分方程的解的存在性和 唯一性定理，但由于有限维空间和无限维空间的本质差异，有限维空间常微分方程的基 本结果，对于无限维空间的常微分方程不再成立(文[3]，[4]) . 如古典常微分方程理论中 Peano 定理(存在性定理)就不再成立了. 即在无穷维 Banach 空间的情形，非线性项 f (t, x) 的连续性保证不了解的存在性. 为了保证解的存在性，除了 f (t, x) 的连续性外， 还要对 f 加上一定的条件，使用基本条件是紧型条件和耗散型条件. 基本方法是上下解 方法，还有其他条件和方法. 例如结合非线性半群研究的方法，在弱拓扑下研究方程解 所使用的弱紧型条件和弱耗散型条件等. 本文的主要目的是讨论 Banach 空间中的二阶周期边值问题 ? ? ?u//(t) + bu/(t) + cu(t) = f (t, u(t)), t ∈ I = [0, ω], ? ? u(0) = u(ω), u (0) = u (ω), (1) ? / / 的可解性，其中 b, c ∈ R. 关于 Banach 空间中二阶周期边值问题解的存在性有许多结 果(见文[9]-[11]) . 文[9]与[10]使用的是上下解单调迭代方法，均要求非线性项 f (t, x) 关于 x 序增 . 文[11]利用非紧性测度的性质和凝聚映射不动点定理获得了若干解的存在性与唯 一性结果 . 但己有的工作大多数都是在研究不含一阶导数项的二阶周期边值问题，即周 期边值问题 PBVP(1)中 b = 0 的情形 . 对于 b /= 0 的一般情形，研究的很少. 本文对周期 V 口 边值问题 PBVP(1)的可解性进行了讨论，得到了一些解的存在性结果，改进和推广了 上述作者的工作 . 本文使用的主要的工具是半序理论，上下解单调迭代方法，非紧性测度，凝聚场的 拓扑度及锥上不动点指数理论 . 本文需要的这方面的结果整理在下面的 §1 中 . 在 §2 中 我们通过在有序 Banach 空间中，当周期边值问题 PBVP(1)存在下解 v0 与上解 w0 ，使 v0 ≤ w0 时，建立了一个新的比较定理以及对线性方程解算子范数的精确计算，应用上 下解单调迭代方法获得了若干解的存在性唯一性结果 . 与文[9]，[10]相比，我们研究的 微分方程更具一般性，改进和推广了己有的结果 . 在 §3 中我们效仿 §2 的方法，也新建立了一个比较定理，再利用反序上下解单调迭 代方法，在有序 Banach 空间中，讨论了当周期边值问题 PBVP(1)的下解 v0 与上解 w0 ，满足 v0 ≥ w0 时，解的存在性 . §4 中我们通过借助 §2 中对线性方程解算子范数的精确估计并利用凝聚场的拓扑度 讨论了 Banach 空间中二阶周期边值问题的可解性，把对非线性项 f (t, x) 有界推广为一 次增长情形，在非常弱的条件下获得了解的存在性结果 . 在 §5 中，我们利用凝聚映射的 Sadovskii 不动点定理研究了有序 Banach 空间周 期边值问题 PBVP(1)的正解的存在性.近年来，有一些研究都是在有序 Banach 空间， 利用凝聚锥映射的 Krasnoselskii 不动点定理讨论二阶常微分方程周期边值问题正解 的存在性 . 但对非线性项 f (t, x) 提出的条件一般不易检验 . 而本节提出较易检验的序 条件(P2)，(P3)或(P4)，(P5)，在一定的非紧型测度条件下,通过非紧型测度的精细计 算,运用凝聚映射的不动点指数理论，获得了周期边值问题 PBVP(1)正解的存在性结果 .  § 1 预备结果 一 锥与半序 熟知 Banach 空间中的序结构与闭凸锥是两个等价的概念，一个序关系总可由一个 闭凸锥引出 ( 见文 [1]与 [2])