多值泛函微分方程的存在性和可控性

论文摘要

多值泛函微分方程和积分微分方程是非线性分析理论的一个重要分支,它在工程、经济、最优控制及最优化理论等领域有着广泛的应用。因此,对多值泛函微分方程和积分微分方程存在性和可控性的研究具有重要意义。 本文着重研究了一类二阶多值脉冲泛函微分方程的存在性,具有无穷时滞的一阶中立型多值泛函微分方程和积分微分方程的存在性和可控性,具有无穷时滞的Sobolev型泛函微分方程和积分微分方程的可控性以及具有无穷时滞的半线性多值脉冲泛函微分方程和积分微分方程的可控性。所得主要结果如下: 1.在有限维空间R上讨论了形如（p（l）y′（t））′∈F（l,yt）的二阶多值脉冲泛函微分方程的存在性。当脉冲函数满足一定的增长限制条件时,借助于Bohncnblust-Karlin不动点定理、Bressan-Colombo连续选择定理和Schaudcr不动点定理,分别在多值函数取凸值和非凸值的情形下建立了解的存在性定理。 2.首先讨论了形如和的具有无穷时滞的中立型多值泛函微分和积分微分方程适度解的存在性,然后考虑了带有无穷时滞的形如和的中立型多值泛函微分和积分微分方程适度解的可控性。利用解析半群理论和不动点定理,在一般的相空间B上建立了上述两系统适度解的存在性和可控性条件,所得结果改进了已有文献中关于有限时滞的结论。 3.讨论了具有无穷时滞的半线性Sobolcv型多值泛函微分系统（Ey（t））′-Ay（t）∈F（t.yt）+Bu（t）和积分微分系统的适度解的可控性。借助于线性算子的半群理论,在一般的相空间B上建立了上述两系统具有可控性的充分条件。结果的获得主要基于方程积分解的表示和不动点定理。 4.讨论了具有无穷时滞的半线性多值脉冲泛函微分系统和积分微分系统的可控性问题。通过引入合适的相空间BMh,利用线性算子的半群理论和不动点定理,给出了上述两系统具有可控性的充分条件。所得结果改进了相关文献中基于有限时滞的结论。

论文目录

• 第一章 引言
• 1.1 问题产生的背景和本文的主要工作
• 1.2 基本定义和定理
• 第二章 二阶脉冲多值泛函微分方程解的存在性
• 2.1 引言和预备知识
• 2.2 初值问题解的存在性
• 2.2.1 多值函数取凸值的情形
• 2.2.2 多值函数取非凸值的情形
• 2.3 边值问题解的存在性
• 第三章 中立型多值泛函微分和积分微分系统的存在性和可控性
• 3.1 引言和预备知识
• 3.2 适度解的存在性
• 3.3 适度解的可控性
• 第四章 Sobolev型多值泛函微分和积分微分系统的可控性
• 4.1 引言和预备知识
• 4.2 主要结果和证明
• 第五章 半线性脉冲多值泛函微分和积分微分系统的可控性
• 5.1 引言和预备知识
• 5.2 主要结论和证明
• 参考文献
• 在学期间发表或完成的论文
• 致谢