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

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

Euler法对方程x'(t)=ax(t)+a_0x(2[t+1/2])的数值解的振动保持性

给出了方程x'(t)=ax(t)+a0x(2[t+1/2])在Euler法下数值解的振动分析.得到了超前时滞混合型微分方程振动的充要条件.证明了Euler法保持了数值解的振动.     

变系数变延迟微分方程的单腿θ-方法稳定性

本文考虑变系数变延迟微分方程在任意步长的单腿θ—方法的数值有界稳定性,给出了单腿θ-方法稳定的充分必要条件．即考虑任意步长hn情况下单腿θ-方法的数值有界稳定性,分别得到与固定步长情况下数值有界稳定充分必要条件相同的结果．     

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

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

中立型泛函微分方程θ-方法稳定性分析

研究以下中立型泛函微分方程y′(t)=Ay(t)+s∑i=1Biy(qit)+k∑i=1Ciy′(pit)数值稳定性,其中A,Bi,(i=1,…,s),Ci(i=1,…,k)是复矩阵,0＜q1≤q2≤…≤qs＜1,0＜p1≤p2≤…≤ps＜1.我们给出了θ-方法渐近稳定的充分必要条件.     

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

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

自变量分段连续超前型延迟微分方程的θ-方法的数值振动性

讨论θ-方法对自变量分段连续超前型延迟微分方程X'(t)=ax(t) a1x([t 1])的数值振动性.把θ-方法应用到方程X'(t)=ax(t) a1x([t 1]),得到了数值解的差分格式.证明了任意数值节点上数值解的振动性等价于整数节点上数值解的振动性.利用差分方程的所有解振动等价于其特征方程没有正根这一重要结论,得到了整数节点上数值解振动的充要条件,从而得到了任意节点上数值解振动的充要条件.     

对流扩散方程的全离散Legendre和Chebyshev谱方法

用Legendre和Chebyshev谱方法对一维对流扩散方程的初边值问题{ut-νuxx+(bu)x+b0u=f(x,t),x∈Λ,t∈J,u(±1,t)=0,t∈J,u(x,0)=u0(x),x∈Λ。进行数值分析,研究全离散的Euler隐格式,证明Euler隐格式的稳定性,得到近似解的收敛性及与精确解之间的误差估计。     

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

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

求非线性方程组所有根的Newton场线法

为求解非线性方程组F(x)=0,提出Newton场线微分方程x_t(t)=-(DF(x))~(-1)F(x),x(0)=x~0.在m重根x~*的中心场域中任取初始点x~0,证明了用前向Euler格式得到的解序列x~n一定收敛到此根,故场线法大范围收敛.由此提出求非线性方程组所有根的场线算法,其有效性为数值试验所证实.     

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

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

分段连续型随机微分方程的均方稳定性分析

考虑了自变量分段连续型随机微分方程(dX(t)=(a1X(t) a2X([t]))dt (61X(t) b2X([t]))dW(t)的解析解和数值解的均方稳定性.得到了解析解的表达形式,证明了当2a1 b2 b21 b222|a2 b1b2<0时,解析解是均方稳定的.在此条件下,讨论了由半隐式欧拉方法得到的数值解的稳定性,得到如下结论:当0≤θ相似文献   

二阶脉冲微分方程Neumann边值问题的多重正解

利用锥不动点定理研究了二阶脉冲微分方程Neumann边值问题 解的存在性问题{x"(t) p21x(t)=f(t,x),t≠tk,00,通过证明,给出具体条件,得出其存在1个正解的结论.据此加以推广,又得到该边值问题存在2个及n和2n-1个正解的情形.     

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

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

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

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

中立型延迟微分方程的Euler-方法的数值振动性

讨论了中立型延迟微分方程ddt(y(t) py(t-r)) qy(t)=0的Euler-方法的数值振动性.把显式Euler方法和隐式Euler方法分别应用到这个中立型微分方程,得到了两个关于数值解的差分方程.利用差分方程的所有解振动等价于其特征方程没有正根这一重要结论,得到了这两个差分方程所有解振动的充分条件,从而得到了差分方程振动的充分条件.     

非线性方程的周期积分边值问题分析

针对二阶非线性微分方程的周期边值问题进行研究.而且主要是对x″+q(t)x'+h(t)x+f(t,x)=0二阶非线性微分方程解的问题进行研究,分析在一些假设条件下二阶非线性微分方程解的存在性和惟一性.在二阶非线性微分方程中,假设f(t,x)有界,∫t0q(s)ds有界,并且存在常数a和b,使得对于所有的t∈[0,T],有a≤q(t)≤b,则二阶线性方程(p(t)x')'+q(t)x=0,x(0)=x(T),∫T0x(s)ds=0有惟一解,并且当h(t),q(t),p(t)连续时,方程(p(t)x')'+q(t)x=h(t),x(0)=x(T),∫T0x(s)ds=0有惟一解.     

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

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

具正负系数的脉冲中立型时滞微分方程的振动性

建立了脉冲中立型时滞微分方程[x(t)-R(t)x(t-r)]′ P(t)x(t-r)-Q(t)x(t-)δ=0,t≥t0,(*)x(kτ )=bkx(kτ),k=1,2,…(**)所有解振动的充分条件.在适当的脉冲条件下,方程(*)的振动性被脉冲系统(*)和(**)所继承.     

一类二阶积分-微分方程解的有界性与渐近性

本文讨论了积分一微分方程（a(t)x′）′-F（t,x）-θ（t）∫t0^th(t,s,x(s))ds=f(t)(1)解的有界性与渐近性,并给出了有关的结果．