一类非线性微分方程组解的渐近公式

本文讨论了方程组(dx)/(dt)=Ax+f(x,t)的解x(t),当t→∞时的渐近性态.在满足文中条件(i),(ii)和(iii)的限制下,与第一近似方程组(dy)/(dt)=A的解y(t)比较,建立了x(t)与y(t)间的一一对应关系,使对应解满足详见定理1.     

广义Volterra方程的极限环

对于捕食者一食饵系统的广义Volterra方程(dx)/(dt)=g(x)-f(x)b(y),(dy)/(dt)=c_1(y)+a(y)φ_1(x),本文讨论了它的极限环的存在唯一性.     

泰勒级数在数值法中的应用

图示法求解具有给定X和Y初值的常微分联立方程组: (dx)/(dt)=F(x,y,t) (dy)/(dt)=G(x,y,t)     

关于大系统周期解的存在性

本文借助函数方法,研究系统(dx)/(dt)=A(t)x+f(t)的解的有界性,周期解的存在性与唯一性,最后并对非自治非线性复合系统(dx)/(dt)=g(x,t)解的有界性进行了研究.     

系统E_2~2在具有对称中心,细鞍点时分歧曲线的研究

本文讨论二次系统(dx)/(dt)=-y-mx lx~2 mxy y~2,(dy)/(dt)=x(1 ax)在条件l=(m(m-2a))/4(具有对称中心,两个细鞍点)下,轨线的全局结构和(a,m)参数平面上的分歧曲线。证明了使鞍点的某些分界线重合的,(a,m)平面上分歧曲线c_1,c_2,c_3的存在唯一性,入而确定了相应的全局结构。 容易验证系统 (dx)/(dt)=-y_δx lx~2 mxy ny~2,(dy)/(dt)=x(1 ax)具有对称中心,细鞍点的充要条件是: δ=-m,l=(1/4)m(m-2a),n≠0(不妨设n=1)本文就是研究这类系统 (dx)/(dt)=-y-mx (1/4)m(m-2a)x~2 mxy y~2=P(x,y), (dy)/(dt)=x(1 ax)=Q(x,y)且不妨设a<0。     

一类具有常数存放率的三次kolmogorov系统的定性分析

对一类食饵种群具有常数存放率的三次kolmogorov系统:(dx)/(dt)=x(a0+a1x-a2x2-a3y-a4y2-a5xy)+k,(dy)/(dt)=y(bx2-d),进行定性分析,得到该系统不存在极限环和存在极限环的充分条件.     

二维系统的渐近解法

研究方程组(dx)/(dt)=y+εP(x,y,ε),(dy)/(dt)=-g(x)+εQ(x,y,ε), (1)其中ε为小参数。令V(x)=integral from 0 to x g(u)du。假设g(x),V(x),P(x,y,ε)和Q(x,y,ε)满足下列条件:(i)g(x)、P(x,y,ε)和Q(x,y,ε)有所需的各阶导数,g(0)=P(0,0,ε)=Q(0,0,ε)=0;(ii)存在四个数,β_2<β_1≤0≤α_1<α_2,使V(α_1)=V(β_1),V(α_2)=V(β_2);当x∈(α_1,α_2)     

方程 dy/dx=-(2λx 1)(ax by c) α(λx~2 y~2 x 1)/2y(ax by c) β(λx~2 y~2 x 1)至多存在一个极限环

本文证明系统(dx)/(dt)=2y(ax by c) B(λx~2 y~2 x 1)(dy)/(dt)=-(2λx 1)(ax by c) α(λx~2 y~2 x 1)至多存在一个极限环,并给出存在极限环的参数λ的变化范围。     

临界情形的拟线性二阶系统的边值问题

本文研究了临界情形的拟线性二阶系统的边值问题ε(d~2x)/(dt~2)=A(t)(dx)/(dt)+B(x,t)x(o,ε)=a(ε),ε[a(dx)/(dt)(0,ε)+b(dx)/(dt)(1,ε]=β(e),利用改进的 Vasiléva 方法构造了具有任意精度的两端均具边界层且左端边界层有两个具有不同尺度 t/ε~(1/2),t/ε的边界层函数的形式渐近解,并证明了精确解的存在唯一性及所构造的渐近解的一致有效性,并给出了余项估计。     

方程dy/dx=(q_(00)+q_(10)x+q_(01)y+q_(20)x~2+q_(11)xy+q_(02)y~2)/(p_(00)+p_(10)x+p_(01)y+p_(20)x~2+p_(11)xy+p_(02)y~2)所定义的积分曲线的定性研究(Ⅳ):Ⅲ类方程

文将所研究的方程可能存在极限环的情况分为三类,本文考察其中的Ⅲ类方程,它的最一般形式为 (dx)/(dt)=-y+dx+lx~2+mxy+ny~2=P(x, y), (dy)/(dt)=x(1+ax+by)=Q(x, y) (1)当d=0时,(1)以原点为焦点且当m(l+n)-a(b+2l)>0时为不稳定,当m(l+n)-a(b+2l)<0时为稳定。首先可从d=m=0时的方程     

平面自治系统闭轨的不存在性

关于Ｌｉｅｎａｒｄ方程ｘ＋ｆ（ｘ,ｘ）ｙ＋ｇ（ｘ）＝０或它的等价形式ｘ＝ｙ,ｙ＝－ｆ（ｘ,ｙ）ｙ－ｇ（ｘ）的闭轨不存在性已有大量研究,本文考虑一般的平面自治系统ｘ＝Ｐ（ｘ,ｙ）,ｙ＝Ｑ（ｘ,ｙ）得到了闭轨不存在的两个充分条件。     

一类二阶非线性微分方程组零解全局稳定的充要条件

克拉索夫斯基曾研究了二阶微分方程组x=f_1(x)+ay y=bx+f_2(y)的零解全局渐近稳定的充分条件,本文利用定性方法和Dini导数研究必要条件,给出了零解全局稳定的充要条件。     

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

对一类著名的非线性微分方程组x=h（y）-F（x）,y=-g（x,y）k（y）＋e（t）的解的有界性进行了研究,得到了该系统解的正向有界性的新的充分条件和必要条件。举例说明所获得的结果推广和改进了一些前人得出的结论。     

一类动力系统的大范围定性研究

本文考虑动力系统：ｄｘ／ｄｔ＝Ｐ３（ｘ，ｙ），ｄｙ／ｄｔ＝ｘ（１（．研究系统（１）具有代数曲线解：Ｘ２一ｋｙ２＝１ （ｋ＞０）（２）全局结构。 容易得到这时系统（１）等价于系统,ｄｘ／ｄｔ＝ａ１ｘ＋ａ２ｙ－ａ１ｘ３＋（ｋ－ａ２）ｘ２ｙ＋ｋａ１ｘｙ３＝ｋ（ａ２－ｋ）ｙ３，ｄｙ／ｄｔ＝ｘ（３）．由（３）我们得到所有奇点（有限远和无穷远）的类型。并用Ｄｕｌａｃ函数证明 （３）不存在极限环。进而得出（３）的所有可能的全局相图（ｌ）－（１３）．     

非自治系统的拓扑线性化

微分方程拓扑线性化理论是由Hartman和Grobman给出的,Palmer把线性化理论推广到了非自治系统.对非自治系统的拓扑线性化理论进行扩展,讨论了系统{x′=A(t)x+f(t,x)+g(t,y) y′=B(t)y+φ(t,x)+ψ(t,y)的线性化.当f(t,x)、φ(t,x)、g(t,y)、ψ(t,y)具有特殊结构时,通过构造适当的同胚函数,把系统{x′=A(t)x+f(t,x)+g(t,y) y′=B(t)y+φ(t,x)+ψ(t,y)的解映射为系统{v′=A(t)v u′=B(t)u的解.所讨论的系统更常见,结论更实用.     

关于二阶微分方程的J.S.Wong猜想

J.S.Wong在1974年提出了如下猜想:“若二阶微分方程:x(t)+a(t)x(t)=0是属于极限圆型的,则它的所有解必是有界的。”本文对上述猜想给予了否定回答。     

一类求解stiff 常微分方程组非线性显式及隐式单步法

本文构造了一类适于求解stiff 和振荡问题具A-稳定的非线性显式单步法及L-稳定的隐式单步法.这些方法与一些文献的同阶方法相比,具有相同的数值稳定性和较少的计算量.本文构造的L-稳定的数值积分公式对于特征值接近或位于虚轴的stiff 问题也是有效的.文末的数值例子表明,本文所构造的方法对某些类型的stiff 问题是有效的.     

一类二阶微分方程解的振荡性,有界性和单调性

本文阐述了以下二阶拟线性微分方程的解的振荡性，有界性和单调性的一些新结果。(p(t)(y’(t))α)’=q(t)yβ(t) r(t)，t≥tο其中，tο是非负实数，当t≥tο时，p(t)是连续的正实函数，r(t)是连续的实函数，q(t)是非负的连续的实函数且q(t)≠0，α和β都是正奇整数的商数。     

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

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

解常微分方程的稳定的显式单步法

应用函数P(x)=1A+Bx+C来近似初值问题dydx=f(x,y),y(x0)=y烅烄烆0的解,应用积分,得到了一个0烆0求解微分方程的一个新方法,它是求解常微分方程的一个显式方法,是一个单步法,最重要的是它dydx=λy,y(0)=y0,(λ<0)是稳定的,数值试验表明该方法简单有效。