三维时滞捕食系统平衡点的稳定性

本文研究了捕食者只有成熟期,且成虫 y 仅捕食成虫 x_1的三维系统(1.1)平衡点的稳定性态,得到了系统平衡点无条件稳定性的充要条件以及无条件稳定域与条件稳定域.     

应用初等方法讨论函数的单调性

定义对于函数f(x),若在其定义域的某个区间M上任意取两个数x_1,x_2,它们对应的函数值分別为f(x_1),f(x_2), (1)如果当x_1f(x_2),则称函数f(x)在区间M上是严格递減的; (4)如果当x_1相似文献   

一类高阶差分方程的全局渐近稳定性

主要研究高阶差分方程x_n+1=f(x_(n-s),x_(n-t)),n=0,1,2,…,s>t,8,t∈{0,1,2,…)的全局渐近稳定性.当右端函数f满足某种单调性条件时,获得了其全局渐近稳定的一个充分条件.     

Schrdinger型方程的显式差分格式

本文讨论了 Schrdinger 型方程 u_t=iu_(xx)的显式差分格式。跳点格式(2.7)-(2.8),格式(2.10)与(2.11)是本文的结果。格式(2.7)-(2.8)恒稳定,格式(2.10)与(2.11)的稳定条件分别是 R≤1,R≤2(R=△t/△x~2),均比[1]的 R≤1/2有大的改进。     

扰动对天敌有多食性模型稳定性的影响

本文主要讨论了扰动对天敌具有多食性模型 x_1=x_1(r_1-a_1y), x_2=x_2(r_2-a_2y), y=y(-r_3+b_1x_1+b_2x_2)稳定性的影响。利用Liapunov函数得到了昆虫种类内部的密度制约,将促使昆虫与天敌系统进一步稳定化,进而得出同一食饵水平上的竞争是不稳定化的结论。其中后一种情况与J.M,Smith的结论完全一致。     

子区间法的稳定性和精度

子区间法在研究结构动力响应中优势明显，但尚需解决稳定性和精度等问题．文中分析了单步和两步子区间法递推格式的条件稳定性和精度，探讨了其无条件稳定递推格式的构造．在条件稳定区间，精度分析表明，单步和两步子区间法递推格式无周期延长和振幅衰减；对于无条件稳定的递推格式，其计算阻尼很大，无法满足计算精度的要求．     

一个命题的推广

本文将许淞庆编著的《常微分方程稳定性理论》第68页命题3“如果对于扰动微分方程:(dx_s)/dt=x_(?)(t;x_1,x_2,…,x_n),(s=1,…,n)(1)存在着函数V(t;x_1,…,x_n),使得函数V—Q(t)W (θ(t_0)=1)是常正的,其中W=W(x_1,…,x_n)为定正函数,且θ(t)为t的单调增函数,并有Q(t)=∞,由方程(1)计得(dv)/(dt)为常负式恒为零,则未被扰动运动渐近稳定”加以推广,得到了一个更广泛条件下的结论——     

最小估计区间

设θ是总体X的分布的未知参数。所谓θ的区间估计,就是在给定的置信水平1—α下,寻求两个统计量(?)_1(x_1,x_2,….x_n)与(?)_2(x_1,x_2,…xn)使得参数θ落在随机区间((?)_1,(?)_2)的概率这里x_1,x_2,…,xn是总体X的样本。满足这一条件的随机区间很多,通常的做法是选择这样的(?)_1,(?)_2,使得作为θ的估计区间,当然其长度越小越好,但用上述方法得到的估计区间的长度不一定是     

判断函数组线性无关的一个充要条件

在常微分方程的高阶方程求解过程中,为判断一解能否为其通解,常需讨论一组解函数的线性相关性.函数组的线性相关性是这样定义的:定义:设函数x_1(t),x_2(t),…x_n(t)是定义在区间〔a,b〕上,如果存在不全为零的常数λ_1,λ_2,…λ_n,使得(?)t∈〔a,b〕有:λ_1x_1(t) λ_2x_2(t) … λ_nx_n(t)=0则称x_1(t),x_2(t),…x_(t)在区间〔a,b〕上线性相关;否则,就称它们在〔a,b〕上线性无关.     

三阶段时滞种群生长模型的渐近稳定性

根据种群生长的阶段性,引入时滞建立了一类三阶段结构的时滞种群生长模型:{_1(t)=αx_3(t)-γx_1(t)-αe~(-γτ)x_3(t-τ)_2(t)=αe~(-γτ)x_3(t-τ)-bx_2(t)-αx_2(t),_3(t)=ax_2(t)-cx_3(t)-dx_3~2(t),初始条件:{x_1(t)=φ1(t)≥0,x2(t)=φ_2(t)≥0x_3(t)=φ_3(t)≥0,t∈[-τ,0]。利用微分方程稳定性理论分析了系统的零平衡点和正平衡点的局部稳定性。利用有效的Liapunov函数得到零平衡点和正平衡点的全局稳定性:1)当aαe~(-γτ)(b+a)c时,系统有唯一平衡点E_0,且它是局部稳定的;当aαe~(-γτ)(b+a)c时,E_0是不稳定的,此时系统除了E_0外,还存在唯一正平衡点E_*,且它是局部稳定的。2)当αe(-γτ)≤c,则系统的平衡点E_0是全局渐进稳定的,当αe~(-γτ)≥(a+b/a-b)c,ab,则系统的正平衡点E_*是全局渐进稳定的。所得结论对人工控制种群的发展具有一定的指导意义。     

色散方程u_t=au_(xxx)的八点显格式

讨论含参数β的局部截断误差为O(τh+h~2)的色散方程u_τ=au_(xxx)的三层(中间层含8个点)显格式,对稳定条件的计算作了严谨的数学论证,用三种不同于[2]的方法复出了最佳稳定条件|aτ/h~3|≤4.0lll7,β_0=1.57084.大大大优于[3]中的条件|aτ/h~3|≤3.1099.     

求解二维抛物型方程的高精度显式格式

本文建立了求解二维抛物型方程的一个新的高精度显式差分格式，其稳定性条件为截断误差达到Ｏ（（△ｔ）２＋△ｔ（△ｘ）２＋（△ｘ）４）。     

二维热传导方程的有限差分区域分解算法

对于应用区域分解方法求解二维热传导方程的问题,提出一种绝对稳定的显-隐差分格式。该算法在内边界点上采用显格式计算,在子区域内部采用全隐格式;之后给出了算法的稳定性和收敛性分析,并用数值结果验证了相关结论。     

一类三阶时滞微分方程无条件稳定的判据

利用定性分析方法以及代数理论中代数方程有根、无根及根的分布等性质,研究了三阶线性时滞微分方程无条件稳定性的判据.     

解色散方程的加耗散项半显式与显式差分格式

解色散方程U_t=aU_(■■■)的大多数常见的显式差分格式,例如文[1]中的差分格式,其稳定性条件是苛刻的.这一困难可由在常规的显式差分格式中引入耗散项而得到克服.基于此.我们导出一类新的无条件稳定的两层的半显式差分格式及若干具有高稳定性的三层显式格式,它们包含了若干已知的具有高稳定性的三层显式格式.     

色散方程的两类显式差分格式

对色散方程u_t=αu_(xxx)给出了两类带参数α的三层显式差分格式.它们的截断误差为O(△t+△x),稳定条件为|R|≤f(α),R=α△t/△x~3,f是α的上升函数,例如,f(3)=0.9871,f(10)=2.1506.较大地改进了同类格式的稳定条件|R|≤0.25及|R|≤0.4749.     

高阶Schrodinger方程的一类半隐式差分格式

构造高阶Ｓｃｈｒｏｄｉｎｇｅｒ方程ｉδｕ／δｔ＋（－１）＾ｍδ＾２ｍｕ／δｘ＾２ｍ＝０的一类半隐式差分格式，给出了它们的稳定性条件。     

解四阶杆振动方程的三层高精度差分格式

对四阶杆振动方程构造含参数高精度三层差分格式,当参数满足一定条件时,差分格式稳定,局部截断误差阶数最高可达O(τ4+h8).数值例子说明该方法对稳定性的分析是正确的.     

关于区间矩阵的稳定度

给区间矩阵 N[P,Q]和区间动力系统分别引进了稳定度及鲁棒稳定度的概念 ,并运用矩阵技术及新提出的引理 (判别准则 ) ,仅用界阵 P与 Q的元素 ,获得若干较简捷及实用的稳定度判据 ,从而使区间动力系统 X· ( t) =N[P,Q]X( t)的鲁棒稳定度 (含渐近稳定度 )问题得以解决。所得结果包含了黄廷祝教授定常线性系统的结果作为特例 ;并将廖晓昕教授、高为炳院士、李磊博士等人的点阵结果推广到了区间阵 ;将 XUDao- yi教授、施志诚、高为炳等人的稳定性扩展成为稳定度     

解色散方程u_t=αu_(xxx)的高精度绝对稳定的隐式差分格式

对色散方程u_t=αu_(xxx)构造了一类三层隐式差分格式(1.10).它们含有非负参数α_1,α_2和α_3,其局部截断误差是O(τ~2+h~6).在条件α_1≥α_3,α_1+α_3≥α_2。(α_1+α_2+α_3=1)下,格式(1.10)绝对稳定.在(1.10)中选取适当的参数可以得到文[1]和文[2]的格式.