[论文解读] Breakdown of a 2D heteroclinic connection in the Hopf-zero singularity (I)

Inmaculada Baldomá, O. Castejón+1 more|arXiv (Cornell University)|Aug 3, 2016

Advanced Differential Equations and Dynamical Systems参考文献 38被引用 4

一句话总结

本文研究了在霍普夫-零奇点的解析展开中，二维异宿连接的破裂问题，证明了不变流形之间的分裂距离在展开参数的平方根下为指数级微小。通过在非典型情况使用梅尔尼科夫函数，以及在典型展开中使用博雷尔变换技术，本文为分裂距离提供了精确的上界和渐近公式，揭示了在此余维二分岔情形下的超越所有阶现象。

ABSTRACT

In this paper we study a beyond all order phenomenon which appears in the analytic unfoldings of the Hopf-zero singularity. It consists in the breakdown of a two-dimensional heteroclinic surface which exists in the truncated normal form of this singularity at any order. The results in this paper are twofold: on the one hand we give results for generic unfoldings which lead to sharp exponentially small upper bounds of the difference between these manifolds. On the other hand, we provide asymptotic formulas for this difference by means of the Melnikov function for some non-generic unfoldings.

研究动机与目标

• 理解霍普夫-零奇点中二维异宿连接的破裂，该奇点为具有混沌潜力的余维二分岔。
• 在典型展开中，为不变流形之间的分裂距离建立精确的指数级微小上界。
• 在非典型、保守情形下，利用梅尔尼科夫函数推导分裂距离的渐近公式。
• 分析在解析展开中分裂的超越所有阶性质，其中标准微扰理论因指数级效应而失效。
• 严格量化霍普夫-零系统在耗散与保守情形下的横截异宿结构。

提出的方法

• 使用二阶正规型理论将向量场约化为柱坐标系下的简化形式，以捕捉奇点附近的本质动力学。
• 应用庞加莱-梅尔尼科夫方法估计分裂，但通过采用博雷尔求和与再现性技术，克服了因梅尔尼科夫积分指数级微小而导致该方法失效的问题。
• 采用博雷尔变换分析分裂的正式幂级数，在典型情形下证明其收敛性并提供有界性。
• 在非典型、保守展开中（ν=0），显式计算梅尔尼科夫函数，以推导分裂距离的渐近公式。
• 在加权巴拿赫空间中引入不动点论证，以求解正规型构造中出现的同调方程。
• 采用带有参数δ和κ的加权范数框架，以控制分裂大小并确保迭代方案的收敛性。

实验结果

研究问题

• RQ1 在典型霍普夫-零展开中，与两个鞍焦点平衡点相关的不变流形之间的分裂大小如何？
• RQ2 为何经典微扰理论无法检测到该系统中的分裂？如何克服这一失效？
• RQ3 在保守情形（ν=0）下，分裂的渐近行为如何？梅尔尼科夫函数能否提供准确近似？
• RQ4 在典型情形下，博雷尔变换在分析分裂的正式幂级数中起什么作用？
• RQ5 能否严格证明分裂在小参数√μ下为指数级微小，并给出精确的上界？

主要发现

• 在典型展开中，二维异宿流形之间的分裂距离上界为指数级微小量，阶为exp(−C/√μ)，其中C>0。
• 在保守情形（ν=0）下，分裂距离具有渐近展开，由梅尔尼科夫函数给出，主导项与μ^{3/2} exp(−C/√μ)成正比。
• 分裂被证明为超越所有阶类型，即无法通过向量场的任意有限阶泰勒展开捕捉。
• 博雷尔变换技术使作者能够控制形式级数，并在典型情形下证明存在具有正确渐近行为的解。
• 即使在系统进行解析延拓后，分裂仍保持指数级微小，证实了在形式幂级数层面上分岔结构的持久性。
• 结果证实了在参数区域U中存在横截异宿连接，意味着霍普夫-零系统中混沌动力学的潜在存在。