1. 引言
混沌,作为二十世纪最伟大的发现之一,已经取得了广泛的关注,并且在非线性电路、生物模型、经济模型等领域展示了很好的应用前景[1]-[8]。
耗散系统和保守系统都可以有混沌行为。对前者而言,局部相空间的体积随着时间的变化是处处压缩的,渐近状态体现为吸引子。然而,对于保守系统而言,相空间的体积是保持不变的。这就意味着保守系统不存在吸引子。因此,保守系统中的混沌是一个非吸引的混沌集。而且,这个混沌集的维数等于系统的维数。这也意味着保守混沌系统比耗散混沌系统具有更丰富的遍历性[9] [10]。
在混沌系统中,同宿轨和异宿轨是两类特殊的连接轨道。同宿轨指的是当时间趋于负无穷和正无穷时,会趋于同一个不变集的一条连接轨道。异宿轨指的是当时间趋于负无穷和正无穷时,会趋于两个不同不变集的一条连接轨道[11]。在一定条件下,同宿轨和异宿轨能够分支出混沌和周期轨。基于这个性质,越来越多的学者致力于同宿轨和异宿轨的研究[12]-[23]。
对自治系统而言,给出同宿轨和异宿轨的存在性是一项困难的任务,而得到轨道的精确表达式更是一个挑战。Hale等人[24]给出了Gray-Scott模型精确的同宿解和异宿解;Bao和Yang [25]提出了一个新的方法来得到精确的同宿轨;Li和Zhao [26]给出了一个三维系统的精确异宿环族;Li和Chen [27]研究了三阶系统中的精确同宿轨和异宿轨;Algaba等人[28]利用爆破技术研究了一条精确的同宿轨;Zhang和Li [29]得到了一类三维流的精确同宿轨。然而,据我们所知,对具有平衡点曲线的三维自治系统中的精确同宿轨和异宿环,并没有相应结果。
本文研究了如下三维保守系统
(1)
其中
。容易验证系统(1)的散度等于0,这说明此系统是一个体积不变的保守系统。当
,系统有
一条平衡点曲线,同时我们发现系统有两条同宿轨和一个同宿环并且得到了他们的解析表达式。我们发现这些连接轨道可以在很宽的参数范围内持续存在。当c变为非零时,系统由退化结构变为非退化结构,并且稳定流形与不稳定流形发生分离,从而平衡曲线、同宿轨和异宿轨同时消失。此时,系统中出现了无穷多个孤立平衡点。我们证明了所有的平衡点都是鞍点。在这种情况下,我们发现系统能够显示瞬态混沌到周期解现象。我们也给出了系统轨道上某个变量的演化过程和这两种状态的Poincare映射。此外,得到了共存的轨道,如共存的混沌轨道和周期轨道,共存的拟周期轨道和周期轨道,共存的混沌轨道和拟周期轨道。
本文安排如下:第二节给出了两条同宿轨和异宿环的存在条件,并且给出了这些连接轨道的解析表达式;第三节分析了平衡点的稳定性,而且展示了暂态混沌现象以及一些共存的轨道。
2. 同宿轨和异宿环
本节考虑
时系统(1)的动力学。此时,系统(1)变为
(2)
从系统(2)可知,x轴是一条平衡点曲线。通过对方程的积分,我们可以得到两个精确的同宿轨和一个精确的异宿环。
定理2.1 当
时,系统(2)有两条连接原点的同宿轨
和
。解析表达式如下:
其中
证明:从系统(2)可得
和
(3)
作变换
(4)
(5)
结合(3)和(5),可得
(6)
令
,则
(7)
从(6)和(7),得
因此,
其中
时任意常数。于是,可得
(8)
或
(9)
令
,则(8)变成
(10)
其中
。通过对上式积分,得到(10)的一个解
(11)
从系统(2),有
(12)
(13)
因此,
是系统(2)的一个解析解。当
时,
会趋于原点
。这样一来,
就是系统(2)的一个同宿解。
同理对方程(9)积分,可得系统(2)的另一个同宿解
。
定理证明完毕。
为了验证结果,我们给出数值仿真。令
,那么系统(2)有一条(黑色的)平衡点曲线。选择初始点为
,当
和
时,轨道(蓝色部分和红色部分)都会趋于原点。于是,就得到一条同宿轨,如图1所示。选择另一初始点为
,当
和
时,轨道(绿色部分和粉色部分)也都会趋于原点。于是,也得到一条同宿轨,如图1所示。
Figure 1. Two homoclinic orbits of system (2) with
图1. 当
时,系统(2)的两条同宿轨
定理2.2 令
,则系统(2)有一个连接
和
的异宿环:
解析表达式为
其中
证明:令
,则方程(8)为
(14)
其中
。通过积分,可得(14)的一个解
(15)
从系统(2),可得
(16)
(17)
因此,
是系统(2)的一个解析解。而且,当
时,解
会趋
于
;当
时,解
会趋于
。所以,解
就是系统(2)的一个异宿解。
同理,对方程(9),可得系统(2)的另一个异宿解:
。而且,当
时,解
会趋于
;当
时,解
会趋于
。
于是,这两个异宿轨和这两个平衡点
构成了一个异宿环。定理证明完毕。
为了验证结果,我们给出数值仿真。令
,那么系统(2)有一条(黑色的)平衡点曲线。选择初始点为
,当
和
时,轨道(蓝色部分和红色部分)会分别趋于
和
。于是,就得到一条异宿轨,如图2所示。选择另一初始点为
,当
和
时,轨道(绿色部分和粉色部分)也会分别趋于
和
。于是,也得到一条异宿轨,如图2所示。因此,构成了一个异宿环。
Figure 2. The heteroclinic cycle of system (2) with
图2. 当
时,系统(2)的异宿环
3. 保守混沌
本节研究当
时,系统(1)的动力学。此时,系统有无穷多个孤立的平衡点。我们分析了这些平衡点的稳定性,发现所有平衡点都是鞍点。而且,我们发现系统能够展示暂态混沌现象,给出了关于变量x的波形图。此外,发现了一些轨道共存现象。包括共存的混沌轨道和周期轨道,共存的拟周期轨道和周期轨道,共存的混沌轨道和拟周期轨道。
3.1. 无穷多孤立平衡点
定理3.1 令
,则系统(1)有无穷多个鞍点
,其中
。
证明:当
,则系统(1)有无穷多个平衡点
,其中
。
当k是偶数时,系统(1)在平衡点
处的Jacobi矩阵是
则特征方程为
(18)
根据Routh-Hurwitz判别法,相应的三个行列式为
这意味着方程(18)的根的实部并不全是负的。而且,三个特征值
满足
于是,当
时,特征值有两个负实部和一个正实部。当
时,特征值有一个负实部和两个正实部。
类似地,当
是奇数时,可以得到:当
时,特征值有一个负实部和两个正实部。当
时,特征值有两个负实部和一个正实部。
所以,对所有
,平衡点
都是鞍点。
3.2. 暂态混沌
令
。选择
为初始点,时间t从0到30000,我们研究系统(1)的轨道中变量x的变化过程,如图3所示。为了更清晰地展示此过程,我们对图3做了局部放大,如图4所示。
Figure 3. The waveform of system (1) variable x in the range
with
图3. 当
时,系统(1)中变量x波形图(t从0到30000)
Figure 4. The locally amplified waveform of system (1) variable x
图4. 系统(1)中变量x的局部放大的波形图
从x的波形图可知,系统(1)在有限时间内会展示一个混沌行为(对应的混沌集的Lyapunov指数为0.0355, 0.0000, −0.0355),随着时间的推移,演变成一个周期行为。图5给出了相空间中暂态混沌和周期轨道的图形,图6(a)和图6(b)分别给出了暂态混沌和周其轨道的Poincare点,其中Poincare截面为
。
Figure 5. The transient chaos and periodic orbit of system (1) with
图5. 当
时,系统(1)的暂态混沌和周期轨道
(a) (b)
Figure 6. The Poincare points of system (1) with
: (a) Transient chaos; (b) Periodic orbit
图6. 当
时,系统(1) Poincare点:(a) 暂态混沌;(b) 周期轨道
这里暂态混沌的出现是由于系统有一个非吸引的混沌集。通过解对初值的连续依赖性,从非吸引的混沌集附近出发的轨道在有限时间内会保持在混沌集的小邻域内运动。随着时间的推移,轨道可能会远离这个混沌集,也可能继续在混沌集的邻域内运动。对前者而言,可以观察到一个暂态的混沌现象;而对于后者,就可以用轨道近似地描绘出混沌集的结构。系统的分岔图如图7所示。
3.3. 混沌与周期轨共存
在变换
下,系统(1)是形式不变的。这就意味着,如果系统有一个非对称的不变集
,那么一定存在另一个不变集
,它和
是关于原点
对称的。
令
。分别选择取
和
为初始点,得到两个共存的周期轨道(红色部分和黄色部分),如图8(a)所示。选取另一个初始点
,得到一个混沌轨道,如图8(b)所示。因此,我们得到了系统(1)的混沌和两个周期轨共存,如图9所示。
Figure 7. The bifurcation diagram of system (1) with
图7. 当
时,系统(1)的分岔图
(a)
(b)
Figure 8. The coexisting orbits of system (1) with
:(a) Two periodic orbits; (b) Chaos
图8. 当
时,系统(1)的共存轨道:(a) 两个周期轨道;(b) 混沌
Figure 9. The coexistence of chaos and periodic orbits of system (1) with
图9. 当
时,系统(1)的混沌和周期轨的共存
3.4. 拟周期与周期轨共存
令
。分别选择取
和
为初始点,得到两个共存的拟周期轨道(蓝色部分和红色部分),如图10(a)所示。图10(b)展示了这两个拟周期轨道在截面
上的Poincare点。
(a) (b)
Figure 10. The coexisting orbits of system (1) with
: (a) Two quasi-periodic orbits; (b) The Poincare points
图10. 当
时,系统(1)的共存轨道:(a) 两个拟周期轨道;(b) Poincare点
选取另一对初始点
和
,得到两个共存的周期轨道(绿色部分和黑色部分),如图11所示。因此,系统(1)有两个拟周期轨和两个周期轨共存,如图11所示。
3.5. 混沌与拟周期轨共存
令
。分别选择取
和
为初始点,得到两个共存的拟周期轨道(绿色部分和蓝色部分),如图12(a)所示。图12(b)展示了这两个拟周期轨道在截面
上的Poincare点。
Figure 11. The coexistence of quasi-periodic orbits and periodic orbits of system (1) with
图11. 当
时,系统(1)的拟周期轨和周期轨的共存
(a) (b)
(c) (d)
(e) (f)
Figure 12. System (1) with
: (a) (b) Two quasi-periodic orbits and Poincare points; (c) (d) Chaos and Poincare points; (e) (f) The coexisting orbits and Poincare points
图12. 当
时系统(1)的:(a) (b) 两个拟周期轨道及Poincare点;(c) (d) 混沌及Poincare点;(e) (f) 共存轨道及Poincare点
选取另一个初始点
,得到一个混沌轨道(红色部分),如图12(c)所示。图12(d)展示了这个混沌轨道在截面
上的Poincare点。因此,系统(1)有混沌与两个拟周期轨共存,如图12(e)所示。图12(f)展示了这个混沌与拟周期轨在截面
上的Poincare点。
4. 结论
本文研究了一类具有平衡点曲线的系统中的精确的同宿轨道、异宿环和混沌现象,而现有的关于精确连接轨道的研究中平衡点都是孤立的。事实上,这个系统具有两个奇异退化异宿环。而且,这些连接轨道能够在大参数范围下持续存在。因此,本文得到的同宿轨和异宿环对某些系统参数的小扰动是稳定。进一步,系统展示了暂态混沌现象,以及混沌、拟周期轨、周期轨之间的两两共存。本文的结果对于研究自治系统中其他类型的精确轨道和共存轨道也许会有一定帮助。
基金项目
国家自然科学基金项目(Nos. 12101271, 12101272, 12101078),江西省自然科学基金项目(No. 2024BAB20005)。
NOTES
*通讯作者。