方程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])解析解的稳定区域包含在数值解的稳定区域内的条件,给出方程稳定性的充分必要条件。     

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

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

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

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

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

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

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

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

高阶非线性时滞差分方程解的振动性和渐近稳定性

研究一类高阶非线性时滞差分方程Δd 1xn-1 pnf(xn-τ) qng(xn-σ)=0的解的振动性和差分方程Δd 1xn-1 pnf(xn-τn) qng(xn-σn)=0解的渐近稳定性,其中d为偶数,pn,qn≥0.τ,σ>0.τn,σn都是整数,f,g是非减函数,当x≠0时xf(x)-xg(x)>0.在文献[1-4]的基础上,给出其振动的充要条件,指出非振动解当n→ ∞时渐近趋于零或趋于非零有限值时的充分条件.改进和推广了[5-6]相应的结果,且举出两例说明定理的应用.     

方程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)+px(t)+qx(t-τ)=0数值解的振动保持性

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

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

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

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

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

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

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

关于单位分数的丢番图方程

给出了某些单位分数丢番图方程的一般解,并给出了丢番图方程sum from i=1 to n(1/(x_i))=(a/b),(a,b)=1存在整数解的一个充要条件.     

函数f(x;A,B)=-x+(Acosx+B)/sinx的性质

讨论了函数f(x;A,B)=-x+(Acosx+B)/sinx在不同系数情况下的单调性,并给出了反函数的存在性,完整地刻划了其性态。这类函数在给出线性自治RDDEx(t)+ax(t)+bx(t-τ)+dx(t-τ)=0零解渐进稳定的充要条件,并直接从方程的系数预报稳定性与非稳定性中起重要作用。     

具连续变量脉冲中立型时滞差分方程的振动性

利用构造函数法研究了具连续变量脉冲中立型时滞差分方程的振动性.首先通过构造辅助方程得到了辅助方程与所研究方程解振动性的等价定理,然后利用研究具连续变量差分方程所有解振动的方法,研究了辅助方程的振动性,得到了具连续变量脉冲中立型时滞差分方程所有解振动的两个充分性条件.     

具有"∑小"系数的二阶差分方程的振动性

建立了具有"∑小"系数的二阶差分方程△(a(n)△x(n))+q(n)△x(n)+p(n)x(n)=0,n=1,2,…的解的振动准则,并得到了一个比较定理.     

二阶奇异Neumann边值问题正解的存在性

运用锥上的不动点定理,考虑二阶奇异Neumann边值问题{x″(t)+a(t)x(t)=f(t,x(t)),t∈(0,1),x'(0)=x'(1)=0,正解的存在性,其中0a(t)(π2)/4,f∈C((0,1)×(0,+∞),[0,+∞)),且在t=0,t=1和x=0处允许有奇性。考虑对应问题的格林函数及其正性的估计,将其转化为等价的积分方程,即将问题正解的存在性问题转化为判断一个算子方程不动点的存在性问题进行求解。讨论算子的全连续性,最后证明问题(2)正解的存在性。     

二阶非线性扰动微分方程的振动准则

讨论了二阶非线性扰动微分方程(a(t)x′(t))′ Q(t,x)=P(t,x,x′)的振动性,通过利用推广的Gronwall不等式理论,改进和推广了由W intner和Lighton[2]建立的关于微分方程(a(t)x′(t))′ q(t)x(t)=0的所有解振动的一个经典结果,最后的注解给出了充分的说明.     

一类二阶线性自治时滞方程的振动性

考虑二阶线性自治时滞方程x(t)+bx(t)+qx(t-τ)+ kx(t)+lx(t-τ)= 0其中b,q,κ,l,τ为常数,τ＞0.方程(*)是许多力学问题的数学模型.给出了方程(*)所有解振动的代数判据,即参数形式的充要条件,这些条件易于检验和应用.