1. 引言
近些年来,关于多项式微分系统极限环问题很多学者已有研究,如 [1] [2] [3] [4] ,但采用的方法通常是选择适当的坐标变换把方程化为一种标准形式,然后再利用定性分析的方法来讨论。文 [5] 中利用分支的方法,研究了软弹簧型方程在摄动下分支出极限环的问题。文 [6] [7] [8] 中利用同宿分支的方法,研究了二次微分系统(I),(II),(III)类方程的极限环的存在性。文 [9] 中利用分支的方法,研究了一类Duffing方程的分支问题。本文利用类似的方法,适当选取存在异宿环的未扰系统,把其余项看作扰动项,通过对未扰系统的异宿轨经扰动破裂以后的稳定流形和不稳定流形之间的相对距离的分析,研究了一类三次微分系统的异宿环分支极限环的问题。
2. 预备知识
考虑平面自治系统
(2.1)
及其扰动系统
(2.2)
其中,,,,,。
引理1 (环域定理) ( [1] ):设是由两条不相交的单闭曲线和所围成的环域,并且系统在内无奇点。如果当时间增加时从和上出发的轨线都进入(离开),那么在内至少存在一个稳定(不稳定)的极限环。
注1:和可以部分地由轨线构成,甚至上面可以出现有限个奇点,只要保证轨线一旦进入(离开)后不再离开(进入)即可。
注2:的内边界可以缩为一个不稳定(稳定)的奇点。
引理2 ( [4] ):假设系统(2.1)存在异宿于鞍点,的异宿环,为上任意一点,过作(2.1)的横截线与在点的外法线方向共线。扰动系统(2.2)在,点附近的鞍点分别为 (由扰动而来)和(由扰动而来),的稳定流形和的不稳定流形与的交点分别为和。则在小扰动下,从到的有向距离(与同向时为正)为:
(2.3)
其中,为Melnikov函数。
3. 主要结果
考虑系统
(3.1)
设,,令,,,从而系统(3.1)化为:
(3.2)
通过简单的定性分析可知系统(3.2)有鞍点和,焦点或结点。令,,则系统(3.2)化为:
(3.3)
易知(3.3)有鞍点和,焦点或结点。考虑(3.3)的未扰系统:
(3.4)
易知(3.4)有鞍点和,中心,经计算得到系统(3.4)的首次积分:
(3.5)
当时,(3.5)为(3.4)的过鞍点和的异宿环,记为,即,,其中为沿方向从到的异宿轨,为沿方向从到的异宿轨。不失一般性,假设为在轴的左边部分,为在轴的右边部分,为逆时针走向。将带入(3.5)式可以得到:当时,(3.5)为(3.4)的在异宿环内的一簇包围中心的闭轨。于是我们得到:
定理(1) 当,时,系统(3.3)在的邻域内至少存在一条围绕的稳定极限环。
(2) 当,时,系统(3.3)在的邻域内至少存在一条围绕的不稳定极限环。
证明: (1)当,时,此时(3.3)可转化为
(3.6)
下面我们讨论系统(3.6)在奇点,和附近的轨线结构。由(3.5)知与的表达式分别为
,.
记,,,。任取上一点,不妨设此时,即,。过作(3.4)的截线与在点的外法线方向同向,设为系统(3.3)过的不稳定流形,为系统(3.3)过的稳定流形,且,与的交点分别为,。由引理2知,在扰动充分小的情况下,从点到点的有向距离为。
考虑的Melnikov函数:
由,,得。由于,,故,此时异宿轨破裂以后关于鞍点的稳定流形在的不稳定流形的外部。
同理可证异宿轨破裂以后关于鞍点的稳定流形在的不稳定流形的外部。
以下我们利用Poincare-Bendixson环域定理来证明极限环的存在性,我们只需构造所需的内外境界即可。
首先,当,时,为系统(3.3)的一阶不稳定细焦点或不稳定结点,故可取作为环域定理所要求的环域的内境界。
其次,由前面分析知道,当时,在的外部,并且当系统(3.3)的轨线穿过线段时,,从而由上任意点出发的轨线沿自上向下的方向穿过,同样当时,在的外部,并且当系统(3.3)的轨线穿过线段时,,从而由上任意点出发的轨线沿自下向上的方向穿过。同时(3.3)满足解的存在唯一性条件,所以,我们选取作为环域的外境界。易知,由和上任意点出发的轨线都进入。
由Poincare-Bendixson环域定理得,此时系统(3.3)在环域中至少存在一个稳定的极限环。
同理可证明(2),当,时,系统(3.3)在的邻域内至少存在一个不稳定的极限环。
基金项目
国家自然科学基金(11601212),山东省自然科学基金(ZR2015AL005)和山东省高等学校科技计划项目(J16LI03)资助。
参考文献