具有轨道翻转的三点异维环“∞”型奇异轨分支 Bifurcation of Three-Point Heterodimensional Cycles with Orbit Flip in Shape of “∞”

doi:10.12677/AAM.2022.113143

Advances in Applied Mathematics
Vol. 11 No. 03 ( 2022 ), Article ID: 49742 , 16 pages
10.12677/AAM.2022.113143

具有轨道翻转的三点异维环“∞”型奇异轨分支

位莹莹，张天四^*

●How to Cite this Article

上海理工大学，理学院，上海

收稿日期：2022年2月23日；录用日期：2022年3月21日；发布日期：2022年3月28日

摘要

本文主要研究了一类具有轨道翻转的三点异维环分支问题。在未扰动异维环Γ的小管状邻域内，通过构建局部活动坐标架，建立Poincaré映射得到后继函数。再通过对分支方程的分析，得到了三点异维环Γ的小邻域内“∞”型双异维环、双同宿环的存在性和双异维环与1-周期轨、2重周期轨的共存性。另外，我们还得到了轨道的存在区域和分支曲面的表达式。

关键词

异维环，轨道翻转，Poincaré映射，同宿轨，周期轨

Bifurcation of Three-Point Heterodimensional Cycles with Orbit Flip in Shape of “∞”

Yingying Wei, Tiansi Zhang^*

College of Science, University of Shanghai for Science and Technology, Shanghai

Received: Feb. 23^rd, 2022; accepted: Mar. 21^st, 2022; published: Mar. 28^th, 2022

ABSTRACT

In this paper, bifurcation of three-point heterodimensional cycles with orbit flip is studied in a three-dimensional vector field. By establishing local moving frame systems in a small tubular neighborhood of unperturbed heterodimensional cycles, we build a Poincaré return map and obtain succeed functions. Based on analysis of the bifurcation equations, the existence of “∞” type double heterodimensional cycles, homoclinic loops, and the coexistence of hetrodimensional cycle with 1-periodic orbit or 2-fold periodic orbit near Γ are received. Moreover, we give the existence regions of the above orbits and the expression of bifurcation surfaces.

Keywords:Heterodimensional Cycle, Orbit Flip, Poincaré Return Map, Homoclinic Orbit, Periodic Orbit

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

同宿轨和异宿轨及其分支是分支结构不稳定性和动力系统复杂性研究的重要问题之一，在生物学、物理学、金融等领域有重要的应用，得到了众多学者的关注，目前已获得丰富的结果，参见 [1] [2] [3] [4] [5]。

作为异宿轨的一种特殊形式—异维环，它在整个异宿轨的理论研究中占有重要地位。1973年，Newhouse和Palis在文献 [6] 中第一次研究了异维环的分支，通过采用固有值作为分支值得到了2重周期轨数量的下界。此后有关异维环的分支问题得到广泛的关注(参考文献 [6] - [18])。

在文献 [10] 中，作者研究了四维系统中具有倾斜翻转的两点异维环分支问题，利用 [9] 中给出的方法得到了分支方程，并通过对分支方程的分析，证明了同宿轨、周期轨和异宿轨的存在性和共存性以及由倾斜翻转产生的异维环与同宿环共存的结论；文献 [11] 则考虑了在轨道翻转和倾斜翻转的条件下两点异维环的分支问题，得到了周期轨与同宿轨的存在性和在异维环保存的情况下与周期轨的共存性的结论，同时也给出了奇异轨存在性和共存性的范围。此外文献 [12] 将异维环的分支问题提升到了高维系统，给出了微小扰动下，同宿轨、周期轨与异宿环不共存性的条件。

然而，现有的绝大多数论文仅限于研究连接两个奇点的异维环的分支，对三点异维环分支的讨论比较少(例如 [16]、 [17] 和 [18])。本文在文献 [16] [17] [18] 研究的基础上，考虑非对称系统具有轨道翻转时的异维环分支。主要分为以下几个部分：在第二部分，我们给出本文的假设条件；在第三部分构造新的活动坐标架和Poincaré映射，利用后继函数得到分支方程；在第四部分，对得到的分支方程进行分析，讨论三点异维环Γ的小邻域内“∞”型双异维环、双同宿环的存在性和双异维环与周期轨、同宿轨的共存性以及存在区域和平面分支图。

2. 假设条件

考虑 $C^{r}$ 系统及其未扰系统

$\dot{z} = f (z) + g (z, μ)$ (2.1)

$\dot{z} = f (z)$ (2.2)

其中 $r \geq 3$ ， $z \in ℝ^{3}$ ， $μ \in ℝ^{l}$ ， $l \geq 5$ ， $0 \leq | μ | ≪ 1$ ， $g (z, 0) = 0$ 。假设 $f (p_{i}) = 0$ ， $g (p_{i}, μ) = 0$ ， $i = 1, 2, 3$ 。 $f, g$ 是r级可微连续。

再做如下假设：

(A1) 系统(2.2)具有三个双曲平衡点 $p_{1}$ ， $p_{2}$ ， $p_{3}$ 。并且对应的线性化矩阵 $D f (p_{1})$ 有单特征值 $- ρ_{1}^{1}$ ， $λ_{1}^{1}$ ， $λ_{1}^{2}$ 满足 $- ρ_{1}^{1} < 0 < λ_{1}^{1} < λ_{1}^{2}$ ； $D f (p_{2})$ 有单特征值 $- ρ_{2}^{1}$ ， $λ_{2}^{1}$ ， $λ_{2}^{2}$ 满足 $- ρ_{2}^{1} < 0 < λ_{2}^{1} < λ_{2}^{2}$ ； $D f (p_{3})$ 有单特征值 $- ρ_{3}^{1}$ ， $- ρ_{3}^{2}$ ， $λ_{3}^{1}$ 满足 $- ρ_{3}^{2} < - ρ_{3}^{1} < 0 < λ_{3}^{1}$ 。

(A2) $Γ = Γ_{1} \cup Γ_{2} \cup Γ_{3} \cup Γ_{4}$ 是系统(2.2)的异维环，其中 $Γ_{k} = {z = r_{k} (t) : t \in R}$ ， $k = 1, 2, 3, 4$ 。 $r_{1} (- \infty) = r_{2} (+ \infty) = p_{1}$ ， $r_{1} (+ \infty) = r_{2} (- \infty) = p_{2}$ ， $r_{3} (- \infty) = r_{4} (+ \infty) = p_{2}$ ， $r_{3} (+ \infty) = r_{4} (- \infty) = p_{3}$ (见图1)。

(A3) (非退化条件) $\dim (T_{r_{3} (t)} W_{p_{2}}^{u} \cap T_{r_{3} (t)} W_{p_{3}}^{s s}) = 1$ 。

(A4) 定义 $e_{k}^{\pm} = \lim_{t \to \mp \infty} \frac{{\dot{r}}_{k} (t)}{| {\dot{r}}_{k} (t) |}$ ， $k = 1, 2, 3, 4$ 。且 $e_{1}^{+} \in T_{p_{1}} W_{p_{1}}^{u}$ ， $e_{2}^{+}, e_{3}^{+} \in T_{p_{2}} W_{p_{2}}^{u}$ ， $e_{4}^{+} \in T_{p_{3}} W_{p_{3}}^{u}$ ， $e_{1}^{-}, e_{4}^{-} \in T_{p_{2}} W_{p_{2}}^{s}$ ， $e_{2}^{-} \in T_{p_{1}} W_{p_{1}}^{s}$ ， $e_{3}^{-} \in T_{p_{3}} W_{p_{3}}^{s s}$ ，分别是 $λ_{1}^{1}$ ， $λ_{2}^{1}$ ， $λ_{3}^{1}$ ， $- ρ_{2}^{1}$ ， $- ρ_{1}^{1}$ ， $- ρ_{3}^{2}$ 的单位特征向量，其中 $e_{2}^{+} = - e_{3}^{+}$ ， $e_{1}^{-} = - e_{4}^{-}$ (见图1)。

(A5) 令 $\lim_{t \to + \infty} T_{r_{1} (t)} W_{p_{1}}^{u} = s p a n {e_{1}^{-}, e_{v}^{+}}$ ， $\lim_{t \to - \infty} T_{r_{1} (t)} W_{p_{2}}^{s} = s p a n {e_{1}^{+}}$ ， $\lim_{t \to + \infty} T_{r_{2} (t)} W_{p_{2}}^{u} = s p a n {e_{2}^{-}, e_{1}^{+}}$ ， $\lim_{t \to - \infty} T_{r_{2} (t)} W_{p_{1}}^{s} = s p a n {e_{2}^{+}}$ ， $\lim_{t \to + \infty} T_{r_{3} (t)} W_{p_{2}}^{u} = s p a n {e_{3}^{-}, e_{y}^{-}}$ ， $\lim_{t \to - \infty} T_{r_{3} (t)} W_{p_{3}}^{s} = s p a n {e_{3}^{+}, e_{v}^{+}}$ ， $\lim_{t \to + \infty} T_{r_{4} (t)} W_{p_{3}}^{u} = s p a n {e_{4}^{-}}$ ， $\lim_{t \to - \infty} T_{r_{4} (t)} W_{p_{2}}^{s} = s p a n {e_{4}^{+}}$ ，其中 $e_{v}^{+}$ ， $e_{y}^{-}$ 分别是 $λ_{2}^{2}$ ， $- ρ_{3}^{1}$ 的单位特征向量。

(A6) $\frac{λ_{3}^{1}}{ρ_{3}^{1}} > \frac{λ_{2}^{1}}{ρ_{2}^{1}} > \frac{λ_{1}^{1}}{ρ_{1}^{1}} > 1$ 。

Figure 1. Heterodimensional cycle $Γ = Γ_{1} \cup Γ_{2} \cup Γ_{3} \cup Γ_{4}$

图1. 异维环 $Γ = Γ_{1} \cup Γ_{2} \cup Γ_{3} \cup Γ_{4}$

3. Poincaré映射和分支方程

这一部分，我们给出系统(2.1)的规范型，并且利用局部活动坐标架，在异维环Γ附近建立Poincaré映射，并给出分支方程。

首先假设 $U_{i}$ 是奇点 $p_{i} (i = 1, 2, 3)$ 充分小邻域，则可通过适当的平移和线性变换，将系统(2.1)在 $U_{1}$ 内化成如下的形式：

${\begin{cases} \dot{x} = λ_{1}^{1} (μ) x + O (2) \\ \dot{y} = - ρ_{1}^{1} (μ) y + O (2) \\ \dot{u} = λ_{1}^{2} (μ) u + O (2) \end{cases}$ (3.1)

在 $U_{2}$ 内化为：

${\begin{cases} \dot{x} = λ_{2}^{1} (μ) x + O (2) \\ \dot{y} = - ρ_{2}^{1} (μ) y + O (2) \\ \dot{v} = λ_{2}^{2} (μ) v + O (2) \end{cases}$ (3.2)

在 $U_{3}$ 内化为：

${\begin{cases} \dot{x} = λ_{3}^{1} (μ) x + O (2) \\ \dot{y} = - ρ_{3}^{1} (μ) y + O (2) \\ \dot{w} = - ρ_{3}^{2} (μ) w + O (2) \end{cases}$ (3.3)

根据文献 [19] 以及流形的不变性，我们在小邻域 $U_{i}$ 内拉直平衡点 $p_{i}$ 的局部稳定流形和局部不稳定流形、局部强稳定流形和局部强不稳定流形，系统(2.1)在 $U_{1}$ 内进一步可表示为：

${\begin{cases} \dot{x} = (λ_{1}^{1} (μ) + o (1)) x + O (u) O (y) \\ \dot{y} = (- ρ_{1}^{1} (μ) + o (1)) y \\ \dot{u} = (λ_{1}^{2} (μ) + o (1)) u + O (x) O (y) \end{cases}$ (3.4)

在 $U_{2}$ 内为：

${\begin{cases} \dot{x} = (λ_{2}^{1} (μ) + o (1)) x + O (v) O (y) \\ \dot{y} = (- ρ_{2}^{1} (μ) + o (1)) y \\ \dot{v} = (λ_{2}^{2} (μ) + o (1)) v + O (x) O (y) \end{cases}$ (3.5)

在 $U_{3}$ 内为：

${\begin{cases} \dot{x} = (λ_{3}^{1} (μ) + o (1)) x \\ \dot{y} = (- ρ_{3}^{1} (μ) + o (1)) y + O (w) O (x) \\ \dot{w} = (- ρ_{3}^{2} (μ) + o (1)) w + O (x) O (y) \end{cases}$ (3.6)

系统(3.4)~(3.6)至少为 $C^{r - 2}$ 的。

选取时间 $T_{k} ≫ 1$ ， $k = 1, 2, 3, 4$ 。且 $r_{1} (- T_{1}), r_{2} (T_{2}) \subset U_{1}$ ， $r_{1} (T_{1}), r_{2} (- T_{2}) \subset U_{2}$ ， $r_{3} (- T_{3}), r_{4} (T_{4}) \subset U_{2}$ ， $r_{3} (T_{3}), r_{4} (- T_{4}) \subset U_{3}$ 满足 $r_{k} (- T_{k}) = {(σ, 0, 0)}^{*}$ ， $k = 1, 3, 4$ 。 $r_{2} (- T_{2}) = {(- σ, 0, 0)}^{*}$ ； $r_{k} (T_{k}) = {(0, σ, 0)}^{*}$ ， $k = 2, 4$ 。 $r_{1} (T_{1}) = {(0, - σ, 0)}^{*}$ ， $r_{3} (T_{3}) = {(0, σ, 0)}^{*}$ 。这里 $*$ 表示转置， $0 < σ ≪ 1$ 是充分小正常数，并且使得如下范围成立

${{(x, y, u)}^{*} | | x |, | y |, | u | < 2 σ} \subset U_{1}$ ,

${{(x, y, v)}^{*} | | x |, | y |, | v | < 2 σ} \subset U_{2}$ ,

${{(x, y, w)}^{*} | | x |, | y |, | w | < 2 σ} \subset U_{3}$ .

考虑系统(2.2)的线性变分系统

$\dot{z} = D f (r_{k} (t)) z$ (3.7)

和其伴随系统

$\dot{ψ} = - {(D f (r_{k} (t)))}^{*} ψ$ (3.8)

$k = 1, 2, 3, 4$ 。

在假设条件(A1)~(A5)成立的前提下，则

1) 当 $k = 1$ 时，变分系统(3.7)存在基解矩阵 $Z_{1} (t) = (z_{1}^{1} (t), z_{1}^{2} (t), z_{1}^{3} (t))$ ，定义

$z_{1}^{1} (t) = \frac{{\dot{r}}_{1} (t)}{| {\dot{r}}_{1} (- T_{1}) |} \in T_{r_{1} (t)} W_{p_{1}}^{u} \cap T_{r_{1} (t)} W_{p_{2}}^{s}$ , $z_{1}^{2} (t) \in {(T_{r_{1} (t)} Γ_{1})}^{c}$ , $z_{1}^{3} (t) \in {(T_{r_{1} (t)} Γ_{1})}^{c} \cap {(T_{r_{1} (t)} W_{p_{2}}^{s})}^{c}$ ,

使得

$Z_{1} (- T_{1}) = (\begin{matrix} 1 & 0 & 0 \\ 0 & {\bar{ω}}_{1}^{22} & 0 \\ 0 & {\bar{ω}}_{1}^{32} & 1 \end{matrix}), Z_{1} (T_{1}) = (\begin{matrix} 0 & ω_{1}^{12} & 0 \\ ω_{1}^{21} & ω_{1}^{22} & 0 \\ 0 & ω_{1}^{32} & 1 \end{matrix})$ ,

其中 $ω_{1}^{21} < 0$ ， ${\bar{ω}}_{1}^{22} \neq 0$ 。

2) 当 $k = 2$ 时，变分系统(3.7)存在基解矩阵 $Z_{2} (t) = (z_{2}^{1} (t), z_{2}^{2} (t), z_{2}^{3} (t))$ ，定义：

$z_{2}^{1} (t) = \frac{{\dot{r}}_{2} (t)}{| {\dot{r}}_{2} (- T_{2}) |} \in T_{r_{2} (t)} W_{p_{2}}^{u} \cap T_{r_{2} (t)} W_{p_{1}}^{s}$ , $z_{2}^{2} (t), z_{2}^{3} (t) \in {(T_{r_{2} (t)} Γ_{2})}^{c}$ ,

使得

$Z_{2} (- T_{2}) = (\begin{matrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix}), Z_{1} (T_{1}) = (\begin{matrix} 0 & ω_{2}^{12} & 1 \\ ω_{2}^{21} & ω_{2}^{22} & 0 \\ 0 & ω_{2}^{32} & 0 \end{matrix})$ ,

其中 $ω_{2}^{21} < 0$ 。

3) 当 $k = 3$ 时，变分系统(3.7)存在基解矩阵 $Z_{3} (t) = (z_{3}^{1} (t), z_{3}^{2} (t), z_{3}^{3} (t))$ ，定义：

$z_{3}^{1} (t) = \frac{{\dot{r}}_{3} (t)}{| {\dot{r}}_{3} (- T_{3}) |} \in T_{r_{3} (t)} W_{p_{2}}^{u} \cap T_{r_{3} (t)} W_{p_{3}}^{s s}$ , $z_{3}^{2} (t) \in {(T_{r_{3} (t)} Γ_{3})}^{c}$ , $z_{3}^{3} (t) \in {(T_{r_{3} (t)} Γ_{3})}^{c} \cap T_{r_{3} (t)} W_{p_{3}}^{s}$ ,

使得

$Z_{3} (- T_{3}) = (\begin{matrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & {\bar{ω}}_{3}^{32} & 1 \end{matrix}), Z_{3} (T_{3}) = (\begin{matrix} 0 & ω_{3}^{12} & 0 \\ 0 & ω_{3}^{22} & 1 \\ ω_{3}^{31} & ω_{3}^{31} & ω_{3}^{33} \end{matrix})$ ,

其中 $ω_{3}^{31} < 0$ 。

4) 当 $k = 4$ 时，变分系统(3.7)存在基解矩阵 $Z_{4} (t) = (z_{4}^{1} (t), z_{4}^{2} (t), z_{4}^{3} (t))$ ，我们选择：

$z_{4}^{1} (t) = \frac{{\dot{r}}_{4} (t)}{| {\dot{r}}_{4} (- T_{4}) |} \in T_{r_{4} (t)} W_{p_{3}}^{u} \cap T_{r_{4} (t)} W_{p_{2}}^{s}$ , $z_{4}^{2} (t) \in T_{r_{4} (t)} W_{p_{3}}^{s} \cap {(T_{r_{4} (t)} Γ_{4})}^{c}$ ,

$z_{4}^{3} (t) \in {(T_{r_{4} (t)} W_{p_{3}}^{u})}^{c} \cap {(T_{r_{4} (t)} Γ_{4})}^{c}$ ,

使得

$Z_{1} (- T_{1}) = (\begin{matrix} 1 & 0 & 0 \\ 0 & 1 & {\bar{ω}}_{4}^{23} \\ 0 & 0 & 1 \end{matrix}), Z_{1} (T_{1}) = (\begin{matrix} 0 & ω_{4}^{12} & ω_{4}^{13} \\ ω_{4}^{21} & ω_{4}^{22} & ω_{4}^{23} \\ 0 & ω_{4}^{32} & ω_{4}^{33} \end{matrix})$ ,

其中 $ω_{4}^{21} < 0$ ， $ω = | \begin{matrix} ω_{4}^{12} & ω_{4}^{13} \\ ω_{4}^{32} & ω_{4}^{33} \end{matrix} | \neq 0$ 。

我们选择 $(z_{k}^{1} (t), z_{k}^{2} (t), z_{k}^{3} (t))$ 作为沿 $Γ_{k} (k = 1, 2, 3, 4)$ 的局部活动坐标架，并记

$Ψ_{k} (t) = (ψ_{k}^{1} (t), ψ_{k}^{2} (t), ψ_{k}^{3} (t)) = {(Z_{k}^{- 1} (t))}^{*}$ ,

其中 $Ψ_{k} (t)$ 表示伴随系统(3.8)的基解矩阵。

在 $Γ_{k}$ 的邻域内引入新的坐标变换

$z (t) ≜ h_{k} (t) = r_{k} (t) + Z_{k} (t) N_{k} (t), t \in [- T_{k}, T_{k}]$

其中 $N_{k} (t) = {(0, n_{k}^{2} (t), n_{i}^{3} (t))}^{*} (k = 1, 2, 3, 4)$ 。

轨道 $Γ_{k}$ 在 $t = - T_{k}$ 及 $t = T_{k}$ 时，我们构造八个与系统轨线Γ横截的截面(见图2)：

$\begin{array}{l} S_{1}^{0} = {z = h_{1} (- T_{1}) : | x - σ |, | y |, | u | < δ}, S_{1}^{1} = {z = h_{1} (T_{1}) : | x |, | y - σ |, | v | < δ}, \\ S_{2}^{0} = {z = h_{2} (- T_{2}) : | x - σ |, | y |, | v | < δ}, S_{2}^{1} = {z = h_{2} (T_{2}) : | x |, | y - σ |, | v | < δ}, \\ S_{3}^{0} = {z = h_{3} (- T_{3}) : | x - σ |, | y |, | v | < δ}, S_{3}^{1} = {z = h_{3} (T_{3}) : | x |, | y |, | w - σ | < δ}, \\ S_{4}^{0} = {z = h_{4} (- T_{4}) : | x - σ |, | y |, | w | < δ}, S_{4}^{1} = {z = h_{4} (T_{4}) : | x |, | y - σ |, | v | < δ} . \end{array}$

这里 $0 < δ ≪ σ$ 。

Figure 2. The sections and Poincaré map

图2. 轨线Γ横截的八个截面、Poincaré映射

在新的坐标变换下，系统(2.1)具有形式为 $Z (t) = r_{k} (t) + Z_{k} (t) N_{k} (t)$ 的解，通过计算整理可得：

${\dot{N}}_{k} (t) = Ψ_{k}^{*} (t) g_{μ} (r_{k} (t), 0) μ + h . o . t .$ (3.9)

再通过对上式两端同时积分，得到：

$N_{k} (T_{k}) = N_{k} (- T_{k}) + \int_{- T_{k}}^{T_{k}} Ψ_{k}^{*} (t) g_{μ} (r_{k} (t), 0) μ d t + h . o . t .$ (3.10)

接着我们建立Poincaré映射。

1) 构建正则映射： $F_{k}^{1} : S_{k}^{0} \to S_{k}^{1} (k = 1, 2, 3, 4)$ 。其中 $F_{k}^{1} {(0, n_{k}^{0, 2}, n_{k}^{0, 3})}^{*} = {(0, {\bar{n}}_{k}^{1, 2}, {\bar{n}}_{k}^{1, 3})}^{*}$ 。

由(3.9)，(3.10)得：

${\bar{n}}_{k}^{1, j} = n_{k}^{0, j} + Μ_{k}^{j} μ + h . o . t .$ (3.11)

这里 $Μ_{k}^{j} = \int_{- T_{k}}^{T_{k}} {(ψ_{k}^{j} (t))}^{*} g_{μ} (r_{k} (t), 0) d t$ ， $j = 2, 3$ 。

2) 建立奇异映射： $F_{k}^{0} (k = 1, 2, 3, 4)$ ，其中 $F_{1}^{0} : q_{2}^{1} \in S_{2}^{1} \to q_{1}^{0} \in S_{1}^{0}$ ， $F_{2}^{0} : q_{1}^{1} \in S_{1}^{1} \to q_{2}^{0} \in S_{2}^{0}$ ， $F_{3}^{0} : q_{4}^{1} \in S_{4}^{1} \to q_{3}^{0} \in S_{3}^{0}$ ， $F_{4}^{0} : q_{3}^{1} \in S_{3}^{1} \to q_{4}^{0} \in S_{4}^{0}$ (见图2)。

定义 $τ_{1}, τ_{2}, τ_{3}, τ_{4}$ 分别表示从 $q_{2}^{1}$ 到 $q_{1}^{0}$ ， $q_{1}^{1}$ 到 $q_{2}^{0}$ ， $q_{4}^{1}$ 到 $q_{3}^{0}$ ， $q_{3}^{1}$ 到 $q_{4}^{0}$ 的飞行时间函数，根据假设条件(A6)成立，我们可以取相应的Shilnikov时间为

$s_{1} = e^{- ρ_{1}^{1} (μ) τ_{1}}$ , $s_{2} = e^{- ρ_{2}^{1} (μ) τ_{2}}$ , $s_{3} = e^{- ρ_{2}^{1} (μ) τ_{3}}$ , $s_{4} = e^{- ρ_{3}^{1} (μ) τ_{4}}$ .

3) 建立新旧坐标之间的关系

这里旧坐标为 $q_{1}^{0} {(x_{1}^{0}, y_{1}^{0}, u_{1}^{0})}^{*}$ ， $q_{1}^{1} {(x_{1}^{1}, y_{1}^{1}, v_{1}^{1})}^{*}$ ， $q_{2}^{0} {(x_{2}^{0}, y_{2}^{0}, v_{2}^{0})}^{*}$ ， $q_{2}^{1} {(x_{2}^{1}, y_{2}^{1}, u_{2}^{1})}^{*}$ ， $q_{3}^{0} {(x_{3}^{0}, y_{3}^{0}, v_{3}^{0})}^{*}$ ， $q_{3}^{1} {(x_{3}^{1}, y_{3}^{1}, w_{3}^{1})}^{*}$ ， $q_{4}^{0} {(x_{4}^{0}, y_{4}^{0}, w_{4}^{0})}^{*}$ ， $q_{4}^{1} {(x_{4}^{1}, y_{4}^{1}, v_{4}^{1})}^{*}$ ；新坐标为 $q_{k}^{j} (0, n_{k}^{j, 2}, n_{k}^{j, 3})$ $(k = 1, 2, 3, 4; j = 0, 1)$ 。

接下来利用变换 $h_{k} (t) = r_{k} (t) + Z_{k} (t) N_{k} (t)$ 我们可知

$q_{k}^{0} = r_{k} (- T_{k}) + Z_{k} (- T_{k}) N_{k} (- T_{k})$ , $q_{k}^{1} = r_{k} (T_{k}) + Z_{k} (T_{k}) N_{k} (T_{k})$ ,

其中 $N_{k} (- T_{k}) = {(0, n_{k}^{0, 2}, n_{k}^{0, 3})}^{*}$ ， $N_{k} (T_{k}) = {(0, n_{k}^{1, 2}, n_{k}^{1, 3})}^{*}$ $(k = 1, 2, 3, 4)$ 。

将 $Z_{k} (- T_{k})$ ， $Z_{k} (T_{k})$ 和 $r_{k} (- T_{k})$ ， $r_{k} (T_{k})$ 的表达式代入 $q_{k}^{0}$ ， $q_{k}^{1}$ 的等式中，我们可得：

${\begin{cases} n_{1}^{0, 2} = {({\bar{ω}}_{1}^{22})}^{- 1} y_{1}^{0}, n_{1}^{0, 3} = u_{1}^{0} - {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} y_{1}^{0}, x_{1}^{0} = σ \\ n_{1}^{1, 2} = {(ω_{1}^{12})}^{- 1} x_{1}^{1}, n_{1}^{1, 3} = v_{1}^{1} - ω_{1}^{32} {(ω_{1}^{12})}^{- 1} x_{1}^{1}, y_{1}^{1} \approx - σ \end{cases}$ (3.12)

${\begin{cases} n_{2}^{0, 2} = y_{2}^{0}, n_{2}^{0, 3} = v_{2}^{0}, x_{2}^{0} = - σ \\ n_{2}^{1, 2} = {(ω_{2}^{32})}^{- 1} u_{2}^{1}, n_{2}^{1, 3} = x_{2}^{1} - ω_{2}^{12} {(ω_{2}^{32})}^{- 1} u_{2}^{1}, y_{2}^{1} \approx σ \end{cases}$ (3.13)

${\begin{cases} n_{3}^{0, 2} = y_{3}^{0}, n_{3}^{0, 3} = v_{3}^{0} - {\bar{ω}}_{3}^{32} y_{3}^{0}, x_{3}^{0} = σ \\ n_{3}^{1, 2} = {(ω_{3}^{12})}^{- 1} x_{3}^{1}, n_{3}^{1, 3} = y_{3}^{1} - ω_{3}^{22} {(ω_{3}^{12})}^{- 1} x_{3}^{1}, w_{3}^{1} \approx σ \end{cases}$ (3.14)

${\begin{cases} n_{4}^{0, 2} = y_{4}^{0} - {\bar{ω}}_{4}^{23} w_{4}^{0}, n_{4}^{0, 3} = w_{4}^{0}, x_{4}^{0} = σ \\ n_{4}^{1, 2} = {(ω)}^{- 1} (ω_{4}^{33} x_{4}^{1} - ω_{4}^{13} v_{4}^{1}), n_{4}^{1, 3} = {(ω)}^{- 1} (ω_{4}^{12} v_{4}^{1} - ω_{4}^{32} x_{4}^{1}), y_{4}^{1} \approx σ \end{cases}$ (3.15)

则根据系统(2.1)的规范型(3.4)~(3.6)并且忽略高阶项，我们可得：

$F_{1}^{0} : q_{2}^{1} (x_{2}^{1}, y_{2}^{1}, u_{2}^{1}) \in S_{2}^{1} \to q_{1}^{0} (x_{1}^{0}, y_{1}^{0}, u_{1}^{0}) \in S_{1}^{0}$ ,

$x_{2}^{1} = x (T_{2}) \approx σ s_{1}^{\frac{λ_{1}^{1} (μ)}{ρ_{1}^{1} (μ)}}, y_{1}^{0} = y (T_{2} + τ_{1}) \approx σ s_{1}, u_{2}^{1} = u (T_{2}) \approx u_{1}^{0} s_{1}^{\frac{λ_{1}^{2} (μ)}{ρ_{1}^{1} (μ)}}$ ,

$F_{2}^{0} : q_{1}^{1} (x_{1}^{1}, y_{1}^{1}, v_{1}^{1}) \in S_{1}^{1} \to q_{2}^{0} (x_{2}^{0}, y_{2}^{0}, v_{2}^{0}) \in S_{2}^{0}$ ,

$x_{1}^{1} = x (T_{1}) \approx - σ s_{2}^{\frac{λ_{2}^{1} (μ)}{ρ_{2}^{1} (μ)}}, y_{2}^{0} = y (T_{1} + τ_{2}) \approx - σ s_{2}, v_{1}^{1} = v (T_{1}) \approx v_{2}^{0} s_{2}^{\frac{λ_{2}^{2} (μ)}{ρ_{2}^{1} (μ)}}$ ,

$F_{3}^{0} : q_{4}^{1} (x_{4}^{1}, y_{4}^{1}, v_{4}^{1}) \in S_{4}^{1} \to q_{3}^{0} (x_{3}^{0}, y_{3}^{0}, v_{3}^{0}) \in S_{3}^{0}$ ,

$x_{4}^{1} = x (T_{4}) \approx σ s_{3}^{\frac{λ_{2}^{1} (μ)}{ρ_{2}^{1} (μ)}}, y_{3}^{0} = y (T_{4} + τ_{3}) \approx σ s_{3}, v_{4}^{1} = v (T_{4}) \approx v_{3}^{0} s_{3}^{\frac{λ_{2}^{2} (μ)}{ρ_{2}^{1} (μ)}}$ ,

$F_{4}^{0} : q_{3}^{1} (x_{3}^{1}, y_{3}^{1}, w_{3}^{1}) \in S_{3}^{1} \to q_{4}^{0} (x_{4}^{0}, y_{4}^{0}, w_{4}^{0}) \in S_{4}^{0}$ ,

$x_{3}^{1} = x (T_{3}) \approx σ s_{4}^{\frac{λ_{3}^{1} (μ)}{ρ_{3}^{1} (μ)}}, y_{4}^{0} = y (T_{3} + τ_{4}) \approx y_{3}^{1} s_{4}, w_{4}^{0} = w (T_{3} + τ_{4}) \approx σ s_{4}^{\frac{ρ_{3}^{2} (μ)}{ρ_{3}^{1} (μ)}}$ .

综上，我们可得Poincaré映射： $F_{k} = F_{k}^{1} \circ F_{k}^{0}$ ， $k = 1, 2, 3, 4$ ，如下

${\begin{cases} {\bar{n}}_{1}^{1, 2} = {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} + Μ_{1}^{2} μ + h . o . t ., \\ {\bar{n}}_{1}^{1, 3} = u_{1}^{0} - {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} + Μ_{1}^{3} μ + h . o . t ., \\ {\bar{n}}_{2}^{1, 2} = - σ s_{2} + Μ_{2}^{2} μ + h . o . t ., \\ {\bar{n}}_{2}^{1, 3} = v_{2}^{0} + Μ_{2}^{3} μ + h . o . t ., \\ {\bar{n}}_{3}^{1, 2} = σ s_{3} + Μ_{3}^{2} μ + h . o . t ., \\ {\bar{n}}_{3}^{1, 3} = v_{3}^{0} - {\bar{ω}}_{3}^{32} σ s_{3} + Μ_{3}^{3} μ + h . o . t ., \\ {\bar{n}}_{4}^{1, 2} = y_{3}^{1} s_{4} - {\bar{ω}}_{4}^{23} σ s_{4}^{\frac{ρ_{3}^{2} (μ)}{ρ_{3}^{1} (μ)}} + Μ_{4}^{2} μ + h . o . t ., \\ {\bar{n}}_{4}^{1, 3} = σ s_{4}^{\frac{ρ_{3}^{2} (μ)}{ρ_{3}^{1} (μ)}} + Μ_{4}^{3} μ + h . o . t .. \end{cases}$ (3.16)

令 $G_{k}^{j} = {\bar{n}}_{k}^{1, j} - n_{k}^{1, j}$ $(k = 1, 2, 3, 4; j = 2, 3)$ ，为方便起见使得 $λ_{i}^{j} (μ) = λ_{i}^{j}$ ， $ρ_{3}^{j} (μ) = ρ_{3}^{j}$ ， $ρ_{i}^{1} (μ) = ρ_{i}^{1}$ ， $i, j = 1, 2$ ； $λ_{3}^{1} (μ) = λ_{3}^{1}$ 。则由(3.12)~(3.16)可得后继函数如下所示：

${\begin{cases} G_{1}^{2} = {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} + {(ω_{1}^{12})}^{- 1} σ s_{2}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + Μ_{1}^{2} μ + h . o . t ., \\ G_{1}^{3} = u_{1}^{0} - {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} - v_{2}^{0} s_{2}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} - ω_{1}^{32} {(ω_{1}^{12})}^{- 1} σ s_{2}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + Μ_{1}^{3} μ + h . o . t ., \\ G_{2}^{2} = - σ s_{2} - {(ω_{2}^{32})}^{- 1} u_{1}^{0} s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + Μ_{2}^{2} μ + h . o . t ., \\ G_{2}^{3} = v_{2}^{0} - σ s_{1}^{\frac{λ_{1}^{1}}{ρ_{1}^{1}}} + ω_{2}^{12} {(ω_{2}^{32})}^{- 1} u_{1}^{0} s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + Μ_{2}^{3} μ + h . o . t ., \\ G_{3}^{2} = σ s_{3} - {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} + Μ_{3}^{2} μ + h . o . t ., \\ G_{3}^{3} = v_{3}^{0} - {\bar{ω}}_{3}^{32} σ s_{3} - y_{3}^{1} + ω_{3}^{22} {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} + Μ_{3}^{3} μ + h . o . t ., \\ G_{4}^{2} = y_{3}^{1} s_{4} - {\bar{ω}}_{4}^{23} σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} - {(ω)}^{- 1} ω_{4}^{33} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{13} v_{3}^{0} s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} + + Μ_{4}^{2} μ + h . o . t ., \\ G_{4}^{3} = σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} - {(ω)}^{- 1} ω_{4}^{12} v_{3}^{0} s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{32} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + Μ_{4}^{3} μ + h . o . t .. \end{cases}$ (3.17)

要分析轨道Γ附近的分支情况，我们首先要考虑分支方程

$G = G (G_{1}^{2}, G_{1}^{3}, G_{2}^{2}, G_{2}^{3}, G_{3}^{2}, G_{3}^{3}, G_{4}^{2}, G_{4}^{3}) = 0$

解的情况。由分支方程(3.17)第二，四和六式知方程 $(G_{1}^{3}, G_{2}^{3}, G_{3}^{3}) = 0$ 有解

$u_{1}^{0} = {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} + ω_{1}^{32} {(ω_{1}^{12})}^{- 1} σ s_{2}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} - Μ_{1}^{3} μ + h . o . t .$ ,

$\begin{matrix} v_{2}^{0} = σ s_{1}^{\frac{λ_{1}^{1}}{ρ_{1}^{1}}} - ω_{2}^{12} {(ω_{2}^{32})}^{- 1} {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1}^{1 + \frac{λ_{1}^{2}}{ρ_{1}^{1}}} - ω_{2}^{12} {(ω_{2}^{32})}^{- 1} ω_{1}^{32} {(ω_{1}^{12})}^{- 1} σ s_{2}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}} + \frac{λ_{1}^{2}}{ρ_{1}^{1}}} \\ + ω_{2}^{12} {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} - Μ_{2}^{3} μ + h . o . t ., \end{matrix}$

$v_{3}^{0} = {\bar{ω}}_{3}^{32} σ s_{3} + y_{3}^{1} - ω_{3}^{22} {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} - Μ_{3}^{3} μ + h . o . t .$ .

将上述解代入方程 $(G_{1}^{2}, G_{2}^{2}, G_{3}^{2}, G_{4}^{2}, G_{4}^{3}) = 0$ ，可得

${\begin{cases} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} + {(ω_{1}^{12})}^{- 1} σ s_{2}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + Μ_{1}^{2} μ + h . o . t . = 0, \\ - σ s_{2} - {(ω_{2}^{32})}^{- 1} u_{1}^{0} s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + Μ_{2}^{2} μ + h . o . t . = 0, \\ σ s_{3} - {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} + Μ_{3}^{2} μ + h . o . t . = 0, \\ y_{3}^{1} s_{4} - {\bar{ω}}_{4}^{23} σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} - {(ω)}^{- 1} ω_{4}^{33} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{13} v_{3}^{0} s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} + + Μ_{4}^{2} μ + h . o . t . = 0, \\ σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} - {(ω)}^{- 1} ω_{4}^{12} v_{3}^{0} s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{32} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + Μ_{4}^{3} μ + h . o . t . = 0. \end{cases}$ (3.18)

下面分析分支方程(3.18)，在这里我们仅考虑 $ω_{4}^{13} = 0, ω_{4}^{12} \neq 0$ 情况，其他情况 $ω_{4}^{13} \neq 0, ω_{4}^{12} \neq 0; ω_{4}^{13} \neq 0, ω_{4}^{12} = 0$ 可类似讨论。

当 $ω_{4}^{13} = 0, ω_{4}^{12} \neq 0$ 时，我们可得如下分支的表达式：

${\begin{cases} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} + {(ω_{1}^{12})}^{- 1} σ s_{2}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + Μ_{1}^{2} μ + h . o . t . = 0, \\ - σ s_{2} - {(ω_{2}^{32})}^{- 1} ({\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} - Μ_{1}^{3} μ) s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + Μ_{2}^{2} μ + h . o . t . = 0, \\ σ s_{3} - {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} + Μ_{3}^{2} μ + h . o . t . = 0, \\ y_{3}^{1} s_{4} - {\bar{ω}}_{4}^{23} σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} - {(ω)}^{- 1} ω_{4}^{33} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + Μ_{4}^{2} μ + h . o . t . = 0, \\ σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} - {(ω)}^{- 1} ω_{4}^{12} {\bar{ω}}_{3}^{32} σ s_{3}^{1 + \frac{λ_{2}^{2}}{ρ_{2}^{1}}} - {(ω)}^{- 1} ω_{4}^{12} y_{3}^{1} s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{12} ω_{3}^{22} {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} \\ + {(ω)}^{- 1} ω_{4}^{12} Μ_{3}^{3} μ s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{32} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + Μ_{4}^{3} μ + h . o . t . = 0. \end{cases}$ (3.19)

4. 主要结果

要研究系统(2.1)“∞”型双异维环、双同宿环的存在性和双异维环与其他奇异轨的共存性，则需要分析分支方程(3.19)是否有满足 $s_{k} = 0, k = 1, 2, 3, 4$ ； $s_{1}, s_{4} > 0, s_{2} = s_{3} = 0$ 的解。通过分析以上的情况，我们给出以下定理。

定理4.1 在(A1)~(A6)的假设下，如果 $R a n k (Μ_{1}^{2}, Μ_{2}^{2}, Μ_{3}^{2}, Μ_{4}^{2}, Μ_{4}^{3}) = 5$ ，则存在一个 $(l - 5)$ 维的曲面

$L_{14} = {μ : Μ_{1}^{2} μ + h . o . t . = Μ_{2}^{2} μ + h . o . t . = Μ_{3}^{2} μ + h . o . t . = Μ_{4}^{2} μ + h . o . t . = Μ_{4}^{3} μ + h . o . t . = 0}$

此曲面在 $μ = 0$ 时，它具有法平面 $Σ_{14} = s p a n {Μ_{1}^{2}, Μ_{2}^{2}, Μ_{3}^{2}, Μ_{4}^{2}, Μ_{4}^{3}}$ 。并且当 $μ \in L_{14}$ ， $0 < | μ | ≪ 1$ 且 $| y_{3}^{1} | ≪ 1$ 时，系统(2.1)在Γ的小邻域内具有一个连接 $p_{1}$ ， $p_{2}$ 和 $p_{3}$ 的“ $\infty$ ”型异维环 $Γ^{μ} = Γ_{1}^{μ} \cup Γ_{2}^{μ} \cup Γ_{3}^{μ} \cup Γ_{4}^{μ}$

(见图3)。

Figure 3. The “∞” type double heterodimensional cycle $Γ^{μ} = Γ_{1}^{μ} \cup Γ_{2}^{μ} \cup Γ_{3}^{μ} \cup Γ_{4}^{μ}$

图3. “∞”型异维环 $Γ^{μ} = Γ_{1}^{μ} \cup Γ_{2}^{μ} \cup Γ_{3}^{μ} \cup Γ_{4}^{μ}$

证明：考虑分支方程(3.19)具有足够小的非负解 $s_{k} = 0, k = 1, 2, 3, 4$ 时，对应系统(2.1)存在“ $\infty$ ”型双异维环，当 $s_{k} = 0, k = 1, 2, 3, 4$ 时，分支方程(3.19)可以写为形式

${\begin{cases} Μ_{k}^{2} μ + h . o . t . = 0, k = 1, 2, 3, 4 \\ Μ_{4}^{3} μ + h . o . t . = 0, \end{cases}$ (4.1)

又因为 $R a n k (Μ_{1}^{2}, Μ_{2}^{2}, Μ_{3}^{2}, Μ_{4}^{2}, Μ_{4}^{3}) = 5$ ，则由(4.1)可定义一个 $(l - 5)$ 维的曲面

$L_{14} = {μ : Μ_{1}^{2} μ + h . o . t . = Μ_{2}^{2} μ + h . o . t . = Μ_{3}^{2} μ + h . o . t . = Μ_{4}^{2} μ + h . o . t . = Μ_{4}^{3} μ + h . o . t . = 0}$ ,

对 $μ \in L_{14}$ ， $0 < | μ | ≪ 1$ 和 $| y_{3}^{1} | ≪ 1$ ，分支方程(3.19)有解 $s_{k} = 0$ ， $k = 1, 2, 3, 4$ 。于是，系统(2.1)在Γ的小邻域内具有一个连接 $p_{1}$ ， $p_{2}$ 和 $p_{3}$ 的“ $\infty$ ”型异维环 $Γ^{μ} = Γ_{1}^{μ} \cup Γ_{2}^{μ} \cup Γ_{3}^{μ} \cup Γ_{4}^{μ}$ (见图3)，并且在 $μ = 0$ 时， $L_{14}$ 的法平面由 $Μ_{k}^{2}, Μ_{4}^{3} (k = 1, 2, 3, 4)$ 组成。

定理4.2如果假设条件(A1)~(A6)成立， $R a n k (Μ_{1}^{2}, Μ_{2}^{2}, Μ_{3}^{2}, Μ_{4}^{2}, Μ_{4}^{3}) \geq 3$ ，并且满足 ${\bar{ω}}_{1}^{22} Μ_{1}^{2} μ < 0$ ， $ω_{3}^{12} Μ_{3}^{2} μ > 0$ ， $| y_{3}^{1} | ≪ 1$ ，则存在分支曲面

$L_{23} = {μ : Η_{2}^{1} = 0, Η_{3}^{1} (y_{3}^{1}, μ) = 0, {\bar{Η}}_{3}^{1} (μ) = 0}$ ,

使得当 $μ \in L_{23}$ ， $0 < | μ | ≪ 1$ 时，系统(2.1)在Γ的小邻域内存在一个连接 $p_{2}$ 的“ $\infty$ ”型双同宿环(见图4)，并且在 $μ = 0$ 处曲面 $L_{23}$ 与 $L_{14}$ 相切。这里

$\begin{array}{l} Η_{2}^{1} (μ) ≜ {(ω_{2}^{32})}^{- 1} ({\bar{ω}}_{1}^{32} Μ_{1}^{2} μ + Μ_{1}^{3} μ) {(- {\bar{ω}}_{1}^{22} σ^{- 1} Μ_{1}^{2} μ)}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + Μ_{2}^{2} μ + h . o . t ., \\ Η_{3}^{1} (y_{3}^{1}, μ) ≜ y_{3}^{1} {(σ^{- 1} ω_{3}^{12} Μ_{3}^{2} μ)}^{\frac{ρ_{3}^{1}}{λ_{3}^{1}}} - {\bar{ω}}_{4}^{23} σ {(σ^{- 1} ω_{3}^{12} Μ_{3}^{2} μ)}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}}} + Μ_{4}^{2} μ + h . o . t ., \\ {\bar{Η}}_{3}^{1} (μ) ≜ σ {(σ^{- 1} ω_{3}^{12} Μ_{3}^{2} μ)}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}}} + Μ_{4}^{3} μ + h . o . t .. \end{array}$

Figure 4. Double homoclinic loop

图4. “∞”型双同宿环

证明：为了分析系统(2.1)存在“ $\infty$ ”型双同宿环，我们只需要证明分支方程(3.19)存在解 $s_{1}, s_{4} > 0, s_{2} = s_{3} = 0$ ，将 $s_{2} = s_{3} = 0$ 代入(3.19)中，我们可得：

${\begin{cases} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} + Μ_{1}^{2} μ + h . o . t . = 0, \\ - {(ω_{2}^{32})}^{- 1} ({\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} - Μ_{1}^{3} μ) s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + Μ_{2}^{2} μ + h . o . t . = 0, \\ - {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} + Μ_{3}^{2} μ + h . o . t . = 0, \\ y_{3}^{1} s_{4} - {\bar{ω}}_{4}^{23} σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} + Μ_{4}^{2} μ + h . o . t . = 0, \\ σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} + Μ_{4}^{3} μ + h . o . t . = 0. \end{cases}$ (4.2)

由(4.2)第一个方程可得: $s_{1} = - {\bar{ω}}_{1}^{22} σ^{- 1} Μ_{1}^{2} μ + h . o . t .$ 。若 ${\bar{ω}}_{1}^{22} Μ_{1}^{2} μ < 0$ ，则 $1 ≫ s_{1} > 0$ ，将 $s_{1}$ 代入(4.2)中第二

个方程，可得：

$Η_{2}^{1} (μ) ≜ {(ω_{2}^{32})}^{- 1} ({\bar{ω}}_{1}^{32} Μ_{1}^{2} μ + Μ_{1}^{3} μ) {(- {\bar{ω}}_{1}^{22} σ^{- 1} Μ_{1}^{2} μ)}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + Μ_{2}^{2} μ + h . o . t .$

由(4.2)第三个方程可得： $s_{4} = {(σ^{- 1} ω_{3}^{12} Μ_{3}^{2} μ)}^{\frac{ρ_{3}^{1}}{λ_{3}^{1}}} + h . o . t .$ 。对 $ω_{3}^{12} Μ_{3}^{2} μ > 0$ ，则有 $0 < s_{4} ≪ 1$ ，将 $s_{4}$ 代入(4.2)

中第四和第五个方程中，可得分支曲面

$L_{23} = {μ : Η_{2}^{1} = 0, Η_{3}^{1} (y_{3}^{1}, μ) = 0, {\bar{Η}}_{3}^{1} (μ) = 0}$ ,

这里

$\begin{array}{l} Η_{3}^{1} (y_{3}^{1}, μ) ≜ y_{3}^{1} {(σ^{- 1} ω_{3}^{12} Μ_{3}^{2} μ)}^{\frac{ρ_{3}^{1}}{λ_{3}^{1}}} - {\bar{ω}}_{4}^{23} σ {(σ^{- 1} ω_{3}^{12} Μ_{3}^{2} μ)}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}}} + Μ_{4}^{2} μ + h . o . t ., \\ {\bar{Η}}_{3}^{1} (μ) ≜ σ {(σ^{- 1} ω_{3}^{12} Μ_{3}^{2} μ)}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}}} + Μ_{4}^{3} μ + h . o . t ., \end{array}$

曲面 $L_{23}$ 在 $μ = 0$ 处的法向量为 $Μ_{2}^{2}, Μ_{4}^{2}, Μ_{4}^{3} \in Σ_{14}$ ，因此当 $μ = 0$ 时，曲面 $L_{23}$ 与 $L_{14}$ 相切。

定理4.3假设(A1)~(A6)成立， $R a n k (Μ_{1}^{2}, Μ_{2}^{2}, Μ_{3}^{2}, Μ_{4}^{2}, Μ_{4}^{3}) = 5$ ，再假设 $\frac{λ_{2}^{2}}{ρ_{2}^{1}} < \frac{ρ_{3}^{2}}{λ_{3}^{1}} < 1 + \frac{λ_{2}^{2}}{ρ_{2}^{1}}$ ， $\frac{λ_{2}^{1}}{ρ_{2}^{1}} - \frac{ρ_{3}^{1}}{λ_{3}^{1}} > 1$ ，则当 $μ$ 满足: $μ \in L_{14}$ ， $ω_{2}^{32} Μ_{1}^{3} μ > 0$ ， $ω ω_{4}^{12} Μ_{3}^{3} μ < 0$ ， $0 < | μ | ≪ 1$ ;并且 $ω_{1}^{12} {\bar{ω}}_{1}^{22} > 0$ ， $ω_{2}^{32} {\bar{ω}}_{1}^{32} {\bar{ω}}_{1}^{22} > 0$ ， $ω_{3}^{12} > 0$ ， $ω ω_{4}^{32} > 0$ ， $| y_{3}^{1} | ≪ 1$ 时，以下结论成立：

1) 若 $ℵ_{1} = 0, ℵ_{2} = 0$ ，系统(2.1)在Γ的小邻域内存在两个2重周期轨与异宿环 $Γ^{μ}$ 共存(见图5)。

2) 若 $ℵ_{1} > 0, ℵ_{2} > 0$ ，系统(2.1)在Γ的小邻域内存在两个1-周期轨与异宿环 $Γ^{μ}$ 共存(见图6)。

其中

$\begin{array}{l} ℵ_{1} = - {(ω_{2}^{32})}^{- 1} {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ (1 - α) {(α^{- 1} ω_{2}^{32} {({\bar{ω}}_{1}^{32})}^{- 1} {\bar{ω}}_{1}^{22} σ^{- 1} {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ)}^{\frac{α}{α - 1}} - σ {(ω_{1}^{12} {({\bar{ω}}_{1}^{22})}^{- 1})}^{\frac{ρ_{2}^{1}}{λ_{2}^{1}}} + h . o . t ., \\ ℵ_{2} = - σ {(ω_{3}^{12})}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}}} (1 - β) {(- β^{- 1} σ^{- 1} {(ω_{3}^{12})}^{- \frac{ρ_{3}^{2}}{λ_{3}^{1}}} {(ω)}^{- 1} ω_{4}^{12} Μ_{3}^{3} μ)}^{\frac{β}{β - 1}} - σ {(ω)}^{- 1} ω_{4}^{32} + h . o . t .. \end{array}$

Figure 5. $ℵ_{1} = 0, ℵ_{2} = 0$

图5. $ℵ_{1} = 0, ℵ_{2} = 0$

Figure 6. $ℵ_{1} > 0, ℵ_{2} > 0$

图6. $ℵ_{1} > 0, ℵ_{2} > 0$

证明：当 $μ \in L_{14}$ ， $0 < | μ | ≪ 1$ 时，分支方程(3.19)可以写为形式：

${\begin{cases} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} + {(ω_{1}^{12})}^{- 1} σ s_{2}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + h . o . t . = 0, \\ - σ s_{2} - {(ω_{2}^{32})}^{- 1} ({\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} - Μ_{1}^{3} μ) s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + h . o . t . = 0, \\ σ s_{3} - {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} + h . o . t . = 0, \\ y_{3}^{1} s_{4} - {\bar{ω}}_{4}^{23} σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} - {(ω)}^{- 1} ω_{4}^{33} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + h . o . t . = 0, \\ σ s_{4}^{\frac{ρ_{3}^{2}}{ρ_{3}^{1}}} - {(ω)}^{- 1} ω_{4}^{12} {\bar{ω}}_{3}^{32} σ s_{3}^{1 + \frac{λ_{2}^{2}}{ρ_{2}^{1}}} - {(ω)}^{- 1} ω_{4}^{12} y_{3}^{1} s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{12} Μ_{3}^{3} μ s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} \\ + {(ω)}^{- 1} ω_{4}^{12} ω_{3}^{22} {(ω_{3}^{12})}^{- 1} σ s_{4}^{\frac{λ_{3}^{1}}{ρ_{3}^{1}}} s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{32} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} + h . o . t . = 0. \end{cases}$ (4.3)

首先我们对分支方程(4.3)前两个方程进行分析

1) 对于(4.3)第一个方程，我们可知

$s_{2}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}}} = ω_{1}^{12} {({\bar{ω}}_{1}^{22})}^{- 1} s_{1} + h . o . t .$

当 $s_{1} = 0$ 时， $s_{2} = 0$ ，则系统(2.1)在 $Γ_{1} \cup Γ_{2}$ 的小邻域内不存在同宿环与异宿环 $Γ_{1}^{μ} \cup Γ_{2}^{μ}$ 共存；当 $ω_{1}^{12} {\bar{ω}}_{1}^{22} < 0$ 时，由 $s_{1} > 0$ 有 $s_{2} < 0$ ，则系统(2.1)在 $Γ_{1} \cup Γ_{2}$ 的小邻域内不存在周期轨与异宿环 $Γ_{1}^{μ} \cup Γ_{2}^{μ}$ 共存；当 $ω_{1}^{12} {\bar{ω}}_{1}^{22} > 0$ 时，由 $0 < s_{1} ≪ 1$ 有 $0 < s_{2} ≪ 1$ ，将(4.3)中第一个方程代入第二个方程中，可得

$- σ {(ω_{1}^{12} {({\bar{ω}}_{1}^{22})}^{- 1} s_{1})}^{\frac{ρ_{2}^{1}}{λ_{2}^{1}}} - {(ω_{2}^{32})}^{- 1} ({\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1} - Μ_{1}^{3} μ) s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}}} + h . o . t . = 0,$ (4.4)

通过整理，上式可以重写为下面的形式

$- σ {(ω_{1}^{12} {({\bar{ω}}_{1}^{22})}^{- 1})}^{\frac{ρ_{2}^{1}}{λ_{2}^{1}}} - {(ω_{2}^{32})}^{- 1} {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ s_{1}^{1 + \frac{λ_{1}^{2}}{ρ_{1}^{1}} - \frac{ρ_{2}^{1}}{λ_{2}^{1}}} + {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}} - \frac{ρ_{2}^{1}}{λ_{2}^{1}}} + h . o . t . = 0,$ (4.5)

我们记

$t = s_{1}^{\frac{λ_{1}^{2}}{ρ_{1}^{1}} - \frac{ρ_{2}^{1}}{λ_{2}^{1}}}, α = 1 + \frac{ρ_{1}^{1} λ_{2}^{1}}{λ_{1}^{2} λ_{2}^{1} - ρ_{1}^{1} ρ_{2}^{1}},$

由式(4.5)可令

$\begin{array}{l} L (t) = {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ t - σ {(ω_{1}^{12} {({\bar{ω}}_{1}^{22})}^{- 1})}^{\frac{ρ_{2}^{1}}{λ_{2}^{1}}} + h . o . t ., \\ N (t) = {(ω_{2}^{32})}^{- 1} {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ t^{α} + h . o . t .. \end{array}$ (4.6)

不妨我们考虑 $ω_{2}^{32} Μ_{1}^{3} μ > 0$ ， $ω_{1}^{12} {\bar{ω}}_{1}^{22} > 0$ ， $ω_{2}^{32} {\bar{ω}}_{1}^{32} {\bar{ω}}_{1}^{22} > 0$ ，由 $L^{'} (t) = N^{'} (t)$ 可得

$\tilde{t} = {(α^{- 1} {({\bar{ω}}_{1}^{32})}^{- 1} {\bar{ω}}_{1}^{22} σ^{- 1} Μ_{1}^{3} μ)}^{\frac{1}{α - 1}} + h . o . t .$ (4.7)

定义直线 $\tilde{L} (t) = {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ (t - \tilde{t}) + N (\tilde{t})$ ，则该直线与曲线 $N (t)$ 在 $t = \tilde{t}$ 处相切并且平行于 $L (t)$ 。现在我们可以看出 $\tilde{L} (0) = - {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ \tilde{t} + N (\tilde{t})$ ，由(4.6)和(4.7)可得 $\tilde{L} (0) = L (0) - ℵ_{1}$ ，其中

$\begin{array}{l} \tilde{L} (0) = {(ω_{2}^{32})}^{- 1} {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ (1 - α) {(α^{- 1} ω_{2}^{32} {({\bar{ω}}_{1}^{32})}^{- 1} {\bar{ω}}_{1}^{22} σ^{- 1} {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ)}^{\frac{α}{α - 1}} + h . o . t ., \\ L (0) = - σ {(ω_{1}^{12} {({\bar{ω}}_{1}^{22})}^{- 1})}^{\frac{ρ_{2}^{1}}{λ_{2}^{1}}} + h . o . t ., \end{array}$

$ℵ_{1} = - {(ω_{2}^{32})}^{- 1} {\bar{ω}}_{1}^{32} {({\bar{ω}}_{1}^{22})}^{- 1} σ (1 - α) {(α^{- 1} ω_{2}^{32} {({\bar{ω}}_{1}^{32})}^{- 1} {\bar{ω}}_{1}^{22} σ^{- 1} {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ)}^{\frac{α}{α - 1}} - σ {(ω_{1}^{12} {({\bar{ω}}_{1}^{22})}^{- 1})}^{\frac{ρ_{2}^{1}}{λ_{2}^{1}}} + h . o . t .$ .

情况1：对于 $ℵ_{1} < 0$ ，由于 $\tilde{L} (0) - L (0) = - ℵ_{1} > 0$ ，我们可知直线 $L (t)$ 与曲线 $N (t)$ 无交点，即方程(4.5)无解，从而系统(2.1)在 $Γ_{1} \cup Γ_{2}$ 小邻域内不存在周期轨与异宿环 $Γ_{1}^{μ} \cup Γ_{2}^{μ}$ 共存；

情况2：对于 $ℵ_{1} = 0$ ，由于 $\tilde{L} (0) - L (0) = - ℵ_{1} = 0$ ，我们可知直线 $L (t)$ 与曲线 $N (t)$ 有唯一的交点 $t^{*} = \tilde{t}$ ，且 $0 < t^{*} ≪ 1$ ，满足 $L (t^{*}) = N (t^{*}), L^{'} (t^{*}) = N^{'} (t^{*})$ ，回代可得

$\begin{array}{l} 0 < s_{1}^{*} = σ^{- 1} α^{- 1} {({\bar{ω}}_{1}^{32})}^{- 1} {\bar{ω}}_{1}^{22} Μ_{1}^{3} μ + h . o . t . ≪ 1, \\ 0 < s_{2}^{*} = {(σ^{- 1} α^{- 1} {({\bar{ω}}_{1}^{32})}^{- 1} {\bar{ω}}_{1}^{22} Μ_{1}^{3} μ)}^{\frac{ρ_{2}^{1}}{λ_{2}^{1}}} + h . o . t ≪ 1, \end{array}$

从而系统(2.1)在 $Γ_{1} \cup Γ_{2}$ 小邻域内存在一个2重周期轨与异宿环 $Γ_{1}^{μ} \cup Γ_{2}^{μ}$ 共存；

情况3：对于 $ℵ_{1} > 0$ ，即 $\tilde{L} (0) < L (0) < 0 = \hat{L} (0)$ ，这里定义

$\hat{L} (t) = {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ t + h . o . t .$

则直线 $\hat{L} (t)$ 与曲线 $N (t)$ 只有一个交点满足 $0 < \tilde{t} < \hat{t} ≪ 1$

$\hat{t} = {(ω_{2}^{32} {({\bar{ω}}_{1}^{32})}^{- 1} {\bar{ω}}_{1}^{22} σ^{- 1} {(ω_{2}^{32})}^{- 1} Μ_{1}^{3} μ)}^{\frac{1}{α - 1}} + h . o . t .$

通过计算，我们可知 $\hat{L} (\tilde{t}) > L (\tilde{t})$ ， $\tilde{L} (\tilde{t}) = N (\tilde{t})$ ， $L (\tilde{t}) - \tilde{L} (\tilde{t}) = L (0) - \tilde{L} (0) = ℵ_{1} > 0$ ，则可得 $\hat{L} (\tilde{t}) > L (\tilde{t}) > \tilde{L} (\tilde{t}) = N (\tilde{t})$ ，又因为 $\hat{L} (\tilde{t}) = N (\tilde{t}) > L (\tilde{t}) > \tilde{L} (\tilde{t})$ ，故直线 $L (t)$ 与曲线 $N (t)$ 有一个交点 $t^{* *}$ 满足 $0 < \tilde{t} < t^{* *} < \hat{t} ≪ 1$ 。从而存在

$0 < s_{1}^{* *} = t^{* *}^{\frac{ρ_{1}^{1} λ_{2}^{1}}{λ_{1}^{2} λ_{2}^{1} - ρ_{1}^{1} ρ_{2}^{1}}} + h . o . t . ≪ 1, 0 < s_{2}^{* *} = {(ω_{1}^{12} {({\bar{ω}}_{1}^{22})}^{- 1} s_{1}^{* *})}^{\frac{ρ_{2}^{1}}{λ_{2}^{1}}} + h . o . t . ≪ 1.$

因此，系统(2.1)在 $Γ_{1} \cup Γ_{2}$ 小邻域内存在一个1-周期轨与异宿环 $Γ_{1}^{μ} \cup Γ_{2}^{μ}$ 共存。

接着我们对分支方程(4.3)后三个方程进行分析。

2) 由(4.3)第三个方程可得：

$s_{4} = {(ω_{3}^{12} s_{3})}^{\frac{ρ_{3}^{1}}{λ_{3}^{1}}} + h . o . t .$

若 $ω_{3}^{12} > 0$ ， $s_{3} \geq 0$ ，则 $s_{4} \geq 0$ ，当且仅当 $s_{3} = s_{4} = 0$ 。故系统(2.1)在 $Γ_{3} \cup Γ_{4}$ 的小邻域内不存在同宿轨与异宿轨 $Γ_{3}^{μ} \cup Γ_{4}^{μ}$ 共存。将(4.3)第三个方程代入第四个方程可得：

$y_{3}^{1} = {\bar{ω}}_{4}^{23} σ {(ω_{3}^{12} s_{3})}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}} - \frac{ρ_{3}^{1}}{λ_{3}^{1}}} + {(ω)}^{- 1} ω_{4}^{33} σ s_{3}^{\frac{λ_{2}^{1}}{ρ_{2}^{1}} - \frac{ρ_{3}^{1}}{λ_{3}^{1}}} + h . o . t .$

将(4.3)第三个方程以及上式代入第五个方程，并且限制 $\frac{λ_{2}^{2}}{ρ_{2}^{1}} < \frac{ρ_{3}^{2}}{λ_{3}^{1}} < 1 + \frac{λ_{2}^{2}}{ρ_{2}^{1}}$ ， $\frac{λ_{2}^{1}}{ρ_{2}^{1}} - \frac{ρ_{3}^{1}}{λ_{3}^{1}} > 1$ ，再通过化简

整理可得：

$σ {(ω_{3}^{12})}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}}} s_{3}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}} - \frac{λ_{2}^{1}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{12} Μ_{3}^{3} μ s_{3}^{\frac{λ_{2}^{2}}{ρ_{2}^{1}} - \frac{λ_{2}^{1}}{ρ_{2}^{1}}} + {(ω)}^{- 1} ω_{4}^{32} σ + h . o . t . = 0$ (4.8)

记

$\begin{array}{l} L_{1} (s) = - {(ω)}^{- 1} ω_{4}^{12} Μ_{3}^{3} μ s - {(ω)}^{- 1} ω_{4}^{32} σ + h . o . t ., \\ N_{1} (s) = σ {(ω_{3}^{12})}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}}} s^{β} + h . o . t ., \end{array}$

其中 $s = s_{3}^{\frac{λ_{2}^{2} - λ_{2}^{1}}{ρ_{2}^{1}}}, β = \frac{ρ_{3}^{2} ρ_{2}^{1} - λ_{2}^{1} λ_{3}^{1}}{λ_{2}^{2} λ_{3}^{1} - λ_{2}^{1} λ_{3}^{1}}$ 。显然 $β > 1$ 。

我们在这里限制 $ω_{3}^{12} > 0$ ， $ω ω_{4}^{12} Μ_{3}^{3} μ < 0$ ， $ω ω_{4}^{32} > 0$ ，接下来对(4.8)式的分析与前面(1)中对式(4.5)的

分析方法相似，在这里我们将省略不再赘述，通过分析我们有：

情况1：对于 $ℵ_{2} < 0$ ，系统(2.1)在 $Γ_{3} \cup Γ_{4}$ 小邻域内不存在周期轨与异宿环 $Γ_{3}^{μ} \cup Γ_{4}^{μ}$ 共存；

情况2：对于 $ℵ_{2} = 0$ ，系统(2.1)在 $Γ_{3} \cup Γ_{4}$ 小邻域内存在一个2重周期轨与异宿环 $Γ_{3}^{μ} \cup Γ_{4}^{μ}$ 共存；

情况3：对于 $ℵ_{2} > 0$ ，系统(2.1)在 $Γ_{3} \cup Γ_{4}$ 小邻域内存在一个1-周期轨与异宿环 $Γ_{3}^{μ} \cup Γ_{4}^{μ}$ 共存。

这里

$ℵ_{2} = - σ {(ω_{3}^{12})}^{\frac{ρ_{3}^{2}}{λ_{3}^{1}}} (1 - β) {(- β^{- 1} σ^{- 1} {(ω_{3}^{12})}^{- \frac{ρ_{3}^{2}}{λ_{3}^{1}}} {(ω)}^{- 1} ω_{4}^{12} Μ_{3}^{3} μ)}^{\frac{β}{β - 1}} - σ {(ω)}^{- 1} ω_{4}^{32} + h . o . t .$

综上，若 $ℵ_{1} = 0, ℵ_{2} = 0$ ，系统(2.1)在Γ的小邻域内存在两个2重周期轨与异维环 $Γ^{μ}$ 共存(见图5)；若 $ℵ_{1} > 0, ℵ_{2} > 0$ ，系统(2.1)在Γ的小邻域内存在两个1-周期轨与异维环 $Γ^{μ}$ 共存(见图6)。

注1 在定理4.3的条件下，还存在以下结论

1) 若 $ℵ_{1} = 0, ℵ_{2} > 0$ 或 $ℵ_{1} > 0, ℵ_{2} = 0$ ，系统(2.1)在Γ的小邻域内存在一个2重周期轨和一个1-周期轨与异宿环 $Γ^{μ}$ 共存(见图7，图8)。

2) 若 $ℵ_{1} < 0$ ，或 $ℵ_{2} < 0$ ，系统(2.1)在Γ的小邻域内不存在周期轨与异宿环 $Γ^{μ}$ 共存。

3) 系统(2.1)在Γ的小邻域内不存在同宿轨与异宿环 $Γ^{μ}$ 共存。

Figure 7. $ℵ_{1} = 0, ℵ_{2} > 0$

图7. $ℵ_{1} = 0, ℵ_{2} > 0$

Figure 8. $ℵ_{1} > 0, ℵ_{2} = 0$

图8. $ℵ_{1} > 0, ℵ_{2} = 0$

5. 总结

异维环分支因为在实际问题中较为普遍存在，且可以产生复杂动力学行为，由于其高余维性以及余维分布的不对称性，研究难度非常大，目前所得结果比较少。本文在利用文 [9] 的方法基础上，讨论了具有轨道翻转的三点异维环“∞”型奇异轨分支，得到了连接 $p_{1}$ ， $p_{2}$ 和 $p_{3}$ 的“ $\infty$ ”型双异维环 $Γ^{μ}$ 、同宿于 $p_{2}$ 的“∞”型双同宿环的存在性，以及双异维环 $Γ^{μ}$ 与2重周期轨、1-周期轨的共存性与同宿轨的不共存性，并给出了相应分支曲面，从理论上完善了三点异维环的分支结果。但在讨论过程中，还有一些问题亟待解决，如系统具有共振特征值，轨道翻转，轨道倾斜以及几种情况交叉发生，可以今后进一步研究。

文章引用

位莹莹,张天四. 具有轨道翻转的三点异维环“∞”型奇异轨分支
Bifurcation of Three-Point Heterodimensional Cycles with Orbit Flip in Shape of “∞”[J]. 应用数学进展, 2022, 11(03): 1304-1319. https://doi.org/10.12677/AAM.2022.113143

参考文献

1. Koper, M.T.M. (1995) Bifurcations of Mixed-Mode Oscillations in a Three-Variable Autonomous Van der Pol-Duffing Model with a Cross-Shaped Phase Diagram. Physica D: Nonlinear Phenomena, 80, 72-94. https://doi.org/10.1016/0167-2789(95)90061-6

2. Murray, J.D. (1989) Mathematical Biology. Springer-Verlag, Berlin. https://doi.org/10.1007/978-3-662-08539-4

3. Chow, S.N. and Hale, J.K. (1990) Methods of Bifurcation Theory. Grundlehren Der Mathematischen Wissenschaften, 24, 36-40.

4. 陈兰荪, 程惠东. 害虫综合防治建模驱动“半连续动力系统理论”兴起[J]. 数学建模及其应用, 2021, 10(1): 1-16.

5. 王宗毅. 一类带全局反应项SIR传染病模型的异宿轨和行波解[J]. 应用数学, 2019, 32(3): 559-569.

6. Newhouse, S. and Palis, J. (1973) Bifurcations of Morse-Smale Dynamical Systems. Dynamical Systems, 8, 303-366. https://doi.org/10.1016/B978-0-12-550350-1.50030-8

7. 邓桂丰, 张伟鹏, 路秋英. 三维反转系统中余维2和3的异维环分支[J]. 数学学报, 2014, 57(3): 453-472.

8. 郭海月. 一类伴有轨道翻转的异维环分支问题[D]: [硕士学位论文]. 上海: 华东师范大学, 2016.

9. Zhu, D.M. (1998) Problems in Homoclinic Bifurcation with Higher Dimensions. Acta Mathematica Sinica, 14, 341-352. https://doi.org/10.1007/BF02580437

10. Dan, L., Ruan, S. and Zhu, D. (2010) Nongeneric Bifurcations near Heterodimensional Cycles with Inclination Flip in R4. Discrete and Continuous Dynamical Systems, 4, 1511-1532.

11. Xu, Y.C. and Zhu, D.M. (2009) Bifurcations of Heterodimensional Cycles with One Orbit Flip and One Inclination Flip. Nonlinear Dynamics, 60, 1-13. https://doi.org/10.1007/s11071-009-9575-z

12. 丁玲. 一类具有正向轨道翻转和弱倾斜翻转的异维环分支问题[D]: [硕士学位论文]. 上海: 华东师范大学, 2014.

13. Lu, Q.Y., et al. (2010) Heterodimensional Cycle Bifurcation with Orbit-Flip. International Journal of Bifurcation and Chaos, 20, 491-508. https://doi.org/10.1142/S0218127410025569

14. Liu, X., Wang, X. and Wang, T. (2018) Nongeneric Bifurcations near a Nontransversal Heterodimensional Cycle. Chinese Annals of Mathematics, Series B, 39, 111-128. https://doi.org/10.1007/s11401-018-1055-7

15. 刘兴波. 具有轨道翻转和倾斜翻转的退化异维环分支[J]. 中国科学:数学, 2013, 11(11): 1113-1129.

16. Jin, Y.L. and Zhu, D.M. (2002) Bifurcations of Rough Heteroclinic Loops with Three Saddle Points. Acta Mathematica Sinica, 18, 199-208.

17. Liu, D., Han, M. and Zhang, W. (2012) Bifurcations of 2-2-1 Heterodimensional Cycles under Transversality Condition. International Journal of Bifurcation & Chaos, 22, Article ID: 1250191. https://doi.org/10.1142/S021812741250191X

18. Dong, H. and Zhang, T. (2021) External Bifurcations of Double Heterodimensional Cycles with One Orbit Flip. Applied Mathematics, 12, 348-369. https://doi.org/10.4236/am.2021.124025

19. Shilnikov, L.P. 非线性动力学定性理论方法第一卷[M]. 北京: 高等教育出版社, 2010.

NOTES

^*通讯作者。

期刊菜单