薛定谔方程向后欧拉全离散两网格混合有限元方法

针对二维依赖于时间的线性薛定谔方程,在空间方向采用混合有限元方法,时间方向利用向后欧拉方法,得到一种全离散混合有限元格式.为了将薛定谔方程耦合的实部和虚部解耦,提出了一种全离散混合有限元的两网格算法,将方程在细网格上的求解问题,简化为在一个相对更粗的网格上求解原问题以及在细网格上求解两个泊松方程,从而减小计算工作量,节...     

求解非线性时滞反应扩散方程的有限差分格式

建立了一个用于求解非线性时滞反应扩散方程的有限差分格式,在空间和时间方向上该格式分别具有四阶和两阶精度,用上下解方法给出了有限差分解的存在和唯一性,建立了一个单调迭代用于计算有限差分解,数值结果显示了该方法的优越性.     

一个带时滞的周期非线性反应扩散方程的周期解

本文研究一个描述疾病传染模型的含时滞的周期非线性反应扩散方程,用Banach空间的不动点理论论证了周期解的存在性、唯一性。     

一类时滞差分方程的渐近性态

本文研究一类时滞差分方程解的渐近性态,得到所有解当ｔ→∞时趋于有限值或零的充分条件。     

时滞反应扩散方程的周期解

通过构造上、下控制函数,结合上、下解及单调迭代方法研究了一类时滞反应扩散方程的周期解,证明了如果反应项非单调且一维边值问题存在一对周期上、下解,则方程一定存在唯一的周期解。并给出了二维边值问题周期解存在唯一性的充分条件。推广了已有的一些结果。     

对流-扩散方程的欧拉-拉格朗日修正格式

在欧拉-拉格朗日分裂格式的基础上,文章提出了一种改进的欧拉-拉格朗日分裂格式,主要对欧拉步进行了修正。改进后的格式比原来的格式精度更高,且为无条件稳定。     

时滞反应扩散方程周期解的存在稳定性

利用上、下解方法及不动点理论研究了一类反应项非单调的时滞反应扩散方程,构造了非单调反应项的上、下控制函数,并证明了所构造的函数满足Lipschitz条件及单调性,克服了反应项非单调无法利用单调迭代方法的局限性,为讨论反应项非单调的微分方程提供了一种有效方法,并获得了此系统边值问题周期解存在性的充分条件;另外,还给出了证明其周期解稳定的方法,推广了已有的一些成果。     

含时滞的反应扩散方程周期解的存在唯一性

通过构造上、下控制函数，结合上、下解及单调迭代方法研究了一类时滞反应扩散方程的周期解，证明了如果反应项非单调且一维边值问题存在一对周期上、下解，则方程一定存在唯一的周期解．并给出了二维边值问题周期解存在唯一性的充分条件，推广了已有的一些结果．     

具时滞边界条件的时滞反应扩散方程的迭代解法

给出一类求解具时滞边界条件的时滞反应扩散方程的数值方法,证明了迭代序列的单调收敛性以及差分格式的收敛性。     

细长受压杆的分岔特性研究

利用Lagrange描述法建立了受压细长杆因弯曲引起的轴向位移与横向位移之间的关系,并建立了由偏微分方程组描述的非线性动力学模型.通过对偏微分方程组的简化,得到了仅含三次非线性项的非线性动力学模型,并利用谱截断方法对此模型进行降阶.利用Lyapunov第一近似理论讨论了降阶模型的分岔特性.研究表明,受压细长杆在弯曲过程中Lagrange坐标的不变性为研究其动力学行为带来极大的便利,压杆的稳定性分析宜采用Lagrange描述法;当忽略杆由压缩引起轴向位移时,由弯曲引起的轴向位移与横向位移之间不存在耦合作用;当轴向压力小于某个值时,压杆只有直线一种平衡状态,且为稳定的;当大于这一值时,直线平衡状态失去稳定性而分支出两个稳定的非直线平衡状态,因而发生叉形分岔.     

数值级数法求解一类时滞微分方程

采用级数形式给出半离散差分格式在网格节点处的数值解以及计算级数中的每一项递推公式。离散后差分格式收敛性、稳定性分析表明该格式收敛且稳定,数值算例验证该方法有效。     

Linear stability of numerical methods for systems of functional differential equations with a proportional delay

The numerical solution of functional differential equations with a proportional delay is considered. The stability of general linear methods for linear systems of neutral type is investigated. It is shown that a general linear method with strict stability at infinity can preserve the asymptotic stability of the underlying system if we employ an appropriate equi-stage interpolation to approximate the delay argument.     

一类延迟微分方程的并行Rosenbrock方法

针对刚性大系统,根据实际数值仿真和科学计算的需要,提出了一类并行Rosenbrock方法.该方法将不同级分配到不同的处理器上同时计算,以提高计算效率.将其用到一类延迟微分方程上,并对其稳定性及收敛性进行讨论.该方法不需要迭代,具有良好的稳定性.     

隐式Runge-Kutta方法求解多延迟微分方程的GPLm-稳定性

研究了用IRK方法求解多延时微分方程数值解的稳定性,对于线性模型方程,分析并证明了IRK方法是GPLm-稳定的当且仅当它是L稳定的．     

一类非线性反应扩散方程的配置方法

对一类非线性反应扩散方程给出一种有限差分方法和配置法相结合的数值求解方法．对建立的配置求解格式，不但证明了数值解的存在唯一性，并给出完整的数值分析，得到了最优的先验误差估计．     

变时滞非线性细胞神经网络稳定性分析

通过构造新的Lyapunov-Krasovskii泛函和线性矩阵不等式（linear matrix inequatity,LMI）, 研究变时滞非线性细胞神经网络渐近稳定性, 利用牛顿-莱布尼兹公式, 一些参数矩阵表达出系统变量之间的关系。从而得出一个具有变时滞相关的全局渐近稳定性判据, 其扩展并改善了以前文献的结果。 数值及仿真例子验证了结果的有效性。     

Rosenbrock方法求解广义延时微分方程的GP-稳定性

研究了用Rosenbrock方法求解广义延时微分方程数值解的稳定性．证明了Rosenbrock方法是GP-稳定的当且仅当它对常微分方程是A-稳定的．     

具有时滞的广义Logistic模型的Hopf分支

研究了广义Logistic单种群时滞生态模型的Hopf分支问题.利用特征值理论和奇异摄动方法,给出了系统惟一正平衡态的稳定性和Hopf分支存在的充分条件,得到了分支周期解的近似解析表达式和判断周期解稳定性的计算公式,通过若干实例验证了理论分析和数值计算的一致性.     

求解多延迟中立型系统的数值稳定性

分析了用线性多步法求解一类多延迟中立型系统数值解的稳定性,在一定的Largrnge插值条件下,给出并证明了求解多延迟中立型系统的线性多步法数值稳定的充分必要条件.