一类无穷远点的中心条件.docxVIP

一类无穷远点的中心条件

在平面上的复合差分系统定性理论中，极端环状分支问题是一个重要而困难的问题。关于复合差分系统的无限距离的研究很少。目前，研究主要集中在两个单元的复合系统上。

其中,Xk(x,y)Y,k(x,y)是x,y的齐k次多项式.此类系统在庞卡来闭球面上没有实奇点,赤道Γ∞是其轨线.Γ∞称为系统的无穷远点.若用In表示系统(1)无穷远点所达到的极限环的最大个数,得到了三次系统4个极限环、5个极限环、6个极限环、七个极限环的结论和五次系统4个极限环、8个极限环的结论.笔者用一同胚变换将无穷远点转变成原点,研究了一类五次多项式系统无穷远点的中心条件与赤道极限环分支,得到了I5≥9,所用的方法不同于文献,.

考虑如下实多项式系统:

其中,λδ,,A20B,20A,12B,12A,21B,21是实常数,且λ≠0.本文第一部分将介绍一些已知结果;第二部分用一同胚变换将系统(2)转换成一个新的系统,此时无穷远点转变成新系统的原点,通过计算机代数系统Mathematica计算此新系统的伴随系统原点的前55个奇点量;第三部分将运用在第二部分得到的奇点量讨论系统(2)无穷远点的中心条件;第四部分将给出一个在无穷远点有9个极限环的系统(2)的实例,由此得到I5≥9.

1规则学习参数定义

对于实平面多项式系统

其中,Xk,Yk是ξη,的k次齐次多项式,原点是系统(3)的中心或焦点.通过极坐标变换(ξη,)=(rcosθ,rsinθ),系统(3)变成系统(4),其中,?k+1(θ)=cosθXk(cosθ,sinθ)+sinθYk(cosθ,sinθ),ψk+1(θ)=cosθYk(cosθ,sinθ)-sinθXk(cosθ,sinθ).

对充分小的h,系统(4)满足初始条件r|θ=0=h的解记为,其中1v(θ)=eδθ,vm(δ,0)=0,m=2,3,4,….

定义1(见文献中定义1.1)对系统(3),若1v(2π)≠1,则称原点为系统(3)的粗焦点;若1v(2π)=1,v2(2π)=v3(2π)=…=v2k(2π)=0,v2k+1(2π)≠0,则称原点为系统(3)的k阶细焦点,而v2k+1(2π)称为原点的第k个焦点量;若1v(2π)=1,10且对任意正整数k,v2k+1(2π)=0,则称原点为系统(3)的中心.

经过变换,z=ξ+iη,w=ξ-iη,T=it,,系统(3)δ=0转化成

其中,aαβ=bαβ(这里aαβ表示aαβ的共轭),称系统(3)δ=0与(5)互为伴随系统.

引理1对系统(5),可逐项确定形式级数,使得,且c00=1,ckk∈R(k=12,…,.)?(αβ,),当α≠β时,

?(kj,),当k0或j0时,akj=bkj=ckj=0.对任意正整数m,μm是系统(5)原点的奇点量,且v2m+1(2π)~iπμm.此处“~”是代数等价符号.v2m+1(2π)~iπμm意味着存在系统(5)系数的多项式函数ξm(k)(k=12,…,m,-1),使得.

由引理1,系统(3)δ=0原点的焦点量可由系统(5)原点的奇点量导出.显然,系统(3)δ=0的原点是中心当且仅当系统(5)原点的μm=0(m=1,2,3,…).

2系统9=0基点量的推导

系统(2)经变换,有:

相应地,系统(2)的无穷远点转化成系统(9)的原点.由于变换(8)是同胚的,对系统(2)的无穷远点的研究等价于对系统(9)的原点的研究.进一步,经变换z=ξ+iη,w=ξ-iη,T=iτ,,系统(9)变成一类复自治微分系统.

其中,ajk=Ajk+iBjk,bjk=Ajk-iBjk,且满足共轭条件ajk=bjk,称系统(9)与(10)互为伴随系统.

由引理1,系统(9)δ=0原点的焦点量可由系统(10)δ=0原点的奇点量导出.显然,系统(9)δ=0的原点是中心当且仅当系统(10)δ=0原点的奇点量μm=0(m=1,2,3,…).

定理1系统(10)δ=0原点的前25个奇点量如下:μ5=(b21-a21)/5;μ10=(a12-b12)/5;μ15=0;μ20=[5(b220-a220)+b12b220-a12a220]/5;μ25=0.当k≠5i,i5,i∈N时,μk=0.

定理2若r=0,则系统(10)δ=0原点的第30~55个奇点量如下:μ30=μ35=μ40=μ45=μ50=μ55=0.当k≠5ii,11i,∈N时,μk=0.

定理3若r≠0,则系统(10)δ=0原点的第30~55个奇点量如下:

当k≠5ii,11i,∈N,时μk=0.其中I0=a220-b220,且在上述μ5k的表达式中已置μ5=μ10==μ5(k-1)=0,k=2,…,11.

3020

定理4系统(10)δ=0原点前55个奇点量为零当且仅当下列条件之一成立.

令a12=