[论文解读] Generic 1-parameter pertubations of a vector field with a singular point of codimension k

Arnaud Chéritat, Chrisitane Rousseau|arXiv (Cornell University)|Jan 12, 2017

Advanced Differential Equations and Dynamical Systems被引用 3

一句话总结

本文通过坐标与参数的全纯共轭，对具有 $k+1$ 重奇点的复向量场的通用 1-参数扰动进行分类。引入特征值函数 $\lambda(\delta)$，其中 $\delta = \epsilon^{1/(k+1)}$，并证明：当且仅当两个此类族的特征值函数在阶整除 $k+1$ 的旋转下等价时，它们在坐标与参数变换下等价。关键结果是扰动向量场的规范型：$\dot{z} = (z^{k+1} - \epsilon)\sigma(z)$，其中 $\sigma(0) = 1$ 且其幂级数中不含 $m(k+1)$ 次项，从而保证了近乎唯一性。

ABSTRACT

We describe the equivalence classes of germs of generic 1-parameter families of complex vector fields z dot = omega_epsilon(z) on C unfolding a singular point of multiplicity k+1: omega_0 = z^{k+1} + o(z^{k+1}). The equivalence is under conjugacy by holomorphic change of coordinate and parameter. We provide a description of the modulus space and (almost) unique normal forms. As a preparatory step, we present the complete bifurcation diagram of the family of vector fields z dot = z^{k+1} - epsilon, over CP1.

研究动机与目标

• 对具有 $k+1$ 重奇点的复向量场的通用 1-参数族在坐标与参数的全纯共轭下进行分类。
• 描述此类族的模空间并构造（近乎）唯一的规范型。
• 分析模型族 $\dot{z} = z^{k+1} - \epsilon$ 在 $\mathbb{C}\mathbb{P}^1$ 上的分歧图及其在包含奇点的圆盘上的限制。
• 解决两个等价性问题：一个固定参数，另一个允许参数变换，使用特征值函数作为不变量。

提出的方法

• 引入特征值函数 $\lambda(\delta)$，其中 $\delta = \epsilon^{1/(k+1)}$，用于编码扰动系统中 $k+1$ 个奇点处的特征值。
• 利用复时间流（化为标准坐标）分析动力学并推导共轭不变量。
• 在环 $\mathbb{C}\{\epsilon\}$ 中应用无穷递降法，证明规范型在规范参数选择下的唯一性。
• 通过受 Douady 与 Sentenac 启发的几何与解析技术，将共轭问题约化为在阶整除 $k+1$ 的旋转下对特征值函数的右复合等价性。
• 证明任意通用 1-参数扰动均可通过保持参数的全纯坐标变换化为 $\dot{z} = (z^{k+1} - \epsilon)\sigma(z)$ 形式，其中 $\sigma(0) \neq 0$，并进一步归一化为 $\sigma(0) = 1$ 且其展开式中不含 $m(k+1)$ 次项。
• 证明特征值函数 $\lambda(\delta)$ 在 $\delta = 0$ 处恰为 $k$ 阶零点，且任意此类函数均可作为某类族的特征值函数。

实验结果

研究问题

• RQ1 在具有 $k+1$ 重奇点的复向量场的通用 1-参数展开中，可能的相图与分歧行为有哪些？
• RQ2 如何通过全纯坐标与参数变换对这类扰动进行等价性分类？
• RQ3 此类 1-参数族的模空间结构如何？
• RQ4 能否为这些族构造一个规范型？若能，其定义性质是什么？
• RQ5 特征值函数 $\lambda(\delta)$ 如何编码奇点的动力学信息，并作为完整不变量发挥作用？

主要发现

• 任意具有余维数-$k$ 奇点的向量场的通用 1-参数扰动，均可通过保持参数的全纯坐标变换共轭为 $\dot{z} = (z^{k+1} - \epsilon)\sigma(z)$ 形式，其中 $\sigma(0) \neq 0$。
• 特征值函数 $\lambda(\delta)$（定义于 $\delta = \epsilon^{1/(k+1)}$）在 $\delta = 0$ 处恰为 $k$ 阶零点，且任意此类函数均可来自某类族。
• 当且仅当两个此类族的特征值函数在阶整除 $k+1$ 的旋转下右复合等价时，它们在坐标与参数变换下等价。
• 特征值函数可归一化为 $\lambda(\delta) = (k+1)\delta^k \sigma(\delta)$ 形式，其中 $\sigma(0) = 1$ 且其幂级数中不含 $m(k+1)$ 次项，从而得到近乎唯一的规范型。
• $\dot{z} = z^{k+1} - \epsilon$ 在 $\mathbb{C}\mathbb{P}^1$ 上的分歧图被完整描述，其在包含奇点的圆盘上的限制由此导出。
• 规范型唯一性的证明使用了在环 $\mathbb{C}\{\epsilon\}$ 中的无穷递降论证，表明共轭映射与参数变换的所有系数均在任意阶次趋于零，故恒为零。