具连续变量差分方程振动性的比较定理及应用

考虑具连续变量的差分方程 y(t)-y(t-τ)+sum from i=1 to m(p_i(t)y(t-σ_i))=0 (1) 和它的特殊形式 y(t)-y(t-τ)+p(t)y(t-σ)=0, (2) 其中τ,σ,σ_i均为正常数,p(t),p_i(t)∈C(R~+,R~+)。 文献[1]借助研究离散变量差分方程振动性的一般方法建立了(1)和(2)式振动的若干充分条件,揭示了连续变量差分方程与离散变量差分方程振动性之间的某种内在联系。然而,文献[1]中主要结果要求系数满足条件。这种较强的条件起因于方程的离散化过程。此外,文献[1]中的大部分结果也因此不同程度地存在条件的“亏损”。     

具有时滞的Duffing型方程+g(x(t—τ))=p(t)的2π周期解

关于微分方程x(?) g(x)=p(t)=p(t 2π),(1)讨论其周期解的文献已经很多,在g(x)满足强非线性,亚线性以及避开共振点条件下均已讨论过其周期解的存在性问题(参见丁同仁及葛渭高教授等近几年发表的论文),相对来说,对于时滞Duffing型方程这方面的研究还比较少.1981年,文献[2]在类似避开共振点条件下,证明了如下具有时滞的Duffing方程     

二参数正态过程的马尔科夫性

设t(t_1,t_2)为平面上的点(图1),R_+~2=(t:t_1≥0,t_2≥0)中Borelσ-代数记为β。ξ={ξ,(ω),t∈R_+~2}为概率空间(Ω,(?),P)上的实值随机过程。t(t_1,t_2)≥s(s_1,s_2)如t_1≥s_i,i=1,2,R_t=(s:s_1≤t_1或s_2≤t_2),(?)=σ{ξ(?),s∈R_1},即括号中变量产生的σ-代数。称ξ为二参数马尔科夫过程(二马程),如对任意有界β可测函数f,任意u=(u_1,u_2)>t=(t_1,t_2)∈R_+~2,有     

伴随于可积系Lax表示的Lax算子代数

最近许多著名的1+1维可积系的Lax算子代数被直接提出,本文旨在给出可积系Lax算子代数的一般描述。引用文献[4]中的符号。设B表示所有复(或实)的C~∞可微函数P[u]=P(x,t,u),B~r={(P_1,…,P_r)~T|P_i∈B),V~r表示所有C~∞可微的线性算子Φ=Φ(x,t,u):B~r→B~r,而     

非线性正系统的结构特性

这里扼要给出我们在非线性正系统方面所得到的几个结论,有关定义见文献[1].文献[2]中通过矩阵给出了线性正系统的概念.以下定义是更一般的:定义设某系统在零时刻由x 出发的轨线为φ(t,x),并记R_+~n={(x_1,x_2,…,x_n)~T∈R~n|x_i≥0,i=1,2,…,n).若对任意的x∈R_+~n,有φ(t,x)∈R_+~n,(?)t≥0,则该系统为一正系统.其中t 对于连续系统属于实数集R,对于离散系统属于整数集Z.     

随机中立型微分方程稳定性

设ω(t)=(ω1(t),…ω_m(t))~T是完备概率空间(Ω,(?),p)上的Brownian运动,τ>0为时滞,A,B,C为n×n实阵.σ:R_ ×R~n×R~n→R~(n×n)是局部Lipschitz连续的.定理1 若存在对称半正定的n×n矩阵D,使得     

超越函数Det(a_(ij)+b_(ij)e~(-λτ)—δ_(ij)λ)_(n×n)的零点全分布在复平面左半部的代数判定

在时滞动力系统的运动稳定性研究中,超越函数起着重要作用。虽然在文献[2]中已给出了关于λ和e~λ的多项式H(λ,e~λ)零点分布的超越判定准则,但是,理论的解决与实际的计算还有很大距离。因此,秦元勋教授在文献[3]中给出了函数f_n(λ,τ)对一切τ≥0其零点全部分布在复平面左半部的充要条件。最近,文献[4]也给出了一组较易验证的充分条件。     

EH~p空间（1＜p＜＋∞）的本质刻划

我们知道,H~p(R~n×R_ )的定义如下(见文献[1]):H~P(R~n×R_ )={f(x,y);f(x,y)是R~n×R_ 中调和函数,(?)这里R~n×R_ ={(x,y);x∈R~n,y>0},1相似文献   

含时滞的中立型抛物系统解的稳定性

关于含时滞的偏泛函微分方程解性态的研究,目前已有一些好的结果(见文献[1～5]).但相应的中立型系统由于研究上的困难,对其解的稳定性分析尚未见到有关资料.本文作了尝试性的探讨,通过构造若干辅助泛函并结合L_p估计,对一类含时滞的中立型抛物系统解的稳定性进行了分析,获得了若干相应结果.考虑含有时滞的中立型抛物系统其中(x,t)∈Ω×R~+,Q(x,t)∈R~n,P,D,A,B∈R~(n×n)为常数矩阵,且P,D是对角阵,时滞τ,σ为非负常数.Ω是R~m中的有界开集,有光滑的边界δΩ,Δ是Ω上的Laplace算子.对系统(1),考虑相应的边界条件其中n为δΩ上的外法向量.定理1 若d-p>0,l=a+||B||+2||PB||+||PA||+p<0则||Q(x,t)||(?),||(?)Q(x,t)||(?)有界且属于L_1(0,∞).其中D=diag(d_1,d_2,…,d_n),P=diag(P_1,P_2,…,P_n).而d=min{d_1,d_2,…,d_n},p=max{d_1p_1,d_2p_2…,d_np_n},a为矩阵A的特征值的最大实部.||Q||(?)={∫_ΩQ~TQdx}~(1/2),(?)为梯度算子.证 对系统(1)引进辅助泛函     

关于一类变系数线性微分差分方程组稳定性探讨

本文主要研究变系数及变时滞线性微分差分方程组其中a_(if)(t),b_(if)(t)(i,j=1,2,…,n)均为连续有界的实函数,时滞r(t)>0为连     

关于两参数马氏过程的一个反例

一、引言和定义 本文以一个简单的例子否定了文献[1]的定理1和命题3(c)(ii)等结论,证明了宽过去马氏性与*-马氏性是不同的,从而澄清了一些误解。 沿用文献[2]的记号。设为取值于可测空间(E,)的两参数(两指标)过程。将X延拓到平面R_2上,对z∈R~2\R_+~2,令x_z=c(常值)。设z=(s,t)∈R~2,     

一类一阶时滞微分方程振动性的充要条件

本文研究时滞微分方程 x'(t)+Px(t-r)-qx(t-σ)=0,(1)其中P、q、r、σ均为正数。主要结果(定理1)解决了文献[1]提出的问题10(见文献[1]p.78),即建立了方程(1)的一切解振动的充     

二阶线性中立型微分差分方程非振动解的类型与判别

本文讨论二阶线性中立型微分差分方程其中τ>0,σ>0,c∈R,p∈R~+-{0}。给出了方程(1)的非振动解的所有类型及其判别。 置 z(t)=x(t)-cx(t-τ)。 定理1 当c≤0时,方程(1)不存在     

非自治时滞微分方程的渐近稳定性

许多人口动力学模型都能转化为下列形式的时滞微分方程x(t) λx(t) f(t,x(t-ι_1),…,x(t-ι_m))=0,t≥0,(1)其中具有生物意义的平衡状态被转化为(1)式的零解,全文均假设λ>0,ι_i>0(i=1,…,m),ι=(?)以及f∈C([0,∞)× R~m,R)且满足-a(t)M_t(-(?))≤f(t,(?)(t-ι_1),…,(?)(t-ι_m)≤a(t)M_t(?),t≥0,(2)其中(?)∈C_t(H)={(?)∈C([t-ι,t,]R):‖(?)‖_t=(?)|(?)(S)|相似文献   

曲面在4-流形中的嵌入(Ⅱ)

本文是文献[1]的续篇,因此符号与定理编号均与文献[1]一脉相承。 一、二维球面的嵌人(续) 下面的定理是关于殆定流形M中一个本原类x∈H_2(M)之可表示性的,此处x~2=0。取     

某些RFDE解的渐近性态

其中F,G_i∈C(R,R),0≤τ_i(t)≤r(i=1,2,…,n),r>0,F(u)关于u∈R是单调不增的,并且对(?)∈R及每个i,存在T_i>t_0,使得t-τ_i(t)≤t_0对t∈[t_0,T_i]成立。我们有如下结果。     

关于方程(t)+px(t—τ)—qx(t—σ)=0的振动性

Ladde研究了具有正和负系数的形如(其中p,q,τ,σ都是正常数)的滞后微分方程的振动性,他证明了:若1/q—1/p≥τ≥σ及1/(p—q)e<τ,则方程(1)的一切     

一类含时滞的偏泛函微分方程解的稳定性

考虑含常时滞的偏泛函微分方程其中A(t),B(t)是在R~+=[0,+∞)上连续的n×n矩阵,D(t)=diag(d_1(t),…,d_n(t)),C(x,t)=diag(c_1(x,t),…,c_n(x,t)),而d_i(x,t)>0,c_i(x,t)≥0,i=1,2,…,n。φ是Ω×[—τ,0]上适当光滑的已知n维     

具有变量时滞的非线性中立型系统的稳定性

中立型时滞系统的稳定性的判定是比较复杂而又困难的问题,迄今所能见到的资料很少。文献[1—4]曾研究过中立型时滞系统的稳定性,获得了一些结果。但一般都要求时滞△(t)满足条件:0<△_0≤△(t)≤△。本文中,借助于文献[1—5]中的思想,对只有变量时滞的非线性中立型系统的稳定性,在只要求时滞△(t)满足0≤△(t)≤△的条件下,获得了在     

在稳定性理论中多滞后NDDE与ODE的等价性问题

早在50年代,我国以秦元勋教授为首的数学工作者们就提出了在稳定性理论中微分方程与微分差分方程的等价性问题(参见文献[1]),并将系统的研究成果总结在文献[2]中。本文利用文献[1,2]中的思想方法,建立了在稳定性理论中多滞后中立型微分差