Banach空间脉冲发展方程整体解的存在性及其应用

研究了Banach空间中一阶脉冲发展方程的初值问题.在紧半群情形下,对脉冲函数不限制任何条件：既不附加紧性条件,也不假定其连续.采用逐段延拓的方法,讨论了无穷区间上一阶脉冲发展方程初值问题mild解的整体存在性.并将所得抽象结果运用到抛物型偏微分方程上,得到该方程古典解的存在性.     

Banach空间脉冲微分方程初值问题的一种拟上下解方法

对Banach空间E中的脉冲微分方程初值问题引入了L-拟上下解的概念。在一定的单调性条件和非紧性测度条件下,通过构造L-拟上下解的单调迭代过程,获得了其最小、最大L-拟解对的存在性以及在最小、最大L-拟解对之间解的存在性。     

光滑无边紧流形上的线性抛物方程

用半群方法证明光滑无边紧流形上线性抛物方程的广义解的存在性抛物并通过讨论解的正则性，得到古典解的存在惟一性及Ｓｃｈａｕｄｅｒ型先验估计。     

一类泛函微分方程的初值问题

证明了一类泛函微分方程初值问题解的存在性定理，并运用这一结果研究了高阶微分方程边值问题解的存在性。     

Banach空间中一阶初值问题的整体解

在紧型条件下讨论了一般Banach空间中一阶常微分方程初值问题整体解的存在性，利用饱和解的性质，用局部延拓的方法，获得了整体解的存在性结果。     

Banach空间中一阶脉冲微分方程初值问题解的单调迭代方法

在不假定f满足非紧性测度及上下解存在的情形下,运用单调迭代方法,讨论了无穷区间上一阶脉冲微分方程初值问题解的存在性与正解的存在唯一性,对脉冲函数没有加任何单调性结果,改进了已有的结果.     

具有时滞的脉冲Rayleigh型方程的周期解

讨论了一类具有时滞的Rayleigh型微分方程在脉冲扰动下周期解的存在性.通过将所考虑问题转换成相应的算子方程,得到了解的先验估计,然后利用Mawhin重合度理论,在脉冲项是有界的条件下,得到了该微分方程至少存在一个周期解.所得结果即使对相应的非脉冲Rayleigh型方程也是新的.     

脉冲滞后泛函微分方程解的相对初值的可微性

广义常微分方程的解不一定是可微的或是关于变元连续的,但仍可以得到其相对初值问题解的可微性定理。脉冲滞后泛函微分方程作为一种具体形式的广义常微分方程,具有广义常微分方程的相应结论。因此,借助广义常微分方程的解相对初值问题可微性定理,建立脉冲滞后泛函微分方程解的相对于初值问题的可微性定理。     

二阶线性脉冲微分方程的振动性

研究一类二阶线性脉冲微分方程解的振动性，揭示了此类方程与相应的非脉冲方程在振动性方面的联系。     

具逐段常数变元的一阶脉冲微分方程的周期边值问题

利用上下解方法，研究了一类具逐段常数变元的脉冲微分布方程的周期边值问题的解存在性。     

脉冲控制的带时滞的捕食食饵系统的持续生存和周期解

讨论了一类脉冲控制的带时滞的捕食食饵系统的动力学行为,首先利用脉冲微分方程比较原理证明了系统的持续生存性,进而证明系统周期解的存在性,给出了周期解全局渐进稳定的充分性条件.     

具有Michaelis-Menten类型功能反应的捕食与被捕食脉时滞冲微分方程的周期解的存在性

研究具有Miehaelis-Menten类型功能反应的捕食与被捕食脉冲微分方程的周期解的存在性.通过运用Mawhin的延拓定理得到了正周期解的存在的充足的和合理的情况.     

三维非线性Sobolev-Galpern方程有限差分逼近的长时间行为(英文)

研究三维非线性Sobolev-Galpern方程Dirichlet初值问题的一个全离散有限差分格式。利用离散空间泛函分析和能量估计的方法证明了此数值格式的唯一可解性,同时得到了此差分格式的长时间的稳定性和收敛性。进一步,证明了离散动力系统整体吸引子的存在性以及离散动力系统的上半连续性。上述结果说明该数值离散格式可有效地模拟相应的无穷维动力系统。     

基于神经网络的常微分方程数值计算方法

科学与工程应用中常用微分方程来建模,提出了一种基于余弦基神经网格的计算微分方程的新方法,其基本思想是以神经网络的输出来近似初值问题中的解析解.为保证算法的收敛性,提出并证明了神经网络算法的收敛性定理,为神经网络学习率的选择提供了依据.通过实例证明了该算法的有效性.     

一类非线性三阶三点边值问题单调正解的存在性

考虑了一类非线性三阶常微分方程三点边值问题单调正解的存在性.通过运用迭代技巧,不仅得到其单调正解的存在性,还给出两个迭代序列,并且迭代序列的初值是简单的零函数和一次函数,从计算的角度来说是有用的和可行的.最后通过实例说明了所得结果的重要性.     

一类脉冲捕食系统的周期解的存在性

由于脉冲现象在自然界中广泛存在,在建立生态模型时引入脉冲效应能更真实、更准确地描述种群的变化规律。该文研究具有脉冲和Beddington-DeAngelis功能反应的捕食系统,运用重合度理论研究其周期解的存在性,得到了周期解存在的充分条件。     

耗散型欧拉方程的全局弱吸引子

引入了相对于(d,δ)拓扑的弱吸引子概念,利用半群方法证明了耗散型欧拉方程全局弱吸引子的存在性.     

p-Laplacian算子多点边值问题正解的存在性

研究一类具有p-Laplacian算子的常微分方程多点边值问题.首先通过对方程两边积分得到等价积分方程,然后利用锥上的不动点指标定理证明积分方程存在正解,最终得到p-Laplacian算子多点边值问题存在一个正解和多个正解的结论.     

一类不适定的椭圆方程部分Dirichlet问题的正则化

讨论椭圆方程部分Dirichlet边值问题,证得这种边值问题弱解的存在性及非唯一性.由此可见这类问题是不适定的.利用上述方程的混杂边值问题的弱解,将上述不适定问题进行了正则化,得到上述偏微分算子的右逆.