一类广义Liénard方程的有界性

定理3 设(H_1)～(H_4)成立,X′_0=X_0=0,如果对一切0相似文献   

局部Lipschitz条件下随机微分方程解的稳定性定理

文献[1]在Lipschitz条件下讨论了随机微分方程X=Φ(X)+F(X)·M (*)解的存在唯一性和稳定性。文献[2]减弱了此方程解存在唯一的条件,推广了文献[1]的结果。本文主要讨论在文献[2]中较弱条件下方程唯一解的稳定性。     

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

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

一类广义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)式等价于     

两个Schwarzschild黑洞场迭加的时空结构

本文利用文献[1]所给出的虚坐标方法讨论了两个Schwarzschild黑洞场迭加的时空结构。根据文献[1]中系2.1,我们得到如下结论,设有两个分别位于Weyl坐标系ρ=0,z=0和ρ=0,z=Z的Schwarzschild黑洞m_1和m_2,当|Z|>M_1 m_2时,一个黑洞的视界坐标不受另一个黑洞的影响。     

以滞量为参数的向日葵方程的Hopf分支

文献[1]在谈到向日葵方程(?)+(a/r)(?)+(b/r)sinα(t-r)=0的Hopf分支问题时写到:“我们可以把(1)式写为(?)=F(a,b,r,z).若我们选取r为参数,则由于r进入了z_t的定义,故F对r的依赖性是复杂的,所以我们取a为参数.”众所周知,滞量是引起时滞微分方程和常微分方程差异的关键所在,所以用滞量作参数讨论时滞方程分支问题是很有意义的.本文就是以时滞r为参数,给出(1)式的Hopf分支存在的条件,同时还明确地给出其Hopf分支方向,分支周期解的渐近表达式及其稳定性.关于(1)式的导出及意义可参阅文献[1～3].     

关于丢番图方程x~4-pqy~2=1

关于丢番图方程x~4-Dy~2=1,D>0,且不是平方数,(1)有过许多工作,例如Nagell、Ljunggren、Cohn和作者,都分别得到过若干结果(见文献[1])。我们在文献[1]中证明了D(?)3(mod 8),且当x~2-Dy~2=1的基本解ε=x_0+y_0D~(1/2)满足2     

Lienard方程零解的全局渐近稳定性

本文研究Lienard方程 x+f(x)x+g(x)=0 (1)的零解的全局渐近稳定性问题。已知的结果请参看文献[1—4]。以往大都采用Liapunov第二方法研究这个问题,而本文则采用Filippov变换的方法。所得结果包括已有的结果作为特例。本文总设 (ⅰ) f,g:R→R连续,xg(x)>0,x≠0。记F(x)=integral from n=0 to x f(s)ds,G(x)=integral from n=0 to x g(s)ds。令F_+(x)=max{O,F(x)},F_(x)=max{O,-F(x)},Γ_+(x)=integral from n=0 to x (1+F_+(s))~(-1)g(s)ds,Γ_(x)=integral from n=0 to x(1+F_(s))~(-1)g(s)ds,     

Gr(?)bner基的一个应用

本文中,假定基域k是代数封闭域P_k~n是n-维射影空间,V是P_k~n的射影代数闭集,W是P_k~m中射影代数闭集.{F_i}_(i=0)~m(?)k[X_0,…,X_n],F_i是齐次多项式且次数都是d.假定V(F_0,…,P_m)(?)V=Φ,可定义一个正则映射F:V→W满足: F(x_0,…,x_n)=(F_0(x_0,…,x_n),…,F_m(x_0,…,x_n)),其中(x_0,…,x_n)∈V。 利用Gr(?)bner基给出F是“限制同构”的充要条件。为此先给出其定义。 定义 如上所述的F:V→W,如果存在L使得L:W→V,满足F(?)L=id_w,L(?)=id_v,并且L=(L_0,…,L_n),{L_i}_(i=0)~n(?)k[Y_0,Y_0,…,Y_m],L_i为齐次多项式并且次数都是d′. 我们所用Gr(?)bner基的表述和结论都来源于文献[1]～[3]。     

关于α-拟星形函数

定义:设在单位圆|z|<1内是正则的,并且f(z)f′(z)(?)0以及在0<|z|<1内,满足条件:其中α是实数,称函数f(z)是一个α-拟星形函数,记这个函数族为μ_α。 在文献[1—3]中研究了族μ_α,特别是在文献[3]中得出|f(z)|与|f′(z)|好的上下界,并     

同F函数有关的丢番图逼近

在文献[1～3]中研究了同Siegel E,G函数有关的代数方程根的丢番图逼近.本文给出同F函数有关的一个丢番图逼近定理.令K是次数为d的代数数域,O_k为K上整数环.定义F函数:幂级数f(z)=sum from n-0 to ∞ (a_n n!)z~n满足条件:(1)对所有n,α_n∈K和(?)≤c_1~n(?)表示α和所有共轭的绝对值的最大值);(2)存在自然数序列{d_l},d_1=q_0~l(d_(0l))使得d_l α_n∈O_k,n=0,1…,l,l=1,2,…,并且d_(0l)只被满足p≤c_2l的素数p整除,还有ord_(p)d_0l≤c_3logl.称f(z)属于F(K,c_1,C_2,c_3,q_0)类.有很多函数属于F函数类,例如超几何函数现在假设f_1(z)…,f(m)(z)∈F(K,c_1,c_2,c_3,q_0)类并满足线性微分方程组y_1~＇=sum from j=1 to m (A_(ij)(z)y_j,A_(ij)(z)∈C(z),i=1,…,n.)     

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

考虑具连续变量的差分方程 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]中的大部分结果也因此不同程度地存在条件的“亏损”。     

褶积型矩阵和H~2函数在单位圆内零点的个数

本文给出H~2函数在单位圆内零点个数与褶积型矩阵模的关系.本文的符号见文献[1].是H~2函数.由文献[2]知X(z)可分解为X(z)=G(z)H(z),(2)其中G(z)为X(z)的内函数,H(z)为X(z)的外函数.G(z)的系数g=(g(0),g(1),…,g(t),…)称为纯相位序列.定理1 设g为纯相位序列.则为了使G(z)为     

关于Liénard方程存在极限环的条件

讨论Liénard方程 f(x) g(x)=0或其等价方程组■存在极限环的条件已经很多,其中以条件及条件(可参看文献[3])引用最广。普遍认为文献[1]的条件似乎是最少的。本文提出了一组新的条件,在外境界上推广了文献[2]的条件,而又与文献[1]的条件互相独立。在内境界上,提法上已较文献[1]     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

一类Hopf曲面的模空间

在文献[1]中,Kodaira构造了S~1×(S~3/H)上复结构的模空间为平面上的空心单位圆盘D~*={z=∈C|0<|z|<1),这里H=<σ,τ>为σ,τ自由生成的群。ρ=exp(π/n (-1)~(1/2)),n≥2为固定整数。本文对一般型H构造了S~1×(S~3/H)上复结构的模空间仍为D~*。我们所用方法也不同于文献[1]中的方法。     

关于算子方程A=A~*C

H是复Hilbert空间,B(H)是H上有界线性算子全体,C是复数域。对任何A,A~(-1)∈B(H),文献[1]中称算子C=A~(*-1)A为A的极·积算子,文献[1]对C作了较多研究,文献[2]中以极·积算子为工具,给出H上算子方程λA~2+μA~(*2)=αA~*A+βAA~*(λ,μ,α,β∈C)可解性的研究,并写出了它的全部解。文献[2]中主要用到当C为正常算子时,方程C=A~(*-1)A可解的充要条件以及它的全部解的表达式(见文献[1]定理5)。这就很自然地促使人们研究     

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

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

收缩气团的熵变化

在文献[1]中曾通过求解方程得到了描述孤立气团收缩的分布函数 f=f_0[1-RV_rτ+τ~2/2(V~2=R~2V_r~2-R~2-5V_r~2x~2)],(1)式中物理量的含义将在下面陆续介绍。在文献[3]中发现,收缩气团的熵减少。 本文拟说明,“收缩气团在熵减少”并不是分布函数(1)式独有的性质。 设某单组分孤立气团的初始时是一均匀平衡态:     

一类具偏差变元微分方程解的振动性

引言 许多物理模型中出现二阶非线性微分方程在文献［1-4］中，人们研究了方程(1)的解的振动性与渐近性。特别，最近Marini~[1]研究解的渐近性质,其中q(t)>0,yf(y)>0当y≠0。熟知方程(2)没有振动解,但当其右部出现偏差变元时,振动解的出现是可能的。本文的定理1给出充分条件,保证方程(2)的所有有界解是振动的,当其右部有偏差变元时。下面的定理2是建立保证方程(1)的一切解振动的充分条件,此结果包括了最近Onose和燕居让的工作。