多延迟微分方程θ-方法的GPLm-稳定性

研究多延迟微分方程θ-方法的稳定性.通过分析相应特征方程根的性质,给出系统稳定的一个充分条件.进一步,引入数值方法GPLm-稳定的定义,证明当且仅当θ=1时,线性θ-方法将保持系统解析解不依赖于延迟的稳定性质.     

中立型延迟微分代数系统新θ-方法的稳定性分析

研究了线性中立型延迟微分代数系统数值方法的稳定性分析.首先回顾了此类方程解析解渐近稳定的一个充分条件,进一步证明了当θ∈(21,1]时,新θ-方法将保持这个中立型延迟微分代数系统解析解的不依赖于延迟的渐进稳定性质,最后给出了一些数值算例来说明主要结果.     

中立型多延迟积分微分代数方程二步Runge-Kutta方法渐近稳定性(英文)

分析向量值形式的中立型多延迟积分微分代数方程二步Runge-Kutta方法的渐近稳定性。首先给出中立型多延迟积分微分代数方程解析解渐近稳定的定义,并给出使得解析解渐近稳定的充分条件。随后给出二步Runge-Kutta方法的一般形式和数值解渐近稳定的定义,给出数值方法渐近稳定的充分条件,最后证明A-稳定的二步Runge-Kutta方法求解中立型多延迟积分微分代数方程是渐近稳定的,并给出数值算例验证结论。     

θ-方法求解非线性延迟微分方程的渐近稳定性分析

主要研究非线性延迟微分方程的数值稳定性.文中给出一个充分条件,使得在该条件下,由θ-方法所求的数值解可以保持解析解的渐近稳定性.     

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

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

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

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

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

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

二阶延迟微分方程解析解的渐近稳定性

通过研究二阶延迟微分方程y"(t)=λy(t)+μy(t-τ),λ,μ∈R\{0}的特征方程根的分布,给出了方程的解析解渐近稳定的一个充分必要条件.     

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

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

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

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

方程u''(t)=au(t)+a2u([t+2])的线性θ-方法数值稳定性

分析了方程u'(t)=au(t) a2u([t 2])的线性θ-方法的稳定性,给出了稳定区域,并得到了θ-方法稳定区域包含解析解稳定区域的条件.     

方程u′(t)=au(t)+a_2u([t+2])的线性θ-方法数值稳定性

分析了方程u′(t)=au(t) a2u([t 2])的线性θ-方法的稳定性,给出了稳定区域,并得到了θ-方法稳定区域包含解析解稳定区域的条件.     

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

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

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

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

方程x′(t)=ax(t)+bx([t])数值解的振动性(英文)

将θ-方法用于求解一类自变量分段连续型延迟微分方程,研究数值解的振动性以及数值方法对方程本身振动性的保持性质。通过对差分方程的分析,得到数值解在一般节点与整数节点处振动与非振动的等价性,进而获得了θ-方法的振动性条件,证明解析解的振动性能够被θ-方法保持。最后讨论了稳定性与振动性之间的关系。     

延迟积分微分方程线性θ-方法的渐近稳定性

将线性θ-方法用于求解非线性延迟积分微分方程,其中积分部分采用复化梯形公式计算,获得了方法渐近稳定的条件.     

线性随机比例延迟微分方程的半隐式Euler方法的均方稳定性

定义了变步长半隐式Enler方法,并将其应用于线性随机比例延迟微分方程,得到方程数值方法的差分方程,并证明了在随机比例延迟微分方程解析解均方稳定的条件下,当半隐式Euler方法中的参数θ满足条件θ∈(|a| |b|/2|a|,1]时,此方法应用于线性随机比例延迟微分方程所得的数值解是均方稳定的.最后给出了数值算例.     

线性脉冲时滞微分方程解的稳定性

通过对一类n阶线性脉冲时滞微分方程零解稳定性的讨论，建立了零解稳定性的比较结果，给出了零解一致稳定、渐近稳定与指数稳定的充分条件．所得结论推广了相关结果。     

一类非线性常微分方程组的零解稳定性的判别准则

讨论了一类非线性常微分方程组零解的稳定性，获得了其零解渐近稳定的充分条件，克服了以前用大系统分解理论进行研究时所得条件中必须判断一个新矩阵特征根实部为负的困难，所得条件简单、便于应用。     

多延迟微分方程θ-方法数值解稳定性

本文将研究多延迟微分方程数值解的稳定性，我们考虑如下线性试验方程U‘(t)=AU(t) ∑mj=1BjU(t-τj)二种θ——方法的数值特征，其中A，B1,…，Bm为复矩阵，给出了二种θ-方法是GPm稳定的充要条件．