函数的Lobatto展开和投影型插值的应用

在函数的Lobatto展开和投影型插值理论基础上进一步研究了投影型插值的新性质。首先，提出了一个新的误差估计模型——投影型插值的逐点误差估计，此估计的插值次数k可以动态增加并给出误差系数与k的关系。其次，给出了误差多项式的递推计算方法及其逼近曲线，直观地反映了投影型插值的一致逼近性。最后，通过变系数两点边值问题的数值算例验证了投影型插值是高次有限元计算中的最佳插值。     

一类随机微分方程向后欧拉解的指数稳定性

本文给出随机微分方程向后欧拉逼近解满足指数稳定性的充分条件。通过将线性增长条件改为耗散性条件,改进了已有的结果。此外,构造了一个例子,并通过数值模拟验证了本文的结论。     

微分方程解的先验估计

对于给定的二阶线性微分方程的两点边值问题，在工程上利用计算机进行此类微分方程的数值解时，必须考虑数值解是否稳定，算法能否得以实现．为此必须考虑其解的存在性，即讨论它的解是否具有稳定性．针对两点边值问题的二阶线性微分方程的解的估计，运用能量分析法对微分方程的解进行先验估计，并在不同的范数条件下，给出了具体的表达式．     

非线性泛函积分微分方程的多步龙格-库塔方法的耗散性

研究了非线性泛函积分微分方程系统数值解的耗散性,给出了关于这类方程的多步龙格-库塔方法的耗散性的充分条件,进一步利用数值算例验证了该方法的主要结果.     

一类滞时微分方程的Hopf分歧

应用Liapunov-Schmidt约化方法，研究了一类滞时微分方程的Hopf分歧问题，在Hopf分歧点的附近，给出了周期解枝的近似解析表达式，同时用Liapunov-Schmidt约化方法结合分片Hermite插值多项式的配置法求解了Hopf分歧点附近的周期解枝，发现理论分析结果和数值结果吻合，证实了用Liapunov-Schmidt约化方法求解滞时微分方程周期解的有效性与可行性．     

二阶时滞微分方程周期解的存在唯一性及数值解法

证明了二阶时滞微分方程的周期解存在唯一的一个充分条件,讨论了其周期解的数值解法:利用数值微分和线性插值对微分方程进行离散,得到非线性方程组,再用牛顿法求解;最后给出了实例,说明了方法的有效性.     

求解随机微分方程的欧拉法的收敛性

对于求解随机微分方程的数值方法，给出了衡量其有效性的标准之一即强收敛性．证明了欧拉法用于求解标量自治随机微分方程时，在方程的偏移系数和扩散系数均满足线性增长条件和全局李普希兹条件的情形下，当噪声为增加噪声和附加噪声时，欧拉法的收敛阶分别为0．5和1．0．     

时滞微分方程的耗散性及其应用

讨论了一类Dini导数给出的微分不等式的耗散特性．利用连续Lipschitz算子的测度研究了滞后型微分方程的耗散性．并应用于时滞Hopfield神经网络,获得了其一致耗散性及平衡点全局一致渐近稳定的充分条件．     

一类二阶变系数线性微分方程的求解

通过自变量变换，将满足一定条件的二阶变系数线性微分方程转化为二阶常系数线性微分方程，进而求其通解，从而找到了二阶变系数线性微分方程的一个新的可积类型；同时，给出了欧拉方程“换元法”解法的一个理论依据．     

线性多步法求解中立型延迟微分方程的步长准则

讨论了线性多步法用于求解中立型延迟微分方程时的步长准则，给出了数值解渐近稳定的一个充分条件，最后的数值试验验证了本文所获理论结果的正确性。     

半线性发展脉冲微分方程解的存在性

利用线性算子的半群理论和Schauder不动点定理，在一定条件下获得了抽象空间中半线性发展脉冲微分方程解的存在性，得到了抽象空间中半线性发展脉冲微分方程解存在的一个充分条件，最后给出了该充分条件的具体应用实例．     

分数阶常微分方程初值问题的高阶近似

对于整数阶常微分方程的数值解法,如欧拉法、线性多步法等都已有较完善的理论.而对于分数阶微分方程数值方法和误差估计的理论研究相对较少.在这篇文章中,我们考虑最简单的分数阶常微分方程,引进了分数阶的线性多步法,导出了分数阶常微分方程初值问题的高阶近似,证明了其方法的相容性和收敛性,并且给出了稳定性分析.最后给出了一些数值例子,证实了这个分数阶线性多步法是解分数阶常微分方程的一个有效方法.     

非线性MDDEs系统的隐式Euler法的稳定性

给出了一类非线性多滞量时滞微分方程系统的理论解为稳定的一个充分条件,特别指出隐式Ｅｕｌｅｒ法求解该类问题时是数值稳定的。     

一类二阶时滞微分方程解的振动性质

利用函数平均技巧,改进并推广了有关论文中所给出的二阶时滞微分方程解的振动性准则,得到了一类二阶时滞微分方程解的振动性质的一些新的充分判据.     

一类线性微分方程线性无关解的表示

给出了具有两个线性无关解的三阶齐线性微分方程另一个解的具体表达式,并证明了它们的线性无关性．     

一类奇异半线性偏微分方程的上下解方法

利用变分方法，讨论了一类奇异半线性偏微分方程的一般上下解方法．作为应用．证明了含有正负指数项的一个重要的奇异半线性偏微分方程的解存在性．     

二阶差分方程边值问题正解的存在性

运用 Ｓｃｈａｕｄｅｒ不动点定理，在非线性项 ｆ满足超线性或次线性条件下，给出了边值问题正解的存在性结果，将微分方程的相关结果推广到了差分方程．     

广义随机 Markov 跳变系统的耗散控制

本文研究了带有布朗运动的广义随机Markov跳变系统的耗散控制问题。首先给出了系统随机容许性的充要条件和系统严格耗散性的充分条件。在此基础上给出了基于严格线性矩阵不等式的状态反馈控制器的设计方法,使得相应的闭环系统是随机容许的和严格耗散的。最后用数值算例验证了所得结论的正确性。     

广义随机Markov跳变系统的耗散控制

本文研究了带有布朗运动的广义随机Markov跳变系统的耗散控制问题.首先给出了系统随机容许性的充要条件和系统严格耗散性的充分条件.在此基础上给出了基于严格线性矩阵不等式的状态反馈控制器的设计方法,使得相应的闭环系统是随机容许的和严格耗散的.最后用数值算例验证了所得结论的正确性.     

Volterra泛函微分方程线性θ-方法的散逸性

研究一类Volterra泛函微分方程数值方法的散逸性问题.给出求解此类问题的线性θ-方法的散逸性结果,结果表明该数值方法继承方程本身的散逸性,数值试验佐证理论结果的正确性.