1. 背景介绍
当扰动项为零时,Liénard系统变为哈密顿函数系统,进而研究其极限环分布。在系统过程结构中,系统正向或者逆向演化趋向的状态周期轨道称作极限环。如果有至少一段其他的轨道与其旋转相交,那么当且仅当时间趋于正无穷或负无穷时成立。在数学中,尤其是在动态系统理论里面,一个二维流形或者二维平面上的极限环表现为相空间里的一个闭合的轨道。
1900年,在世界数学家大会上,德国数学家希尔伯特提出了23个著名的数学问题,其中,第十六个问题的第二部分是:平面实n次多项式自治系统的极限环最大个数及分布如何?一百多年来,出现了大量研究这方面的工作。但是,这个问题是非常难的,即使对于n = 2的情形都还没有被完全解决,仍然是一个公开问题。这个问题研究进展和部分有效的研究方法可以参见综述性文章。1977年首次提出研究弱化形式的希尔伯特第十六问题的V. I. Arnold,研究了二维扰动系统的阿贝尔积分零点个数。在应用了数值探测和判定函数的方法后,在多项式的扰动情况下,可讨论相关的非对称六次哈密顿函数系统,研究其极限环分布及数量情况 [1]。最后结果显示,该多项式扰动一共含有三个任意的参数,表明此哈密顿函数系统在无穷区域中最多会出现三个极限环,然后应用数值探测找出三个极限环的确切位置,这样对进一步研究希尔伯特的第十六个问题有很重要的意义。而Liénard系统的阿贝尔积分零点个数问题的研究也一直是近年来的焦点,相关研究见 [2] - [8]。本文即采用阿贝尔积分生成元的切比雪夫理论,并且结合阿贝尔积分的渐进展开公式,运用多项式符号计算技术证明阿贝尔积分零点个数的上界。切比雪夫定理的正式提出,是19世纪俄国数学家切比雪夫在研究统计规律时,论证了并采用标准差表达了一个定理,这个公式具有十分深远的意义,被称作为切比雪夫定理。存在一种基于切比雪夫多项式的数值积分方法,该数值积分方法是一种重要的数值计算工具,这样的数值积分在边界元、有限元等数值计算方法中是必不可少的工具,再用微分法推导运行矩阵,将问题转化为线性方程组去解决,从而证明阿贝尔积分零点个数的上界。
2. 阿贝尔积分生成元的切比雪夫理论
设“
”是定义在开区间J上的解析函数,
i) 如果任意的线性组合
在j上至多有n − 1个孤立零点,那么
称为切比雪夫系统。
ii) 如果对每个
,任意线性组
至多有i − 1个零点,考虑零点重数,那么有序函数列
称为完全切比雪夫系统。
iii) 对于任意的
,系统
是在区间j上的一个完整的切比雪夫系统当且仅当对任意的
时,朗斯基行列式
成立。这里的
其中,
和
分别表示
的一阶导数和i阶倒数。
关于系统(1.1)的Abel积分零点个数上界,根据不同特点的系统,学者们提出了直接法 [2]、几何方法 [3]、辐角原理 [4] 等很多有效的方法。本文使用阿贝尔积分生成元的切比雪夫系统判定理论来研究阿贝尔积分零点个数上界,相关的定义详见参考文献 [1]。
3. 一类Liénard系统的阿贝尔积分零点个数上限
多项式Liénard系统
(1)
其中
和
,上述系统成为系统
的Liénard系统。
本论文研究类型为(4,3)的Liénard系统
(2)
其中
,
,
,和
是有界实参数,对应的Hamiltonian函数是
, (3)
Hamiltonian函数(1.3)的水平集
(即
)在图
进行了概述。
定义系统(2)
的闭合轨道族,用
表示。
是
的对应轨道,
是
的对应轨道,
是
的对应轨道。它陈述了一个基本中心(0,0),
定义了一个同宿轨道,该轨道包含一个通过
双曲线鞍点(0.5,0),其中间有一族围绕中心点(0,0)的周期轨道,见图1。由于
与
平行讨论,
上的Melnikov函数为
(4)
对于
,其中
和
。我们旨在提供整个平面内受扰
动系统极限环环数的完整描述。
Figure 1. The portrait of system (8) when ε = 0
图1. 系统(8)中当ε = 0时的相图
引理2.1设
是关于x的一元函数,并且满足
在
处解析,对于任意
,沿着
的每条轨线
,如下等式成立
(5)
其中
。
阿贝尔积分零点个数的切比雪夫性质的代数判定方法最初的思想来源于文献 [5],后来在文献 [8] 中得到推广和发展。
的零点最小上限计算如下:
在每条轨道
上有
成立,即
(6)
令
和
,根据引理2.1,可得
(7)
其中,
根据(6)式和(7)式,以及在每条轨道
上有
成立,可得
(8)
取
和
,然后由引理2.1,可得
(9)
其中,
,
根据(8)式和(9)式,以及在每条轨道
上有
成立,于是可得到
令
和
,然后由引理2.1,可知
其中,
,
根据以上的计算,可以得到以下结论:
其中
,显然如果
是精度为k的切比雪夫系统,当且
也是精度为k的切比雪夫系统。
下面证明
也是精度为k的切比雪夫系统,讨论以下:
这里的
是满足
得到:
其中
它在
上定义了
,因此,
(10)
并且
,取
,那么
。
借助符号计算系统Maple.18,存在以下引理:
引理2.2如下结论成立
1)
;
2)
;
3)
;
4)
。
上面四个朗斯基行列式皆为关于
的二元函数,并且
满足
,此时
,
。
.因此,想要知道上述朗斯基行列式在
上是否存在零点,我们只用去研究以上的朗斯基行列式和
是否满足不等式
(11)
的公共根
。
证明:考虑(10),结合Maple18的帮助,可知
其中:
并且
,
,
,
是次数分别为22,44,67和90的多项式。接下来,计算关于
和
之间关于的z的结式,得出:
根据Sturm定理,我们知道在条件(11)下
没有共同的根。 因此,我们将检查条件(11)下
和
是否具有共同根。其中i = 1,2,3,4。
1) 计算关于
和
之间的z的结果,即从
和
中消除得出
,其中
是关于x的次数为70的多项式。应用Sturm定理可知,当
时,
,所以
和
没有满足(11)的公共跟。因此,当
时,
。
2) 同样,要检查
和
之间是否存在公共根,我们用
代替程序中的
,我们得到
,其中
是关于x的次数为142的多项式。将Sturm定理应用于
,存在一个根,用
表示,使得
,即
。
因此,借助Maple 18的程序来找出所有可能的区间对,我们将检查
和
是否在
上
具有任何公共根:
;
;
;
;
;
;
;
;
三个正则链如下:
其中
,
,
和
是关于z的次数分别为116、117和142的项
数较多的多项式。显而易见,在前两个正则链之间不能找到共同的根满足式子(11)。隔离第三条正则链:
;
;
;
;
;
,
,
,
,
,
.
这意味着在列出的区间对中分别有6对
和
的公共根。 但是,没有一对满足条件(11)。 可以说,当
时,
。
3) 接下来,要检查
和
之间是否存在公共根,我们在程序中采用
代替
,我们可知
,
其中
是关于x的次数为221的多项式。将Sturm定理应用于
,即存在一个根
且
,使得
。
因此,通过借助Maple 18来找出所有可能的区间对,我们将检查
和
是否在
上
具有任何公共根:
;
;
;
;
;
;
;
;
三个正则链条如下:
其中
,
,
和
是关于z的次数分别为179、180和222的项
数较多的多项式。很明显,前两个正则链之间没有共同的根满足式子(11)。
接着隔离第三条正则链:
,
,
.
从以上计算可知,在列出的区间对中分别有8对
和
的公共根。但是,没有一对满足条件(11)。可以说,当
时,
。
4) 同样,我们使用相同的程序来查找所有可能的区间对,这些区间对中可能持有
和
的共同根,然后获得以下正则链,这三个正则链如下:
其中
,
,
和
是关于z的次数分别为242、242和302的多
项式。可以清楚看到,前四个正则链之间没有共同的根满足式子(11)。隔离第三条正则链:
我们可以知道在列出的区间对中分别有6对
和
的公共根。但是,没有一对满足条件(11)。可以说,当
时,可以得到结论
。
在
是扩充的完成的精度为0的切比雪夫系统,并且
也是这样。因此,当
属于
时,
最多有3个零点。
4. 结论
本文我们研究了类型为(4,3)的Liénard系统(1.2)的阿贝尔积分,证明其阿贝尔积分零点个数的最小上限是3。
基金项目
本文受广西自然科学基金项目(2020JJB110007)和广西中青年能力提升项目(2020KY16019, 2020KY16020)的经费支持。
NOTES
*通讯作者。