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

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

一类无界时滞中立型微分方程的渐进稳定性

考虑具有无界时滞的中立型微分方程d/dt[x(t)-P(t)x(at)]+Q(t)x(βt)=0,t≥t0,P(t)∈C([t0,∞),R),Q(t)∈C([t0,∞),(0,∞)),0<α,β<1,当P(t)≠O时零解的一致稳定性和渐进稳定性,建立了该方程零解一致稳定及渐进稳定的充分条件.     

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

一个具有分片连续型自变量的混合型微分方程的稳定性分析

对一个具有分段连续型自变量的混合型的微分方程u′(t) =au(t) bu([t]) cu([t 1/2])的稳定性进行了分析.给出了解析解的表达式,得到了零解渐进稳定的条件.     

线性随机延迟微分方程分裂前向欧拉方法的稳定性分析(英文)

对于带有乘性噪声的线性随机延迟微分方程,研究分裂前向欧拉方法中的漂移分裂欧拉方法的数值稳定性,包括均方稳定性和T-稳定性。在方程系数满足一定条件下,证明当步长满足一定限制时,数值解是均方稳定的。进一步,将带有特定驱动过程的数值方法应用于给定的方程,分析差分格式,得到方法T-稳定的充分条件。     

随机微分方程稳定性的新的充分条件

考虑随机微分方程(SDEs)相容解的几种随机稳定性。Gard和Mao分别应用Lya-punov第二方法给出了保证It?型随机微分方程(SDEs)的相容解是随机稳定、随机渐近稳定及全局随机渐近稳定的充分条件,这些条件通常要求Lyapunov函数V(x,t)为正定函数。应用随机分析的技巧,在很宽的条件下,把Lyapunov函数V(x,t)正定的条件去掉,且仍然保证方程的解的几种随机稳定性。结果推广了随机微分方程稳定性的经典结果。     

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

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

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

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

具强迫项非线性泛函微分方程的振动性及渐近性

在本文中,我们研究了具强迫项的非线性泛函微分方程(1)的振动性及渐近性,建立了一组充分性定理,结论为在满足一定条件下,当n=2时,方程(1)的所有解x(t)为振动的;当n=3时,方程(1)的所有解x(t)或者振动,或者L_kx(t)单调趋于零(k=0,1,2.)。     

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

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

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

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

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

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

容许空间中无限时滞中立型泛函微分方程零解的稳定性

以相空间B为容许相空间,利用Liapunov泛函、D算子的一致稳定性和一致渐近稳定性,来研究一类无限时滞中立型泛函微分方程零解的稳定性;并在适当的条件下,得到该方程的零解是B一致稳定且B一致渐近稳定的结论.     

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

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

欧拉法对方程x'(t)+px(t)+qx(t-τ)=0数值解的振动保持性

主要用两种数值方法来研究延迟微分方程x'(t)+px(t)+qx(t-τ)=0数值解的振动性.分别用显式欧拉法和隐式欧拉法得到方程数值解振动的充分条件,同时证明了这两种方法能够保持方程解析解的振动性.     

随机延迟微分方程SST方法的稳定性

在延迟随机微分方程领域,随机分步theta(SST)数值方法的应用成果较少。研究随机分步theta(SST)方法应用于随机延迟微分方程(SDDEs)时的稳定性性质,给出在线性增长条件及单边Lipschitz条件下,SST数值解能保持原方程真实解几乎必然指数稳定的一个充分条件。数值模拟验证了所得结果的正确性及有效性。     

n阶非驻定系统的渐近稳定性

用第二方法判定非驻定系统号ax/(dt)=f(t、x)(其中x、f均为n维向量函数)零解的渐近稳定性时,需要构造一个具有无穷小上界的正定函数且要满足全导数dv/(dt)<0,这无疑是困难的。本文应用[1]中的定理一,从另一个角度出发,即如果能够找到一个包围着坐标原点的运动的闭曲面Xc_0(t)(以时间t为参数),当t→∞时,此闭曲面收缩到原点,而且在t_0时从闭曲面Xc_0(t)内原点附近发出的轨道不能与闭曲面Xc_0(t)相交,那么随着运动的闭曲面的收缩,将迫使轨道趋于原点。因而就可以断定零解是渐近稳定的。在此基础上给出一类n阶非驻定系统的渐近稳定性的判定准则。     

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

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