关于具有限时滞Liénard方程周期解的存在性

关于具有限时滞的Liénard方程x(t) f(x(t))x(t) g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t) (a/r)a(t) (b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件1 零解的稳定性及Hopf分支对方程(0.l),假设r>0为常数f,g∈C~2且g(0)=0.记f(0)=m,g’(0)=n,且设m>0,n>0.令x=y,则方程(0.1)化成等价系统     

关于具有限时滞Liénard方程周期解的存在性

<正>关于具有限时滞的Liénard方程x(t)+f(x(t))x(t)+g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t)+(a/r)a(t)+(b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件.     

二阶具无限时滞泛函微分方程的Hopf分支及应用

一类形式一般的二阶具无限时滞泛函微分方程的Hopf分支,把所得结果与规范型方法一起应用于有实际背景的具无限时滞的捕食-被捕食系统,得到其Hopf分支方向,分支周期解的稳定性等计算公式.考虑以k∈R为参数的方程     

一类二阶非线性泛函微分方程解的有界性

温立志在“一类二阶常微分方程及变时滞方程的有界性”一文(参见科学通报,30(1985),14:1045)论述了方程[r(t)x′(t)]′+a(t)x(t)+b(t)×f[x(t-t(t))]=p(t)的解有界的判别法,本文讨论比这类方程更一般的二阶非线性泛函微分方程     

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

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

二阶有限时滞微分方程的Hopf分枝及应用

近十几年来,已有一些学者对某些具体滞后型微分方程的Hopf分枝进行了研究,可参阅文献[1—4]。但对形式较一般的时滞微分方程Hopf分枝的研究还不多见。本文的目的是讨论一般形式的二阶有限时滞微分方程的Hopf分枝。所得结果还可用于讨论某些三阶时滞微分方程的Hopf分枝问题。     

关于属于极限圆型的二阶微分方程

本文考虑线性二阶微分方程及其摄动方程:x″(t) a(t)x(t)=0,t≥0 (1)y″(t) [a(t) b(t)]y(t)=0,t≥0.(2)我们称方程(1)(或方程(2))属于极限圆型(记为L.c.),如果方程(1)(或方程(2))的所有的解均属于L~2[0,∞),我们称方程(1)(或方程(2))为拉格朗日稳定(记为L.S.),如果方程(1)(或方程(2))的所有的解在[0,∞)保持有界,为述下列定理的需要,我们引入一新定义,称方程(1)属于b(t)权平方有界(记为L.b.),如果方程(1)的一切解均满足:     

二阶线性振动稳定性的充要条件

一、引言 本文研究二阶线性微分方程(a(t)x′)′+b(t)x=0,(L)其中a,b:[τ,∞)→(0,∞)为连续函数。关于方程(L)解的稳定性研究,已有大量文献(见文献[1—8]及其参考文献)。解决了方程(L)在非振动情况下的稳定性问题,并且指出“基本困难是振动情况”。实际上,方程(L)在振动情况下的稳定性至今还是     

具有非线性阻尼与软弹簧系统的极限环及其对机械振动的应用

§1.本文研究控制方程 其中,0<λ<1,μ>1 λ,β>0.(1.1)式是工程实践中提出的非线性振动模型。当β=0,1 λ μ<2时,已在文献[1]中讨论过。文献[2]用图解法讨论过(1.1)式的一个具体数值例子。文献[3]曾研究(1.1)式中a或b等于零时,位移项有参数激励的极限环     

连续函数的有限性原理

∈[a,b]及>0,令设F=F([a,b])为[a,b]的一切有限子集构成的幂集。∈F定义K(A)={X(r):r∈A}。设二元关系φ(r,x)的定义域为D(φ)=[a,b],值域R(φ)在标准     

一般概率度量空间的等距度量化

文献[1～3]对两类特殊的概率度量空间进行了等距度量化,得到了定理A PM空间(E,F)等距同构于一个伪度量族生成空间(E′,d_r,r∈(0,1)(?)≥min.PM空间(E,F)等距同构于一个度量空间(E′,d)(?)(1,b)>a,(?)a∈(0,1).本文将对一般的概率度量空间(?(a,a)=1)进行等距度量化.除特别声明外,本文符号和术语与文献[1,3]相同.     

关于Diophantus方程a~x+b~z=c~z(Ⅱ)

Diophantus方程a~x+b~y=c~z(a,b,c是不同素数)可化为如下的两个Diophantus方程 p~x-q~y=2~z,p,q是不同的奇素数,(1) p~x+q~y=2~z,P,q是不同的奇素数。(2)在文献[1]中,我们给出了(2)式在max(p,q)<100时的全部非负整数解。本文将给     

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

二阶中立型连续分布滞量方程的振动

对二阶中立型时滞微分方程解的振动性质已有一些研究成果,它们大多是关于离散分布滞量情形的,而对于连续分布滞量情形酌研究尚不多见,本文考虑具有连续分布滞量的非线性二阶中立型方程     

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

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

Hopf余模余代数的对偶定理

Blattner和Montgomery在文献[1]中讨论了Hopf模代数的对偶定理.此定理概括了VonNeumann代数的交叉余积的对偶.早在1977年,Molnar在文献[3]中给出了Hopf模代数的对偶概念Hopf余模余代数,并讨论了其性质.但关于Hopf余模余代数的对偶定理至今未见,它具有与文献[2]同等的意义.本文将通过定义左(右)Smash余积,在Hopf代数H有限维时,给出了这一对偶定理:若H~*在H×_H~*~LH~*上的右余作用为右强余内的,那么(C×H)×H~*≈C(?)(H×H~*).     

一类广义Fisher方程的波前解

当反应函数F(u)有多个零点时,文献[1—3]都讨论过反应扩散方程u_t=u_(xx) F(u)的行波解问题.本文讨论一类广义Fisher方程对我们的问题,文献的方法都不适用,我们采用一种较简单的方法来处理.此方法可用于更一般的方程 u_i=(u~m)_(xx) u~nf(u)(m>0)和f(u)有更多个零点的情形.在u>O的地方令u’=P,易证明(2)式等价于     

两指标Poisson型随机微分方程强解的比较定理

一、引言 在文献[1]中,我们曾经讨论了一类两指标Poisson型随机微分方程解的轨道唯一性问题,给出了一个判断SDE_((1))的解按轨道唯一的充分条件。在较强的条件下,应用文献[2]中的压缩映象的不动点原理,我们可以证明方程(1)的解存在唯一。 对固定一点t_∈R_t~2,考虑如下两个poisson型随机微分方程     

一类平面E3的极限环

当p=q=r=s=0时,(1)式为文献[1]的二次微分系统的I类方程,并已证明:对于任意的a,l,n,I类方程至多有一个极限环;当l=m=n=0时,(1)式为文献[2]研究的平面三次系统,并利用二次型理论,Poincare-Bendixson定理,Levinson-Smith定理得出一系列结论.本文在更大的参数范围内得到(1)式存在极限环的充分条件.作地形系.当n~2 4s<0时,(3)式是一族包围原点的闭曲线;当n~2 4s≥0时,(3)式以P为分界线,当C>φ(k)时,λ(x,y)=c是一条围绕原点且包含Γ于其内部的闭曲线,当C<φ(k)时,λ(x.y)=c是由两个互不相交(可能重合)闭分枝组成,分别位于Γ内部.借助Poincar(?)-Bendixso定理和无穷远的方     

关于相对反杯性质的一个结果

1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X,