[论文解读] Bifurcation in two-dimensional fixed point subspaces

P. C. Matthews|ArXiv.org|May 28, 2003

Advanced Differential Equations and Dynamical Systems参考文献 15被引用 3

一句话总结

本文分析了在对称性约束下二维不动点子空间中的分岔，推导出存在一个或三个解分支的条件，并基于二次项系数识别出五种定性不同的相图。文章建立了判断哪种相图出现的准则，并将结果应用于具有立方和二十面体子群的球面对称分岔，揭示了解的数目和稳定性取决于不可约表示和系统参数，最多存在三个鞍结点或混合稳定性的解。

ABSTRACT

Bifurcation with symmetry is considered in the case of an isotropy subgroup with a two-dimensional fixed point subspace and non-zero quadratic terms. In general, there are one or three branches of solutions, and five qualitatively different phase portraits, provided that two non-degeneracy conditions are satisfied. Conditions are also derived to determine which of the five possible phase portraits occurs, given the coefficients of the quadratic terms. The results are applied to the problem of bifurcation with spherical symmetry, where there are six irreducible representations for which the subspace of solutions with cubic symmetry is two-dimensional. In each case, the number of solutions and their stability is found.

研究动机与目标

• 确定在对称性约束下二维不动点子空间中解分支的数量和稳定性。
• 对对称分岔问题中通用二次项产生的可能相图进行分类。
• 推导出决定五种相图中哪一种出现的二次系数显式条件。
• 将理论框架应用于具有球面对称性的分岔，特别是针对具有二维不动点子空间的不可约表示。
• 分析 O(3) 的不动点子空间中，对于特定 l 值，其对称性群为 O⊕Z₂ᶜ 和 I⊕Z₂ᶜ 时的解的数量和稳定性。

提出的方法

• 利用等变分岔理论将动力学约化为对称群 H 下的二维不变子空间。
• 在分岔点附近应用正规型理论，聚焦泰勒展开中的二次项。
• 将系统约化为形式 μx + ax² + bxy + cy² = 0，其中系数 a、b、c 决定相图结构。
• 论文定义了不变量 P = a + c，R = (a - c)² + 4b²，以及 I = (a - c)(a + c) + 4b²，用于对五种可能的相图进行分类。
• 对于梯度型动力学，施加附加约束 b = 2p 和 q = 2c，将可能的相图数量减少至三种。
• 通过计算球谐函数的 Clebsch–Gordan 系数，将结果应用于球面对称性，使用 Maple 中的符号计算评估特定 l 值下的 P、R 和 I。

实验结果

研究问题

• RQ1 在非零二次项的对称性破缺分岔下，二维不动点子空间中最多可出现多少条解分支？
• RQ2 相图的定性结构由什么决定——具体而言，二次项系数决定了五种可能构型中的哪一种出现？
• RQ3 在何种条件下系统表现出一个或三个解，且这些解的稳定性如何变化？
• RQ4 这些结果如何应用于具有立方和二十面体子群的球面对称性分岔？
• RQ5 对于哪些 l 值，O⊕Z₂ᶜ 和 I⊕Z₂ᶜ 的不动点子空间维数为二，且由此产生的解具有何种稳定性特性？

主要发现

• 对于 l = 12, 16, 22 和 26，所有三个不变量 P、R 和 I 均为负，导致三个鞍点（相图类型 e）。
• 对于 l = 18，P < 0 且 R > 0，导致一个节点和两个鞍点（相图类型 c）。
• 对于 l = 20，P > 0 且 R > 0，导致单个鞍点（相图类型 a）。
• 对于 l = 30, 36, 40, 42, 46, 48, 50, 52, 54, 56, 58, 62, 64, 68, 74，I⊕Z₂ᶜ 的不动点子空间维数为二，最多存在三条解分支。
• l = 12 时的系数计算结果为 a = -9913√8398/390，c = 73501√8398/4940，p = 104√5313/3，r = -339119√5313/4370，其中 P、R、I 全为负，确认存在三个鞍点解。