线性分段连续型随机微分方程数值解的收敛性和稳定性

把Back-Euler方法应用到线性分段连续型随机微分方程上,研究对给定步长该方程数值解的收敛性和对任意步长数值解的均方稳定性,在处理线性项的矩阵时,证明的方法主要应用了矩阵范数,从而达到要研究线性分段连续型随机微分方程数值解的收敛性和稳定性的目的.     

方程x′(t)=ax(t)+bx([t])的线性θ-方法的数值解的稳定性

讨论分段连续型延迟微分方程(EPCA)数值解线性θ-方法的稳定性,研究方法的稳定性和收敛性,证明数值解趋于零与其在整数节点上的值趋于零等价,同时,在每个区间[n,n+1]内,这些方程可以看作是常微分方程,并且证明数值方法保持收敛阶,得到方程x′(t)=ax(t)+bx([t])解析解的稳定区域包含在数值解的稳定区域内的条件,给出方程稳定性的充分必要条件.     

超前型自变量分段连续型微分方程的Runge-Kutta方法的数值稳定性

讨论一类特殊类型的超前型自变量分段连续型微分方程的解析解的稳定性,及应用Runge-Kutta方法于该方程所得数值解的稳定性。应用M.Z.Liu等在1990年证明的结果给出了N2时解析解渐近稳定的充分条件;同时给出了N=2时解析解渐近稳定的充要条件。利用Or-der-Star和Padé逼近理论,给出了当Runge-Kutta方法的稳定函数是ex的Padé逼近时数值解保持解析解渐近稳定的充分必要条件。     

二维不可压缩层流模型数值解与稳定性

层流流动稳定性的研究主要在于数学模型的建立以及求数值解.以Poiseuille流动为例,运用谱方法对二维不可压缩层流模型Orr-Sommerfeld方程进行了展开与数值计算,得到了相应的层流稳定性数值条件.计算结果表明,谱方法具备较高的数值精度和较少的计算时间.     

中立型Volterra时滞积分微分方程线性多步法的稳定性

主要研究线性中立型Volterra时滞积分微分方程的数值稳定性.在此类延迟微分系统渐进稳定的充分条件下,证明了所有的A-稳定的线性多步方法都将保持此方程的精确解的不依赖于延迟项的稳定性.数值试验验证了主要结论.     

方程x''''(t)=ax(t)+bx([t])的线性θ-方法的数值解的稳定性(英文)

讨论分段连续型延迟微分方程(EPCA)数值解线性θ-方法的稳定性,研究方法的稳定性和收敛性,证明数值解趋于零与其在整数节点上的值趋于零等价,同时,在每个区间[n,n+1]内,这些方程可以看作是常微分方程,并且证明数值方法保持收敛阶,得到方程x’(t)=ax(t)+bx([t])解析解的稳定区域包含在数值解的稳定区域内的条件,给出方程稳定性的充分必要条件。     

非线性脉冲微分方程Runge-Kutta方法的渐近稳定性（英文）

研究非线性脉冲微分方程在全局Lipschitz条件下,精确解和Runge-Kutta方法数值解的渐近稳定性;在非线性函数满足Lipschitz条件下,给出解析解渐近稳定的条件;讨论几类显式RungeKutta方法应用于该方程时数值解渐近稳定的条件,证明在满足收敛阶的条件下,数值解可以保持解析解的渐近稳定性,当p≤4时,上述结论成立,当p 4时,上述结论不成立。数值算例验证了结果的有效性。     

半线性分段连续型随机微分方程数值解的收敛性和稳定性

将Back-Euler方法应用到半线性分段连续型随机微分方程上,研究对给定步长该方程数值解的收敛性和对任意步长数值解的均方稳定性,在处理半线性项的矩阵时,证明的方法主要应用了矩阵范数,从而达到要研究半线性分段连续型随机微分方程数值解的收敛性和稳定性的目的。     

有限延迟差分方程中的平均理论

延迟差分方程的解的研究在实际应用中有着广泛的应用,对其解可以从数值分析、定量定性分析及稳定性分析等方面进行研究.利用平均理论对此类方程的解进行定量分析.     

非线性脉冲微分方程的Runge-Kutta方法的稳定性分析

考虑了一般的非线性脉冲微分方程,对该方程进行了解析解和数值解的稳定性分析.在不受脉冲影响的原方程满足单边Lipschitz条件,及脉冲项满足相应的Lipschitz条件的情况下,给出了一个容易判别的解析解渐近稳定的充分条件.把脉冲点作为节点,定义了一个收敛的变步长的Runge-Kutta方法.并且证明了如果一个方法是代数稳定的,则该方法的数值解保持解析解的渐近稳定性.     

数值级数法求解一维抛物型方程

介绍一种新的求解一维抛物型方程的方法叫数值级数法.该方法的特点是在离散后的网格点处将数值解用级数的形式表示.数值算例表明该方法不仅有非常好的收敛性和稳定性,还有很高的精度.     

一类高阶有理差分方程的动力学性质

应用高阶有理差分方程的知识理论，给出了高阶有理差分方程■的若干个动力学定理，得到了解的有界性和正平衡解的局部渐近稳定性、全局渐近稳定性和素二周期解等结论，并用Matlab的数值计算来印证结论.     

马尔科夫调制Fokker-Planck方程Milstein方法的收敛性和稳定性

考虑一类马尔科夫调制的Fokker-Planck方程,研究Milstein方法在均方意义下的收敛性和稳定性.证明Milstein方法的收敛阶为1/2,并且给出数值解均方稳定的条件和步长限制表达式.数值实验进一步验证了结论的正确性.     

修正的Helmholtz方程柯西问题的一种正则化方法

修正的Helmholtz方程柯西问题是严重不适定的,其解不连续依赖于所给的柯西数据,因此在数值上需用正则化方法恢复其稳定性.用一种修正的非局部边值问题方法处理了这一不适定问题.在对精确解的先验假设和正化参数的选取下,得到了相应的收敛性估计,数值结果表明该方法是稳定可行的.     

一类双时滞能源价格模型的稳定性及Hopf分支分析

对具有两个时滞的能源价格模型,通过分析线性方程对应的超越特征方程根的分布情况,运用Nyquist准则,研究系统零解的稳定性以及局部Hopf分支的性质,得到平衡点稳定的充分条件及产生Hopf分支的条件;利用规范型理论和中心流形定理讨论系统Hopf分支的分支方向和分支周期解的稳定性,给出关于分支方向和分支周期解稳定性的计算公式。利用MATLAB软件进行相应的数值模拟,通过数值例子验证了理论分析的结果。     

双时滞Holling型捕食-食饵系统的Hopf分支

研究了一类具有双时滞的Holling型捕食-食饵模型.讨论了该系统的正平衡点的局部稳定性以及Hopf分支存在的充分条件.利用中心流形定理和规范型理论,得出确定该系统Hopf分支方向和分支周期解稳定性的计算公式.最后,运用数值模拟验证结论.     

一类Gause型食物链模型Hopf分支的存在性

考虑一类三维Gause型食物链模型,通过对模型线性部分对应特征方程特征根的分布情况的讨论给出了模型平衡解的稳定性和Hopf分支的存在性,利用中心流形理论和规范型方法给出分支周期解的方向及其稳定性公式,并给出一组数值模拟数据来说明分支周期解的方向,周期及其稳定性。     

θ-方法对分段连续型延迟微分方程的渐进稳定性

运用线性θ-方法和单腿θ-方法处理了带有一个延迟项(t)的分段连续型延迟微分方程数值解的渐近稳定性问题.应用线性θ-方法和单腿θ-方法解方程时,由于这个方程是定义在[n,n+1)上,即不包含区间的右端点,结果两种θ-方法得到了相同的差分方程.运用θ-方法给出了在单位时段[n,n+1)任意分划情况下的解析解的稳定区域包含在数值解的稳定区域的充分必要条件,最后相应地给出了几个数值算例.     

非线性延迟微分方程线性多步方法的收缩性

修正了现有文献中关于延迟微分方程理论解稳定性结果的证明过程．此外还讨论了一类线性多步法求解该类非线性问题的数值稳定性与渐近稳定性     

分段连续微分方程θ-方法的稳定性(英文)

讨论分段连续型微分方程x′(t)=ax(t)+a1x([t+3])的解析解的稳定性,得出其渐进稳定的一个充分必要条件。应用θ-方法求解此分段连续型微分方程,得到相应的数值稳定区域,给出数值解的稳定区域包含解析解的稳定区域的一个充分必要条件。应用线性θ-方法求解了微分方程x′(t)=ax(t)+a1x([t+p]),给出此类数值方法渐进稳定的一个充分条件,得出数值解的稳定区域包含解析解的稳定区域的充分条件。