一类Kolmogorov捕食系统的定性分析

研究一类Kolmogorov捕食系统:ddxt=x(a0-a1x+a2xn-1-a3xn+a4xφ(y)),ddyt=y(b1xn-b2),其中φ(0)=0,φ′(y)ε0,(y0).首先运用等式gf((uu))′=Δlui→m0f(u+Δu)g(u+Δu)-gf((uu))Δu将张芷芬唯一性定理和微分不等式定理中需要的两个不等式联系起来,再配合运用环域定理、ΦИЛИППОВ变换及Dulac函数法得到了该系统存在唯一极限环和不存在极限环的充要条件,从而对其参数范围就其极限环存在性与不存在性讨论完全,推广了前人相关的结果.     

Ⅲa=0(n=-1,0＜l＜1)类二次系统存在极限环的充要条件

利用旋转向量场理论得到Ⅲa=0类二次系统{x=-y+δx+lx2+mxy+ny2y=x(1+y)y=x(1+y) (n=-1,0＜l＜1),在原点外围存在极限环的充要条件.     

Ⅲα＝0（ｎ=—1，0〈l〈1）类二次系统存在极限环的充要条件

利用旋转向量场理论得到Ⅲa=0类二次系统{x=-y+δx+lx2+mxy+ny2y=x(1+y)y=x(1+y) (n=-1,0＜l＜1),在原点外围存在极限环的充要条件.     

一类具功能性反应的捕食者-食饵系统的极限环

对一类具有功能性反应的捕食者-食饵系统: x=xg(x)-yφ(x), y=y(-d+eφ(x)),在g(x)=a-bxm,φ(x)=cxθ及m=θ,0相似文献   

一类三次系统两个中心共存的条件

对于一类平面三次系统dx/dt=y a1x^2 (a2 2b1)xy (a3-a1)y^2 xf(x,y),dy/dt=-x b1x^2 (b2-2a1)xy-b1y^2 yf(x,y),其中f(x,y)=a1x^2 a5xy (a6-a1)y^2.N.G.Lloyd,C.J.Christopher等研究了系统(1)的原点是中心的充要条件．除原点O(0，0)之外，如果系统(1)还存在另一奇点，它是中心或焦点型的(即在奇点处一次近似系统为中心)，本文讨论系统(1)的两个中心共存的条件．     

复合函数求导数法则的证明的改进

设y=f(u),u=φ(x),u在x_0可微分;u_0=φ(x_0),y在u_0可微分,则复合函数y=f(φ(x))在x_0可微分,而且(1) dy/dx|_(x=x_0)=f′(u_0)·φ′(x_0)。这个复合函数求导数法则的证明,在通常的数学分析教科书上,有如下两种: 〔证法一〕给x从x_0起取增量△x(≠0),则相应地函数u从u_0起得增量△u,y从f(φ(x_0))起得增量△y。因为f′(u_0)存在,所以当△u≠0时,令α=△y/△u-f′(u_0),就有limα=0,而且 △u→0     

一类一阶微分方程的奇解的判别

本文研究了一阶微分方程y=a(x)y′+p(x)y′+q(x)y′(a(x)≠0)有奇解的充要条件,推广了已有的结论,并在奇解存在条件下,给出了这类方程的通解表达式。     

一类三次kolmogorov系统的极限环的存在唯一性

本文研究了一类三次kolmogorov系统dxdt=x(1+A1x-A3x2+A2y+xy),dydt=A0y(x2-1)得到了存在唯一极限环和不存在极限环的充要条件.     

二阶变系数线性齐次方程的可化型

本文讨论二阶变系数线性齐次方程 y~(＇＇)+p＇(x)y＇+q(x)y=0 (1)其中p(x)∈c,q(x)∈c,q(x)≠0。周知,这种方程没有一般的求积方法;但是,通过变量替换将它化为常系数的情形(可化型)是一个值得研究的问题。我们的任务是推导二阶线性方程的一般可化型和特殊可化型的充要条件及其通解公式,研究特殊可化型的两个线性无关解之间的相依关系,并介绍可化为可化型的各种二阶方程。 定理1 设φ(x)∈c~2,φ＇(x)≠0。方程(1)在自变量变换t=φ(x)下可化为常系数线性方程的充要条件是     

一类非线性微分方程系统解的有界性

研究了一类非线性微分方程系统：x=p(y)-F(x),y=-q(y)g(x)的解的有界性问题。运用单调轨方法，给出了该系统的任何解均有界的一个充分条件与充要条件。     

一类二阶变系数线性微分方程的通解

利用变量代换y=zeφ(x)将二阶变系数线性微分方程y″+P(x)y’+Q(x)y=f(x)化为方程z″+[2φ’(x)+P(x)]z’+{[φ’(x)]2+φ″(x)+P(x)φ’(x)+Q(x)}z=f(x)e-φ(x),再根据P(x),Q(x)的五种关系,分别得出了方程(1)和其对应的齐次微分方程的通解公式.     

一阶常微分方程具有乘积形式f(xayβ)g(axt+bys)积分因子的求解

讨论了一阶常微分方程M(x,y)dx+N(x,y)dy=0的积分因子问题,给出了方程具有形如f(xαyβ)g(axt+bys),a,b,α,β,t,s∈R的积分因子的充要条件,引入了一种新的求上述积分因子的方法,并通过实例加以应用.     

一类被捕食种群具有常数收获率极限环的唯一性

研究了一类食饵种群具有常数收获率系统{dx/dt=x(a0+a1x-a2x2-a3y)-H0 dy/dt=y(bx2-d)的极限环的存在与唯一性.并通过一系列变换将系统(E)化为广义的Lienard方程{du/dt=-φ(v)-F(u) dv/dt=-g(u)再利用文献[1]中的结论,给出了系统(H)最多存在一个极限环的充分条件.     

一类Kolmogorov系统的极限环

研究了Kolmogorov系统x=x(a0 a1x-a2x2-(1-e^-y)),y.=y(x2-1),在某些下证明了该系统的极限环的存在性和唯一性以及不存在性。     

一类二阶线性变系数微分方程解法的探讨

二阶线性变系数微分方程大量出现在工程科学中,尽管这类方程求精确解困难,但实际问题往往有需要求解.对于二阶微分方程A(x)y″+B(x)y′+C(x)y=f (x),根据判别式Δ=A(x)φ′(x)+A(x)φ2(x)+B(x)φ(x)+C(x),将该方程化成新形式.当Δ=0时,该方程化为可解的一阶方程;当Δ≠0时,该方程化为新的二阶线性变系数微分方程,再探求其解法.     

定积分的换元法

在不定积分中,其中之一的积分方法:设y=f(x),x=φ(t)及f′(t)都是连续的,x=φ(t)的反函数t=φ~(-a)(x)存在且可导,并且∫f[φ(t)]·φ′(t)dt=F(t)+C,则∫f(x)dx=F[φ~(-a)(x)]+C。在定积分中的换元法则是:对于定积分integral from n=a to b(f(x)dx),其中f(x)在区间[a,b]上连续,如果函数x=0φ(t)满足下列条件(1)φ(t)在区间[α,β]上有定义′是单值的′单调的,且有连续导数φ′(t)。(2)当t在区间[α,β]上变化时,x=φ(t)的值在区间[a,b]上变化,在这些条件下,则有公式integral from n=a to b(f(x)dx)=integral from n=α to β(f[φ(t)·φ′(t)dt)     

广义Liénard系统解的存在唯一性

本文研究一类广义Liénard系统x=1/a(x)φ(h(y))-F(x)), y=-a(x)g(x).在相当弱的条件下获得了该系统解存在唯一性的充分条件,推广和改进文献[1～6]的相关结果.     

食饵种群具有常数放养的Ⅱ型功能反应捕食系统的定性分析

考虑食饵种群具有常数放养的Holling Ⅱ型功能反应捕食系统 x=(r—bx)x—yφ(x)+k y=y(-d+eφ(x))这里φ(x)=(ax)/(1+ωx)为Holling Ⅱ型功能反应函数,k>0是食饵种群的常数放养率。1 平衡点的性质及其稳定性经无量纲变换,系统(1)化为     

关于高阶微分方程的解法

我们在本刊80年第2期张棣先生给出函数e~(∫φ(X)dX)是方程a_0(X)y(~n) a_1(X)y(~(-1)) … a_n(x)y=0 (1)的解的充要条件的启示下:本文得到的主要结果是:     

Lienard系统x=φ（y）—F（x）,y=—g（x）极限环的一个存在唯一性定理

讨论了系统x=φ(y)-F(x),y=-g(x)的极限环的存在唯一性问题,借助连续函数的零点定理,得到了一个判断系统极限环存在唯一的较实用的方法。