1. 引言
众所周知，希尔伯特第16问题就是考虑平面多项式微分系统的极限环个数问题。但是对于一般的多项式微分系统，研究该问题是非常困难的，所以人们考虑了一些特殊的系统。比如Lienard微分系统
(1)
系统(1)的极限环个数问题一直被不断地研究，并且得到了许多经典的结果，如文献 [1] [2] [3] 。
在文献 [4] 中，作者把Lienard微分系统进行进一步推广，研究了下面广义Lienard微分系统
(2)
其中
，
是正整数，
是m次多项式，文章证明了从该系统非线性中心的周期环域最多分支出
个极限环。
然而，随着现实生活中出现许多不连续现象，越来越多的数学工作者开始研究不连续Lienard微分系统的分支问题。 例如文献 [5] 考虑了下面不连续Lienard微分系统
(3)
其中
，
。运用不连续微分系统的一阶平均法，得到了该系统(3)
从中心的周期环域分支出极限环最大个数的线性估计。关于不连续微分系统更多的研究可见文献 [6] [7] 。
鉴于不连续微分系统的重要性，本文讨论如下类型的不连续广义Lienard微分系统
(4)
其中
，
，
(5)
为正整数且
。
利用文献 [8] 中介绍的Melnikov函数方法，本文考虑了系统(4)从非线性中心的周期环域分支出极限环的最大个数问题。我们的主要结果如下：
定理1.1 假设
，
为系统(4)从非线性中心
，
的周期环域分
支出来的极限环的最大个数。
(i) 若
，则
(ii) 若
，则
(iii) 若
，则
注：当
、
、
时，文献 [9] 同样运用Melnikov函数证明了该不连续微分系统从线性中心
的周期环域可以分支出
个极限环。显然，文献 [9] 的结果是定理1.1的结论(iii)的一种情
形。结果表明：在非线性中心的扰动下产生的极限环个数总是大于等于在线性中心扰动下的极限环个数，且极限环的个数与y的系数
是无关的。
2. 预备知识
在这一部分，我们将介绍定理1.1证明过程所运用的Melnikov函数。考虑平面分段近Hamilton系统
(6)
其中
，且
可以表示成下面的形式
对系统(6)作以下假设：
(H1) 存在区间
，系统(6)
有一族顺时针周期轨道
(H2) 各周期轨道交轴于不同的两点
和
，这里
，且
和
在假设(H1)和(H2)下，那么，由文献 [8] 中的定理1.1 和文献 [10] 中的引理2.2，可以得到系统(6)的Melnikov函数为
(7)
这里
和
表示
和
.此时，确定系统(6)的极限环个数问题就转化为求一阶Melnikov函数孤立零点个数(重根按重数计算)的问题。由文献 [11] 等式(7)等价于
(8)
其中
此时，对于
，函数
满足
(9)
从文献 [11] 可知，若
在区间
有k个零点，则系统(6)从周期环域分支出k个极限环。所以只要考虑在(8)中第一个非零
的零点个数就能够得到
的零点个数。
在证明定理1.1之前，先给出一个在文献 [12] 的引理：
引理1.1如果函数
在实数R上是线性无关的，那么存在
和
,有
3. 定理1.1的证明
为了运用函数(8)，我们令
。为了方便运算，再把
用x，y表示，则系统(4)等价于
(10)
根据(8)式，系统(10)的一阶Melnikov函数为
其中
(11)
这里
(12)
易知系统(10)是分段近Hamilton系统，且它的Hamilton函数为
，
并且当
时，系统(10)有一族周期轨道
在证明定理1.1过程中，我们得到以下引理：
引理3.1 如果函数
则
至多存在
个孤立的正零点。对于一些多项式
和
，这零点的最大个数是可以取得的。且当多项式
和
是奇函数时，函数
恒等于零。
证明：根据(5)，(10)，（12)和格林公式，有
(13)
通过运用格林公式和一般的Liapunov极坐标变换
(三角函数
的详细介绍可见文献 [13] )，则
可变为
(14)
从文献 [13] 可知
(15)
又根据(13)得
(16)
令
，把(15)代入(14)，再把(14)，(16)代入(13)，有
(17)
在系统(4)中，可知p，q满足
，则(17)等价于
(18)
其中
(19)
特别地，对于
，从上面分析可知
. 根据(18)式，我们可以知道函数
至多有
个孤立的正零点。显然
是独立的，所以函数
孤立零点的最大个数是可以
得到的。同时根据(18)，(19)式也可以得到引理3.2。
引理3.2 假设
是阶数分别为m,n的奇函数，那么函数
至多存在孤立的正零点个数
为
(i) 若
，则
；
(ii) 若
，则
；
(iii) 若
，则
证明：其中沿着周期轨道
，我们有
，则由(12)得
(20)
因为
是奇函数，则可得
根据等式(12)得
(21)
由上述预备知识可知
和
是满足下列方程的两个解
(22)
方程(22)两边对
求导得
(23)
则
(24)
根据(11)，(18)得
(25)
因为
是奇函数，所以
可以表示成
(26)
根据前面
，则从(5)，(9)，(13)，(25)和(26)式可知
(27)
其中
综合上述(11)，(18)，(20)，(27)式，则函数
的表达式为
其中
函数
的零点等价于
的零点，且
(28)
为了计算函数
的零点，我们按下面的情况进行分类讨论：
第一种情况：假设
，此时在(28)式中任意参数
是独立的，因此，根据预备知识中的引理1.1，我们可以知道函数
至多存在
个零点。
第二种情况：假设
，在这种情况下，函数
的表达式可写成
(29)
其中
我们注意到对任意参数
是独立的，从引理1.1我们可知函数
至多可存在
个零点。
第三种情况：假设
，这时函数
的表达式是
(30)
其中
容易证明对任意参数
是独立的，因此，根据引理1，函数
至多可存在
个零点。
综合上述三种情况，引理3.2证毕。
根据引理3.1，假设
，如果
不恒等于0，那么函数
的零点的最大个数在引理3可以得到，则定理1.1已经得证。
4. 结束语
经过计算和证明，我们得到了该系统从非线性中心的周期环域分支出极限环最大个数的估计。结果表明：在非线性中心的扰动下产生的极限环个数总是大于等于在线性中心扰动下的极限环个数，且极限环的个数与y的指数
是无关的。
致谢
在论文写作过程中得了老师和同学的帮助和指导，在此表示感谢。同时我也要感谢学校和学校的领导给我们创造的良好的学习环境，让我们能够在良好的氛围中完成论文。最后，感谢国家自然科学基金(11171309, 11172269)的支持。
基金项目
国家自然科学基金(11171309, 11172269)。